8.2.2 位測定



 位の系 (S,((Q,+),(N,+,×),×),) の基準Oと単位uに対し,関数

(O,u):S ─→ N
(O,u)(O×ξ)=ξ  (ξ∈N)

で定義する。(O,u) はQとNの間の1対1対応になっている。

 このとき,つぎの読み方が可能になる。即ち,関数 (O,u) に対しては“Oを基準としuを単位とする位測定”,そして(O,u)(X) に対しては“基準Oと単位uに対するXの値”。