볼록 기하와 다면체, 토폴로지, 그리고 디오판·델로네 삼각분할의 통합 가이드

본 논문은 8개의 장으로 구성되어, 각 장마다 핵심 개념을 단계적으로 구축한다. 1장 ‘서론’에서는 저자가 80여 년간 강의해 온 내용과 현재 컴퓨터 비전·메싱·의료 영상·로보틱스 등에서 볼록 기하학이 차지하는 비중을 서술한다. 특히 쉘링을 통한 Euler‑Poincaré 공식과 Upper Bound 정리의 동기, 그리고 Delaunay 삼각분할과 Voronoi 다이어그램을 구면‑포물면 사영을 통해 정확히 연결하려는 목표를 밝힌다. 2장에서는 볼록 집합의 기본 정의, 볼록 조합, 그리고 Carathéodory, Krein‑Milman, Radon, Helly 정리를 차례로 증명한다. 특히 Carathéodory 정리를 통해 m 차원 공간에서 m+1개의 점만으로 볼록 조합을 표현할 수 있음을 강조하고, 이를 기반으로 V‑표현과 H‑표현의 변환 가능성을 예고한다. 3장 ‘분리와 지지 초평면’에서는 Hahn‑Banach‑type 분리 정리와 Farkas Lemma를 상세히 증명하고, 지지 초평면과 Minkowski 정리를 연결한다. 또한 극점‑면 쌍극성(polarity)과 그에 따른 듀얼리티 이론을 전개한다. 4장 ‘다면체와 다각형’에서는 H‑다각형(반평면 교집합)과 V‑다각형(극점의 볼록 껍질) 정의를 제시하고, 두 정의가 동등함을 증명한다. 여기서 핵심은 Fourier‑Motzkin 소거법을 이용해 부등식 시스템을 단계적으로 제거하면서 V‑표현을 얻는 과정이다. 이어서 H‑다면체와 V‑다면체의 동등성을 다루며, 이때는 원뿔(cone) 이론과 차원 상승을 이용한다. 5장 ‘사영 공간과 사영 다면체, 극점‑면 쌍극성’에서는 사영 공간의 기본 구조, 사영 변환, 그리고 비퇴화된 이차곡면(quadric)을 이용한 극점‑면 쌍극성을 정의한다. 저자는 원점이 포함된 원뿔을 사영하여 “사영 다면체”를 만들고, 이를 통해 구면과 포물면 사이의 사영 사상이 볼록 구조를 보존함을 보인다. 이 개념은 기존 문헌에 없던 새로운 정의이며, Delaunay 삼각분할을 구면 위에서 정의하고 이를 포물면으로 사영함으로써 전통적인 lifting 방법과 정확히 일치함을 증명한다. 6장 ‘조합 위상수학 기초’에서는 단순 복합체와 다면체 복합체, 조합 다양체의 정의와 기본 성질을 정리한다. 특히 메싱에서 사용되는 복합체의 연결성, 차원, 경계 구조 등을 설명하고, 이후 장에서 쉘링과 Euler‑Poincaré 공식에 활용한다. 7장 ‘쉘링과 Euler‑Poincaré 공식’에서는 쉘링 순서를 정의하고, 이를 이용해 복합체의 체인 복합체(chain complex)를 구성한다. 이후 체인 복합체의 호몰로지와 베타 수를 통해 Euler‑Poincaré 공식을 증명하고, Dehn‑Sommerville 방정식과 Upper Bound 정리를 차례로 도출한다. 특히 Upper Bound 정리의 증명에서는 McMullen의 원리를 쉘링과 결합해 고차원 다면체에서도 최대 면 수를 정확히 계산한다. 8장 ‘디리클레–보로노이 다이어그램과 Delaunay 삼각분할’에서는 먼저 디리클레–보로노이 다이어그램의 정의와 기본 성질을 소개하고, 이를 삼각분할과 연결한다. 이어서 Delaunay 삼각분할을 정의하고, 볼록 껍질(convex hull)과의 관계, 구면 위에서의 사영, 그리고 구면‑포물면 사영을 통한 전통적인 lifting 방법을 상세히 증명한다. 마지막으로 이론의 실제 적용 사례(메싱, 컴퓨터 비전, 로보틱스 등)를 간략히 제시한다. 전반적으로 논문은 이론적 엄밀함과 실용적 응용을 동시에 추구한다. 각 장마다 핵심 정리를 증명할 때는 상세한 단계와 직관적 설명을 곁들여, 대학원 수준의 독자뿐 아니라 실무 엔지니어도 이해할 수 있도록 구성하였다. 특히 사영 다면체와 Fourier‑Motzkin 소거법을 결합한 새로운 접근은 향후 고차원 컴퓨테이셔널 기하학 연구에 중요한 도구가 될 것으로 기대된다.