位相空間

数学 > 空間収束 > 位相空間

数学における位相空間(いそうくうかん、英語: topological space)とは、集合X位相topology)と呼ばれる構造を付け加えたもので、この構造はX上に収束性の概念を定義するのに必要十分なものである[注 1]

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

概要

[編集]

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

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

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

その他にも

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

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


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

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

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

距離空間の原点の1-近傍をp=2(上の図)、p=1(中央の図)、p=(下の図)に対して図示したもの。これらはそれぞれユークリッド距離マンハッタン距離チェビシェフ距離と呼ばれる。

位相空間と距離空間

[編集]

位相空間となる代表的な空間としては、ユークリッド空間をはじめとした距離空間がある。距離空間は必ず位相空間になるが、逆は必ずしも正しくない。すなわち、距離構造は位相的構造よりも遥かに多くの情報を持った強い概念であり、距離空間としては異なっても位相空間としては同一の空間になることもある。

例えばp≧1を固定して実数空間上にp距離

を入れた距離空間を考えてみると、ε-N論法ε-δ論法による極限の議論で用いるε-近傍pに依存して異なるにもかかわらず、収束の有無や収束先の点はpによらず一致する。

より一般に、ユークリッド空間をゴム膜のように連続変形したものは、元のユークリッド空間とは距離空間としては異なるが、位相空間としては同一であり、収束するか否かという性質も互いに保たれて不変である。

以上のように、連続性や収束性といった概念を考えたり、連続変形を対象とした研究を行ったりするときには、距離空間の概念は柔軟性に欠けるところがあり、位相空間というより弱い概念を考える積極的動機の一つとなる。


他にも例えば多様体を定義する際には複数の距離空間(ユークリッド空間の開集合)を連続写像で「張り合わせる」(商空間)が、張り合わせに際して元の空間の距離構造を壊してしまうので、元の空間を距離空間とみなすより、位相空間とみなす方が自然である。

応用分野

[編集]
コーヒーカップからドーナツ(トーラス)への連続変形(同相写像の一種)とその逆

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

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

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

定義

[編集]

位相空間にはいくつかの同値な定義があるが、本項ではまず、開集合を使った定義を述べる。

開集合を使った特徴づけ

[編集]

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

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

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

位相空間を定式化するのに必要なのは、どれが開集合であるのかを弁別するために開集合全体の集合を指定する事と、が定められた性質を満たすことだけである。

位相空間の厳密な定義は下記のとおりである。

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

定義 (開集合系による位相空間の定義) ―  Xを集合とし、Xべき集合の部分集合とする。

が以下の性質を満たすとき、組 X を台集合とし開集合系とする位相空間と呼び、の元を X開集合と呼ぶ。

上述の定義に登場する3つの条件の意味するところは下記のとおりである:

  1. 空集合と全体集合は開集合である。
  2. 2つの開集合の共通部分は開集合である。(よって有限個の開集合の共通部分は開集合となるが、無限個の共通部分は開集合とは限らない)
  3. 任意の個数(有限でも無限でもよい)の開集合の和集合は開集合である。

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

開集合系を一つ定める事で、集合 X が位相空間になるので、X 上の位相(構造)と呼ぶ。

紛れがなければ開集合系を省略し、X の事を位相空間 と呼ぶ。

また位相空間X の元をと呼ぶ。

なお、集合算に関する空積および空和はそれぞれ全体集合空集合になるので、を仮定しておけば、上述の定義における条件1を課さなくてもよい。

閉集合を使った特徴づけ

[編集]

開集合のX における補集合の事を閉集合と呼び、閉集合全体の集合

の事を位相空間X閉集合系と呼ぶ。

開集合が直観的には「縁を含まない」、「開いた」集合だったのに対し、その補集合である閉集合は直観的には「縁を含んだ」、「閉じた」集合である。 本項ではこれまで、開集合系を使って位相空間を定義し、開集合の補集合として閉集合を定義したが、閉集合系を使って下記のように位相空間を定義する事もできる。この場合、開集合は閉集合の補集合として定義する。

定義 (閉集合系による位相空間の定義) ―  Xを集合とし、Xべき集合の部分集合とする。

