์ด ๊ณ์ฐ๊ธฐ๋ก ํ ์ ์๋ ์ผ
์ด ๋๊ตฌ๋ ์ค์๋ก ์ด๋ฃจ์ด์ง nรn ์ ์ฌ๊ฐ ํ๋ ฌ A์ ์ญํ๋ ฌ์ ๊ณ์ฐํฉ๋๋ค. ์ญํ๋ ฌ Aโปยน์ \(A \times A^{-1} = I\) ๋ฅผ ๋ง์กฑํ๋ ์ ์ผํ ํ๋ ฌ์ ๋๋ค. ๋จ, ๋ชจ๋ ํ๋ ฌ์ ์ญํ๋ ฌ์ด ์กด์ฌํ๋ ๊ฒ์ ์๋๋๋ค. ์ ์ฌ๊ฐ ํ๋ ฌ์ด๋ฉด์ ํ๋ ฌ์์ด 0์ด ์๋ ํ๋ ฌ(๋นํน์ดํ๋ ฌ)๋ง ์ญํ๋ ฌ์ ๊ฐ์ง๋๋ค. ๋ง์ฝ ์ ๋ ฅํ ํ๋ ฌ์ด ํน์ดํ๋ ฌ์ด๋ผ๋ฉด, ์ด ๊ณ์ฐ๊ธฐ๋ ์๋ฏธ ์๋ ์ซ์๋ฅผ ์ถ๋ ฅํ๋ ๋์ ์ญํ๋ ฌ์ด ์๋ค๋ ์ฌ์ค์ ๋ช ํํ ์๋ ค ์ค๋๋ค.
์ฌ์ฉ ๋ฐฉ๋ฒ
๋จผ์ ๋๋กญ๋ค์ด์์ ํ๋ ฌ ํฌ๊ธฐ \(n\)์ ์ ํํ์ธ์. ๊ทธ๋ฌ๋ฉด ์ ๋ ฅ ๊ฒฉ์๊ฐ nํ n์ด๋ก ์๋ ์กฐ์ ๋ฉ๋๋ค. ํ๋ ฌ A์ ๋ชจ๋ ์นธ์ ์ค์ ๊ฐ์ ์ ๋ ฅํฉ๋๋ค. ์ด์ด์ ๊ฒฐ๊ณผ์ ํ์ํ ์ ํจ์ซ์ ์๋ฆฟ์๋ฅผ ์ ํ๋ฉด, ์ญํ๋ ฌ๊ณผ ํ๋ ฌ์, ๊ทธ๋ฆฌ๊ณ ์ฌ์ฉ๋ ๊ณ์ฐ ๋ฐฉ๋ฒ์ ํ๋์ ํ์ธํ ์ ์์ต๋๋ค. ์ ํจ์ซ์ ์ค์ ์ ํ๋ฉด์ ํ์๋๋ ๋ฐ์ฌ๋ฆผ ๊ฒฐ๊ณผ์๋ง ์ํฅ์ ์ค ๋ฟ, ๋ด๋ถ ๊ณ์ฐ์ ์ธ์ ๋ ๋ฐฐ์ ๋ฐ๋(double precision) ์ ์ฒด๋ก ์ํ๋ฉ๋๋ค.
๊ณ์ฐ ๋ฐฉ๋ฒ ์์ธํ ๋ณด๊ธฐ
์ด ๊ณ์ฐ๊ธฐ๋ ๋ถ๋ถ ํผ๋ฒํ (partial pivoting)์ ์ ์ฉํ LU ๋ถํด๋ฅผ ์ฌ์ฉํฉ๋๋ค. ๋จผ์ ํ๋ ฌ์ \(PA = LU\) ํํ๋ก ๋ถํดํฉ๋๋ค.
$$P\,A = L\,U \quad\Longrightarrow\quad A^{-1} = U^{-1} L^{-1} P$$์ฌ๊ธฐ์ P๋ ๊ฐ์ฅ ํฐ ํผ๋ฒ ๊ฐ์ ๋๊ฐ์ ์ ๋๊ธฐ ์ํด ํ์ ๊ตํํ๋ ์นํํ๋ ฌ๋ก, ์์น์ ์์ ์ฑ์ ๋์ด๊ณ ์์ฃผ ์์ ๊ฐ์ผ๋ก ๋๋๋ ์ํฉ์ ๋ง์ ์ค๋๋ค. L์ ๋๊ฐ ์ฑ๋ถ์ด 1์ธ ํ์ผ๊ฐํ๋ ฌ, U๋ ์์ผ๊ฐํ๋ ฌ์ ๋๋ค. ๊ทธ๋ค์ ๋จ์ํ๋ ฌ์ ๊ฐ ์ด \(e_k\)์ ๋ํด, ์ ์ง ๋์ (forward substitution)์ผ๋ก \(L y = P e_k\) ๋ฅผ ํ๊ณ , ํ์ง ๋์ (back substitution)์ผ๋ก \(U x = y\) ๋ฅผ ํ๋๋ค. ์ด๋ ๊ฒ ์ป์ \(x\)๊ฐ ๋ฐ๋ก Aโปยน์ k๋ฒ์งธ ์ด์ด ๋ฉ๋๋ค. ํ๋ ฌ์์ U์ ๋๊ฐ ์ฑ๋ถ์ ๋ชจ๋ ๊ณฑํ ๊ฐ์ ํ ์นํ์ ๋ถํธ๋ฅผ ๊ณฑํด ๊ตฌํฉ๋๋ค.
$$\det(A) = (-1)^{s}\prod_{k=1}^{n} U_{kk}$$
์์ ๋ก ์ดํด๋ณด๊ธฐ
\(A = \begin{bmatrix} 4 & 3 \\ 6 & 3 \end{bmatrix}\) ๋ฅผ ์๋ก ๋ค์ด ๋ด ์๋ค. ํ๋ ฌ์์
$$\det(A) = 4\times 3 - 3\times 6 = 12 - 18 = -6$$์ผ๋ก 0์ด ์๋๋ฏ๋ก A๋ ์ญํ๋ ฌ์ ๊ฐ์ง๋๋ค. 2ร2 ํ๋ ฌ์ ๊ณต์์ ์ฐ๋ฉด,
$$A^{-1} = \frac{1}{\det} \times \begin{bmatrix} 3 & -3 \\ -6 & 4 \end{bmatrix} = \begin{bmatrix} -0.5 & 0.5 \\ 1 & -0.6666666667 \end{bmatrix}$$์ ๋๋ค. A์ ์ด ์ญํ๋ ฌ์ ๊ณฑํ๋ฉด ๋จ์ํ๋ ฌ์ด ๋์ ๊ฒฐ๊ณผ๊ฐ ์ ํํจ์ ํ์ธํ ์ ์์ต๋๋ค.
์์ฃผ ๋ฌป๋ ์ง๋ฌธ
ํ๋ ฌ์ด ํน์ดํ๋ ฌ์ด๋ฉด ์ด๋ป๊ฒ ๋๋์? ํ๋ ฌ์์ด (์์ฃผ ์์ ํ์ฉ ์ค์ฐจ ๋ฒ์ ๋ด์์) 0์ด๋ฉด ์ญํ๋ ฌ์ด ์กด์ฌํ์ง ์์ผ๋ฉฐ, ๊ณ์ฐ๊ธฐ๋ "ํน์ดํ๋ ฌ / ์ญํ๋ ฌ ์์" ๋ฉ์์ง๋ฅผ ํ์ํฉ๋๋ค.
์๋ฐํ๋ ฌ(adjugate) ๊ณต์ ๋์ LU ๋ถํด๋ฅผ ์ฐ๋ ์ด์ ๋? ๋ถ๋ถ ํผ๋ฒํ LU ๋ถํด๋ ํฐ ํ๋ ฌ์์ ์ฌ์ธ์ ์ ๊ฐ(cofactor expansion)๋ณด๋ค ํจ์ฌ ์์น์ ์ผ๋ก ์์ ์ ์ด๊ณ ํจ์จ์ ์ ๋๋ค. ์ฌ์ธ์ ์ ๊ฐ๋ ๊ณ์ฐ๋์ด ํ๋ ฌ ํฌ๊ธฐ์ ๋ฐ๋ผ ํฉํ ๋ฆฌ์ผ๋ก ํญ์ฆํ๊ธฐ ๋๋ฌธ์ ๋๋ค.
์ ํจ์ซ์ ์ค์ ์ด ๊ณ์ฐ ๊ฒฐ๊ณผ ์์ฒด๋ฅผ ๋ฐ๊พธ๋์? ์๋์. ๊ณ์ฐ์ ํญ์ ์์ ํ ์ ๋ฐ๋๋ก ์ด๋ฃจ์ด์ง๋ฉฐ, ์ด ์ค์ ์ ํ์๋๋ ์ ํจ์ซ์ ๊ฐ์๋ง ์กฐ์ ํฉ๋๋ค.