디지털 정상 n 공간에서의 요르단 브루워 정리

초록

본 논문은 그래프 이론을 기반으로 정의된 디지털 정상 n-공간 (Z^{n}) 에서, 디지털 n-구와 n-다양체의 성질을 정리하고, 이 공간에 대한 요르단‑브루워 정리의 디지털 아날로그를 증명한다.

상세 분석

이 연구는 디지털 토폴로지를 그래프의 정점·간선 구조로 완전히 귀결시킴으로써 연속적인 위상 개념을 순수히 이산적인 형태로 재구성한다. 먼저 정상 0‑구를 두 정점으로 이루어진 비연결 그래프 (S_{0}) 로 정의하고, 재귀적으로 (n>0) 에 대해 각 정점의 주변 (O(v)) 가 정상 ((n-1))‑구인 경우를 (n)‑다양체, 모든 정점을 제거했을 때 남는 그래프가 수축가능(컨트랙터블)하면 (n)‑구라 정의한다. 이러한 정의는 기존의 셀 복합체나 심플렉스 복합체와 달리 순수 그래프 연산만으로 차원과 경계 개념을 도출한다는 점에서 혁신적이다.

정리 3.1은 두 정상 구의 조인 (M\oplus N) 이 정상 ((m+n+1))‑구가 됨을 보이며, 조인 연산이 차원을 하나씩 증가시키는 ‘디지털 구의 합성’ 역할을 함을 확인한다. 정리 3.2와 3.3은 정상 구에서 임의의 수축가능 부분공간을 제거하면 남는 부분이 여전히 수축가능함을 귀납적으로 증명하고, 한 변을 제거하면 정상 (n)‑디스크가 된다는 구체적 구조를 제시한다. 이는 디지털 공간에서 ‘구멍’이나 ‘경계’를 다루는 기본적인 도구가 된다.

분할(partition) 개념을 도입해 두 비공집합 (A, B) 와 그 사이를 구분하는 연결된 부분 (C) 가 존재할 때, 전체 공간이 수축가능함은 (A\cup C)와 (C\cup B)가 각각 수축가능함과 동치임을 정리 4.1에서 증명한다. 이는 연속 위상에서의 ‘두 부분으로 나누어지는 구역’과 유사한 역할을 하며, 디지털 구의 분할을 체계화한다.

정리 4.2와 4.3은 정상 (n)‑다양체 안에 포함된 정상 ((n-1))‑구가 언제 분리 공간이 되는지를 정확히 규정한다. 특히 정상 (n)‑구에서 ((n-1))‑구 (S)가 존재하면 (M=A\cup S\cup B) 와 같이 두 디스크 (A\cup S, S\cup B) 로 분할될 수 있음을 보인다. 이는 고전적인 요르단‑브루워 정리의 디지털 버전으로, ‘구면을 나누는 초평면’이 디지털 세계에서도 동일한 위상적 효과를 갖는다는 것을 의미한다.

마지막으로 정의 5.1에서 제시된 정상 (Z^{n}) 은 좌표가 정수인 격자점들에 대해 ‘홀·짝’ 패턴에 따라 인접성을 정의한 구조이며, 이는 Khalimsky 위상의 n‑차원 직교곱으로 해석된다. 이 공간에서 위에서 증명한 정리들을 적용하면, 디지털 이미지 처리·컴퓨터 비전 분야에서 2‑차원·3‑차원뿐 아니라 고차원 데이터에 대한 경계 검출·구분 알고리즘을 이론적으로 보장할 수 있다. 전체적으로 논문은 디지털 토폴로지의 기본 정리를 그래프 이론으로 완전 귀결시켜, 고차원 디지털 공간에서도 연속 위상의 핵심 정리를 그대로 적용할 수 있음을 증명한다.