[논문 리뷰] Non Standard Metric Products

Andreas Bernig, Thomas Foertsch외 1명|Zurich Open Repository and Archive (University of Zurich)|2002. 08. 26.

Geometric Analysis and Curvature Flows참고 문헌 7인용 수 7

한 줄 요약

이 논문은 메트릭 공간의 곱에서 함수 Φ로 정의된 비표준 메트릭 곱을 도입하고 분류하며, 이러한 곱이 길이 공간이거나 비음성 곡률을 갖는 것과 같은 핵심 기하적 성질을 유지하는 것은 Φ가 노름에 의해 유도될 때에만 가능하다는 것을 보여준다. 주요 기여는 Φ가 엄격하게 볼록한 단위구를 가진 노름에서 유도될 경우, 이러한 곱에서 민코프스키 랭크의 가환성이 성립한다는 것을 증명하는 것으로, 이는 이전의 유클리드 랭크 가환성 결과를 일반화한다.

ABSTRACT

We consider a fairly general class of natural non standard metric products and classify those amongst them, which yield a product of certain type (for instance an inner metric space) for all possible choices of factors of this type (inner metric spaces). We further prove the additivity of the Minkowski rank for a large class of metric products.

연구 동기 및 목표

• 비표준 메트릭 곱이 길이 공간이거나 비음성 곡률을 갖는 것과 같은 기하적 성질을 유지하는 조건을 분류하는 것.
• 메트릭 공간의 곱에서 민코프스키 랭크의 가환성이 성립하는 조건을 조사하는 것.
• 기존의 유클리드 곱에 국한된 랭크 가환성 결과를 함수 Φ로 정의된 더 넓은 범주의 메트릭 곱으로 확장하는 것.
• 코컴 pact 이sovmetry 군을 갖는 볼록하고 지오데식 메트릭 공간에서 민코프스키 랭크와 준유클리드 랭크 사이의 관계를 설정하는 것.

제안 방법

• n개의 메트릭 공간의 카르테시안 곱에 대해 함수 Φ: Qⁿ → [0, ∞)를 사용하여 메트릭 곱 dΦ를 정의한다. 여기서 Qⁿ = [0, ∞)ⁿ이다.
• dΦ가 메트릭의 공리계(삼각부등식 포함)를 만족하도록 하기 위해 Φ에 조건 (A)와 (B)를 도입한다.
• Ψ: ℝⁿ → [0, ∞)을 Ψ(∑xi ei) := Φ(∑|xi| ei)로 정의하고, Ψ가 노름이면 Φ를 노름에 의해 유도된 것으로 간주한다.
• Φ가 노름에 의해 유도될 때에만 (예: 길이 공간, 지오데식 공간 등) 특정 기하적 유형이 유지된다는 것을 증명하며, 곡률과 관련된 성질은 더 엄격한 조건(엄격한 볼록성, 스칼라 곱)이 필요하다.
• 지오데식의 구조와 Φ의 단조성 및 동차성을 활용하여 접선 유사 공간 위의 유도된 준노름의 성질을 도출한다.
• 지역적으로 컴act하고 볼록하며 지오데식 메트릭 공간에 대한 클라이너의 정리를 적용하여 민코프스키 랭크와 준유클리드 랭크를 동치로 간주함으로써 가환성 결과를 도출한다.

실험 결과

연구 질문

• RQ1 Φ에 어떤 조건이 성립할 경우, 모든 내부 메트릭 공간 요소를 갖는 메트릭 곱 (X, dΦ)가 길이 공간 성질을 유지하는가?
• RQ2 메트릭 곱 (X, dΦ)의 민코프스키 랭크가 그 요소들의 민코프스키 랭크의 합과 같아지는 경우는 언제인가?
• RQ3 노름 단위구의 엄격한 볼록성이 Φ-곱에서 민코프스키 랭크의 가환성 보장에 어떤 역할을 하는가?
• RQ4 코컴 pact 이sovmetry 군을 갖는 볼록하고 지오데식 메트릭 공간에서 민코프스키 랭크는 준유클리드 랭크와 어떻게 관련되어 있는가?
• RQ5 표준 곱이 실패할 경우, 비표준 메트릭 곱에서도 민코프스키 랭크의 가환성이 유지되는가?

주요 결과

• 모든 내부 메트릭 공간 요소를 갖는 메트릭 곱 (X, dΦ)가 길이 공간이 되는 것은 Φ가 노름에 의해 유도될 때에만 성립한다.
• 곱 (X, dΦ)가 지오데식, 유일 지오데식, 비음성 부세만 곡률 성질을 유지하는 것은 Φ가 엄격히 볼록한 단위구를 가진 노름에 의해 유도될 때에만 성립한다.
• 곱 (X, dΦ)가 상한(또는 하한) 곡률을 갖는 것은 Φ가 스칼라 곱에 의해 유도될 때에만 성립한다.
• 민코프스키 랭크는 가환성 성립: Φ가 엄격히 볼록한 단위구를 가진 노름에 의해 유도될 경우, rankM(X, dΦ) = ∑i=1^n rankM(Xi, di)이다.
• 같은 조건에서 준유클리드 랭크 역시 가환성 성립: 지역적으로 컴 pact하고 볼록한 메트릭 공간에 대해 cocompact 이sovmetry 군을 갖는 경우, rankqE(X, dΦ) = ∑i=1^n rankqE(Xi, di)이다.
• 정리 2에서의 엄격한 볼록성 조건은 필수적임을 보여주는 반례가 존재한다. Φ(x₁, x₂) = x₁ + x₂를 ℝ₊ × ℝ₊에 적용한 경우, 민코프스키 랭크는 가환적이지 않다.