Skip to main content
Mathematics LibreTexts

Subspaces

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

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

    \( \newcommand{\dsum}{\displaystyle\sum\limits} \)

    \( \newcommand{\dint}{\displaystyle\int\limits} \)

    \( \newcommand{\dlim}{\displaystyle\lim\limits} \)

    \( \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{\longvect}{\overrightarrow}\)

    \( \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}\)

    Subspaces

    Definition and Examples

    Definition

    Let V be a vector space and let S be a subset of V such that S is a vector space with the same + and * from V.  Then S is called a subspace of V.

    Remark:  Every vector space V contains at least two subspace, namely V and the set {0}.

     

    Example

    Let V be the vector space R3 and let S be the set of points that lie on the plane

            z  =  x - y

    Then S is a subspace of V.

    This is true since S is closed under + and *.  A point belonging to S has the form

            (x, y, x - y)

    If 

            (x1, y1, x1 - y1)          and        (x2, y2, x2 - y2

    are in S then

            (x1, y1, x1 - y1) + (x2, y2, x2 - y2)  =  (x1 + x2, y1+ y2, x1 - y1 + x2 - y2)

            =  (x1 + x2, y1+ y2, (x1 + x2) - (y1 + y2))

    is in S.  We also have

            c(x1, y1, x1 - y1)  =  (cx1, cy1, cx1 - cy1)

    is in S.  The rest of the properties follow immediately since they are true in V.  In fact, the two closure properties are all we need to show when we want to check that any subspace S is a subspace of any vector space V.


    Theorem

    Let V be a vector space and S be a subset of V.  If S is closed under + and * then S is a subspace of V.

    The proof of this theorem only involves noticing that the properties are all true in S by virtue of being true in V.

     

    Example

    Set V be the vector space of all differentiable functions and let S be the subset of V such that for any f in V

            f '(0)  =  1

    Then S is not a subspace of V since if f and g are in S, then 

            (f + g)'(0)  =  f '(0) + g'(0)  =  1 + 1  =  2

    Hence S is not closed under +.


    Example

    Let S be the subset of M2x2 of trace 0, that is the sum of the diagonal entries is zero.  Then S is a subspace of M2x2.  Elements of S have the form

            \(\begin{pmatrix} x & y \\ z & -x \end{pmatrix} \)

    so if

            \( A = \begin{pmatrix} x_1 & y_1 \\ z_1 & -x_1 \end{pmatrix} \)      \( B = \begin{pmatrix} x_2 & y_2 \\ z_2 & -x_2 \end{pmatrix} \)

    then

     \( A + B = \begin{pmatrix} x_1 + x_2 & y_1 + y_2 \\ z_1 + z_2 & -x_1 - x_2 \end{pmatrix} \)

    has zero trace.  And 

     \( cA = c\begin{pmatrix} x_1 & y_1 \\ z_1 & -x_1 \end{pmatrix} = \begin{pmatrix} cx_1 & cy_1 \\ cz_1 & -cx_1 \end{pmatrix} \)

    also has trace zero.  Hence S is closed under + and *.  We can conclude that S is a subspace of V.


    The Range and Null Space of a Matrix

    There are two subspaces that deserve special attention.  Recall that an m x n matrix A is associated with a linear transformation from Rn  --->  Rm.  We defined subspaces of Rn and Rm as follows.

    Definition

    Let A be an m by n matrix.  

    Define the null space of A to be the subspace consisting of vectors x in Rn with the property 

            Ax  =  0

    and define the range of A to be the subspace consisting of vectors y in Rm such that there is a b in Rn with

            Ab  =  y 

     

    To prove that the null space and range are subspaces of Rn and Rm respectively, we need to show that closure is satisfied.  We will show this for the null space and leave the range as an exercise.  Let u and v be elements of the null space.  Then

            A(u + v)  =  Au + Av  =  0 + 0  =  0

    and

            A(cu)  =  cAu  =  c* 0  = 

    hence the null space is a subspace of Rn.


    Linear Combinations and Span

    Example

    Suppose that V  =  P2 and let

            f(t)  =  t2 - t        and        g(t)  =  t + 1

    Let S be the subset of P2 that consists of all polynomials of the form 

            c1f + c2g

    where c1 and c2 are constants.  Then S is called the span of f and g and is a subspace of P2.  We will show closure under *.  Closure under + is also not difficult to show and is left to the reader to check.  Let

            u  =  c1f + c2

    and c be a constant.  Then

            cu  =  cc1f + cc2g  =  af + bg

    so is in S.

    In general, if V is a vector space and S  =  {v1,v2, ...,vn} is a subset of V, then we call

            c1v1 + c2v2 + ... + cnvn 

    a linear combination of S.  The set of all linear combinations of S is called the span of S and is a subspace of V.

     



    Back to the Vectors Page

     

    Subspaces is shared under a CC BY license and was authored, remixed, and/or curated by LibreTexts.

    • Was this article helpful?