균일 에버레인 공간과 유한 선택 공리

본 논문은 선택 공리 없이 ZF 체계에서 특정 함수공간의 컴팩트성 문제를 다룬다. 서론에서는 Kelley의 Tychonov 공리와 그 약화 형태가 ZF에서 어떤 경우에 증명 가능한지를 소개하고, 특히 “가산 유한 선택 공리”(AC\_fin)와 “가산 선택 공리”(AC\_ℕ)의 역할을 강조한다. 2장에서는 선택 공리의 다양한 약화 형태를 체계적으로 정리한다. (2.1)에서는 AC(φ) 형태의 제한된 선택 공리를 정의하고, 특히 AC\_fin(X)와 AC\_ℕ, AC\_finℕ을 소개한다. (2.2)에서는 유한 집합들의 합집합이 well‑orderable 되는 조건 Uw\_fin(α)와 그와 Tychonov 공리 T\_fin(α) 사이의 동등성을 증명한다. (2.3)에서는 종속 선택 공리 DC와 그와의 관계를 논한다. (2.4)에서는 Tychonov 공리의 제한형 T\_C(I)를 정의하고, AC\_fin ⇒ Uw\_fin ⇒ T\_fin ⇒ AC\_fin(α) 순의 함의를 보인다. 3장에서는 $