유한 집합

위키백과, 우리 모두의 백과사전.
(유한집합에서 넘어옴)
이동: 둘러보기, 검색

수학에서, 유한 집합(有限集合, 영어: finite set)이란 집합원소의 개수가 한정되어 원소의 개수가 무한개가 아닌 집합을 의미한다.

정의[편집]

선택 공리를 추가한 체르멜로-프렝켈 집합론에서는 집합 S에 대하여 다음 조건들이 서로 동치이며, 이를 만족시키는 집합을 유한 집합이라고 한다.

만약 선택 공리를 가정하지 않으면, 이 조건들 가운데 일부는 동치이지 않을 수 있다.

[편집]

공집합은 유한 집합이다. 모든 자연수는 (폰 노이만 정의에 따르면) 유한 집합이다.

바깥 고리[편집]

같이 보기[편집]