성립할것 같으나 그렇지 않은...

finite dimensional vector space V가 와 subspace A, B가 잇다고 해보자

그러면 가 성립함을 안다.

포함배제 원리와 상당히 비슷하고 실제 증명도 여기에 선형대수학적 해석을 추가하면 된다.

그렇다면 subspace가 세개, A, B, C가 잇을 땐 어떨까?

정말로 성립할 것 같으나(아님말고...) 성립하지 않을수 잇다...

직접 한번 반례를 구성해보시길...

A,B만 잇을때의 dimension counting에 대한 정리를 보다 더 잘 이해할 수 잇을 것이다.