실수와 복소수 사이의 이상한 관계
집합론을 배우면서 접하게 되는 (직관에 반하는) 정리 중의 하나는, 은 의 진부분집합(proper subset)임에도 불구하고, 과 의 기수(cardinality)가 같다는 사실이다. 따라서 집합론적인 관점에서는 과 를 같은 집합, 즉 동형(isomorphic)이라고 보아도 크게 문제가 없다. 하지만 이 두 집합 과 에 대수적 구조를 부여하게 되면 여러가지 재미있는 상황이 발생하게 되는데, 이번 글에서는 이를 정리해 보고자 한다. 단, 앞으로의 논의는 모두 선택공리(axiom of choice)를 전제하고 있다고 가정하자. 정리 1. 과 를 각각 -벡터공간(-vector space)으로 보았을 때, 이 둘은 동형이다. ..