Chapter 7: Problem 89
Suppose \(B\) is a real nonsingular matrix. Show that: (a) \(B^{T} B\) is symmetric and (b) \(B^{T} B\) is positive definite.
/*! 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 7: Problem 89
Suppose \(B\) is a real nonsingular matrix. Show that: (a) \(B^{T} B\) is symmetric and (b) \(B^{T} B\) is positive definite.
All the tools & learning materials you need for study success - in one app.
Get started for free
Find the matrix \(P\) that represents the usual inner product on \(\mathbf{C}^{3}\) relative to the basis \(\\{1, i, 1-i\\}\).
Find the values of \(k\) so that the following is an inner product on \(\mathbf{R}^{2}\), where \(u=\left(x_{1}, x_{2}\right)\) and \(v=\left(y_{1}, y_{2}\right)\)
Label the following statements as true or false. Assume that the characteristic polynomial of the matrix or linear operator splits. (a) The Jordan canonical form of a diagonal matrix is the matrix itself. (b) Let \(\mathrm{T}\) be a linear operator on a finite-dimensional vector space \(\mathrm{V}\) that has a Jordan canonical form \(J\). If \(\beta\) is any basis for \(\mathrm{V}\), then the Jordan canonical form of \([\mathrm{T}]_{\beta}\) is \(J\). (c) Linear operators having the same characteristic polynomial are similar. (d) Matrices having the same Jordan canonical form are similar. (e) Every matrix is similar to its Jordan canonical form. (f) Every linear operator with the characteristic polynomial \((-1)^{n}(t-\lambda)^{n}\) has the same Jordan canonical form. (g) Every linear operator on a finite-dimensional vector space has a unique Jordan canonical basis. (h) The dot diagrams of a linear operator on a finite-dimensional vector space are unique.
Let \(A\) be an \(n \times n\) matrix whose characteristic polynomial splits, \(\gamma\) be a cycle of generalized eigenvectors corresponding to an eigenvalue \(\lambda\), and \(W\) be the subspace spanned by \(\gamma\). Define \(\gamma^{\prime}\) to be the ordered set obtained from \(\gamma\) by reversing the order of the vectors in \(\gamma\). (a) Prove that \(\left[\mathrm{T}_{\mathrm{W}}\right]_{\gamma^{\prime}}=\left(\left[\mathrm{T}_{\mathrm{W}}\right]_{\gamma}\right)^{t}\). (b) Let \(J\) be the Jordan canonical form of \(A\). Use (a) to prove that \(J\) and \(J^{t}\) are similar. (c) Use (b) to prove that \(A\) and \(A^{t}\) are similar.
Let \(\mathrm{S}\) consist of the following vectors in \(\mathbf{R}^{4}\) : \\[u_{1}=(1,1,0,-1), u_{2}=(1,2,1,3), u_{3}=(1,1,-9,2), u_{4}=(16,-13,1,3)\\] (a) Show that \(S\) is orthogonal and a basis of \(\mathbf{R}^{4}\). (b) Find the coordinates of an arbitrary vector \(v=(a, b, c, d)\) in \(\mathbf{R}^{4}\) relative to the basis \(S\) (a) Compute \\[\begin{array}{lll} u_{1} \cdot u_{2}=1+2+0-3=0, & u_{1} \cdot u_{3}=1+1+0-2=0, & u_{1} \cdot u_{4}=16-13+0-3=0 \\ u_{2} \cdot u_{3}=1+2-9+6=0, & u_{2} \cdot u_{4}=16-26+1+9=0, & u_{3} \cdot u_{4}=16-13-9+6=0 \end{array}\\] Thus, \(S\) is orthogonal, and \(S\) is linearly independent. Accordingly, \(S\) is a basis for \(\mathbf{R}^{4}\) because any four linearly independent vectors form a basis of \(\mathbf{R}^{4}\) (b) Because \(S\) is orthogonal, we need only find the Fourier coefficients of \(v\) with respect to the basis vectors, as in Theorem \(7.7 .\) Thus, \\[\begin{array}{ll}k_{1}=\frac{\left\langle v, u_{1}\right\rangle}{\left\langle u_{1}, u_{1}\right\rangle}=\frac{a+b-d}{3}, & k_{3}=\frac{\left\langle v, u_{3}\right\rangle}{\left\langle u_{3}, u_{3}\right\rangle}=\frac{a+b-9 c+2 d}{87} \\ k_{2}=\frac{\left\langle v, u_{2}\right\rangle}{\left\langle u_{2}, u_{2}\right\rangle}=\frac{a+2 b+c+3 d}{15}, & k_{4}=\frac{\left\langle v, u_{4}\right\rangle}{\left\langle u_{4}, u_{4}\right\rangle}=\frac{16 a-13 b+c+3 d}{435}\end{array}\\] are the coordinates of \(v\) with respect to the basis \(S\).
What do you think about this solution?
We value your feedback to improve our textbook solutions.