logo

행렬 랭크의 준가법성 증명 rank(A+B) ≤ rankA + rankB 📂행렬대수

행렬 랭크의 준가법성 증명 rank(A+B) ≤ rankA + rankB

정리

행렬랭크준가법성을 가진다. 다시 말해, 두 행렬 A,BA, B 에 대해 다음이 성립한다. rank(A+B)rankA+rankB \rank \left( A + B \right) \le \rank A + \rank B

설명

이 정리는 코크란 정리의 증명에서 쓰인다.

증명 1

행공간, 열공간, 영공간에 대한 기저: (a1) 행동등인 두 행렬은 행공간이 같다. 다시 말해 기본 행 연산은 행공간을 바꾸지 않는다. (b1) 행동등인 두 행렬은 영공간이 같다. 다시 말해 기본 행 연산은 영공간을 바꾸지 않는다.

AA 'BB ' 이 각각 가우스소거법을 통해서 얻은 AABB기약 행사다리꼴이라 하자. AA 'rankA\rank A 개의 00 이 아닌 행벡터를 가지고, BB 'rankB\rank B 개의 00 이 아닌 행벡터를 가지므로 A+BA ' + B ' 는 많아도 rankA\rank A 혹은 rankB\rank B 개의 00 이 아닌 행벡터를 가진다. 가우스 소거법은 기본 행연산으로만 이루어지므로, A+BA + BA+BA ' + B ' 와 행동등이고 그 랭크는 다음의 부등식을 만족한다. rank(A+B)=rank{A+B}=max(rankA,rankB)rankA+rankB \begin{align*} & \rank \left( A + B \right) \\ =& \rank \left\{ A ' + B ' \right\} \\ =& \max \left( \rank A , \rank B \right) \\ \le & \rank A + \rank B \end{align*}


  1. user99680, Show rank(A)+rank(B)rank(A+B)\operatorname{rank}(A) + \operatorname{rank}(B) \ge \operatorname{rank}(A+B), URL (version: 2014-06-29): https://math.stackexchange.com/q/851605 ↩︎