Печёнкина М., Якубсон М. Я. Полнота и компактность метрических пространств // 2021 С.421-428.