が以下の性質を満たすとき、組 X を台集合とし閉集合系とする位相空間と呼び、の元を X閉集合と呼ぶ。

閉集合系による位相空間の定義における3つの条件は、開集合系による位相空間の定義における3つの条件にド・モルガンの法則を適用することにより得られる。

なお、X の開集合でも閉集合でもあるような部分集合は X開かつ閉集合と呼ばれる(定義から明らかに および X は必ず開かつ閉である)。X には、開でも閉でもないような部分集合が存在しうる。

その他の特徴づけ

[編集]

位相同型

[編集]

を2つの位相空間とする。

定義 (位相同型) ―  ある全単射

が存在して、

を満たすとき、位相同型であるという。

位相空間論とは、位相同型で不変な性質(すなわち、がある性質を満たせば、それと位相同型なもその性質を満たすような性質)を議論する分野である。

距離空間の位相構造

[編集]

すでに述べたように位相空間の概念を定義する主な動機の一つは、距離空間上で定義される諸概念をより一般の空間でも定義する事である。この意味において距離空間は最も基本的な位相空間の例であるので、本節では距離構造が位相構造を定める事を見る:

定理・定義 (距離から定まる位相) ―  (X ,d )距離空間とし、実数 ε > 0xX に対し、xε-近傍(ε-neighborhood)

と定義するとき、

は開集合系の公理を満たす。 距離 d により定まる X開集合系、もしくはd により定まる X位相構造といい、 (X ,d )により定まる位相空間という。

xε-近傍の事を、ε-球ε-ball)、ε-開球ε-open ball)、あるいは単に開球(open ball)ともいう。

上記のように定義したが位相の定義を満たす事を示すために、まず開集合を別の形で書き換える:

命題 (距離から定まる開集合の特徴づけ) ― 距離空間(X ,d )が定める位相をとし、OXの部分集合とする。このとき、以下の3条件は同値である:

  1. Oの開集合である
  2. 任意のxOに対し、あるが存在し、が成立する。
  3. Oは(有限または無限個の)開球の和集合として書ける。すなわち族が存在し、が成立する。

上述の命題の条件3から特に次の系が従う:

 ― 開球はの開集合である。


上述の命題より、が位相の定義を満たす事が従う:

なお、位相空間の定義より開集合の(有限または無限個の)和集合は開集合であり、開集合の有限個の共通部分も開集合であるが、開集合の無限個の共通部分は開集合になるとは限らない。実際、任意の自然数n > 0に対し、1/n-球は定義より開集合であるが、

は開集合ではない。

上述のように集合X 上の距離構造に1つの位相構造が対応するが、この対応関係は一般には「単射」ではなく、異なる距離構造が同一の位相構造を定める事も多い。実際、次の命題が成立する:

命題 ―  (X ,d )距離空間とし、f : XXを連続な全単射で逆写像も連続なものとする。このとき、

と定義すると、dd'X上に同一の位相構造を定める。

なお、上記の命題における「連続」の概念は距離空間における連続の事であるが、本稿では後で位相空間上の連続性を定義し、位相空間としての連続性の概念と距離空間としての連続性の概念が一致する事を見る。

上述の命題は、距離空間を連続変形しても位相構造が変わらない事を意味する。したがって連続変形に対して不変な性質を研究する位相幾何学にとって基礎的である。

ベクトル空間の場合

[編集]

本節では(実または複素)ベクトル空間における距離と位相の関係を述べる。本節の内容はベクトル空間が有限次元の場合は幾何学、無限次元の場合は解析学に応用がある。

ベクトル空間では、ノルムの概念を定義する事ができ、ベクトル空間上の距離としてはノルムから定まるものを考える事が多い。本節ではまずノルムの定義を振り返り、ノルムから定まる距離を定義し、その距離から定まる位相の性質を見る。

ノルムの定義

[編集]

まずノルムとは何かを簡単に説明する:

定義 (ノルム) ―  Kもしくはとするとき、K上ベクトル空間Vノルムとは写像

