2.3 Inverse of Matrix (3)

Jaehyun_onelion·2023년 3월 17일
0

선형대수학

목록 보기
12/42

이번 포스트에서는 invertible matrix가 가지는 성질을 정리한 invertible matrix theorem에 대해 알아보겠습니다.


1) Invertible Matrix Theorem


Let AA be a square n×nn \times n matrix. Then the following statements are equivalent. That is, for given AA, the statements are either all true or all false

a. AA is an invertible matrix

b. AA is row equivalent to the $n \times n $ identity matrix

c. AA has nn pivot positions

d. The equation Ax=0A\boldsymbol{x}=\boldsymbol{0} has only the trivial solution

e. The columns of AA form a linearly independent set

f. The columns of AA span Rn\mathbb{R}^n

g. There is an n×nn \times n matrix CC such taht CA=ICA=I

h. There is an n×nn \times n matrix DD such that AD=IAD=I

i. The equation Ax=0A\boldsymbol{x}=\boldsymbol{0} has at least one solution for each b\boldsymbol{b} in Rn\mathbb{R}^n

j. ATA^T is an invertible matrix

위의 10가지 명제는 동치입니다. a.번을 보면 AA가 invertible matrix이므로, invertible matrix AA는 다음 9가지의 성질을 가집니다. invertible matrix theorem은 앞으로 새로운 개념을 배울 때마다 추가될 예정입니다.


  • Proof

(1) a \Rightarrow g \Rightarrow d \Rightarrow c \Rightarrow b \Rightarrow a


  • a \Rightarrow g

invertible matrix의 정의에 의해서 CA=ICA=I를 만족하는 CC가 존재합니다. (C=A1C=A^{-1}가 됩니다.)


  • g \Rightarrow d

Ax=0A\boldsymbol{x}=\boldsymbol{0}에서 양변의 왼쪽에 CC를 곱해주면

CAx=Ix=x=C0=0CA\boldsymbol{x}=I\boldsymbol{x}=\boldsymbol{x}=C\boldsymbol{0}=\boldsymbol{0}

가 되어 trivial solution만을 가집니다.


  • d \Rightarrow c

Ax=0A\boldsymbol{x}=\boldsymbol{0}가 trivial solution을 가진다는 것은, 이 matrix equation과 동일한 solution을 가지는 linear system의 augmented matrix

[A0]\begin{bmatrix}A & \boldsymbol{0} \end{bmatrix}

를 풀었을 때, free variable이 존재하지 않습니다. 따라서 AA의 모든 column이 pivot column이 되고, pivot position 개수는 nn개입니다.


  • c \Rightarrow b

n×nn \times n matrix AA의 pivot column 개수가 nn개이므로, AA의 reduced echelon form의 leading entry 개수가 nn개입니다. 따라서

AIA \sim I

를 만족합니다.


  • b \Rightarrow a

저번 포스트의 Theorem에 의해 성립합니다.


(2) h \Rightarrow i \Rightarrow c \Rightarrow b \Rightarrow a \Rightarrow h


  • h \Rightarrow i

AD=IAD=I이므로, Ax=bA\boldsymbol{x}=\boldsymbol{b}는 다음과 같이 표현할 수 있습니다.

Ax=Ib=ADbA\boldsymbol{x}=I\boldsymbol{b} = AD\boldsymbol{b}

따라서 x=Db\boldsymbol{x}=D\boldsymbol{b}은 위 equation의 solution이 됩니다. 이는 모든 bRn\boldsymbol{b}\in\mathbb{R}^n에 대해 성립합니다.


  • i \Rightarrow c

Ax=bA\boldsymbol{x}=\boldsymbol{b}가 모든 bRn\boldsymbol{b}\in\mathbb{R}^n에 대해 solution이 존재하려면, 다음의 matrix equation과 동일한 solution을 가지는 linear system의 augmented matrix

[Ab]\begin{bmatrix}A & \boldsymbol{b} \end{bmatrix}

가 모든 bRn\boldsymbol{b}\in\mathbb{R}^n에 대해서 solution이 존재해야 합니다. 즉, 임의의 b\boldsymbol{b}에 대해서 solution이 존재해야 하기 때문에, AA의 reduced echelon form에 zero row가 존재하면 안됩니다. 따라서 AAnn개의 pivot position을 가집니다.


  • c \Rightarrow b \Rightarrow a

(1)에서 증명


  • a \Rightarrow h

Invertible matrix 정의에 의해 AD=IAD=I를 만족하는 DD가 존재합니다. (D=A1D=A^{-1})


(3) d \Leftrightarrow e

Linear independence 정의에 의해 d와 e는 동치입니다.(d가 e의 정의입니다.)


(4) i \Leftrightarrow f

Ax=bA\boldsymbol{x}=\boldsymbol{b} 에서 AxA\boldsymbol{x}

Ax=x1a1+...+xnanA\boldsymbol{x} = x_1\boldsymbol{a_1}+...+x_n\boldsymbol{a_n}

AA의 column들의 linear combination으로 표현됩니다.

모든 bRn\boldsymbol{b} \in\mathbb{R}^n에 대해서 Ax=bA\boldsymbol{x}=\boldsymbol{b} 의 solution이 존재한다는 것은 모든 b\boldsymbol{b}AA의 columns의 linear combination으로 표현되는 것을 뜻합니다. 즉

bSpan{a1,a2,...,an}\boldsymbol{b} \in Span\{\boldsymbol{a_1}, \boldsymbol{a_2}, ..., \boldsymbol{a_n}\}

을 만족합니다. 따라서

RnSpan{a1,a2,...,an}\mathbb{R}^n \subset Span\{\boldsymbol{a_1}, \boldsymbol{a_2}, ..., \boldsymbol{a_n}\}

을 만족합니다. 또한, a1,a2,...,an\boldsymbol{a_1}, \boldsymbol{a_2}, ..., \boldsymbol{a_n}은 모두 Rn\mathbb{R}^n의 원소이므로, 이들의 linear combination 역시 Rn\mathbb{R}^n의 원소입니다.

RnSpan{a1,a2,...,an}\mathbb{R}^n \supset Span\{\boldsymbol{a_1}, \boldsymbol{a_2}, ..., \boldsymbol{a_n}\}

이므로

Rn=Span{a1,a2,...,an}\mathbb{R}^n = Span\{\boldsymbol{a_1}, \boldsymbol{a_2}, ..., \boldsymbol{a_n}\}

을 만족합니다.


(5) a \Leftrightarrow j

inverse의 성질 중, AA가 invertible하면 (AT)1=(A1)T(A^T)^{-1}=(A^{-1})^T임을 만족합니다. 즉 ATA^T 또한 invertible합니다.


지금까지 Invertible Matrix Theorem에 대해서 알아보았습니다. 다음 포스트에서는 Partitioned matrix에 대해 알아보겠습니다. 질문이나 오류 있으면 댓글 남겨주세요! 감사합니다!

profile
데이터 분석가 새싹

0개의 댓글