Chapter 3: Problem 34
Prove Theorem \(3.16:\) Let \(e\) be an elementary row operation and let \(E\) be the corresponding \(m\)-square elementary matrix; that is, \(E=e(I) .\) Then \(e(A)=E A\), where \(A\) is any \(m \times n\) matrix. Let \(R_{i}\) be the row \(i\) of \(A\); we denote this by writing \(A=\left[R_{1}, \ldots, R_{m}\right] .\) If \(B\) is a matrix for which \(A B\) is defined then \(A B=\left[R_{1} B, \ldots, R_{m} B\right] .\) We also let $$ e_{i}=(0, \ldots, 0, \hat{1}, 0, \ldots, 0), \quad^{-}=i $$ Here \(^{\wedge}=i\) means 1 is the ith entry. One can show (Problem 2.45) that \(e_{i} A=R_{i}\). We also note that \(I=\left[e_{1}, e_{2}, \ldots, e_{m}\right]\) is the identity matrix. (i) Let \(e\) be the elementary row operation "Interchange rows \(R_{i}\) and \(R_{j}, "\) Then, for \(^{-}=i\) and \(^{2}=j\), $$ E=e(I)=\left[e_{1}, \ldots, \widehat{e}_{j}, \ldots, \widehat{\widehat{e}_{i}}, \ldots, e_{m}\right] $$ and $$ e(A)=\left[R_{1}, \ldots, \widehat{R}_{j}, \ldots, \widehat{R}_{i}, \ldots, R_{m}\right] $$ Thus, $$ E A=[e_{1} A, \ldots, \widehat{e_{j} A}, \ldots, \overbrace{\widehat{e_{i} A}}, \ldots, e_{m} A]=\left[R_{1}, \ldots, \widehat{R}_{j}, \ldots, \widehat{\widehat{R}}_{i}, \ldots, R_{m}\right]=e(A) $$ (ii) Let \(e\) be the elementary row operation "Replace \(R_{i}\) by \(k R_{i}(k \neq 0) .\) " Then, for \(^{\wedge}=i\), $$ E=e(I)=\left[e_{1}, \ldots, \hat{k e}_{i}, \ldots, e_{m}\right] $$ and $$ e(A)=\left[R_{1}, \ldots, \widehat{k R}_{i}, \ldots, R_{m}\right] $$ Thus, $$ E A=\left[e_{1} A, \ldots, \widehat{k e_{i} A}, \ldots, e_{m} A\right]=\left[R_{1}, \ldots, \widehat{k R}_{i}, \ldots, R_{m}\right]=e(A) $$ (iii) Let \(e\) be the elementary row operation "Replace \(R_{i}\) by \(k R_{j}+R_{i} "\) Then, for \(^{\wedge}=i\) $$ E=e(I)=[e_{1}, \ldots, k e_{j} \overbrace{+e}_{i}, \ldots, e_{m}] $$ and $$ e(A)=\left[R_{1}, \ldots, k R_{j}+R_{i}, \ldots, R_{m}\right] $$ Using \(\left(k e_{j}+e_{i}\right) A=k\left(e_{j} A\right)+e_{i} A=k R_{j}+R_{i}\), we have $$ \begin{aligned} E A &=\left[e_{1} A, \quad \ldots, \quad\left(k e_{j}+e_{i}\right) A,\right.&\left.\ldots, \quad e_{m} A\right] \\ &=\left[\begin{array}{llll} R_{1}, & \ldots, & k R_{j}+R_{i}, & \ldots & R_{m} \end{array}\right]=e(A) \end{aligned} $$
Short Answer
Step by step solution
Key Concepts
These are the key concepts you need to understand to accurately answer the question.