ممنون بخاطر جواب.
در همین رابطه آیا می توان گفت چون هر مجموعه باز را می توان به صورت اجتماع نامتناهی از مجموعه های بسته تودرتو نوشت(فضاهای متریک پذیر) و با استفاده از لم اورسون دنباله ای از توابع را همگرا به تابع خی همان مجموعه باز، یافت. و ادامه برهان فوق را پی گیری نمود؟