On real functions with graphs either connected or locally connected

이 논문은 실수에서 실수로 가는 함수의 그래프들로 구성된 공간들의 집합 내에서, 서로 위상동형이 아닌 비가산 개수의 공간들을 구성하고, 국소 연결성을 가진 공간들의 가산 개수의 동치류를 완전히 분류하며, 실수 집합 위의 국소 연결 분리 가능한 세밀 위상구조가 국소 콤팩트하며 그래프 공간 중 하나와 위상동형임을 증명합니다.

핵심

이 논문은 수학, 특히 위상수학 (Topology) 의 세계를 다루고 있습니다. 위상수학은 도형의 모양이 늘어나거나 구부러져도 변하지 않는 '본질적인 성질'을 연구하는 학문입니다.

이 글의 핵심은 **"실수 (Real Numbers, 즉 0, 1, 2, 3... 와 그 사이의 모든 숫자) 를 그래프로 그렸을 때, 어떤 모양이 될 수 있는가?"**를 탐구하는 것입니다. 저자는 이 그래프들이 서로 얼마나 다르게, 그리고 얼마나 많이 존재할 수 있는지를 증명했습니다.

이 복잡한 내용을 일상적인 비유로 쉽게 설명해 드리겠습니다.

---

1. 기본 설정: 실수라는 '길'과 '그래프'라는 '지도'

상상해 보세요. **실수 (R)**는 끝없이 이어진 평평한 도로입니다.
이 도로 위에 어떤 **함수 (Function)**를 그렸다고 치죠. 함수는 도로 위의 각 점 (x) 에 대해 높이 (y) 를 정해주는 규칙입니다. 이 규칙을 그래프로 그리면 평면 (R²) 위에 선이 생깁니다.

이 논문은 이 **그래프 (선)**들이 어떤 '위상적 성질'을 가질 수 있는지 분류합니다. 여기서 중요한 두 가지 성질은 다음과 같습니다.

• 연결성 (Connectedness): 그래프가 끊어지지 않고 하나로 이어져 있는 상태. (예: 끊어진 다리가 아니라, 한 줄로 이어진 다리)
• 국소 연결성 (Local Connectedness): 아주 작은 부분을 확대해 봐도 여전히 끊어지지 않고 이어져 있는 상태. (예: 거대한 다리 전체는 연결되어 있지만, 다리 한 구석의 작은 조각을 잘라내면 그 조각도 뭉개지지 않고 하나의 덩어리여야 함)

2. 주요 발견 1: "상호 비교 불가능한" 거대한 그래프들의 숲 (Theorem 1 & 3)

저자는 실수 위에 그릴 수 있는 그래프들 중에서 서로 비교할 수 없을 정도로 다양한 종류가 존재함을 증명했습니다.

• 비유: 마치 거대한 도서관을 상상해 보세요.
  • 연결된 그래프 (Connected): 도서관의 책들이 모두 하나의 거대한 통로로 이어져 있는 상태입니다.
  • 상호 비교 불가능 (Incomparable): 이 도서관들 중 어떤 것은 다른 도서관의 일부로 들어갈 수 없고, 서로 모양도 다릅니다. A 도서관을 B 도서관의 작은 방으로 만들 수 없고, B 를 A 로 만들 수도 없습니다. 완전히 다른 '우주'입니다.

핵심 결론:

1. 연결된 그래프 중에는 서로 비교할 수 없는 종류가 **엄청나게 많음 (2^c 개)**을 발견했습니다. 이는 '무한'보다 훨씬 더 큰 무한입니다. 이 그래프들은 평면의 모든 구석구석에 퍼져 있어 (밀집되어), 끊어지지 않았지만 매우 기괴한 형태를 띱니다.
2. 완벽하게 측정 가능한 (Completely Metrizable) 그래프도 **엄청나게 많음 (c 개)**을 발견했습니다. 이는 수학적으로 매우 깔끔하고 규칙적인 그래프들입니다.

