[論文レビュー] Groupoids, the Phragmen-Brouwer Property and the Jordan Curve Theorem

Ronald Brown|ArXiv.org|Jul 9, 2006

Advanced Topics in Algebra参考文献 13被引用数 4

ひとこと要約

本稿では、基本群の群コホーショーンと、複数の基点に関する群コホーショーンのヴァン・コンペンの定理を用いて、フォルゲン＝ブロワー性質を介して、ジョルダン曲線定理の新しい証明を提示する。主な貢献は、群コホーショーン代数に裏打ちされたホモトピー論的技法を用いて、2次元球面における単純閉曲線の補集合が、ちょうど2つの成分を持ち、それぞれがその曲線を境界として持つことを示す位相的議論である。

ABSTRACT

We publicise a proof of the Jordan Curve Theorem which relates it to the Phragmen-Brouwer Property, and whose proof uses the van Kampen theorem for the fundamental groupoid on a set of base points.

研究の動機と目的

• 群コホーショーンを中心とした代数的位相幾何学的道具を用いて、ジョルダン曲線定理の新しい、理解しやすい証明を提供すること。
• 複数の基点に関する基本群コホーショーンが、幾何学的位相幾何学的問題においてどのように有用であるかを示すこと。
• ホモトピー論的手法を用いて、ジョルダン曲線定理とフォルゲン＝ブロワー性質の同値性を確立すること。
• Bro88 に含まれる高度な技術を、自己完結的で解説的な形に再構築することで、広く一般化すること。

提案手法

• 証明は、単純閉曲線を除いた2次元球面を、開かつ路連結な部分集合に分解するために、複数の基点に関する基本群コホーショーンのヴァン・コンペンの定理を適用する。
• フォルゲン＝ブロワー性質を用いて、曲線の補集合の連結性を分析し、特に開集合の和集合の基本群との関係を検討する。
• 開集合 U、V 及びその共通部分集合 W の包含写像から、群コホーショーンのプッシュアウト図式を構成する。ここで X = U ∪ V である。
• ℝ²\{0} 上のホモトピーを用いて、ループが無関係であることを示すことで、π₁(U,x) および π₁(V,x) から π₁(X,x) への誘導写像 i* および j* が自明であることを示す。
• π₁(X,x) ≅ ℤ であることに着目し、背理法を用いて、補集合 W = X ∩ Y が正確に2つの路連結成分を持つことを示す。
• 補集合の各成分の閉包からその成分自体を除いたものが、元の曲線に等しいことを示し、曲線が両方の成分の境界であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 単一の基点ではなく、複数の基点に関する基本群コホーショーンを用いて、ジョルダン曲線定理をどのように証明できるか。
• RQ2 フォルゲン＝ブロワー性質は、単純閉曲線の補集合の位相的構造を特徴付ける上で果たす役割は何か。
• RQ3 群コホーショーンのヴァン・コンペンの定理を用いて、被覆空間論に依存せずにジョルダン曲線定理を導くことは可能か。
• RQ4 なぜ、基本群コホーショーンにおける複数の基点の使用は、古典的基礎群よりも幾何的に自然で、計算的にも優れているのか。
• RQ5 2次元球面における単純閉曲線の補集合の位相的構造は、その基本群コホーショーンの代数的構造とどのように関係しているか。

主な発見

• 2次元球面上の単純閉曲線の補集合は、正確に2つの路連結成分を持ち、それぞれがその曲線を境界として持つ。
• 2次元球面から2点を除いた空間の基本群は ℤ に同型であり、アーベル群である。この性質が、補集合に2つより多くの成分が存在しないことを示すのにも用いられる。
• U および V の基本群から X の基本群への誘導写像 i* および j* は自明である。これは、ℝ²\{0} 上のホモトピーを用いて、ループが定値写像にホモトープであることを示すことで証明される。
• 補集合の各成分からその成分自体を除いたものの閉包は、元の曲線に等しくなる。これにより、曲線が両方の成分の位相的境界であることが証明される。
• 証明により、ジョルダン曲線定理とフォルゲン＝ブロワー性質の強い関連性が確立され、群コホーショーンのヴァン・コンペンの定理のもとで、前者が後者の帰結であることが示された。
• 複数の基点に関する群コホーショーンの使用は、特に単純に連結でない状況において、古典的基礎群よりも幾何的に直感的で、計算的にも有効な枠組みを提供する。