편집을 취소할 수 있습니다. 이 편집을 되돌리려면 아래의 바뀐 내용을 확인한 후 게시해주세요.
최신판 | 당신의 편집 | ||
1번째 줄: | 1번째 줄: | ||
[[분류:집합론]] | |||
[[파일:ZFC.jpg|200px|섬네일|{{ㅊ|사실 치킨집이다.}}]] | [[파일:ZFC.jpg|200px|섬네일|{{ㅊ|사실 치킨집이다.}}]] | ||
[[수학]]에서, '''체르멜로-프렝켈 집합론'''('''Z'''ermelo-'''F'''raekel set theory, ZF)과 '''선택 공리를 포함하는 체르멜로-프렝켈 집합론'''('''ZF''' with the axiom of '''C'''hoice, ZFC)은 가장 보편적인 [[공리적 집합론]]의 일종으로, 표준적인 [[수학기초론]]으로 사용된다. ZF(C)에서 몇 개의 공리<ref>정칙성 공리, 치환 공리꼴, (선택 공리)</ref>를 제외한 것을 '''체르멜로 집합론'''(Zermelo set theory, Z)이라고 한다. | [[수학]]에서, '''체르멜로-프렝켈 집합론'''('''Z'''ermelo-'''F'''raekel set theory, ZF)과 '''선택 공리를 포함하는 체르멜로-프렝켈 집합론'''('''ZF''' with the axiom of '''C'''hoice, ZFC)은 가장 보편적인 [[공리적 집합론]]의 일종으로, 표준적인 [[수학기초론]]으로 사용된다. ZF(C)에서 몇 개의 공리<ref>정칙성 공리, 치환 공리꼴, (선택 공리)</ref>를 제외한 것을 '''체르멜로 집합론'''(Zermelo set theory, Z)이라고 한다. | ||
== 진술 == | == 진술 == | ||
9번째 줄: | 12번째 줄: | ||
* '''짝 공리'''(axiom of pairing) | * '''짝 공리'''(axiom of pairing) | ||
*: 어떤 두 집합을 원소로서 가지는 집합이 존재한다는 공리이다. 더욱 특정하게, 그 두 집합'''만'''을 원소로 하는 집합이 존재한다고도 한다. 여기에서 [[순서쌍]]의 존재성이 증명될 수 있다. | *: 어떤 두 집합을 원소로서 가지는 집합이 존재한다는 공리이다. 더욱 특정하게, 그 두 집합'''만'''을 원소로 하는 집합이 존재한다고도 한다. 여기에서 [[순서쌍]]의 존재성이 증명될 수 있다. | ||
*: <math>\forall x \forall y \exists A \forall z[z\in A \Longleftrightarrow (z=x \lor z=y)].</math> | *: <math>\forall x \forall y \exists A \forall z[z\in A \Longleftrightarrow (z=x \lor z=y)].</math> | ||
26번째 줄: | 29번째 줄: | ||
* '''무한 공리'''(axiom of infinity) | * '''무한 공리'''(axiom of infinity) | ||
*: 공집합을 포함하며, 어떤 원소의 (transitive하게 정의되는) successor 역시 원소로 가지는 집합이 존재한다. | *: 공집합을 포함하며, 어떤 원소의 (transitive하게 정의되는) successor 역시 원소로 가지는 집합이 존재한다. | ||
*: <math>\exists I [\emptyset \in I \wedge (x\in I \Rightarrow x^+\in I)], \quad \text{where } x^+:=x\cup \{x\}.</math> | *: <math>\exists I [\emptyset \in I \wedge (x\in I \Rightarrow x^+\in I)], \quad \text{where } x^+:=x\cup \{x\}.</math> | ||
** 무한공리는 ZFC의 다른 공리들과 독립적이며, ZF의 다른 공리들을 가정하면 다음 명제들과 동치이다: | ** 무한공리는 ZFC의 다른 공리들과 독립적이며, ZF의 다른 공리들을 가정하면 다음 명제들과 동치이다: | ||
45번째 줄: | 48번째 줄: | ||
*: 혹은 <math>\forall x[x\ne \emptyset \Longrightarrow \exists y \in x \forall z(z\in x \Rightarrow z \notin y)].</math> | *: 혹은 <math>\forall x[x\ne \emptyset \Longrightarrow \exists y \in x \forall z(z\in x \Rightarrow z \notin y)].</math> | ||
** 참고로, 정칙성 공리는 '''ZFC''' 중 가장 {{--|쓸데없는}}존재 이유를 알기 힘든 공리로 꼽히는데, 왜냐하면 무언가를 증명할 때에 이 공리가 쓰이는 일이 거의 없기 때문이다. 하지만 이 공리로 다음과 같은 것들을 보일 수 있다: | ** 참고로, 정칙성 공리는 '''ZFC''' 중 가장 {{--|쓸데없는}}존재 이유를 알기 힘든 공리로 꼽히는데, 왜냐하면 무언가를 증명할 때에 이 공리가 쓰이는 일이 거의 없기 때문이다. 하지만 이 공리로 다음과 같은 것들을 보일 수 있다: | ||
** 정칙성 공리로 무한한 감소 집합렬, 즉 <math>A_0 \ni A_1 \ni \cdots</math>를 만족하는 집합렬 <math>\{ A_n \}_{n\in\mathbb N}</math>은 존재하지 않음을 보일 수 있다. 만약 [[종속 선택 공리|DC]]를 가정하면 반대로 이 명제에서 정칙성을 이끌어낼 수도 있다. | ** 정칙성 공리로 무한한 감소 집합렬, 즉 <math>A_0 \ni A_1 \ni \cdots</math>를 만족하는 집합렬 <math>\{ A_n \}_{n\in\mathbb N}</math>은 존재하지 않음을 보일 수 있다. 만약 [[종속 선택 공리|DC]]를 가정하면 반대로 이 명제에서 정칙성을 이끌어낼 수도 있다. | ||
** 정칙성 공리를 가정하면 [[폰 노이만 우주|von Neumann universe]]와 모든 집합들의 class가 같다. | ** 정칙성 공리를 가정하면 [[폰 노이만 우주|von Neumann universe]]와 모든 집합들의 class가 같다. | ||
58번째 줄: | 61번째 줄: | ||
==== ZF와의 독립성 ==== | ==== ZF와의 독립성 ==== | ||
[[쿠르트 괴델]]은 ZF가 [[일관적]](consistent)임을 가정하고, AC의 부정이 ZF의 정리가 아님을 ZFC를 만족하는 내부 모형을 구성함으로써 보여 결과적으로 ZFC가 일관적임을 보였다. 또 [[폴 코언]]은 [[강제법]]을 이용하여 ZF¬C인 모형을 구성하고 이것이 일관적임을 보였다. 이 두 결과로부터 우리는 ZF와 AC가 논리적으로 독립임을 알 수 있다. | [[쿠르트 괴델]]은 ZF가 [[일관적]](consistent)임을 가정하고, AC의 부정이 ZF의 정리가 아님을 ZFC를 만족하는 내부 모형을 구성함으로써 보여 결과적으로 ZFC가 일관적임을 보였다. 또 [[폴 코언]]은 [[강제법]]을 이용하여 ZF¬C인 모형을 구성하고 이것이 일관적임을 보였다. 이 두 결과로부터 우리는 ZF와 AC가 논리적으로 독립임을 알 수 있다. | ||