공집합: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
잔글편집 요약 없음
편집 요약 없음
5번째 줄:
기호 <math>\emptyset</math>는 프랑스의 수학자이며 [[니콜라 부르바키]]의 회원이었던 [[앙드레 베유]]가 문자 [[Ø]]로부터 도입하였다. 그리스 문자 <math>\phi</math>를 쓴 책도 있으나, 활자 문제로 비슷한 모양을 쓴 것일 뿐 실제로는 아무 관련이 없다.
 
[[수 (수학)|수]], 특히 [[자연수]]를 정의할 때 공집합의 집합 관계를 이용하여 정의하는 방법이 있다. <math>0:=\emptyset, \ 1:=\{\emptyset\}, \ 2:=\{\emptyset, \{\emptyset\}\}, \ \cdots</math> 이러한 방식을 사용하면 공집합으로부터 자연수를 정의할 수 있다. 이것은 [[무한공리무한 공리]]에서 사용하는 방법이다.
 
==성질==
31번째 줄:
* 공집합의 원소의 개수는 0이다. 즉, 공집합의 [[기수 (수학)|기수]]가 0 이다. 공집합은 유한집합이다.
:<math>\mathrm{card}(\emptyset)= 0</math>
 
== 바깥 고리 ==
* {{eom|title=Empty set}}
* {{매스월드|id=EmptySet|title=Empty set}}
* {{웹 인용|url=http://ncatlab.org/nlab/show/empty+set|제목=Empty set|작품명=nLab|언어고리=en}}
 
{{토막글|수학}}