← 戻る ライブラリ › 位相幾何学(トポロジー) › 一般位相空間論 位相幾何学(トポロジー)
位相空間、コンパクト性、連結性 位相とは、距離の概念なしに連続性、開集合、コンパクト性、連結性を語るために必要な最小限の構造である。連続写像はコンパクト集合をコンパクト集合に、連結集合を連結集合に送る——この2つの事実が一般化された中間値の定理、ロボットの動作計画、経済学における存在証明の背後にある。
直観 定規なしで残るもの ゴムのシートを伸ばしたり曲げたりすると距離は完全に変わるが、決して変わらない事実がある:穴の周りのループは穴の周りのループのままであり、一つながりの部分は一つながりのままであり、実体のある円板は決して二つに裂けない。位相 はまさにこの「ゴムシート」構造を、どの集合が開集合 とみなされるかだけを記憶し、距離をまるごと捨てることで捉える。
トーラス(ドーナツ形):回転させたり伸ばしたりしても、同じ位相空間のままである。中心の穴を回るループは、曲面上にとどまる限り決して一点に縮められない——これはあらゆる連続変形を生き延びる事実である。 大学 位相の公理 定義: 位相空間
集合 X X X 位相 とは、X X X 開集合 と呼ぶ)からなる族 τ \tau τ ∅ ∈ τ \emptyset \in \tau ∅ ∈ τ X ∈ τ X \in \tau X ∈ τ τ \tau τ τ \tau τ τ \tau τ 有限 個の共通部分は τ \tau τ ( X , τ ) (X,\tau) ( X , τ ) 位相空間 という。すべての距離空間は位相空間である:U U U U U U U U U
∅ , X ∈ τ ⋃ i ∈ I U i ∈ τ ( U i ∈ τ ) ⋂ i = 1 n U i ∈ τ ( U i ∈ τ ) \emptyset, X \in \tau \qquad \bigcup_{i \in I} U_i \in \tau \ (U_i \in \tau) \qquad \bigcap_{i=1}^n U_i \in \tau \ (U_i \in \tau) ∅ , X ∈ τ i ∈ I ⋃ U i ∈ τ ( U i ∈ τ ) i = 1 ⋂ n U i ∈ τ ( U i ∈ τ ) 開集合だけを原始概念とすると、連続性 は ε \varepsilon ε δ \delta δ f : X → Y f: X \to Y f : X → Y Y Y Y U U U f − 1 ( U ) f^{-1}(U) f − 1 ( U ) X X X ε \varepsilon ε δ \delta δ
f : X → Y continuous ⟺ f − 1 ( U ) ∈ τ X ∀ U ∈ τ Y f: X \to Y \text{ continuous} \iff f^{-1}(U) \in \tau_X \ \ \forall U \in \tau_Y f : X → Y continuous ⟺ f − 1 ( U ) ∈ τ X ∀ U ∈ τ Y 位相空間がハウスドルフ であるとは、任意の相異なる2点が互いに素な開集合によって分離できることをいう:すべての x ≠ y x \ne y x = y x ∈ U x \in U x ∈ U y ∈ V y \in V y ∈ V U ∩ V = ∅ U \cap V = \emptyset U ∩ V = ∅ U , V ∈ τ U, V \in \tau U , V ∈ τ d ( x , y ) / 2 d(x,y)/2 d ( x , y ) /2
∀ x ≠ y ∃ U , V ∈ τ : x ∈ U , y ∈ V , U ∩ V = ∅ \forall x \ne y\ \exists U, V \in \tau:\ x \in U,\ y \in V,\ U \cap V = \emptyset ∀ x = y ∃ U , V ∈ τ : x ∈ U , y ∈ V , U ∩ V = ∅ 設定ごとのコンパクト性 設定 コンパクト性の判定 例 R n \mathbb{R}^n R n 閉かつ有界 [ 0 , 1 ] [0,1] [ 0 , 1 ] ( 0 , 1 ) (0,1) ( 0 , 1 ) 一般の距離空間 点列コンパクト性 = = = すべての数列が収束部分列を持つ 一般の位相空間 開被覆コンパクト性のみが通用する すべての開被覆が有限部分被覆を持つ
大学 定理 f : X → Y f: X \to Y f : X → Y K ⊆ X K \subseteq X K ⊆ X K K K f ( K ) ⊆ Y f(K) \subseteq Y f ( K ) ⊆ Y Y Y Y K ⊆ Y K \subseteq Y K ⊆ Y
なぜ正しいのか? これは連続関数が閉有界区間上で必ず最大値を取る理由を説明し、解析学全体を通じて「コンパクト+ハウスドルフ=閉有界集合と同じくらい良い」という抽象的な原動力になっている。
証明 ステップ1 — f ( K ) f(K) f ( K ) { V i } i ∈ I \{V_i\}_{i \in I} { V i } i ∈ I Y Y Y f ( K ) f(K) f ( K ) f ( K ) ⊆ ⋃ i V i f(K) \subseteq \bigcup_i V_i f ( K ) ⊆ ⋃ i V i f f f f − 1 ( V i ) f^{-1}(V_i) f − 1 ( V i ) X X X x ∈ K x \in K x ∈ K f ( x ) ∈ f ( K ) f(x) \in f(K) f ( x ) ∈ f ( K ) V i V_i V i x ∈ f − 1 ( V i ) x \in f^{-1}(V_i) x ∈ f − 1 ( V i ) { f − 1 ( V i ) } i ∈ I \{f^{-1}(V_i)\}_{i \in I} { f − 1 ( V i ) } i ∈ I K K K
ステップ2 — K K K K K K K K K K ⊆ f − 1 ( V i 1 ) ∪ ⋯ ∪ f − 1 ( V i n ) K \subseteq f^{-1}(V_{i_1}) \cup \dots \cup f^{-1}(V_{i_n}) K ⊆ f − 1 ( V i 1 ) ∪ ⋯ ∪ f − 1 ( V i n ) i 1 , … , i n i_1, \dots, i_n i 1 , … , i n
ステップ3 — 有限部分被覆を押し出す。両辺に f f f f ( K ) ⊆ f ( f − 1 ( V i 1 ) ∪ ⋯ ∪ f − 1 ( V i n ) ) ⊆ V i 1 ∪ ⋯ ∪ V i n f(K) \subseteq f\big(f^{-1}(V_{i_1}) \cup \dots \cup f^{-1}(V_{i_n})\big) \subseteq V_{i_1} \cup \dots \cup V_{i_n} f ( K ) ⊆ f ( f − 1 ( V i 1 ) ∪ ⋯ ∪ f − 1 ( V i n ) ) ⊆ V i 1 ∪ ⋯ ∪ V i n f ( f − 1 ( V ) ) ⊆ V f(f^{-1}(V)) \subseteq V f ( f − 1 ( V )) ⊆ V { V i 1 , … , V i n } \{V_{i_1}, \dots, V_{i_n}\} { V i 1 , … , V i n } f ( K ) f(K) f ( K ) { V i } \{V_i\} { V i } f ( K ) f(K) f ( K )
ステップ4 — 系:ハウスドルフ空間のコンパクト部分集合は閉集合である。K ⊆ Y K \subseteq Y K ⊆ Y Y Y Y y ∉ K y \notin K y ∈ / K x ∈ K x \in K x ∈ K U x ∋ x U_x \ni x U x ∋ x W x ∋ y W_x \ni y W x ∋ y { U x } x ∈ K \{U_x\}_{x \in K} { U x } x ∈ K K K K U x 1 , … , U x n U_{x_1}, \dots, U_{x_n} U x 1 , … , U x n K K K W = W x 1 ∩ ⋯ ∩ W x n W = W_{x_1} \cap \dots \cap W_{x_n} W = W x 1 ∩ ⋯ ∩ W x n y y y U x j U_{x_j} U x j K ⊆ ⋃ j U x j K \subseteq \bigcup_j U_{x_j} K ⊆ ⋃ j U x j K K K K K K K K K K K K
f : X → Y f: X \to Y f : X → Y X X X f ( X ) f(X) f ( X ) X X X f : X → R f: X \to \mathbb{R} f : X → R f ( X ) f(X) f ( X ) a , b ∈ X a, b \in X a , b ∈ X f f f f ( a ) f(a) f ( a ) f ( b ) f(b) f ( b )
なぜ正しいのか? これは微積分における中間値の定理の真の源である——f f f R \mathbb{R} R
証明 ステップ1 — f ( X ) f(X) f ( X ) f ( X ) = A ∪ B f(X) = A \cup B f ( X ) = A ∪ B A , B A, B A , B f ( X ) f(X) f ( X ) Y Y Y A ′ , B ′ A', B' A ′ , B ′ A = f ( X ) ∩ A ′ A = f(X) \cap A' A = f ( X ) ∩ A ′ B = f ( X ) ∩ B ′ B = f(X) \cap B' B = f ( X ) ∩ B ′
ステップ2 — 分離を X X X P = f − 1 ( A ′ ) P = f^{-1}(A') P = f − 1 ( A ′ ) Q = f − 1 ( B ′ ) Q = f^{-1}(B') Q = f − 1 ( B ′ ) f f f P P P Q Q Q X X X x ∈ X x \in X x ∈ X f ( x ) ∈ f ( X ) = A ∪ B f(x) \in f(X) = A \cup B f ( x ) ∈ f ( X ) = A ∪ B f ( x ) ∈ A ′ f(x) \in A' f ( x ) ∈ A ′ f ( x ) ∈ B ′ f(x) \in B' f ( x ) ∈ B ′ x ∈ P x \in P x ∈ P x ∈ Q x \in Q x ∈ Q X = P ∪ Q X = P \cup Q X = P ∪ Q P P P Q Q Q A , B A, B A , B f f f P ∩ Q = ∅ P \cap Q = \emptyset P ∩ Q = ∅ x ∈ P ∩ Q x \in P \cap Q x ∈ P ∩ Q f ( x ) ∈ A ′ ∩ B ′ ∩ f ( X ) = A ∩ B = ∅ f(x) \in A' \cap B' \cap f(X) = A \cap B = \emptyset f ( x ) ∈ A ′ ∩ B ′ ∩ f ( X ) = A ∩ B = ∅
ステップ3 — 矛盾。P P P Q Q Q X = P ∪ Q X = P \cup Q X = P ∪ Q X X X X X X f ( X ) f(X) f ( X )
ステップ4 — 区間の系。R \mathbb{R} R f ( X ) f(X) f ( X ) f ( X ) f(X) f ( X ) R \mathbb{R} R f ( a ) f(a) f ( a ) f ( b ) f(b) f ( b )
大学 実世界での応用と具体例 ロボットアームの配位空間 (すべての関節角の組み合わせ)は位相空間である。ロボットが衝突なしに姿勢 a a a b b b a a a b b b コンパクト な価格シンプレックス上での超過需要関数の連続性と、連結性による議論(1次元の特別な場合:ある価格で超過需要が正、別の価格で負ならば、価格区間の連続性と連結性がちょうど0になる均衡価格の存在を強制する)に依拠する。
例: 自由配位空間は連結か?
2リンクのロボットアームは配位空間 T 2 = S 1 × S 1 T^2 = S^1 \times S^1 T 2 = S 1 × S 1 θ 1 , θ 2 \theta_1, \theta_2 θ 1 , θ 2 ( θ 1 , θ 2 ) = ( 0 , 0 ) (\theta_1,\theta_2) = (0,0) ( θ 1 , θ 2 ) = ( 0 , 0 ) T 2 ∖ { ( 0 , 0 ) } T^2 \setminus \{(0,0)\} T 2 ∖ {( 0 , 0 )}
解答 ステップ1 — 次元 ≥ 2 \ge 2 ≥ 2 T 2 T^2 T 2
ステップ2 — 障害物を避ける明示的な経路を構成する。任意の2つの姿勢 p , q ∈ T 2 ∖ { ( 0 , 0 ) } p, q \in T^2 \setminus \{(0,0)\} p , q ∈ T 2 ∖ {( 0 , 0 )} p p p q q q ( 0 , 0 ) (0,0) ( 0 , 0 ) T 2 T^2 T 2 ( 0 , 0 ) (0,0) ( 0 , 0 ) T 2 T^2 T 2
ステップ3 — 連結性を結論する。任意の2点は常に除去された1点を避ける経路で結べるので、T 2 ∖ { ( 0 , 0 ) } T^2 \setminus \{(0,0)\} T 2 ∖ {( 0 , 0 )} S 1 S^1 S 1
例: 連結性による1財市場均衡価格の発見
ある市場の超過需要関数 g ( p ) g(p) g ( p ) p p p [ 1 , 10 ] [1,10] [ 1 , 10 ] g ( 1 ) = 50 > 0 g(1) = 50 > 0 g ( 1 ) = 50 > 0 g ( 10 ) = − 20 < 0 g(10) = -20 < 0 g ( 10 ) = − 20 < 0 g g g g ( p ∗ ) = 0 g(p^*)=0 g ( p ∗ ) = 0 p ∗ ∈ [ 1 , 10 ] p^* \in [1,10] p ∗ ∈ [ 1 , 10 ]
解答 ステップ1 — 位相的な材料を特定する。[ 1 , 10 ] [1,10] [ 1 , 10 ] R \mathbb{R} R g : [ 1 , 10 ] → R g: [1,10] \to \mathbb{R} g : [ 1 , 10 ] → R
ステップ2 — 連結性定理を適用する。定理により g ( [ 1 , 10 ] ) g([1,10]) g ([ 1 , 10 ]) R \mathbb{R} R g ( 1 ) = 50 g(1)=50 g ( 1 ) = 50 g ( 10 ) = − 20 g(10)=-20 g ( 10 ) = − 20 g ( [ 1 , 10 ] ) g([1,10]) g ([ 1 , 10 ]) g ( [ 1 , 10 ] ) g([1,10]) g ([ 1 , 10 ]) − 20 -20 − 20 50 50 50 0 0 0
ステップ3 — 均衡の存在(一意性ではない)を結論する。よって g ( p ∗ ) = 0 g(p^*) = 0 g ( p ∗ ) = 0 p ∗ ∈ [ 1 , 10 ] p^* \in [1,10] p ∗ ∈ [ 1 , 10 ] g g g
よくある誤り. ハイネ・ボレルの定理(「閉かつ有界 = = = R n \mathbb{R}^n R n 一般的な定義ではない ——無限次元空間や一般の位相空間では、閉かつ有界な集合が必ずしもコンパクトとは限らない。また、連続な全単射は、定義域がコンパクトで値域がハウスドルフでない限り自動的に同相写像になるわけではない(逆写像が連続でないことがある)——どちらかの仮定を外すと本物の反例が得られる。 歴史的ノート
アンリ・ポアンカレの1895年の論文『位置解析(Analysis Situs)』は、距離とは独立に形を研究する体系的な道具を導入し、代数的位相幾何学および一般位相幾何学を創始した文献として広く認められている。フェリックス・ハウスドルフは後の1914年に抽象的な開集合公理を形式化し、位相に現代的な「定義先行」の基礎を与えた。そしてコンパクト性と連結性の研究(元々は実解析、例えば閉有界区間上の連続関数が最大値を取ることを証明する動機から生まれた)は、この完全に一般的で距離を用いない言語へと徐々に書き直されていった。
アンリ・ポアンカレ
研究の最前線 2026年時点
位相的データ解析(TDA)、特にパーシステントホモロジーは、近接閾値を大きくするにつれて点群の連結性やより高次元の「穴」がどう変化するかを追跡し、コンパクト性・連結性の議論を、雑音を含む実世界データ(ゲノミクス、センサーネットワーク、神経科学)を解析する実践的な道具に変える——2000年代以降の活発な研究分野であり、主要なソフトウェアライブラリと理論の発展が現在も続いている。ロボティクスでは、配位空間の位相的複雑さ(ファーバーのTC不変量、それ自体が連結性と被覆の議論から構築される)が、与えられたロボットに対するあらゆる動作計画アルゴリズムがどれほど複雑にならざるを得ないかの下界を証明するための、現在も活発な研究テーマであり続けている。
次のうち位相の公理ではない ものはどれか?
∅ \emptyset ∅ X X X 開集合の任意の和集合は開である 開集合の任意の共通部分は開である 開集合の有限個の共通部分は開である ロボットの自由配位空間が障害物の周りで2つの独立した部分に非連結化されている。これは物理的に何を意味するか?
異なる部分にある姿勢同士は、衝突なしには互いに到達できない ロボットは2本のアームを持つ ロボットはコンパクトである 配位空間はハウスドルフである
超過需要関数はコンパクトかつ連結な価格区間 [ 2 , 8 ] [2,8] [ 2 , 8 ] p = 2 p=2 p = 2 p = 8 p=8 p = 8
超過需要がちょうど0になる均衡価格が [ 2 , 8 ] [2,8] [ 2 , 8 ] 均衡価格は一意である 均衡価格は存在しない 需要関数は線形でなければならない K ⊆ R 2 K \subseteq \mathbb{R}^2 K ⊆ R 2 f : R 2 → R 2 f: \mathbb{R}^2 \to \mathbb{R}^2 f : R 2 → R 2 f ( K ) f(K) f ( K )
f ( K ) f(K) f ( K ) R 2 \mathbb{R}^2 R 2 f ( K ) f(K) f ( K ) f ( K ) f(K) f ( K ) K K K f ( K ) f(K) f ( K )