For questions about the extension of linear algebra to multilinear transformations of vector spaces.

learn more… | top users | synonyms

2
votes
1answer
100 views

Is the wedge product surjective?

Is the wedge product $\wedge : \Lambda^{p}(V) \otimes \Lambda^{q}(V) \to \Lambda^{p+q}(V)$ surjective, for $V$ a real vector space of finite dimension? What dimension does its kernel have?
1
vote
1answer
32 views

How to show $\nu=dx_1\wedge\ldots \wedge dx_n$?

Let $\nu$ be the $n$-form in $\mathbb R^n$ satisfying $\nu(e_1, \ldots, e_n)=1$ where $\{e_1, \ldots, e_n\}$ is the canonical base of $\mathbb R^n$. Let $\displaystyle v_i=\sum_{j=1}^n a_{ij}e_i$. How ...
1
vote
1answer
63 views

Does the “bi” in bilinear and biorthogonal mean different things?

Does the "bi" in bilinear and biorthogonal mean different things? Bilinear seems to be linear from both left and right sides but biorthogonal means the product is zero sometimes instead of always?
0
votes
0answers
33 views

Symmetric tensors and duals

Let V be a finite dimensional vector space and consider $(Sym^n V^\vee)^\vee$ where $\vee$ denotes thedual, i.e homogenous polynomials in V of degree n. Consider as well $S_n(V)$, consisting of fixed ...
1
vote
1answer
163 views

Chain Rule to Compute Second Derivative

I was going through Marsden's book, Elementary Classical Analysis, and came across the following exercise in Chapter 6. It reads as follows: If $f: A \subset \mathbb{R}^n \to \mathbb{R}^m$ and $g: ...
10
votes
1answer
255 views

Formula for decomposing a form into $(p,q)$ forms

Let $L: \mathbb{C}^n \to \mathbb{C}$ be a real linear map. In other words, $L(a\vec{v}_1+b\vec{v_2}) = aL(\vec{v}_1)+bL(\vec{v}_2)$ for all $a,b \in \mathbb{R}$. Then $L$ decomposes uniquely into a ...
2
votes
1answer
78 views

Why can't $\partial X^i/\partial x^j$ be the components of a tensor field?

From Paul Renteln, "Manifolds, Tensors and Forms" in a chapter on tensor fields: Exercise 3.22 Not every object with indices is a tensor field. Let $X = X^i \partial / \partial x^i$ be a vector ...
1
vote
0answers
71 views

How to show the differential form $\nu$ satisfies $\nu(v_1, \ldots, v_n)=\det(a_{ij})$?

In $\mathbb R^n$ consider the differential form $\nu$ satisfying $\nu(e_1, \ldots, e_n)=1$. For every $i=1, \ldots, n$ consider the vector $\displaystyle v_i=\sum_{j=1}^n a_{ij} e_j$. How to show ...
3
votes
1answer
109 views

Tensor powers of injective linear maps of free modules

This is a basic question on tensor products of linear maps. Let $R$ be a commutative ring and let $\varphi: M\to N$ be an injective linear map of finitely generated free $R$-modules. Question: Are ...
1
vote
0answers
45 views

How to compute saddle point index using sourcing flow lines?

Prove $Index_{p}(\bigtriangledown f)$= "dimension of sourcing flow lines from p" ,where p is a critical point. Attempt Near $ p \in Cr(f) $ in some coord. $ f(x) - f(p) = $ $\sum_j x_j^2 - \sum_k ...
2
votes
2answers
84 views

Geometry of $k$-forms and $k$-vectors

In this question I was trying to see why $k$-forms are selected as the way to generalize vector calculus rather than $k$-vectors and a comment providing links to other questions made me end up with ...
6
votes
0answers
224 views

Multivariable Integral, How to compute it?

