totally disconnected metric space 的中文翻译