Back to Understanding Linear Algebra

Orthogonal complements and the matrix transpose

The set of vectors perpendicular to an entire subspace, and the transpose identities that pair null spaces with column spaces across four subspaces.

Understanding Linear Algebra, Orthogonal complements and the matrix transpose

Status
FlagsLoading your progress…

14 exercises

Activity 6.2.2

Suppose that w1=[10−2]\wvec_1=\threevec10{-2} and w2=[11−1]\wvec_2=\threevec11{-1} form a basis for WW, a two-dimensional subspace of R3\real^3. We will find a description of the orthogonal complement W⊥W^\perp.

  1. Suppose that the vector x\xvec is orthogonal to w1\wvec_1. If we write x=[x1x2x3]\xvec=\threevec{x_1}{x_2}{x_3}, use the fact that w1⋅x=0\wvec_1\cdot\xvec = 0 to write a linear equation for x1x_1, x2x_2, and x3x_3.

  2. Suppose that x\xvec is also orthogonal to w2\wvec_2. In the same way, write a linear equation for x1x_1, x2x_2, and x3x_3 that arises from the fact that w2⋅x=0\wvec_2\cdot\xvec = 0.

  3. If x\xvec is orthog…

2.5

Activity 6.2.3

This activity illustrates how multiplying a vector by ATA^T is related to computing dot products with the columns of AA. You'll develop a better understanding of this relationship if you compute the dot products and matrix products in this activity without using technology.

  1. If B=[34−120−2]B = \begin{bmatrix} 3 & 4 \\ -1 & 2 \\ 0 & -2 \\ \end{bmatrix}, write the matrix BTB^T.

  2. Suppose that Find the dot products v1⋅w\vvec_1\cdot\wvec and v2⋅w\vvec_2\cdot\wvec.

  3. Now write the matrix A=[v1v2]A = \begin{bmatrix} \vvec_1 & \vvec_2 \end{bmatrix} and its transpose ATA^T. Find the product ATwA^T\wvec…

2.5

Activity 6.2.4

In Sage, the transpose of a matrix A is given by A.T. Define the matrices

  1. Evaluate (A+B)T(A+B)^T and AT+BTA^T+B^T. What do you notice about the relationship between these two matrices?

  2. What happens if you transpose a matrix twice; that is, what is (AT)T(A^T)^T?

  3. Find det⁡(C)\det(C) and det⁡(CT)\det(C^T). What do you notice about the relationship between these determinants?

    1. Find the product ACAC and its transpose (AC)T(AC)^T.

    2. Is it possible to compute the product ATCTA^TC^T? Explain why…

2.5

Activity 6.2.5

  1. Suppose that WW is a 55-dimensional subspace of R9\real^9 and that AA is a matrix whose columns form a basis for WW; that is, Col(A)=W\col(A) = W.

    1. What is the shape of AA?

    2. What is the rank of AA?

    3. What is the shape of ATA^T?

    4. What is the rank of ATA^T?

    5. What is dim⁡Nul(AT)\dim\nul(A^T)?

    6. What is dim⁡W⊥\dim W^\perp?

    7. How are the dimensions of WW and W⊥W^\perp related?

  2. Suppose that WW is a subspace of R4\real^4 having basis

    1. Find the dimensions dim⁡W\dim W and dim⁡W⊥\dim W^\perp.

    2. Find a basis for W⊥W^\perp. It may be helpful to know that the Sa…

2.5

Exercise 1

Suppose that WW is a subspace of R4\real^4 with basis

  1. What are the dimensions dim⁡W\dim W and dim⁡W⊥\dim W^\perp?

  2. Find a basis for W⊥W^\perp.

  3. Verify that each of the basis vectors for W⊥W^\perp are orthogonal to w1\wvec_1 and w2\wvec_2.

2.5

Exercise 2

Consider the matrix A=[−1−2−213421−2]A = \begin{bmatrix} -1 & -2 & -2 \\ 1 & 3 & 4 \\ 2 & 1 & -2 \end{bmatrix}.

  1. Find rank⁡(A)\rank(A) and a basis for Col(A)\col(A).

  2. Determine the dimension of Col(A)⊥\col(A)^\perp and find a basis for it.

2.5

Exercise 3

Suppose that WW is the subspace of R4\real^4 defined as the solution set of the equation

  1. What are the dimensions dim⁡W\dim W and dim⁡W⊥\dim W^\perp?

  2. Find a basis for WW.

  3. Find a basis for W⊥W^\perp.

  4. In general, how can you easily find a basis for W⊥W^\perp when WW is defined by