중요한 차이: 이 거대한 그래프들은 "연결되어 있지만, 아주 작은 부분을 확대하면 끊어지거나 뭉개지는" 기묘한 성질을 가집니다. 즉, 전체적으로는 연결되어 있지만, 국소적으로는 연결되어 있지 않습니다.

3. 주요 발견 2: "국소 연결성"의 귀한 가치 (Theorem 4)

반면, **국소 연결성 (Local Connectedness)**을 가진 그래프들은 어떨까요?

• 비유: 위에서 말한 거대한 도서관과 달리, 국소 연결된 그래프는 마치 정돈된 공원 같습니다. 전체가 연결되어 있을 뿐만 아니라, 풀 한 포기, 나무 한 그루를 확대해 봐도 여전히 하나의 덩어리입니다.

핵심 결론:

• 저자는 놀라운 사실을 발견했습니다. 국소 연결된 그래프의 종류는 생각보다 매우 적습니다. 오직 유한하거나 (countable), 셀 수 있는 (countably infinite) 수만큼만 존재합니다.
• 연결된 그래프는 무한히 다양하지만, 국소 연결된 그래프는 종류가 제한적입니다.
• 게다가, 국소 연결된 그래프들은 서로 비교할 수 없습니다. 즉, 어떤 국소 연결된 그래프도 다른 국소 연결된 그래프의 '부분'이 될 수 없습니다. (단, 이산적인 점들이나 특별한 경우를 제외하고는 서로 포함 관계가 성립하지 않음)

4. 실수의 위상 (Topology) 을 바꾸는 실험

이 논문은 단순히 그래프 모양을 연구하는 것을 넘어, 실수 자체의 '위상' (거리의 개념이나 연결의 규칙) 을 어떻게 바꿀 수 있는지도 다룹니다.

• 비유: 실수는 원래 '평평한 도로' (유클리드 위상) 를 가지고 있습니다. 하지만 저자는 이 도로의 규칙을 바꿔서, "이 구간은 끊어지지 않고 이어져야 한다"거나 "이 구간은 아주 멀리 떨어져 있어야 한다"는 새로운 규칙을 만들 수 있습니다.
• 결과:
  • 연결된 새로운 규칙: 연결성을 유지하면서 규칙을 바꾸면, 위에서 말한 '상호 비교 불가능한' 그래프들을 만들 수 있어 **거대한 수 (2^c)**만큼의 새로운 세계가 탄생합니다.
  • 국소 연결된 새로운 규칙: 국소 연결성을 유지하면서 규칙을 바꾸면, 그 종류는 매우 적습니다.

5. 요약: 이 논문이 우리에게 주는 메시지

이 논문은 수학자들이 "연결"이라는 개념을 얼마나 섬세하게 다룰 수 있는지 보여줍니다.

1. 연결성 (Connectedness) 은 매우 유연합니다: 끊어지지 않는 그래프를 만들 때, 서로 비교할 수 없을 정도로 다양한 (2^c 개) 기괴한 형태를 만들 수 있습니다. 이들은 전체는 연결되어 있지만, 아주 작은 부분에서는 엉망진창일 수 있습니다.
2. 국소 연결성 (Local Connectedness) 은 매우 엄격합니다: 아주 작은 부분까지도 깔끔하게 연결되게 하려면, 가능한 형태가 매우 제한적입니다 (셀 수 있는 수).
3. 비교의 불가능성: 저자는 서로 다른 두 연결된 그래프가 서로의 '부분'이 될 수 없는 경우를 증명했습니다. 마치 서로 다른 우주가 서로의 일부가 될 수 없는 것과 같습니다.

한 줄 요약:

"실수 위에 그릴 수 있는 '연결된 선'은 상상할 수 없을 정도로 다양하고 기괴하게 많지만, '아주 작은 부분까지도 깔끔하게 연결된 선'은 생각보다 종류가 적고 규칙적입니다."

이 연구는 수학의 기초가 되는 '연결'과 '거리'의 개념이 얼마나 깊고 복잡한지, 그리고 그 안에서 어떤 놀라운 구조들이 숨어 있는지를 보여주는 위대한 탐구입니다.

