Skip to main content
Mathematics LibreTexts

3.1: Column Space

  • Page ID
    21812
  • \( \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}\)

    We begin with the simple geometric interpretation of matrix-vector multiplication. Namely, the multiplication of the n-by-1 vector \(x\) by the m-by-n matrix \(A\) produces a linear combination of the columns of A. More precisely, if \(a_{j}\) denotes the jth column of A then

    \[Ax = \begin{pmatrix} {a_{1}}&{a_{2}}&{\cdots}&{a_{n}} \end{pmatrix} \begin{pmatrix} {x_{1}}\\ {x_{2}}\\ {\cdots}\\ {x_{n}} \end{pmatrix} \nonumber\]

    \[= x_{1}a_{1}+x_{2}a_{2}+\cdots+x_{n}a_{n} \nonumber\]

    The picture that I wish to place in your mind's eye is that AxA⁢x lies in the subspace spanned by the columns of \(A\). This subspace occurs so frequently that we find it useful to distinguish it with a definition.

    Column Space

    The column space of the m-by-n matrix \(S\) is simply the span of the its columns, i.e. \(Ra(S) \equiv \{Sx | x \in \mathbb{R}^{n}\}\) subspace of \(\mathcal{R}^{m}\) stands for range in this context.The notation \(R_{a}\) stands for range in this context.

    Example

    Let us examine the matrix:

    \[A = \begin{pmatrix} {0}&{1}&{0}&{0}\\ {-1}&{0}&{1}&{0}\\ {0}&{0}&{0}&{1} \end{pmatrix} \nonumber\]

    The column space of this matrix is:

    \[Ra(A) = \{x_{1} \begin{pmatrix} {0}\\ {-1}\\ {0} \end{pmatrix}+x_{2} \begin{pmatrix} {1}\\ {0}\\ {0} \end{pmatrix}+x_{3} \begin{pmatrix} {0}\\ {1}\\ {0} \end{pmatrix}+x_{4} \begin{pmatrix} {0}\\ {0}\\ {1} \end{pmatrix} | x \in \mathbb{R}^{4}\} \nonumber\]

    As the third column is simply a multiple of the first, we may write:

    \[Ra(A) = \{x_{1} \begin{pmatrix} {0}\\ {1}\\ {0} \end{pmatrix}+x_{2} \begin{pmatrix} {1}\\ {0}\\ {0} \end{pmatrix}+x_{3} \begin{pmatrix} {0}\\ {0}\\ {1} \end{pmatrix} | x \in \mathbb{R}^{3}\} \nonumber\]

    As the three remaining columns are linearly independent we may go no further. In this case, \(Ra(⁢A)\) comprises all of \(\mathbb{R}^{3}\)

    Method for Finding a Basis

    To determine the basis for \(Ra(⁢A)\) (where \(A\) is an arbitrary matrix) we must find a way to discard its dependent columns. In the example above, it was easy to see that columns 1 and 3 were colinear. We seek, of course, a more systematic means of uncovering these, and perhaps other less obvious, dependencies. Such dependencies are more easily discerned from the row reduced form. In the reduction of the above problem, we come very easily to the matrix

    \[A_{red} = \begin{pmatrix} {-1}&{0}&{1}&{0}\\ {0}&{1}&{0}&{0}\\ {0}&{0}&{0}&{1} \end{pmatrix} \nonumber\]

    Once we have done this, we can recognize that the pivot column are the linearly independent columns of \(A_{red}\). One now asks how this might help us distinguish the independent columns of A. For, although the rows of \(A_{red}\) are linear combinations of the rows of \(A\) pay attention to the indices of the pivot columns. In our example, columns \(\{1, 2, 4\}\) are the pivot columns of \(A_{red}\) and hence the first, second, and fourth columns of \(A\) i.e.,

    \[\{\begin{pmatrix} {0}\\ {-1}\\ {0} \end{pmatrix}, \begin{pmatrix} {1}\\ {0}\\ {0} \end{pmatrix}, \begin{pmatrix} {0}\\ {0}\\ {1} \end{pmatrix}\} \nonumber\]

    comprise a basis for \(Ra(A)\):

    Definition: A Basis for the Column Space

    Suppose \(A\) is m-by-n. If columns \(\{c_{j} | j = 1, \cdots, r\}\) are the pivot columns of \(A_{red}\) then columns \(\{c_{j} | j = 1, \cdots, r\}\) of \(A\) constitute a basis for \(Ra(A)\)


    This page titled 3.1: Column Space is shared under a CC BY 1.0 license and was authored, remixed, and/or curated by Steve Cox via source content that was edited to the style and standards of the LibreTexts platform.

    • Was this article helpful?