동질 초거리공간의 거시 분류와 샤프 엔트로피

본 논문은 동질(모든 점이 등거리 전단사에 의해 서로 연결되는) 초거리공간을 코스(large‑scale) 관점에서 완전히 분류하는 문제를 다룬다. 서론에서는 초거리공간의 정의와 동질·적절성 개념을 소개하고, 대표적인 예시인 반칸토어 집합 2^{<ω}를 제시한다. 반칸토어 집합은 각 좌표가 0으로 수렴하는 이진 수열들의 집합으로, 초거리 D(·,·)를 통해 초거리공간 구조를 갖는다. 저자는 “모든 동질·적절 초거리공간이 2^{<ω}와 코스 동등인가?”라는 질문을 제기하고, 이를 해결하기 위한 새로운 불변량 ‘샤프 엔트로피(Ent♯)’를 도입한다. 1. **코스 동등성의 여러 정의** 섹션 1에서는 기존의 코스 지도(bornologous map)와 코스 역함수 정의를 재검토하고, 다중사상(multimap) 개념을 도입한다. 다중사상 Φ: X⇒Y는 X×Y의 부분집합으로, ‘bornologous’는 작은 직경 집합을 보낸 이미지도 작은 직경을 갖는다는 조건이다. ‘asymorphism’은 Φ와 Φ⁻¹가 모두 bornologous이며 전사인 경우이며, ‘asymorphic embedding’은 역전사가 전사인 경우이다. 정리 2는 네 가지 조건(1) asymorphic, (2) coarsely equivalent, (3) large subspaces that are bijectively asymorphic, (4) existence of bornologous maps f,g with bounded composition distance)이 서로 동등함을 증명한다. 이는 코스 동등성의 정의가 상황에 따라 유연하게 적용될 수 있음을 보여준다. 2. **샤프 엔트로피 정의와 기본 성질** ε‑엔트로피 Ent_ε(B)는 ε‑네트워크의 최소 크기로 정의하고, 이를 이용해 δ‑ε‑엔트로피 Ent_{δ,ε}(X)=sup_{x∈X} Ent_ε(B_δ(x))와 작은/큰 버전을 만든다. 샤프 엔트로피는 \