Can anybody please tell me, how to evaluate a multivariate integral with a gaussian weight function. $$ \mathcal{Z_{n}} \equiv\int_{-\infty}^{\infty} \exp\left(-a\sum_{j = 1}^{n}x_{j}^2\right)\, {\rm ...
2
votes
2answers
68 views

Why there is this relation between $k$-vectors and $k$-forms?

I've been trying to understand the geometrical meaning of $k$-vectors and $k$-forms on some vector space $V$ of finite dimension $n$ over a field $\Bbb K$. Indeed, as I understood, a $k$-form $\omega ...
0
votes
1answer
102 views

linear independent or dependent set - linear algebra

I have the following set: $\{ [1; -1; -2], [-1;0;1], [1;2;1] \}$ and I need to find out whether the set is independent or dependent. My answer and the book's answer contradict. I thought it was ...
0
votes
0answers
69 views

Writing down proof about graded ideal in multilinear algebra

I have a very simple question, but since this is the first time I'm dealing with graded ideals and so on it seems more difficult than it really is. Suppose $V$ is a finite dimensional vector space ...
3
votes
2answers
435 views

Intuitively when to use the wedge product?

When I first learned the dot product and the cross product in $\mathbb{R}^3$ I spent some time understanding when I would like to use them. After some time I understood that the dot product usefulness ...
0
votes
1answer
136 views

Exterior power and alternating forms: explicit computations

I would like to get a more concrete understanding of a general isomorphism I have read about. I apologize if this is too basic, but I was not satisfied with the references at my disposal. Let $K$ be ...
0
votes
4answers
83 views

$\{u_{i} \otimes w_{j} \}_{i , j}$ forms a basis for $U \otimes W$

Suppose $U$ and $W$ are $k$-vector spaces with bases $\{u_{i}\}_{i=1}^{n}$ and $\{w_{j}\}_{j=1}^{m}$. How to prove that $\{u_{i} \otimes w_{j} \}_{i , j}$ forms a basis for $U \otimes W$ ?
0
votes
1answer
632 views

Linear Transformation induced by the following matrix A

Suppose $T:\mathbb R^4\rightarrow\mathbb R^4$ is the transformation induced by the following matrix $A$. Determine whether $T$ is one-to-one and/or onto. If it is not one-to-one, show this by ...
9
votes
1answer
117 views

Direct proof of non-flatness

Consider $k$ a field and the rings $A=k[X^2,X^3]\subset B=k[X]$. How to prove that $B$ is not flat over $A$ by using only the definition of flatness that it maintains exact sequences after making ...
1
vote
1answer
133 views

Tensor Einstein summation notation

I have two tensors $A^i$ and $B_j$ with components $(2,3,4)$ and $(1,2,3)$ respectively. What is the difference between $A^i B_i$ and $A^i B_j$? Is it just: $A^i B_i = 2+6+12 = 20$ $A^i B_j =$ $ ...
8
votes
1answer
146 views

Is $(V_1\otimes\cdots\otimes V_k)^\ast \simeq V_1^\ast\otimes \cdots \otimes V_k^\ast$ true for infinite dimensional spaces?

Suppose $V_1,\dots,V_k$ are vector spaces of finite dimension. Then I could prove easily that $(V_1\otimes\cdots\otimes V_k)^\ast\simeq V_1^\ast\otimes\cdots\otimes V_k^\ast$. My proof was like that: ...
1
vote
0answers
55 views

Tensor vector bundle construction

$\newcommand{\p}{\partial}$Let $M$ be a smooth manifold, and define $$T_{r,s} := \bigsqcup_{p \in M} (T_p M)_{r,s} = \bigsqcup_{p \in M} \big( \underbrace{T_p M \otimes \dots \otimes T_p M}_r \otimes ...
1
vote
0answers
74 views

How to show that $v_1\otimes\cdots\otimes v_k = 0$ if and only if at least one $v_i = 0$?

I'm trying to show that given vector spaces $V_1,\dots,V_k$ (not necessarily finite dimensional) over the same field $F$ then if $v_i\in V_i$ we have $v_1\otimes\cdots\otimes v_k = 0$ if and only if ...
0
votes
1answer
62 views

$b:V \times W \to \mathbb{R}$ bilinear. Show an induced $\phi:V \to W^*$ surjective.

Let $V$ and $W$ be finite dimensional vector spaces. Let $b:V \times W \to \mathbb{R}$ a bilinear map satisfying: $\forall v \in V. (\forall w \in W. b(v,w)=0) \implies v=0$, $\forall w \in W. ...
2
votes
1answer
103 views

Tensor Product definition (help with certain step)

I'm going over some notes I took from the blackboard, and reached a slight hitch. I thought that maybe someone could help. Let $E,F$ be vector spaces over a field $\mathbb K$. A tensor product of $E$ ...
2
votes
1answer
91 views

Notation in Bleecker's Gauge Theory and Variational Principles

In the proof of the theorem that there is a unique linear isomorphism $\star:\bigwedge^k(E)\to\bigwedge^{n-k}$ on p.4 in Bleecker's Gauge Theory and Variational Principles he says For ...
2
votes
1answer
58 views

Number of Involutive Automorphisms on a Clifford Algebra

Let $V$ be a vector space with dimension $n$ and $q$ a quadratic form on $V$. How many involutive automorphisms are there in $\mathcal{Cl}(V,q)$?
0
votes
1answer
168 views

Tensor product and valence of a tensor?

Given a vector space $V$, its dual vector space $V^{*}$ and a tensor $\mathbf{T}$: $\mathbf{T} \in \underbrace{V \otimes\dots\otimes V}_{n\text{ copies}}\otimes \underbrace{V^{*}\otimes\dots\otimes ...
1
vote
0answers
210 views

Sum of the squares of the minors of a matrix with orthonormal column vectors = 1?

Let $A$ be an $m \times n$ ($n \leq m$) matrix with real entries and orthonormal column vectors. Claim: For $1 < k \leq n$, the sum of the squares of the $k\times k$ minors of $A$ is always $1$. ...
4
votes
1answer
482 views

Tensor basis change

I have a question regarding tensors and basis changes, however upon searching the web I've found an infinity of definitions for tensors so I'll have to give the one I know first: Given a vector space ...
1
vote
1answer
748 views

Orthogonal Complements property

I have a question about how to prove a certain property of orthogonal complements of vector subspaces. Given $\mathrm E$, a vector space over a commutative field k, define: $$\phi\text{ : } \mathrm E ...
0
votes
0answers
126 views

Second derivative dot product

I was wondering whether I am correct that the second derivative of the dot product is this: Let $f:X \times X \rightarrow \mathbb{K}$ $(x_1,x_2) \mapsto \langle x_1,x_2 \rangle$ Then we have ...
0
votes
1answer
112 views

Finding the determinant of an $n\times n$ matrix… and the inverse

Finding the determinant of a $2\times 2$ matrix is easy and the inverse is even easier. Finding the determinant of a $3\times 3$ matrix and its inverse is a little more difficult but still doable. ...
4
votes
1answer
108 views

Understanding higher order SVD

Can someone explain the singular value decomposition of a tensor (maybe a 3 dimensional matrix) with an example? It is intuitively difficult to the get the meaning from just the formulas. On a ...
2
votes
1answer
32 views

sufficient condition for being an integral factor

Let $ f: \mathbb {R}^m \rightarrow \mathbb {R}-\{0\} $ function $C^{\infty}$ class and $w$ a one-form $C^{\infty}$ class in $\mathbb {R}^m $. If $\alpha=w-\dfrac{1}{f}dx_{m+1} $ satisfies $\alpha ...
1
vote
1answer
47 views

Dimension of (p,q) forms

Let $E$ be a complex vector space of dimension $n$. What is the dimension of the multilinear alternate forms on $E$ of type $(p,q)$ ? I'm sure this is classical but I couldn't find a reference, and ...
2
votes
2answers
433 views

Einstein Notation for product of stacked matrices

Background Information: I recently started using the Einstein summation notation to express certain operations over an "image" $\mathbf{A}$ where to each pixel a square matrix is attached. That is, ...
0
votes
0answers
56 views

Tensor power of a quotient space

Let $E$ and $F$ be vector spaces, $F$ a subspace of $E$. Is there any canonical isomorphism between $E/F \otimes E/F$ and a quotient of the form $E \otimes E/G$, where $G$ is a subspace of $E \otimes ...
4
votes
1answer
117 views

Is invariance of a multi-linear form required for co/contra variance?

I'm reading the book: The Absolute Differential Calculus by Levi-Civita to get an idea of the history behind the development of tensor calculus. On page 71 he states: An m-fold covariant is an ...
3
votes
1answer
81 views

Tensor Product and Direct Sum

Let $R$ be a commutative ring with identity and let $\{M_\alpha\}$ be a family of $R$-modules and $N$ another $R$-module. I've tried to show that $$\left(\bigoplus_\alpha M_\alpha\right)\otimes ...
3
votes
0answers
345 views

Recognizing pure tensors in tensor product of vector spaces

Let $V$ be a vector space and let $\{e_i\}$ be a basis for it. Then $\{e_I\equiv e_{i_1}\otimes...\otimes e_{i_r}\}$ is a basis for $V\otimes ... \otimes V$. Suppose I am given an element $w=\sum a_I ...
1
vote
1answer
33 views

Is this proof that $\mathcal{L}(V_1,\dots,V_k;W)\simeq \mathcal{L}(V_1;\mathcal{L}(V_2,\dots,V_k;W))$ correct?

I've been trying to show that if $V_1,\dots,V_k,W$ are vector spaces over $K$, then $$\mathcal{L}(V_1,\dots,V_k;W)\simeq \mathcal{L}(V_1;\mathcal{L}(V_2,\dots,V_k;W)),$$ I think I've got the idea, ...
2
votes
1answer
344 views

Direct sum and tensor product of two representations of a group

Our lecturer gave us a hard exercice to go further in group theory (we stopped at group actions) : Let G be a group, V and W complex vector spaces and $\rho_1 : G \mapsto GL(V) $ be a group ...
3
votes
1answer
108 views

Existence of isomorphism between tensor products.

In multilinear algebra many maps are usually proven to exist rather than simply defined. For example, commutativity is one such example. In the book I'm studying the author says: let $V_1,\dots,V_k$ ...
8
votes
3answers
736 views

Why are differential forms more important than symmetric tensors?

In differential geometry, differential forms are totally anti-symmetric tensors and play an important role. I am led to wonder why do we not study totally symmetric tensors as much as forms. What ...
5
votes
2answers
297 views

Tensor Multiplication - Why should we use permutations?

I'm reading a book on multilinear algebra, and the author first establishes this easy isomorphism: if $V_1,\dots,V_k$ are vector spaces over the field $K$ and if $\sigma\in S_k$, then there is an ...
2
votes
3answers
183 views

How to really understand the tensor algebra?

If $V$ is a vector space over $F$, then we define $T^r_0(V)=V^{\otimes r}$, then we define the algebra of contravariant tensors to be $$T(V)=\bigoplus_{r=0}^\infty T^r_0(V)$$ together with the ...
2
votes
1answer
67 views

Why it makes sense to think of multivectors as “paralelograms”?

Let $V$ be a vector space over the field $\mathbb{K}$ and let $T(V)$ be it's tensor algebra. We usually define the exterior algebra $\Lambda (V)$ by the following process: we consider the bilateral ...
2
votes
2answers
178 views

Why in differential geometry tensors are usually defined as multilinear maps?

In multilinear algebra books tensors are usually defined through the universal property. Given a family of $k$ vector spaces $V_1,\dots,V_k$ over the same field $F$ we want to construct a space $S$ ...