>>276-277
"定義1.2 (X,O) は位相空間とする."の部分は、なにかのテキストから引いていると思いました。（それを、いじる必要もないだろうし）

で、Xとしては、この「定理1.7 (422 に書いた定理)」では、R及びその部分集合のことでしょう
位相Oも、この場合、通常のアルキメデス距離から決まる位相でいいんでしょう