Skip to main content
Mathematics LibreTexts

11.3: Review Problems

  • Page ID
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)


    a) Draw the collection of all unit vectors in \(\Re^{2}\).

    b) Let \(S_{x}=\left\{ \begin{pmatrix}1\\0\end{pmatrix}, x \right\}\), where \(x\) is a unit vector in \(\Re^{2}\). For which \(x\) is \(S_{x}\) a basis of \(\Re^{2}\)?

    c) Generalize to \(\Re^{n}\).

    2. Let \(B^{n}\) be the vector space of column vectors with bit entries \(0, 1\). Write down every basis for \(B^{1}\) and \(B^{2}\). How many bases are there for \(B^{3}\)? \(B^{4}\)? Can you make a conjecture for the number of bases for \(B^{n}\)?

    (Hint: You can build up a basis for \(B^{n}\) by choosing one vector at a time, such that the vector you choose is not in the span of the previous vectors you've chosen. How many vectors are in the span of any one vector? Any two vectors? How many vectors are in the span of any \(k\) vectors, for \(k\leq n\)?)

    3. Suppose that \(V\) is an \(n\)-dimensional vector space.
    a) Show that any \(n\) linearly independent vectors in \(V\) form a basis.

    (Hint: Let \(\{w_{1}, \ldots, w_{m}\}\) be a collection of \(n\) linearly independent vectors in \(V\), and let \(\{v_{1}, \ldots, v_{n}\}\) be a basis for \(V\).)

    b) Show that any set of \(n\) vectors in \(V\) which span \(V\) forms a basis for \(V\).

    (Hint: Suppose that you have a set of \(n\) vectors which span \(V\) but do not form a basis. What must be true about them? How could you get a basis from this set?)

    4. Let \(S=\{v_{1}, \ldots, v_{n}\}\) be a subset of a vector space \(V\). Show that if every vector \(w\) in \(V\) can be expressed uniquely as a linear combination of vectors in \(S\), then \(S\) is a basis of \(V\). In other words: suppose that for every vector \(w\) in \(V\), there is exactly one set of constants \(c^{1}, \ldots, c^{n}\) so that \(c^{1}v_{1}+\cdots+c^{n}v_{n}=w\). Show that this means that the set \(S\) is linearly independent and spans \(V\).

    5. Vectors are objects that you can add together; show that the set of all linear transformations mapping \(\Re^{3}\rightarrow \Re\) is itself a vector space. Find a basis for this vector space. Do you think your proof could be modified to work for linear transformations \(\Re^{n}\rightarrow \Re\)? For \(\Re^{\mathbb{N}}\rightarrow \Re^{m}\)? For \(\Re^{\Re}\)?

    \(\textit{Hint: Represent \(\Re^{3}\) as column vectors, and argue that a linear transformation \(T \colon \Re^{3}\rightarrow \Re\) is just a row vector.}\)

    6. Let \(S_{n}\) denote the vector space of all \(n \times n\) symmetric matrices \(M = M^{T}\). Let \(A_{n}\) denote the vector space of all \(n \times n\) anti-symmetric matrices \(M^{T} = -M\).
    a) Find a basis for \(S_{3}\).

    b) Find a basis for \(A_{3}\).

    c) Can you find a basis for \(S_{n}\)? For \(A_{n}\)?

    \(\textit{Hint: Describe it in terms of the matrices \(F^{i}_{j}\) which have a 1 in the \(i\)-th row and the \(j\)-th column and \(0\) everywhere else.}\)

    \(\textit{Note that \(\{F^{i}_{j} \mid 1 \leq i \leq r, 1 \leq j \leq k\}\) is a basis for \(M^{r}_{k}\).}\)

    7. Give the matrix of the linear transformation \(L\) with respect to the input and output bases \(B\) and \(B'\) listed below:

    a) \(L:V\rightarrow W\) where \(B=(v_{1},\ldots, v_{n})\) is a basis for \(V\) and \(B'=(L(v_{1}),\ldots, L(v_{n}))\) is a basis for \(W\).

    b) \(L:V\rightarrow V\) where \(B=B'=(v_{1},\ldots,v_{n})\) and \(L(v_{i})=\lambda_{i} v_{i}\).


    This page titled 11.3: Review Problems is shared under a not declared license and was authored, remixed, and/or curated by David Cherney, Tom Denton, & Andrew Waldron.