집합족

수학에서 집합족(集合族, )은 집합들을 원소로 하여 구성된 집합이다.

정의 
집합  속의 집합족은 의 (일부 또는 전체) 부분 집합들로 이루어진 집합을 뜻한다. 즉, 집합  속의 집합족은 의 멱집합 의 부분 집합 을 뜻한다.

종류 
집합  속의 집합족 에 대하여, 다음과 같은 성질들을 정의할 수 있다.
 집합 반환(集合半環, ): 이며, 유한 교집합에 대하여 닫혀 있으며, 임의의 에 대하여, 인 유한 개의 서로소 집합 가 존재한다.
 집합환(集合環, ): 이며, 유한 합집합, 유한 교집합, 차집합에 대하여 닫혀 있다.
 σ환(-環, ): 는 집합환이며, 가산 합집합에 대하여 닫혀 있다.
 δ환(-環, ): 는 집합환이며, 가산 교집합에 대하여 닫혀 있다.
 집합 반대수(集合半代數, ): 는 집합 반환이며, 이다.
 집합 대수(集合代數, ) 또는 집합체(集合體, ): 는 집합환이며, 이다. 즉, 는 의 부분 불 대수를 이룬다.
 시그마 대수(σ代數, ): 는 σ환이자 δ환이며, 이다.
 π계(-系, ): 는 유한 교집합에 대하여 닫혀 있다.
 λ계(-系, ): 이며, 여집합에 대하여 닫혀 있으며, 가산 개의 서로소 집합들의 합집합에 대하여 닫혀 있다. 이와 동치로, 이며, 만약 이며 라면 이며, 만약 이며 라면 이다.
 단조류(單調類, ): 만약 이며 라면 이며, 만약 이며 라면 이다.

성질

함의 관계 
다음과 같은 함의 관계가 성립한다.
{| style="text-align: center"
| π계 || ⇐ ||  집합 반환  || ⇐ ||  집합환   || ⇐ || σ환 또는 δ환
|-
|      ||    ||             ||    ||           ||    ||       ⇑
|-
|      ||    ||      ⇑      ||    ||     ⇑     ||    ||  σ환 + δ환 || ⇒ || 단조류
|-
|      ||    ||             ||    ||           ||    ||       ⇑      ||    ||   ⇑
|-
|      ||    || 집합 반대수 || ⇐ || 집합 대수 || ⇐ ||   시그마 대수 || ⇒ ||  λ계
|}

또한, 다음이 성립한다.
시그마 대수 ⇔ 집합 대수 + σ환 ⇔ 집합 대수 + δ환 ⇔ π계 + λ계 ⇔ 집합 대수 + 단조류

집합족으로 생성된 집합환 
임의의 유한 또는 무한 개의 집합환, σ환, δ환, 집합 대수, 시그마 대수, π계, λ계, 단조류의 교집합은 각각 집합환, σ환, δ환, 집합 대수, 시그마 대수, π계, λ계, 단조류이다. 따라서, 임의의 집합  속의 집합족 에 대하여, 를 포함하는 최소의 집합환, σ환, δ환, 집합 대수, 시그마 대수, π계, λ계, 단조류가 존재하며, 이는 각각 를 포함하는 모든 집합환, σ환, δ환, 집합 대수, 시그마 대수, π계, λ계, 단조류의 교집합과 같다. 이를 각각 로 생성된 집합환, σ환, δ환, 집합 대수, 시그마 대수, π계, λ계, 단조류라고 한다.

집합  속의 집합족 으로 생성된 집합 대수는

이다.

반면, 로 생성된 시그마 대수 는 명시적으로 나타낼 수 없다.

집합  속의 집합 반환 으로 생성된 집합환 은  속 유한 개의 서로소 집합들의 합집합으로 구성된다. 만약 가 집합 반대수라면, 는 집합 대수이다.

우선

라고 하고, 임을 보이자. 자명하게 이므로, 가 집합환을 이룸을 보이면 된다. 자명하게 이며, 특히 이다. 또한 는 유한 합집합에 대하여 닫혀 있다. 따라서 임의의 에 대하여 임을 보이면 된다.

인 유한 서로소 집합 을 취하고, 임의의  및 에 대하여

인 유한 서로소 집합 을 취하자. 그렇다면

이다. 임의의

에 대하여,

이므로, 이다.

이제,  속 모든 원소 이  속 서로소 원소의 유한 합집합임을 보이자.

인 유한 개의 서로소 원소 을 취하고, 임의의 에 대하여

인 유한 개의 서로소 원소 을 취하자. 그렇다면

이며,

는 모두 서로소 집합족이므로,

역시 서로소 집합족이다.

딘킨 π-λ 정리(-定理, )에 따르면, 임의의 π계  및 λ계 에 대하여, 만약 라면, 이다. 단조류 정리(單調類定理, )에 따르면, 임의의 집합 대수  및 단조류 에 대하여, 만약 이라면, 이다.

예 
집합 은 모든 원소가 집합이므로 집합족이다. 선택 공리를 추가한 체르멜로-프렝켈 집합론과 같은 순수 집합론의 경우, 논의 영역 속 모든 대상이 집합이므로, 집합족인 집합과 아닌 집합의 구분이 없다.

임의의 집합 에 대하여, 공집합 과 의 멱집합 은  속의 집합족이다.

실수 구간 의 부분 구간들의 집합족은  속의 집합 반대수를 이루며, 이는 집합 대수가 아니다. 실수선  속의 유계 집합들의 집합족은  속의 δ환이지만, 집합 대수나 σ환이 아니다.

같이 보기 
 슈페르너 족
 슈페르너 정리
 헬리 족
 헬리 정리

각주