1. 정칙행렬, 역행렬
(1) 정의
n차 정방행렬 A와 행렬 B가 AB=BA=In 을 만족할 때,
- A →
정칙행렬(nonsingular matrix), 역연산이 가능한 행렬(invertible matrix)
- B → A의
역행렬(inverse matrix)이며, B=A−1로 나타냄
⇒ 정칙행렬 A × A의 역원 = 단위행렬 I ⇒AA−1=In
< 정칙행렬의 유일성 >
A가 정칙행렬이면, A−1은 유일함
< 정칙행렬의 거듭제곱 >
(행렬의 거듭제곱 공식을 음수까지 확장)
정칙행렬 A와 임의의 자연수 n에 대해 A−n=(A−1)n 으로 정의한다면, 임의의 정수 r과 s에 대해서도 성립함
🔍 정칙행렬의 성질
n차 정칙행렬 A와 B에 대해 다음이 성립됨
- A−1도 정칙행렬이며, (A−1)−1=A 이다.
→AA−1=A−1A=In
- AB도 정칙행렬이며, (AB)−1=B−1A−1 이다.
→(AB)(B−1A−1)=A(In)A−1=In
- cA도 정칙행렬이며, (cA)−1=c−1A−1=c1A−1 이다. (c=0)
- AT도 정칙행렬이며, (AT)−1=(A−1)T 이다.
→AT(A−1)T=(A−1A)T=(In)T=In
⇒ 정칙행렬와 역행렬에 대한 행렬의 합은 성립되지 않음
⇒ 두번째 정리의 따름정리 : (A1A2⋯Am)−1=Am−1Am−1−1⋯A2−1A1−1
2. 역행렬 구하기
(1) 2차 정방행렬의 역행렬 공식
A=(acbd),A−1=(xzyw) 이라면,
AA−1=(acbd)(xzyw)=(ax+bzcx+dzay+bwcy+dw)=(1001)
→ 두 개의 일차연립방정식
{ax+bz=1cx+dz=0,{ay+bw=0cy+dw=1
을 각각 x,z와 y,w에 관해 풀면,
ⅰ ) ad−bc=0 일 경우, 역행렬을 구할 수 없게 됨
ⅱ) ad−bc=0 일 경우,
x=ad−bcd,y=ad−bc−b,z=ad−bc−c,w=ad−bca
⇒a−1=ad−bc1(d−c−ba)
(2) n차 정방행렬 역행렬 공식
1) 기본행렬
n차 단위행렬 In에 기본행연산을 한 번만 적용하여 얻는 행렬을 기본행렬(elementary matrix) E 으로 정의함
< 각 기본행연산에 대응하는 기본행렬 표시 >
- Ri,j→Ei,j
- Ri(c)→Ei(c)
- Ri,j(c)→Ei,j(c)
🔍 기본행연산과 기본행렬의 관계
A와 B가 n×p 행렬일 때, 다음이 성립됨
- A에 기본행연산 R을 적용한 결과는 EA
(행렬 E는 n차 단위행렬에 동일한 기본행연산 R을 적용하여 얻은 기본행렬)
- A와 B가 행상등할 경우,
유한 개의 기본행렬 E1,E2,⋯,Ek가 존재하여, A=E1E2⋯EkB 를 만족함
🔍 기본행렬의 성질
기본행렬은 정칙행렬이며, 기본행렬의 역행렬은 동일한 종류(3가지 중 하나)의 기본행렬
- Ei,jEi,j=I→(Ei,j)−1=Ei,j
- Ei(c)Ei(c1)=I→(Ei(c))−1=Ei(c−1)
- Ei,j(c)Ei,j(−c)=I→(Ei,j(c))−1=Ei,j(−c)
< 정칙행렬과 영행(영렬) >
A가 n차 정칙행렬이라면, A에는 영행이나 영렬이 없음
🔍 "A는 n차 정방행렬"과 동치인 성질 ①②③
① A는 정칙행렬
② A와 I는 행상등
③ A는 유한 개의 n차 기본행렬들의 곱
(뒤에 ④, ⑤번 나옴)
2) n차 정방행렬 역행렬 알고리즘
n차 정방행렬 A,B,C에 대해, (A∣In)과 소거행제형 행렬(B∣C)가 행상등하면 다음이 성립됨
- B가 영행을 포함하면, A는 정칙행렬이 아님
- B=In이면, A는 정칙행렬이고 C=a−1 이 됨
< A−1 을 구하는 방법 >
입력 : n차 정방행렬 A
↓
- 단계 1
n×2n 확대행렬 (A∣In)을 구성
↓
- 단계 2
(A∣In)에 기본행연산을 적용하여 소거행제형 행렬 (B∣C) 생성
↓
- 단계 3
- B=In일 경우,
출력 : C=a−1
- B=In일 경우,
출력 : "A−1 은 존재하지 않음"
3. 일차연립방정식과 역행렬
(1) 일차연립방정식 AX=B의 해
행렬 M의 위수(rank) : 행렬 M에 기본행연산을 적용하여 행제형 행렬 R로 만들었을 때, R의 영행이 아닌 행의 수
방정식이 m개, 미지수가 n개인 일차연립방정식 AX=B
⎝⎜⎜⎜⎜⎛a11a21⋮am1a12a22⋮am2⋯⋯⋮⋯a1na2n⋮amn⎠⎟⎟⎟⎟⎞⎝⎜⎜⎜⎜⎛x1x2⋮xn⎠⎟⎟⎟⎟⎞=⎝⎜⎜⎜⎜⎛b1b2⋮bm⎠⎟⎟⎟⎟⎞
와 확대행렬 (A∣B)에 대해 다음이 성립함
- A의 위수와 (A∣B)의 위수가 같기 위한 필요충분조건은 연립방정식이 해를 갖는 것
- A와 (A∣B)의 위수가 미지수의 개수 n과 같기 위한 필요충분조건은 연립방정식이 유일한 해를 갖는 것
(2) 정칙행렬과 일차연립방정식
1) AX=B의 근을 구하는 알고리즘
< 가우스-조르단 소거법 >
- (A∣B)
↓ Rk : 기본행연산 k번 실행
- (EkA∣EkB)
↓ Rk−1
⋮
↓ R2
- (E2⋯EkA∣E2⋯EkB)
↓ R1
- (E1E2⋯EkA∣E1E2⋯EkB)
=(In∣A−1B)
⇒ A−1B=X이기 때문에 미지수 X 를 구할 수 있음
⇒ 1. (2) 2) 에서 역행렬을 구하는 알고리즘의 단계 2와 똑같은 방식
🔍 일차연립방정식과 행렬의 성질
a=0이면, 일차방정식 ax=b는 유일한 해 x=a−1b를 가짐
↓
A가 n차 정칙행렬이면, 임의의 n×1 행렬 B에 대해 AX=B는 유일한 해 X=a−1B 를 가짐
↓
A는 정칙행렬이다 ↔︎ 행렬식 ∣A∣=0
< 동차연립방정식 >
n차 정방행렬 A가 In과 행상등하기 위한(행렬 A가 정칙행렬이기 위한) 필요충분조건은
동차연립방정식 AX=O 이 오직 자명한 해(X=O)만을 갖는 것
🔍 "A는 n차 정방행렬"과 동치인 성질 ④⑤
④ AX=O 는 오직 자명한 해만을 가짐
⑤ n×1 행렬 B 각각에 대해 AX=B는 유일한 해를 가짐
+
⑥ ∣A∣=0 [행렬식]
▷ 손진곤·강태원, 『선형대수』, 한국방송통신대학교출판문화원, 2015