가산 집합

위키백과 ― 우리 모두의 백과사전.

가산 집합(可算集合)이란 유한집합이나, 자연수집합일대일 대응이 가능한 무한집합을 말한다. 가산집합이 아닌 집합을 비가산 집합(非可算集合)이라 한다.

자연수, 정수, 유리수의 집합은 가산집합이다. 그러나 실수의 집합은 비가산집합이다. 이 사실은 게오르크 칸토어가 고안한 대각선 논법으로 증명할 수 있다.

이 문서는 수학에 관한 토막글입니다. 서로의 지식을 모아 알차게 문서를 완성해 갑시다.