簡約行列の定義を確認する。簡約行列とは、以下の条件を満たす行列のことである。
* 零ベクトルでない行の先頭の成分は1である(これを主成分と呼ぶ)。
* 主成分を含む列において、その主成分以外の成分はすべて0である。
* 零ベクトルである行が存在するならば、零ベクトルでない行の下に集まっている。
* 各行の主成分の位置は、下の行に進むにつれて右に移動する。
各行列について、上記の条件を満たすかどうかを順に確認する。条件を満たさない場合は、基本変形(行の入れ替え、行の定数倍、ある行の定数倍を別の行に加える)を行って簡約化する。
(1)
000000011 3行目から2行目を引くと、
000000010 1行目と2行目を入れ替えると、
000000100 (2)
100210−310 1行目から2行目の2倍を引くと、
100010−510 (3)
000100011 3行目から2行目を引くと、
000100010 (4)
100021011101 2行目を1/2倍すると、
10001101/21101 3行目から2行目を引くと、
10001001/21/2101 3行目を2倍すると、
10001001/21102 2行目から3行目の1/2倍を引くと、
1000100011−12 (5)
000100200 (6)
010100001 1行目と2行目を入れ替えると、
100010001 (7)
100000000110 2行目から1行目を引くと、
1−10000000100 1行目に2行目を足すと、
0−10000000100 2行目を-1倍すると、
010000000100 1行目と2行目を入れ替えると、
100000000010