[논문 리뷰] Lipschitz functions on topometric spaces

Itaï Ben Yaacov|arXiv (Cornell University)|2010. 10. 08.

Advanced Topology and Set Theory참고 문헌 8인용 수 9

한 줄 요약

이 논문은 위상수학적 구조와 거리 구조가 일치할 필요가 없는 공간인 위상거리 공간 위에서 리프시츠 함수를 도입하고 연구한다—특히 연속적인 1-리프시츠 함수에 초점을 맞춘다. 이 논문은 컴팩트한 위상거리 공간이 연속적인 1-리프시츠 실수 함수들의 격자로부터 유일하게 재구성될 수 있음을 증명하며, 스톤-체하프 컴팩트화와 겔판트-나이마르크 dualit의 고전적 재구성 정리들을 위상거리 설정으로 일반화한다.

ABSTRACT

We study functions on topometric spaces which are both (metrically) Lipschitz and (topologically) continuous, using them in contexts where, in classical topology, ordinary continuous functions are used. We study the relations of such functions with topometric versions of classical separation axioms, namely, normality and complete regularity, as well as with completions of topometric spaces. We also recover a compact topometric space $X$ from the lattice of continuous $1$-Lipschitz functions on $X$, in analogy with the recovery of a compact topological space $X$ from the structure of (real or complex) functions on $X$.

연구 동기 및 목표

• 위상적 및 거리적 구조를 일반화하는 위상거리 공간 위에서 연속적이고 거리적으로 리프시츠 함수의 이론을 개발한다.
• 정규성과 완전 정규성 등의 고전적 분리 공리들을 리프시츠 함수를 사용하여 위상거리 설정으로 확장한다.
• 컴팩트한 위상거리 공간 위에서 연속적인 1-리프시츠 함수의 격자를 특성화하고, 원래 공간이 이 격자로부터 유일하게 복원될 수 있음을 보인다.
• 리프시츠 함수에 대해 유르소프의 보조정리와 티에츠의 확장 정리의 위상거리 해석을 수립한다.
• 스톤-체하프 컴팩트화의 위상거리 해석을 구성하고, 이가 위상거리 공간에서의 완전 정규성과 어떻게 관련되는지 규명한다.

제안 방법

• 위상거리 공간을 T에 관해 하향 연속인 d를 갖는 세트 (X, T, d)로 정의하며, d는 T를 정밀화한다.
• X 위에서의 연속적인 1-리프시츠 함수를 위상적으로 연속이면서 d에 대해 1-리프시츠인 함수로 정의한다.
• 연속적인 1-리프시츠 함수의 격자 구조를 이용하여 이중성 원리를 통해 원래의 위상거리 공간을 재구성한다.
• 반단순 격자 이론과 대칭 볼록 구조를 적용하여 함수 공간 A = C_L(1)(X, ℝ)을 순서와 노름 구조를 갖춘 대칭 볼록 격자로 특성화한다.
• A의 쌍대 공간을 이용하여 원래의 컴팩트한 위상거리 공간 X를 A의 상태 공간의 극점 집합으로 정의한다.
• X 내의 두 점 사이의 위상거리 거리 d(λ, μ)가 모든 v ∈ A에 대해 sup|λ(v) - μ(v)|로 주어진다.

실험 결과

연구 질문

• RQ1 정규성과 완전 정규성 등의 고전적 분리 공리들은 리프시츠 함수를 사용하여 어떻게 위상거리 공간에 일반화될 수 있는가?
• RQ2 컴팩트한 위상거리 공간은 그 연속적인 1-리프시츠 실수 함수들의 격자로부터 어느 정도까지 재구성될 수 있는가?
• RQ3 스톤-체하프 컴팩트화의 위상거리 해석은 무엇이며, 이는 완전 정규성과 어떻게 관련되는가?
• RQ4 위상거리 공간의 거리 완비화는 위상적 구조와 1-리프시츠 함수의 격자와 어떻게 관련되는가?
• RQ5 연속적인 1-리프시츠 함수의 격자가 컴팩트한 위상거리 공간에서 원래 공간을 등형사상에 대해 유일하게 결정짓기 위한 조건은 무엇인가?

주요 결과

• 컴팩트한 위상거리 공간 X는 X 위의 연속적인 1-리프시츠 실수 함수들의 격자로부터 고유한 등형사상에 의해 유일하게 복원될 수 있다.
• X 내의 두 점 사이의 위상거리 거리는 d(λ, μ) = sup{|λ(v) - μ(v)| : v ∈ C_L(1)(X, ℝ)}로 주어지며, 모든 λ, μ ∈ X에 대해 성립한다.
• 공간 X는 ℝ^A 위의 상태 공간 C ⊆ ℝ^A의 극점 집합으로 자연스럽게 식별된다. 여기서 C는 선형성, 양성, 정규화 조건을 만족하는 함수형으로 구성된다.
• 컴팩트한 위상거리 공간 위에서 연속적인 1-리프시츠 함수의 격자는 대칭 볼록 격자의 공리계를 만족하며, 완비화를 통해 바나흐 격자가 된다.
• 1-리프시츠 함수에 대해 위상거리 해석의 유르소프의 보조정리와 티에츠의 확장 정리가 성립하며, 고전적 결과를 위상거리 설정으로 일반화한다.
• 위상거리 해석의 스톤-체하프 컴팩트화가 존재하며, 이는 연속적인 1-리프시츠 함수를 위상거리 공간에서 컴팩트 공간으로 확장하는 유일성 성질을 통해 특성화된다.