한점 확장과 로컬 컴팩트 메트릭 공간의 구조

초록

비컴팩트 메트릭 공간 X의 한점 메트릭 확장 집합 𝔈(X)와, X가 로컬 컴팩트일 때의 로컬 컴팩트 확장 집합 𝔈_K(X) 사이의 관계를 연구한다. λ라는 순서 반동형사상을 이용해 𝔈(X)의 원소를 βX\X의 영집합과 일대일 대응시킨 뒤, 이미지가 X를 전혀 만나지 않는 비공집합 영집합임을 보인다. 또한 𝔈_K(X)의 이미지가 βX\X에서 동시에 클오픈인 영집합임을 특징짓는다. 이후 두 집합의 순서 구조, 새로운 부분집합 𝔈_S(X) 도입, 그리고 각 집합의 기수론적 크기에 관한 결과와 몇 가지 열린 문제를 제시한다.

상세 분석

이 논문은 비컴팩트 메트릭 공간 X에 대해 “한점 메트릭 확장”이라는 개념을 체계화한다. 한점 확장은 X에 새로운 점 p를 붙여 만든 Y=X∪{p}이며, Y가 메트릭 공간이 되도록 하는 모든 가능한 위상들을 𝔈(X)라는 집합에 모은다. X가 로컬 컴팩트이면, 그 중에서도 Y가 로컬 컴팩트인 경우만을 모은 𝔈_K(X) 를 정의한다. 핵심 도구는 λ:𝔈(X)→𝔃(βX\X)라는 함수로, 이는 Y의 p에 대한 기본 열린 집합 {U_n}를 이용해 λ(Y)=⋂{n<ω}cl{βX}(U_n∩X)\X 로 정의된다. 기존 연구(Henriksen‑Janos‑Woods, 2005)에서는 λ가 순서 반동형사상이며, 그 이미지가 어떤 형태인지를 완전히 규명하지 못했다.

저자는 먼저 λ의 이미지가 “βX\X 안에 존재하고 X와 교차하지 않는 비공집합 영집합”임을 증명한다. 여기서 영집합이란 βX의 연속함수 f:βX→