10.3.3 単位の換算に従う値計算



 量の系 ((Q,+),(N,+,×),×) の単位uをvに替えるとする。Qの各要素に対し,これの旧い値から新しい値を求める数式が立つ。

 即ち,u=v×αのとき,

×ξ=(v×α)×ξ=v×(ξ×α)

となって,ξ×αが所期の数式になる。