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 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 It is useful to introduce parameters here s1 = x3 s2 = x4 s3 = x5 so that x1 = 5s1 - 4s2 - 3s3 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 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)
|

