位相空間の一覧

位相空間の一覧

位相空間論や解析学において重要な役割を果たす様々な位相空間が存在します。これらの空間は、その構造や性質に基づいてカテゴリー分けされ、数学の理論を深く理解するための基本的な枠組みを提供します。

基本的な位相空間

基本的な位相空間は、教科書で早い段階で導入され、標準的な空間として知られています。

密着位相空間 (Indiscrete space)

このタイプの空間では、開集合として空集合と全体集合のみが含まれます。したがって、異なる点を位相的に区別できない特性を持ちます。

離散位相空間 (Discrete space)

全ての部分集合が開集合とされる空間で、任意の1点集合も開集合であるため、すべての点を区別できます。

ユークリッド空間

実数体の直積から形成され、その上に通常の距離を用いて位相が定義されます。これにより、直感的な幾何学的概念が生まれます。

有限位相空間

有限要素の集合に対して定義された位相空間で、組合せ論的トポロジーに関連しています。

距離と構造に基づく空間

距離や順序、線型構造が定義された集合より誘導される空間を以下に示します。

距離空間 (Metric space)

距離関数を用いて、基本的な開集合を定義する空間で、点からの距離が一定未満の集合を基本開集合として扱います。

一様空間 (Uniform space)

この空間は、「一様連続性」や「一様収束」を定義できる構造を持ち、距離空間と位相空間の中間的な特性を示します。

線型位相空間

線型空間の性質を持つ空間で、和とスカラー倍の演算が連続的に行えることが特徴です。

ノルム空間 (Normed space)

ベクトルの「長さ」を規定するノルムを持つ線型空間です。

バナッハ空間 (Banach space)

ノルムから誘導された距離が完備であるノルム空間を指します。

ヒルベルト空間 (Hilbert space)

内積が定義され、内積に基づくノルムが完備である空間です。

順序位相空間 (Order topology)

全順序集合に対して、開区間を基本開集合として定義される空間です。

分離公理による分類

この分類は、空間内の点や集合を、開集合によってどの程度分離できるかに基づいています。主な空間は以下の通りです。

T₀ 空間 (コルモゴロフ空間)

異なる2点に対して、片方を含む開集合が必ず存在する空間です。

T₁ 空間 (フレシェ空間)

任意の1点集合が閉集合である特性を持つ空間です。

T₂ 空間 (ハウスドルフ空間)

異なる2点を互いに素な2つの開集合で分離できる空間で、現代位相空間論の基準となる設定です。

T₃ 空間 (正則空間)

閉集合とその外部にある点を互いに素な開集合で分離できる空間です。

T₄ 空間 (正規空間)

互いに素な閉集合同士を互いに素な開集合で分離できる空間の一つです。

特殊な性質を持つ空間

空間の繋がりや被覆に関する性質に基づいた空間の分類も存在します。

コンパクト空間 (Compact space)

任意の開被覆に有限部分被覆を持つ空間で、一般的には有界閉集合を拡張した概念です。

局所コンパクト空間

各点がコンパクトな近傍を持ち、特に多様体や位相群の研究において重要です。

連結空間 (Connected space)

空でない互いに素な開集合の和として表せない空間です。

弧状連結空間

任意の2点を結ぶ連続な曲線が存在する空間です。

可分空間 (Separable space)

可算な稠密部分集合を持ち（例えば実数の有理数の集合）、特に解析の観点から重要な役割を果たします。

多様体と関数空間

多様体 (Manifold)

局所的にユークリッド空間に相当する空間です。

CW複体

細胞を組み合わせて作る空間で、代数的位相幾何学において重要です。

関数空間

関数の収束を基にした位相が定義される空間です。

Lp空間

可積分性に基づくノルムがある関数空間です。

特殊・反例として有名な空間

直感に反する性質を持つ空間も多く、理論の限界や新たな発見を得るための貴重な例となります。これらの空間を通じて、数学のより深い理解へとつなげていくことができます。

もう一度検索