기술 요약

논문 개요

이 논문은 실수 함수 $F: \mathbb{R} \to \mathbb{R}$ 의 그래프를 $\mathbb{R}^2$ 의 부분공간으로 간주했을 때, 그 위상적 성질 (연결성, 국소 연결성, 완전 거리화 가능성 등) 에 따라 분류하고, 이러한 그래프들이 유도하는 실수선 $\mathbb{R}$ 의 위상수학적 정제 (refinements) 를 연구합니다. 저자는 연결된 그래프와 국소 연결된 그래프가 갖는 위상적 구조의 극단적인 차이를 규명하고, 서로 비교 불가능한 (incomparable) 공간들의 존재성과 그 기수 (cardinality) 를 증명합니다.

1. 연구 문제 및 배경

• 문제 정의: 실수 함수 $F$ 의 그래프 $G_F \subset \mathbb{R}^2$ 를 $\mathbb{R}^2$ 의 부분공간으로 볼 때, $G_F$ 가 **연결 (connected)**이거나 **국소 연결 (locally connected)**인 경우의 위상적 성질을 분석합니다.
• 배경:
  • 연속 함수의 그래프는 경로 연결 (pathwise connected) 이며, 모든 경로 연결된 그래프는 서로 위상동형입니다.
  • 그러나 단순히 연결된 그래프의 경우, 서로 위상동형이 아닌 다양한 구조가 존재할 수 있습니다.
  • 연결성 vs 국소 연결성: 실수 함수의 그래프에서 연결성과 국소 연결성은 극단적으로 다른 성질입니다. 특히, 불연속인 실수 함수의 그래프가 연결되면서 동시에 국소 연결될 수 있는지에 대한 질문이 핵심입니다.

2. 주요 방법론

논문은 다음과 같은 수학적 기법들을 종합적으로 활용합니다:

• 초한 귀납법 (Transfinite Induction): $\mathbb{R}$ 의 기수 $c = 2^{\aleph_0}$ 를 이용하여, 서로 다른 위상적 성질을 가진 함수들의 집합을 구성합니다.
• 측도론 및 범주론 (Measure and Category Theory):
  • Massive 집합: 르베그 측도가 0 이 아닌 모든 집합과 교집합을 갖는 집합 (즉, 조밀하면서도 매우 '두꺼운' 집합) 을 구성하여 비가측 함수를 생성합니다.
  • 메이저 집합 (Meager set): 불연속점 집합의 크기를 분석합니다.
• Lavrentieff 확장 정리: 부분공간 간의 위상동형 사상을 전체 공간으로 확장하여 위상적 불변량을 분석합니다.
• 구간 분할 (Interval Partitions): 국소 연결된 위상 구조를 실수선의 구간 분할로 매핑하여 분류합니다.
• 초filter (Ultrafilter) 및 선형대수: 실수를 $\mathbb{Q}$ 위의 벡터공간으로 간주하고, 초filter 를 이용하여 비가산 개의 서로 다른 위상을 구성합니다.

3. 주요 결과 및 정리

A. 연결된 실수 함수 (Connected Real Functions)

1. 정리 1 (Theorem 1):
   • $\mathbb{R}^2$ 의 조밀한 부분공간이면서 연결되고, 서로 **비교 불가능 (incomparable)**한 실수 함수가 $2^c$ 개 존재합니다.
   • 여기서 '비교 불가능'이란 두 공간 $X, Y$ 에 대해 $X$ 가 $Y$ 의 부분공간과 위상동형이거나 $Y$ 가 $X$ 의 부분공간과 위상동형인 경우가 $X=Y$ 인 경우 외에는 없다는 뜻입니다.
   • 이러한 함수들은 르베그 측도에서 'massive'하며, 비가측 집합입니다.
