์ญํ๋ ฌ์ ์ด๋ค ํ๋ ฌ๊ณผ ๊ณฑํ์ ๋ ๋จ์ํ๋ ฌ์ด ๋๋ ํ๋ ฌ๋ก, ํ๋ ฌ์์ด 0์ด ์๋ ๋๋ง ์กด์ฌํฉ๋๋ค. 2x2 ์ญํ๋ ฌ ๊ณต์๊ณผ 3x3 ๊ฐ์ฐ์ค-์กฐ๋ ์๊ฑฐ๋ฒ, ์กด์ฌ ์กฐ๊ฑด๊ณผ ์ฑ์ง๊น์ง ๊ณ์ฐ ๊ณผ์ ์ ์์ ์ ํจ๊ป ๋จ๊ณ๋ณ๋ก ์ ๋ฆฌํ์ต๋๋ค.

์ญํ๋ ฌ์ ์ด๋ค ์ ์ฌ๊ฐํ๋ ฌ $A$์ ๊ณฑํ์ ๋ ๋จ์ํ๋ ฌ $E$๊ฐ ๋๋ ํ๋ ฌ์ ๋๋ค. 2x2 ํ๋ ฌ์ ๊ณต์ ํ๋๋ก ๋ฐ๋ก ๊ตฌํ ์ ์๊ณ , 3x3 ์ด์์ ๊ฐ์ฐ์ค-์กฐ๋ ์๊ฑฐ๋ฒ์ ์ฐ๋ ํธ์ด ๋น ๋ฆ ๋๋ค. ๋จ, ํ๋ ฌ์์ด 0์ด๋ฉด ์ญํ๋ ฌ ์์ฒด๊ฐ ์กด์ฌํ์ง ์์ต๋๋ค. ์ด ๊ธ์์ ๋ป๊ณผ ์กด์ฌ ์กฐ๊ฑด, ๊ณ์ฐ๋ฒ, ์ฑ์ง์ ์ฐจ๋ก๋ก ์ ๋ฆฌํฉ๋๋ค.
์ญํ๋ ฌ์ด๋? ๋จ์ํ๋ ฌ๊ณผ์ ๊ด๊ณ
์ญํ๋ ฌ์ ๋ป๋ถํฐ ์ ํํ ์ก๊ฒ ์ต๋๋ค. ์ ์ฌ๊ฐํ๋ ฌ $A$์ ๋ํด ๋ค์์ ๋ง์กฑํ๋ ํ๋ ฌ $A^{-1}$๋ฅผ $A$์ ์ญํ๋ ฌ์ด๋ผ๊ณ ํฉ๋๋ค.
$$AA^{-1} = A^{-1}A = E$$
์ฌ๊ธฐ์ $E$๋ ๋๊ฐ์ ์ฑ๋ถ์ด ๋ชจ๋ 1์ด๊ณ ๋๋จธ์ง๊ฐ 0์ธ ๋จ์ํ๋ ฌ์ ๋๋ค. ๋จ์ํ๋ ฌ์ ์์ ๊ณฑ์ ์์ 1๊ณผ ๊ฐ์ ์ญํ ์ ํ๋ฏ๋ก, ์ญํ๋ ฌ์ ์์ ์ญ์ $a \times \frac{1}{a} = 1$ ๊ด๊ณ๋ฅผ ํ๋ ฌ๋ก ์ฎ๊ธด ๊ฐ๋ ์ด๋ผ๊ณ ๋ณด๋ฉด ๋ฉ๋๋ค. ์ค์ ๋ก ์ญ์๋ฅผ ๋ปํ๋ inverse์์ ๊ธฐํธ $A^{-1}$๊ฐ ๋์์ต๋๋ค.
์ค์ํ ์ ์ ๊ฐ ๋ ๊ฐ์ง ์์ต๋๋ค. ์ฒซ์งธ, ์ญํ๋ ฌ์ ํ๊ณผ ์ด์ ๊ฐ์๊ฐ ๊ฐ์ ์ ์ฌ๊ฐํ๋ ฌ์์๋ง ์ ์๋ฉ๋๋ค. ๋์งธ, ํ๋ ฌ ๊ณฑ์ ์ ๊ตํ๋ฒ์น์ด ์ฑ๋ฆฝํ์ง ์์ง๋ง ์ญํ๋ ฌ๊ณผ์ ๊ณฑ๋งํผ์ ์์๋ฅผ ๋ฐ๊ฟ๋ ํญ์ ๋จ์ํ๋ ฌ์ด ๋์ต๋๋ค. ๊ทธ๋ฆฌ๊ณ ์ด๋ค ํ๋ ฌ์ ์ญํ๋ ฌ์ด ์กด์ฌํ๋ค๋ฉด ๊ทธ ์ญํ๋ ฌ์ ์ค์ง ํ๋๋ฟ์ ๋๋ค. ์ด๋ฅผ ์ญํ๋ ฌ์ ์ ์ผ์ฑ์ด๋ผ๊ณ ๋ถ๋ฆ ๋๋ค.
์ญํ๋ ฌ ์กด์ฌ ์กฐ๊ฑด — ํ๋ ฌ์์ด 0์ด ์๋์ด์ผ ํ๋ ์ด์
๋ชจ๋ ์ ์ฌ๊ฐํ๋ ฌ์ด ์ญํ๋ ฌ์ ๊ฐ๋ ๊ฒ์ ์๋๋๋ค. ์ญํ๋ ฌ ์กด์ฌ ์กฐ๊ฑด์ ํ ์ค๋ก ์์ฝ๋ฉ๋๋ค. ํ๋ ฌ์ $\det A$๊ฐ 0์ด ์๋๋ฉด ์ญํ๋ ฌ์ด ์กด์ฌํ๊ณ , 0์ด๋ฉด ์กด์ฌํ์ง ์์ต๋๋ค. ์ญํ๋ ฌ์ด ์กด์ฌํ๋ ํ๋ ฌ์ ๊ฐ์ญํ๋ ฌ ๋๋ ์ ์นํ๋ ฌ์ด๋ผ ํ๊ณ , ์กด์ฌํ์ง ์๋ ํ๋ ฌ์ ํน์ดํ๋ ฌ์ด๋ผ๊ณ ๋ถ๋ฆ ๋๋ค.
์ ํ๋ ฌ์์ด ๊ธฐ์ค์ด ๋ ๊น์? 2x2 ํ๋ ฌ์์ ํ๋ ฌ์ $ad-bc$๋ ์๋ ๊ณต์์ ๋ถ๋ชจ๋ก ๋ค์ด๊ฐ๋๋ค. ๋ถ๋ชจ๊ฐ 0์ด๋ฉด ๋๋์ ์ด ๋ถ๊ฐ๋ฅํ๋ ๊ณต์ ์์ฒด๊ฐ ๋ฌด๋์ง๋๋ค. ๊ธฐํํ์ ์ผ๋ก ๋ณด๋ฉด ๋ ์ง๊ด์ ์ ๋๋ค. ํ๋ ฌ์ ํ๋ฉด์ ๋๋ฆฌ๊ณ ํ์ ์ํค๋ ๋ณํ์ธ๋ฐ, ํ๋ ฌ์์ ๊ทธ ๋ณํ์ด ๋์ด๋ฅผ ๋ช ๋ฐฐ๋ก ๋ฐ๊พธ๋์ง ๋ํ๋ ๋๋ค. ํ๋ ฌ์์ด 0์ด๋ผ๋ ๊ฒ์ ํ๋ฉด ์ ์ฒด๊ฐ ํ๋์ ์ง์ ์ด๋ ์ ์ผ๋ก ๋๋ ค ๋ถ๋๋ค๋ ๋ป์ด๊ณ , ํ๋ฒ ๋ญ๊ฐ์ง ์ ๋ณด๋ ๋๋๋ฆด ์ ์์ผ๋ฏ๋ก ์ญ๋ณํ, ์ฆ ์ญํ๋ ฌ์ด ์กด์ฌํ ์ ์์ต๋๋ค.
๊ทธ๋์ ์ญํ๋ ฌ์ ๊ตฌํ๊ธฐ ์ ์๋ ํญ์ ํ๋ ฌ์๋ถํฐ ๊ณ์ฐํ๋ ์ต๊ด์ด ํ์ํฉ๋๋ค. ํ๋ ฌ์์ด 0์ธ์ง ํ์ธํ๋ ๋ฐ๋ ๋ช ์ด๋ฉด ์ถฉ๋ถํ์ง๋ง, ์กด์ฌํ์ง ์๋ ์ญํ๋ ฌ์ ๊ตฌํ๋ ค๊ณ ์๊ฑฐ๋ฒ์ ๋๋ฆฌ๋ฉด ๊ณ์ฐ ๋์ ๊ฐ์์ผ ๋ชจ์์ ๋ง๋๊ฒ ๋ฉ๋๋ค.
2x2 ์ญํ๋ ฌ ๊ณต์๊ณผ ๊ณ์ฐ ์์
2x2 ์ญํ๋ ฌ ๊ณต์์ ๊ฐ์ฅ ์์ฃผ ์ฐ์ด๋ ํํ์ด๋ ํต์งธ๋ก ์ธ์๋๋ ๊ฒ์ด ์ข์ต๋๋ค. $A = \begin{pmatrix} a & b \\ c & d \end{pmatrix}$์ผ ๋ ์ญํ๋ ฌ์ ๋ค์๊ณผ ๊ฐ์ต๋๋ค.
$$A^{-1} = \frac{1}{ad-bc}\begin{pmatrix} d & -b \\ -c & a \end{pmatrix}$$
๊ณต์์ ๊ตฌ์กฐ๋ ์ธ ๋์์ผ๋ก ๊ธฐ์ตํ๋ฉด ๋ฉ๋๋ค. ์ฃผ๋๊ฐ์ ์ $a$์ $d$๋ ์๋ฆฌ๋ฅผ ์๋ก ๋ฐ๊พธ๊ณ , ๋ฐ๋๊ฐ์ ์ $b$์ $c$๋ ๋ถํธ๋ง ๋ฐ๊พผ ๋ค, ์ ์ฒด๋ฅผ ํ๋ ฌ์ $ad-bc$๋ก ๋๋๋๋ค. ์์ ๋ก ํ์ธํด ๋ณด๊ฒ ์ต๋๋ค. $A = \begin{pmatrix} 2 & 1 \\ 5 & 3 \end{pmatrix}$์ด๋ฉด ํ๋ ฌ์์ $2 \times 3 - 1 \times 5 = 1$์ด๋ฏ๋ก ์ญํ๋ ฌ์ด ์กด์ฌํ๊ณ , ๊ณต์์ ๋ฃ์ผ๋ฉด $A^{-1} = \begin{pmatrix} 3 & -1 \\ -5 & 2 \end{pmatrix}$๊ฐ ๋ฉ๋๋ค. ๊ฒ์ฐ์ผ๋ก $AA^{-1}$๋ฅผ ์ง์ ๊ณฑํด ๋ณด๋ฉด ์ ํํ ๋จ์ํ๋ ฌ์ด ๋์ต๋๋ค. ์ด ๊ฒ์ฐ ์ต๊ด์ ์ํ์์ ๊ณ์ฐ ์ค์๋ฅผ ์ก์๋ด๋ ๊ฐ์ฅ ํ์คํ ๋ฐฉ๋ฒ์ ๋๋ค.
3x3 ์ญํ๋ ฌ ๊ตฌํ๋ ๋ฐฉ๋ฒ — ๊ฐ์ฐ์ค-์กฐ๋ ์๊ฑฐ๋ฒ
3x3๋ถํฐ๋ ๊ณต์ ์๊ธฐ๋ณด๋ค ๊ฐ์ฐ์ค-์กฐ๋ ์๊ฑฐ๋ฒ์ด ํ์ค์ ๋๋ค. ์ ์ฐจ๋ ๋จ์ํฉ๋๋ค. ๊ตฌํ๋ ค๋ ํ๋ ฌ $A$ ์ค๋ฅธ์ชฝ์ ๋จ์ํ๋ ฌ $E$๋ฅผ ๋๋ํ ๋ถ์ฌ ํ๋ํ๋ ฌ์ ๋ง๋ค๊ณ , ํ ์ฐ์ฐ๋ง์ผ๋ก ์ผ์ชฝ์ ๋จ์ํ๋ ฌ๋ก ๋ฐ๊ฟ๋๋ค. ๊ทธ ์๊ฐ ์ค๋ฅธ์ชฝ์ ๋จ๋ ๊ฒ์ด ๋ฐ๋ก ์ญํ๋ ฌ์ ๋๋ค.
$$\left( A \mid E \right) \longrightarrow \left( E \mid A^{-1} \right)$$
ํ์ฉ๋๋ ํ ์ฐ์ฐ์ ์ธ ๊ฐ์ง์ ๋๋ค. ๋ ํ์ ์๋ก ๋ฐ๊พธ๊ธฐ, ํ ํ์ 0์ด ์๋ ์๋ฅผ ๊ณฑํ๊ธฐ, ํ ํ์ ๋ค๋ฅธ ํ์ ๋ช ๋ฐฐ๋ฅผ ๋ํ๊ธฐ. ์ด ์ธ ๋์์ ์ผ์ชฝ ์ด๋ถํฐ ์ฐจ๋ก๋ก ์ ์ฉํด ๋๊ฐ์ ์๋๋ฅผ 0์ผ๋ก, ๋ค์์ ๋๊ฐ์ ์๋ฅผ 0์ผ๋ก ๋ง๋ค๋ฉด ๋ฉ๋๋ค. ๋์ค์ ์ด๋ค ํ์ด ์ ๋ถ 0์ด ๋์ด ์ผ์ชฝ์ ๋จ์ํ๋ ฌ๋ก ๋ง๋ค ์ ์๋ค๋ฉด, ๊ทธ ํ๋ ฌ์ ํ๋ ฌ์์ด 0์ธ ํน์ดํ๋ ฌ์ด๋ผ ์ญํ๋ ฌ์ด ์กด์ฌํ์ง ์๋๋ค๋ ๋ป์ ๋๋ค. ์ฌ์ธ์์ ์๋ฐํ๋ ฌ๋ก ๊ตฌํ๋ ๊ณต์๋ ์์ง๋ง, ์ ๊ณ์ฐ์์๋ ์๊ฑฐ๋ฒ์ด ์ค์๋ ์ ๊ณ ๋น ๋ฆ ๋๋ค.
์ ๋ ๋ํ์์ ์ ํ๋์๋ฅผ ์ฒ์ ๋ฐฐ์ธ ๋ 3x3 ์ญํ๋ ฌ์ ๊ตณ์ด ์ฌ์ธ์ ๊ณต์์ผ๋ก๋ง ํ๋ค๊ฐ ์ค๊ฐ๊ณ ์ฌ์์ ์๊ฐ์ ๋ค ์จ๋ฒ๋ฆฐ ์ ์ด ์์ต๋๋ค. ํ๋ ฌ์ ๊ณ์ฐ ์ํ ๋ฒ์ ๋ถํธ ๋ฐฐ์น๊น์ง ํ๋ค ๋ณด๋ฉด ์ด๋๊ฐ์์ ๊ผญ ํ๋๊ฐ ํ๋ฆฌ๋๊ตฐ์. ๊ฐ์ฐ์ค-์กฐ๋ ์๊ฑฐ๋ฒ์ผ๋ก ๋ฐ๊พผ ๋ค์๋ ๊ฐ์ ๋ฌธ์ ๋ฅผ ์ ๋ฐ์ ์๊ฐ์ ํ์๊ณ , ๋ฌด์๋ณด๋ค ์ด๋ ๋จ๊ณ์์ ํ๋ ธ๋์ง ๋์ผ๋ก ์ถ์ ํ ์ ์์ด์ ๊ฒ์ฐ์ด ์ฌ์์ก์ต๋๋ค. ๋ฐฉ๋ฒ ์ ํ์ด ์ ์๋ฅผ ๊ฐ๋ฅธ๋ค๋ ๊ฒ์ ๊ทธ๋ ๋ฐฐ์ ์ต๋๋ค.
์ญํ๋ ฌ์ ์ฑ์ง 5๊ฐ์ง
๊ณ์ฐ ๋ฌธ์ ์ ์ฆ๋ช ๋ฌธ์ ์์ชฝ์์ ๋ฐ๋ณตํด์ ์ฐ์ด๋ ์ญํ๋ ฌ์ ์ฑ์ง์ ๋ชจ์์ต๋๋ค. ํนํ ๊ณฑ์ ์ญํ๋ ฌ์์ ์์๊ฐ ๋ค์งํ๋ ์ฒซ ๋ฒ์งธ ์ฑ์ง์ ์ํ ๋จ๊ณจ์ ๋๋ค.
๐ ์ญํ๋ ฌ์ ํต์ฌ ์ฑ์ง
- $(AB)^{-1} = B^{-1}A^{-1}$ — ๊ณฑ์ ์ญํ๋ ฌ์ ๊ฐ๊ฐ์ ์ญํ๋ ฌ์ ๋ฐ๋ ์์๋ก ๊ณฑํ๋ค
- $(A^{-1})^{-1} = A$ — ์ญํ๋ ฌ์ ์ญํ๋ ฌ์ ์๊ธฐ ์์ ์ด๋ค
- $(A^{T})^{-1} = (A^{-1})^{T}$ — ์ ์น์ ์ญํ๋ ฌ์ ์์๋ฅผ ๋ฐ๊ฟ๋ ๊ฐ๋ค
- $(kA)^{-1} = \frac{1}{k}A^{-1}$ — ์์๋ฐฐ์ ์ญํ๋ ฌ์ ์ญ์๋ฐฐ๊ฐ ๋๋ค ($k \neq 0$)
- $\det(A^{-1}) = \frac{1}{\det A}$ — ์ญํ๋ ฌ์ ํ๋ ฌ์์ ์๋ ํ๋ ฌ์์ ์ญ์๋ค
๊ณฑ์ ์ญํ๋ ฌ์์ ์์๊ฐ ๋ค์งํ๋ ์ด์ ๋ ์ท ์ ๊ธฐ์ ๋น์ ํ๋ฉด ์ฝ์ต๋๋ค. ์ ์ธ ๋ฅผ ์ ๊ณ ์ฝํธ๋ฅผ ์ ์๋ค๋ฉด, ๋ฒ์ ๋๋ ์ฝํธ๋ถํฐ ๋ฒ์ด์ผ ํฉ๋๋ค. ๋ณํ $A$ ๋ค์์ $B$๋ฅผ ์ ์ฉํ๋ค๋ฉด ๋๋๋ฆด ๋๋ $B$๋ฅผ ๋จผ์ ์ทจ์ํด์ผ ํ๋ฏ๋ก $B^{-1}A^{-1}$ ์์๊ฐ ๋๋ ๊ฒ์ ๋๋ค.
์ญํ๋ ฌ์ ์ด๋์ ์ฐ์ผ๊น? ์ฐ๋ฆฝ๋ฐฉ์ ์๋ถํฐ ๊ทธ๋ํฝ์ค๊น์ง
์ญํ๋ ฌ์ ๋ํ ํ์ฉ์ ์ฐ๋ฆฝ์ผ์ฐจ๋ฐฉ์ ์ ํ์ด์ ๋๋ค. ์ฐ๋ฆฝ๋ฐฉ์ ์์ ํ๋ ฌ๋ก ๋ฌถ์ผ๋ฉด $Ax = b$ ๊ผด์ด ๋๋๋ฐ, ์๋ณ ์ผ์ชฝ์ ์ญํ๋ ฌ์ ๊ณฑํ๋ฉด ํด๊ฐ ํ ๋ฒ์ ๋์ต๋๋ค.
$$x = A^{-1}b$$
์ฌ๊ธฐ์ $A$๋ ๊ณ์ํ๋ ฌ, $x$๋ ๋ฏธ์ง์ ๋ฒกํฐ, $b$๋ ์์ํญ ๋ฒกํฐ์ ๋๋ค. ๋ฏธ์ง์๊ฐ ๋ช ๊ฐ๋ ๊ตฌ์กฐ๊ฐ ๊ฐ์์, ๋ณ์ ์๋ฐฑ ๊ฐ์ง๋ฆฌ ๋ฐฉ์ ์์ ๋ค๋ฃจ๋ ๊ณตํ ์๋ฎฌ๋ ์ด์ ์ ๊ธฐ๋ณธ ์ธ์ด๊ฐ ๋ฉ๋๋ค. ์ปดํจํฐ ๊ทธ๋ํฝ์ค์์๋ ํ์ ๊ณผ ํ๋๋ฅผ ๋ํ๋ด๋ ๋ณํ ํ๋ ฌ์ ์ญํ๋ ฌ๋ก ํ๋ฉด ์ขํ๋ฅผ ์๋ ์ขํ๋ก ๋๋๋ฆฌ๊ณ , 3D ๊ฒ์์์ ์นด๋ฉ๋ผ ์์ ์ ๋ฐ๊พธ๋ ๊ณ์ฐ์๋ ๊ฐ์ ์๋ฆฌ๊ฐ ๋ค์ด๊ฐ๋๋ค. ํต๊ณํ์ ํ๊ท๋ถ์์์ ๊ณ์๋ฅผ ์ถ์ ํ๋ ์ ๊ท๋ฐฉ์ ์, ํ๋ ฌ๋ก ๋ฌธ์๋ฅผ ์๋ ํ ์ํธ์ ๋ณตํธํ ๊ณผ์ ์๋ ์ญํ๋ ฌ์ด ํต์ฌ์ผ๋ก ์ฐ์ ๋๋ค.
์ ๋ฆฌํ๋ฉด ์ด๋ ์ต๋๋ค. ์ญํ๋ ฌ์ ๋จ์ํ๋ ฌ์ ๋ง๋ค์ด ์ฃผ๋ ์ง์ด๊ณ , ํ๋ ฌ์์ด 0์ด ์๋ ๋๋ง ์กด์ฌํ๋ฉฐ, 2x2๋ ๊ณต์์ผ๋ก, 3x3 ์ด์์ ๊ฐ์ฐ์ค-์กฐ๋ ์๊ฑฐ๋ฒ์ผ๋ก ๊ตฌํฉ๋๋ค. ๊ทธ๋ฆฌ๊ณ ๊ทธ ๋ณธ์ง์ ๋ณํ์ ๋๋๋ฆฌ๋ ์ฅ์น๋ผ๋ ๊ฒ, ์ด ํ ๋ฌธ์ฅ๋ง ๊ธฐ์ตํด๋ ์ ํ๋์์ ์ ๋ฐ์ด ํธํด์ง๋๋ค.