쿠라토프스키 그래프 평면성 기준의 간결한 증명

논문은 “쿠라토프스키 그래프 평면성 기준”이라는 고전적인 정리를 보다 직관적이고 간결하게 증명하는 방법을 제시한다. 서두에서는 평면 그래프의 정의와 쿠라토프스키 정리(그래프가 K₅ 혹은 K₃,₃의 호모토픽 부분그래프를 포함하지 않을 때 평면임)를 간단히 소개하고, 기존 증명의 난이도를 지적한다. 이후 마카리체프(1997)의 짧은 증명을 기반으로, 프라솔로프·텔리셰프·자슬라프스키·저자에 의해 추가된 간소화 과정을 설명한다. **1. 기본 정의와 전제** - 그래프는 루프와 다중 간선을 허용하지 않는 단순 그래프만을 고려한다. - 간선 삭제(G−e), 간선 수축(G/e), 정점 삭제(G−x) 연산을 정의하고, 이러한 연산이 평면성에 미치는 영향을 정리한다. **2. 핵심 명제(Proposition)** “연결 그래프 G가 K₅·K₃,₃와 동형이 아니고, 모든 간선 e에 대해 G−e와 G/e가 평면이면 G도 평면이다.” 이 명제는 귀납적 증명의 핵심이며, ‘if’ 부분을 증명하기 위한 충분조건을 제공한다. **3. Lemma(쿠라토프스키 그래프에 대한 3조건 동치)** 세 가지 조건을 제시한다. (1) 모든 간선 xy에 대해 G−x−y가 θ‑그래프를 포함하지 않으며, 각 정점에서 최소 두 간선이 나와야 함. (2) 모든 간선 xy에 대해 G−x−y가 n≥3인 사이클이어야 함. (3) G가 K₅ 혹은 K₃,₃와 동형이어야 함. (3⇒2⇒1)은 자명하지만, (1⇒2)와 (2⇒3)의 증명을 상세히 전개한다. (1⇒2)에서는 G−x−y가 ‘사이클 트리’ 구조를 이루며, ‘걸려있는’ 사이클 C를 찾아내고, C와 x, y, p, q 정점 사이의 연결을 분석해 θ‑그래프가 존재하면 (1)에 모순이 된다는 논리를 전개한다. (2⇒3)에서는 사이클의 길이 n에 따라 경우를 나누어, n=3이면 K₅, n=4이면 K₃,₃, n≥5는 모순을 보인다. **4. 명제 증명** Lemma을 이용해 G에서 적절한 간선 xy를 선택한다. 두 경우를 고려한다. - **정점 차수가 1·2인 경우**: 해당 정점을 삭제하거나 수축하면 평면성이 유지되므로 G는 평면이다. - **θ‑그래프가 존재하는 경우**: G/e를 평면에 그린 뒤, 면 경계의 사이클 C를 찾는다. Jordan Curve Theorem을 이용해 C가 면을 두 영역으로 나누고, xy가 C 내부에 있음을 확인한다. 이후 G−R−C (여기서 R은 C 외부에 있는 부분그래프) 를 C 내부로 이동시키고, R을 외부에 그대로 두어 xy를 삽입해도 교차가 없음을 보인다. **5. 귀납 단계** 명제가 성립하면, G−e 혹은 G/e 중 하나가 K₅·K₃,₃를 포함한다면 원래 G도 해당 부분그래프를 포함한다는 역함수를 이용해 귀납을 마무리한다. 따라서 모든 연결 그래프에 대해 ‘if’ 부분이 증명된다. **6. 러시아어 버전 및 부가 내용** 논문은 러시아어 섹션을 포함해, 정의와 보조 정리를 보다 상세히 제시한다. 또한 다양한 참고문헌을 열거하며, 쿠라토프스키 정리와 관련된 다른 평면성 기준(Thomassen, Whitney 등)과 4색 정리와의 연관성을 언급한다. **7. 결론** 이 증명은 위상학적 복잡성을 최소화하고, 순수 그래프 이론(삭제·수축·차수 분석)만으로 쿠라토프스키 정리를 증명한다는 점에서 교육적 가치가 크다. 특히 학생들이 직접 따라 할 수 있는 단계별 논증과 그림(‘uncontraction’, ‘tree of cycles’)을 제공함으로써, 기존 교재에서 다루기 어려운 부분을 보완한다. 전체적으로 논문은 명확한 구조와 충분한 설명을 통해, 쿠라토프스키 평면성 기준을 처음 접하는 독자부터 숙련된 연구자까지 모두에게 유용한 자료가 된다.