10.2E: Orthogonal Sets of Vectors Exercises

Use the dot product in \(\mathbb{R}^{n}\) unless otherwise instructed.

Exercise \(\PageIndex{1}\)

In each case, verify that \(B\) is an orthogonal basis of \(V\) with the given inner product and use the expansion theorem to express \(\mathbf{v}\) as a linear combination of the basis vectors.

1. \(\mathbf{v}=\left[\begin{array}{l}a \\ b\end{array}\right], B=\left\{\left[\begin{array}{r}1 \\ -1\end{array}\right],\left[\begin{array}{l}1 \\ 0\end{array}\right]\right\}, V=\mathbb{R}^{2}\) \(\langle\mathbf{v}, \mathbf{w}\rangle=\mathbf{v}^{T} A \mathbf{w}\) where \(A=\left[\begin{array}{ll}2 & 2 \\ 2 & 5\end{array}\right]\)
2. \(\mathbf{v}=\left[\begin{array}{l}a \\ b \\ c\end{array}\right], B=\left\{\left[\begin{array}{l}1 \\ 1 \\ 1\end{array}\right],\left[\begin{array}{r}-1 \\ 0 \\ 1\end{array}\right],\left[\begin{array}{r}1 \\ -6 \\ 1\end{array}\right]\right\}\), \(V=\mathbb{R}^{3},\langle\mathbf{v}, \mathbf{w}\rangle=\mathbf{v}^{T} A \mathbf{w}\) where \(A=\left[\begin{array}{ccc}2 & 0 & 1 \\ 0 & 1 & 0 \\ 1 & 0 & 2\end{array}\right]\)
3. \(\mathbf{v}=a+b x+c x^{2}, B=\left\{1 x, 2-3 x^{2}\right\}, V=\mathbf{P}_{2}\), \(\langle p, q\rangle=p(0) q(0)+p(1) q(1)+p(-1) q(-1)\)
4. \(\mathbf{v}=\left[\begin{array}{ll}a & b \\ c & d\end{array}\right]\) \(B=\left\{\left[\begin{array}{ll}1 & 0 \\ 0 & 1\end{array}\right],\left[\begin{array}{rr}1 & 0 \\ 0 & -1\end{array}\right],\left[\begin{array}{ll}0 & 1 \\ 1 & 0\end{array}\right],\left[\begin{array}{rr}0 & 1 \\ -1 & 0\end{array}\right]\right\}\), \(V=\mathbf{M}_{22},\langle X, Y\rangle=\operatorname{tr}\left(X Y^{T}\right)\)

Answer

2. \[\frac{1}{14}\left\{(6 a+2 b+6 c)\left[\begin{array}{l} 1 \\ 1 \\ 1 \end{array}\right]+(7 c-7 a)\left[\begin{array}{r} -1 \\ 0 \\ 1 \end{array}\right]\right. \left.+(a-2 b+c)\left[\begin{array}{r} 1 \\ -6 \\ 1 \end{array}\right]\right\} \nonumber\]
4. \[ \left(\frac{a+d}{2}\right) \left[\begin{array}{ll} 1 & 0 \\ 0 & 1 \end{array}\right] + \left(\frac{a-d} {2}\right) \left[\begin{array}{rr} 1 & 0 \\ 0 & -1 \end{array}\right] + \quad\left(\frac{b+c}{2}\right)\left[\begin{array}{ll} 0 & 1 \\ 1 & 0 \end{array}\right] + \left(\frac{b-c}{2}\right)\left[\begin{array}{rr} 0 & 1 \\ -1 & 0 \end{array}\right] \nonumber\]

Exercise \(\PageIndex{2}\)

Let \(\mathbb{R}^{3}\) have the inner product \(\left\langle(x, y, z),\left(x^{\prime}, y^{\prime}, z^{\prime}\right)\right\rangle=2 x x^{\prime}+y y^{\prime}+3 z z^{\prime}\). In each case, use the Gram-Schmidt algorithm to transform \(B\) into an orthogonal basis.

