[논문 리뷰] Convex sets with homothetic projections

Valeriu Soltan|ArXiv.org|2009. 03. 16.

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

한 줄 요약

이 논문은 ℝⁿ 내의 컴팩트하거나 닫힌 볼록집합이 모든 m차원 부분공간(2 ≤ m ≤ n−1, 또는 비유계 집합의 경우 3 ≤ m ≤ n−1)에 대한 수직투영이 동치비를 갖는 경우에만 동치비를 갖는다고 규명한다. 동치비 비율은 각 투영마다 다를 수 있다. 증명은 노출점에 관한 Straszewicz 정리의 개선된 형태에 기반하며, 양의 동치비뿐 아니라 음의 동치비까지 다루며, Süss와 Hadwiger의 고전적 결과를 전체 동치비 군으로 확장한다.

ABSTRACT

Extending results of Suss and Hadwiger (proved by them for the case of convex bodies and positive ratios), we show that compact (respectively, closed) convex sets in the Euclidean space of dimension n are homothetic provided for any given integer m between 2 and n - 1 (respectively, between 3 and n - 1), the orthogonal projections of the sets on every m-dimensional plane are homothetic, where homothety ratio and its sign may depend on the projection plane. The proof uses a refined version of Straszewicz's theorem on exposed points of compact convex sets.

연구 동기 및 목표

• ℝⁿ에서 양의 동치비에 관한 Süss의 정리와 Hadwiger의 정리를 음의 비율을 포함한 전체 동치비 군으로 확장하는 것.
• 컴팩트하거나 닫힌 볼록집합이 동치비를 갖는 데 보장하는 최소 투영 부분공간의 차원 m을 규명하는 것.
• 비유계 볼록집합의 경우 m ≥ 3 조건의 날카로움을 입증하기 위해, 2차원 투영은 동치비를 갖지만 집합 자체는 동치비를 갖지 않는 반례를 구성하는 것.
• 고정된 r차원 부분공간을 포함하는 모든 m차원 평면에서의 투영이 동치비를 갖는 경우 원래 집합 간의 동치비를 보장하는 상대적 형태의 정리 수립

제안 방법

• 컴팩트 볼록집합이 노출점들의 닫힌 볼록집합임을 나타내는 Straszewicz 정리의 개선된 형태를 사용한다.
• 볼록집합의 선성공간과 회귀원뿔을 분석하여, m차원 평면에 대한 투영이 동치비를 갖는다면 원래 집합의 선성공간이 같아야 한다고 보여준다.
• 공통된 선성공간을 따라 분해함으로써 문제를 선이 없는 경우로 축소한다.
• 차원 ≥ m ≥ 3인 부분공간에서의 투영 기하학을 활용하여, 고정된 직선을 포함하는 모든 m차원 평면에서의 투영이 동치비를 갖는다면 원래 집합도 동치비를 갖는다고 보여준다.
• 회귀원뿔의 대칭성 분석과 [13]에서 알려진 고차원에서의 동치비에 관한 결과를 적용하여, 투영에서의 양의 및 음의 동치비를 구분한다.
• 중간 투영을 통한 전이성 원리 적용: 더 큰 부분공간에서의 투영이 동치비를 갖는다면, 모든 낮은 차원의 부분공간(예: 2차원 또는 3차원)에서도 동치비를 갖는다. 이를 통해 정리 1을 적용할 수 있다.

실험 결과

연구 질문

• RQ1 ℝⁿ 내의 컴팩트하거나 닫힌 볼록집합이 동치비를 갖는 조건은 무엇인가? 이때 음의 동치비 비율까지 포함할 수 있는가?
• RQ2 비유계 볼록집합의 경우 m ≥ 3 조건이 날카로운가, 아니면 m = 2로도 충분한가?
• RQ3 고정된 r차원 부분공간을 포함하는 모든 m차원 평면에서의 투영이 동치비를 갖는다면, 원래 집합 간의 전역적 동치비가 성립하는가?
• RQ4 노출점과 회귀원뿔의 행동은 투영에서의 동치비 비율의 연속성과 구조에 어떤 영향을 미치는가?
• RQ5 고전적인 Süss와 Hadwiger의 정리는 음의 동치비 비율까지 포함하여 어느 정도 일반화될 수 있는가?

주요 결과

• ℝⁿ 내 컴팩트 볼록집합에 대해, K₁과 K₂는 모든 m차원 부분공간(2 ≤ m ≤ n−1)에 대한 수직투영이 동치비를 갖는 경우에만 동치비를 갖는다. 이때 동치비 비율은 각 투영 평면마다 다를 수 있다.
• 닫힌(유계 또는 비유계일 수 있음) 볼록집합에 대해, 동일한 동치비 조건이 m ≥ 3일 때 성립함을 보여, 비유계 경우 m = 2는 부족함을 입증한다.
• ℝ³ 내에서 동치비를 갖지 않는 두 포물면의 예시는 2차원 투영은 양의 동치비를 갖지만 집합 자체는 동치비를 갖지 않음을 보여, 비유계 집합의 경우 m ≥ 3 조건이 날카로움을 입증한다.
• K₁과 K₂의 선성공간은 반드시 일치해야 하며, 그렇지 않으면 특정 m차원 평면에서의 투영 동치비 조건이 위반된다.
• 공통된 선성공간을 따라 분해한 후 문제를 선이 없는 경우로 환원하면, 노출점 이론과 투영 기하학을 적용할 수 있다.
• 상대적 형태의 정리(보조정리 1)는 고정된 r차원 부분공간을 포함하는 모든 m차원 평면에서의 투영이 동치비를 갖는다면 원래 집합도 동치비를 갖는다고 보여주며, 이는 제약 조건이 있는 투영 가족으로의 결과 확장을 가능하게 한다.