數學中,緊緻開拓撲是定義在兩個拓撲空間之間的所有連續映射集合上的一種拓撲。緊緻開拓撲是函數空間上的常用拓撲之一,在同倫理論和泛函分析中有應用。

定義

編輯

XY 為兩個拓撲空間,令C(X, Y) 為所有從X 射到 Y 上的連續映射的集合。對於X 中的一個緊集KY 中的一個開集U,設V(K, U) 為集合 C(X, Y)中所有使得f(K)屬於 U映射的集合。所有的V(K, U) 構成緊緻開拓撲的一個子基(但一般不構成C(X, Y)上的一個拓撲基)。

性質

編輯
  • 如果 * 是一個單點空間,那麼可以將C(*, X) 等同於 X。在這種情況下,C(*, X) 上面的緊緻開拓撲就等同於X 上的拓撲。
  • 如果YT0空間T1空間豪斯多夫空間正則空間或者吉洪諾夫空間的話,那麼對應的緊緻開拓撲滿足分離公理
  • 如果 X 是豪斯多夫空間,並且SY 的一個子基,那麼集合 C(X, Y) 上的緊緻開拓撲的一個子基。
  • 如果 Y一致空間(特別來說,如果 Y 是一個度量空間),那麼其對應的緊緻開拓撲等價於緊收斂拓撲。換句話說,如果 Y一致空間的話,那麼一個函數序列 {fn}在緊緻開拓撲上收斂到一個極限(設為 f)當且僅當對 X 所有的緊子集 K,{fn} 都在K一致收斂f。特別地,如果 X 是緊集,而 Y一致空間,那麼其對應的緊緻開拓撲等價於基於一致收斂的拓撲。
  • 如果 XYZ 是三個拓撲空間,其中Y局部豪斯多夫緊緻的(或者僅僅是准正則的),那麼由關係:(f, g)   fog 所給出的複合映射 C(Y, Z) × C(X, Y) → C(X, Z) 是連續的(這裡所有的映射空間都使用相應的緊緻開拓撲,而 C(Y, Z) × C(X, Y)上的是積拓撲)。
  • 如果 Y局部豪斯多夫緊緻的(或者僅僅是准正則的),那麼賦值函數e : C(YZ) × Y → Z(定義為e(f, x) = f(x))是連續函數。這可以看成上一個性質在X 為單點空間時的特例。
  • 如果 X 是緊空間,Y 是裝備有距離 d 的度量空間,那麼C(X, Y) 上的緊緻開映射是可度量的,並且其上的距離由函數   所給出。

參見

編輯

參考來源

編輯