1. \(B=\{(1,1,0),(1,0,1),(0,1,1)\}\)
2. \(B=\{(1,1,1),(1,-1,1),(1,1,0)\}\)

Answer

2. \(\{(1,1,1),(1,-5,1),(3,0,-2)\}\)

Exercise \(\PageIndex{3}\)

Let \(\mathbf{M}_{22}\) have the inner product \(\langle X, Y\rangle=\operatorname{tr}\left(X Y^{T}\right)\). In each case, use the Gram-Schmidt algorithm to transform \(B\) into an orthogonal basis.

1. \(B=\left\{\left[\begin{array}{ll}1 & 1 \\ 0 & 0\end{array}\right],\left[\begin{array}{ll}1 & 0 \\ 1 & 0\end{array}\right],\left[\begin{array}{ll}0 & 1 \\ 0 & 1\end{array}\right],\left[\begin{array}{ll}1 & 0 \\ 0 & 1\end{array}\right]\right\}\)
2. \(B=\left\{\left[\begin{array}{ll}1 & 1 \\ 0 & 1\end{array}\right],\left[\begin{array}{ll}1 & 0 \\ 1 & 1\end{array}\right],\left[\begin{array}{ll}1 & 0 \\ 0 & 1\end{array}\right],\left[\begin{array}{ll}1 & 0 \\ 0 & 0\end{array}\right]\right\}\)

Answer

2. \(\left\{\left[\begin{array}{ll}
   1 & 1 \\
   0 & 1
   \end{array}\right],\left[\begin{array}{rr}
   1 & -2 \\
   3 & 1
   \end{array}\right],\left[\begin{array}{rr}
   1 & -2 \\
   -2 & 1
   \end{array}\right],\left[\begin{array}{rr}
   1 & 0 \\
   0 & -1
   \end{array}\right]\right\}\)

Exercise \(\PageIndex{4}\)

In each case, use the Gram-Schmidt process to convert the basis \(B=\left\{1, x, x^{2}\right\}\) into an orthogonal basis of \(\mathbf{P}_{2}\).

1. \(\langle p, q\rangle=p(0) q(0)+p(1) q(1)+p(2) q(2)\)
2. \(\langle p, q\rangle=\int_{0}^{2} p(x) q(x) d x\)

Answer

2. \(\left\{1, x-1, x^2-2 x+\frac{2}{3}\right\}\)

Exercise \(\PageIndex{5}\)

Show that \(\left\{1, x-\frac{1}{2}, x^{2}-x+\frac{1}{6}\right\}\), is an orthogonal basis of \(\mathbf{P}_{2}\) with the inner product

\[ \langle p, q\rangle=\int_{0}^{1} p(x) q(x) d x \nonumber \]

and find the corresponding orthonormal basis.

Exercise \(\PageIndex{6}\)

In each case find \(U^{\perp}\) and compute \(\operatorname{dim} U\) and \(\operatorname{dim} U^{\perp}\).

1. \(U=\operatorname{span}\{(1,1,2,0),(3,-1,2,1)\), \((1,-3,-2,1)\}\) in \(\mathbb{R}^{4}\)
2. \(U=\operatorname{span}\{(1,1,0,0)\}\) in \(\mathbb{R}^{4}\)
3. \(U=\operatorname{span}\{1, x\}\) in \(\mathbf{P}_{2}\) with \(\langle p, q\rangle=p(0) q(0)+p(1) q(1)+p(2) q(2)\)
4. \(U=\operatorname{span}\{x\}\) in \(\mathbf{P}_{2}\) with \(\langle p, q\rangle=\int_{0}^{1} p(x) q(x) d x\)
5. \(U=\operatorname{span}\left\{\left[\begin{array}{ll}1 & 0 \\ 0 & 1\end{array}\right],\left[\begin{array}{ll}1 & 1 \\ 0 & 0\end{array}\right]\right\}\) in \(\mathbf{M}_{22}\) with \(\langle X, Y\rangle=\operatorname{tr}\left(X Y^{T}\right)\)
6. \(U=\operatorname{span}\left\{\left[\begin{array}{ll}1 & 1 \\ 0 & 0\end{array}\right],\left[\begin{array}{ll}1 & 0 \\ 1 & 0\end{array}\right],\left[\begin{array}{ll}1 & 0 \\ 1 & 1\end{array}\right]\right\}\) in \(\mathbf{M}_{22}\) with \(\langle X, Y\rangle=\operatorname{tr}\left(X Y^{T}\right)\)

