[논문 리뷰] Tangent spaces to metric spaces and to their subspaces

Oleksiy Dovgoshey|ArXiv.org|2009. 04. 28.

Advanced Differential Geometry Research참고 문헌 9인용 수 23

한 줄 요약

이 논문은 일반적인 거리공간에 대한 접공간의 내재적 개념을 도입하며, 점으로 수렴하는 수열과 정규화 수열을 사용한다. 두 부분공간이 공통 점에서 등거리 접공간을 가질 조건을 규명하여, 이러한 등거리성은 정확히 그 두 부분공간이 강한 접공간 동치일 때 성립함을 증명한다. 응용은 유클리드 공간 내 곡선, 곡면 및 특이집합에 대해 다루어진다.

ABSTRACT

We investigate a tangent space at a point of a general metric space and metric space valued derivatives. The conditions under which two different subspace of a metric space have isometric tangent spaces in a common point of these subspaces are completely determinated.

연구 동기 및 목표

• 선형 구조에 의존하지 않고 임의의 거리공간에 대한 내재적 접공간 개념을 개발하기 위해.
• 접공간을 사용하여 거리공간 값을 갖는 도함수를 정의함으로써 비선형 환경에서의 미분을 가능하게 하기 위해.
• 거리공간의 두 부분공간이 공통 점에서 등거리 접공간을 가질 수 있는 필요 및 충분 조건을 규명하기 위해.
• 강한 접공간 동치를 통해 임계접공간이 모델 공간(예: R, R^n, C)과 등거리임을 특성화하기 위해.
• 수열 기반 극한을 사용하여 거리측도공간에서의 미분 가능성과 기하학적 구조를 연구하기 위한 프레임워크 제공하기 위해.

제안 방법

• 기준점으로 수렴하는 수열이 만드는 의사거리공간의 거리공간 식별을 통해 임계접공간을 정의하며, 정규화 수열 $\tilde{r}$을 사용한다.
• 수열 간의 상호 안정성은 극한 $\tilde{d}_{\tilde{r}}(\tilde{x},\tilde{y}) = \lim_{n\to\infty} \frac{d(x_n,y_n)}{r_n}$을 통해 도입한다.
• 임계접공간의 완비성을 보장하기 위해 최대 자기안정 수열 가닥을 구성한다.
• 존의 보조정리(Zorn’s Lemma)를 사용하여 기준점에서의 상수 수열을 포함하는 최대 자기안정 가닥의 존재를 보장한다.
• 등차관계 $\tilde{x} \sim \tilde{y} \iff \tilde{d}(\tilde{x},\tilde{y}) = 0$에 대한 몫공간 $\Omega_{a,\tilde{r}}$으로 접공간을 정의한다.
• 등거리 임계접공간을 위한 핵심 조건으로 부분공간 간의 강한 접공간 동치를 사용하며, 거리와 정규화 수열을 포함하는 극한 관계를 활용한다.

실험 결과

연구 질문

• RQ1 거리공간의 두 부분공간이 공통 점에서 임계접공간이 등거리가 되는 조건은 무엇인가?
• RQ2 거리공간의 점에서 임계접공간이 $\mathbb{R}$, $\mathbb{R}^n$, 또는 $\mathbb{C}$와 같은 모델 공간과 등거리가 되는 조건은 언제인가?
• RQ3 접공간을 사용하여 거리공간 값을 갖는 도함수를 어떻게 내재적으로 정의할 수 있는가?
• RQ4 정규화 수열 $\tilde{r}$의 선택이 임계접공간의 구조에 어떤 영향을 미치는가?
• RQ5 강한 접공간 동치 개념을 사용하여 거리공간 내 부분공간의 국소 기하학적 구조를 분류할 수 있는가?

주요 결과

• 거리공간 $X$의 두 부분공간 $Y$와 $Z$는 공통 점 $a$에서 임계접공간이 등거리일 조건은 정확히 $a$에서 강한 접공간 동치일 때이다.
• $C^1$-연속 곡선 $F: [0,1] \to E^n$이 $t_0$에서 도함수가 0이 아니면, 임의의 정규화 수열에 대해 점 $a = F(t_0)$에서의 임계접공간은 $\mathbb{R}$과 등거리이다.
• 만약 $Y$가 $X$의 밀집 부분공간이라면, 모든 $a \in Y$에서 $X$와 $Y$는 강한 접공간 동치이므로, 그들의 임계접공간은 상호 등거리이다.
• 0에서 공통 도함수를 갖는 $n$개의 함수의 그래프의 합집합에 대해, 원점에서의 임계접공간은 $\mathbb{R}$과 등거리이다.
• $C^1$-함수로 정의된 랭크 2의 야코비안을 갖는 표면에 대해, 상점에서의 임계접공간은 $\mathbb{C}$와 등거리이다.
• 특이집합 $\{(x,y,z) \in E^3 : \sqrt{y^2 + z^2} \leq x^{1+\alpha}, x \geq 0\}$의 원점에서의 임계접공간은 $\mathbb{R}^+$와 등거리이다.