RREF ๊ณ์ฐ๊ธฐ๋?
์ด ๊ณ์ฐ๊ธฐ๋ ๊ฐ์ฐ์ค-์กฐ๋ ์๊ฑฐ๋ฒ์ ์ด์ฉํด ์์์ ํ๋ ฌ(์ต๋ 6ํ ร 6์ด)์ ๊ธฐ์ฝ ํ ์ฌ๋ค๋ฆฌ๊ผด(RREF, Reduced Row Echelon Form)๋ก ๋ณํํฉ๋๋ค. RREF๋ ํ๋ ฌ์ ์ ์ผํ ํ์คํ์ผ๋ก, ์ฐ๋ฆฝ์ผ์ฐจ๋ฐฉ์ ์์ ํ๊ฑฐ๋ ๊ณ์(rank)๋ฅผ ๊ตฌํ๊ณ , ํผ๋ฒ ๋ณ์์ ์์ ๋ณ์๋ฅผ ๊ตฌ๋ถํ๋ฉฐ, ์ ํ ๋ ๋ฆฝ์ฑ์ ํ๋ณํ ๋ ๋งค์ฐ ์ ์ฉํฉ๋๋ค. ๋ํ ์ด ๋๊ตฌ๋ ํ๋ ฌ์ ๊ณ์๋ ํจ๊ป ์๋ ค์ฃผ๋๋ฐ, ๊ณ์๋ RREF์์ 0์ด ์๋(ํผ๋ฒ) ํ์ ๊ฐ์์ ๊ฐ์ต๋๋ค.
$$\text{RREF}\left( A_{\,m \times n} \right) \;\xrightarrow{\text{Gauss-Jordan}}\; R$$$$\begin{gathered} \text{RREF}\left( A_{\,m \times n} \right) \;\xrightarrow{\text{Gauss-Jordan}}\; R \\[1.5em] \text{where}\quad \left\{ \begin{aligned} R_{r,\,j} &\to \frac{R_{r,\,j}}{R_{r,\,\text{lead}}} \quad (\text{normalize pivot to }1) \\ R_{k,\,j} &\to R_{k,\,j} - R_{k,\,\text{lead}}\, R_{r,\,j} \quad (k \neq r) \\ m &= \text{Rows}, \quad n = \text{Columns} \end{aligned} \right. \end{gathered}$$
์ฌ์ฉ ๋ฐฉ๋ฒ
๋จผ์ ํ๊ณผ ์ด์ ๊ฐ์๋ฅผ ์ง์ ํ ๋ค, ํ ์ค์ ํ ํ์ฉ ํ๋ ฌ์ ์์๋ฅผ ์ ๋ ฅํ์ธ์. ์ซ์๋ ๊ณต๋ฐฑ์ด๋ ์ผํ๋ก ๊ตฌ๋ถํ๋ฉด ๋ฉ๋๋ค. ํ๋ ํ๋ ฌ [A | b]๋ฅผ ์ ๋ ฅํ๋ ค๋ฉด ์์ํญ ์ด์ ๋งจ ๋ง์ง๋ง ์ด๋ก ์ถ๊ฐํ๊ธฐ๋ง ํ๋ฉด ๋ฉ๋๋ค. ๋น์ด ์๊ฑฐ๋ ์ ๋ ฅํ์ง ์์ ๊ฐ์ 0์ผ๋ก ์ฒ๋ฆฌ๋ฉ๋๋ค. ๊ณ์ฐ ๋ฒํผ์ ๋๋ฅด๋ฉด ์์ ํ ๊ธฐ์ฝํ๋ ํ๋ ฌ๊ณผ ๊ณ์๋ฅผ ํ์ธํ ์ ์์ต๋๋ค.
๊ณ์ฐ ์๋ฆฌ
๊ฐ์ฐ์ค-์กฐ๋ ์๊ฑฐ๋ฒ์ ์ด์ ์ผ์ชฝ์์ ์ค๋ฅธ์ชฝ ์์๋ก ์ฒ๋ฆฌํฉ๋๋ค. ๊ฐ ํผ๋ฒ ์์น์ ๋ํด 0์ด ์๋ ์์๋ฅผ ๊ฐ์ง ํ์ ์ฐพ์ ํด๋น ์์น๋ก ์ด๋(ํ ๊ตํ)์ํจ ๋ค, ๊ทธ ํ์ ์ ์ ํ ์๋ฅผ ๊ณฑํด ํผ๋ฒ์ 1๋ก ๋ง๋ญ๋๋ค. ์ด์ด์ ๋ค๋ฅธ ๋ชจ๋ ํ์์ ํผ๋ฒ ํ์ ๋ฐฐ์๋ฅผ ๋นผ์ ํด๋น ํผ๋ฒ ์ด์ ๋๋จธ์ง ์์๋ฅผ ๋ชจ๋ 0์ผ๋ก ๋ง๋ญ๋๋ค. ๋ชจ๋ ์ ํ ์์๊ฐ 1์ด๊ณ , ๊ทธ ์์๊ฐ ์ํ ์ด์์ ์ ์ผํ๊ฒ 0์ด ์๋ ๊ฐ์ด๋ฉฐ, ๋ฐ๋ก ์์ค์ ์ ํ ์์๋ณด๋ค ์ค๋ฅธ์ชฝ์ ์์นํ ๋ ํ๋ ฌ์ RREF ์ํ๊ฐ ๋ฉ๋๋ค.
์์ ํ์ด
ํ๋ ฌ \([[1, 2, 3], [4, 5, 6]]\)์ ์๋ก ๋ค์ด ๋ด ์๋ค. 2ํ์์ 1ํ์ 4๋ฐฐ๋ฅผ ๋นผ๋ฉด \([[1, 2, 3], [0, -3, -6]]\)์ด ๋ฉ๋๋ค. 2ํ์ \(-1/3\)์ ๊ณฑํ๋ฉด \([[1, 2, 3], [0, 1, 2]]\)๊ฐ ๋ฉ๋๋ค. ๋ค์ 1ํ์์ 2ํ์ 2๋ฐฐ๋ฅผ ๋นผ๋ฉด \([[1, 0, -1], [0, 1, 2]]\)๊ฐ ๋ฉ๋๋ค. ์ด๊ฒ์ด RREF์ด๋ฉฐ, ๊ณ์(rank)๋ 2์ ๋๋ค.
์์ฃผ ๋ฌป๋ ์ง๋ฌธ
REF์ RREF์ ์ฐจ์ด๋ ๋ฌด์์ธ๊ฐ์? ํ ์ฌ๋ค๋ฆฌ๊ผด(REF)์ ๊ฐ ํผ๋ฒ ์๋์ชฝ์ด 0์ด๊ธฐ๋ง ํ๋ฉด ๋ฉ๋๋ค. ๋ฐ๋ฉด RREF๋ ์ฌ๊ธฐ์ ๋ํด ์ ํ ์์๊ฐ ๋ชจ๋ 1์ด์ด์ผ ํ๊ณ ๊ฐ ํผ๋ฒ์ ์์ชฝ๋ 0์ด์ด์ผ ํ๋ฏ๋ก, ๊ทธ ํํ๊ฐ ์ ์ผํ๊ฒ ๊ฒฐ์ ๋ฉ๋๋ค.
๊ณ์(rank)๋ ์ด๋ป๊ฒ ๊ตฌํ๋์? ๊ณ์๋ ์๊ฑฐ ํ 0์ด ์๋ ํ์ ๊ฐ์์ด๋ฉฐ, ๊ฒฐ๊ณผ ํ๋ฉด ์๋จ์ ํ์๋ฉ๋๋ค.
์ฐ๋ฆฝ๋ฐฉ์ ์๋ ํ ์ ์๋์? ๋ค. ํ๋ ํ๋ ฌ [A | b]๋ฅผ ์ ๋ ฅํ๋ฉด RREF๊ฐ ํด๋ฅผ ์ง์ ๋ณด์ฌ ์ฃผ๊ฑฐ๋, ํด๊ฐ ์๋(๋ชจ์) ๊ฒฝ์ฐ ๋๋ ์์ ๋ณ์๊ฐ ์๋ ๊ฒฝ์ฐ์ธ์ง๋ฅผ ์๋ ค ์ค๋๋ค.