공집합

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

공집합
공집합

수학에서, 공집합(空集合, empty set)은 원소가 없는 집합을 말한다. 기호로는 { }이나 Ø를 쓴다.

기호 Ø는 프랑스의 수학자이며 부르바키의 회원이었던 앙드레 베유가 문자 Ø로부터 도입하였다. 그리스 문자 Φ를 쓴 책도 있으나, 활자 문제로 비슷한 모양을 쓴 것일 뿐 실제로는 아무 관련이 없다.

, 특히 자연수를 정의할 때 공집합의 집합 관계를 이용하여 정의하는 방법이 있다. 공집합을 0, 0(공집합)을 원소로 갖는 집합을 1, 0과 1을 원소로 갖는 집합을 2, ... 이러한 방식을 사용하면 공집합으로부터 자연수를 정의할 수 있다. 이것은 무한공리에서 사용하는 방법이다.

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