b874c28
committed
Commits
Comments (0)
Files changed (2)

+1 0changes.txt

+1 1src/sectionFS.xml
src/sectionFS.xml
<p>$J$ is the result of applying a sequence of row operations to $I_m$, and therefore $J$ and $I_m$ are rowequivalent. $\homosystem{I_m}$ has only the zero solution, since $I_m$ is nonsingular (<acroref type="theorem" acro="NMRRI" />). Thus, $\homosystem{J}$ also has only the zero solution (<acroref type="theorem" acro="REMES" />, <acroref type="definition" acro="ESYS" />) and $J$ is therefore nonsingular (<acroref type="definition" acro="NSM" />).</p>
<p>To prove the second part of this conclusion, first convince yourself that row operations and the matrixvector are commutative operations. By this we mean the following.
+<p>To prove the second part of this conclusion, first convince yourself that row operations and the matrixvector product are commutative operations. By this we mean the following.
Suppose that $F$ is an $m\times n$ matrix that is rowequivalent to the matrix $G$. Apply to the column vector $F\vect{w}$ the same sequence of row operations that converts $F$ to $G$. Then the result is $G\vect{w}$. So we can do row operations on the matrix, then do a matrixvector product, <em>or</em> do a matrixvector product and then do row operations on a column vector, and the result will be the same either way. Since matrix multiplication is defined by a collection of matrixvector products (<acroref type="definition" acro="MM" />), the matrix product $FH$ will become $GH$ if we apply the same sequence of row operations to $FH$ that convert $F$ to $G$. (This argument can be made more rigorous using elementary matrices from the upcoming <acroref type="subsection" acro="DM.EM" /> and the associative property of matrix multiplication established in <acroref type="theorem" acro="MMA" />.) Now apply these observations to $A$.</p>
<p>Write $AI_n=I_mA$ and apply the row operations that convert $M$ to $N$. $A$ is converted to $B$, while $I_m$ is converted to $J$, so we have $BI_n=JA$. Simplifying the left side gives the desired conclusion.</p>