以映射为变元的映射的连续性

对于连续映射集,给出“紧开拓扑”,得到映射空间的概念。证明了由复合映射得到的以映射为变元的映射对各变元的连续性。