10.3.3 単位の換算に従う値計算
量の系 ((Q,+),(N,+,×),
×
) の単位uをvに替えるとする。Qの各要素に対し,これの旧い値から新しい値を求める数式が立つ。
即ち,u=v
×
αのとき,
u
×
ξ=(v
×
α)
×
ξ=v
×
(ξ×α)
となって,ξ×αが所期の数式になる。