で以下の3性質を満たすものの事である。ここでxyVの元でαKの元である:

  1. ‖ x ‖ = 0 ⇔ x = 0
  2. ‖ ax ‖ = |a|‖ x ‖
  3. ‖ x + y ‖ ≤ ‖ x ‖ + ‖ y ‖

上の代表的なノルムとして、p≧1に対するpノルム

が知られている。ここでv=(v1,...,vn)である[注 2]

ノルムから定まる距離と位相

[編集]

V上にノルム‖ ・ ‖が1つ与えられると、

により、V上の距離が定まる。


このようにノルムから距離が定まり、距離から位相が定まるが、ノルムが「同値」であるとそこから定まる位相が同一になる事が知られている:

定義・定理 (ノルムの同値性と位相) ―  Vを(実もしくは複素)ベクトル空間とし、V上定義された2つのノルムとする。

を満たすとき、同値なノルムであるという。

が同値であれば、これらのノルムが定める距離

V上に同一の位相を定める。

有限次元ベクトル空間の場合

[編集]

Vが有限次元の場合は次の事実が知られている[1]

命題 ―  有限次元の(実もしくは複素)ベクトル空間上定義されるノルムは全て同値である。

この事実から、有限次元ベクトル空間の場合は、ノルムのとり方によらず同一の位相構造が定まる事がわかる。この位相を有限次元ベクトル空間上の自然な位相通常の位相等と呼ぶ。

無限次元ベクトル空間の場合

[編集]

一方解析学で頻繁に使われる、無限次元のベクトル空間の場合は、同一のベクトル空間上に複数の同値でないノルムが存在し、それらのノルムがそれぞれ異なる位相構造を定める事になる。例えば[0,1]区間からへの連続写像全体の集合

, 連続

を写像の和と定数倍に関してベクトル空間とみなすと、各対し、Lpノルム

が定義できるが、これらはpが異なれば異なる位相を定め、実際Lpノルムでは収束するのに別のLqノルムでは収束しない例を作る事ができる[注 2]

また無限回微分可能な写像の空間

, 無限回微分可能

にはLpノルムの一般化であるソボレフノルム

も定義可能であるが[注 2]、これらもkpが異なれば異なる位相を定める。なお、の定める位相をCk-位相と呼び、この位相は位相幾何学で図形の連続変形を扱う際重要な役割を果たす。

その他の具体例

[編集]

密着位相、離散位相、補有限位相、補可算位相

[編集]

定義・定理 ― Xを集合とする。このとき以下は位相の公理を満たす。

  • 空集合と全体集合Xのみを開集合とする位相を密着位相という。
  • Xの任意の部分集合を開集合とする位相をX離散位相という。
  • Xの任意の有限部分集合と全体集合を閉集合とする位相をX補有限位相という。
  • Xの任意の可算部分集合と全体集合を閉集合とする位相をX補可算位相英語版という。

密着位相と離散位相はいわば「両極端」の人工的な位相構造に過ぎないが、これらの位相構造は、位相に関する命題の反例として用いられる事がある。またこれらの位相構造は、任意の集合上に位相構造を定義できる事を意味している。

離散位相はX上に離散距離

をいれたときに距離から定まる位相と一致する。

Xが1元集合、有限集合、可算集合の場合は明らかに密着位相、補有限位相、補可算位相はいずれも離散位相に一致する。 それ以外の場合、すなわちXが2元以上ある集合、無限集合、非可算集合の場合は、密着位相、補有限位相、補可算位相はX上のいかなる距離から定まる位相とも一致しない[注 3]

ザリスキー位相

[編集]

素数の集合とする。各整数に対し、

pの倍数

と定義し、V(n)全体の集合を閉集合系とするP上の位相をP上のザリスキー位相という。 ザリスキー位相はP上のいかなる距離から定まる位相とも一致しないことが知られており[注 4]、距離から定まらない位相でなおかつ数学の重要な研究対象となっているものの代表例である。 ザリスキー位相の概念は一般の可換環R素イデアル全体の集合に対しても定義する事ができる事が知られている。

一方、これとは全く異なる角度からザリスキー位相を定義する事ができる。Kを複素数体(もしくはより一般に代数的閉体)とし、Knを考える。そしてK上の多項式の任意の集合Sに対し、

