Language: Japanese
を距離函数として距離空間となる。この距離により q に位相が誘導されるが、それは r からの相対位相に他ならない。こうして得られる距離空間 q d は完全不連結である。また、完備距離空間とはならない。実は距離 dx y  |x − y| による q の完備化として、実数全体の集合 r が得られる。