I have a doubt on the associativity of the tensor product. I know that the tensor product of vector spaces is an associative operation up to a linear isomorphism and I’m just trying to prove that. My idea is: Let $V_1, \dots ,V_p$ be vector spaces over the same field $\mathbb{K}$ and let $k, r […]

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 define a map $B: M \times N \to P$ to be bilinear if $B(\lambda m,n) = \lambda B(m,n)$ and analogously for the […]

I am having trouble understanding, why the $k$-th derivative of a map $F\colon\mathbb R^n \to\mathbb R^m$ is a symmetric multilinear map for each $x$ in $\mathbb R^n$. Can you please explain which vectors this map accepts as input where multilinearity comes from ? Also, why is symmetry mentioned ? Thank you readingframe

I am looking forward to an application of the universal property of the tensor product of vector spaces. We DEFINE the determinant of a $n\times n$ matrix $A=(a_{ij})$ over a field $F$ by that for any fixed $i=1, 2, …, n$, $$\det{A}=\sum_{j=1}^{n}(-1)^{i+j}a_{ij} |A_{ij}|,$$ where $|A_{ij}|$ is the minor of $A$ at position $(i, j)$. The […]

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$ be a collection of vector spaces over $K$, then if $\sigma \in S_k$ there is a linear isomorphism $$f_\sigma : V_1\otimes\cdots\otimes V_k\to V_{\sigma(1)}\otimes\cdots\otimes V_{\sigma(k)}$$ […]

Let $H$ is a real, $n$-dimensional vector space. Define $\varphi \colon \operatorname{GL}(H) \rightarrow \operatorname{GL}(\wedge^{k}H)$ by $A \mapsto \wedge^{k}A$ and $\psi_{\langle \cdot, \cdot \rangle} \colon \operatorname{GL}(\wedge^{k}H) \rightarrow T$ given by $J \mapsto\langle J(\cdot),J(\cdot)⟩$. Here, $\langle \cdot, \cdot \rangle$ is some inner product on $H$, $$ T = \{g \colon \wedge^{k}H\times \wedge^{k}H \, | \, g \text{ […]

The wege product, an operation defined between two alternating tensors, has a number of elementary properties such as associativity, distributivity, etc. There are many proofs of these properties e.g., see Analysis on Manifolds by Mukres or Topology, Geometry and Guage Fields by Naber. These proofs differ in the details but all ultimately rely on combinatorial […]

All rings below are assumed to be commutative and having an identity. $\newcommand{\bw}{\bigwedge}\newcommand{\R}{\mathbf R}\newcommand{\mc}{\mathcal}$ Consider the following problem: Problem 1. Let $M$ and $N$ be $n\times n$ matrices with entries from a field $F$ of characteristic $0$. Then $$\det(MN)=\det M\det N\tag{1}$$ The above can be neatly proved using exterior algebras (I have hidden the details […]

I have read several topics on tensors but it is still not clear to me. Tensors are different from matrices because they contain additional information about how do they transform. To fully specify a $n\times n$ matrix, one need to specify its $n^2$ components. My question is: what do someone need to specify to fully […]

Let $\mathbb{f}$ be a non-zero bilinear form on a finite dimensional vector sppace $V.$ Then have to show that $\mathbb{f}$ can be expressed as a product of two linear functionals i.e., $\mathbb{f}(\alpha, \beta)=L_1(\alpha)L_2(\beta)$ for $L_i \in V^*$ iff $\mathbb{f}$ has rank $1.$ I proved that if $\mathbb{f}$ is product of two linear functional then its […]

Intereting Posts

Two different formulas for standard error of difference between two means
No integer solutions for $x^5 – 3y^5 = 2008$
Is the map $S^{2n+1}\rightarrow \mathbb{C}P^n \rightarrow \mathbb{C}P^n/\mathbb{C}P^{n-1}\cong S^{2n}$ essential?
Is there a classic Matrix Algebra reference?
Jordan Measure, Semi-closed sets and Partitions
If $f \in L^{p_1}(E) $ is bounded then $f\in L^{p_2}$ for any $p_2>p_1$
Strength of the statement “$\mathbb R$ has a Hamel basis over $\mathbb Q$”
Finding a generalization for $\int_{0}^{\infty}e^{- 3\pi x^{2} }\frac{\sinh(\pi x)}{\sinh(3\pi x)}dx$
What is a good asymptotic for $f_n = f_{n-1}+\ln(f_{n-1})$?
The probability of an ace from a 5-card hand?
Is factoring polynomials as hard as factoring integers?
How to find center of a conic section from the equation?
Cauchy-Schwarz inequality and three-letter identities (exercise 1.4 from “The Cauchy-Schwarz Master Class”)
Interesting math-facts that are visually attractive
Find the points of discontinuity: $f(x) = (x^4+x^3+2x^2)/\tan^{-1}(x)$ if $x\ne0$ and $f(0)=10$