と定義し、V(S)全体の集合を閉集合系とする位相をKn上のザリスキー位相という。

以上で述べた2種類のザリスキー位相は一見全く異なるように見えるが、実は同種の概念を別の角度から見たものである事が知られている。これら2つが同種である事は代数幾何学の最も基本的な定理の一つとなっている。

加工により得られた位相空間

[編集]

数学で使われる多くの位相空間は、距離空間(から定まる位相空間)のような既知の位相空間を加工して作られている。 例えば既知の2つの位相空間の和集合や積集合に対して、位相を定めてこれらを位相空間とみなしたり、位相空間上で同値関係を考えてその同値関係による商集合に対して位相を定めて位相空間とみなしたりする。

こうした加工の結果として得られる位相空間の例として、非常に重要なものの一つが多様体である。多様体とは、直観的にはn次元曲面のことであるが、これはの部分集合を何枚も張り合わせる事で実現されている。

既知の位相空間の和集合、積集合、商集合といったものにどのような位相を定めるべきかに関しては一般的な導出方法が知られており、これについては「#位相空間の導出」の節で説明する。

位相空間に関する諸概念

[編集]

定義

[編集]

内部、外部、境界

[編集]

位相空間Xの部分集合Aに対し、Aの「内部」、「外部」、「境界」の概念を定義できる:

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

定義 (内点、外点、境界点[2]) ―  を位相空間とし、AX の部分集合とする。このとき、

  • xXA内点であるとは、ある開集合OXが存在し、xOAが成立する事をいう。
  • Acの内点をA外点と呼ぶ。
  • Aの内点でも外点でもない 点xXA境界点という。

定義 (内部、外部、境界[2]) ―  を位相空間とし、AX の部分集合とする。このとき、

  • Aの内点全体の集合をA内部(ないぶ, : interior)または開核といい、などと表す。
  • Aの外点全体の集合をの外部(がいぶ, : exterior)といい、などと表す。
  • 境界点全体の集合をA境界(きょうかい, : frontier)とい、 などと表す。

なお、境界を表す記号「」は多様体の縁(ふち, : boundary)を表す記号としても使われるが、両者は似て非なる概念なので注意が必要である。

閉包

[編集]

さらに閉包を次のように定義する:

定理・定義 (閉包、触点) ―  を位相空間とし、AX の部分集合とする。このとき、

  • A閉包(へいほう, : closure)と呼び、などと表す。
  • Aの閉包の元をA触点という。

定義から明らかに次が成立する:

命題 (内部と閉包の関係) ―  

よって内部と閉包は双対的な関係にあり、内部に関する性質にド・モルガンの法則を適用する事で閉包の性質を導く事ができる。

基本的な性質

[編集]

定義より明らかに次が成立する。

命題 ―  

  • xXAの外点 ⇔ xOを満たすある開集合OXが存在し、OAc
  • xXAの境界点 ⇔ xOを満たす任意の開集合OXに対し、 かつ
  • xXAの触点 ⇔ xOを満たす任意の開集合OXに対し、

Xが距離空間であれば、上では「xOを満たすある開集合OX」、「xOを満たす任意の開集合OX」となっているところを、「xのあるε-近傍」「xの任意のε-近傍」に変えてもよい。これについては基本近傍系について記述する際、より詳しく述べる。

さらに次が成立する。

命題 ―   位相空間の任意の部分集合Aに対し次が成立する:

  • 内部、境界、外部は、全空間X を排他的に分割する。すなわち、
  • Aの内部、外部は開集合で、境界、閉包は閉集合である。

内部、閉包の性質

[編集]

内部および閉包は以下のようにも特徴づけられる事が知られている:

命題 (内部および閉包の特徴づけ) ―   位相空間の任意の部分集合Aに対し次が成立する:

  • Aに含まれる最大の開集合に一致する[2]
  • Aを含む最小の閉集合に一致する[2]

内部の概念は以下を満たす:

定理 (内部の性質) ―  位相空間Xの任意の部分集合ABに対し、以下が成立する[2]

