映射空间与紧开拓扑的概念

所有的连续映射构成的一个集合：
对 两 个 拓 扑 空 间 X , Y ， 记 m a p ( X , Y ) = X Y = { f : X → Y ∣ f 连 续 } 对两个拓扑空间X,Y，记map(X,Y)=X^Y=\{f:X\rightarrow Y|f连续 \} 对两个拓扑空间X,Y，记map(X,Y)=XY={f:X→Y∣f连续}
$在X^Y中赋予拓扑，拓扑称为紧开拓扑，$
记 T 为 X 中 所 有 的 紧 子 集 构 成 的 集 合 ， T = { X 中 的 紧 子 集 } ， F = { Y 中 所 有 的 开 集 } ， 即 Y 的 拓 扑 记T为X中所有的紧子集构成的集合，T=\{X中的紧子集\}，F=\{Y中所有的开集\}，即Y的拓扑 记T为X中所有的紧子集构成的集合，T={X中的紧子集}，F={Y中所有的开集}，即Y的拓扑
∀ u ∈ X , v ∈ F , β = { N { u , v } ∣ u ∈ X , v ∈ F } 是 X Y 的 一 组 拓 朴 基 ， N { u , v } 满 足 f ( u ) ⊂ v \forall u\in X,v\in F,\\ β=\{N\{u,v\}| u\in X,v\in F\}是X^Y的一组拓朴基，N\{u,v\}满足f(u)\subset v ∀u∈X,v∈F,β={N{u,v}∣u∈X,v∈F}是XY的一组拓朴基，N{u,v}满足f(u)⊂v
N { u , v } ∈ X Y , 由 β 生 成 的 拓 扑 称 为 紧 开 拓 扑 , “ 紧 开 ” 即 X 中 的 紧 集 到 Y 中 的 开 集 N\{u,v\}\in X^Y, 由β生成的拓扑称为紧开拓扑,“紧开”即X中的紧集到Y中的开集 N{u,v}∈XY,由β生成的拓扑称为紧开拓扑,“紧开”即X中的紧集到Y中的开集