동차 투영을 가진 볼록 집합의 동형성

초록

이 논문은 n차원 유클리드 공간에서, 모든 m차원 직교 평면에 대한 투영이 각각 동차(비율과 부호가 평면마다 달라도 됨)인 경우, 원래의 두 볼록 집합이 전체적으로 동차임을 증명한다. 여기서 m은 2≤m≤n‑1(컴팩트 집합) 혹은 3≤m≤n‑1(폐집합)이다. 증명은 노출점에 관한 Straszewicz 정리의 정교한 변형을 활용한다.

상세 분석

본 연구는 기존에 Suss와 Hadwiger가 제시한 “볼록체와 양의 동차비율”에 관한 결과를 일반화한다. 원문에서는 두 볼록체 A, B⊂ℝⁿ가 주어지고, 임의의 m‑차원 선형 부분공간 Π에 대해 정사영 π_Π(A), π_Π(B)가 양의 비율 λ(Π)>0을 갖는 동차변환으로 서로 겹친다고 가정한다면, A와 B 자체도 동일한 비율 λ에 의해 동차임을 보였다. 저자들은 이 가정을 크게 완화한다. 첫째, 대상 집합을 ‘볼록체’가 아니라 ‘컴팩트 볼록 집합’ 혹은 ‘폐볼록 집합’으로 확대한다. 둘째, 동차비율 λ(Π)의 부호를 허용한다. 즉, 어떤 평면에서는 반전(음의 비율)도 가능하게 하여, π_Π(A)=λ(Π)·π_Π(B)+t(Π) 형태의 동차 변환을 허용한다.

핵심 정리는 두 부분으로 나뉜다. (1) 컴팩트 경우: 2≤m≤n‑1인 모든 정수 m에 대해, 모든 m‑차원 평면 Π에 대한 정사영이 위와 같은 동차 관계를 만족하면, 존재하는 고정 비율 λ와 이동벡터 t에 대해 A=λ·B+t가 성립한다. (2) 폐 경우: m의 범위를 3≤m≤n‑1로 제한하면 동일한 결론을 얻는다. 이 차이는 폐집합의 경우 노출점(exposed point)의 존재와 분포가 컴팩트 경우보다 약해질 수 있기 때문이다.

증명 전략은 Straszewicz 정리, 즉 “컴팩트 볼록 집합의 노출점은 전체 집합의 조밀한 부분집합이다”를 정교화하는 데 있다. 저자들은 각 평면 Π에 대한 동차비율 λ(Π)와 이동벡터 t(Π)를 이용해, Π에 평행한 지원 초평면을 구성하고, 그 초평면이 집합의 노출점을 잡아내는 방식을 확장한다. 특히, 서로 다른 Π에서 얻어지는 λ(Π)·t(Π) 관계가 일관되게 하나의 전역 λ와 t로 수렴하도록 보이기 위해, 노출점들의 교차 구조와 극한 과정을 정밀히 다룬다.

또한, 부호가 다른 경우(음의 λ)에도 동일한 논리를 적용하기 위해, 투영된 집합이 반전될 때 발생하는 ‘대칭 노출점’ 개념을 도입한다. 이를 통해, 평면마다 다른 방향으로 뒤집히더라도 전체 집합의 형태는 동일한 스케일과 이동으로 설명될 수 있음을 증명한다.

결과적으로, 이 논문은 “투영이 동차이면 원집합도 동차”라는 직관을 고차원 볼록 기하학에서 엄밀히 확립하고, 기존 결과의 가정을 크게 완화함으로써, 컴팩트·폐 볼록 집합 전반에 적용 가능한 일반 정리를 제공한다.