量は，「観測者に依らない」と考えられているものである。
「観測者に依らない」の意味は，「測定に依らない」である。
ただし, 「測定に依らない」は，つぎのように表現されるものである：
量ｘ＝ ＜測定単位＞\( \ _{\times}\ \)＜ｘの測定値＞
ここで記号 \( \ _{\times}\ \) は，倍作用を表すものとする。
以下，これの説明：
量ｘを，観測者ＡとＢが別々に測定する。
Ａは，単位 \( e_a \) を用いて測る。
Ｂは，単位 \( e_b \) を用いて測る。
ｘをベクトル空間Ｖの要素と見なす
量のベクトル空間であるＶは，１次元である。
\( \{ e_a \} ,\, \{ e_b \} \) は，それぞれＶの基底になる。
これの双対基底を，それぞれ \( \{ f^a \} ,\, \{ f^b \} \) とする。
このとき，つぎが「測定に依らない」の表現である：
\[ x = e_a \ _{\times}\ f^a(x) \,=\, e_b \ _{\times}\ f^b(x)
\]
この関係は，つぎの関係に還元される：
「\( e_a \) のｎ倍が \( e_b \) であるとき，\( f^a \) の \( n^{-1} \) 倍が \( f^b \)」
これは，常識であるところの
「単位をｎ倍のものに変えると，測定値は \( n^{-1} \) 倍」
を，「双対」のことばで延べ直しただけである。
こうして，つぎが一般的表現になる：
\[ e \otimes ｆ\,=\, ( e\ _{\times}\ n ) \otimes ( f\ _{\times}\ n^{-1} )
\]
実際，これが「基底ｅと双対基底ｆ」の最も卑近な──しかし，基本的な──イメージとなるものである。
|