2. 정리 2 (Theorem 2):
   • 연결된 **완전 거리화 가능 (completely metrizable)**인 실수 함수의 경우, 그 불연속점 집합은 $\mathbb{R}$ 에서 메이저 (meager) 집합이어야 합니다.
   • 이는 정리 1 의 결과물들이 완전 거리화 가능하지 않음을 의미합니다.
3. 정리 3 (Theorem 3):
   • 연결되고 완전 거리화 가능하며 서로 비교 불가능한 실수 함수가 정확히 $c$ 개 존재합니다.
   • 이는 Borel 집합의 기수가 $c$ 임을 고려할 때 최대 기수입니다.

B. 국소 연결된 실수 함수 및 위상 정제 (Locally Connected Spaces)

1. 명제 1 (Proposition 1):
   • 실수 함수의 그래프가 연결이면서 동시에 국소 연결일 수 있는 유일한 경우는 연속 함수 (즉, 유클리드 위상) 뿐입니다.
   • 즉, 불연속인 실수 함수의 그래프는 연결되어도 국소 연결될 수 없습니다.
2. 정리 4 (Theorem 4):
   • 국소 연결인 실수 함수의 그래프 (또는 이에 대응하는 $\mathbb{R}$ 의 위상 정제) 는 위상동형에 대해 **가산 개 ($\aleph_0$)**만 존재합니다.
   • 이는 연결된 경우 ($2^c$개 또는$c$ 개) 와 대조적으로 국소 연결된 경우는 매우 제한적임을 보여줍니다.
   • 이러한 공간들은 모두 자기 자신의 진부분공간 (proper subspace) 과 위상동형입니다.
3. 정리 5 및 분류 (Theorem 5):
   • 국소 연결된 $\mathbb{R}$ 의 모든 위상 정제는 실수선의 **구간 분할 (interval partition)**에 의해 완전히 분류됩니다.
   • 분할의 타입 (단일점, 컴팩트 구간, 반개구간, 열린구간의 개수) 에 따라 위상적 동형류가 결정됩니다.

C. 비거리화 가능 연결 정제 (Non-metrizable Connected Refinements)

• 정리 6 (Theorem 6):
  • 거리화 가능성 (metrizability) 조건을 제거하면, 비교 불가능하고 연결된 $\mathbb{R}$ 의 위상 정제가 $2^{2^c}$ 개 존재합니다.
  • 이는 연결된 실수 함수 그래프의 기수 ($2^c$) 를 훨씬 초과하는 매우 큰 집합입니다.

4. 결론 및 의의

1. 위상적 구조의 극단적 차이:
   • 연결성 (Connectedness): 매우 풍부합니다. $2^c$ 개의 비교 불가능한 연결 그래프가 존재하며, 이들은 비가측이고 조밀합니다.
   • 국소 연결성 (Local Connectedness): 매우 제한적입니다. 불연속 함수는 국소 연결될 수 없으며, 국소 연결된 경우는 가산 개뿐이고 모두 자기 부분공간과 동형입니다.
2. 실수선 위상의 완전 분류:
   • 국소 연결된 $\mathbb{R}$ 의 모든 위상 정제는 구간 분할의 기수적 타입으로 완전히 분류될 수 있음을 보였습니다. 이는 실수선의 위상 구조에 대한 깊은 통찰을 제공합니다.
3. 비교 불가능성 (Incomparability):
   • 연결된 공간들은 서로 포함 관계나 위상동형 관계로 단순화되지 않는 매우 복잡한 위상적 다양성을 가짐을 증명했습니다. 특히, 거리화 가능 여부에 따라 존재하는 비교 불가능 공간의 기수가 $c$ 에서 $2^c$로, 그리고 비거리화 가능 조건에서는$2^{2^c}$ 로 급격히 증가함을 보였습니다.

이 논문은 실수 함수의 그래프가 단순한 기하학적 객체가 아니라, 연결성과 국소 연결성이라는 두 가지 기본 위상 성질에 따라 극단적으로 다른 위상적 세계를 형성함을 보여주며, 위상수학의 분류 이론에 중요한 기여를 합니다.