ベクトルと同値類

　今から40年くらい前になりますが,高校の数学や物理で初めてベクトル

というものを習った際,,

,「２つのベクトルが等しい,というのは,その大きさ(長さ)と向きが等しい(平行である)ということと同じである。」,

　と教えられ,空間的には離れている２つのものが等しいという概念に違和

感をおぼえたものでした。

　しかし,大学の初年級の専門数学での集合論で同値関係,同値類

という概念を学んだとき,"これだ!!"という風に

ビビッと来ました。

　すなわち,「大きさと向きが等しいという関係」を同値関係として,その１つ１つの同値類をベクトルと呼べばよいのである,

と考えたのです。

(もちろん,私の発想がオリジナルだなどと主張するものではなく,誰か他人の示唆によるものだったかも知れないし,今となっては記憶も定かではありません。

※：実際オリジナルどころか,誰でも知っている常識でした。※)

　そして通常,明示される有向線分という形の表式の個々のベクトルは,

その同値類の代表元の１つを示しているに過ぎないということです。

　では同値関係,同値類とはどういうものでしょうか？

まず,集合Ａがあって,その任意の２つの元ａ,ｂ∈Ａの間にある関係:

～があるとき,ａ～ｂと書くことにします。

このとき関係:～が次の３つの基準を満たすとき,この関係を同値関係

と呼び,ａ～ｂならａとｂは同値であるといいます。

３つの基準は,

　ａ,ｂ,ｃ∈Ａのとき,

１.ａ～ａ (反射律),

２.ａ～ｂならｂ～ａ (対称律),

３.ａ～ｂ,かつｂ～ｃならａ～ｃ (推移律)

です。

そして,集合：Ｃ(ａ)を,

Ｃ(ａ)≡{ｘ∈Ａ|ｘ～ａ}と定義して,

これをａを代表元とする同値類と呼びます。

そして,ａ～ｂなることと,集合としてＣ(ａ)＝Ｃ(ｂ)であるということ

は,全く同一の意味になります。

同じことですが,ａ～ｂでないなら,Ｃ(ａ)∩Ｃ(ｂ)＝φ(空集合)

(つまりＣ(ａ)とＣ(ｂ)は互いに素)となります。

もちろん,Ａ＝∪_a∈ＡＣ(ａ)ですから,ＡはＡ＝Σ_a∈ＡＣ(ａ)と

Ｃ(ａ)の直和で書けることになります。

このようにＡをＣ(ａ)の和に分解することを同値類別と呼びます。

こうした定義等については今は参考書探すのが面倒なので記憶に

頼って書いているのですが,何分40年近くも昔に習ったことであり,

さすがに記憶が曖昧なので誤認識があるやもしれませんが。。。。

そして物理や数学で普通に学ぶ空間のベクトルについて大きさと向き

が等しいという関係:～は明らかに同値関係です。

それ故,"２つのベクトルが等しい"というのは,実は同値類という

集合として等しいという意味に解釈できる,ということで,

私は昔,すっきりとした感覚を持ったことを最近,あるきっかけ

で思い出しました。

実は量子論でも状態ベクトルというのは係数やその位相が違うものも

同じ状態ベクトルであるとみなすという意味で,ある代表元を持った

射線(ray)と呼ばれる同値類であることがわかっています。

ベクトル演算の線形性,重ね合わせの原理など,すなわち,ベクトルは線形空間の元であるとか,線形写像による種々の変換性を持つとかいう代数的性格を無視して,

ベクトルが等しいという概念だけに着目すれば,自然に同値類,

同値関係という感覚に到達するはずです。

当時は,それから,物理学,特に力学の幾何学化,

すなわち,幾何学の１つとしての定式化を目指し,まずは運動学から着手して１つの空間の位置とベクトルの１対１対応：ユークリッド空間の座標

と位置ベクトルの対応から始めたものでした。

ところが,いつのまにやら興味は数学的定式化からより物理的なもの

へと移行してゆき,結局は中途挫折してしまいました。

アーノルド(V.I.Arnold)著の「古典力学の数学的方法」(岩波書店)とか,

数学の１分野である"力学系"の存在を知ること等により,当時の記憶が

よみがえったのは,それからずっと後のことです。

http://fphys.nifty.com/(ニフティ「物理フォーラム」サブマネージャー）                                  TOSHI

人気blogランキングへ　← クリックして投票してください。(１クリック＝１投票です。１人１日１投票しかできません。）

← クリックして投票してください。(ブログ村科学ブログランキング）

    物理学