가산 선택공리

가산 선택공리(Countable axiom of choice, CC, AC^ω)란 선택공리보다 약한 집합론의 공리 중 하나이다.

목차

1. 진술
2. 다른 명제들간의 관계
3. 영상

1. 진술 _{✎ ⊖}

가산 개의 집합족 \\{A_i\\}_{i\\in\\Bbb{N}}이 주어졌다 하자. 이 때 선택함수 r: \\mathbb{N}\\to \\bigcup_{i\\in\\Bbb{N}} A_i이 존재해 r(i)\\in A_i이다.

가산 선택공리는 선택공리에서 집합족의 갯수를 가산으로 제한해서 얻을 수 있다.

2. 다른 명제들간의 관계 _{✎ ⊖}

가산 선택공리를 이용하면 가산 집합들의 가산 합집합은 가산임을 보일 수 있다. 여기에서 \\aleph_1이 정칙기수임이 따라나온다. 그리고 가산 선택공리는 기존의 ZF 공리들과 독립이다.

3. 영상 _{✎ ⊖}

이 문서의 내용 중 전체 또는 일부는 오메가에서 가져왔으며 CC BY-NC-SA 3.0에 따라 이용할 수 있습니다.

1. 진술 ✎ ⊖

2. 다른 명제들간의 관계 ✎ ⊖

3. 영상 ✎ ⊖

1. 진술 _{✎ ⊖}

2. 다른 명제들간의 관계 _{✎ ⊖}

3. 영상 _{✎ ⊖}