[논문 리뷰] A pseudocompactification

M. R. Koushesh|arXiv (Cornell University)|2012. 05. 29.

Rings, Modules, and Algebras참고 문헌 10인용 수 5

한 줄 요약

이 논문은 국소적으로 가짜콤���크트인 Tychonoff 공간 X에 대해, βX∖υX의 폐포를 취한 후 βX에서의 폐포로 정의되는 새로운 가짜콤파クト화 ζX를 제안한다. 여기서 υX는 Hewitt 실콤팩트화이다. 주요 결과는 ζX가 임의의 확장 중에서 잔여집합이 콤팩트인 경우에 대해 표준 부분순서 ≤ 하에서 가장 큰 가짜콤파クト화라는 것이며, z-초필터와 영집합의 교차를 통해 특성화된다.

ABSTRACT

For a locally pseudocompact space $X$ let [ζX=X\cup cl_{βX}(βX\backslash\upsilon X).] It is proved that $ζX$ is the largest (with respect to the standard partial order $\leq$) among all pseudocompactifications of $X$ which have compact remainder. Other characterizations of $ζX$ are also given.

연구 동기 및 목표

• 국소적으로 가짜콤팩트인 Tychonoff 공간에 대해 새로운 가짜콤파クト화 ζX를 정의하고 연구한다.
• 표준 부분순서 ≤ 하에서 잔여집합이 콤팩트인 모든 확장 중에서 ζX가 최대의 가짜콤파クト화임을 확립한다.
• z-초필터와 영집합의 교차를 통해 ζX의 내부 및 외부 특성화를 제공한다.
• Aull–Sawyer의 αX에 관한 이전 결과를 국소적으로 가짜콤팩트 공간의 더 넓은 클래스로 일반화한다.
• 가짜콤팩트성, 실콤팩트성, 그리고 잔여집합의 구조 간의 관계를 명확히 한다.

제안 방법

• βX에서의 βX∖υX의 폐포를 취한 X ∪ clβX(βX ∖ υX)로 ζX를 부분공간으로 정의하며, Stone-Čech 콤팩트화와 Hewitt 실콤팩트화를 활용한다.
• Hager–Johnson 보조정리와 가짜콤팩트 폐포를 가진 cozero-집합의 성질을 이용하여 intβX υX를 Coz(X)에 속하는 C에 대해 pseudocompact clX C를 갖는 집합들의 합집합으로 특성화한다.
• clβX Z ⊆ intβX υX이면且 Z가 가짜콤팩트 폐포를 가진 cozero-집합에 포함되어 있음과 동치임을 증명한다.
• 확장에 대한 부분순서 ≤를 적용하여, 잔여집합이 콤팩트인 X의 임의의 가짜콤파クト화 Y에 대해 Y ≤ ζX임을 보인다.
• βX에서의 z-초필터 표현을 이용하여, ζX가 자유 z-초필터에 대해 특정한 적응 및 상호배제 조건을 만족하는 유일한 확장임을 보인다.
• ζX가 조건 (⋆): S ∩ Z가 어떤 C ∈ Coz(X)에 대해 pseudocompact clX C에 포함되어 있으면 clY S ∩ clY Z ⊆ X임을 증명한다.

실험 결과

연구 질문

• RQ1 국소적으로 가짜콤팩트인 공간 X에 대해 잔여집합이 콤팩트인 가장 큰 가짜콤파クト화는 무엇인가?
• RQ2 ζX는 X의 z-초필터로 어떻게 특성화될 수 있는가?
• RQ3 ζX가 αX, βX, 또는 X와 일치하는 조건은 무엇인가?
• RQ4 잔여집합이 콤팩트인 가짜콤파クト화 Y가 Y ≤ ζX를 만족하기 위한 어떤 위상적 조건이 필요한가?
• RQ5 βX ∖ υX의 구조는 X의 가짜콤파クト화의 잔여집합과 어떻게 관련이 있는가?

주요 결과

• X가 국소적으로 가짜콤팩트일 때, ζX는 잔여집합이 콤팩트인 모든 가짜콤파クト화 중에서 표준 부분순서 ≤ 하에서 가장 큰 가짜콤파クト화이다.
• ζX = X이면且 X가 가짜콤팩트임과 동치이다.
• ζX = βX이면且 X의 어떤 비콤팩트 영집합도 가짜콤팩트 폐포를 가진 cozero-집합에 포함되지 않음을 의미한다.
• ζX = αX이면且 υX ∖ X ⊆ intβX υX이거나, 동치로 X의 자유 z-초필터 중에서 가산 교차 성질을 가진 것들이 ζX에서 자유임을 의미한다.
• ζX는 조건 (⋆)을 만족한다: S, Z ∈ Z(X)이고 S ∩ Z ⊆ C를 만족하는 C ∈ Coz(X)가 존재하며, clX C가 가짜콤팩트이면 clY S ∩ clY Z ⊆ X이다.
• 잔여집합이 콤팩트인 X의 임의의 가짜콤파クト화 Y는 Y = X ∪ E 형태이며, 이때 E는 X의 어떤 콤팩트화 K에 대해 K ∖ X의 콤팩트 부분집합이 되며, E는 φ[ζX ∖ X]를 포함한다. 이는 모든 이러한 Y가 ζX로부터 유도됨을 보여준다.