[논문 리뷰] Inverse Limits and Function Algebras

Joan E. Hart, Kenneth Kunen|ArXiv.org|2005. 04. 11.

Advanced Topics in Algebra참고 문헌 13인용 수 9

한 줄 요약

이 논문은 젠슨의 원리 ♦에 따라(compact, hereditarily Lindelöf이고, hereditarily separable이며, 연결되어 있지만, 완전한, 완전히 분리된 부분공간을 포함하지 않는) 공간을 구성한다—이는 고전적 위상수학의 기대와 배치된다. 이 공간은 또한 복소수 스톤-바이어슈트라스 성질(CSWP)을 위반함을 보이며, ZFC와의 독립성을 입증한다. 프로퍼 포스팅 공리(PFA) 하에서는 그러한 공간이 존재하지 않으며, 이는 집합론적 공리가 함수론적 및 일반 위상수학에서 중요한 역할을 함을 보여준다.

ABSTRACT

Assuming Jensen's principle diamond, there is a compact Hausdorff space X which is hereditarily Lindelof, hereditarily separable, and connected, such that no closed subspace of X is both perfect and totally disconnected. The Proper Forcing Axiom implies that there is no such space. The diamond example also fails to satisfy the CSWP (the complex version of the Stone-Weierstrass Theorem). This space cannot contain the two earlier examples of failure of the CSWP, which were totally disconnected -- specifically, the Cantor set (W. Rudin) and beta N (Hoffman and Singer).

연구 동기 및 목표

• 완전한, 완전히 분리된 부분공간을 포함하지 않는, 컴팩트하고, hereditarily Lindelöf이며, hereditarily separable하며, 연결된 공간의 존재를 조사하는 것.
• 그러한 공간에서 복소수 스톤-바이어슈트라스 성질(CSWP)의 실패를 검토하는 것.
• 특히, ♦ 하에서는 그러한 공간이 존재하고, PFA 하에서는 존재하지 않는다는 점을 포함해, 위상수학적 성질의 집합론적 독립성을 명확히 하는 것.
• CSWP의 실패가, 칸토어 집합과 βℕ 둘 다 부분공간으로 포함하지 않는 공간에서도 일어날 수 있음을 보여주며, CSWP의 잠재적 특성화에 도전하는 것.

제안 방법

• 모든 α < ω₁ 단계에서 X_α를 얻기 위해 ω₁에 대한 역극한 구성법을 사용하여, [0,1]^ω₁에 포함되는 컴팩트 공간 X를 구성한다.
• CSWP의 실패를 입증하기 위해, [0,1] 대신 닫힌 단위 원판 D를 사용하여, 유사한 역극한 과정을 통해 X ⊂ D^ω₁를 구성한다.
• 카르탕 나무 성질을 갖는 강제 개념 P ⊆ 2^{<ω₁}를 사용하여, 적절성과 가산 기저를 갖지 않는 반사계열의 방지 보장을 한다.
• 조건의 트리가 주어지면, 어떤 분지가 P에 속함을 보장하기 위해 칸토어 나무 성질을 활용하여, 공간이 연결되어 있고, 산산이 부서지지 않은 상태를 유지한다.
• 조건의 트리가 주어지면, 어떤 분지가 P에 속함을 보장하기 위해 칸토어 나무 성질을 사용하여, 가산 기반을 갖지 않는 체인의 방지를 보장한다.
• 강제 이론의 결과(예: 전반적인 적절성)를 적용하여, PFA 하에서는 그러한 공간이 존재할 수 없음을 보인다.

실험 결과

연구 질문

• RQ1 완전한, 완전히 분리된 부분공간을 포함하지 않는 컴팩트하고, hereditarily Lindelöf이며, hereditarily separable하고, 연결된 공간이 존재하는가?
• RQ2 그러한 공간이 칸토어 집합과 βℕ 둘 다 부분공간으로 포함하지 않더라도, 복소수 스톤-바이어슈트라스 성질(CSWP)을 위반할 수 있는가?
• RQ3 그러한 공간의 존재는 ZFC와 독립적인가? ♦와 PFA 하에서의 결과가 다를 수 있는가?
• RQ4 산산이 부서지지 않은 공간이면서, 칸토어 집합과 βℕ 둘 다 부분공간으로 포함하지 않는 공간에서 CSWP가 실패할 수 있는가?
• RQ5 역극한 구성법과 강제 이론은 제어된 함수 대수 성질을 갖는 이상한 위상공간을 만드는 데 어떤 역할을 하는가?

주요 결과

• ♦를 가정할 경우, 완전한, 완전히 분리된 부분공간을 포함하지 않는 컴팩트하고, hereditarily Lindelöf이며, hereditarily separable하고, 연결된 공간 X가 존재한다.
• 동일한 공간이 ♦ 하에서 칸토어 집합이나 βℕ을 부분공간으로 포함하지 않음에도 불구하고, 복소수 스톤-바이어슈트라스 성질(CSWP)을 위반한다.
• 프로퍼 포스팅 공리(PFA) 하에서는 그러한 공간이 존재하지 않으며, 이는 그러한 공간의 존재가 ZFC와 독립적임을 시사한다.
• 이 구성은 칸토어 나무 성질을 갖는 강제 개념에 의존하며, 이는 적절성과 가산 기반을 갖지 않는 체인의 방지를 보장한다.
• ♦ 하에서 구성된 공간은 두 번째 가산성을 갖지 않으며, 이는 칸토어 집합의 복사본을 포함하지 않기 때문이다.
• 이 공간에서 CSWP의 실패는, 칸토어 집합과 βℕ의 부재가 조건이 되지 않으며, 조밀하고 잘 다스려진 위상공간에서도 CSWP를 보장하지 못함을 보여준다.