コンパクト開位相と写像空間の位相