ジョルダン曲線定理

位相幾何学において、**ジョルダン曲線定理**（ジョルダンきょくせんていり、）あるいはジョルダンの**閉曲線定理**（へいきょくせんていり）とは、平面に置かれた自己交差を持たないどんな閉曲線（輪っか）も平面を「内側」と「外側」に分けるということを述べた定理。

## 定理
数学的に正確に述べると以下のような内容である。

 を平面  上の単純閉曲線（ジョルダン曲線）とする。このとき、 の像の補集合は二つの互いに素な空でない連結成分から成り、一方の成分は内部と呼ばれる有界領域であり、他方の成分は外部と呼ばれる非有界領域となる。また、 は両成分の境界を成す。


## 歴史
ジョルダン曲線定理の内容は直観的には明らかなことのように思われるが、実際に証明をするのは非常に困難なものであった。ベルナルド・ボルツァーノにより証明の先鞭が付けられてから、定理名の由来ともなるカミーユ・ジョルダンにより1887年に最初の証明が出版された。しかしこの証明には瑕疵があると見做され、最終的に完全な証明はオズワルド・ヴェブレンの手によって1905年に与えられたとされる。ただしこの定理の最初の証明者については議論がある。

2005年には証明検証システムMizar及びHOL Lightによる証明の形式化が与えられている。

## 証明
閉曲線定理には、ブラウアーの不動点定理を巧みに用いた証明、コンパクト性（または超準解析）を用いて単純閉多角形の場合に帰着する証明、ホモロジー群を用いた証明など、多くの別証明が与えられている。（また単純閉曲線が区分的に滑らかな場合に限れば、回転数を用いた、より易しい証明が知られている。）

ここではホモロジー群を用いた証明を述べる。このホモロジー群に基づく証明の利点は、後述の高次元版への拡張の証明へと容易に一般化できることにある。

### ステップ1. 球面上の閉曲線定理への帰着

c を単純閉曲線とする。これは単射な連続写像 c \colon \mathbb{S}^{1} \to \mathbb{R}^2 と同一視できる。これと一点コンパクト化 i\colon \mathbb{R}^{2} \to \mathbb{S}^2 との合成写像 \gamma := i \circ c \colon \mathbb{S}^{1} \to \mathbb{S}^2 を考えることで、以下を証明することに帰着される。


**定理.** \gamma\colon \mathbb{S}^{1} \to \mathbb{S}^{2}  を埋め込みとする。このとき \mathbb{S}^{2} \setminus \gamma(\mathbb{S}^{1}) はちょうど2つの連結成分からなる。さらに \gamma(\mathbb{S}^{1}) はそれぞれの連結成分の境界をなす。


ここで、一点コンパクト化における無限遠点を含む連結成分が平面における非有界な連結成分に対応し、もう一方の連結成分が平面における有界な連結成分に対応する。

### ステップ2. 弧状連結成分の場合への帰着

次の補題を証明する：


**補題.** A を球面の連結な開集合とする。このとき A は弧状連結である。


A の任意の弧状連結成分が開集合であることを示せばよい。何故なら、A の弧状連結成分 B に対し、補集合 A \setminus B はその他の弧状連結成分の和集合ゆえに開集合と分かり、したがって A の連結性より A = B が従うからである。

いま B を A の弧状連結成分とする。点 x \in B を任意に取る。A は開集合だから、ある r > 0  が存在して D(x; r) \subseteq A である。すると x と円板 D(x; r) 内の点は A 内の測地線（当然連続曲線でもある）により結ばれるから、同じ弧状連結成分に属する。つまり D(x; r)\subseteq B である。点 x は任意だったから B は開集合である。（補題の証明終）

球面上の閉曲線定理の主張において、 \gamma は連続、 \mathbb{S}^{1} はコンパクト空間、 \mathbb{R}^{2} はハウスドルフ空間だから、像 \gamma(\mathbb{S}^{1}) はコンパクトである。さらにハイネ・ボレルの被覆定理より \gamma(\mathbb{S}^{1}) は閉集合である。したがって補集合 \mathbb{S}^{2} \setminus \gamma(\mathbb{S}^{1}) は \mathbb{S}^{2} において開集合となる。

ここで A を \mathbb{S}^{2} \setminus \gamma(\mathbb{S}^{1}) のひとつの連結成分とする。これは \mathbb{S}^{2} \setminus \gamma(\mathbb{S}^{1}) において開集合である。このことと前段の結果から A は \mathbb{S}^{2} においても開集合であることが分かる。補題より A は弧状連結である。

