κ°€μš°μŠ€ μ†Œκ±°λ²• (Gaussian Elimination)

κ°€μš°μŠ€ μ†Œκ±°λ²•μ€ μ„ ν˜• 연립 방정식을 ν‘ΈλŠ” λŒ€ν‘œμ μΈ λ°©λ²•μž…λ‹ˆλ‹€. μ‹μ˜ ν•΄λ₯Ό κ΅¬ν•˜λŠ” 과정은 쀑, 고등학ꡐλ₯Ό λ„˜μ–΄ μˆ˜ν•™μ΄λΌλŠ” ν•™λ¬Έμ—μ„œ μ€‘μš”ν•œ 역할을 ν•©λ‹ˆλ‹€. 이λ₯Ό 생각해보면, κ°€μš°μŠ€ μ†Œκ±°λ²•μ˜ μ€‘μš”μ„±μ„ 이해할 수 μžˆμŠ΅λ‹ˆλ‹€. κ°€μš°μŠ€ μ†Œκ±°λ²•μ— λŒ€ν•˜μ—¬ μ•Œμ•„λ³Έ ν›„, 연립 일차 방정식을 κ°€μš°μŠ€ μ†Œκ±°λ²•μ„ ν™œμš©ν•˜μ—¬ ν’€μ–΄λ΄…μ‹œλ‹€. μΆ”κ°€λ‘œ 역행렬을 κ°€μš°μŠ€ μ†Œκ±°λ²•μ„ ν™œμš©ν•˜μ—¬ ꡬ해볼 κ²ƒμž…λ‹ˆλ‹€.

κ°€μš°μŠ€ μ†Œκ±°λ²•μ€ 행렬을 행사닀리꼴(Row Echelon Form, REF) ν–‰λ ¬λ‘œ ν‘œν˜„ν•˜λŠ” λ°©λ²•μž…λ‹ˆλ‹€. λ¨Όμ € Row Echelon Form에 λŒ€ν•˜μ—¬ μ•Œμ•„λ³΄κ² μŠ΅λ‹ˆλ‹€.

[400790021083000βˆ’32800003βˆ’9000000]\begin{bmatrix} 4 & 0 & 0 & 7 & 9 & 0 \\ 0 & 2 & 1 & 0 & 8 & 3 \\ 0 & 0 & 0 & -3 &2 & 8 \\ 0 & 0 & 0 & 0 & 3 & -9 \\ 0 & 0 & 0 & 0 & 0 & 0 \end{bmatrix}

Row Echelon Form은 λ‹€μŒ 쑰건을 λ§Œμ‘±ν•˜μ—¬μ•Ό ν•©λ‹ˆλ‹€.


