Chapter 6: Problem 3
Prove that the composite of unitary [orthogonal] operators is unitary [orthogonal].
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 3
Prove that the composite of unitary [orthogonal] operators is unitary [orthogonal].
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
Simultaneous diagonalization. Let \(U\) and \(T\) be normal operators on a finite- dimensional complex inner product space \(\mathrm{V}\) such that \(\mathrm{TU}=\mathrm{UT}\). Prove that there exists an orthonormal basis for \(V\) consisting of vectors that are eigenvectors of both \(\mathbf{T}\) and \(\mathbf{U}\). Hint: Use the hint of Exercise 14 of Section \(6.4\) along with Exercise 8 .
Let \(V=C([-1,1])\) with the inner product \(\langle f, g\rangle=\int_{-1}^{1} f(t) g(t) d t\), and let \(\mathrm{W}\) be the subspace \(\mathrm{P}_{2}(R)\), viewed as a space of functions. Use the orthonormal basis obtained in Example 5 to compute the "best" (closest) second-degree polynomial approximation of the function \(h(t)=\) \(e^{t}\) on the interval \([-1,1]\).
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.
Provide reasons why each of the following is not an inner product on the given vector spaces. (a) \(\langle(a, b),(c, d)\rangle=a c-b d\) on \(\mathrm{R}^{2}\). (b) \(\langle A, B\rangle=\operatorname{tr}(A+B)\) on \(\mathrm{M}_{2 \times 2}(R)\). (c) \(\langle f(x), g(x)\rangle=\int_{0}^{1} f^{\prime}(t) g(t) d t\) on \(\mathrm{P}(R)\), where ' denotes differentiation.
Let \(\beta\) be a basis for a finite-dimensional inner product space. (a) Prove that if \(\langle x, z\rangle=0\) for all \(z \in \beta\), then \(x=0\). (b) Prove that if \(\langle x, z\rangle=\langle y, z\rangle\) for all \(z \in \beta\), then \(x=y\).
What do you think about this solution?
We value your feedback to improve our textbook solutions.