である事を用いて、以上で述べた内部に関する結果をド・モルガンの法則により閉包の結果に翻訳できる:

定理 (クラトウスキイの公理系[3][4]) ―  位相空間Xの任意の部分集合ABに対し、以下が成立する:


内核作用素・閉包作用素による位相の特徴づけ

[編集]

を位相空間とするとき、

  • 写像内核作用素という[2]
  • 写像閉包作用素という[2]

本項ではこれまで、開集合系を使って位相空間を定義し、これをベースに内核作用素を定義したが、逆に上述の性質を満たす内核作用素の概念を使って位相空間を定義し、これを使って開集合と定義する事も可能である。すなわち以下が成立する:

定理 (内核作用素による位相の特徴づけ[2]) ―  Xを集合とし、Xの冪集合からそれ自身への写像

で、が「定理(内核作用素の性質)」で述べた4性質を満たすものとする。

このときX上の位相構造で位相空間の内核作用素がに一致するものがただ一つ存在する の開集合系は具体的には以下のように書ける:

である事を用いて、以上の結果を閉包作用素の結果に翻訳できる:

定理 (閉包作用素による位相の特徴づけ) ―  Xを集合とし、Xの冪集合からそれ自身への写像

で、クラトウスキイの公理系を満たすものとする。

このときX上の位相構造で位相空間の閉包作用素がに一致するものがただ一つ存在する[3][4]の閉集合系は具体的には以下のように書ける:

その他の関連概念

[編集]

集積点、導集合

[編集]

定義 (集積点、導集合、孤立点) ―  を位相空間とし、AXの部分集合とする。このとき、

  • xXの触点であるとき、xA集積点という[2]
  • Aの集積点全体の集合を導集合といい、Adと表す[2]
  • の元をA孤立点という[2]

定義より明らかに次が成立する。

命題 ―  

  • xXAの集積点 ⇔ xOを満たす任意の開集合OXに対し、Ox以外にAの元を含む。
  • xXAの孤立点 ⇔ xAであり、しかもxOを満たすある開集合OXがあって、Ox以外にAの元を含まない。


稠密

[編集]

定義 (稠密) ―  Aが位相空間稠密な部分集合であるとは、A の閉包が X に一致することである。

これは言い換えるとX の任意の点の任意の近傍が、A と交わることを意味する。

可算な稠密部分集合をもつ位相空間は可分であるといい、例えばにおいてはが可算な稠密部分集合なので、は可分である。

近傍

[編集]

本節では近傍の定義を述べ、その基本的な性質を述べる。後述するように近傍は位相空間における収束の概念を定義するのに用いられるが、それ以外にもある点xの周りの局所的な性質を記述する際に広く使われている。

定義

[編集]

近傍の定義は以下のとおりである:

定義 (近傍系、開近傍系) ―  を位相空間とし、xXの点とする。このとき、

xO

を満たす開集合をx開近傍(かいきんぼう, : open neighborhood)という。 またX の部分集合Nが以下を満たすとき、Nx近傍(きんぼう, : neighborhood)であるという[5]

ある開集合OXが存在し、xON

xの近傍全体の集合をx近傍系といい[5]xの開近傍全体の集合をx開近傍系という。

近傍系のことを近傍フィルター: neighborhood filter)ともいう。

基本近傍系

[編集]

xの近傍NxONを満たし、距離空間における開集合Oを満たす。したがって以下のように基本近傍系の概念を定義すると、距離空間においてはが基本近傍系になっている事がわかる。また一般の位相空間でも開近傍全体の集合が基本近傍系になる事がわかる。

定義 (基本近傍系) ―  を位相空間とし、xXの点とし、xの近傍系とする。の部分集合が以下を満たすとき、xにおける基本近傍系という[6]

任意の近傍に対し、あるが存在し、xBN

近傍概念は収束などxの局所的な振る舞いを記述する際に用いられるので、多くの場合全ての近傍を考える代わりに、基本近傍系のみを考えれば十分である。例えば次が成立する:

命題 ―   を位相空間の点xにおける基本近傍系とする。このとき、

  • xXAの内点 ⇔
  • xXAの外点 ⇔
  • xXAの境界点 ⇔ かつ
  • xXAの触点 ⇔
  • xXAの集積点 ⇔ Nx以外にAの元を含む。