このことから \mathbb{S}^{2} \setminus \gamma(\mathbb{S}^{1}) において連結成分であることと弧状連結成分であることとは同値となる。よって以下を示せばよい。


**定理.** \gamma\colon \mathbb{S}^{1} \to \mathbb{S}^{2}  を球面上の単純閉曲線とする。このとき \mathbb{S}^{2} \setminus \gamma(\mathbb{S}^{1}) はちょうど2つの弧状連結成分からなる。さらに \gamma(\mathbb{S}^{1}) はそれぞれの弧状連結成分の境界をなす。


### ステップ3. ホモロジー群の計算への帰着

ホモロジー群の言葉を用いれば、閉曲線定理の定理の前半部分の主張は以下と同値である。ここで \tilde{H} は被約特異ホモロジーである。


: \tilde{H}_{0}(\mathbb{S}^{2} \setminus \gamma(\mathbb{S}^{1}); \mathbb{Z}) = \mathbb{Z} 


これは次の定理の特別な場合として得られる。ただし \mathbb{D}^{k} は *k*-次元円板を表す。


**定理.** 任意の n=1,2,3\ldots について以下が成立する：
# 任意の埋め込み f\colon \mathbb{D}^k \to \mathbb{S}^n  に対して \tilde{H}_{i}(\mathbb{S}^n \setminus f(\mathbb{D}^k); \mathbb{Z}) = 0 が成り立つ。
# 任意の埋め込み g\colon \mathbb{S}^k \to \mathbb{S}^n  (k ) に対して \tilde{H}_{n-k-1}(\mathbb{S}^n \setminus g(\mathbb{S}^k); \mathbb{Z}) = 0 かつ \tilde{H}_{i}(\mathbb{S}^n \setminus g(\mathbb{S}^k); \mathbb{Z}) = \mathbb{Z} (i \neq n-k-1) が成り立つ。


### ステップ4. ホモロジー群の計算

k に関する帰納法により証明する。各ステップは、マイヤー・ヴィートリス完全系列を用いて、それより前のステップの場合に帰着することにより証明される。

#### ''k'' = 0 の場合

まず(1)を示す。埋め込み f\colon \mathbb{D}^0 \to \mathbb{S}^n  について、 \mathbb{S}^n \setminus f(\mathbb{D}^0) は *n*-球面から一点を取り除いた空間であり、これは \mathbb{R}^{n} と同相である。したがって被約ホモロジーは全ての次元で消える。

次に(2)を示す。埋め込み g\colon \mathbb{S}^0 \to \mathbb{S}^n  について、 \mathbb{S}^n \setminus g(\mathbb{S}^0)  は *n*-球面から2点を取り除いた空間であり、これは \mathbb{S}^{n-1} \times \mathbb{R} と同相である。よって

: \tilde{H}(\mathbb{S}^n \setminus g(\mathbb{S}^0); \mathbb{Z}) = \tilde{H}(\mathbb{S}^{n-1} \times \mathbb{R}; \mathbb{Z}) = \tilde{H}(\mathbb{S}^{n-1}; \mathbb{Z}) 

であり、右辺は次元 n-1 で \mathbb{Z} となり、それ以外の次元は消える。

#### ''k'' > 0 の場合

まず(1)を示す。*k*-球体と *k*-超立方体の同相 (\mathbb{D}^k, \mathbb{S}^{k-1}) \cong (I^k, \partial I^{k}) が存在するから、埋め込み f\colon \mathbb{I}^k \to \mathbb{S}^n  に対して証明すればよい。マイヤー・ヴィートリス完全系列を考えるために \mathbb{S}^n \setminus f(I^k) を以下の2つの空間の共通部分として表す：

: A := \mathbb{S}^n \setminus f(I^{k-1}\times [0, 1/2]) 
: B := \mathbb{S}^n \setminus f(I^{k-1}\times [1/2, 1]) 

これらの和集合は

: A \cup B = \mathbb{S}^n \setminus f(I^{k-1} \times \{0\})

であり、 I^{k-1} \cong \mathbb{D}^{k-1} だから、帰納法の仮定により

: H(A\cup B; \mathbb{Z}) = 0

となる。よって (A, B) のマイヤー・ビエトリス完全系列は

