3.3.2 算法の連続性



 Nが自然数,分数(正の有理数),整数,有理数,正の実数,実数の集合である場合の数の系 (N,+,×) は,順序構造を伴う数の系であり,かつ順序位相に関して加法と乗法が,N×NからNへの写像:

(ξ,η) ξ+η
(ξ,η) ξ×η

として,ともに連続(註1)

 Nが分数,有理数,正の実数,実数の集合である場合,N*からNへの写像:

ξ ξ-1

は連続(註2)。特に,(N*,×,≦) は順序位相群。

 Nが有理数,実数の集合である場合,(N,+,×,≦) は順序位相体。



(註1) ξ+η[ξ×η]のρ-近傍に対しては,ξのρ1-近傍とηのρ2-近傍で,条件:
《ξ′がξのρ1-近傍に属し,η′がηのρ2-近傍に属するとき,ξ′+η′[ξ′+η′]はξ+ηのρ-近傍に属する》
を満たすものがとれる。このことは,《加法+[乗法×]は連続》の意味になる。

(註2) (1) ξ∈N*+とする。このときξ-1∈N*+。ε≦ξ-1である任意のε∈N*+に対し,(ξ-1+ε)-1+δ<ξとなるδ∈N*+を任意にとる。このとき,写像:η η-1 によるU(ξ,δ) の像はU(ξ-1,ε) に含まれる。
 (2) ξN*+のとき,+は群算法でξ<0,よってξ-1<0。ξ-1+ε<0である任意のε∈N*+に対し,(ξ-1−ε)-1<ξ+δとなるδ∈N*+を任意にとる。このとき,写像:η η-1 によるU(ξ,δ) の像はU(ξ-1,ε) に含まれる。