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

learn more… | top users | synonyms

1
vote
1answer
21 views

Relationship with trace and asymptotic stability in control theory

What is the relationship between $\mathrm{tr}(\exp(tA) \exp(tA^\ast))$ and asymptotic stability in control theory ?
6
votes
0answers
56 views

Differentiation on Manifolds Basics

I'm having some real trouble comprehending integral curves and Lie derivatives on a Manifold. I will write out my understanding and ask the questions below. For a vector field $X$ on smooth manifold ...
0
votes
1answer
38 views

$(2n-1)$-form is closed [closed]

Consider in $\mathbb{R}^{2n}$ differential forms$$\omega = dx_1 \wedge dx_2 \wedge \dots \wedge dx_n\text{ and }\theta = \sum_{n+1}^{2n} (-1)^{j-1}x_jdx_{n+1} \wedge \dots \wedge dx_{j-1} \wedge ...
1
vote
1answer
40 views

Tensor product definition?

I am getting a bit confused on the notation used for tensor products, is we have the tensor product space $V\otimes V^*$ if $v\in V$ and $a \in V^*$ then is the following correct? $$v \otimes ...
7
votes
1answer
75 views

Tensors as Multilinear maps?

Today I learned about Tensors as multilinear maps. I usually think of tensors as a multidimensional array of numbers with fixed transformation laws, and I am having trouble understanding how tensors ...
7
votes
1answer
167 views

Eigenvalues of Kronecker Product

Maybe it's simple but I can't see the solution of this problem (Russell Merris, Multilinear Algebra, CRC Press, 1997, chapter 6, p.202, exercise 4): Let $\lambda_1,\ldots,\lambda_p$ be the ...
1
vote
1answer
24 views

Defining addition of vectors of different dimensions

While doing real data analysis I came up with a problem. I have given lots of efforts to solve it and could not succeed. Here is the problem: Suppose, we have a set of vectors ...
2
votes
0answers
32 views

Finding a maximal isotropic subspace

I have the following question: Let $V$ be a finite dimensional complex vector space. For a given bilinear form $(,): V \times V \rightarrow \mathbb{C}$, a subspace $W$ of $V$ is called isotropic with ...
2
votes
1answer
42 views

Inverse of covariant tensor of rank two is contravariant.

I'm studying tensors on my own, using "Tensor Calculus" from David C. Kay, and there is this theorem in page $29$: Suppose that $(T_{ij})$ is a covariant tensor of order two. If the matrix ...
1
vote
1answer
23 views

Multilinear maps: is $\phi(av_1,v_2)$ always equal to $\phi(v_1,av_2)$?

I am learning about multilinear maps by myself and the book I'm following gives a definition which is somewhat vague. That's the definition: Given vector spaces $V_1,V_2,\dots,V_p,W$. A mapping ...
2
votes
1answer
51 views

Multilinear algebra some basics.

The wedge product of $p$ vectors in vector space $V$ is called a $p$-vector and the vector space generated by all $p$-vectors is denoted $\bigwedge^p V$ with the basis $e_I:=e_{i1}\wedge\dots\wedge ...
0
votes
1answer
52 views

How many independent components does a rank three totally symmetric tensor have in $n$ dimensions?

How many independent components does a rank three totally symmetric tensor have in $n$ dimensions? Needed for the irrep decompositon of $3\otimes 3\otimes 3$ in here. No idea where to start to ...
0
votes
1answer
60 views

acrobatics with $2$-form in $\mathbb{R}^{2n}$ [closed]

In the space $V = \mathbb{R}^{2n}$ with coordinates $(x_1, \dots, x_n, y_1, \dots, y_n)$ consider the $2$-form $\omega = \sum_{i=1}^n x_i \wedge y_i$. Let $A$ be a $n \times n$ matrix. Consider a ...
6
votes
6answers
118 views

coordinate free proof that $\text{div}(\nabla f \times \nabla g) = 0$

