On real functions with graphs either connected or locally connected

この論文は、実数から実数への関数のグラフからなる平面部分空間の族について、その中から互いに埋め込み不可能な完全距離空間と平面稠密な空間の巨大な部分族を構成する一方、局所連結な空間は可算無限個の同相類に分類され、それらの間の埋め込み関係や、より細い位相を持つ実数直線の局所連結な可分空間の完全な分類を確立するものである。

要約

🎨 論文のテーマ：数直線の「見え方」を変える魔法

まず、私たちが普段使っている「数直線（0, 1, 2, 3...）」を想像してください。通常、私たちはこれを**「なめらかな直線」**として見ています。これが「通常の位相（ユークリッド位相）」です。

しかし、この論文の著者（ゲラルド・クバ氏）は、**「もし数直線の『見え方（ルール）』を変えたらどうなるか？」**という問いに挑みました。
具体的には、「数直線の距離感やつながり方を変える新しいルール（位相）」を作ったとき、そのルールで描かれた「関数のグラフ（絵）」がどんな形になるかを研究しています。

この研究は大きく分けて2 つの異なる世界を比較しています。

1. 「つながっている」世界（Connected）

「一本の糸で繋がった世界」

• イメージ: 数直線が、切れることなく、一本の長い糸のように繋がっている状態です。
• 発見: 著者は、この「つながっている」状態を保ちながら、**「互いに全く似ていない（比較できない）」ようなグラフが、「無限の無限（$2^{\mathfrak{c}}$）」**も存在することを証明しました。
  • これらは、どこか一点でも切るとバラバラになるような、非常に複雑で「もやもや」した形をしています。
  • 面白いことに、これらは**「どこもかしこも不連続（ガタガタ）」**な関数でできています。つまり、一見するとバラバラに見える点々が、不思議なルールで「つながっている」のです。
  • これらのグラフは、平面（$R^2$）の**「至る所に存在する（稠密）」か、あるいは「巨大な塊（Massive）」**として描かれます。

2. 「局所的に繋がっている」世界（Locally Connected）

「小さな島々が並んでいる世界」

• イメージ: 大きな川（数直線）が、小さな島（区間）に分かれている状態。島の中は繋がっていますが、島と島の間の橋は壊れています。
• 発見: 一方、「局所的に繋がっている（小さな範囲で見れば繋がっている）」というルールにすると、世界は劇的に変わります。
  • このようなグラフの形は、**「数えることができるほど（可算無限）」**しか存在しません。
  • 驚くべきことに、「不連続な関数」が「局所的に繋がっている」ことはあり得ません。 もし「局所的に繋がっている」なら、それは結局「通常の滑らかな数直線」に戻ってしまうか、あるいは「点の集まり（離散）」になってしまいます。
  • つまり、「局所的に繋がっている」世界は、「つながっている」世界に比べて、はるかに単純で、分類しやすいのです。

---

🔍 重要な発見：2 つの不思議な事実

この論文は、以下のような驚くべき事実を突き止めました。

① 「比較できない」グラフの爆発的な数

「つながっている」グラフには、**「どれとも似ていない」**ものが無限にたくさんあります。

• たとえ話: 宇宙にある星の数が無限だとしても、その星の「形」を細かく分類すると、星の数よりもはるかに多い種類の「星の形」が存在するかもしれません。
• この論文は、数直線のルールを変えると、**「互いにコピーできない（比較できない）」ようなグラフが、「無限の無限」**も作れることを示しました。これらは、数学的には「完全には測れない（非可測）」ような、非常に奇妙な形をしています。

② 「局所的に繋がっている」グラフは単純

「局所的に繋がっている」グラフは、上記とは対照的に、**「数えられるだけ」**しかありません。

• たとえ話: 「つながっている」世界が、複雑怪奇なジャングルなら、「局所的に繋がっている」世界は、整然と並んだレンガの壁のようなものです。
• しかも、これらは**「自分自身の一部分（部分集合）と形が同じ」**という性質を持っています。つまり、大きなレンガの壁から一部を切り取っても、それは元の壁と全く同じ形をしているのです。

---

🌍 最終的な結論：数直線の「リファインメント（洗練）」

論文の最後には、**「数直線のルールを細かく変えた（リファインした）場合」**の完全な分類がなされています。

