[논문 리뷰] Elementary submodels and separable monotonically normal compacta

Todd Eisworth|ArXiv.org|2006. 08. 15.

Advanced Topology and Set Theory참고 문헌 9인용 수 7

한 줄 요약

이 논문은 기초적 소모형을 사용하여 모든 분리 가능 모노톤 정규 컴팩트 공간이 최대 크기 2인 섬유를 가진 분리 가능 메트릭 공간으로 연속적인 상사상이 존재함을 증명한다. 가산 기초 소모형에 의해 유도된 $M$-동치류를 분석함으로써, 저자들은 그러한 몫 사상이 존재함을 보이며, 니키엘의 추측에 대한 구조적 보완을 확립하고 루딘의 증명 기법을 연장한다.

ABSTRACT

In this note, we use elementary submodels to prove that a separable monotonically normal compactum can be mapped on a separable metric space via a continuous function whose fibers have cardinality at most 2.

연구 동기 및 목표

• 모델 이론적 도구를 사용하여 분리 가능 모노톤 정규 컴팩트 공간의 구조를 이해하기 위해.
• 기초 소모형을 적용하여 위상적 동치류를 분석함으로써 루딘의 니키엘 추측에 대한 증명을 확장하기 위해.
• 모든 분리 가능 모노톤 정규 컴팩트 공간이 최대 크기 2인 섬유를 가진 분리 가능 메트릭 공간으로 연속적인 상사상이 존재함을 증명하기 위해.
• 이 섬유 크기의 상한이 특정 모형에 대해서만 성립하는 것이 아니라, 충분한 크기의 모든 가산 기초 소모형에 대해 성립함을 확립하기 위해.

제안 방법

• 모든 연속 실수 함수 $f \in M$ 에 대해 $f(x) = f(y)$ 를 만족하는 경우 $x =_M y$ 라 정의된 $M$-동치류를 통해 몫 공간 $X/M$ 를 구성한다.
• 가환 영역의 이미지를 이용하여 $X/M$ 에 위상 구조를 도입함으로써 몫 공간이 티히혼오프이자 하우스도르프임을 보장한다.
• 곱공간에서 연속 함수가 가산 개의 좌표에만 의존함을 이용하여 $[0,1]^\kappa$ 에서의 $M$-동치를 특성화한다.
• 적절한 가산 기초 소모형 $M$ 에 대해, 모순과 두쉬니크–밀러 정리를 이용하여 $X$ 내의 모든 $M$-동치류의 크기가 최대 2임을 증명한다.
• 원소성의 성질을 적용하여, 그러한 모형이 존재한다면 모든 가산 기초 소모형이 동일한 섬유 크기 상한을 가짐을 보인다.
• 분리 가능 모노톤 정규 공간의 유전적 리인델뢰프 성질을 활용하여, 닫힌 집합들의 비가산 감소 수열이 존재하지 않음을 배제한다.

실험 결과

연구 질문

• RQ1 기초 소모형은 분리 가능 모노톤 정규 컴팩트 공간의 구조를 분석하는 데 사용될 수 있는가?
• RQ2 모든 분리 가능 모노톤 정규 컴팩트 공간에서 최대 크기 2인 섬유를 가진 분리 가능 메트릭 공간으로 연속적인 상사상이 존재하는가?
• RQ3 $H(\chi)$ 의 모든 가산 기초 소모형이 이러한 공간에서 최대 크기 2인 $M$-동치류를 유도하는가?
• RQ4 섬유 크기 상한 2는 일부 모형에서만 성립하는 것이 아니라, 이러한 모든 모형에서 균일하게 달성 가능한가?

주요 결과

• 모든 $M$-동치류가 크기 최대 2인 가산 기초 소모형 $M$ 이 $H(\chi)$ 의 일부로 존재한다.
• 모든 $X$ 를 포함하는 가산 기초 소모형 $M$ 에 대해, 모든 $M$-동치류의 기수는 최대 2이며, 원소성과 동일한 증거 집합을 가진 함수들의 존재로 인해 이는 성립한다.
• 몫 공간 $X/M$ 는 티히혼오프 공간이며, $X = [0,1]^\kappa$ 일 경우 특별히 $[0,1]^{M \cap \kappa}$ 에로 임베딩 가능하다.
• 이 구성은 섬유 크기가 최대 2인 연속적인 상사상 $\pi_M: X \to X/M$ 와 함께 이루어지며, $X/M$ 는 분리 가능 메트릭 공간이다.
• 결과는 분리 가능 모노톤 정규 공간의 유전적 리인델뢰프 성질에 의존하며, 이는 닫힌 집합들의 비가산 감소 수열을 차단한다.
• 섬유 크기 상한 2는 일반적으로 향상될 수 없으며, 두쉬니크–밀러 정리와 모노톤 정규성의 성질을 이용한 모순에 의해 이를 보여준다.