Skip to main content
Mathematics LibreTexts

Homogeneous Systems

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

    Homogeneous Systems

    The Null Space

    We have seen that the solution to the homogeneous system of equations 

            Ax  =  0

    is a subspace of Rn.  We will now begin a discussion of how to find a basis for this system.  The approach we will take is by an illustrative example.

     

    Example

    Find a basis for the null space of the matrix

    \( A = \begin{pmatrix} 1 & 1 & 0 & 1 & 1 \\ 3 & 6 & 15 & -6 & -3 \\ 1 & 2 & 5 & -2 & -1 \\ 1 & 3 & 10 & -5 & -3 \end{pmatrix} \)

    Solution

    We have seen before that the null spaces of row equivalent matrices are the same.  Hence this question is equivalent to that of finding the null space of 

    \( rref(A) = \begin{pmatrix} 1 & 0 & -5 & 4 & 3 \\ 0 & 1 & 5 & -3 & -2 \\ 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0  \end{pmatrix} \)

    Now lets rewrite the system in equation form

            x1       -5x3 + 4x4 + 3x5  =  0
                 x2 + 5x3 - 3x4 - 2x5  =  0

    We can move the last three variable (the ones that are not corner variables) to the right hand side of the equations and add identity equations to get

            x1  =  5x3 - 4x4 - 3x5
            x2  =  -5x3 + 3x4 + 2x5
            x3  =     x3
            x4  =     x4
            x5  =     x5

    It is useful to introduce parameters here

            s1  =  x3        s2  =  x4        s3  =  x5

    so that

            x1  =  5s1 - 4s2 - 3s3
            x2  =  -5s1 + 3s2 + 2s3
            x3  =     s1
            x4  =              s2
            x5  =                       s3

    and we can write this in vector form

         \( \begin{pmatrix} x_1 \\ x_2 \\ x_3 \\ x_4 \\ x_5 \end{pmatrix} = \begin{pmatrix} 5 \\ -5\\ 1 \\ 0 \\ 0 \end{pmatrix}s_1 + \begin{pmatrix} -4 \\ 3\\ 0 \\ 1 \\ 0 \end{pmatrix}s_2 + \begin{pmatrix} -3 \\ 2\\ 0 \\ 0 \\ 1 \end{pmatrix}s_3  \)

    We can see that the null space is represented by triplets (s1, s2, s3).  This is equivalent (isomorphic) to the space R3.  We select the standard basis 

            (1,0,0), (0,1,0), (0,0,1)

    and come up with the basis for the null space

            {(5,-5,1,0,0), (-4,3,0,1,0), (-3,2,0,0,1)}


    Example

    Let 

           \( A = \begin{pmatrix} 1 & 2 & 4  \\ 0 & 1 & 3  \\ 0 & 0 & 4 \\ 2 & 0 & -1  \end{pmatrix} \)

    Find the null space of A.  

     

    Solution

    As before, we find rref the matrix.

           \( A = \begin{pmatrix} 1 & 0 & 0  \\ 0 & 1 & 0  \\ 0 & 0 & 1 \\ 0 & 0 & 0  \end{pmatrix} \)

    The corresponding equations are

            x1  =  0
            x2  =  0
            x3  =  0

    and we see that the null space is the subspace containing only 0


    Nonhomogeneous Systems

    Now that we know how to solve the homogeneous equation

            Ax  =  0

    we move on to nonhomogeneous systems

            Ax  =  b

    We use the technique of rref as with homogeneous systems.  The next example illustrates.

     

    Example

    Solve

    \( \begin{pmatrix} 2 & -1 & 1 & 3  \\ 3 & 1 & 2 & -1  \\ 0 & 3 & 1 & 0  \\ 5 & -6 & 1 & 2  \end{pmatrix}  \begin{pmatrix} x_1 \\ x_2 \\ x_3 \\ x_4 \\ x_5 \end{pmatrix} = \begin{pmatrix} 2 \\ 9 \\ 1 \\ 9 \end{pmatrix} \)         

     

    Solution

    We solve the augmented matrix

    \( \left[ \begin{array}{cccc|c} 2 & -1 & 1 & 3 & 2  \\ 3 & 1 & 2 & -1 & 9  \\ 0 & 3 & 1 & 0 & 1  \\ 5 & -6 & 1 & 2 & 9  \end{array}  \right]\)         

    and find the rref of the augmented matrix.  We get

    \( \left[ \begin{array}{cccc|c} 1 & 0 & 0 & -9.5 & 11.5  \\ 0 & 1 & 0 & -5.5 & 5.5  \\ 0 & 0 & 1 & 16.5 & -15.5  \\ 0 & 0 & 0 & 0 & 0  \end{array}  \right]\)         

    This gives us the solution

    \( \begin{pmatrix} x_1  \\ x_2  \\ x_3  \\ x_4  \end{pmatrix}  = \begin{pmatrix} 11.5 \\ 5.5 \\ -15.5 \\ 0  \end{pmatrix} + \begin{pmatrix} 9.5 \\ 5.5 \\ -16.5 \\ 1 \end{pmatrix} s \)         

    Notice that this is not a vector space (it does not contain the zero vector) so it does not make sense to ask for a basis for a null space.


    The above answer shows that 

    The solution to 

            Ax  =  b 

    can be written in the form 

            x  =  xp + xh 

    Where 

            xp is a particular solution to the nonhomogeneous equation

            xh represents the null space of A (the solution to the homogeneous equation)

     



    Back to the Vectors Page

     

     

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

    • Was this article helpful?