1 基本概念
位相空間論は、集合の要素同士の距離を前提とせず、「どの部分が開いているか」を指定することで空間の性質を扱う理論である。これにより、連続性、収束、連結性、コンパクト性といった概念を統一的に記述できる。解析学で用いられる実数直線やユークリッド空間はもちろん、より抽象的な対象にも同じ枠組みを適用できる。
1.1 集合と位相
位相は、集合上のある種の部分集合族であり、空集合と全体集合を含み、任意和と有限共通部分に関して安定である。対象の集合に位相を与えると、その集合は位相空間と呼ばれる。位相が定まることで、点が「どの範囲で近いとみなされるか」が構造として表現される。
1.2 開集合と閉集合
開集合は位相の基本単位であり、各点の周囲に十分小さな近傍を含むような部分集合として理解できる。閉集合は、その補集合が開集合であるものとして定義される。開集合と閉集合は対称的な役割を持ち、極限や境界の議論において重要になる。
1.3 近傍
近傍は、ある点の周囲にある「その点を含む十分広い領域」を表す概念である。開集合は近傍の典型例であり、近傍系を用いると位相を点ごとの局所的な観点から捉えられる。これにより、全体構造だけでなく局所的な振る舞いも分析しやすくなる。
1.4 位相空間の例
最も基本的な例は、実数直線やユークリッド空間に標準的な開集合を入れたものである。ほかに、任意の部分集合を開とする離散位相や、空集合と全体集合のみを開とする自明位相がある。さらに、幾何学や解析で自然に現れる関数空間、代数的に定義される空間も位相空間として扱われる。
2 位相空間の構成
位相空間は、既知の空間から新しい空間を作る操作によって豊富な例を得る。部分空間、直積空間、商空間は、位相的対象を組み立てる基本的方法である。これらの構成は、対象の性質を保ちながら、より複雑な空間を作るために用いられる。
2.1 部分空間
部分空間は、位相空間の部分集合に、元の位相から誘導される位相を入れて得られる。開集合は元の空間の開集合との共通部分として定義されるため、元の空間の局所構造をそのまま引き継ぐ。分析対象を狭い範囲に限定するときに頻繁に使われる。
2.2 直積空間
直積空間は、複数の位相空間を組み合わせて作る空間である。通常は各成分への射影が連続になるような最小の位相が入れられる。多変数関数や座標を持つ幾何学的対象を扱う際の基盤となる。
2.3 商空間
商空間は、点同士をある同値関係で同一視して得られる空間である。集合の各同値類を一つの点とみなし、その写像が連続になるように位相を定める。輪や球面の貼り合わせなど、幾何学的な「同一視」を形式化するのに適している。
2.4 生成される位相
与えられた部分集合族や写像族から、条件を満たす最小の位相を作ることができる。代表例として、ある写像族をすべて連続にする初期位相がある。これにより、必要な性質だけを持つ空間を効率よく構成できる。
3 連続性と写像
位相空間論では、写像がどのように空間の構造を保つかが中心的な問題となる。連続性は開集合の逆像によって定義され、距離を使わずに自然な変化を記述できる。写像の同値性や保存される性質を理解することで、空間間の関係が明確になる。
3.1 連続写像
連続写像とは、任意の開集合の逆像が開集合になる写像である。これは解析学における直感的な連続性を抽象化した定義で、極限の保存とも深く結びつく。局所的な性質を損なわずに対象を移す基本的な道具である。
3.2 同相写像
同相写像は、連続で逆写像も連続な全単射である。二つの空間が同相であれば、位相的には同じ構造を持つとみなされる。図形の変形や空間の分類では、厳密な形状よりも同相類が重視される。
3.3 位相的性質の保存
連続写像や同相写像は、性質の保存の観点から重要である。特に同相写像は、連結性やコンパクト性、分離性など多くの位相不変量を保つ。これにより、空間の本質的な特徴を写像を通して比較できる。
4 収束と近さ
位相空間では、数列だけでなくより一般的な方法で収束を捉える。距離がなくても、近傍や閉包を用いて点に近づく概念を定式化できる。こうした考え方は、極限過程の一般化として多くの理論の土台になる。
4.1 点列の収束
点列の収束は、十分後の項が任意の近傍に入るときに定義される。距離空間ではなじみ深いが、一般の位相空間では数列だけでは不十分な場合がある。そこで、収束は空間の性質に応じてより柔軟に扱われる。
4.2 フィルターとネット
フィルターとネットは、点列を拡張した収束の道具である。特に第一可算でない空間では、点列だけでは捉えきれない極限現象を記述できる。これらは一般位相における収束理論を整える役割を果たす。
4.3 閉包と内包
閉包は、集合にその極限点を加えて得られる最小の閉集合である。内包は、集合の内部にある点全体を指し、各点が完全に集合の中に含まれる状態を表す。両者は集合の「境界に近い部分」と「安定して内側にある部分」を区別する。
4.4 境界
境界は、集合とその補集合のどちらにも近い点の集まりである。境界上の点では、どの近傍も集合と補集合の両方と交わる。これにより、集合の輪郭や分離の様子が明確になる。
5 主要な性質
位相空間の研究では、空間全体のふるまいを表す性質が重視される。連結性、コンパクト性、可算性は、空間の形や解析的性格を大きく左右する。これらは他の概念と結びつきながら、空間の分類や定理の証明に使われる。
5.1 連結性
連結性は、空間が二つの互いに分離した非自明な部分に分割できないことを表す。直感的には、空間がひとまとまりであるかどうかを示す性質である。連結空間では、連続像の像も連結性を保つため、構造の保存に関係する。
5.1.1 弱連結性
弱連結性は、通常の連結性よりも弱い形で空間の分割しにくさを表す。定義や用法は文脈によって異なるが、分離の起こりにくさを示す点で共通している。標準的な連結性との比較により、空間の細かな性質が見えてくる。
5.1.2 道連結性
道連結性は、任意の二点が連続な道で結ばれる性質である。これは連結性より強い条件で、幾何学的なつながりを直接表現する。ユークリッド空間の多くの部分集合では、道の存在が空間の直感的理解を助ける。
5.2 コンパクト性
コンパクト性は、無限に広がる対象でも有限的な制御が可能であることを意味する。解析学では、極限の存在や連続関数の性質と深く関係する。位相空間論では、開被覆を用いた定義が基本となる。
5.2.1 開被覆
開被覆とは、集合を開集合の族で覆うことである。コンパクト性は、任意の開被覆から有限部分被覆を選べる性質として定義される。これは無限の情報を有限に圧縮できることを示す重要な条件である。
5.2.2 局所コンパクト性
局所コンパクト性は、各点がコンパクトな近傍を持つことをいう。全体としては大きくても、各点の周囲ではコンパクトな性質が現れる。解析学や調和解析では、局所コンパクト空間が自然な対象となる。
5.3 可算性
可算性は、位相の局所構造や記述の複雑さを測る指標である。可算な基底や近傍系を持つ空間では、収束や連続性の扱いが比較的簡潔になる。一般論では、可算性の仮定が定理の証明を容易にすることが多い。
5.3.1 第一可算性
第一可算性は、各点が可算個の近傍基を持つ性質である。これにより、点列による極限の議論がしやすくなる。解析的な直感と相性がよい条件として知られている。
5.3.2 第二可算性
第二可算性は、空間全体が可算個の開集合からなる基底を持つことをいう。これは空間の記述可能性や扱いやすさに強く関係する。多くの古典的な空間はこの条件を満たし、重要な定理の前提となる。
6 分離公理
分離公理は、異なる点や集合をどの程度開集合で区別できるかを分類する枠組みである。空間の微妙な性質を整理するために、いくつかの強さの条件が導入されている。これらは位相空間の精密な比較に欠かせない。
6.1 ハウスドルフ空間
ハウスドルフ空間では、異なる二点は互いに交わらない近傍で分離できる。多くの解析的空間はこの条件を満たし、極限の一意性が得られる。一般に、点の識別がしやすい空間として重要である。
6.2 正則空間
正則空間は、点と、それを含まない閉集合を互いに分離できる性質を持つ。ハウスドルフ条件と組み合わせて用いられることが多い。閉集合の外側に十分な余裕を持たせられる点で、構造の制御がしやすい。
6.3 正規空間
正規空間は、互いに交わらない二つの閉集合を、開集合で分離できる空間である。これは正則性より強い分離条件であり、関数の延長や近似に関する定理と関係する。古典的な位相空間論で中心的な役割を果たす。
6.4 完全正規空間
完全正規空間は、分離の性質がさらに強化された空間である。閉集合の構造に対して細かな分離が可能で、正規空間の特別な場合として現れる。より高度な分類や関数理論において利用される。
7 特殊な位相空間
位相空間の中には、定義は単純でも性質が極端なものや、追加の構造を備えたものがある。これらは一般理論の境界を理解するうえで役立つ。例を通して、位相の多様性が明確になる。
7.1 離散位相と自明位相
離散位相では、すべての部分集合が開集合となるため、各点が完全に分離される。自明位相では、空集合と全体集合しか開でないため、構造は最小限である。両者は位相の強さを比較する典型例である。
7.2 距離空間
距離空間は、点間の距離を用いて位相を定める空間である。多くの解析学的対象は距離空間として扱え、直感と理論が結びつきやすい。位相空間の重要な例であると同時に、一般化の出発点でもある。
7.3 ハウスドルフでない空間
ハウスドルフでない空間では、異なる点が十分に分離できない場合がある。極限の一意性が失われたり、点の区別が曖昧になったりすることがある。代数幾何や商空間の一部で自然に現れることがある。
7.4 積み重ねられた構造をもつ空間
積み重ねられた構造をもつ空間は、層状、階層的、あるいは反復的な構成を通じて現れる位相空間を指す。自己相似的な形や、部分空間を順に積み上げる操作で生じることがある。複雑な局所構造を持つ例として、抽象的な位相の理解に寄与する。
8 位相空間論の応用
位相空間論は純粋数学の基礎理論であると同時に、多くの分野で共通言語として機能する。解析学では極限と連続性の整理に、幾何学では形の本質的特徴の把握に、代数学では構造を持つ集合の研究に役立つ。関数空間を扱う際にも、位相の枠組みは不可欠である。
8.1 解析学への応用
解析学では、連続関数、収束、コンパクト性の議論に位相が広く使われる。特に関数の極限や一様性を考えるとき、位相的視点は概念の統一に貢献する。実解析や関数解析の基礎を支える構造となっている。
8.2 幾何学への応用
幾何学では、図形を変形しても保たれる性質を調べるために位相が利用される。距離や角度に依存しない不変量を通じて、空間の大域的な形を比較できる。連結性やコンパクト性は、幾何的対象の分類にしばしば現れる。
8.3 代数学への応用
代数学では、群や環、体に位相を入れて、連続的な変形や極限を扱うことがある。これにより、純代数的な対象に解析的な方法を持ち込める。特に完備化や局所的構造の研究で重要になる。
8.4 関数空間への応用
関数空間は、関数全体を点の集まりとみなして位相を入れた空間である。ここでは、関数列の収束や一様近似、連続変形が中心的な話題となる。位相空間論は、無限次元的な対象を扱うための基本的な道具を提供する。