: 0 \to \tilde{H}_i(A\cap B; \mathbb{Z}) \to \tilde{H}_i(A; \mathbb{Z}) \oplus \tilde{H}_i(B; \mathbb{Z}) \to 0 \to \cdots 

となっており、完全性より

: \tilde{H}_i(A\cap B; \mathbb{Z}) \cong \tilde{H}_i(A; \mathbb{Z}) \oplus \tilde{H}_i(B; \mathbb{Z})

が従う。この同型写像の各成分は包含写像から誘導される。

この左辺のホモロジーが消えないと仮定して矛盾を導こう。仮定より A\cap B は非自明なホモロジー類 [u] を持つ。前述の写像が同型である（よってホモロジー類 [u] は非ゼロ元に写される）ことから、 u は A または B の少なくとも一方においても非自明なホモロジー類となっている。一般性を失うことなく A において非自明であると仮定してよい。次に A を

: A_1 := \mathbb{S}^n \setminus f(I^{k-1}\times [0, 1/4]) 
: B_1 := \mathbb{S}^n \setminus f(I^{k-1}\times [1/4, 1/2]) 

の共通部分で表し、同様の議論を続けることができる。すると、長さが半々に減っていく閉区間列

: I_0 \supseteq I_1 \supseteq \cdots

であって、全ての m に対して

: [u] \neq 0 in \tilde{H}(\mathbb{S}^n \setminus f(I^{k-1}\times I_m); \mathbb{Z})

であるようなものが構成できる。この区間は一点に収束する。つまり \bigcap_m I_m = \{ p \} となるから、帰納法の仮定により

:  \tilde{H}(\mathbb{S}^n \setminus f(I^{k-1}\times \{p\}); \mathbb{Z}) = 0 

である。したがって u は \mathbb{S}^n \setminus f(I^{k-1}\times \{p\}) における特異鎖の境界となっている。ところがこの特異鎖は実際には十分大きな m における \mathbb{S}^n \setminus f(I^{k-1}\times I_m) の特異鎖でもあることが分かる（特異単体の像のコンパクト性及び鎖の有限性から従う）から、 u はある \mathbb{S}^n \setminus f(I^{k-1}\times I_m) において消える。これは矛盾である。

以上により次が示された：

: \tilde{H}(\mathbb{S}^n \setminus f(I^k)) = \tilde{H}(A \cap B) = 0

あとは(2)を示せばよい。これは、埋め込み g\colon \mathbb{S}^k \to \mathbb{S}^n において、定義域 \mathbb{S}^k を（赤道を含む）北半球と南半球に分割し、マイヤー・ビエトリス完全系列を考えることによって、(1)に帰着される。

## 拡張
ジョルダン曲線定理には以下のような高次元への拡張版が存在する。

 を  次元球面  から  次元ユークリッド空間  への単射連続写像とする。このとき、 の像の補集合は二つの互いに素な連結成分からなり、二つの連結成分の一方は有界（内部）で他方は非有界（外部）で、 は両成分の共通の境界である。


平面の場合と同様の議論により、*n*-球面の*n*+1-球面への埋め込みに関するホモロジー計算に帰着でき、前述のホモロジーの計算結果(2)により証明できる。

ジョルダン曲線定理にはジョルダン＝シェーンフリースの定理 () と呼ばれる一般化も存在する。これは、平面上のいかなるジョルダン曲線も平面上の同相写像に拡張可能であるというものである。これはジョルダン曲線定理よりも非常に強い内容である。この定理の高次元版は偽であり、よく知られた反例としてアレクサンダーの角付き球面がある。角付き球面の補集合の非有界成分は単連結ではなく、そのため角球面の写像を  の全体にまで拡張することはできない。

## 逆数学

ジョルダン曲線定理は逆数学においても研究されている。ジョルダン曲線定理及びシェーンフリースの定理はともに \mathrm{RCA}_{0} 上で弱ケーニヒの補題と同値である。このことは、 \mathrm{WKL}_{0} の任意の可算超準モデルの中で、ジョルダン曲線定理の超準的証明をシミュレートすることによって為される。したがって、弱ケーニヒの補題よりも弱い二階算術の体系においては、ジョルダン曲線定理の否定を仮定しても矛盾しない。

## 脚注

### 出典

## 関連項目
* 閉路
* 和田の湖

## 外部リンク
* 
* Jordan の閉曲線定理の証明 - トポロジーいろいろ