모임 (집합론)

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

집합론에서, 모임(영어: class 클래스[*])은 특정한 성질을 만족하는 집합(혹은 그 외의 수학적 대상)을 모은 것이다. 모임은 지나치게 커서 집합이 아닐 수 있으며, 이렇게 집합이 아닌 모임을 고유 모임(固有모임, 영어: proper class)이라고 한다.

정의[편집]

체르멜로-프렝켈 집합론에서의 정의[편집]

모임의 정의는 표준적인 집합론(체르멜로-프렝켈 집합론의 확장)에서는 형식적으로 다룰 수 없고, 비형식적으로만 다루어진다. 이 경우, "모임"은 어떤 1변수 술어 \phi(x)와 동의이다. 술어 \phi에 대응하는 모임은 보통

\{x\colon\phi(x)\}

로 쓰며,

\phi(x)\stackrel{\text{def}}\iff x\in\{y\colon\phi(y)\}

이다. 술어 \phi(x)에 대하여, 만약

\phi(x)\iff x\in S

인 집합 S가 존재한다면, 모임 \{x\colon\phi(x)\}를 집합 S로 간주한다. 이렇게 집합으로 간주할 수 없는 모임을 고유 모임이라고 한다.

두 술어 \phi,\chi에 대하여, 만약 \phi(x)\chi(x)함의한다면, \{x\colon\phi(x)\}\{x\colon\chi(x)\}부분 모임(영어: subclass)이라고 한다.

\left(\forall x\colon\phi(x)\implies\chi(x)\right)\stackrel{\text{def}}\iff\{x\colon\phi(x)\}\subset\{x\colon\chi(x)\}

마찬가지로, 두 모임의 합모임·교모임·차모임 등을 정의할 수 있다.

모임 이론에서의 정의[편집]

폰 노이만-베르나이스-괴델 집합론이나 모스-켈리 이론 등에서는 다루는 대상이 기본적으로 집합이 아니라 모임이다. 이 경우, 이론에서 다루는 모든 대상은 모임이며, 모임 X 가운데 이를 원소로 포함하는 다른 모임이 있을 경우 집합이라고 한다.

\operatorname{Set}(X)\iff\exists Y\colon X\in Y

집합이 아닌 모임은 고유 모임이라고 한다.

기타 집합론에서의 정의[편집]

새 기초(영어: New Foundations)와 같은 이론의 경우에도 집합이 아닌 모임이 존재하나, 이 경우 집합은 고유 모임인 부분 모임을 가질 수 있다.

성질[편집]

체르멜로-프렝켈 집합론이나 폰 노이만-베르나이스-괴델 집합론, 모스-켈리 이론 등에서는 다음이 성립한다. (이들 가운데 일부는 새 기초 등에서 성립하지 않는다.) 모임 X에 대하여, 다음 조건들이 동치이다.

  • X집합이다.
  • X의 모든 부분 모임은 집합이다.
  • X를 원소로 하는 모임이 존재한다.
  • X를 원소로 하는 집합이 존재한다.
  • X를 원소로 하는 고유 모임이 존재한다.

폰 노이만-베르나이스-괴델 집합론, 모스-켈리 이론 등, 대역적 선택 공리(영어: axiom of global choice)를 포함하는 이론에서는 다음 조건들이 위 조건들과 추가로 동치이다.

[편집]

모든 집합은 모임이다. 고유 모임의 예로는 다음을 들 수 있다. 이들 가운데 여럿의 경우, 이들이 집합이 아니라는 정리는 역설로 불린다. 이는 집합론의 초기에는 집합과 고유 모임의 차이가 명확하지 않았기 때문에 이들이 모순적으로 여겨졌기 때문이다.

바깥 고리[편집]