Chapter 14: Problem 21
Show that the tensor product is not, in general, commutative.
Short Answer
Step by step solution
Key Concepts
These are the key concepts you need to understand to accurately answer the question.
/*! This file is auto-generated */ .wp-block-button__link{color:#fff;background-color:#32373c;border-radius:9999px;box-shadow:none;text-decoration:none;padding:calc(.667em + 2px) calc(1.333em + 2px);font-size:1.125em}.wp-block-file__button{background:#32373c;color:#fff;text-decoration:none}
Learning Materials
Features
Discover
Chapter 14: Problem 21
Show that the tensor product is not, in general, commutative.
These are the key concepts you need to understand to accurately answer the question.
All the tools & learning materials you need for study success - in one app.
Get started for free
Show that a) \((A \otimes B)^{t}=A^{t} \otimes B^{t}\) b) \((A \otimes B)^{*}=A^{*} \otimes B^{*}(\) when \(F=\mathbb{C})\)
Prove that \(U \otimes V \approx V \otimes U\).
Show that if \(\tau: W \rightarrow X\) is a linear map and \(b: U \times V \rightarrow W\) is bilinear, then \(\tau \circ b: U \times V \rightarrow X\) is bilinear.
Let \(A=\left(a_{i, j}\right)\) be the matrix of a linear operator \(\tau \in
\mathcal{L}(V)\) with respect to the ordered basis \(\mathcal{A}=\left(u_{1},
\ldots, u_{n}\right)\). Let \(B=\left(b_{i, j}\right)\) be the matrix of a linear
operator \(\sigma \in \mathcal{L}(V)\) with respect to the ordered basis
\(\mathcal{B}=\left(v_{1}, \ldots, v_{m}\right)\). Consider the ordered basis
\(\mathcal{C}=\left(u_{i} \otimes v_{j}\right)\) ordered lexicographically; that
is \(u_{i} \otimes v_{j}
Prove that the following property of a pair \((W, g: U \times V \rightarrow W)\) with \(g\) bilinear characterizes the tensor product \((U \otimes V, t: U \times V \rightarrow U \otimes V)\) up to isomorphism, and thus could have been used as the definition of tensor product: For a pair \((W, g: U \times V \rightarrow W)\) with \(g\) bilinear if \(\left\\{u_{i}\right\\}\) is a basis for \(U\) and \(\left\\{v_{i}\right\\}\) is a basis for \(V\), then \(\left\\{g\left(u_{i}, v_{j}\right)\right\\}\) is a basis for \(W\).
What do you think about this solution?
We value your feedback to improve our textbook solutions.