映射空间中几个定理的扩展

函数空间是学习代数拓扑的基础。深入研究函数空间对进一步学习拓扑有着重要意义。本文在映射空间中推广E~*～开拓扑和一致收敛拓扑,引进了E~*～F~*拓扑和紧一致收敛拓扑,并对映射空间的几个定理做了一些扩展。 一、E~*～F~*拓扑 若X、Y为集合,任取E(?)X,B(?)Y,记, W(E,B){f:X→Y,f(E)(?)B} G(E,B)=、{f:X→Y,f(E)(?)B,且f连续}。 定义1 设X为非空集合,Y为拓扑空间,E~*为X的子集簇,F~*为Y的子集簇,且Y∈F~*,则Y~x的子集簇 ψE·(?)={W(E,F):E∈E~*,F∈F~*}的并为Y~x,故有唯一拓扑为T_(E·(?))~*以ψ_(E·(?))为子基,T_(E·(?))~*称为Y~x的E~*～F~*拓扑。 设X、Y为拓扑空间,记Ω(X,Y)为从X到Y的所有连续映射的集合,因而Ω(X,Y)(?)Y,Ω(X,Y)作为Y~x(E~*～F~*拓扑)的子空间称为连续映射空间(E~*～F~*拓扑)。 引理1 若有F∈F~*有Y—F∈F~*,则G(E,F)为Ω(X,Y)关于E~*～F~*拓扑的既开又闭的子集。 证明:因为E∈E~*,F∈F~*,有