距離付け可能性
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/06/11 22:51 UTC 版)
距離化可能: 空間が距離付け可能とは、それが適当な距離空間に同相となるときに言う。距離付け可能空間は常にハウスドルフかつパラコンパクト(したがって、正規かつチホノフ)であり、かつ第一可算である。より明確に、位相空間 (X, T) が距離化可能であるとは、X 上の適当な距離函数 d が存在して d の誘導する位相(距離位相)T(d) がもとの位相 T に一致するときに言う。 ポーランド: 空間がポーランドとは、それが可分かつ完備な距離函数で距離化可能であるときに言う。 局所距離化可能: 空間が局所距離化可能とは、各点が距離化可能な近傍を持つときに言う。
※この「距離付け可能性」の解説は、「位相的性質」の解説の一部です。
「距離付け可能性」を含む「位相的性質」の記事については、「位相的性質」の概要を参照ください。
- 距離付け可能性のページへのリンク