Download Uniqueness of Reduced Row Echelon Form

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Eigenvalues and eigenvectors wikipedia , lookup

Symmetric cone wikipedia , lookup

Capelli's identity wikipedia , lookup

Rotation matrix wikipedia , lookup

Singular-value decomposition wikipedia , lookup

Determinant wikipedia , lookup

Four-vector wikipedia , lookup

Non-negative matrix factorization wikipedia , lookup

Matrix calculus wikipedia , lookup

Matrix (mathematics) wikipedia , lookup

Perron–Frobenius theorem wikipedia , lookup

Orthogonal matrix wikipedia , lookup

System of linear equations wikipedia , lookup

Cayley–Hamilton theorem wikipedia , lookup

Matrix multiplication wikipedia , lookup

Gaussian elimination wikipedia , lookup

Transcript
Uniqueness of Reduced Row Echelon Form
Many introductory linear algebra books either fail to mention this result, omit its
proof, or present a proof which is unnecessarily complicated or uses arguments beyond the
context in which the result occurs. Here’s a proof which, hopefully, suffers from none of
these deficiencies.
Theorem: The reduced (row echelon) form of a matrix is unique.
Proof (W.H. Holzmann): If a matrix reduces to two reduced matrices R and S, then
we need to show R = S. Suppose R 6= S to the contrary. Then select the first (leftmost)
column at which R and S differ and also select all leading 1 columns to the left of this
column, giving rise to two matrices R0 and S 0 . For example, if

1

R= 0
0
2 0
0 1
0 0
3
4
0

5
6
0

0
1
0

3
4
0
then
1
0

R = 0
0
and
and

2
0
0


0 7
1 8.
0 0
1

S= 0
0
1
0

S = 0
0
0
1
0
7
8
0

9
9,
0
In general,

R0 =
In
r0
O
0
or
and


O

0
S =
In
s0
O
0
or
In
In


O

0
1

0 ,
..
.

0
1

0 .
..
.
It follows that R0 and S 0 are (row) equivalent since deletion of columns does not affect row
equivalence, and that they are reduced but not equal.
Now interpret these matrices as augmented matrices. The system for R0 has a unique
solution r0 or is inconsistent, respectively. Similarly, the system for S 0 has a unique solution
s0 or is inconsistent, respectively. Since the systems are equivalent, r0 = s0 or both systems
are inconsistent. Either way R0 = S 0 , a contradiction.