1. 0으둜만 κ΅¬μ„±λœ 행은 제일 μ•„λž˜ μœ„μΉ˜ν•©λ‹ˆλ‹€.
2. κ°€μž₯ μ™ΌνŽΈμ— μ‘΄μž¬ν•˜λŠ” 0이 μ•„λ‹Œ μ›μ†ŒλŠ” μœ— 행렬보닀 μ•„λž˜ 행렬이 였λ₯Έμͺ½μ— μ‘΄μž¬ν•©λ‹ˆλ‹€.
즉 계단 λͺ¨μ–‘μž…λ‹ˆλ‹€. (개인적으둜 행사닀리꼴 λͺ¨μ–‘이라 λ§ν•˜κΈ° μ–΄λ ΅λ‹€κ³  μƒκ°ν•©λ‹ˆλ‹€.🀣)
κ°€μž₯ μ™ΌνŽΈμ— μ‘΄μž¬ν•˜λŠ” 0이 μ•„λ‹Œ μ›μ†Œλ₯Ό 피봇(pivot)이라고 λΆ€λ¦…λ‹ˆλ‹€.
두 개 μ΄μƒμ˜ λ°©μ •μ‹μ—μ„œ κ³΅ν†΅λœ ν•΄λ₯Ό μ°Ύκ³  싢을 λ•Œ 연립 방정식을 μ‚¬μš©ν•©λ‹ˆλ‹€.
x1+2x2βˆ’3x3=5x_1 + 2x_2 - 3x_3 = 5
3x1βˆ’2x2βˆ’5x3=33x_1 - 2x_2 - 5x_3 = 3
βˆ’2x1+3x2+4x3=2-2x_1 + 3x_2 + 4x_3 = 2
μœ„ 연립 방정식은 연립 일차 λ°©μ •μ‹μž…λ‹ˆλ‹€. λ―Έμ§€μˆ˜ 3개 x1,x2,x3x_1, x_2, x_3κ°€ μ‘΄μž¬ν•©λ‹ˆλ‹€. 연립 일차 방정식은 ν–‰λ ¬μ˜ κ³±μ…ˆμœΌλ‘œ λ‚˜νƒ€λ‚Ό 수 μžˆμŠ΅λ‹ˆλ‹€.
[12βˆ’33βˆ’2βˆ’5βˆ’234][x1x2x3]=[532]\begin{bmatrix} 1 & 2 & -3 \\ 3 & -2 & -5 \\ -2 & 3 & 4 \end{bmatrix} \begin{bmatrix} x_1 \\ x_2 \\ x_3 \end{bmatrix} = \begin{bmatrix} 5 \\ 3 \\ 2 \end{bmatrix}
이전 λ…Έλ“œμ—μ„œ μ•Œμ•„λ³΄μ•˜λ“―μ΄, ν–‰λ ¬μ˜ 곱은 각 ν–‰μ˜ μ›μ†Œμ™€ μ—΄μ˜ μ›μ†Œμ˜ 곱을 λ”ν•˜μ—¬ κ³„μ‚°ν•©λ‹ˆλ‹€. 이 사싀을 톡해 μœ— 연립 일차 방정식과 행렬은 κ°™μŒμ„ μ•Œ 수 μžˆμŠ΅λ‹ˆλ‹€.
μœ„ x1,x2,x3x_1, x_2, x_3λ₯Ό κ΅¬ν•˜λŠ” λ°©λ²•μ—λŠ” μ—¬λŸ¬ 방법이 μ‘΄μž¬ν•˜κ² μ§€λ§Œ, κ°€μš°μŠ€ μ†Œκ±°λ²•μ„ ν™œμš©ν•˜μ—¬ ν•΄λ₯Ό κ΅¬ν•΄λ΄…μ‹œλ‹€. μœ„μ—μ„œ 예둜 λ“  연립 일차 방정식을 Row Echelon Form으둜 λ³€ν™˜ν•©λ‹ˆλ‹€. μš°μ„ , μœ— ν–‰λ ¬ 방정식을 첨가 ν–‰λ ¬(Augmented Matrix)둜 λ‚˜νƒ€λƒ…λ‹ˆλ‹€. ν–‰λ ¬ 방정식 AX=BAX = Bλ₯Ό 첨가 행렬을 ν™œμš©ν•˜μ—¬ λ‹€μŒκ³Ό 같이 ν‘œν˜„ν•  수 μžˆμŠ΅λ‹ˆλ‹€.
A∣B=XA|B = X
μœ„μ—μ„œ 예둜 λ“  연립 일차 방정식을 첨가 ν–‰λ ¬λ‘œ λ‚˜νƒ€λ‚΄λ©΄ μ•„λž˜μ™€ κ°™μŠ΅λ‹ˆλ‹€.
[12βˆ’353βˆ’2βˆ’53βˆ’2342]=[x1x2x3]\left[\begin{array}{ccc|c} 1&2&-3&5 \\ 3&-2&-5&3 \\ -2&3&4&2 \end{array} \right] = \left[ \begin{array}{c} x_1 \\ x_2 \\ x_3 \end{array} \right]
각 행을 R1,R2,R3R_{1}, R_{2}, R_{3}둜 ν‘œν˜„ν•˜κ² μŠ΅λ‹ˆλ‹€.
[12βˆ’353βˆ’2βˆ’53βˆ’2342]:R1:R2:R3\left[\begin{array}{ccc|c} 1&2&-3&5 \\ 3&-2&-5&3 \\ -2&3&4&2 \end{array} \right]\begin{array}{c} :R_1 \\ :R_2 \\ :R_3 \end{array}
R2R_{2}행에 3R13R_{1}을 λΊ€ ν›„, -8둜 λ‚˜λˆ•λ‹ˆλ‹€. 이 과정을 톡해 R1,R2R_{1}, R_{2}에 λŒ€ν•˜μ—¬ Row Echelon Form으둜 λ§Œλ“€μ—ˆμŠ΅λ‹ˆλ‹€. λ˜ν•œ -8둜 λ‚˜λˆ”μœΌλ‘œμ¨ pivot을 1둜 λ§Œλ“€μ—ˆμŠ΅λ‹ˆλ‹€. pivot을 1둜 λ‚˜λˆˆ μ΄μœ λŠ” μ•„λž˜ ν–‰(R3R_{3})을 보닀 μ‰½κ²Œ κ³„μ‚°ν•˜κΈ° μœ„ν•¨μž…λ‹ˆλ‹€.
[12βˆ’353βˆ’2βˆ’53βˆ’2342]γ…€:βˆ’3R1γ…€\left[\begin{array}{ccc|c} 1&2&-3&5 \\ 3&-2&-5&3 \\ -2&3&4&2 \end{array} \right]\begin{array}{c} γ…€\\: -3R_1\\γ…€ \end{array}
[12βˆ’350βˆ’84βˆ’12βˆ’2342]γ…€:Γ·βˆ’8γ…€\left[\begin{array}{ccc|c} 1&2&-3&5 \\ 0&-8&4&-12 \\ -2&3&4&2 \end{array} \right]\begin{array}{c} γ…€\\: \div-8\\γ…€ \end{array}
[12βˆ’3501βˆ’1232βˆ’2342]γ…€γ…€:+2R1\left[\begin{array}{ccc|c} 1&2&-3&5 \\ 0&1&-{1\over2}&3\over2 \\ -2&3&4&2 \end{array} \right]\begin{array}{c} γ…€\\γ…€\\:+2R_1 \end{array}
R3R_{3}행에 2R12R_{1}을 λ”ν•œ ν›„, 7R27R_{2}을 λΉΌμ€λ‹ˆλ‹€.
[12βˆ’3501βˆ’123207βˆ’212]γ…€γ…€:βˆ’7R2\left[\begin{array}{ccc|c} 1&2&-3&5 \\ 0&1&-{1\over2}&3\over2 \\ 0&7&-2&12 \end{array} \right]\begin{array}{c} γ…€\\γ…€\\:-7R_2 \end{array}
[12βˆ’3501βˆ’1232003232]γ…€γ…€:Γ—23\left[\begin{array}{ccc|c} 1&2&-3&5 \\ 0&1&-{1\over2}&3\over2 \\ 0&0&3\over2&3\over2 \end{array} \right]\begin{array}{c} γ…€\\γ…€\\:\times {2\over3} \end{array}
R3R_{3}행에 232\over3λ₯Ό κ³±ν•˜μ—¬ λͺ¨λ“  pivot을 1둜 λ§Œλ“€ 수 μžˆμŠ΅λ‹ˆλ‹€.
[12βˆ’3501βˆ’12320011]\left[\begin{array}{ccc|c} 1&2&-3&5 \\ 0&1&-{1\over2}&3\over2 \\ 0&0&1&1 \end{array} \right]\begin{array}{c} \end{array}
이와 같이 λͺ¨λ“  pivot이 1인 Row Echelon Form을 Reduced Row Echelon Form라고 ν•©λ‹ˆλ‹€. μœ„ 식은 ν•­λ“± ν–‰λ ¬λ‘œ λ³€ν™˜ κ°€λŠ₯함을 μ•Œ 수 μžˆμŠ΅λ‹ˆλ‹€. 과정을 μƒλž΅ν•˜μ—¬ ν•­λ“± ν–‰λ ¬λ‘œ λ³€ν™˜ν•˜λ©΄ μ•„λž˜μ™€ κ°™μŠ΅λ‹ˆλ‹€.
[100401020011]=[x1x2x3]\left[\begin{array}{ccc|c} 1&0&0&4 \\ 0&1&0&2 \\ 0&0&1&1 \end{array} \right]\begin{array}{c} \end{array} = \left[\begin{array}{c} x_1 \\ x_2 \\ x_3 \end{array} \right]
[100010001][x1x2x3]=[421]\left[\begin{array}{ccc} 1&0&0\\0&1&0\\0&0&1 \end{array} \right]\left[\begin{array}{c} x_1\\x_2\\x_3 \end{array} \right]=\left[\begin{array}{c} 4\\2\\1 \end{array} \right]
λ”°λΌμ„œ x1=4,x2=2,x1=1x_1 = 4, x_2=2, x_1=1μž„μ„ μ•Œ 수 μžˆμŠ΅λ‹ˆλ‹€.
μΆ”κ°€λ‘œ κ°€μš°μŠ€ μ†Œκ±°λ²•μ„ ν™œμš©ν•˜μ—¬ 역행렬을 κ΅¬ν•΄λ΄…μ‹œλ‹€.
ν–‰λ ¬ AAκ°€ μžˆμŠ΅λ‹ˆλ‹€. 이 행렬은 정사각행렬이며, 역행렬이 μ‘΄μž¬ν•©λ‹ˆλ‹€. (행렬식)
A=[4012142001422204]A=\left[\begin{array}{cccc} 4&0&1&2\\1&4&2&0\\0&1&4&2\\2&2&0&4 \end{array}\right]
행렬을 μ—­ν–‰λ ¬κ³Ό κ³±ν•  경우, ν•­λ“± 행렬이 λ©λ‹ˆλ‹€.
AAβˆ’1=InAA^{-1}=I_{n}
이λ₯Ό Augmented Matrix둜 ν‘œν˜„ν•˜λ©΄ μ•„λž˜μ™€ κ°™μŠ΅λ‹ˆλ‹€.
[A∣In]=Aβˆ’1β†’[In∣Aβˆ’1]=A[A|I_{n}] = A^{-1} \rightarrow [I_{n}|A^{-1}] = A
μš°λ¦¬λŠ” μ™Όμͺ½ 방정식을 였λ₯Έμͺ½ λ°©μ •μ‹μœΌλ‘œ λ³€ν™˜ν•  κ²ƒμž…λ‹ˆλ‹€. Augmented Matrix의 μ™Όμͺ½μ˜ AAλ₯Ό κ°€μš°μŠ€ μ†Œκ±°λ²•μ„ ν™œμš©ν•˜μ—¬ ν•­λ“± ν–‰λ ¬λ‘œ λ‚˜νƒ€λƒ…λ‹ˆλ‹€. 결과적으둜 Augmented Matrix의 항등행렬은 AA의 μ—­ν–‰λ ¬λ‘œ λ³€ν™˜λ©λ‹ˆλ‹€. μœ„μ—μ„œ 연립 일차 방정식을 ν’€μ—ˆμ„ λ•Œμ™€ 같이 μš°ν•­μ€ 신경쓰지 μ•Šκ² μŠ΅λ‹ˆλ‹€. (우리의 λͺ©ν‘œλŠ” 역행렬을 κ΅¬ν•˜λŠ” κ²ƒμž…λ‹ˆλ‹€. μš°ν•­μ˜ 결과값은 처음 ν–‰λ ¬κ³Ό κ°™μŠ΅λ‹ˆλ‹€.)
μ•„λž˜ AA의 역행렬을 κ΅¬ν•œ 식이 μžˆμŠ΅λ‹ˆλ‹€.
[40121000142001000142001022040001]β†’[1000829229βˆ’329βˆ’5580100βˆ’3291358βˆ’5581111600102291581358βˆ’171160001βˆ’558βˆ’171161111657232]\left[\begin{array}{cccc|cccc} 4&0&1&2&1&0&0&0\\1&4&2&0&0&1&0&0\\0&1&4&2&0&0&1&0\\2&2&0&4&0&0&0&1 \end{array}\right]\rightarrow \left[\begin{array}{cccc|cccc} 1&0&0&0&8\over29&2\over29&-{3\over29}&-{5\over58}\\0&1&0&0&-{3\over29}&13\over58&-{5\over58}&11\over116\\0&0&1&0&2\over29&1\over58&13\over58&-{17\over116}\\0&0&0&1&-{5\over58}&-{17\over116}&11\over116&57\over232 \end{array}\right]
Made with πŸ”₯ by @siwon