Questions tagged [multilinear-algebra]

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

Filter by
Sorted by
Tagged with
0 votes
0 answers
20 views

Symmetric multilinear map and smooth polynomial

Let $V=\mathbb{C}^d$ and $\varphi\colon V\otimes\cdots\otimes V\to\mathbb{C}$ a linear map such that $\varphi(v_1\otimes\cdots\otimes v_n)=\varphi(v_{\sigma(1)}\otimes\cdots\otimes v_{\sigma(n)})$ for ...
  • 3,403
0 votes
2 answers
56 views

What is the kernel of an alternator $\pi:L^k(V) \to L^k(V)$

Define a funtion $$\begin{align*} \pi:L^k(V) \to L^k(V) \end{align*}$$ I call $\pi$ is an alternator. $L^k(V)$ denotes the space of $k$ tensors on vector space $V$ and $$ \pi(f) = \sum_{\sigma} \...
  • 1,235
0 votes
0 answers
13 views

Spectral decomposition for higher-rank antisymmertric real tensors

For any arbitrary anti-symmetric matrix $M_{n\times n}$, there always exists orthogonal matrix $O$ that $M = O\Sigma O^T$, with $$ \Sigma = \left( \bigoplus_{i=1}^m \begin{pmatrix} 0 & 1 \\ -1 &...
0 votes
0 answers
59 views

Let $A : \mathbb{R}^n \to \mathbb{R}^n$ be an orthogonal linear map with determinant $1$. Show that $A^* \circ \star = \star \circ A^*$

Let $A : \mathbb{R}^n \to \mathbb{R}^n$ be an orthogonal linear map with determinant $1$. Show that $$A^* \circ \star = \star \circ A^* : \mathrm{Alt}^k(\mathbb{R}^n) \to \mathrm{Alt}^{n-k}(\mathbb{R}^...
  • 1
0 votes
1 answer
46 views

Show that there exists covectors such that $\alpha = \alpha_1 \wedge \dots \wedge \alpha_{n-1}.$

Let $\alpha \in \operatorname{Alt}^{n-1}(\mathbb{R}^n)$. Show that there exists $\alpha_1, \dots, \alpha_{n-1} \in \operatorname{Alt}^1(\mathbb{R}^n)=(\mathbb{R}^n)^*$ such that $$\alpha = \alpha_1 \...
  • 1
0 votes
1 answer
61 views

Prove $\dim {\rm Im}\ T = \dim W$ in the proof of the dimension theorem for the symplectic complement

I am trying to prove the dimension theorem for the symplectic complement and I am missing a small step right at the end: Let $ (V,\omega) $ be a symplectic vector space and $W$ a linear subspace of $V$...
0 votes
2 answers
61 views

Confusion regarding wedge products

While studying smooth manifolds and differential forms I have come across multiple definitions of the wedge product, and I have been having some trouble seeing the equivalence between them. At the ...
  • 2,681
8 votes
1 answer
153 views

Can Lawson's proof (that the canonical inclusion into a Clifford algebra is injective) be fixed?

The first proof in Lawson & Michelsohn's Spin Geometry is known to be wrong. The claim, which appears in a paragraph on page 8 (not in an official proposition), is that the projection map $\pi_q|...
  • 6,128
1 vote
1 answer
39 views

Difficulty understanding Linear maps between vector spaces as $(1,1)$ tensors on the target vector space

In Nakahara's book "Geometry, Topology, and Physics" there is an exercise that asks to show that if $f$ is a Linear Map between vector spaces: $f: V \rightarrow W$ then it is a tensor of ...
  • 341
0 votes
0 answers
34 views

Lemma regarding dual spaces and multilinear algebra

I'm reading about the following lemma and trying to understand why $\alpha^I(e_J) = 0$ if $I \ne J$, but I don't understand the argument. Is there an alternative way to understand this? If $I=(i_1,...
  • 23
0 votes
0 answers
33 views

Basis of exterior power of a vector space

Let $V$ be a vector space over a field $k$ with a basis $\{e_i\}_{i\in S}$, where $S$ is a linearly ordered set. Def. n-th exterior power of the space $V$ is a vector subspace $\Lambda^nV\leq\Lambda V$...
  • 145
1 vote
3 answers
101 views

Basis-independent derivation of the fact that the determinant of the composition of two linear maps is the product of the determinant of each

A maximal form $\omega$ on $V$ is defined as an alternating type $(0, n)$ tensor (where $\dim V = n$). From there, the determinant is defined as, $$ \det \phi \equiv \dfrac{\omega\left(\phi(e_1), \...
0 votes
0 answers
27 views

For which numbers of dimensions is the Kulkarni-Nomizu product an injective/surjective map?

(This question only concerns tensors over finite-$n$-dimensional real vector spaces.) The Kulkarni-Nomizu product is a multilinear map from of pairs of symmetric rank-2 tensors to the space of ...
  • 5,728
0 votes
1 answer
44 views

Confusion in the proof of linear independence for tensors

If $V$ is finite-dimensional, choose a basis $\{ |b_{1} \rangle, \dots, |b_{n} \rangle \}$. There's a dual basis $\{ f_{1} , \dots, f_{n} \}$ for $\widetilde{V}$, which is the same as $\mathcal{T}^{1}(...
  • 1,384
4 votes
1 answer
117 views

Can we often only consider homogeneous elements of exterior or tensor algebras because their products preserve homogeneity?

Background: I'm just an innocent physicist with very little formal training in algebra. So I think of things in very naive, concrete (as opposed to abstract), and non-rigorous ways. I probably won't ...
  • 5,728
1 vote
1 answer
68 views

What does it mean to "identify" a function $f$ with a $0$-form $\omega_0$ and a $3$-form $\omega_3$?

In class we wrote down the following: We identify a function $f$ in $U \subset \mathbb{R}^3$ with a $0$-form $\omega_0$ and a $3$-form $\omega_3$ and a vector field $u$ with a $1$-form $\omega_1$ and ...
  • 3,562
0 votes
0 answers
31 views

Derivation of basis and dimension of a multilinear map $\Psi:V^s\to V$

I'm reading linear algebra and came up to the topic of linear map representations as matrices. More specifically for a dim $n$ vector space $V$, the space $Lin(V,V)$ of maps $T:V\to V$ is isomorphic ...
4 votes
1 answer
194 views

How can I show by using Hahn Banach separation theorem?

The convex hull of a set of points S in n dimensions is the intersection of all convex sets containing $S$. For $N$ points $p_1, ..., p_N$, the convex hull $C$ is then given by the expression $$ C = \...
  • 41
0 votes
0 answers
24 views

When is $Hom(X,Y) \otimes Hom(A,B)$ isomorphic to $Hom(X\otimes A, Y \otimes B )$?

We assume that $A$, $B$, $C$, and $D$ are real vector spaces. We write $Hom(X,Y)$ for the vector space of linear mappings from $X$ into $Y$, as usual. There exists a linear map $$Hom(X,Y) \otimes Hom(...
  • 7,068
0 votes
0 answers
57 views

Mujica's "Complex analysis in Banach spaces" exercise 2.M.

I'm trying to prove it in Mujica's book "Complex analysis in Banach spaces" which states the following. I would be grateful if someone could prove it. Let E and F be Banach Spaces and let $P=...
1 vote
0 answers
36 views

Exercise 1.C. in Mujica's book "Complex analysis in Banach spaces"

Let $E$ and $F$ be Banach spaces. Let $(e_1,\ldots,e_n)$ be a basis for E and let $\xi_1,\ldots,\xi_n$ denote the corresponding coordinate functionals. Show that each $A \in L_a (^m E;F)$ can be ...
0 votes
1 answer
53 views

Can all rank two tensors be represented as matrices?

I’m curious about wether every Tensor of second order can be represented as a matrix. The only possibilities are (to my understanding, correct me if i’m wrong): $$\mathcal{T}^{(2;0)}= \mathbf{V\otimes ...
1 vote
1 answer
63 views

How would you classify a tensor space equipped with an addition and scalar multiplication?

I have been thinking about vectors, vector spaces, tensors, and tensor spaces. So far, I have surmised that a tensor space is defined to be $(\otimes_{i=1}^{k} V,+)$ where the addition is vector ...
  • 61
0 votes
1 answer
73 views

Can second rank antisymmetric tensors be constructed from vectors using tensor product?

My background is in physics. I am motivated to understand tensor behind "a tensor is something that transforms like a tensor." My understanding of a tensor in that a second rank tensor is an ...
  • 7
0 votes
0 answers
26 views

Associativity property for multiple tensor product

The tensor product has the following properties. Note that all vector spaces are over the same field . (Associativity) There exists an isomorphism $\tau: (V_{1}\otimes....\otimes V_{n})\otimes(W_{1}\...
  • 89
0 votes
1 answer
25 views

Multilinear functions of degree zero

I apologize in advance, but I need help with a rather simple question. Given $L_k(V)$ is the set of all $k-$linear functions on the vector space $V$ on $\mathbb{R}$, what is $L_0(V)$? Does it make ...
  • 239
0 votes
0 answers
47 views

How to show that this multilinear map is alternating?

Let $V$ be a vector space over $K$ with basis $\{e_1,\ldots,e_n\}$. I already showed that for a fixed tuple $I = (i_1,\ldots,i_r)$ with $1 \le i_1 < i_2 < \cdots < i_r \le n$, there exists a ...
  • 3,562
0 votes
2 answers
98 views

Natural orientation of an underlying real vector space

Consider the following argument from a book (included as an image to show exactly what is printed): There are a number of minor typos here, but I'm mainly concerned with the computation of $\Delta(...
  • 2,245
0 votes
1 answer
53 views

Basis of exterior product

Let $V$ be a vector space over $K$ with basis $\{e_1,\ldots,e_n\}$. For a fixed tuple $I = (i_1,\ldots,i_r)$ with $1 \le i_1 < i_2 < \cdots < i_r \le n$, use multilinear extension to ...
  • 3,562
1 vote
1 answer
54 views

How does a third-order tensor behave algebraically with respect to standard linear algebra operations?

How does a Hessian tensor behave algebraically? Suppose $H_x$ is the Hessian tensor of a multivariate function $f:\mathbb{R}^n\to\mathbb{R}^m$. This is a third-order tensor and I am told one can think ...
  • 4,685
1 vote
0 answers
39 views

Classical reference for “vector-valued” Laplace expansion?

In relation to the $2\times 2$ (say) determinant $$\begin{vmatrix}a&b\\c&d\end{vmatrix},$$ consider the “bordered” determinant $$\begin{vmatrix} x&a&b\\ x&a&b\\ y&c&d \...
  • 2,245
0 votes
1 answer
48 views

Exercise from Greub, Multilinear Algebra on factorization of bilinear maps [duplicate]

I am really stuck on exercise 5 in chapter 1.3 of Greub's book Multilinear Algebra. The exercise asks me to show that if $\varphi \colon E \times F \to G$ and $\psi \colon E \times F \to H$ are ...
0 votes
1 answer
41 views

Is a third-order tensor linear in both arguments?

Let $f:\mathbb{R}^n\to\mathbb{R}^m$ with $n > m$ be smooth and for each $x\in\mathbb{R}^n$ let $H_x(\cdot, \cdot)$ denote the Hessian third-order tensor of $f$. Basically given any two vectors $v, ...
  • 4,685
1 vote
1 answer
59 views

Term between "orthogonal" and "orthonormal"

If we have a bilinear form $(-, -)$ on a vector space $V$, a basis $\beta$ of $V$ is said to be orthogonal if $(v, w) = 0$ for every $v \neq w \in \beta$, and orthonormal if moreover $(v, w) = 1$ when ...
1 vote
1 answer
73 views

How do you invert a tensor in the EFE equation such as the stress energy tensor or the Newtonian tensor?

Motivation: Tensors are built from vector spaces because a tensor satisfies the axioms of a vector space under the proper equipment of addition and multiplication. How do we define rigorously the ...
  • 61
0 votes
0 answers
30 views

Alternative norm of $k$-linear operator

For a $k$-linear operator $T \colon \mathbb{R}^n \times \cdots \times \mathbb{R}^n \to \mathbb{R}$ its norm can be defined as: \begin{equation} \lVert T \rVert = \sup_{ \lVert x_i \rVert_{\mathbb{R}^...
  • 263
1 vote
2 answers
75 views

Different definitions of a tensor

Some Linear Algebra textbooks defines tensors as the k-linear map: \begin{equation}T:V^{\times p}\to\mathbb{F}\end{equation} While others define it using the dual: \begin{equation}T:V^{\times p}\times ...
0 votes
1 answer
67 views

Trying to understand how tensors transform under a coordinate system change

I'm trying to understand how tensor components transform under a change of coordinate system, but something doesn't look right. Below is the derivation that I wrote out: We start with a general ...
  • 3
2 votes
1 answer
65 views

Generators for the group of linear transformation preserving $x^2 + y^2 - 2z^2$?

When I have a quadratic form, such as $Q = x^2 + y^2 - 2z^2$, how do I find generators for the group that preserves this quadratic form? That group would also be called $SO(Q)$ or $SO(3,Q)$. If ...
  • 24k
1 vote
1 answer
94 views

Definitions - Tensor Products and Tensors

So, I've been trying to get some grasps on Tensors, and now I've come to look at one particular classical definition, that goes around Tensor Products. So, I think I was able to follow the ...
1 vote
1 answer
32 views

Eigenspaces in the symmetric power

Given a finite dimensional vector space $V$ and a linear map $f:V\to V$, we can construct a multilinear map, which we will denote by $F$, on the $n^{th}$ symmetric power of $V$, which I tend to think ...
  • 1,315
0 votes
1 answer
92 views

Is this how to prove the two-sided ideal is spanned by $v_1\otimes\dots\otimes v_k$ where the $v_1,\dots,v_k$ are linearly dependent?

Let $V$ be any vector space, (I'm not sure about the characteristic of the field) consider its tensor algebra $TV$. The two sided ideal is defined as the subspace $I \subset TV$ generated by all ...
  • 4,360
1 vote
1 answer
47 views

How can I express this linear algebra sum of outer products in tensor notation?

I am curious about tensors and tensor notation and how it translates to common linear algebra stuff that I already know. For instance, we can express an outer product $AA^\top$ as a sum of outer ...
  • 801
1 vote
0 answers
42 views

Endomorphisms as derivations

A derivation on tensors is a map $T \mapsto D T$ that preserves the type of the tensor $T$; is linear; commutes with contractions; and satisfies the product rule $$ D\left(T_1 \otimes T_2\right)=\left(...
  • 337
0 votes
2 answers
151 views

Gradient of $f(x) = (Ax - b)^\mathsf{T} (Ax - b)$ [duplicate]

I want to find the gradient of $f(x) = (Ax - b)^\mathsf{T} (Ax - b)$, from product rule, I got: $$ \mathrm{d}f(x) = (A \mathrm{d}x)^\mathsf{T}(Ax-b)+(Ax-b)^\mathsf{T}(A \mathrm{d}x) $$ now I know I ...
1 vote
1 answer
52 views

Basic question on tensor product of two vector spaces

This may be trivial question, but I am trying to clarify my understanding of this concept. In the universal property of tensor product of $k$-vector spaces $V$ and $W$, it is stated that it is a ...
  • 2,520
0 votes
0 answers
23 views

Payoff Functions are Multilinear Forms?

I am reading Nash's paper "Equilibrium Points in $n$-Person Games" in which he claims that: "For mixed strategies, which are probability distributions over the pure strategies, the ...
0 votes
0 answers
35 views

Upper bound on a contraction of tensors

Definitions and assumptions Let $ k, l, m, n \in \mathbb{N^+} $ be positive integers, and let $ \vec{p} \in \mathbb{R}^k $ be a finite probability distribution, i.e. $ \sum_i p_i = 1 $ and $ \forall i ...
  • 87
2 votes
1 answer
99 views

Formalizing the universal property of the tensor product

Introduction (a bit long) I am very new to category theory and algebra, in general. I recently saw the formalized concept of a universal morphism, here in WikipediA. I will repeat the definition with ...
1 vote
1 answer
26 views

Naive question about notation for unusual products of entries of matrix with rank-3 tensor

I am trying to do a computation and I'm not very good with actually using tensors for computations. I have some $(n\times n)$ matrices $A = [a_{ij}]$ and $B = [b_{ij}]$ and some kind of rank-3 tensor $...
  • 2,892

1
2 3 4 5
25