コルモゴロフ、フォミーン著『函数解析の基礎原書第4版上』

p.69

「残るのは、空間 R^* が完備なことの証明である。まず、 R の点からなる基本列 x_1, x_2, …, x_n, … はすべて、 R^* においては、この基本列
で決定される R^* の点 x^* に収束する。このことは R^* の構成からただちに結論される。」

「R の点からなる基本列 x_1, x_2, …, x_n, …」に登場する R は定理の証明中で構成された R^* へのもともとの R の埋め込み R' です。
x_i はもともとの R の基本列が属する類で、その類に属する基本列がすべて R の同一の元に収束するようなものです。
「R^* においては、この基本列で決定される R^* の点 x^*」の一番目の R^* は証明中で構成された R^* で、二番目の R^* は R' の完備空間 R'^* のことです。
「R^* においては、この基本列で決定される R^* の点 x^*」の x^* は R'^* の元です。


このように階層のことなるものを安直に完全に同一視してしまっても問題はないのでしょうか？