Equations with row equivalent matrices have the same solution set
Dependencies:
- Row equivalence of matrices
- System of linear equations
- Row equivalence matrix
- Product of stacked matrices
- Matrix multiplication is associative
Let $AX = B$ and $CX = D$ be systems of $m$ linear equations in $n$ variables. Then if $[A|B]$ is row equivalent to $[C|D]$, then $AX = B$ and $CX = D$ have the same solution set.
Proof
Since $[A|B]$ is row equivalent to $[C|D]$, there is an invertible matrix $R$ such that $R[A|B] = [C|D]$.
\[ [C|D] = R[A|B] = [RA|RB] \Rightarrow C = RA \wedge D = RB \]
\[ AX = B \Rightarrow R(AX) = RB \Rightarrow (RA)X = RB \Rightarrow CX = D \] Therefore, a solution to $AX = B$ is also a solution to $CX = D$. \[ CX = D \Rightarrow R^{-1}(CX) = R^{-1}D \Rightarrow (R^{-1}C)X = R^{-1}D \Rightarrow AX = B \] Therefore, a solution to $CX = D$ is also a solution to $AX = B$.
Therefore, $AX = B$ has the same solution set as $CX = D$.
Dependency for:
Info:
- Depth: 7
- Number of transitive dependencies: 21
Transitive dependencies:
- /sets-and-relations/equivalence-relation
- Group
- Ring
- Polynomial
- Integral Domain
- Comparing coefficients of a polynomial with disjoint variables
- Field
- Semiring
- Matrix
- Stacking
- System of linear equations
- Product of stacked matrices
- Matrix multiplication is associative
- Elementary row operation
- Every elementary row operation has a unique inverse
- Row equivalence of matrices
- Identity matrix
- Inverse of a matrix
- Inverse of product
- Elementary row operation is matrix pre-multiplication
- Row equivalence matrix