[논문 리뷰] Revisiting Tietze-Nakajima - Local and Global Convexity for Maps

Yael Karshon, Christina Bjorndahl|arXiv (Cornell University)|2007. 01. 25.

Geometric and Algebraic Topology참고 문헌 11인용 수 3

한 줄 요약

이 논문은 기존의 Tietze-Nakajima 정리에 대해, 위상공간에서 R^n으로의 사상으로의 일반화를 위해 '볼록 사상'이라는 개념을 도입함으로써 이를 확장한다. 볼록 사상이란, 임의의 두 점을 연결하는 경로를 통해 그 사상의 이미지가 직선 세그먼트의 단조적 매개변수화가 되는 사상이다. 연결성, 적절성, 국소적 볼록성 및 개방성 조건 하에서, 이 논문은 전역적으로 볼록이고 개방적인 사상임을 증명하며, 그 이미지는 볼록하고, 섬유는 연결되어 있음을 보인다.

ABSTRACT

A theorem of Tietze and Nakamija, from 1928, asserts that if a subset X of R^n is closed, connected, and locally convex, then it is convex. We give an analogous "local to global convexity" theorem when the inclusion map of X to R^n is replaced by a map from a topological space X to R^n that satisfies certain local properties. We say that a map from a topological space to R^n is convex if every two points in the space can be connected by a path whose composition with the map is a weakly monotone parametrization of a straight line segment. Let X be a connected Hausdorff topological space, let T be a convex subset of R^n, and let Psi: X o T be a continuous proper map. Suppose that every point in X is contained in an open set U such that the map Psi|_U: U o Psi(U) is convex and open. Then the map Psi: X o Ψ(X) is convex and open. Consequently, its image is convex and its level sets are connected. Our motivation comes from the Condevaux-Dazord-Molino proof of the Atiyah-Guillemin-Sternberg convexity theorem in symplectic geometry.

연구 동기 및 목표

• R^n의 부분집합으로부터의 Tietze-Nakajima 국소-전역 볼록성 원리의 일반화를 위상공간에서 R^n으로 가는 연속사상으로 확장한다.
• 경로가 도메인에서 R^n 내 직선 세그먼트로 단조적 매개변수화되는 '볼록 사상'이라는 새로운 사상의 클래스를 정의하고 분석한다.
• 국소적 볼록성과 개방성이 전역적 볼록성과 개방성, 그리고 섬유의 연결성을 유도하는 조건을 확립한다.
• 심플렉틱 기하학의 응용에 기반하여, 고급 학부생 수준에서 접근 가능한 기초적인 증명 틀을 제공한다.
• 지난 연구, 특히 Birtea-Ortega-Ratiu (2007)의 결과와의 관계를 명확히 하여, 그들의 볼록성 조건이 더 강력하지만 더 깔끔하고 직관적인 진술을 도출함을 보인다.

제안 방법

• 사상 $\Psi: X \to \mathbb{R}^n$가 임의의 두 점을 연결하는 경로 $\gamma$가 존재하여 $\Psi \circ \gamma$가 $\mathbb{R}^n$ 내 직선 세그먼트의 단조적 매개변수화가 되면, 이를 볼록 사상이라 정의한다.
• X는 연결되어 있고 하우스도르프이며, $\Psi$는 적절하고, 각 점은 $\Psi|_U$가 그 이미지로의 사상으로서 볼록하고 개방적인 근방 U를 가진다.
• 컴act 집합에서의 균일한 국소 볼록성(보조정리 3)을 이용하여 경로 길이를 제어하고, 중점(보조정리 5)을 구성함으로써 경로 기반 볼록성 구조의 존재를 확보한다.
• 단위 분할과 국소 볼록성을 활용하여, 그 이미지가 직선이 되는 전역 경로를 구성함으로써 $\Psi$가 전역적으로 볼록하고 개방적임을 증명한다.
• 볼록 사상은 국소적으로 섬유 연결성을 가지며, Birsea-Ortega-Ratiu (2007)의 보다 광범위한 의미의 국소 볼록성 자료를 갖지만, 더 강력한 가정을 한다.
• 닫힘성과 적절성 조건을 활용하여, 이미지가 닫혀 있고 볼록하며, 경로 올림과 볼록성 추론을 통해 섬유가 연결되어 있음을 보장한다.

실험 결과

연구 질문

• RQ1 Tietze-Nakajima의 국소-전역 볼록성 원리는 R^n의 부분집합에서 위상공간에서 R^n으로 가는 연속사상으로까지 확장될 수 있는가?
• RQ2 사상 $\Psi: X \to \mathbb{R}^n$에 대해, 국소 볼록성과 개방성이 전역 볼록성과 연결된 섬유를 보장하는 조건은 무엇인가?
• RQ3 이 논문에서 새롭게 정의한 '볼록 사상'의 개념은 Birsea-Ortega-Ratiu (2007)에서 사용된 국소 볼록성 자료와 어떻게 비교될 수 있으며, 그 결과의 강도와 명료성에 어떤 영향을 미치는가?
• RQ4 이러한 볼록 사상 조건은 이전의 심플렉틱 기하학 및 볼록성 정리의 접근법에 비해 결론을 어떻게 단순화하거나 강화하는가?
• RQ5 Atiyah-Guillemin-Sternberg 볼록성 정리의 증명을 이 기초적인 경로 기반 볼록 사상 정의를 통해 재구성할 수 있는가?

주요 결과

• X가 연결되어 있고 하우스도르프이며, $\Psi: X \to \mathbb{R}^n$이 적절하고, 각 점이 $\Psi|_U$가 그 이미지로의 사상으로서 볼록하고 개방적인 근방 U를 가지면, $\Psi$는 그 이미지로의 전역 볼록성과 개방성을 갖는다.
• 이미지 $\Psi(X)$는 $\mathbb{R}^n$ 내에서 볼록하며, 모든 $y \in \Psi(X)$에 대해 섬유 $\Psi^{-1}(y)$는 연결되어 있다.
• 증명은 고급 학부생이 기본 위상수학 지식을 바탕으로 접근 가능한 기초적인 틀을 사용하며, 경로 구성, 균일한 국소 볼록성, 컴팩트성 추론에 의존한다.
• 저자들의 볼록 사상 조건은 Birsea-Ortega-Ratiu의 보다 광범위한 의미의 국소 볼록성 자료와 국소 섬유 연결성을 모두 포함하지만, 더 강력한 구조적 가정을 한다.
• 닫힌 구를 $\mathbb{R}^n$으로 포함시키는 포함 사상은 저자들의 정의에 따라 볼록 사상이지만, 원래 Birsea-Ortega-Ratiu (2007)의 공식화에서는 국소 볼록성 자료 조건을 만족하지 못한다.
• Birsea-Ortega-Ratiu (2007)의 결과를 고려할 때 결과는 본질적으로 새로운 것이 아니지만, 저자들의 공식화는 더 깔끔하고 직관적인 진술과 증명을 도출한다.