Section 13.4

Orthogonal Complement

[10/80%]
Show
LaTeX
Problem 1343

Prove that the orthogonal complement L⊥L^{\perp } of a linear subspace LL of a Euclidean (Hermitian) space VV is a linear subspace. In the case of an nn-dimensional Euclidean space VV, find the dimension of L⊥L^{\perp }, if the dimension of LL equals kk.

?
Problem 1344

Let LL be a subspace of a finite-dimensional Euclidean space VV. Prove that the entire space VV is the direct sum of LL and its orthogonal complement L⊥:V=L⊕L⊥L^{\perp }: V = L \oplus L^{\perp }.

?
Problem 1345

Prove the following properties of the orthogonal complement L⊥L^{\perp } of a linear subspace LL in a finite-dimensional Euclidean space VV:

?
(1)

(L⊥)⊥=L\left(L^{\perp }\right)^{\perp } = L

(2)

(L1+L2)⊥=L1⊥∩L2⊥\left(L_{1}+L_{2}\right)^{\perp } = L_{1}^{\perp } \cap L_{2}^{\perp };

(3)

(L1∩L2)⊥=L1⊥+L2⊥\left(L_{1} \cap L_{2}\right)^{\perp } = L_{1}^{\perp }+L_{2}^{\perp };

(4)

V⊥=0,0⊥=VV^{\perp } = 0,0^{\perp } = V.

Problem 1346

Find a basis of the orthogonal complement L⊥L^{\perp } of the subspace LL spanned by the vectors:

?
(1)

a1=(1,2,0,−1),a2=(0,−1,1,3),a3=(3,4,2,3)a_{1} = (1,2,0,-1), \quad a_{2} = (0,-1,1,3), a_{3} = (3,4,2,3);

(2)

a1=(1,0,−2,−1),a2=(1,1,5,4),a3=(0,1,1,1)a_{1} = (1,0,-2,-1), a_{2} = (1,1,5,4), \quad a_{3} = (0,1,1,1).

Problem 1347

Find the equations defining the orthogonal complement L⊥L^{\perp } of the subspace LL, if LL is given by a system of linear homogeneous equations:

?
(1)

{x1−2x2+x3+3x4=0,3x1−4x2−x3+7x4=0,x2−2x3−x4=0,\begin{cases} x^{1}-2 x^{2}+x^{3}+3 x^{4} = 0, \\ 3 x^{1}-4 x^{2}-x^{3}+7 x^{4} = 0, \\ x^{2}-2 x^{3}-x^{4} = 0 \end{cases},

(2)

{x1+x2−x3=0,x1+x2+x3+2x4=0,2x2+x3+x4=0.\begin{cases} x^{1}+x^{2}-x^{3} = 0, \\ x^{1}+x^{2}+x^{3}+2 x^{4} = 0, \\ 2 x^{2}+x^{3}+x^{4} = 0. \end{cases}

Problem 1348

In the Euclidean space R2n[x]\mathbb {R}_{2 n}[x] of polynomials of degree at most 2n2 n with the inner product given by the integral

(f,g)=∫−11f(x)g(x)dx (f, g) = \int _{-1}^{1} f(x) g(x) d x

find the orthogonal complement L⊥L^{\perp } to the subspace L=⟨1,x2,x4,…,x2n⟩L = \left\langle 1, x^{2}, x^{4}, \ldots , x^{2 n}\right\rangle (the subspace of even polynomials).

?
Problem 1349

In the Euclidean space of square matrices with the inner product

(A,B)=tr⁡(A⊤B)=∑i,j=1naijbij (A, B) = \operatorname {tr}\left(A^{\top } B\right) = \sum _{i, j = 1}^{n} a_{i j} b_{i j}

find the orthogonal complement to the subspace of:

?
(1)

upper triangular matrices;

(2)

symmetric matrices.

Problem 1350

Find the orthogonal projection x∥x^{\| } and the orthogonal component x⊥x^{\perp } of the vector x=(9,1,3,−1)x = (9,1,3,-1) when projecting onto the subspace L=⟨(3,0,4,1),(1,1,1,−1),(3,−3,5,5)⟩L = \langle (3,0,4,1),(1,1,1,-1),(3,-3,5,5)\rangle.

?
Problem 1351

Find the orthogonal projection x∥x^{\| } and the orthogonal component x⊥x^{\perp } of the vector x=(2,5,−2,3)x = (2,5,-2,3) when projecting onto the subspace L=⟨(−3,1,1,1),(1,0,1,0),(−1,0,1,1)⟩L = \langle (-3,1,1,1),(1,0,1,0),(-1,0,1,1)\rangle.

?
Problem 1352

Find the orthogonal projection YY and the orthogonal component ZZ of the matrix XX in the Euclidean space of real square matrices of order two with the inner product (A,B)=tr⁡(A⊤B)=∑i,j=12aijbij(A, B) = \operatorname {tr}\left(A^{\top } B\right) = \sum_{i, j = 1}^{2} a_{i j} b_{i j} when projecting onto the subspace L=⟨A1,A2⟩L = \left\langle A_{1}, A_{2}\right\rangle, where

X=(4−1−34),A1=(1111),A2=(122−1) X =\left(\begin{smallmatrix} 4 & -1 \\ -3 & 4 \end{smallmatrix}\right), \quad A_{1} =\left(\begin{smallmatrix} 1 & 1 \\ 1 & 1 \end{smallmatrix}\right), \quad A_{2} =\left(\begin{smallmatrix} 1 & 2 \\ 2 & -1 \end{smallmatrix}\right)
?