[논문 리뷰] Distance matrices, random metrics and Urysohn space

Анатолий Моисеевич Вершик|ArXiv.org|2002. 03. 01.

Advanced Topology and Set Theory참고 문헌 5인용 수 7

한 줄 요약

이 논문은 거리 행렬의 볼록 쌍대체를 보편적 프레임워크로 도입하여 폴란드 공간을 연구하는 데 사용하며, 일반적인 원소들이 유리소프 공간—보편적이고 균일한 거리 공간—에 대응함을 증명한다. 이는 행렬 분포—$S_{\infty}$-불변의 에르고딕 측도—가 Borel 확률 측도를 가진 거리 공간들에 대해 측도를 보존하는 등장사상에 대해 완전한 불변량임을 보이며, 자연수 위에 새로운 유형의 랜덤 거리 구조를 정의한다.

ABSTRACT

We introduce an universum of the Polish (=complete separable metric) space - the convex cone of distance matrices and study its geometry. It happened that the generic Polish spaces in this sense of this universum is so called Urysohn spaces defined by P.S.Urysohn in 20-th, and generic metric triple (= metric space with probability borel measure) is also Urysohn space with non-degenerated measure. We prove that the complete invariant of the metric space with measure up to measure preserving isometries is so called matrix distribution - invarinat and ergodic measure with respect to infinite symmetric group which is concentrated on the cone of distance matrices. This defined an important new class of random matrices and family of random metrics on the naturals.

연구 동기 및 목표

• 거리 행렬의 볼록 쌍대체를 사용하여 폴란드 공간을 분류하는 보편적 프레임워크를 개발하기 위해.
• 이 쌍대체 내에서 폴란드 공간의 일반적 성질을 특성화하여, 유리소프 공간이 일반적으로 나타남을 보여주기 위해.
• 측도를 보존하는 등장사상에 대해 Borel 확률 측도를 가진 거리 공간에 대한 완전한 불변량인 행렬 분포를 정의하기 위해.
• 거리 행렬의 쌍대체 위의 불변 측도를 통해 자연수 위에 랜덤 거리 구조를 구성하기 위해.
• 거리 행렬의 쌍대체의 기하학적·위상적 성질과 보편적 거리 구조 간의 관계를 탐구하기 위해.

제안 방법

• 거리 행렬의 공간 $\cal R$ 는 대각 성분이 0이고 삼각 부등식을 만족하는 무한 실수 대칭 행렬의 볼록 쌍대체로 정의된다.
• 쌍대체 $\cal R$ 는 약한 위상으로 장비되며, 유한 차원 사영 $\cal R_n$ 과 이들 사영 위의 피브레이션을 통해 그 구조가 분석된다.
• 조건부 측도를 이용하여 $\cal R$ 위에 측도를 재귀적으로 구성한다. 이때 피브레이션 $A(r)$ 에서의 조건부 측도를 활용하며, 민코프스키 합과 연속 기저 측도 $\gamma$ 를 갖는 $\mathbb{R}_+^n$ 위의 곱 측도를 사용한다.
• 코모고로프의 확장 정리를 적용하여 유한 차원 사영 $\nu_n$ 에서 일致한 확률 측도 $\nu$ 를 $\cal R$ 위에 구성한다.
• 행렬 분포는 $\cal R$ 위의 $S_{\infty}$-불변 에르고딕 측도로 정의되며, 이는 Borel 확률 측도를 가진 거리 삼중체(거리 공간과 Borel 확률 측도)에 대해 완전한 불변량으로 기능한다.
• 구성 과정을 통해 $\nu$-거의 모든 행렬이 완비화 시 유리소프 공간을 생성함을 보장한다.

실험 결과

연구 질문

• RQ1 거리 행렬의 시각에서 폴란드 공간의 보편적 구조는 무엇인가?
• RQ2 어떻게 행렬 분포가 측도를 보존하는 등장사상에 대해 거리 측도 공간에 대한 완전한 불변량이 될 수 있는가?
• RQ3 거리 행렬의 쌍대체에서의 일반성의 역할은 무엇이며, 유리소프 공간과의 관계는 어떠한가?
• RQ4 자연수 위에 랜덤 거리 구조를 구성할 수 있는가? 이 경우 완비화 시에 유리소프 공간이 거의 확률로 나타나는가?
• RQ5 유리소프 공간 위에 비퇴화된 측도를 정의할 수 있는가? 이때 $n$개의 임의로 선택된 점들의 공동 분포가 주어진 분포와 $\cal R_n$ 위의 분포와 일치하는가?

주요 결과

• 유니버설 거리 행렬—즉, 유리소프 공간을 생성하는 것—의 집합은 쌍대체 $\cal R$ 의 조밀한 $G_\delta$ 부분집합이므로, 위상적 의미에서의 일반성임을 의미한다.
• 행렬 분포—$\cal R$ 위의 $S_{\infty}$-불변 에르고딕 측도—는 Borel 확률 측도를 가진 거리 공간들에 대해 측도를 보존하는 등장사상에 대해 완전한 불변량이다.
• 피브레이션 $A(r)$ 에서의 조건부 측도를 통한 구성은 $\cal R$ 위에 확률 측도 $\nu$ 를 제공하며, $\nu$-거의 모든 행렬이 완비화 시 유리소프 공간을 생성함을 보장한다.
• 일반적인 거리 삼중체(즉, Borel 확률 측도를 가진 폴란드 공간)는 비퇴화된 측도를 지닌 유리소프 공간과 등장사상으로 일치한다.
• 행렬 분포의 공간은 자연수 위의 랜덤 행렬과 랜덤 거리 구조의 천연 클래스를 이룬다. 이는 조합론에서의 에르되시–레니 랜덤 그래프 모델과 유사하다.
• 이러한 측도의 구성은 조합론적 성격을 띤다: 독립적이고 연속적인 거리 분포를 갖는 점들을 무작위로 추가하면 거의 확률로 유리소프 공간에 도달한다.