[논문 리뷰] Cardinal p and a theorem of Pelczynski

Mikhail Matveev|ArXiv.org|2000. 06. 26.

Mathematics and Applications참고 문헌 7인용 수 5

한 줄 요약

이 논문은 ω의 컴팩티피케이션 중 잔여부가 호메오멀피한 경우 그 컴팩티피케이션 자체가 서로 호메오멀피한지 여부를 조사하며, 펠츠킨스키의 메트라이잭블 케이스를 비메트라이잭블 환경으로 확장한다. 카디널 불변량—특히 p—을 사용하여, τ < p 이면 D^τ 와 호메오멀피한 잔여부를 가진 모든 컴팩티피케이션은 상호 간에 호메오멀피하다는 것을 보이며, τ = c 일 때는 2^c 개의 서로 비호메오멀피한 컴팩티피케이션이 존재함을 보여, p의 크기에 따라 뚜렷한 이분법적 결과를 도출한다.

ABSTRACT

We show that it is consistent that for some uncountable cardinal k, all compactifications of the countable discrete space with remainders homeomorphic to $D^k$ are homeomorphic to each other. On the other hand, there are $2^c$ pairwise non-homeomorphic compactifications of the countable discrete space with remainders homeomorphic to $D^c$ (where c is the cardinality of the continuum).

연구 동기 및 목표

• 메트라이잭블 컴팩티피케이션에 대한 펠츠킨스키의 정리를 비메트라이잭블 잔여부로 확장하기.
• 잔여부가 비메트라이잭블일 때, ω의 컴팩티피케이션 중 잔여부가 서로 호메오멀피한 경우 반드시 그 컴팩티피케이션도 서로 호메오멀피한가를 판단하기.
• 카디널 불변량 p가 이러한 컴팩티피케이션을 분류하는 데서 수행하는 역할을 조사하기.
• 잔여부의 클로페인 집합의 불리안 대수의 구조와 그 이sovorphism를 분석하기.
• 동일한 잔여부 D^c 를 가진 비가산 수의 서로 비호메오멀피한 컴팩티피케이션을 구성하기.

제안 방법

• P(ω)/fin 불리안 대수를 사용하고, 독립 기저를 가진 부분대수 간의 이sovorphism를 분석한다.
• 카디널 불변량 p를 사용하여 집합의 가짜 교차점의 존재를 제어한다.
• 대수의 크기가 p 이하일 경우, ω의 순열이 대수 이sovorphism를 유도함을 구성한다.
• 순서적 분리성과 그 부정을 사용하여 컴팩티피케이션을 구별한다.
• Čech–Stone 컴팩티피케이션과 몫 구조를 사용하여 잔여부가 D^c 인 비호메오멀피한 컴팩티피케이션을 구축한다.
• 알렉산드로프 복제 구조를 적용하여, 다양한 n에 대해 ω에서 정확히 n개의 극한점을 가지는 컴팩티피케이션을 생성한다.

실험 결과

연구 질문

• RQ1 두 컴팩티피케이션 중 잔여부가 서로 호메오멀피한 ω의 컴팩티피케이션들이 언제 서로 호메오멀피한가?
• RQ2 펠츠킨스키의 메트라이잭블 성질 결과는 비메트라이잭블 잔여부로 확장될 수 있는가?
• RQ3 카디널 불변량 p는 ω의 컴팩티피케이션을 잔여부에 따라 분류하는 데 어떤 역할을 하는가?
• RQ4 동일한 잔여부 D^c 를 가진 비가산 수의 서로 비호메오멀피한 컴팩티피케이션은 존재하는가?
• RQ5 임의의 k < 2^c 에 대해 정확히 k개의 비호메오멀피한 유형을 가지는 컴팩티피케이션을 구성할 수 있는가?

주요 결과

• τ < p 이면, D^τ 와 호메오멀피한 잔여부를 가진 ω의 모든 컴팩티피케이션은 상호 간에 호메오멀피하다.
• τ = c 일 때, D^c 와 호메오멀피한 잔여부를 가진 ω의 컴팩티피케이션 중 2^c 개의 쌍별로 비호메오멀피한 컴팩티피케이션이 존재한다.
• p 보다 작은 크기의 독립 기저를 가진 P(ω)/fin 의 부분대수 간의 모든 이sovorphism 는 ω 의 순열에 의해 유도된다.
• 잔여부가 D^p3 인 비가산 수의 서로 비호메오멀피한 컴팩티피케이션들이 존재하며, 이는 각각의 유한한 n ≥ 1 에 대해 하나씩 존재한다.
• 각 n ∈ ℕ 에 대해, 잔여부가 D^p3 이고 ω 에서의 수열로 수렴하는 잔여부의 정확히 n개의 점이 존재하는 컴팩티피케이션이 존재하여, 서로 다른 n 에서 비호메오멀피함을 보장한다.