Answer

2. \(U^{\perp}=\operatorname{span}\left\{\left[\begin{array}{llll}
   1 & -1 & 0 & 0
   \end{array}\right],\left[\begin{array}{llll}
   0 & 0 & 1 & 0
   \end{array}\right],\left[\begin{array}{lll}
   0 & 0 & 0 & 1
   \end{array}\right.\right. ], \operatorname{dim} U^{\perp}=3, \operatorname{dim} U=1\)
4. \(U^{\perp}=\operatorname{span}\left\{2-3 x, 1-2 x^2\right\}, \operatorname{dim} U^{\perp}=2, \operatorname{dim} U=1\)
6. \(U^{\perp}=\operatorname{span}\left\{\left[\begin{array}{rr} 1 & -1 \\ -1 & 0 \end{array}\right]\right\}, \operatorname{dim} U^{\perp}=\)

Exercise \(\PageIndex{7}\)

Let \(\langle X, Y\rangle=\operatorname{tr}\left(X Y^{T}\right)\) in \(\mathbf{M}_{22}\). In each case find the matrix in \(U\) closest to \(A\).

1. \(U=\operatorname{span}\left\{\left[\begin{array}{ll}1 & 0 \\ 0 & 1\end{array}\right],\left[\begin{array}{ll}1 & 1 \\ 1 & 1\end{array}\right]\right\}\) \(A=\left[\begin{array}{rr}1 & -1 \\ 2 & 3\end{array}\right]\)
2. \(U=\operatorname{span}\left\{\left[\begin{array}{ll}1 & 0 \\ 0 & 1\end{array}\right],\left[\begin{array}{rr}1 & 1 \\ 1 & -1\end{array}\right],\left[\begin{array}{ll}1 & 1 \\ 0 & 0\end{array}\right]\right\}\), \(A=\left[\begin{array}{ll}2 & 1 \\ 3 & 2\end{array}\right]\)

Answer

2. \(U=\operatorname{span}\left\{\left[\begin{array}{ll}
   1 & 0 \\
   0 & 1
   \end{array}\right],\left[\begin{array}{rr}
   1 & 1 \\
   1 & -1
   \end{array}\right],\left[\begin{array}{rr}
   0 & 1 \\
   -1 & 0
   \end{array}\right]\right\} ; \operatorname{proj}_U(A)=\left[\begin{array}{ll}
   3 & 0 \\
   2 & 1
   \end{array}\right]\)

Exercise \(\PageIndex{8}\)

In \(\mathbf{P}_{2}\), let \[ \langle p(x), q(x)\rangle=p(0) q(0)+p(1) q(1)+p(2) q(2) \nonumber \]

In each case find the polynomial in \(U\) closest to \(f(x)\).

1. \(U=\operatorname{span}\left\{1+x, x^{2}\right\}, f(x)=1+x^{2}\)
2. \(U=\operatorname{span}\left\{1,1+x^{2}\right\} ; f(x)=x\)

Answer

2. \(U=\operatorname{span}\left\{1,5-3 x^2\right\} ; \operatorname{proj}_U(x)= \frac{3}{13}\left(\mid 1+2 x^2\right)\)

Exercise \(\PageIndex{9}\)

Using the inner product given by \(\langle p, q\rangle=\int_{0}^{1} p(x) q(x) d x\) on \(\mathbf{P}_{2}\), write \(\mathbf{v}\) as the sum of a vector in \(U\) and a vector in \(U^{\perp}\).

1. \(\mathbf{v}=x^{2}, U=\operatorname{span}\{x+1,9 x-5\}\)
2. \(\mathbf{v}=x^{2}+1, U=\operatorname{span}\{1,2 x-1\}\)

Answer

2. \(B=\{1,2 x-1\}\) is an orthogonal basis of \(U\) because \(\int_0^1(2 x-1) d x=0\). Using it, we get \(\operatorname{proj}_U\left(x^2+1\right)=x+\frac{5}{6}\), so \(x^2+1= \left(x+\frac{5}{6}\right)+\left(x^2-x+\frac{1}{6}\right)\).

Exercise \(\PageIndex{10}\)

1. Show that \(\{\mathbf{u}, \mathbf{v}\}\) is orthogonal if and only if \(\|\mathbf{u}+\mathbf{v}\|^{2}=\|\mathbf{u}\|^{2}+\|\mathbf{v}\|^{2}\)
2. If \(\mathbf{u}=\mathbf{v}=(1,1)\) and \(\mathbf{w}=(-1,0)\), show that \(\|\mathbf{u}+\mathbf{v}+\mathbf{w}\|^{2}=\|\mathbf{u}\|^{2}+\|\mathbf{v}\|^{2}+\|\mathbf{w}\|^{2}\) but \(\{\mathbf{u}, \mathbf{v}, \mathbf{w}\}\) is not orthogonal. Hence the converse to Pythagoras' theorem need not hold for more than two vectors.

Exercise \(\PageIndex{11}\)

Let \(\mathbf{v}\) and \(\mathbf{w}\) be vectors in an inner product space \(V\). Show that:

1. \(\mathbf{v}\) is orthogonal to \(\mathbf{w}\) if and only if \[ \|\mathbf{v}+\mathbf{w}\|=\|\mathbf{v}-\mathbf{w}\| \nonumber \]
2. \(\mathbf{v}+\mathbf{w}\) and \(\mathbf{v}-\mathbf{w}\) are orthogonal if and only if \(\|\mathbf{v}\|=\|\mathbf{w}\|\)

Answer

2. This follows from \(\langle\mathbf{v}+\mathbf{w}, \mathbf{v}-\mathbf{w}\rangle= \|\mathbf{v}\|^2-\|\mathbf{w}\|^2\).

Exercise \(\PageIndex{12}\)

Let \(U\) and \(W\) be subspaces of an \(n\) dimensional inner product space \(V\). Suppose \(\langle\mathbf{u}, \mathbf{v}\rangle=0\) for all \(\mathbf{u} \in U\) and \(\mathbf{w} \in W\) and \(\operatorname{dim} U+\operatorname{dim} W=n\). Show that \(U^{\perp}=W\).

Exercise \(\PageIndex{13}\)

If \(U\) and \(W\) are subspaces of an inner product space, show that \((U+W)^{\perp}=U^{\perp} \cap W^{\perp}\).

Exercise \(\PageIndex{14}\)

If \(X\) is any set of vectors in an inner product space \(V\), define

\[ X^{\perp}=\{\mathbf{v} \mid \mathbf{v} \text { in } V,\langle\mathbf{v}, \mathbf{x}\rangle=0 \text { for all } \mathbf{x} \text { in } X\} \nonumber \]

1. Show that \(X^{\perp}\) is a subspace of \(V\).
2. If \(U=\operatorname{span}\left\{\mathbf{u}_{1}, \mathbf{u}_{2}, \ldots, \mathbf{u}_{m}\right\}\), show that \(U^{\perp}=\left\{\mathbf{u}_{1}, \ldots, \mathbf{u}_{m}\right\}^{\perp}\).
3. If \(X \subseteq Y\), show that \(Y^{\perp} \subseteq X^{\perp}\).
4. Show that \(X^{\perp} \cap Y^{\perp}=(X \cup Y)^{\perp}\).

Answer

2. \(U^{\perp} \subseteq\left\{\mathbf{u}_1, \ldots, \mathbf{u}_m\right\}^{\perp}\) because each \(\mathbf{u}_i\) is in \(U\). Conversely, if \(\left\langle\mathbf{v}, \mathbf{u}_i\right\rangle=0\) for each \(i\), and \(\mathbf{u}=r_1 \mathbf{u}_1+\ldots+r_m \mathbf{u}_m\) is any vector in \(U\), then \(\langle\mathbf{v}, \mathbf{u}\rangle=r_1\left\langle\mathbf{v}, \mathbf{u}_1\right\rangle+\cdots+r_m\left\langle\mathbf{v}, \mathbf{u}_m\right\rangle=0\).

Exercise \(\PageIndex{15}\)

If \(\operatorname{dim} V=n\) and \(\mathbf{w} \neq \mathbf{0}\) in \(V\), show that \(\operatorname{dim}\{\mathbf{v} \mid \mathbf{v}\) in \(V,\langle\mathbf{v}, \mathbf{w}\rangle=0\}=n-1\).

Exercise \(\PageIndex{16}\)

If the Gram-Schmidt process is used on an orthogonal basis \(\left\{\mathbf{v}_{1}, \ldots, \mathbf{v}_{n}\right\}\) of \(V\), show that \(\mathbf{f}_{k}=\mathbf{v}_{k}\) holds for each \(k=1,2, \ldots, n\). That is, show that the algorithm reproduces the same basis.

Exercise \(\PageIndex{17}\)

If \(\left\{\mathbf{f}_1, \mathbf{f}_2, \ldots, \mathbf{f}_{n-1}\right\}\) is orthonormal in an inner product space of dimension \(n\), prove that there are exactly two vectors \(\mathbf{f}_n\) such that \(\left\{\mathbf{f}_1, \mathbf{f}_2\right.\), \(\left.\ldots, \mathbf{f}_{n-1}, \mathbf{f}_n\right\}\) is an orthonormal basis.

Exercise \(\PageIndex{18}\)

Let \(U\) be a finite dimensional subspace of an inner product space \(V\), and let \(\mathbf{v}\) be a vector in \(V\).

1. Show that \(\mathbf{v}\) lies in \(U\) if and only if \(\mathbf{v}=\operatorname{proj}_{U}(\mathbf{v})\).
2. If \(V=\mathbb{R}^{3}\), show that \((-5,4,-3)\) lies in \(\operatorname{span}\{(3,-2,5),(-1,1,1)\}\) but that \((-1,0,2)\) does not.

Answer

2. \(\operatorname{proj}_U(-5,4,-3)=(-5,4,-3)\); \(\operatorname{proj}_U(-1,0,2)=\frac{1}{38}(-17,24,73)\)

Exercise \(\PageIndex{19}\)

Let \(\mathbf{n} \neq \mathbf{0}\) and \(\mathbf{w} \neq \mathbf{0}\) be nonparallel vectors in \(\mathbb{R}^{3}\) (as in Chapter 4).

1. Show that \(\left\{\mathbf{n}, \mathbf{n} \times \mathbf{w}, \mathbf{w}-\frac{\mathbf{n} \cdot \mathbf{w}}{\|\mathbf{n}\|^{2}} \mathbf{n}\right\}\) is an orthogonal basis of \(\mathbb{R}^{3}\).
2. Show that span \(\left\{\mathbf{n} \times \mathbf{w}, \mathbf{w}-\frac{\mathbf{n} \cdot \mathbf{w}}{\|\mathbf{n}\|^{2}} \mathbf{n}\right\}\) is the plane through the origin with normal \(\mathbf{n}\).

Answer

2. The plane is \(\mathrm{U}=\{\mathbf{x} \mid \mathbf{x} \cdot \mathbf{n}=0\}\) so \(\operatorname{span}\left\{\mathbf{n} \times \mathbf{w}, \mathbf{w}-\frac{\mathbf{n} \cdot \mathbf{w}}{\|\mathbf{n}\|^2} \mathbf{n}\right\} \subseteq U\). This is equality because both spaces have dimension 2 (using (a)).

Exercise \(\PageIndex{20}\)

Let \(E=\left\{\mathbf{f}_{1}, \mathbf{f}_{2}, \ldots, \mathbf{f}_{n}\right\}\) be an orthonormal basis of \(V\).

1. Show that \(\langle\mathbf{v}, \mathbf{w}\rangle=C_{E}(\mathbf{v}) \cdot C_{E}(\mathbf{w})\) for all \(\langle\mathbf{v}, \mathbf{w}\rangle\) in \(V\).
2. If \(P=\left[p_{i j}\right]\) is an \(n \times n\) matrix, define \(\mathbf{b}_{i}=p_{i 1} \mathbf{f}_{1}+\cdots+p_{i n} \mathbf{f}_{n}\) for each \(i\). Show that \(B=\left\{\mathbf{b}_{1}, \mathbf{b}_{2}, \ldots, \mathbf{b}_{n}\right\}\) is an orthonormal basis if and only if \(P\) is an orthogonal matrix.

Answer

2. \(C_E\left(\mathbf{b}_i\right)\) is column \(i\) of \(P\). Since \(C_E\left(\mathbf{b}_i\right) \cdot C_E\left(\mathbf{b}_j\right)=\left\langle\mathbf{b}_i, \mathbf{b}_j\right\rangle\) by (a), the result follows.

Exercise \(\PageIndex{21}\)

Let \(\left\{\mathbf{f}_{1}, \ldots, \mathbf{f}_{n}\right\}\) be an orthogonal basis of \(V\). If \(\mathbf{v}\) and \(\mathbf{w}\) are in \(V\), show that

\[ \langle\mathbf{v}, \mathbf{w}\rangle=\frac{\left\langle\mathbf{v}, \mathbf{f}_{1}\right\rangle\left\langle\mathbf{w}, \mathbf{f}_{1}\right\rangle}{\left\|\mathbf{f}_{1}\right\|^{2}}+\cdots+\frac{\left\langle\mathbf{v}, \mathbf{f}_{n}\right\rangle\left\langle\mathbf{w}, \mathbf{f}_{n}\right\rangle}{\left\|\mathbf{f}_{n}\right\|^{2}} \nonumber \]

Exercise \(\PageIndex{22}\)

Let \(\left\{\mathbf{f}_{1}, \ldots, \mathbf{f}_{n}\right\}\) be an orthonormal basis of \(V\), and let \(\mathbf{v}=v_{1} \mathbf{f}_{1}+\cdots+v_{n} \mathbf{f}_{n}\) and \(\mathbf{w}=w_{1} \mathbf{f}_{1}+\cdots+w_{n} \mathbf{f}_{n}\). Show that

\[ \langle\mathbf{v}, \mathbf{w}\rangle=v_{1} w_{1}+\cdots+v_{n} w_{n} \nonumber \]

and

\[ \|\mathbf{v}\|^{2}=v_{1}^{2}+\cdots+v_{n}^{2} \nonumber \]

Exercise \(\PageIndex{23}\)

Let \(\mathbf{v}\) be a vector in an inner product space \(V\).

1. Show that \(\|\mathbf{v}\| \geq\left\|\operatorname{proj}_{U} \mathbf{v}\right\|\) holds for all finite dimensional subspaces \(U\). [Hint: Pythagoras' theorem.]
2. If \(\left\{\mathbf{f}_{1}, \mathbf{f}_{2}, \ldots, \mathbf{f}_{m}\right\}\) is any orthogonal set in \(V\), prove Bessel's inequality: \[ \frac{\left\langle\mathbf{v}, \mathbf{f}_{1}\right\rangle^{2}}{\left\|\mathbf{f}_{1}\right\|^{2}}+\cdots+\frac{\left\langle\mathbf{v}, \mathbf{f}_{m}\right\rangle^{2}}{\left\|\mathbf{f}_{m}\right\|^{2}} \leq\|\mathbf{v}\|^{2} \nonumber \]

Answer

2. If \(U=\operatorname{span}\left\{\mathbf{f}_1, \mathbf{f}_2, \ldots, \mathbf{f}_m\right\}\), then \(\operatorname{proj}_U(\mathbf{v})=\sum_{i=1}^m \frac{\left\langle\mathbf{v}_1, \mathbf{f}_i\right\rangle}{\left\|\mathbf{f}_i\right\|^2} \mathbf{f}_i\) by Theorem 10.2.7. Hence \(\quad\left\|\operatorname{proj}_U(\mathbf{v})\right\|^2=\sum_{i=1}^m \frac{\left\langle\mathbf{v}_1, \mathbf{f}_i\right\rangle}{\left\|\mathbf{f}_i\right\|^2} \mathbf{f}_i \quad\) by Pythagoras' theorem. Now use (a).

Exercise \(\PageIndex{24}\)

Let \(B=\left\{\mathbf{f}_{1}, \mathbf{f}_{2}, \ldots, \mathbf{f}_{n}\right\}\) be an orthogonal basis of an inner product space \(V\). Given \(\mathbf{v} \in V\), let \(\theta_{i}\) be the angle between \(\mathbf{v}\) and \(\mathbf{f}_{i}\) for each \(i\) (see Exercise 10.1.31). Show that

\[ \cos ^{2} \theta_{1}+\cos ^{2} \theta_{2}+\cdots+\cos ^{2} \theta_{n}=1 \nonumber \]

[The \(\cos \theta_{i}\) are called direction cosines for \(\mathbf{v}\) corresponding to \(B\).]

Exercise \(\PageIndex{25}\)

1. Let \(S\) denote a set of vectors in a finite dimensional inner product space \(V\), and suppose that \(\langle\mathbf{u}, \mathbf{v}\rangle=0\) for all \(\mathbf{u}\) in \(S\) implies \(\mathbf{v}=\mathbf{0}\). Show that \(V=\operatorname{span} S\). [Hint: Write \(U=\operatorname{span} S\) and use Theorem 10.2.6.]
2. Let \(A_{1}, A_{2}, \ldots, A_{k}\) be \(n \times n\) matrices. Show that the following are equivalent.
   1. If \(A_{i} \mathbf{b}=\mathbf{0}\) for all \(i\) (where \(\mathbf{b}\) is a column in \(\left.\mathbb{R}^{n}\right)\), then \(\mathbf{b}=\mathbf{0}\).
   2. The set of all rows of the matrices \(A_{i}\) spans \(\mathbb{R}^{n}\).

Exercise \(\PageIndex{26}\)

Let \(\left[x_{i}\right)=\left(x_{1}, x_{2}, \ldots\right)\) denote a sequence of real numbers \(x_{i}\), and let

\[ V=\left\{\left[x_{i}\right) \mid \text { only finitely many } x_{i} \neq 0\right\} \nonumber \]

Define componentwise addition and scalar multiplication on \(V\) as follows:

\[ \left[x_{i}\right)+\left[y_{i}\right)=\left[x_{i}+y_{i}\right) \text {, and } a\left[x_{i}\right)=\left[a x_{i}\right) \text { for } a \text { in } \mathbb{R} . \nonumber \]

Given \(\left[x_{i}\right)\) and \(\left[y_{i}\right)\) in \(V\), define \(\left\langle\left[x_{i}\right),\left[y_{i}\right)\right\rangle=\sum_{i=0}^{\infty} x_{i} y_{i}\). (Note that this makes sense since only finitely many \(x_{i}\) and \(y_{i}\) are nonzero.) Finally define

\[ U=\left\{\left[x_{i}\right) \text { in } V \mid \sum_{i=0}^{\infty} x_{i}=0\right\} \nonumber \]

1. Show that \(V\) is a vector space and that \(U\) is a subspace.
2. Show that \(\langle\),\(\rangle is an inner product on V\).
3. Show that \(U^{\perp}=\{\mathbf{0}\}\).
4. Hence show that \(U \oplus U^{\perp} \neq V\) and \(U \neq U^{\perp \perp}\).