一般位相幾何学

一般位相幾何学は、近接性の概念（開集合）によって定義される空間と、それらの間の連続写像を研究し、幾何学と解析学の他の分野における極限、収束、連続性の基礎的な言語を提供する。

Definition

集合X上の位相とは、空集合とXを含み、任意の合併と有限個の共通部分に関して閉じている部分集合（開集合）の集まりであり、一般位相幾何学はこのような空間とそれらの間の連続関数を研究するものである。

Scope

この分野は、位相空間の抽象的な枠組み、すなわち、位相がどのように指定されるか（開集合、基底、準基底）、距離に言及せずに連続性と同相写像がどのように定義されるか、そして空間を区別する大域的な性質、主としてコンパクト性、連結性、分離公理の階層を扱う。これには、積、部分空間、商の構成、および抽象的な位相を距離空間に結びつける距離化の結果が含まれる。代数位相幾何学の代数的普遍量や微分幾何学の滑らかな構造は、この基礎の上に構築されるため、本分野の範囲外である。

Sub-topics

• コンパクト性
• 連結性
• 分離公理と距離化
• 位相空間と連続性

Core questions

• 距離に依存せず、集合上の連続性の概念を規定する最小限のデータは何か？
• 連続写像、積、部分空間、商の下で保存される位相的性質は何か？
• 抽象的な位相空間がいつ距離空間として実現できるか（距離化）？
• コンパクト性と連結性は、空間の大域的な形状と有限性の振る舞いをどのように符号化するか？

Key concepts

• 開集合と閉集合、近傍、内部と閉包
• 位相の基底と準基底
• 連続写像、同相写像、位相不変量
• 部分空間、積、商位相
• コンパクト性、連結性、分離公理

Clinical relevance

一般位相幾何学は現代数学の共通基盤である。解析学で用いられる収束と連続性の厳密な意味、関数解析学や微分幾何学の基礎となる空間、そして代数位相幾何学全体で前提とされる点集合の前提条件を提供する。

History

点集合位相幾何学は、19世紀後半から20世紀初頭にかけて、実数直線からの連続性の概念を抽象化しようとする試みから発展し、ハウスドルフによる1914年の位相空間の公理化によって具体化され、ケリー（1955年）やマンクレスなどの20世紀半ばの教科書によって体系化された標準的なカリキュラムとして成熟した。

Key figures

• Felix Hausdorff
• James Munkres
• John L. Kelley

Seminal works

• munkres2000
• kelley1955

Frequently asked questions

一般位相幾何学は代数位相幾何学とどう違うのか？

一般位相幾何学は、開集合、連続性、コンパクト性、連結性といった点集合の基礎を構築する一方、代数位相幾何学は、ホモトピー群やホモロジー群などの代数的普遍量を空間に割り当て、変形による区別を行う。

なぜ距離ではなく開集合で位相を定義するのか？

多くの重要な空間（商空間、関数空間、抽象的な積空間）は自然な距離を持たないが、それでも連続性の明確な概念を持つ。開集合の公理は、この完全に一般的な設定で連続性を捉える。