MCP๋กœ ์—ฐ๊ฒฐ โ†’

๊ณ„์‚ฐ ์ž…๋ ฅ

๊ณต์‹

๊ณต์‹: nร—n ์—ญํ–‰๋ ฌ ๊ตฌํ•˜๊ธฐ (LU ๋ถ„ํ•ด ํ™œ์šฉ)

๊ด‘๊ณ 

๊ฒฐ๊ณผ

Inverse matrix Aโปยน
[
-40 16 9
13 -5 -3
5 -2 -1
]
ํ–‰๋ ฌ ํฌ๊ธฐ (n) 3
ํ–‰๋ ฌ์‹ det(A) -1
๊ณ„์‚ฐ ๋ฐฉ๋ฒ• ๋ถ€๋ถ„ ํ”ผ๋ฒ—ํŒ… LU ๋ถ„ํ•ด

์ด ๊ณ„์‚ฐ๊ธฐ๋กœ ํ•  ์ˆ˜ ์žˆ๋Š” ์ผ

์ด ๋„๊ตฌ๋Š” ์‹ค์ˆ˜๋กœ ์ด๋ฃจ์–ด์ง„ 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}$$
๋‹จ์œ„ํ–‰๋ ฌ ์—ด์„ ์ „์ง„ยทํ›„์ง„ ๋Œ€์ž…์œผ๋กœ ํ’€์–ด ์—ญํ–‰๋ ฌ์„ ๋งŒ๋“œ๋Š” ๊ณผ์ •์„ ๋ณด์—ฌ์ฃผ๋Š” ํ๋ฆ„๋„
์—ญํ–‰๋ ฌ์˜ ๊ฐ ์—ด์€ L๊ณผ U์— ๋Œ€ํ•ด ์ „์ง„ ๋Œ€์ž… ํ›„ ํ›„์ง„ ๋Œ€์ž…์œผ๋กœ ๊ตฌํ•ฉ๋‹ˆ๋‹ค.
ํ–‰๋ ฌ A๋ฅผ ์ˆœ์—ดํ–‰๋ ฌ P ๊ณฑํ•˜๊ธฐ ํ•˜์‚ผ๊ฐํ–‰๋ ฌ L ๊ณฑํ•˜๊ธฐ ์ƒ์‚ผ๊ฐํ–‰๋ ฌ U๋กœ ๋ถ„ํ•ดํ•˜๋Š” ๊ณผ์ •์„ ๋ณด์—ฌ์ฃผ๋Š” ๋„์‹
๋ถ€๋ถ„ ํ”ผ๋ฒ—ํŒ…์„ ์‚ฌ์šฉํ•œ LU ๋ถ„ํ•ด๋Š” PA๋ฅผ ํ•˜์‚ผ๊ฐํ–‰๋ ฌ L๊ณผ ์ƒ์‚ผ๊ฐํ–‰๋ ฌ U์˜ ๊ณฑ์œผ๋กœ ๋‚˜ํƒ€๋ƒ…๋‹ˆ๋‹ค.

์˜ˆ์ œ๋กœ ์‚ดํŽด๋ณด๊ธฐ

\(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)๋ณด๋‹ค ํ›จ์”ฌ ์ˆ˜์น˜์ ์œผ๋กœ ์•ˆ์ •์ ์ด๊ณ  ํšจ์œจ์ ์ž…๋‹ˆ๋‹ค. ์—ฌ์ธ์ˆ˜ ์ „๊ฐœ๋Š” ๊ณ„์‚ฐ๋Ÿ‰์ด ํ–‰๋ ฌ ํฌ๊ธฐ์— ๋”ฐ๋ผ ํŒฉํ† ๋ฆฌ์–ผ๋กœ ํญ์ฆํ•˜๊ธฐ ๋•Œ๋ฌธ์ž…๋‹ˆ๋‹ค.

์œ ํšจ์ˆซ์ž ์„ค์ •์ด ๊ณ„์‚ฐ ๊ฒฐ๊ณผ ์ž์ฒด๋ฅผ ๋ฐ”๊พธ๋‚˜์š”? ์•„๋‹ˆ์š”. ๊ณ„์‚ฐ์€ ํ•ญ์ƒ ์™„์ „ํ•œ ์ •๋ฐ€๋„๋กœ ์ด๋ฃจ์–ด์ง€๋ฉฐ, ์ด ์„ค์ •์€ ํ‘œ์‹œ๋˜๋Š” ์œ ํšจ์ˆซ์ž ๊ฐœ์ˆ˜๋งŒ ์กฐ์ ˆํ•ฉ๋‹ˆ๋‹ค.

์ตœ์ข… ์—…๋ฐ์ดํŠธ: