集合と位相

「近い」を、距離を使わずに定義できるか

微積分では「$x$ が $a$ に近づく」を $\varepsilon$-$\delta$ で語りました（微分積分学 第1章）。 そこでは「距離 $|x-a|$」が主役でした。でも、もっと抽象的な空間——関数の集まりや、 図形そのもの——には、自然な距離が無いこともあります。それでも「近い」「連続」「収束」を 語りたい。距離という具体を捨てて、「近さ」の本質だけを取り出せないか?

その答えが位相です。「開集合」という“近さの器”を指定するだけで、距離が無くても連続・収束・ コンパクトが定義できる。この抽象化のおかげで、解析・幾何・代数のあらゆる空間を同じ言葉で 扱えるようになります。さらに土台の集合論では、「無限にも大小がある」（カントールの対角線論法） という衝撃の事実や、証明に不可欠な選択公理を整えます。すべての分野の共通の地面です。

この分野のゴール：距離 → 開集合 → 位相と抽象化を一段ずつ登り、コンパクト・連結・分離という 位相の言葉を、幾何と解析へ渡せるようにすること。

この分野の地図

集合論の土台（1〜2章）→ 距離空間で解析の基礎（3〜6章）→ 距離を捨てた位相空間（7〜12章）、と 具体から抽象へ一段ずつ登ります。順番に読むのがおすすめです。

集合の基礎

1. 濃度 — 無限の大きさを比べる — 対角線論法、可算・非可算
2. 順序と選択公理 — ツォルンの補題と整列可能定理

距離空間

3. 距離空間 — 「近い」を測る — 開集合・閉包・連続
4. 完備性 — コーシー列・完備化・ベールの定理
5. コンパクト性 — 有限のように振る舞う無限
6. 連続写像と不動点 — バナッハの不動点定理

位相空間

7. 位相空間 — 距離を捨てる — 開集合だけで近さを語る
8. 連続と同相 — 位相不変量、ドーナツとカップ
9. 位相の構成 — 部分空間・積・商
10. 分離公理 — ハウスドルフとウリゾーンの補題
11. コンパクト性（一般） — 開被覆とチコノフの定理
12. 連結性 — ひとつながり、位相幾何への扉

前提

微分積分学（$\varepsilon$-$\delta$）に触れていると「なぜ抽象化するのか」が腑に落ちます。 集合と写像の基礎があれば読み始められます。

準備ができたら 第1章：濃度 へ。