Chapter 6: Problem 17
Prove that a matrix that is both unitary and upper triangular must be a diagonal matrix.
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 6: Problem 17
Prove that a matrix that is both unitary and upper triangular must be a diagonal matrix.
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
Assume the notation of Theorem \(6.32\). (a) Prove that for any ordered basis \(\beta, \psi_{\beta}\) is linear. (b) Let \(\beta\) be an ordered basis for an \(n\)-dimensional space \(\mathrm{V}\) over \(F\), and let \(\phi_{\beta}: \mathrm{V} \rightarrow \mathrm{F}^{n}\) be the standard representation of \(\mathrm{V}\) with respect to \(\beta\). For \(A \in \mathbf{M}_{n \times n}(F)\), define \(H: \mathbf{V} \times \mathbf{V} \rightarrow F\) by \(H(x, y)=\) \(\left[\phi_{\beta}(x)\right]^{t} A\left[\phi_{\beta}(y)\right]\). Prove that \(H \in \mathcal{B}(\mathrm{V})\). Can you establish this as a corollary to Exercise 7? (c) Prove the converse of (b): Let \(H\) be a bilinear form on V. If \(A=\psi_{\beta}(H)\), then \(H(x, y)=\left[\phi_{\beta}(x)\right]^{t} A\left[\phi_{\beta}(y)\right]\).
Let \(\mathrm{T}\) and \(\mathrm{U}\) be self-adjoint linear operators on an \(n\)-dimensional inner product space \(\mathrm{V}\), and let \(A=[\mathrm{T}]_{\beta}\), where \(\beta\) is an orthonormal basis for V. Prove the following results. (a) \(\mathrm{T}\) is positive definite [semidefinite] if and only if all of its eigenvalues are positive [nonnegative]. (b) \(\mathrm{T}\) is positive definite if and only if $$ \sum_{i, j} A_{i j} a_{j} \bar{a}_{i}>0 \text { for all nonzero } n \text {-tuples }\left(a_{1}, a_{2}, \ldots, a_{n}\right) \text {. } $$ (c) \(\mathrm{T}\) is positive semidefinite if and only if \(A=B^{*} B\) for some square matrix \(B\). (d) If \(T\) and \(U\) are positive semidefinite operators such that \(T^{2}=U^{2}\), then \(\mathrm{T}=\mathrm{U}\). (e) If \(T\) and \(U\) are positive definite operators such that \(T U=U T\), then TU is positive definite. (f) \(\mathrm{T}\) is positive definite [semidefinite] if and only if \(A\) is positive definite [semidefinite]. Because of (f), results analogous to items (a) through (d) hold for matrices as well as operators.
Let \(V\) be a finite-dimensional inner product space over \(F\). (a) Parseval's Identity. Let \(\left\\{v_{1}, v_{2}, \ldots, v_{n}\right\\}\) be an orthonormal basis for \(\mathrm{V}\). For any \(x, y \in \mathrm{V}\) prove that $$ \langle x, y\rangle=\sum_{i=1}^{n}\left\langle x, v_{i}\right\rangle \overline{\left\langle y, v_{i}\right\rangle} . $$ (b) Use (a) to prove that if \(\beta\) is an orthonormal basis for \(V\) with inner product \(\langle\cdot, \cdot\rangle\), then for any \(x, y \in \mathrm{V}\) $$ \left\langle\phi_{\beta}(x), \phi_{\beta}(y)\right\rangle^{\prime}=\left\langle[x]_{\beta},[y]_{\beta}\right\rangle^{\prime}=\langle x, y\rangle, $$ where \(\langle\cdot, \cdot\rangle^{\prime}\) is the standard inner product on \(\mathrm{F}^{n}\).
Let \(V\) be a finite-dimensional inner product space, and let \(T\) and \(U\) be self-adjoint operators on \(V\) such that \(T\) is positive definite. Prove that both TU and UT are diagonalizable linear operators that have only real eigenvalues. Hint: Show that UT is self-adjoint with respect to the inner product \(\langle x, y\rangle^{\prime}=\langle\mathrm{T}(x), y\rangle\). To show that TU is self-adjoint, repeat the argument with \(\mathrm{T}^{-1}\) in place of \(\mathrm{T}\).
Assume that \(\mathrm{T}\) is a linear operator on a complex (not necessarily finitedimensional) inner product space \(\mathrm{V}\) with an adjoint \(\mathrm{T}^{*}\). Prove the following results. (a) If \(\mathrm{T}\) is self-adjoint, then \(\langle\mathrm{T}(x), x\rangle\) is real for all \(x \in \mathrm{V}\). (b) If \(\mathrm{T}\) satisfies \(\langle\mathrm{T}(x), x\rangle=0\) for all \(x \in \mathrm{V}\), then \(\mathrm{T}=\mathrm{T}_{0}\). Hint: Replace \(x\) by \(x+y\) and then by \(x+i y\), and expand the resulting inner products. (c) If \(\langle\mathrm{T}(x), x\rangle\) is real for all \(x \in \mathrm{V}\), then \(\mathrm{T}\) is self-adjoint.
What do you think about this solution?
We value your feedback to improve our textbook solutions.