Tietzeの拡張定理は、正規空間の閉部分集合上で定義された連続関数を空間全体に拡張できることを主張します。Urysohnの補題を発展させた結果です。
定理の主張
を正規空間、 を閉集合とする。 上の連続関数 に対して、連続関数 で を満たすものが存在する。
ここで は、 上で と が一致すること、すなわち任意の に対して が成り立つことを意味します。
有界でない場合への拡張
が有界でない連続関数の場合も、 への拡張が存在します。
と開区間 は同相なので、まず を有界関数に変換し、Tietzeの定理を適用してから元に戻すことで示せます。
証明の概略
証明はUrysohnの補題を繰り返し用いて、 に収束する連続関数列 を 上で構成します。
まず の値域を3等分し、 と という互いに素な閉集合をUrysohn関数で分離します。この関数を とすると、 となります。
この操作を繰り返すと誤差が のオーダーで減少し、極限として拡張 が得られます。
Tietzeの拡張定理の応用
Tietzeの定理は解析学や微分トポロジーで広く用いられます。
閉部分集合上の関数を滑らかに拡張する問題の出発点
多様体上の1の分割の構成
関数空間の性質の研究
また、Tietzeの定理は正規空間を特徴づけます。T1空間 において、任意の閉集合 と連続関数 が 全体へ拡張可能であることと、 が正規であることは同値です。
