topological spaceとは - わかりやすく解説 Weblio辞書 (original) (raw)

ウィキブックスに**位相空間論**関連の解説書・教科書があります。

数学における位相空間（いそうくうかん、英: topological space）とは、集合に**位相**（英: topology）という構造を付加したものであり、この構造はその集合上に収束性の概念を定義するのに必要十分である[注 1]。

位相空間の諸性質を研究する数学の分野を**位相空間論**と呼ぶ。

概要

位相空間は、前述のように集合に「位相」という構造を付け加えたもので、この構造により、例えば以下の概念が定義可能となる

• 部分集合の内部、外部、境界
• 点の近傍
• 収束性[注 1]
• 開集合、閉集合、閉包

実はこれらの概念はいわば「同値」で、これらの概念のうちいずれか一つを定式化すれば、残りの概念はそこから定義できる事が知られている。したがって集合上の位相構造は、これらのうちいずれか１つを定式化する事により定義できる。そこで学部レベルの多くの教科書では、数学的に扱いやすい開集合の概念をもとに位相構造を定義するものが多い。

その他にも

• 位相空間から位相空間への写像の連続性
• 連結性

といった概念も位相構造を用いて定義できる。

上述した概念はいずれも元々距離空間のような幾何学的な対象に対して定義されたものだが、距離が定義されていなくても位相構造さえ定義できれば定式化できる。これにより、位相空間の概念は、幾何学はもちろん解析学や代数学でも応用されており、位相空間論はこうした数学の諸分野の研究の基礎を与える。位相空間の概念の利点の一つは、解析学や代数学などの研究対象に幾何学的な直観を与えることにある。

このような観点からみたとき、位相空間論の目標の一つは、ユークリッド空間など幾何学の対象に対して成り立つ諸性質を解析学などにも一般化することにある。従って学部レベルで学ぶ位相空間論の性質の多くは、ユークリッド空間などの幾何学的な対象では自明に成り立つ(例えば各種分離公理や可算公理)。

位相空間論ではこうした幾何学的な性質をいかに一般の空間へと拡張するかが問われるので、位相空間の概念自身は非常に弱く、かつ抽象的に定義される。しかしその分個別の用途では必要な性質が満たされないこともあり、例えば位相空間上では収束の一意性は保証されない。そこで必要に応じて、位相空間にプラスアルファの性質を付け加えたものが研究対象になることも多い。前述した収束の一意性は、位相空間に「ハウスドルフ性」という性質を加えると成立する。学部レベルの位相空間論の目標の一つは、こうしたプラスアルファの性質の代表的なものを学ぶ事にある。

距離空間 ( R 2 , d p ) {\displaystyle (\mathbb {R} ^{2},d_{p})}

コーヒーカップからドーナツ（トーラス）への連続変形（同相写像の一種）とその逆

位相空間の概念の代表的な応用分野に位相幾何学がある。これは曲面をはじめとした幾何学的な空間（主に有限次元の多様体や単体的複体）の位相空間としての性質を探る分野である。前述のようにゴム膜のように連続変形しても位相空間としての構造は変わらないので、球面と楕円体は同じ空間であるが、トーラスは球面とは異なる位相空間である事が知られている。位相幾何学では、位相空間としての構造に着目して空間を分類したり、分類に必要な不変量(位相不変量)を定義したりする。

位相空間の概念は代数学や解析学でも有益である。例えば無限次元ベクトル空間を扱う関数解析学の理論を見通しよく展開するにはベクトル空間に位相を入れて位相空間の一般論を用いることが必須であるし（位相線型空間）、代数幾何学で用いられるザリスキ位相は、通常、距離から定めることのできないような位相である。

また、位相空間としての構造はその上で定義された様々な概念の制約条件として登場することがある。例えばリーマン面上の有理型関数のなす空間の次元は、リーマン面の位相構造によって制限を受ける(リーマン・ロッホの定理)。また三次元以上の二つの閉じた双曲多様体が距離空間として同型である必要十分条件は、位相空間として同型な事である(モストウの剛性定理)。

定義

位相空間にはいくつかの同値な定義がある。

開集合を使った特徴づけ

位相空間の定式化に必要な概念である開集合とは、直観的には位相空間の「縁を含まない」「開いた」部分集合である。

ただし、上では分かりやすさを優先して「縁を含まない」「開いた」と説明したが、これらの言葉を厳密に定義しようとすると位相空間の概念が必要である。そのため、これらを使って開集合を定義するのは循環論法になる。また、ここでいう「縁」(=境界)は通常の直観と乖離している場合もあり、例えば実数直線上の有理数の集合の境界は実数全体である。

そこで位相空間の定義では、「縁を含まない」とか「開いた」といった概念に頼ることなく、非常に抽象的な方法で開集合の概念を定式化する。

位相空間を定式化するのに必要なのは、どれが開集合であるのかを弁別するために開集合全体の集合 O {\displaystyle {\mathcal {O}}}

集合 {1, 2, 3} における、開集合の公理を満たす部分集合の族や満たさない族の例。上二段の例はそれぞれ開集合の公理を満たすが、最下段の例は、左側は {2} と {3} の和集合である {2, 3} が入っていないため、右側は {1, 2} と {2, 3} の共通部分である {2} が入っていないため、どちらも開集合の公理を満たさない。

本節では、これらの性質を天下り的に与えるにとどめ、後の章で距離空間で具体的な位相に関し、この定義について論ずる。

開集合系 O {\displaystyle {\mathcal {O}}}

x は、それを含むある開集合もまた S に含まれるため_S_ の内点である。一方_y_ は S の境界上にある。

定義 (内点、外点、境界点[2]) ― ( X , O ) {\displaystyle (X,{\mathcal {O}})}

相異なる2点を分離するそれぞれの開近傍

定理・定義 (ハウスドルフ性) ― 位相空間 ( X , O ) {\displaystyle (X,{\mathcal {O}})}

相異なる2点を分離するそれぞれの開近傍

ハウスドルフの分離公理は、直観的には点 x と y が開近傍という位相的な性質を利用して「区別」(separate) できる事を意味している。すなわち_X_ の位相は点の区別が可能なほど細かい事をこの公理は要請している。

他にも下記のような分離公理がある：

位相空間	名前
_T_0	コルモゴロフ空間
_T_1	フレシェ空間（到達可能空間）
_T_2	ハウスドルフ空間
T 2 1 2 {\displaystyle T_{2{\frac {1}{2}}}} ワルシャワの円 完全不連結性とカントール空間 学部レベルの位相空間論で登場する概念の多くは、曲面のような「常識的な」空間における性質を抽象したものである。 しかし**完全不連結性**はこうした範疇から外れた性質で、位相空間 X 上の連結部分集合は空集合、全体集合、および一点集合に限られる事を意味する。 完全不連結な空間の例としては有理数の集合 Q {\displaystyle \mathbb {Q} }
主要概念	開集合 / 閉集合 連続性 空間 コンパクト ハウスドルフ 距離 一様 ホモトピー ホモトピー群 基本群 単体複体 CW複体 完全列 ホモロジー代数 K理論
Glossary（英語版） Lists トピックス（英語版） 一般（英語版） 代数的（英語版） 幾何学的（英語版） 出版物（英語版）