• メタファー: 数直線というキャンバスに、新しい「距離の定義」や「つながりの定義」を施すこと。
• 結果:
  • もしそのルールが「局所的に繋がっている」なら、それは**「区切られた島々」**の集まりとして分類できます。
  • もし「メトリック（距離）」のルールを捨てて、**「分離可能（可算な点で近似できる）」かつ「連結」なルールだけを残すなら、「無限の無限（$2^{2^{\mathfrak{c}}}$）」**もの異なる世界が存在することがわかりました。

📝 まとめ：この論文は何を言いたいのか？

この論文は、**「数学の世界では、直感に反するほど多様な『つながり方』が存在する」**ことを示しています。

1. つながっているだけなら、**「無限の無限」**の複雑な形があり、それらは互いに比較できません（まるで、同じ名前を持つが中身が全く違う星が無限に存在するよう）。
2. 局所的に繋がっているなら、形は**「数えられるだけ」**で、非常に単純です。
3. さらに、「距離の概念（メトリック）」を捨てて、**「つながり」と「分離可能性」だけを重視すると、「無限の無限の無限」**に等しいほどの、比較不能な世界が広がっていることがわかりました。

著者は、このように**「数直線という単純なものが、ルールを変えるだけで、どれほど多様な宇宙を生み出せるか」**を、数学的に厳密かつ美しく証明したのです。

---

一言で言うと：
「数直線の『つながり方』のルールを少し変えるだけで、『無限の無限』もの、互いに似ていない奇妙な世界が生まれることがわかったよ！でも、もし『小さな範囲でも繋がっている』というルールに厳格なら、世界は意外にもシンプルで、数えられるだけなんだよ。」

技術概要

論文「On real functions with graphs either connected or locally connected」の技術的要約

著者: Gerald Kuba
概要: この論文は、実数から実数への関数（実関数）のグラフを平面 $\mathbb{R}^2$ の部分空間として考察し、その位相的性質（連結性、局所連結性、可分性、完全計量性など）に基づいた分類と、実数直線の位相の細化（refinements）に関する包括的な研究を行っている。主な成果は、互いに比較不可能（incomparable）な連結な実関数のグラフが非常に多く存在することの証明と、局所連結な実関数のグラフは位相的に非常に単純であり、その分類が完全に可能であることを示すことにある。

---

1. 研究の背景と問題設定

• 対象: 実関数 $F: \mathbb{R} \to \mathbb{R}$。関数はそのグラフ $G \subset \mathbb{R}^2$ と同一視され、$\mathbb{R}^2$ の部分空間としての位相的性質が研究される。
• 主要な問い:
  1. 連結な実関数のグラフは、互いに同相（homeomorphic）か、あるいは互いの部分空間として埋め込めるか？
  2. 局所連結な実関数のグラフはどのような構造を持つのか？
  3. 実数直線 $\mathbb{R}$ 上の、ユークリッド位相 $\eta$ よりも細い（finer）位相 $\tau$ において、$(\mathbb{R}, \tau)$ が連結かつ局所連結となるような位相の分類は可能か？

2. 主要な定理と結果

2.1 連結な実関数に関する結果（Theorem 1, 2, 3）

• Theorem 1 (巨大な非比較可能な族):

  • 連続性を持たず、$\mathbb{R}^2$ において稠密（dense）かつ「巨大（massive）」な連結な実関数が $2^{\mathfrak{c}}$ 個存在する。
  • ここで「巨大」とは、$\mathbb{R}^2$ の任意の正のルベーグ測度を持つ集合と交わることを意味する（したがってルベーグ可測ではない）。
  • これらの関数のグラフは、互いに同相でもなく、互いの真部分空間としても同相にならない（incomparable）。
  • 手法: 超限帰納法（transfinite induction）を用いた構成。Borel 集合族や同相写像族を列挙し、それらを避けるように点を選択することで、任意の同相写像が定義域と値域の間に矛盾を生じるように設計されたグラフを構築する。

• Theorem 2 (完全計量性と不連続点):

  • 連結かつ完全計量可能（completely metrizable）な実関数 $F$ において、不連続点の集合は $\mathbb{R}$ において第一範疇（meager）である。
  • したがって、Theorem 1 で構成されたような「至る所不連続」な関数は完全計量可能ではない。

• Theorem 3 (完全計量可能な非比較可能な族):

  • 連結かつ完全計量可能な実関数で、互いに非比較可能なものが $\mathfrak{c}$ 個存在する。
  • 手法: 無限列 $g \in \{1, 2\}^\mathbb{N}$ を用いて、異なる位相的構造（パス連結成分の非切断点の数など）を持つグラフ $F[g]$ を構成する。これらのグラフの位相的構造から元の列 $g$ を復元できるため、互いに同相でないことが保証される。