距離空間においては点xε-近傍全体が基本近傍系をなすので、上記の定理より、距離空間においては内点、外点といった概念はε-近傍を用いて定義可能である。教科書によっては、このε-近傍を用いた定義を距離空間における内点、外点等の定義として採用しているものもある。

近傍系の性質

[編集]

近傍系は以下の性質を満たす:

定義 (ハウスドルフの公理系[5]) ― xの近傍系をで表すとき、Xの任意の部分集合NN'Mに対して以下が成立する。

  • であれば、あるが存在し全てのに対して

ハウスドルフの公理系を満たす近傍系は位相を特徴づける:

定理 (近傍系による位相の特徴づけ) ―  Xを集合とし、Xの元にXの冪集合の冪集合の元を対応させる写像

がハウスドルフの公理系を満たしたとする。このときX上の位相構造で位相空間の各点xの近傍がに一致するものがただ一つ存在する[5]は具体的には以下のように書ける:

収束

[編集]

本節の目標は、位相空間上での収束概念を定義し、収束概念によってこれまで述べてきた様々な概念を捉え直す事にある。 位相空間における収束概念は、距離空間における点列の収束概念を適切に修正する事により得られる:

定義 (距離空間における点列の収束) ―  を距離空間とする。Xの点列Xの点x収束するとは以下が成立する事を言う:

ここで、である。

位相空間における収束を定義するにあたり、上述の距離空間における収束の定義に2つの変更を行う:

  1. ε-近傍の代わりに一般の近傍を用いる。
  2. 点列の概念を一般化した有向点族の概念を導入し、有向点族の収束を定義する。

1番目の変更を行うのは、位相空間には距離の概念がないので、そもそもε-近傍を定義できないからである。一方2番目の変更を行うのは、点列の収束概念だけでは位相空間の諸概念を定式化するのに不十分だからである。たとえば距離空間の場合には連続性の概念は

が収束する任意の点列に対して成り立つ事により定式化できるが、一般の位相空間の場合は「任意の点列」ではなく「任意の有向点族」に対してこれと類似の性質が成り立つ事により連続性を定義する必要がある。

なぜなら点列の場合は添字集合が可算なので、点列の概念で連続性を捉え切るには位相空間の方にも何らかの可算性を要求する必要があり(列型空間を参照)、一般の位相空間の連続性の概念を適切に定義するには点列の概念では不足だからである。

なお、位相空間上ではフィルターの収束という、もう一つの収束概念を定式化できる事が知られているものの、収束する有向点族と収束するフィルターとにはある種の対応関係がある事が知られている。詳細は有向点族#フィルターとの関係を参照。

有向点族

[編集]

すでに述べたように位相空間では点列の概念を一般化した有向点族の概念を定義した上でその収束を定義する。本節では有向点族の定義を与える。その為にまず有向集合の概念を定義する

定義 (有向集合) ―  空でない集合ΛΛ上の二項関係「≤ 」の組 (Λ, ≤)有向集合(ゆうこうしゅうごう、: directed set)であるとは、「≤ 」が以下の性質を全て満たす事を言う[7]:

  • 反射律∀λ∈Λ : λ ≤λ
  • 推移律∀λ,μ,ν∈Λ : λ ≤ μ, μ ≤ν ⇒ λ ≤ ν
  • Λの任意の二元が上界を持つ。すなわち∀λ,μ∈Λ∃ν∈Λ : λ ≤ ν, μ ≤ν

なお、有向集合の二項関係「≤ 」は、反射律と推移律を満たすのものの反対称律は満たす必要がないので、前順序ではあるものの順序の定義は満たしていない。

定義 (有向点族) ― 集合X上の有向点族とは、X上の族(xλ)λΛで添字集合Λが有向集合であるものを指す[7][注 5]。有向点族はネット (: net)、 Moore-Smith 列(: Moore-Smith sequence[8])、generalized sequence[8]などとも呼ばれる。