2.5

Exercise 4

Determine whether the following statements are true or false and explain your reasoning.

  1. If A=[2111−31]A=\begin{bmatrix} 2 & 1 \\ 1 & 1 \\ -3 & 1 \end{bmatrix}, then x=[4−51]\xvec=\threevec{4}{-5}1 is in Col(A)⊥\col(A)^\perp.

  2. If AA is a 2×32\times3 matrix and BB is a 3×43\times4 matrix, then (AB)T=ATBT(AB)^T = A^TB^T is a 4×24\times2 matrix.

  3. If the columns of AA are v1\vvec_1, v2\vvec_2, and v3\vvec_3 and ATx=[201]A^T\xvec = \threevec{2}01, then x\xvec is orthogonal to v2\vvec_2.

  4. If AA is a 4×44\times 4 matrix with rank⁡(A)=3\rank(A) = 3, then Col(A)⊥\col(A)^\perp is a line in R4\real^4.

  5. If AA is a 5×75\times 7 matrix with rank⁡(A)=5\rank(A) = 5, then rank⁡(AT)=7\rank(A^T) = 7.

2.5

Exercise 5

Apply properties of matrix operations to simplify the following expressions.

  1. AT(BAT)−1A^T(BA^T)^{-1}

  2. (A+B)T(A+B)(A+B)^T(A+B)

  3. [A(A+B)T]T[A(A+B)^T]^T

  4. (A+2I)T(A + 2I)^T

2.5

Exercise 6

A symmetric matrix AA is one for which A=ATA=A^T.

  1. Explain why a symmetric matrix must be square.

  2. If AA and BB are general matrices and DD is a square diagonal matrix, which of the following matrices can you guarantee are symmetric?

    1. DD

    2. BAB−1BAB^{-1}

    3. AATAA^T.

    4. BDBTBDB^T

2.5

Exercise 7

If AA is a square matrix, remember that the characteristic polynomial of AA is det⁡(A−λI)\det(A-\lambda I) and that the roots of the characteristic polynomial are the eigenvalues of AA.

  1. Explain why AA and ATA^T have the same characteristic polynomial.

  2. Explain why AA and ATA^T have the same set of eigenvalues.

  3. Suppose that AA is diagonalizable with diagonalization A=PDP−1A=PDP^{-1}. Explain why ATA^T is diagonalizable and find a diagonalization.

2.5

Exercise 8

This exercise introduces a version of the Pythagorean theorem that we'll use later.

  1. Suppose that v\vvec and w\wvec are orthogonal to one another. Use the dot product to explain why

  2. Suppose that WW is a subspace of Rm\real^m and that z\zvec is a vector in Rm\real^m for which where x\xvec is in WW and y\yvec is in W⊥W^\perp. Explain why which is an expression of the Pythagorean theorem.

2.5

Exercise 9

In the next chapter, symmetric matrices---that is, matrices for which A=ATA=A^T---play an important role. It turns out that eigenvectors of a symmetric matrix that are associated to different eigenvalues are orthogonal. We will explain this fact in this exercise.

  1. Viewing a vector as a matrix having one column, we may write x⋅y=xTy\xvec\cdot\yvec = \xvec^T\yvec. If AA is a matrix, explain why x⋅(Ay)=(ATx)⋅y\xvec\cdot (A\yvec) = (A^T\xvec) \cdot \yvec.

  2. We have seen that the matrix A=[1221]A=\begin{bmatrix} 1 & 2 \\ 2 & 1 \end{bmatrix} has eigenvectors v1=[11]\vvec_1=\twovec11…

2.5

Exercise 10

Given an m×nm\times n matrix AA, the row space of AA is the column space of ATA^T; that is, Row(A)=Col(AT)\row(A) = \col(A^T).

  1. Suppose that AA is a 7×157\times 15 matrix. For what pp is Row(A)\row(A) a subspace of Rp\real^p?

  2. How can this proposition help us describe Row(A)⊥\row(A)^\perp?

  3. Suppose that A=[−1−22124−151203]A = \begin{bmatrix} -1 & -2 & 2 & 1 \\ 2 & 4 & -1 & 5 \\ 1 & 2 & 0 & 3 \end{bmatrix}. Find bases for Row(A)\row(A) and Row(A)⊥\row(A)^\perp.

2.5

Adapted from Understanding Linear Algebra © 2023 David Austin. Licensed under CC BY 4.0. Source: Understanding Linear Algebra. Imported at revision 3e6dced.