[논문 리뷰] On the shadow boundary of a centrally symmetric convex body

Ákos G. Horváth|ArXiv.org|2007. 06. 20.

Point processes and geometric inequalities참고 문헌 14인용 수 3

한 줄 요약

이 논문은 n차원 유클리드 공간 내 중심 대칭 볼록체의 그림자 경계의 위상적 구조를 조사하며, 만약 이분선(두 점 사이의 거리가 동일한 점들의 집합, Minkowski 노름 하에서 정의됨)이 위상적 초평면이라면, 그림자 경계는 (n−2)-구와 위상동형임을 증명한다. 주요 기여는 다각체의 경우, 이러한 임베딩이 표준적임을 증명하는 것으로, 즉 이분선이 위상적 초평면일 때이고 그저 그림자 경계가 위상적 (n−2)-구일 때에만 성립한다.

ABSTRACT

We discuss the concept of the shadow boundary of a centrally symmetric convex ball $K$ (actually being the unit ball of a Minkowski normed space) with respect to a direction ${\bf x}$ of the Euclidean n-space $R^n$. We introduce the concept of general parameter spheres of $K$ corresponding to this direction and prove that the shadow boundary is a topological manifold if all of the non-degenerated general parameter spheres are, too. In this case, using the approximation theorem of cell-like maps we get that they are homeomorphic to the $(n-2)$-dimensional sphere $S^{(n-2)}$. We also prove that the bisector (equidistant set of the corresponding normed space) in the direction ${\bf x}$ is homeomorphic to $R^{(n-1)}$ iff all of the non-degenerated general parameter spheres are $(n-2)$-manifolds implying that if the bisector is a homeomorphic copy of $R^{(n-1)}$ then the corresponding shadow boundary is a topological $(n-2)$-sphere.

연구 동기 및 목표

• 중앙 대칭 볼록체의 그림자 경계와 Minkowski 공간 내 이분선의 구조 사이의 위상적 관계를 명확히 하기.
• 모든 이분선이 위상적 초평면이라는 조건이 단위 구의 엄격한 볼록성을 유도하는지 여부를 규명하기.
• 그림자 경계가 위상적 (n−2)-구라는 조건이 이분선이 위상적 초평면임을 특징짓는지 조사하기.
• 특히 비표준(야생) 임베딩을 허용하는지 여부를 포함해, 다각체의 경우 이분선과 그림자 경계의 임베딩 성질을 분석하기.

제안 방법

• 방향 x에 대해 선이 K의 내부로 들어가지 않고 지그재그로 지나가는 점들을 포함하는 경계점의 집합으로서 그림자 경계 S(K,x)를 정의한다.
• x에 수직인 초평면 위로의 수직 투영 px를 사용하여 K의 투영 경계와 그림자 경계를 연결한다.
• bdK의 양의 부분 K+와 음의 부분 K−를 각각 열린, 궤적 연결된 집합으로 간주하며, 이들은 R^{n-1}과 위상동형임을 특징짓는다.
• 게이지 함수의 등치수준 집합으로서 일반화된 매개변수 구면 γλ(K,x)을 도입하고, 셀 유사 사상에 의한 근사화를 통해 그 위상적 성질을 연구한다.
• M.Brown의 정리(위상동형된 R^{n-1}의 증가하는 수열의 합집합에 관한 정리)를 적용하여, 모든 비퇴화된 매개변수 구면이 S^{n-2}와 위상동형이라면, 이분선 Hx가 R^{n-1}과 위상동형임을 증명한다.
• 표준화 및 위상동형의 연장 기법을 사용하여, 다각체의 경우 이분선, 그림자 경계, 매개변수 구면의 임베딩이 표준적임을 보이며, 즉 환경 공간의 위상동형에 의해 표준 임베딩과 동치임을 보인다.

실험 결과

연구 질문

• RQ1 중앙 대칭 볼록체의 그림자 경계가 (n−2)-구와 위상동형일 때이고 그저 해당 이분선이 위상적 초평면일 때에만 성립하는가?
• RQ2 그림자 경계가 위상적 (n−2)-구가 아니더라도 이분선이 위상적 초평면이 될 수 있는가?
• RQ3 다각체의 경우, 이분선, 그림자 경계, 일반 매개변수 구면의 임베딩이 항상 표준적(즉, 환경 위상동형에 의해 표준 임베딩과 동치)인가?
• RQ4 그림자 경계의 위상적 구조가 이분선이 위상적 초평면임을 유도하고, 그 반대도 성립하는가?
• RQ5 일반 매개변수 구면이 다각체일 때, 어떤 조건에서 이분선이 R^{n-1}과 위상동형이 되는가?

주요 결과

• 그림자 경계 S(K,x)는 컴acts, 연결된, (n−2)-차원 집합이며, K의 경계를 세 개의 서로소 부분으로 나눈다: S(K,x), K+, 및 K−.
• K+와 K−는 R^{n-1}과 위상동형이며, 그들의 합집합은 열려 있고 궤적 연결되어 있다.
• 이분선 Hx가 R^{n-1}과 위상동형이라면, λ > λ₀ 인 모든 비퇴화된 일반 매개변수 구면 γλ(K,x)는 S^{n-2}와 위상동형이며, 그림자 경계 S(K,x)는 위상적 (n−2)-구이다.
• 다각체의 경우, 이분선 Hx, 그림자 경계 S(K,x), 일반 매개변수 구면 γλ(K,x)의 임베딩은 모두 표준적이다. 즉, 환경 공간의 위상동형에 의해 표준 임베딩과 동치이다.
• 이분선 Hx가 위상적 초평면일 때이고 그저 그림자 경계 S(K,x)가 위상적 (n−2)-구일 때에만 성립하며, 이는 모든 관련 집합이 다각체임을 가정할 때 성립한다.
• 증명은 M.Brown의 정리와 표준화된 집합에서의 위상동형 연장 기법에 기반하며, 보완 성분의 셀 유사 구조가 표준 임베딩을 보장함을 보여준다.