추천글 : 【선형대수학】 선형대수학 목차
1. 명제 [본문]
2. 증명 [본문]
1. 명제 [목차]
l × m 행렬 A와 m × n 행렬 B에 대하여, rank (AB) ≤ min {rank (A), rank (B)} 가 성립한다.
2. 증명 [목차]
⑴ 계수정리 : 임의의 행렬의 열 벡터들의 계수(rank)와 행 벡터들의 계수(rank)는 같다.
⑵ lemma 1. rank (AB) ≤ rank (B)
AB = A(B1, ···, Bn) = (AB1, ···, ABn)
Bi1, Bi2, ···, Bik (단, k = rank(B))가 일차독립이라고 하자.
그러면 Bt, t ≠ i1, ···, ik는 Bi1, Bi2, ···, Bik의 일차결합으로 표현된다.
즉, Bt = x1 Bi1 + ··· + xk Bik인 (x1, ···, xk)가 존재한다.
이때 ABt = A(x1 Bi1 + ··· + xk Bik) = x1 ABi1 + ··· + xk ABik으로 표현된다.
그런데 ABi1, ABi2, ···, ABik (단, k = rank(B))에서 어떤 열벡터가 다른 k-1개의 벡터들의 일차결합으로 표현될 수는 있다.
즉, rank (AB) < rank (B)일 수도 있다는 것.
따라서 rank (AB) ≤ rank (B)가 성립한다.
⑶ lemma 2. rank (AB) ≤ rank (A)
전치행렬에 관한 두 명제를 이용하자.
○ (AB)T = BTAT
○ rank (XT) = rank (X)
lemma 1에서 rank (AB) ≤ rank (B)임을 밝혔으므로,
rank (AB) = rank ((AB)T) = rank (BTAT) ≤ rank (AT) = rank (A)
⑷ lemma 1와 lemma 2에 의해 rank (AB) ≤ min {rank (A), rank (B)}가 성립한다.
입력: 2015.08.27 10:06
수정: 2022.04.28 16:51
'▶ 자연과학 > ▷ 대수학' 카테고리의 다른 글
【대수학】 3항 점화식 (2) | 2016.06.26 |
---|---|
【선형대수학】 6강. 선형대수학과 머신러닝 (0) | 2016.06.25 |
【선형대수학】 프로베니우스 rank 부등식 (Frobenius' Inequality) (1) | 2016.06.24 |
【선형대수학】 rank-nullity theorem (0) | 2016.06.24 |
【선형대수학】 최소다항식과 기약다항식 (0) | 2016.06.24 |
최근댓글