우리는 선형 연립방정식을 행렬꼴로 나타내기 전에 그것이 뭔지 정의할 필요가 있습니다.
정의 2.1. 선형 연립방정식
자연수
n
{\displaystyle n}
x
1
,
x
2
,
…
,
x
n
{\displaystyle x_{1},x_{2},\ldots ,x_{n}}
{
a
11
x
1
+
a
12
x
2
+
⋯
+
a
1
n
x
n
=
b
1
,
a
21
x
1
+
a
22
x
2
+
⋯
+
a
2
n
x
n
=
b
2
,
⋮
a
m
1
x
1
+
a
m
2
x
2
+
⋯
+
a
m
n
x
n
=
b
m
,
{\displaystyle {\begin{cases}a_{11}x_{1}+a_{12}x_{2}+\cdots +a_{1n}x_{n}=b_{1},\\a_{21}x_{1}+a_{22}x_{2}+\cdots +a_{2n}x_{n}=b_{2},\\\quad \qquad \qquad \qquad \vdots \\a_{m1}x_{1}+a_{m2}x_{2}+\cdots +a_{mn}x_{n}=b_{m},\end{cases}}}
a
i
j
{\displaystyle a_{ij}}
b
k
{\displaystyle b_{k}}
참고
몇몇 다른 정의에서는 하나의 선형 방정식(계수가 1인 방정식) 역시도 선형 연립방정식으로 취급하는 경우가 있지만, 하나의 선형 방정식은 풀기 쉽고, 이런 경우는 우리의 관심에서 멀기 때문에, 우리는 이걸 고려하지 않을 것이다.
앞으로 선형 연립방정식을 기술할 때 '일관적'(consistent), 그리고 '모순적'(혹은 비일관적, inconsistent)이라는 단어를 사용할 것입니다.
두 미지수가 있고, 세 개의 선형 방정식(선)이 있는 이 그림은 세 선이 동시에 지나는 점이 없으므로 일관적이지 않다.
정의 2.2. (선형 연립방정식의 일관성)
선형 연립방정식은 적어도 하나의 해가 있으면 일관적이다.
그렇지 않으면 모순적이다.(따라서 해가 하나도 없으면 모순적이다.)
참고
우리가 나중에 볼 것이지만, 선형 연립방정식은 해가 전혀 없거나, 하나만 있거나, 무수히 많다. 따라서 선형 연립방정식이 일관적이면 해가 유일하거나 무수히 많은 것은 동치다.
예시 (일관적인 선형 연립방정식)
다음 선형 연립방정식을 고려하자.
{
x
+
2
y
=
3
(
1
)
3
x
+
6
y
=
9
(
2
)
.
{\displaystyle {\begin{cases}x+2y=3&\quad (1)\\3x+6y=9&\quad (2)\end{cases}}.}
(
2
)
⟺
3
x
+
6
y
=
9
⟺
(
3
/
3
)
x
+
(
6
/
3
)
y
⟺
(
9
/
3
)
⟺
x
+
2
y
=
3
⟺
(
1
)
{\displaystyle (2)\iff 3x+6y=9\iff (3/3)x+(6/3)y\iff (9/3)\iff x+2y=3\iff (1)}
x
+
2
y
=
3
{\displaystyle x+2y=3}
(
x
,
y
)
{\displaystyle (x,y)}
예시 (모순적인 선형 연립방정식)
다음 선형 연립방정식을 고려하자.
{
x
+
2
y
=
3
(
1
)
x
+
2
y
=
4
(
2
)
.
{\displaystyle {\begin{cases}x+2y=3&\quad (1)\\x+2y=4&\quad (2)\end{cases}}.}
(
2
)
{\displaystyle (2)}
(
1
)
{\displaystyle (1)}
3
=
4
{\displaystyle 3=4}
(
x
,
y
)
{\displaystyle (x,y)}
예시 (선형 연립방정식의 응용)
10병의 오렌지 주스가 닭, 오리, 거위에게 배당한다고 하자.
닭과 오리에게 똑같은 개수의 병이 주어지고, 거위는 닭과 오리에 비해 한 병 더 많다고 하면
각각의 동물에게 얼마의 병이 배당되었는가?
답:
닭, 오리, 거위에게 할당된 오렌지 주스 병의 개수를 각각
c
,
d
,
g
{\displaystyle c,d,g}
{
c
+
d
+
g
=
10
(
1
)
c
=
d
(
2
)
g
=
c
+
1
(
3
)
{\displaystyle {\begin{cases}c+d+g=10&\quad (1)\\c=d&\quad (2)\\g=c+1&\quad (3)\end{cases}}}
c
,
d
,
g
{\displaystyle c,d,g}
(
2
)
{\displaystyle (2)}
(
3
)
{\displaystyle (3)}
(
1
)
{\displaystyle (1)}
c
+
c
+
c
+
1
=
10
⟹
c
=
3.
{\displaystyle c+c+c+1=10\implies c=3.}
d
=
c
=
3
{\displaystyle d=c=3}
g
=
c
+
1
=
4
{\displaystyle g=c+1=4}
즉, 닭과 오리는 각각 3개의 오렌지 주스 병이 배당되었고, 거위는 4개의 오렌지 주스 병이 배당되었다.
틀:예제
선형 연립방정식을 정의했으므로, 우리는 이것을 다양한 방법의 행렬 꼴로 표현할 수 있다. 그리고 그것을 다음과 같이 정의한다.
정의 2.3 (계수행렬과 첨가행렬)
{
a
11
x
1
+
a
12
x
2
+
⋯
+
a
1
n
x
n
=
b
1
,
a
21
x
1
+
a
22
x
2
+
⋯
+
a
2
n
x
n
=
b
2
,
⋮
a
m
1
x
1
+
a
m
2
x
2
+
⋯
+
a
m
n
x
n
=
b
m
{\displaystyle {\begin{cases}a_{11}x_{1}+a_{12}x_{2}+\cdots +a_{1n}x_{n}=b_{1},\\a_{21}x_{1}+a_{22}x_{2}+\cdots +a_{2n}x_{n}=b_{2},\\\quad \qquad \qquad \qquad \vdots \\a_{m1}x_{1}+a_{m2}x_{2}+\cdots +a_{mn}x_{n}=b_{m}\end{cases}}}
x
1
,
x
2
,
…
,
x
n
{\displaystyle x_{1},x_{2},\ldots ,x_{n}}
a
i
j
{\displaystyle a_{ij}}
b
k
{\displaystyle b_{k}}
행렬
(
a
i
j
)
m
×
n
{\displaystyle {\color {green}(a_{ij})_{m\times n}}}
(
a
11
a
12
⋯
a
1
n
b
1
a
21
a
22
⋯
a
2
n
b
2
⋮
⋮
⋱
⋮
⋮
a
m
1
a
m
2
⋯
a
m
n
b
n
)
{\displaystyle \left({\begin{array}{cccc|c}a_{11}&a_{12}&\cdots &a_{1n}&b_{1}\\a_{21}&a_{22}&\cdots &a_{2n}&b_{2}\\\vdots &\vdots &\ddots &\vdots &\vdots \\a_{m1}&a_{m2}&\cdots &a_{mn}&b_{n}\end{array}}\right)}
참고
첨가행렬에서 수직선은 선택적인 것으로, 상수를 '
=
{\displaystyle =}
이 연립방정식은 다음과 똑같다.
(
a
11
a
12
⋯
a
1
n
a
21
a
22
⋯
a
2
n
⋮
⋮
⋱
⋮
a
m
1
a
m
2
⋯
a
m
n
)
⏟
계수
A
표현
(
x
1
x
2
⋮
x
n
)
⏟
미지수
x
표현
=
(
b
1
b
2
⋮
b
n
)
⏟
상수
b
표현
,
{\displaystyle \underbrace {\begin{pmatrix}a_{11}&a_{12}&\cdots &a_{1n}\\a_{21}&a_{22}&\cdots &a_{2n}\\\vdots &\vdots &\ddots &\vdots \\a_{m1}&a_{m2}&\cdots &a_{mn}\end{pmatrix}} _{{\text{계수}}\;A{\text{표현}}}\underbrace {\begin{pmatrix}x_{1}\\x_{2}\\\vdots \\x_{n}\end{pmatrix}} _{{\text{미지수}}\;\mathbf {x} {\text{표현}}}=\underbrace {\begin{pmatrix}b_{1}\\b_{2}\\\vdots \\b_{n}\end{pmatrix}} _{{\text{상수}}\;\mathbf {b} {\text{표현}}},}
이는
A
x
=
b
{\displaystyle A\mathbf {x} =\mathbf {b} }
미지수가 어떤 상수인지 특정할 수 없기 때문에 미지수만 표현하는 것은 중요하지 않다. 따라서 첨가행렬은 연립방정식을 푸는데 필수적인 정보를 준다.
예시(계수행렬과 첨가행렬)
선형 연립방정식
{
w
+
x
+
y
=
1
w
+
z
=
3
x
+
z
=
8
{\displaystyle {\begin{cases}w+x+y=1\\w+z=3\\x+z=8\end{cases}}}
{
w
+
x
+
y
+
0
z
=
1
w
+
0
x
+
0
y
+
z
=
3
0
w
+
x
+
0
y
+
z
=
8
{\displaystyle {\begin{cases}w+x+y+0z=1\\w+0x+0y+z=3\\0w+x+0y+z=8\end{cases}}}
선형 연립방정식의 계수행렬은
(
1
1
1
0
1
0
0
1
0
1
0
1
)
{\displaystyle {\begin{pmatrix}1&1&1&0\\1&0&0&1\\0&1&0&1\end{pmatrix}}}
(
1
1
1
0
1
1
0
0
1
3
0
1
0
1
8
)
{\displaystyle \left({\begin{array}{cccc|c}1&1&1&0&1\\1&0&0&1&3\\0&1&0&1&8\end{array}}\right)}
(
1
1
1
0
1
0
0
1
0
1
0
1
)
(
w
x
y
z
)
=
(
1
3
8
)
{\displaystyle {\begin{pmatrix}1&1&1&0\\1&0&0&1\\0&1&0&1\end{pmatrix}}{\begin{pmatrix}w\\x\\y\\z\end{pmatrix}}={\begin{pmatrix}1\\3\\8\end{pmatrix}}}
A
x
=
b
{\displaystyle A\mathbf {x} =\mathbf {b} }
틀:예제
정의 2.4. (기본 행 연산)
행렬에서 적용할 수 있는 기본 행 연산에는 세 가지가 있다:
두 행의 치환
행에 0이 아닌 스칼라의 곱셈
한 행에 다른 행의 스칼라배 더하기
참고
기본 행 연산에서 다음과 같은 표기를 따를 것이다:
r
1
,
r
2
,
…
,
r
m
{\displaystyle \mathbf {r} _{1},\mathbf {r} _{2},\ldots ,\mathbf {r} _{m}}
m
×
n
{\displaystyle m\times n}
볼드체 를 쓴다.)
r
i
↔
r
j
{\displaystyle \mathbf {r} _{\color {blue}i}{\color {green}\leftrightarrow }\mathbf {r} _{\color {red}j}}
i
{\displaystyle \color {blue}i}
j
{\displaystyle \color {red}j}
k
r
i
→
r
i
{\displaystyle {\color {green}k}\mathbf {r} _{i}\to \mathbf {r} _{i}}
i
{\displaystyle i}
k
{\displaystyle \color {green}k}
k
r
j
+
r
i
→
r
i
{\displaystyle {\color {purple}k}\mathbf {r} _{\color {red}j}{\color {green}+}\mathbf {r} _{\color {blue}i}\to \mathbf {r} _{\color {blue}i}}
i
{\displaystyle \color {blue}i}
k
{\displaystyle \color {purple}k}
j
{\displaystyle \color {red}j}
정의 2.5. (행 동치, Row equivalence)
같은 크기의 두 행렬에 대하여 한 행렬에다가 어떤 기본 행연산을 실행해서 다른 행렬을 만들어낼 수 있으면 서로 행 동치 다.
참고
기본 행연산은 (성질에 의해)가역적이라서 행렬
B
{\displaystyle B}
A
{\displaystyle A}
A
{\displaystyle A}
B
{\displaystyle B}
따라서 행 동치를 증명하기 위해서 어떤 한 쪽의 행렬이 다른 쪽의 행렬로 기본 행연산을 하면 같아진다는 것만 증명하면 된다.(물론 두 행렬의 크기는 같아야한다.) 이에 대한 증명은 아래에서 할 것이다.
예시 (Demonstration of three types of EROs)
행렬
A
=
(
1
2
3
4
5
6
7
8
9
)
{\displaystyle A={\begin{pmatrix}{\color {red}1}&{\color {red}2}&{\color {red}3}\\{\color {blue}4}&{\color {blue}5}&{\color {blue}6}\\{\color {green}7}&{\color {green}8}&{\color {green}9}\end{pmatrix}}}
(
1
2
3
4
5
6
7
8
9
)
→
r
1
↔
r
3
(
7
8
9
4
5
6
1
2
3
)
→
π
r
1
→
r
1
(
7
π
8
π
9
π
4
5
6
1
2
3
)
→
2
r
2
+
r
3
→
r
3
(
7
π
8
π
9
π
4
5
6
2
(
4
)
+
1
2
(
5
)
+
2
2
(
6
)
+
3
)
→
−
2
r
2
+
r
3
→
r
3
(
7
π
8
π
9
π
4
5
6
1
2
3
)
→
(
1
/
π
)
r
1
→
r
1
(
7
8
9
4
5
6
1
2
3
)
→
r
1
→
r
3
(
1
2
3
4
5
6
7
8
9
)
=
A
.
{\displaystyle {\begin{aligned}{\begin{pmatrix}{\color {red}1}&{\color {red}2}&{\color {red}3}\\{\color {blue}4}&{\color {blue}5}&{\color {blue}6}\\{\color {green}7}&{\color {green}8}&{\color {green}9}\end{pmatrix}}&{\overset {\mathbf {r} _{1}\leftrightarrow \mathbf {r} _{3}}{\to }}{\begin{pmatrix}{\color {green}7}&{\color {green}8}&{\color {green}9}\\{\color {blue}4}&{\color {blue}5}&{\color {blue}6}\\{\color {red}1}&{\color {red}2}&{\color {red}3}\end{pmatrix}}\\&{\overset {\pi \mathbf {r} _{1}\to \mathbf {r} _{1}}{\to }}{\begin{pmatrix}{\color {green}7}\pi &{\color {green}8}\pi &{\color {green}9}\pi \\{\color {blue}4}&{\color {blue}5}&{\color {blue}6}\\{\color {red}1}&{\color {red}2}&{\color {red}3}\end{pmatrix}}\\&{\overset {2\mathbf {r} _{2}+\mathbf {r} _{3}\to \mathbf {r} _{3}}{\to }}{\begin{pmatrix}{\color {green}7}\pi &{\color {green}8}\pi &{\color {green}9}\pi \\{\color {blue}4}&{\color {blue}5}&{\color {blue}6}\\2({\color {blue}4})+{\color {red}1}&2({\color {blue}5})+{\color {red}2}&2({\color {blue}6})+{\color {red}3}\\\end{pmatrix}}\\&{\overset {-2\mathbf {r} _{2}+\mathbf {r} _{3}\to \mathbf {r} _{3}}{\to }}{\begin{pmatrix}{\color {green}7}\pi &{\color {green}8}\pi &{\color {green}9}\pi \\{\color {blue}4}&{\color {blue}5}&{\color {blue}6}\\{\color {red}1}&{\color {red}2}&{\color {red}3}\\\end{pmatrix}}\\&{\overset {(1/\pi )\mathbf {r} _{1}\rightarrow \mathbf {r} _{1}}{\to }}{\begin{pmatrix}{\color {green}7}&{\color {green}8}&{\color {green}9}\\{\color {blue}4}&{\color {blue}5}&{\color {blue}6}\\{\color {red}1}&{\color {red}2}&{\color {red}3}\\\end{pmatrix}}\\&{\overset {\mathbf {r} _{1}\rightarrow \mathbf {r} _{3}}{\to }}{\begin{pmatrix}{\color {red}1}&{\color {red}2}&{\color {red}3}\\{\color {blue}4}&{\color {blue}5}&{\color {blue}6}\\{\color {green}7}&{\color {green}8}&{\color {green}9}\\\end{pmatrix}}=A.\end{aligned}}}
A
{\displaystyle A}
A
{\displaystyle A}
A
{\displaystyle A}
틀:예제
성질 (기본 행연산의 가역성)
행렬
B
{\displaystyle B}
A
{\displaystyle A}
A
{\displaystyle A}
B
{\displaystyle B}
예시 (각각의 기본 행연산의 역과정들)
(
1
2
3
4
)
→
r
1
↔
r
2
(
3
4
1
2
)
→
r
1
↔
r
2
(
1
2
3
4
)
{\displaystyle {\begin{pmatrix}{\color {red}1}&{\color {red}2}\\{\color {blue}3}&{\color {blue}4}\\\end{pmatrix}}{\overset {\mathbf {r} _{1}\leftrightarrow \mathbf {r} _{2}}{\to }}{\begin{pmatrix}{\color {blue}3}&{\color {blue}4}\\{\color {red}1}&{\color {red}2}\\\end{pmatrix}}{\overset {\mathbf {r} _{1}\leftrightarrow \mathbf {r} _{2}}{\to }}{\begin{pmatrix}{\color {red}1}&{\color {red}2}\\{\color {blue}3}&{\color {blue}4}\\\end{pmatrix}}}
(
1
2
3
4
)
→
k
r
1
→
r
1
(
1
k
2
k
3
4
)
→
1
k
r
1
→
r
1
(
1
k
⋅
1
k
2
k
⋅
1
k
3
4
)
=
(
1
2
3
4
)
(
k
≠
0
)
{\displaystyle {\begin{pmatrix}{\color {red}1}&{\color {red}2}\\{\color {blue}3}&{\color {blue}4}\\\end{pmatrix}}{\overset {{\color {green}k}\mathbf {r} _{1}\to \mathbf {r} _{1}}{\to }}{\begin{pmatrix}{\color {red}1}{\color {green}k}&{\color {red}2}{\color {green}k}\\{\color {blue}3}&{\color {blue}4}\\\end{pmatrix}}{\overset {{\color {green}{\frac {1}{k}}}\mathbf {r} _{1}\to \mathbf {r} _{1}}{\to }}{\begin{pmatrix}{\color {red}1}{\color {green}{\cancel {k}}}\cdot {\color {green}{\frac {1}{\cancel {k}}}}&{\color {red}2}{\color {green}{\cancel {k}}}\cdot {\color {green}{\frac {1}{\cancel {k}}}}\\{\color {blue}3}&{\color {blue}4}\\\end{pmatrix}}={\begin{pmatrix}{\color {red}1}&{\color {red}2}\\{\color {blue}3}&{\color {blue}4}\\\end{pmatrix}}\quad (k\neq 0)}
(
1
2
3
4
)
→
k
r
2
+
r
1
→
r
1
(
1
+
3
k
2
+
4
k
3
4
)
→
−
k
r
2
+
r
1
→
r
1
(
1
+
3
k
−
3
k
2
+
4
k
−
4
k
3
4
)
=
(
1
2
3
4
)
{\displaystyle {\begin{pmatrix}{\color {red}1}&{\color {red}2}\\{\color {blue}3}&{\color {blue}4}\\\end{pmatrix}}{\overset {{\color {green}k}\mathbf {r} _{2}+\mathbf {r} _{1}\to \mathbf {r} _{1}}{\to }}{\begin{pmatrix}{\color {red}1}+{\color {blue}3}{\color {green}k}&{\color {red}2}+{\color {blue}4}{\color {green}k}\\{\color {blue}3}&{\color {blue}4}\\\end{pmatrix}}{\overset {{\color {green}-k}\mathbf {r} _{2}+\mathbf {r} _{1}\to \mathbf {r} _{1}}{\to }}{\begin{pmatrix}{\color {red}1}{\cancel {+{\color {blue}3}{\color {green}k}-{\color {blue}3}{\color {green}k}}}&{\color {red}2}{\cancel {+{\color {blue}4}{\color {green}k}-{\color {blue}4}{\color {green}k}}}\\{\color {blue}3}&{\color {blue}4}\\\end{pmatrix}}={\begin{pmatrix}{\color {red}1}&{\color {red}2}\\{\color {blue}3}&{\color {blue}4}\\\end{pmatrix}}}
틀:예제
성질 (행 동치와 해)
A
x
=
b
{\displaystyle A\mathbf {x} =\mathbf {b} }
C
y
=
d
{\displaystyle C\mathbf {y} =\mathbf {d} }
(
A
|
b
)
{\displaystyle (A|\mathbf {b} )}
(
C
|
d
)
{\displaystyle (C|\mathbf {d} )}
증명
설명: 하나의 기본 행연산으로 해들이 바뀌지 않음을 보이기만 하면 충분하다. 예를 들어
{
x
+
2
y
=
3
4
x
+
5
y
=
6
and
{
4
x
+
5
y
=
6
x
+
2
y
=
3
비 교
{\displaystyle {\begin{cases}x+2y=3\\4x+5y=6\\\end{cases}}{\text{ and }}{\begin{cases}4x+5y=6\\x+2y=3\\\end{cases}}{\text{비 교}}\;}
{
x
+
2
y
=
3
4
x
+
5
y
=
6
and
{
k
x
+
2
k
y
=
3
k
4
x
+
5
y
=
6
⇔
{
x
+
2
y
=
3
4
x
+
5
y
=
6
(
k
≠
0
)
비 교
{\displaystyle {\begin{cases}x+2y=3\\4x+5y=6\\\end{cases}}{\text{ and }}{\begin{cases}kx+2ky=3k\\4x+5y=6\\\end{cases}}\Leftrightarrow {\begin{cases}x+2y=3\\4x+5y=6\\\end{cases}}\quad (k\neq 0){\text{비 교}}\;}
{
x
+
2
y
=
3
4
x
+
5
y
=
6
and
{
x
+
2
y
=
3
(
1
)
(
4
+
k
)
x
+
(
5
+
2
k
)
y
=
6
+
3
k
(
2
)
비 교
{\displaystyle {\begin{cases}x+2y=3\\4x+5y=6\\\end{cases}}{\text{ and }}{\begin{cases}x+2y=3&\quad (1)\\(4+k)x+(5+2k)y=6+3k&\quad (2)\\\end{cases}}{\text{비 교}}\;}
(
1
)
−
k
(
2
)
:
{\displaystyle (1)-k(2):}
(
4
+
k
−
k
)
x
+
(
5
+
2
k
−
2
k
)
y
=
6
+
3
k
−
3
k
⟺
4
x
+
5
y
=
6
{\displaystyle (4+k-k)x+(5+2k-2k)y=6+3k-3k\iff 4x+5y=6}
틀:예제
정의 2.6. (선행성분)
행렬의 행의 선행성분은 0이 아닌 가장 왼쪽에 있는 성분이다.
예시
아래 행렬의 첫번째, 두번째 세번째 행의 선행성분은
(
0
2
3
0
0
3
8
6
2
)
{\displaystyle {\begin{pmatrix}0&{\color {blue}2}&3\\0&0&{\color {blue}3}\\{\color {blue}8}&6&2\\\end{pmatrix}}}
2
,
3
,
8
{\displaystyle 2,3,8}
틀:예제
정의 2.7. (사다리꼴행렬)
다음 조건을 만족하는 행렬은 행사다리꼴행렬(혹은 사다리꼴행렬, 약자 REF)이다.
모든 성분이
0
{\displaystyle 0}
0
{\displaystyle 0}
정의 2.8. (기약행사다리꼴행렬)
다음 조건을 만족하는 행렬을 기약행사다리꼴행렬(Reduced-Row Echelon Form matrix, RREF)이라 한다.
사다리꼴 행렬이다.
0
{\displaystyle 0}
1
{\displaystyle {\color {green}1}}
각각의 선행 1에 대해서 같은 열의 다른 모든 성분은 0이다.
예시(REF와 RREF)
(
3
2
1
1
0
2
9
4
0
0
0
7
0
0
0
0
0
0
0
0
)
,
(
3
2
1
1
0
2
9
4
0
0
0
7
0
0
0
0
0
0
0
0
)
,
(
0
0
3
2
1
0
0
0
0
0
0
2
0
0
0
0
0
0
)
{\displaystyle {\begin{pmatrix}{\color {blue}3}&2&1&1\\0&{\color {blue}2}&9&4\\0&0&0&{\color {blue}7}\\0&0&0&0\\0&0&0&0\\\end{pmatrix}},{\begin{pmatrix}{\color {blue}3}&2&1&1\\0&{\color {blue}2}&9&4\\0&0&0&{\color {blue}7}\\0&0&0&0\\0&0&0&0\\\end{pmatrix}},{\begin{pmatrix}0&0&{\color {blue}3}&2&1&0\\0&0&0&0&0&{\color {blue}2}\\0&0&0&0&0&0\\\end{pmatrix}}}
RREF 행렬들(그리고 당연하게 REF이기도 하다.):
(
1
0
7
0
1
0
1
9
0
2
0
0
0
1
9
0
0
0
0
0
)
,
(
1
0
7
0
1
0
1
9
0
2
0
0
0
1
9
)
,
(
1
0
7
0
0
1
9
0
0
0
0
1
)
,
(
0
1
0
0
0
0
1
0
0
0
0
1
)
,
I
,
O
{\displaystyle {\begin{pmatrix}{\color {blue}1}&{\color {green}0}&7&{\color {green}0}&1\\{\color {green}0}&{\color {blue}1}&9&{\color {green}0}&2\\{\color {green}0}&{\color {green}0}&0&{\color {blue}1}&9\\{\color {green}0}&{\color {green}0}&0&{\color {green}0}&0\\\end{pmatrix}},{\begin{pmatrix}{\color {blue}1}&{\color {green}0}&7&{\color {green}0}&1\\{\color {green}0}&{\color {blue}1}&9&{\color {green}0}&2\\{\color {green}0}&{\color {green}0}&0&{\color {blue}1}&9\\\end{pmatrix}},{\begin{pmatrix}{\color {blue}1}&{\color {green}0}&7&{\color {green}0}\\{\color {green}0}&{\color {blue}1}&9&{\color {green}0}\\{\color {green}0}&{\color {green}0}&0&{\color {blue}1}\\\end{pmatrix}},{\begin{pmatrix}0&{\color {blue}1}&{\color {green}0}&{\color {green}0}\\0&{\color {green}0}&{\color {blue}1}&{\color {green}0}\\0&{\color {green}0}&{\color {green}0}&{\color {blue}1}\\\end{pmatrix}},I,O}
REF가 아닌 행렬들(마찬가지로 RREF도 아니다.):
(
1
2
1
1
0
0
0
0
0
1
9
4
0
0
0
1
0
0
0
0
)
,
(
0
0
0
0
0
1
0
0
1
2
1
0
0
0
0
0
0
0
)
,
(
1
2
3
4
5
6
7
8
9
)
,
(
0
0
1
0
1
0
1
0
0
)
,
(
1
0
0
0
1
0
0
1
0
)
{\displaystyle {\begin{pmatrix}1&2&1&1\\{\color {red}0}&{\color {red}0}&{\color {red}0}&{\color {red}0}\\0&1&9&4\\0&0&0&1\\0&0&0&0\\\end{pmatrix}},{\begin{pmatrix}0&0&0&0&0&{\color {red}1}\\0&0&{\color {red}1}&2&1&0\\0&0&0&0&0&0\\\end{pmatrix}},{\begin{pmatrix}{\color {red}1}&2&3\\{\color {red}4}&5&6\\{\color {red}7}&8&9\\\end{pmatrix}},{\begin{pmatrix}0&0&{\color {red}1}\\0&{\color {red}1}&0\\{\color {red}1}&0&0\\\end{pmatrix}},{\begin{pmatrix}{\color {red}1}&0&0\\0&{\color {red}1}&0\\0&{\color {red}1}&0\\\end{pmatrix}}}
틀:예제
정의 2.9. (가우스-요르단 소거법)
가우스-요르단 소거법은 행렬에 기본 행연산을 적용하여 RREF(기약행사다리꼴행렬) 행렬로 바꾸는 방법이다.
가우스-요르단 소거법은 다음의 과정을 따른다:
가장 왼쪽에 있는
0
{\displaystyle 0}
i
{\displaystyle i}
i
{\displaystyle i}
a
{\displaystyle a}
0
{\displaystyle 0}
첫번째 행에
a
−
1
{\displaystyle a^{-1}}
i
{\displaystyle i}
1
{\displaystyle 1}
i
{\displaystyle i}
0
{\displaystyle 0}
b
{\displaystyle b}
−
b
{\displaystyle -b}
0
{\displaystyle 0}
첫번째 행을 제외한 모든 행의 모든 성분이
0
{\displaystyle 0}
j
{\displaystyle j}
c
{\displaystyle c}
두번째 행에
c
−
1
{\displaystyle c^{-1}}
j
{\displaystyle j}
1
{\displaystyle 1}
j
{\displaystyle j}
0
{\displaystyle 0}
d
{\displaystyle d}
−
d
{\displaystyle -d}
0
{\displaystyle 0}
위 과정을 반복하여 모든 열과 행에 대해 적용하거나, 나머지 행을 0으로 만들어버린다. 그러면 이 결과로 나온 행렬은 RREF 행렬이다.
참고
행렬
A
{\displaystyle A}
A
{\displaystyle A}
모든 행렬에 가우스-요르단 소거법을 사용할 수 있으므로, 모든 행렬은 RREF 행렬이 존재한다. 행렬의 RREF 행렬은 유일하다. (증명은 복잡하니 생략한다.)
가우스-요르단 소거법의 몇몇 다른 정의에서는 과정이 다를 수 있지만, 그래도 여전히 행렬을 그것의 RREF로 바꿀 수 있다.
인터넷을 뒤져보면 쉽게 가우스-요르단 소거법이나 여타 기본 행연산에 관련된 계산을 하는 이런 사이트 를 찾아볼 수 있을 것이다.
예시 (가우스-요르단 소거법)
(
0
0
1
3
3
2
8
2
6
)
→
r
1
↔
r
2
(
3
3
2
0
0
1
8
2
6
)
과 정 1
→
1
3
r
1
→
r
1
(
1
1
2
/
3
0
0
1
8
2
6
)
과 정 2
→
−
8
r
1
+
r
3
→
r
3
(
1
1
2
/
3
0
0
1
0
−
6
2
/
3
)
과 정 3
→
r
2
↔
r
3
(
1
1
2
/
3
0
−
6
2
/
3
0
0
1
)
과 정 4
→
−
1
6
r
2
→
r
2
(
1
1
2
/
3
0
1
−
1
/
9
0
0
1
)
과 정 5
→
−
r
2
+
r
1
→
r
1
(
1
0
7
/
9
0
1
−
1
/
9
0
0
1
)
과 정 6
→
−
7
9
r
3
+
r
1
→
r
1
1
9
r
3
+
r
2
→
r
2
(
1
0
0
0
1
0
0
0
1
)
과 정 7
{\displaystyle {\begin{aligned}{\begin{pmatrix}0&0&1\\3&3&2\\8&2&6\\\end{pmatrix}}&{\overset {\mathbf {r} _{1}\leftrightarrow \mathbf {r} _{2}}{\to }}{\begin{pmatrix}3&3&2\\0&0&1\\8&2&6\\\end{pmatrix}}&{\text{과 정 1}}\\&{\overset {{\frac {1}{3}}\mathbf {r} _{1}\to \mathbf {r} _{1}}{\to }}{\begin{pmatrix}1&1&2/3\\0&0&1\\8&2&6\\\end{pmatrix}}&{\text{과 정 2}}\\&{\overset {-8\mathbf {r} _{1}+\mathbf {r} _{3}\to \mathbf {r} _{3}}{\to }}{\begin{pmatrix}1&1&2/3\\0&0&1\\0&-6&2/3\\\end{pmatrix}}&{\text{과 정 3}}\\&{\overset {\mathbf {r} _{2}\leftrightarrow \mathbf {r} _{3}}{\to }}{\begin{pmatrix}1&1&2/3\\0&-6&2/3\\0&0&1\\\end{pmatrix}}&{\text{과 정 4}}\\&{\overset {-{\frac {1}{6}}\mathbf {r} _{2}\to \mathbf {r} _{2}}{\to }}{\begin{pmatrix}1&1&2/3\\0&1&-1/9\\0&0&1\\\end{pmatrix}}&{\text{과 정 5}}\\&{\overset {-\mathbf {r} _{2}+\mathbf {r} _{1}\to \mathbf {r} _{1}}{\to }}{\begin{pmatrix}1&0&7/9\\0&1&-1/9\\0&0&1\\\end{pmatrix}}&{\text{과 정 6}}\\&{\overset {{\frac {1}{9}}\mathbf {r} _{3}+\mathbf {r} _{2}\to \mathbf {r} _{2}}{\overset {-{\frac {7}{9}}\mathbf {r} _{3}+\mathbf {r} _{1}\to \mathbf {r} _{1}}{\to }}}{\begin{pmatrix}1&0&0\\0&1&0\\0&0&1\\\end{pmatrix}}&{\text{과 정 7}}\end{aligned}}}
틀:예제
성질 (선형 연립방정식의 해의 개수 결정)
A
x
=
b
{\displaystyle A\mathbf {x} =\mathbf {b} }
m
{\displaystyle m}
n
{\displaystyle n}
R
{\displaystyle R}
m
×
(
n
+
1
)
{\displaystyle m\times (n+1)}
(
A
|
b
)
{\displaystyle (A|\mathbf {b} )}
R
{\displaystyle R}
(
n
+
1
)
{\displaystyle {\color {green}(n+1)}}
=
1
{\displaystyle =1}
R
{\displaystyle R}
(
n
+
1
)
{\displaystyle {\color {green}(n+1)}}
R
{\displaystyle R}
(
n
+
1
)
{\displaystyle {\color {green}(n+1)}}
참고
R
{\displaystyle R}
예시
3
×
4
{\displaystyle 3\times 4}
(
1
2
0
0
0
0
1
0
0
0
0
1
)
{\displaystyle {\begin{pmatrix}1&2&0&0\\0&0&1&0\\{\color {green}0}&{\color {green}0}&{\color {green}0}&{\color {green}1}\\\end{pmatrix}}}
4
×
4
{\displaystyle 4\times 4}
(
1
0
0
2
0
1
0
3
0
0
1
3
0
0
0
0
)
{\displaystyle {\begin{pmatrix}{\color {green}1}&0&0&2\\0&{\color {green}1}&0&3\\0&0&{\color {green}1}&3\\0&0&0&0\\\end{pmatrix}}}
3
×
4
{\displaystyle 3\times 4}
(
1
3
0
2
0
0
1
3
0
0
0
0
)
{\displaystyle {\begin{pmatrix}{\color {green}1}&3&0&2\\0&0&{\color {green}1}&3\\0&0&0&0\\\end{pmatrix}}}
{
x
+
3
y
=
2
z
=
3
{\displaystyle {\begin{cases}x+3y=2\\z=3\\\end{cases}}}
y
{\displaystyle y}
t
{\displaystyle t}
y
=
t
{\displaystyle y=t}
x
=
2
−
3
t
{\displaystyle x=2-3t}
z
=
3
{\displaystyle z=3}
x
{\displaystyle x}
참고
독립 미지수(혹은 자유변수)들은 선행성분이 없는 열에 대응되는 미지수들이다.
종속 미지수(혹은 기본변수)들은 선행성분이 있는 열에 대응되는 미지수들이다.
틀:예제
정의 2.10. (homogeneous한 선형 연립방정식)
선형 연립방정식의 꼴이
A
x
=
0
{\displaystyle A\mathbf {x} =\mathbf {0} }
=
0
{\displaystyle =0}
[ 해 1]
참고
Homogeneous한 선형 연립방정식은 선형 연립방정식의 해의 개수의 결정에 대한 성질과 homogeneous한 선형 연립방정식들은 일관적이어야만 한다는 사실에 기반하여 homogeneous한 선형 연립방정식들은 해를 갖지 않는다는 가능성 자체를 배제할 수 있기에 단 하나의 유일한 해를 갖거나, 무수히 많은 해들을 가진다.
예시(homogeneous한 선형 연립방정식)
선형 연립방정식
{
x
+
y
+
z
=
0
2
x
+
8
y
+
3
z
=
0
2
x
+
4
y
+
6
z
=
0
{\displaystyle {\begin{cases}x+y+z&=0\\2x+8y+3z&=0\\2x+4y+6z&=0\\\end{cases}}}
게다가, 이 선형 연립방정식의 RREF 첨가행렬은
(
1
0
0
0
0
1
0
0
0
0
1
0
)
{\displaystyle {\begin{pmatrix}1&0&0&0\\0&1&0&0\\0&0&1&0\\\end{pmatrix}}}
(
x
,
y
,
z
)
=
(
0
,
0
,
0
)
{\displaystyle (x,y,z)=(0,0,0)}
선형 연립방정식
{
x
+
4
y
+
5
z
=
0
2
x
+
3
y
+
5
z
=
0
x
+
2
y
+
3
z
=
0
{\displaystyle {\begin{cases}x+4y+5z&=0\\2x+3y+5z&=0\\x+2y+3z&=0\\\end{cases}}}
덧붙여, 이 선형 연립방정식의 RREF 첨가행렬은
(
1
0
1
0
0
1
1
0
0
0
0
0
)
{\displaystyle {\begin{pmatrix}1&0&1&0\\0&1&1&0\\0&0&0&0\\\end{pmatrix}}}
z
{\displaystyle z}
성질 (homogeneous한 선형 연립방정식이 비자명한 해를 가지는 충분조건)
m
{\displaystyle m}
n
{\displaystyle n}
m
<
n
{\displaystyle {\color {green}m<n}}
증명
m
{\displaystyle m}
n
{\displaystyle n}
A
x
=
0
{\displaystyle A\mathbf {x} =\mathbf {0} }
(
A
|
0
)
{\displaystyle (A|\mathbf {0} )}
(
R
|
0
)
{\displaystyle (R|\mathbf {0} )}
R
{\displaystyle R}
m
{\displaystyle m}
n
{\displaystyle n}
m
×
n
{\displaystyle m\times n}
R
{\displaystyle R}
n
{\displaystyle n}
R
{\displaystyle R}
n
{\displaystyle n}
R
{\displaystyle R}
m
<
n
{\displaystyle m<n}
m
{\displaystyle m}
선형 연립방정식은 해가 없거나(homogeneous한 경우 불가능) 유일한 해가 있거나(이 경우에는 불가능) 무수히 많은 해가 있으므로,
이 homogeneous한 선형 연립방정식은 반드시 무수한 해를 가져야 한다.
즉, 비자명한 해를 가진다.
참고
이 성질은 homogeneous한 선형 연립방정식이 비자명한 해를 가진다면 선형 방정식 수가 미지수의 개수보다 딸린다는 주장을 하는 것이 아니다.(성질의 역(逆)) 위의 예시(homogeneous한 선형 연립방정식)의 두번째에서 미지수의 개수와 선형 방정식의 개수가 같지만 선형 연립방정식은 여전히 비자명한 해를 갖는다.
예시
homogeneous한 선형 연립방정식
{
x
+
y
+
z
=
0
2
x
+
5
y
+
z
=
0
{\displaystyle {\begin{cases}x+y+z=0\\2x+5y+z=0\end{cases}}}
더불어, 이 선형 연립방정식의 첨가행렬의 RREF는
(
1
0
4
3
0
0
1
−
1
3
0
)
{\displaystyle {\begin{pmatrix}1&0&{\frac {4}{3}}&0\\0&1&-{\frac {1}{3}}&0\end{pmatrix}}}
z
{\displaystyle z}
z
=
t
{\displaystyle z=t}
x
=
−
4
3
t
,
y
=
1
3
t
{\displaystyle x=-{\frac {4}{3}}t,y={\frac {1}{3}}t}
