分離公理と距離化

分離公理は、開集合によって点と閉集合をどの程度区別できるかによって位相空間を分類し、距離化定理は、互換性のある距離を持つために十分に分離されている空間を正確に特定します。

Definition

分離公理とは、異なる点、または点と互いに素な閉集合が、互いに素な開集合または連続関数によって分離できることを指定する条件であり、距離化定理とは、ある空間が距離空間と同相であるための必要十分な位相的条件を与えるものです。

Scope

このトピックでは、分離公理の階層（T0からT4：コルモゴロフ空間、T1空間、ハウスドルフ空間、正則空間、正規空間）と、部分空間および積におけるそれらの永続性について展開します。正規性を強力にするツール、すなわち連続分離関数を生成するウリゾーンの補題とティーツェ拡張定理を扱い、距離化、つまり抽象的な位相がいつ距離から生じるかを決定するウリゾーンの距離化定理と永田-スミルノフの特性化で締めくくります。多様体論への橋渡しとして、パラコンパクト性と1の分割も含まれています。

Core questions

• 分離公理T0からT4はどのように互いを強化し、どの公理が積によって継承されないのでしょうか？
• 正規性が、ウリゾーンの補題を介して、閉集合を分離する連続関数をもたらすのはなぜでしょうか？
• 距離化可能性と正確に同値な位相的条件は何でしょうか？
• パラコンパクト性と1の分割は、多様体上の解析に正規空間をどのように利用可能にするのでしょうか？

Key concepts

• T0、T1、およびハウスドルフ（T2）分離
• 正則（T3）および正規（T4）空間
• ウリゾーンの補題とティーツェ拡張定理
• ウリゾーンと永田-スミルノフの距離化定理
• パラコンパクト性と1の分割

Clinical relevance

分離と距離化の機構は、微分幾何学と多様体上の解析の基礎をなしています。パラコンパクトなハウスドルフ空間に存在する1の分割は、局所的な構成を全体的な構成にパッチする標準的な手段であり、距離化可能性は、幾何学全体で用いられる距離の直感を保証します。

History

分離公理は1920年代から1930年代にかけて体系化されました。ウリゾーンの補題と彼の距離化定理（1925年）は、最初の深遠な距離化可能性の基準を与え、1950年頃の永田-スミルノフの定理によって一般の空間に対して完成され、点集合位相の最終章の現代的な形を確立しました。

Key figures

• Pavel Urysohn
• Heinrich Tietze
• Jun-iti Nagata

Seminal works

• munkres2000
• kelley1955

Frequently asked questions

すべてのハウスドルフ空間は距離化可能ですか？

いいえ。距離化可能性にはより多くの条件が必要です。例えば、ウリゾーンの定理によれば、第二可算空間は正則かつハウスドルフである場合に限り距離化可能であり、これらのより強い条件を満たさないハウスドルフ空間も存在します。

ウリゾーンの補題は何のために使われますか？

正規空間において、任意の互いに素な2つの閉集合が連続な実数値関数によって分離できることを保証します。これはティーツェ拡張定理と距離化定理の両方における重要なステップです。