1 基本概念
可算基底は、位相空間の開集合全体を、数え上げ可能な個数の基本開集合から組み立てる考え方である。これにより、空間の局所的な形や全体の性質を、限られた情報で記述できる。一般位相空間論では、構造を簡潔に扱うための中心的な道具の一つとみなされる。
1.1 基底の定義
位相空間で基底とは、任意の開集合がその要素の合併として表せるような開集合族をいう。さらに、各点のまわりの開近傍は、基底の要素によって細かく近似できる。したがって、基底は位相の「部品集」に相当する。
1.2 可算基底の定義
基底の要素数が可算であるとき、その基底を可算基底という。空間自体について「可算基底をもつ」と言う場合は、少なくとも一つそのような基底が存在することを意味する。要素が数えられる程度に限られるため、記述や証明が扱いやすくなる。
1.3 開基との関係
開基は基底とほぼ同義で用いられることが多いが、文献によっては強調点が異なる。どちらも位相を生成する開集合族を指し、可算基底はその個数が可算である場合を特に扱う。用語の揺れはあるものの、機能は共通している。
1.4 位相を生成する仕組み
基底が与えられると、各開集合は基底要素の合併として定義される。つまり、基底の取り方が空間全体の位相を決める。可算基底の場合、この生成過程は数え上げ可能な手順に置き換えられ、空間の性質を具体的に追跡しやすい。
2 基本的な性質
可算基底をもつ空間は、位相的性質の多くで有利な振る舞いを示す。特に、第二可算公理、可分性、分離公理との関係が重要である。これらは互いに独立ではないが、しばしば組み合わせて使われる。
2.1 第二可算公理
第二可算公理は、空間が可算基底をもつことを述べる標準的な公理である。位相空間論では、この性質を満たす空間を特別に扱うことが多い。記号的には簡潔だが、帰結は広範囲に及ぶ。
2.1.1 定義
空間が第二可算であるとは、その位相に基底として働く可算族が存在することをいう。これは単に開集合が少ないという意味ではなく、任意の開集合がその可算族から再構成できることを含む。定義は素朴だが、後続の理論に強い制約を与える。
2.1.2 命題との同値性
第二可算性は、他の条件と同値または含意関係をもつ場合がある。ただし、同値性は空間の追加条件に依存することが多い。一般論では、可算基底の存在そのものを中心に、他の性質との比較を行うのが基本である。
2.2 可分性との関係
可分性は、空間に可算稠密部分集合があることを指す。可算基底をもつ空間では、しばしば可分性が導かれるが、逆向きは一般には成立しない。両者は似た雰囲気をもつものの、定義上は異なる要請である。
2.2.1 可算基底から可分性へ
可算基底があると、各基底要素から代表点を一つずつ選ぶことで、可算な集合を作れる。適切な条件の下では、その集合が稠密になる。こうして、位相の細部を押さえる可算な骨格が得られる。
2.2.2 逆は成り立つか
可分であっても、必ずしも可算基底をもつとは限らない。稠密集合が可算でも、開集合の構造が複雑であれば基底全体は大きくなりうる。したがって、可分性は可算基底より弱い条件として理解される。
2.3 分離公理との関係
可算基底は、空間の分離性と相性がよいことが多い。とくに、ハウスドルフ性などと組み合わせると、点の区別や局所構造の把握が容易になる。もっとも、分離公理そのものを保証するわけではない。
2.3.1 第一可算性との違い
第一可算性は、各点の近傍系が可算であることをいう。一方、可算基底は空間全体を通じた単一の可算族を求める。前者は点ごとの条件、後者は大域的条件であり、一般には独立に考える必要がある。
2.3.2 ハウスドルフ空間での性質
ハウスドルフ空間で可算基底をもつと、点の分離や極限操作の議論が整理されやすい。多くの標準的な定理で、第二可算性が仮定として置かれるのはこのためである。局所的な区別がしやすく、解析的な扱いに向く。
3 代表的な例
可算基底は抽象的な概念だが、実際の数学では多くの空間で自然に現れる。距離空間や多様体は典型例であり、逆に非例を見ることで性質の境界も理解できる。
3.1 距離空間
距離空間では、開球を用いて基底を構成できる。特に、可分距離空間では可算基底が得られることが多く、距離構造と位相構造の結びつきが明確である。
3.1.1 ユークリッド空間
ユークリッド空間は、原点中心の有理半径球や有理点を用いることで可算基底を与えられる。これにより、実空間の標準位相は第二可算であることが分かる。解析学の標準舞台として扱いやすい理由の一つである。
3.1.2 一般の可分距離空間
可分距離空間では、稠密な可算集合と有理半径の開球を組み合わせて可算基底を作れる。距離により近傍の大きさを数値化できるため、基底の構成が比較的明快である。多くの古典的空間がこの型に属する。
3.2 多様体
多様体は局所的にユークリッド空間と同じ形をしており、しばしば可算基底をもつように仮定される。これは可微分構造や座標計算を整えるうえで重要である。基底の可算性は、全体の取り扱いを統一的にする。
3.2.1 可算基底をもつ多様体
通常の多様体論では、第二可算性を加えることが多い。これにより、座標チャートの族やアトラスを可算に選べる場合が増え、証明の記述が簡潔になる。結果として、局所情報を大域へ運びやすくなる。
3.2.2 局所ユークリッド性との関係
局所ユークリッド性は、各点の近くがユークリッド空間の開集合に同相であることを意味する。可算基底は、この局所モデルを空間全体にわたって整列させる役割を持つ。局所と大域を結ぶ橋渡しとして機能する。
3.3 典型的な非例
可算基底をもたない空間も珍しくない。非例を確認すると、可算性が単なる技術条件ではなく、本質的な制約であることが見えてくる。
3.3.1 非可算離散空間
非可算個の点からなる離散空間では、各点の単点集合が開であるため、基底は各点を個別に含む必要がある。したがって、基底は非可算になり、第二可算にはならない。最も分かりやすい非例の一つである。
3.3.2 可算基底を持たない空間
開集合の種類が極めて多い空間では、どれほど基底を選んでも可算に収まらないことがある。こうした空間では、局所的な情報を小さな一覧にまとめることができない。位相の複雑さがそのまま表れる例である。
4 関連する定理と応用
可算基底は、単なる定義項目にとどまらず、距離化、線型構造、解析的手法と深く結びつく。多くの定理は、第二可算性を仮定することで結論を得やすくしている。
4.1 距離化可能性への応用
第二可算性は、空間が距離で表現できるかどうかの判断にしばしば使われる。可算基底があると、位相を距離的な言葉へ翻訳するための材料がそろう。
4.1.1 ウリソンの距離化定理
ウリソンの距離化定理は、ある分離公理と正規性などの条件の下で、第二可算性をもつ空間が距離化可能であることを示す。これにより、抽象的な位相空間を距離空間として扱える場合が広がる。古典位相の重要結果として位置づけられる。
4.1.2 可算基底の役割
距離化の証明では、可算基底が補助関数や開集合列の構成に使われる。可算であることにより、逐次的な近似や細分化が可能になる。これは、距離の定義を作る際の可制御性を高める。
4.2 線型位相空間での応用
線型位相空間では、加法とスカラー倍の連続性に加え、近傍系の構造が重要になる。可算基底があると、局所的な零近傍の扱いが整いやすい。
4.2.1 基底と連続写像
基底が可算であれば、連続写像の性質を基底要素上で確認しやすい。全開集合を個別に追う代わりに、代表的な基本開集合を調べれば足りる場合が多い。これにより、写像の解析が簡略化される。
4.2.2 可算基底をもつ空間の構造
線型位相空間で第二可算性を仮定すると、局所凸性や完備性の議論が整理されることがある。可算な近傍基は、収束列や級数の取り扱いとも相性がよい。解析学の枠組みでは、空間の構造把握に有効である。
4.3 解析学・幾何学での利用
可算基底は、近似、収束、局所分類といった分析的・幾何学的操作に広く使われる。抽象空間を具体的に扱うための共通言語として機能する。
4.3.1 収束と近似
可算基底があると、点や集合への近づき方を列で記述しやすい。開集合の族が整理されているため、近似列や局所補題の構成が滑らかになる。解析的議論では、この見通しの良さが大きな利点となる。
4.3.2 局所的性質の分類
空間の局所構造を分類する際、可算基底は基本的な区分基準になる。どの程度細かく近傍を分割できるかが、空間の性格を左右するからである。幾何学では、局所模型の比較と大域構造の把握に役立つ。