우리흐노프 구면의 정의 가능한 함수

초록

이 논문은 빈 연속 서명 아래에서 정의된 우리흐노프 구면 U를 연구한다. 저자는 Uⁿ→U의 모든 정의 가능한 함수가 좌표 투사 함수이거나 그 범위가 상대적으로 콤팩트함을 증명한다. 이를 통해 자연스럽게 등장하는 여러 함수가 정의 가능하지 않음을 보이며, 콤팩트한 경우 범위의 위상적 성질도 추가로 제시한다.

상세 요약

우리흐노프 구면 U는 모든 유한 거리 공간을 등거리로 임베딩할 수 있는 보편적이고 초극단적인 완비 거리 공간이다. 연속 논리의 관점에서 U를 빈 서명(즉, 함수·관계 기호가 전혀 없는)으로 해석하면, 구조의 모든 정의 가능한 집합은 순수히 거리 관계만을 통해 기술된다. 논문은 먼저 정의 가능한 함수 f:Uⁿ→U가 어떤 형태를 가질 수 있는지를 조사한다. 핵심 정리는 “정의 가능한 함수는 좌표 투사(projection) 함수이거나, 그 이미지가 상대적으로 콤팩트한다”는 것이다. 여기서 ‘상대적으로 콤팩트’란 이미지가 U 안에서 완비이고 유계이며, 따라서 클로저가 콤팩트임을 의미한다.

증명은 연속 논리의 타입 공간과 안정성(stability) 개념을 활용한다. 빈 서명에서는 모든 1‑형이 동일한 거리 분포를 가지므로, 임의의 정의 가능한 함수는 결국 ‘거리 패턴’에만 의존한다. 저자는 먼저 임의의 정의 가능한 함수가 일정한 ε>0에 대해 ε‑분리된 무한 집합을 만들 수 없음을 보인다. 만약 그런 집합이 존재한다면, 함수는 무한히 많은 서로 다른 거리 값을 생성해야 하는데, 이는 빈 서명에서 가능한 타입의 수와 모순된다. 따라서 이미지가 무한히 퍼지는 경우는 좌표 투사와 동등함을 보인다.

그 다음 단계에서는 이미지가 무한히 퍼지지 않을 때, 즉 상대적으로 콤팩트한 경우를 다룬다. 여기서는 U의 초극단성(ultrahomogeneity)과 완비성에 의존해, 이미지가 콤팩트하면 그 위상은 완전하게 결정된다. 특히, 이미지가 콤팩트이면 그 폐쇄는 완전한 거리 공간이며, 이는 다시 U의 부분구조와 동형임을 보인다.

이 정리의 직접적인 귀결은, 거리 평균, 중앙값, 혹은 특정 군 작용에 의해 정의되는 함수 등 자연스럽게 생각되는 많은 연산이 정의 가능하지 않다는 것이다. 이러한 함수들은 일반적으로 무한히 다양한 거리 값을 생성하거나, 이미지가 전체 U에 걸쳐 퍼지는 특성을 갖기 때문이다. 마지막으로 저자는 콤팩트한 경우 이미지가 어떤 위상적 구조를 가질 수 있는지 추가적인 제약을 제시한다. 예를 들어, 이미지가 연결된 집합이어야 하며, 그 차원은 U의 차원보다 낮을 수 없다는 식이다. 전체적으로 이 논문은 빈 연속 서명 하에서의 정의 가능성에 대한 새로운 제한을 제시하고, 우리흐노프 구면의 위상·측도 이론과의 깊은 연관성을 밝힌다.