具体的にはXに値を取る点列や、実数を定義域に持つX値関数fから定義される族上に自然な順序を入れた場合に有向点族になるので、これらの収束概念は有向点族の収束概念により定式化できる。

しかしより重要なのは、以下に述べる開近傍系を添字集合に取る有向点族である

命題 (開近傍系を添字集合に取る有向点族) ―  aを位相空間Xの点とし、aの開近傍系とする。このとき上の二項関係

を入れると、は有向集合である。よってを添え字に取るX上の任意の族はこの二項関係に関して有向点族である。

上の例で特に

を満たす有向点族を考えれば、Uが小さくなればなるほどaに「近づく」ので、この有向点族が収束概念を考える際に重要な役割を果たす事が了解されるであろう。

また開近傍系は開集合の集まりなので、この有向点族は、これまで開集合の概念を通して定義してきた位相空間の概念と有向点族の収束性の概念との、いわば架け橋として機能し、開集合の概念から収束を定式化したり、逆に収束の概念から開集合を逆に定式化したりする際に役に立つ。

なお上では開近傍系を添字集合とする有向点族について記したが、(開とは限らない)近傍系を添字集合とする有向点族も同様に定義できる。

部分有向点族

[編集]

先に進む前に部分有向点族の概念を定義する。この概念は収束概念を定義する上では使わないが、収束概念を使って位相空間上の他の概念を定式化する際に用いる。

定義 (部分有向点族) ―  Xを集合とし、X上の有向点族に対し、以下の性質を満たすh : ΓΛが存在するとき、部分有向点族という[9]

(2を強共終性(: strong cofinality[10])という)

上の定義でh単射である事を要求してない事に注意されたい。これはもしh に単射性を要求すると病的な例(Tychonoff plank)のせいでいくつかの当然と思われる定理が成り立たなくなってしまうからである。

これが原因で、点列を有向点族とみなした場合の部分有向点族は点列になっていない場合もあり得る。実際、の部分有向点族とすると、h が単射でない事から同じx nが部分有向点族に複数回(場合によっては非可算無限回)登場するかもしれないし、Γも全順序ではないかもしれない。

なお本項に載せた部分有向点族の定義は(Kelly 1975)による。書籍によってはこれとは異なる定義を採用している場合もあるが[10][11]、こうした別定義とも何らかの意味で同値である事が示されている[10][11]

収束の定義

[編集]

以上の準備のもと、有向点族の収束の概念を定義する。

定義 (有向点族の収束) ―  を位相空間とする。X上の有向点族aX収束するとは、

U (a の近傍)

が成立する事をいう[7]の収束先aが一意であれば、

等と表す。

xの基本近傍系とするとき、以上の定義における「xの任意の近傍U」を「の任意の元U」に変えたとしても定義としては同値になる。

よって特に、距離空間から定義される位相空間の場合は、「xの任意のεー近傍」としてもよい。従って点列の収束に関しては位相空間におけら収束と本章の冒頭にあげた距離空間における収束の定義は一致する。

収束の一意性

[編集]

一般の位相空間において有向点族の収束の一意性は必ずしも成立しないものの、収束の一意性が保証される必要十分条件は下記のように記述できる事が知られている:

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

定理・定義 (ハウスドルフ性) ―  位相空間において、下記の2つの性質は同値である。これらの性質の1つ(したがって両方を満たす事)をハウスドルフ性もしくはハウスドルフの分離公理といい、ハウスドルフ性が成り立つ位相空間をハウスドルフ空間もしくはT2-空間という[12]

  • X上の任意の有向点族に対し、 が収束すればその収束先は一意である。
  • X上の任意の2点xyに対し、xの開近傍Uと、yの開近傍Vが存在しUV'=∅

なお、ハウスドルフ性は数ある「分離公理」の一つであり、「T2-空間」という名称も「T1-空間」や「T3-空間」といった他の分離公理と区別するための名称である。詳細は本項の分離公理の説明分離公理の項目を参照されたい。

収束による諸概念の再定式化

[編集]

有向点族の収束概念を用いると、閉包の概念を収束によって捉え直す事ができるようになる:

定理 (有向点族による特徴づけ) ―  Aを位相空間Xの任意の部分集合とき、以下が成立する:

  • Aは閉集合である⇔A上の有向点族(xλ)λ∈ΛaXに収束するものがあれば、aAである[13]
  • aAの閉包に含まれる⇔A上のある有向点族(xλ)λ∈Λが存在し、(xλ)λ∈Λaに収束する[13]
  • aAの集積点である⇔上のある有向点族(xλ)λ∈Λが存在し、(xλ)λ∈Λaに収束する[13]

上の定理の閉集合に関する部分は以下のように非常に簡単に示せる。他のものの証明も同様である:

距離空間では、点列の収束概念を用いて閉包や閉集合を同様にして特徴づけができる事が知られており、上記の2つの定理はこの特徴づけを一般の位相空間に拡張したものである。しかし一般の位相空間の場合、上記2定理で述べられているように、距離空間と違い「点列」ではなく「有向点族」で特徴づける必要がある。

なぜなら点列の添字が全順序な可算集合であるという制約が原因で、一般の位相空間の性質を記述するには不足であり、点列の概念で閉集合や開集合を特徴づけるには位相空間の方にも可算性に関する条件を満たす必要があるからである。詳細は列型空間を参照されたい。

二重極限の定理

[編集]

次に有向点族の二重極限に関する定理を紹介する。後述するように、この定理は有向点族の極限で位相を特徴づける際に役立つ。定理を記述するため、まず有向集合の直積に有向集合構造が入る事を見る:

命題・定義 (有向集合の直積) ―  (Γλ)λΓを有向集合の族とするとき、(Γλ)λΓの集合としての直積

という順序を入れると、は有向集合になる。この順序をいれた(Γλ)λΓの有向集合としての直積という。

定理 (二重極限の定理(: Theorem on Iterated limit[14]) ―  Λを有向集合とし、各λΛに対し、Γλを有向集合とし、を位相空間とする。 各λΛに対し、有向集合Γλを添え字とするX上の有向点族が、yλに収束するとし、さらに有向点族zに収束するものとする。

(Γλ)λΛの直積をとし、有向点族を考える(ただしと定める)。

このときzに収束する[14][15]

極限による位相の特徴づけ

[編集]

最後に有向点族による極限概念によって位相が特徴づけられる事を見る:

定理 (極限による位相の特徴づけ[16][15]) ―  Xを集合とし、X上の有向点族とXの点の組からなるクラスとする。

であるときy-収束するという事にするとき、以下が成立するとする:

  • xλが恒等的にyに等しければ、y-収束する
  • y-収束するとき、の任意の部分有向点族もy-収束する
  • y-収束しないとき、の部分有向点族のいかなる部分有向点族もy-収束しないものが存在する。
  • 二重極限の定理で「収束」を「-収束」に置き換えたものを満たす。

このときX上の位相構造における有向点族の収束が-収束に一致するものが唯一存在する。における閉包作用素は具体的には以下のように書ける:

y-収束する

連続性と位相同型

[編集]

本節では位相空間から別の位相空間に向かって定義された関数f: XYの連続性の概念を定義する。後述するように位相空間における連続性の概念は、距離空間における連続性の定義で「点列」を「有向点族」に置き換える事で定義可能であるが、近傍や開集合といった、位相空間の概念を使った別定義も可能であり、両者の定義は同値となる。

なお、紛れがなければ、fが2つの位相空間の間の写像である事を強調して、「f: XY」ではなく

という表記を用いる事もある。

一点での連続性

[編集]

位相空間X上で定義された関数fの点xXにおける連続性を以下のように定義する。

定義・定理 (一点における連続性) ―  を位相空間とし、f: XYを写像とし、xXの点とする。このとき以下の2条件は同値であり、この2条件の一方(したがって両方)を満たすとき、fxX連続(: continuous)であるという。以下でxの(開とは限らない)近傍全体を表す:

  • xに収束する任意の有向点族に対し、に収束する。
  • f(x)の近傍のfによる逆像はxの近傍である。すなわち、
      

我々はXにハウスドルフ性を仮定していないので、以上の定理で有向点族の収束の一意性が保証されていない事に注意されたい。