전체집합은 수학·논리학에서 사용되는 개념으로, 논의 중인 범위 내의 모든 원소를 포함하는 집합을 의미한다. 일반적으로 기호 U, 𝕌, 혹은 𝕊 등으로 표기한다. 전체집합은 특정 논의나 문제에서 고려되는 대상 전체를 정의함으로써, 그 하위 집합들의 관계를 명확히 설명할 수 있게 한다.
정의
- 전체집합 (Universal Set): 주어진 상황이나 이론적 틀에서 “전체”라 규정된 원소들의 집합으로, 모든 다른 집합은 이 전체집합의 부분집합이 된다.
- 전체집합은 상황에 따라 달라지며, 예를 들어 확률론에서는 표본공간, 논리학에서는 논증의 전제들, 컴퓨터 과학에서는 데이터베이스에서 정의된 도메인 등을 전체집합으로 취한다.
형식적 성질
- 포함 관계: 임의의 집합 A에 대해 A ⊆ U가 성립한다.
- 보수 연산: 집합 A의 여집합(보수)은 U \ A 로 정의된다.
- 교집합·합집합:
- A ∩ U = A
- A ∪ U = U
이론적 한계
- 정형 집합론(ZFC)에서는 전체집합이 존재하지 않는다. 러셀의 역설을 피하기 위해, 모든 집합을 포함하는 단일 집합은 정의되지 않는다. 따라서 전체집합은 비공식적인(naive) 집합론이나 특정한 논의 범위를 고정한 상황에서만 사용된다.
- 이러한 제한에도 불구하고, 교과서·교육 현장·응용 분야에서는 전체집합 개념을 도입하여 집합 연산을 직관적으로 설명한다.
어원 및 언어적 분석
- 전체(全體): ‘전부’, ‘전체’를 의미하는 한자어.
- 집합(集合): ‘모으다’·‘합치다’를 뜻하는 한자어이며, 수학에서는 원소들의 모임을 가리킨다.
- 따라서 “전체집합”은 ‘모든 원소를 포함하는 집합’이라는 의미를 직접적으로 나타낸다.
사용 예시
- 확률론: 표본공간 Ω는 실험에서 발생할 수 있는 모든 사건을 포함하는 전체집합으로 간주된다.
- 논리·명제론: 명제 변수들의 가능한 값 전체를 정의하는 도메인이 전체집합이 된다.
- 데이터베이스: 특정 컬럼이 가질 수 있는 모든 값들의 집합을 도메인이라 하며, 이는 해당 컬럼에 대한 전체집합에 해당한다.
참고 사항
- 전체집합은 개념적으로 명확하지만, 형식적 집합론에서는 존재하지 않음이 학술적으로 인정된다. 따라서 전체집합을 사용할 때는 논의의 전제가 명시된 상황인지 확인하는 것이 필요하다.