2.2 局所連結な実関数に関する結果（Theorem 4, 5）

• 局所連結性の厳しさ:

  • 実関数のグラフが連結かつ局所連結である場合、その関数は連続でなければならない（Proposition 1）。つまり、不連続な実関数のグラフは決して局所連結にならない。
  • したがって、局所連結な実関数のグラフは、ユークリッド位相と同相な部分空間の和集合として記述できる。

• Theorem 4 (局所連結な位相の可算性):

  • 互いに同相でない局所連結な実関数のグラフ（または対応する実数直線の細化位相）は、同相類として可算個（$\aleph_0$）しかない。
  • 可分な局所連結な空間の場合、対応する不連続点の集合は可算かつ閉集合である。

• Theorem 5 (完全分類):

  • 局所連結な実数直線の細化位相は、実数の区間分割（interval partition）の「型」によって完全に分類される。
  • 型は四つ組 $(\alpha, \beta, \gamma, \delta)$ で定義され、それぞれ単点、正の長さのコンパクト区間、半開区間、開区間の個数を表す。
  • 可分な場合、これらの基数は可算である。この分類により、局所連結な細化位相の全体像が明らかになった。

2.3 非計量可能な細化位相への拡張（Theorem 6）

• Theorem 6:
  • 計量性（metrizability）の条件を外せば、互いに非比較可能で、可分かつ連結な実数直線の細化位相が $2^{2^{\mathfrak{c}}}$ 個存在する。
  • 手法: Theorem 1 で得られた連結な関数 $F$ と、$\mathbb{Q}$ 上のベクトル空間としての $\mathbb{R}$ の基底、および超フィルター（ultrafilters）を用いて構成される。

3. 手法と技術的アプローチ

1. 超限帰納法と巨大集合の構成:
   Theorem 1 の証明では、$\mathbb{R}$ の濃度 $\mathfrak{c}$ に基づく整列順序を用いて、Borel 集合や同相写像のリストを避けながらグラフの点を一つずつ選択する。これにより、任意の同相写像がグラフの一部を別のグラフに写そうとすると矛盾が生じるようにする。

2. パス連結成分の位相的不変量:
   Theorem 3 では、グラフのパス連結成分の構造（特に「非切断点」の個数）を符号化し、異なる列 $g$ に対して異なる位相的構造を持つグラフを構築する。これにより、同相性を厳密に区別する。

3. 区間分割と位相の対応:
   局所連結な場合、連結成分が区間（interval）になる性質を利用し、位相 $\tau$ と区間分割 $C_\tau$ の間の双射を確立する。これにより、位相の分類問題が集合論的な基数の組み合わせ問題に還元される。

4. ベクトル空間と超フィルターの応用:
   Theorem 6 では、$\mathbb{R}$ を $\mathbb{Q}$ 上のベクトル空間とみなし、超フィルターを用いて「$c$-dense」な部分空間を構成する。これにより、計量性を持たないが連結で可分な位相を大量に生成する。

4. 意義と貢献

• 連結性と局所連結性の対比の明確化:
  実関数のグラフという具体的な文脈において、「連結」であることと「局所連結」であることの間の断絶を定量的に示した。連結なグラフは $2^{\mathfrak{c}}$ 個の非比較可能なタイプが存在するが、局所連結なものは可算個しか存在しないという極端な対比が明らかになった。
• 実関数のグラフの位相的複雑性の解明:
  不連続な実関数のグラフが、単なる「途切れた線」ではなく、非常に複雑で多様な位相的構造（巨大集合、非可測性、非比較性）を持ちうることを示した。
• 実数直線の位相の完全分類:
  局所連結な細化位相について、区間分割の型による完全な分類（Theorem 5）を提供し、この分野における未解決の分類問題を解決した。
• 非計量空間の存在証明:
  計量性を放棄することで、実数直線上に $2^{2^{\mathfrak{c}}}$ 個もの非比較可能な連結・可分位相が存在することを示し、位相空間論における実数の細化の豊かさを強調した。

5. 結論

この論文は、実関数のグラフを位相空間として研究することで、連結性と局所連結性の本質的な違いを浮き彫りにし、それぞれのクラスにおける同相類の数を決定づけた。特に、連結な非可測なグラフの巨大な非比較性家族の存在と、局所連結なグラフの単純な可算分類という対照的な結果は、実解析と一般位相幾何学の交差点における重要な進展である。また、これらを応用して実数直線の位相の細化に関する包括的な分類と、その存在量の限界を示した点も高く評価される。