비대칭 확장 차원과 히그슨 코로나의 새로운 연결 고리

본 논문은 비대칭(극한) 거리 공간 이론에 새로운 차원을 도입하고, 이를 기존 위상수학적 차원 이론과 연결시키는 데 목적을 둔다. 서두에서는 Gromov이 제시한 비대칭 차원(asdim)의 정의를 상기하고, Dranishnikov이 만든 확장 차원(ext‑dim)의 비대칭 버전을 정의하기 위한 배경을 제시한다. 2절에서는 기본 개념들을 정리한다. (2.1)에서는 (λ,ε)‑Lipschitz 사상과 비대칭 Lipschitz 사상의 정의를 제시하고, 비대칭 범주 A를 객체가 적절(proper) 거리공간, 사상이 비대칭 Lipschitz인 것으로 정의한다. (2.2)에서는 히그슨 컴팩트화와 히그슨 코로나 νX를 소개한다. 여기서는 느리게 진동(slowly oscillating) 함수가 히그슨 컴팩트화에 의해 연속 연장을 가짐을 이용한다. (2.3)에서는 열린 원뿔 O X와 그 위에 정의된 거리 구조를 소개하고, Lipschitz 사상이 열린 원뿔으로 승격될 때 비대칭 Lipschitz이 됨을 증명한다. 또한 원뿔 위의 투사 β_L와 높이 함수 α_L의 성질을 정리한다. 3절에서는 논문의 핵심 보조 정리들을 제시한다. 코시 균등 함수와 코시 적절 함수의 관계, 코시 함수들의 필터링을 통한 상한 함수 구성, 그리고 코시 균등 사상이 거의 지오데식 공간에서 비대칭 Lipschitz이 됨을 보이는 Proposition 3.6 등을 다룬다. 또한 이산 공간을 거의 지오데식 공간으로 임베딩하는 구체적인 구성(선분을 붙이는 방식)을 제시하고, 그 공간이 거의 지오데식임을 증명한다. 4절이 논문의 중심이다. 여기서 비대칭 확장 차원(as‑ext‑dim)을 정의한다. L을 컴팩트 ALNER(절대 Lipschitz 이웃집합 확장자)라 하고, O L의 열린 원뿔을 이용해 “X τ O L”이라는 연장 가능성 조건을 도입한다. 이때 X τ O L이 모든 폐집합 A⊂X와 비대칭 Lipschitz 사상 f:A→O L에 대해 전체 X로 연장이 가능함을 의미한다. 주요 정리(Theorem 4.1)는 다음과 같다: \( \text{as‑ext‑dim }X \le