Let $V$ be a Euclidean $3$-dimensional space. Does there exist a coordinate-free proof that for any two $C^1$-functions $f, g: \mathbb{R}^3 \to \mathbb{R}$ we have $$\text{div}(\nabla f \times \nabla ...
6
votes
2answers
71 views

Does a $p$-form eat $p$-vectors or $p$ number of vectors?

A bilinear form is another term for a $2$-form. So does it eat $2$ distinct vectors or a single $2$-vector?
1
vote
1answer
58 views

Symmetric algebra

If $V$ is a vector space over the field $K$ with basis ${v_1, v_2,…,v_n}$, then the symmetric algebra $S(V)= K[v_1,v_2,..,v_n]$. The question is: If $K$ is a commutative ring, then this equality is ...
0
votes
1answer
33 views

The $n$-fold wedge product of a $2$ form

For the $2$-form $\omega$ on $\Bbb R^{2n}$, $$\omega = \sum_{i = 1}^{2n-1} dx_i \wedge dx_{i + 1}$$ why is $\bigwedge_{i = 1}^n \omega \neq 0$? I thought that if $n = 1$, (testing just $3$ terms) ...
2
votes
1answer
60 views

Künneth formula in topology, show isomorphism

Where could I find a proof of the isomorphism aspect of Theorem 2.4 in this pdf: http://math.stanford.edu/~conrad/diffgeomPage/handouts/tensor.pdf For vector spaces $V$ and $W$, consider $V$ and ...
1
vote
0answers
37 views

Can the gradient be expressed with contravariant components?

I read that the gradient is an example of a quantity that transforms covariantly since in the below expression for the gradient $$\frac{\partial x^j}{\partial x'^i}$$ appears instead of ...
2
votes
0answers
53 views

Components of vector in dual basis transform covariantly

I am trying to understand how components of a vector in the dual basis transform covariantly as mentioned in this quote. If you seek to define a quantity (such as vector A) that remains ...
3
votes
1answer
39 views

computation involving exterior $2$-form on $\mathbb{R}^n$

Let $$\theta = \sum_{i=1}^{n-1} x_i \wedge x_{i+1}$$be an exterior $2$-form on $\mathbb{R}^n$, and $A, B \in \mathbb{R}^n$ are vectors$$A = (1, 1, 1, \dots, 1),\text{ }B = (-1, 1, -1, \dots, ...
0
votes
0answers
76 views

Do orthogonal vectors yield orthogonal bivectors?

Suppose we have a (say, ordered) set $$(X_1, \ldots X_k)$$ of pairwise orthogonal vectors, say with span $S$. This determines a set $$(Y_{ij})_{1 \leq i < j \leq n}, \qquad Y_{ij} := X_i \wedge ...
1
vote
1answer
82 views

wedge product, multilinear algebra in $\mathbb{R}^{2n}$

Denote coordinates in the space $\mathbb{R}^{2n}$ by $(x_1, y_1, \dots, x_n, y_n)$. Consider a $2$-form $$\omega = \sum_{i=1}^n x_i \wedge y_i.$$ (a) Compute$$\underbrace{\omega \wedge \dots \wedge ...
8
votes
4answers
268 views

covariant and contravariant components and change of basis

I encountered the following in reading about covariant and contravariant: In those discussions, you may see words to the effect that covariant components transform in the same way as basis ...
5
votes
2answers
60 views

Determinant of exact sequence

Let $0 \to A \to B \to C \to 0$ be an exact sequence of vector spaces. I want to show that I have a canonical isomorphism $$\text{det}(B)= \text{det}(A) \otimes \text{det}(C).$$ Here, "det" refers ...
1
vote
1answer
20 views

exists a 1-form given exterior 2-form, 1-form on $3$-dimensional space?

Let $\alpha$ be an exterior $2$-form, and $\beta$ is a $1$-form on a $3$-dimensional space. Suppose that $\alpha \wedge \beta = 0$. How do I go about showing there exists a $1$-form $\gamma$ such that ...
2
votes
1answer
34 views

expression of the 4-tensor $f \otimes g$ in given basis

Let $f$ and $g$ be bilinear functions on $\mathbb{R}^n$ with matrices $a = \{a_{ij}\}$ and $B = \{b_{ij}\}$, respectively. How would I go about finding the expression of the $4$-tensor $f \otimes g$ ...
-3
votes
1answer
94 views

differential forms, cylindrical coordinates, geometric interpretation [closed]

Consider a differential $1$-form $\beta$ which in cylindrical coordinates $(r, \theta, z)$ has the form $$\beta = f(r)\,dz + g(r)\,d\theta,$$where $g'(0) = 0$. Find a condition when $\beta \wedge ...
3
votes
1answer
65 views

Multilinear form as scalar multiple of determinant function

While going through Hungerford's $\textit{Algebra}$, there is a theorem of linear algebra which states that every alternating $R$-multilinear form $f$ on $M_n(R), R$ a commutative ring, is a unique ...
2
votes
1answer
70 views

When are two simple tensors $m' \otimes n'$ and $m \otimes n$ equal? (tensor product over modules)

Suppose that $M$ is a right R-module and $N$ is a left $R$-module. We can construct $M \underset{R}\otimes N$ and give it an Abelian group structure by considering the free R-module $K$ generated by ...
0
votes
1answer
15 views

common factors of multilinear polynomial

Say $F,G\in\Bbb R[x_1,x_2,\dots,x_{n-1},x_n]$ are two multilinear polynomial. If $F$ and $G$ vanish at a common set of coordinantes $(a_{i1},a_{i2},\dots,a_{in-1},a_{in})\in\Bbb R^n$ for ...
3
votes
0answers
24 views

On Schur map and tableaux

My post refers to Jerzy Weyman's "Cohomology of vector bundles and syzygies" pag. 37. Let $R$ be a ring and $E$ a free $R$-module of rank $n$. Let ${e_1, \cdots, e_n}$ a basis of $E$. Let us consider ...
1
vote
1answer
68 views

Decompose $\omega:= e_0\wedge(e_1\wedge e_2 + e_3\wedge e_4)$

$(e_1\wedge e_2 + e_3\wedge e_4)$ is well-known to be of rank 2 (can't be decomposed). On the other hand, $\omega \wedge \omega = e_1\wedge e_1 \wedge ... = 0$. According to the wikipedia article ...
1
vote
1answer
35 views

Correct definition of bilinear(multilinear) maps over noncommutative rings

I wonder about the following: Let $R$ be a noncommutative ring with $\alpha, \beta \in R$ such that $\alpha \beta \neq \beta \alpha$. Let $M,N,P$ be left-$R$-modules. Why does it make problems to ...
0
votes
1answer
39 views

Do we need any special justification for concluding $f=0$?

Today, we were showing the following in class: Let $V$ be a finite-dimensional vector space over $F$. Prove that the bilinear map $$\beta:V \times V^* \to F, \ \ (v,f) \mapsto f(v)$$ is ...
1
vote
1answer
44 views

Showing $\det(I_E+f)=\sum_{p=0}^{n}\mathrm{tr}(f^p)$ where $f^p:Λ^{p}(E) \to Λ^{p}(E)$ and $f:E\to E$

$E$ is a vector space with dimension $n$ and $f:E\to E$ is a linear map and for every $p=1,2,3,...$ we have $f^p:Λ^{p}(E) \to Λ^{p}(E)$ which is defined as below ...
1
vote
2answers
51 views

$(n-1)$-alternative tensor on E are decomposable

$E$ is a real vector space with dimension $n$ and $E^*$ is dual space of $E$. Assume $\alpha \in Λ^{n-1}(E)$ Show that there exists $\alpha_1,\alpha_2,...,\alpha_{n-1} \in E^*$ such that ...
4
votes
1answer
75 views

Almost complex structure which fails to be compatible

Let $V$ be a real vector space equipped with a scalar product $\langle, \rangle$ (i.e. a positive definite symmetric bilinear form). We say that an endomorphism $J: V \to V$ is an almost complex ...
1
vote
2answers
92 views

How does the representation of co-vectors change if we change the basis of a vector space $V$?

I'm trying to understand how vectors, differential forms and multi-linear maps in general transform under change of coordinates. So I start with the simplest case of vectors. Here's my own attempt, ...
0
votes
1answer
23 views

symmetric bilinear form on $\mathbb{Z}_2$

Find all symmetric bilinear forms of a vector space $V$ of finite dimension on $\mathbb{Z}_2$. As every bilinear form is represented by a matrix then the idea is to find the set of matrices ...
1
vote
1answer
43 views

Is $\psi (x_1,…,x_n)=\det \begin {pmatrix} x^1_1 & \dots &x^1_n \\ \vdots & &\vdots \\ x^n_1 & \dots & x^n_n\end{pmatrix}$ multilinear?

Suppose $\forall x_1,\ldots,x_n,\in R^n$, denote $x_1=(x_1^1,x_1^2,\ldots,x_1^n),x_2=(x_2^1,\ldots,x^n_2)$. Define $\psi:V\times V\times \dots\times V\to R$ as follows: $$\psi (x_1,\ldots,x_n)=\det ...
0
votes
1answer
64 views

How to identifiy $V \wedge V$ with the space of all alternating bilinear forms

Let $\{ e_i \}$ be a basis for $V$, then the space of tensors $V \otimes V$ could be identified with the space of all formal sums $\sum_{ij} \alpha_{ij} (e_i, e_j)$ (I know a base independent approach ...
2
votes
0answers
53 views

Unnecessary Elements in the Tensor Product?

For vector spaces $U, V$ there exits a unique (up to isomorphism) vector space, denoted by $U \otimes V$, and a bilinear map $\eta : U \times V \to U \otimes V$ such that for every bilinear map $\xi : ...
0
votes
1answer
91 views

Different Definitions of Tensor product, Halmos, Formal Sums, Universal Property

In the classic Finite-Dimensional Vector Spaces by P. Halmos he defines the Tensor product as The tensor product $U \otimes V$ of two finite-dimensional vector spaces $U$ and $V$ (over the same ...
1
vote
1answer
51 views

Tensor analog of Matrix Product

Given two $n \times n$ matrices $A$ and $B$, we can form their matrix product in the usual way. Is there a similar product for tensors? E.g., if one is given two $n \times n \times n$ tensors ...
0
votes
1answer
28 views

Induced Action of Matrix on Tensor Product

I've been asked to write the induced action of a matrix in $M_4(\mathbb{R})$ on $\mathbb{R}^4 \otimes \mathbb R^4$, but this terminology is unfamiliar to me. What does it mean for a matrix to induce ...
0
votes
1answer
133 views

$G$-representations, $W \otimes V^* \to \text{Hom}(V,W)$

Let $V$ and $W$ be finite-dimensional vector spaces. I know how to construct an explicit isomorphism of vector spaces $W \otimes V^* \to \text{Hom}(V,W)$ and show that it's an isomorphism. But if I ...
0
votes
1answer
45 views

Do Tensors have a determinant property?

We know that only square $n \times n$ matrices have a determinant property! And it can be defined just like this: $$A=\begin{array} & & & \\ ...
1
vote
1answer
35 views

What is explicit isomorphic map between $\Bbb R$ and $\text{Alt}^n(\Bbb R^n)$

We denote $V \subset \mathbb{R}^n$ to be an open set. Definition 1: Let $\text{Alt}^p(\Bbb R^n)$ denote the set of all alternating multlinear functionals on $\Bbb R^n$. Definition 2: Let ...
0
votes
0answers
25 views

Multilinear Function proof in Spivak?

Note that $$\wedge^n (V)$$ denotes the set of all alternating multilinear functions and $\mathfrak{I}^n(R^n)$ denotes the set of all multilinear function. I don't know what the actual symbol ...