미분가능 경계 집합의 비분해성, 1‑세밀 위상에서 연결성으로 규명

초록

본 논문은 유한 주변길이(퍼리미터)를 가진 집합이 ‘비분해 가능(indecomposable)’인지 여부를, 적절한 대표자를 선택했을 때 1‑세밀 위상에서 연결되어 있는지와 동치임을 증명한다. 이 결과는 완비·이중·1‑Poincaré 부등식을 만족하고 두‑면성(two‑sidedness) 특성을 갖는 일반적인 거리 측정공간(예: 리만 다양체, Carnot 군, RCD(K,N) 공간)에서도 성립한다. 이를 통해 기존의 측정론적 분해 정리를 새로운 위상학적 관점에서 재구성하고, 1‑세밀 영역의 지역 연결성, Cartan 성질(p=1) 등을 부수적으로 확보한다.

상세 분석

논문은 먼저 (X,d,m) 를 완비이며 측정이 이중이고 1‑Poincaré 부등식을 만족하는 PI 공간으로 가정한다. 여기서 두‑면성(two‑sidedness) 특성은 두 개의 서로 소인 유한 퍼리미터 집합 E, F에 대해 경계 교차점에서 외부가 거의 없음을 의미한다. 이 가정은 리만 다양체, Carnot 군, RCD(K,N) 등 주요 비유클리드 공간에 자동으로 만족한다.

집합 E⊂X 가 유한 퍼리미터 P(E,X)<∞ 를 가질 때, 측정론적 내부 I E와 외부 O E를 정의하고, I E의 1‑세밀 내부 fine‑int I E 를 1‑세밀 위상(1‑thinness와 1‑capacity를 이용)에서 열린 집합으로 만든다. 핵심 정리(Theorem 1.1)는 “E 가 indecomposable ⇔ fine‑int I E 가 1‑세밀 위상에서 연결”임을 보인다. 증명은 다음 단계로 구성된다.

1. 1‑세밀 위상의 기본 성질: 1‑thin 집합의 정의와 capacity 비율을 이용해 fine‑topology 가 Hausdorff가 아니더라도 지역 연결성을 가짐을 보인다(Section 3, 4). 특히, fine‑ball이 1‑thin이 아닌 경우 그 내부는 1‑capacity가 양수인 점들을 포함하므로 연속적인 curve가 존재한다는 점을 활용한다.

2. BV 함수와 퍼리미터의 연관: BV 함수의 총 변동 ‖Du‖와 퍼리미터 P(E,·) 사이의 coarea 공식(2.5)을 이용해, E의 경계가 1‑세밀 위상에서 “두‑면성”을 만족하면 경계의 Hausdorff 측정이 유한함을 보인다(2.13‑2.14). 이는 fine‑int I E 와 fine‑ext O E 가 거의 겹치지 않음을 의미한다.

3. Indecomposability ⇔ Fine‑Connectedness: E 가 indecomposable이면, 임의의 두 비공집합 A,B⊂fine‑int I E 가 1‑capacity가 0인 경우를 제외하고는 서로 연결될 수 없다는 역을 보인다. 반대로, fine‑int I E 가 연결이면, E 를 두 개의 비중첩 집합 F,G 로 분할했을 때 퍼리미터가 가법적으로 분해되지 않음을 보여 indecomposable임을 증명한다. 여기서 핵심은 (2.6)의 불등식과 (2.3)의 퍼리미터 서브어디티를 결합해 “분할 시 퍼리미터 감소가 불가능함”을 확보하는 것이다.

4. Cartan 성질(p=1): Section 8에서는 1‑capacity 관점에서 Cartan 성질을 증명한다. 이는 1‑thin 집합의 보조정리로, fine‑topology 에서의 연속성 및 경계 정리를 뒷받침한다.

마지막으로, fine‑int I E 의 연결 성분이 바로 E 의 ‘본질적 연결 성분(essential connected components)’임을 보이며, 기존의 분해 정리(Amrosio‑et‑al.)를 새로운 위상학적 증명으로 재구성한다. 전체 논증은 측정론, 변분법, 그리고 비유클리드 기하학을 통합한 고도의 기술을 요구한다.