記事ソース/ベクトルの成分を表わす
メニュー現在 9 名がオンラインです。 最新の25件2023-12-12
2023-11-11
2023-11-06
2023-07-15
2022-09-14
2022-07-01
2022-06-12
2022-04-13
2021-12-03
2021-10-07
2021-08-12
2021-07-26
2021-06-30
2021-06-06
2021-05-02
2021-04-17
2021-03-20
2021-03-19
2021-03-11
|
記事ソース/ベクトルの成分を表わす†これはrst2hooktailの記事ソース保存・変換用です（詳細）． コンバート公開・更新メニュー ▼▲記事ソースの内容=====================================
ベクトルの成分を表わす
=====================================
まず、任意のベクトル $\bm{A}$ を『長さが $1$ で、互いに直交するベクトル $\bm{i_{1}},\bm{i_{2}},\bm{i_{3}}$ 』を基底として成分表示することを考えましょう。
<tex>
\bm{A}=A^{1}\bm{i_{1}}+A^{2}\bm{i_{2}}+A^{3}\bm{i_{3}} \tag{1}
</tex>
基底ベクトル $\bm{i_{1}},\bm{i_{2}},\bm{i_{3}}$ の添字を右下に書いていますので、座標成分の添字を $A^{2}$ のように右上に書きました。文脈から間違えないとは思いますが、これを『 $A$ の二乗』と読まないように注意して下さい。
.. [*] 双対基底_ の記事で勉強したように、基底ベクトルには添字の上下で $\bm{e_{1}}$ 、 $\bm{e^{1}}$ という二つがありました。どちらを基底ベクトルに選んでも良いのですが、基底ベクトルと座標成分の添字は『上と下』もしくは『下と上』と別々になるように決めました。本当は、いま考えているように基底ベクトルが直交する場合、添字の上下の区別は関係なくなります。（ 双対基底の図形的関係_ 参照。）このように約束すると便利なことは、 計量テンソル_ で勉強します。
.. image:: Joh-VectorComp1.gif
図のように、各成分 $A^{1},A^{2},A^{3}$ は $\bm{A}$ を各軸に射影した長さです。いま基底ベクトルは直交していますから、基底ベクトル $\bm{i_{1}},\bm{i_{2}},\bm{i_{3}}$ と各辺が平行である直方体の対角線に $\bm{A}$ を取るとき、成分 $A^{1},A^{2},A^{3}$ は直方体の各辺の長さに当たります。 $|\bm{i_{1}}|=|\bm{i_{2}}|=|\bm{i_{3}}|=1$ に注意すると、射影した長さは内積を使って次のように表せるでしょう。(ベクトルの射影は もう一度ベクトル_ を参照ください。)
<tex>
\bm{A}=(\bm{A}\cdot \bm{i_{1}})\bm{i_{1}}+(\bm{A}\cdot \bm{i_{2}})\bm{i_{2}}+(\bm{A}\cdot \bm{i_{3}})\bm{i_{3}} \tag{2}
</tex>
基底ベクトル $\bm{i_{1}},\bm{i_{2}},\bm{i_{3}}$ の取り方は、どのような向きでも良いことに注意してください。
.. figure:: Joh-Reciprocal.gif
(どの座標系からベクトルを見ても良い。見え方は変わるけど、同じベクトル。)
ベクトル $\bm{A}$ の各成分を、 $\bm{A}$ と基底ベクトル $\bm{i_{1}},\bm{i_{2}},\bm{i_{3}}$ だけで表現することが出来たことを確認して下さい。
基底ベクトルの長さが 1 ではない場合
--------------------------------------------------------------
先ほどは $\bm{i_{1}},\bm{i_{2}},\bm{i_{3}}$ の条件として『長さが $1$ で互いに直交するもの』と定めました。この前半の条件を外し、直交はするが長さは $1$ とは限らないベクトル $\{ \bm{i'},\bm{i_{2}'},\bm{i_{3}'} \} $ を基底に取ることを考えます。
何のことはない、絶対値で割ることで、 $\bm{i'},\bm{i_{2}'},\bm{i_{3}'}$ から単位ベクトル $\bm{i_{1}},\bm{i_{2}},\bm{i_{3}}$ を作ることが出来ます。
<tex>
\bm{i_{1}}=\frac{\bm{i_{1}'}}{|\bm{i_{1}'}|}, \
\bm{i_{2}}=\frac{\bm{i_{2}'}}{|\bm{i_{2}'}|}, \
\bm{i_{3}}=\frac{\bm{i_{3}'}}{|\bm{i_{3}'}|}
</tex>
あとはこの関係を式 $(2)$ に代入するだけです。
<tex>
\bm{A} &=(\bm{A}\cdot \bm{i_{1}})\bm{i_{1}}+(\bm{A}\cdot \bm{i_{2}})\bm{i_{2}}+(\bm{A}\cdot \bm{i_{3}})\bm{i_{3}} \\
& =(\bm{A}\cdot \bm{i_{1}'})\frac{\bm{i_{1}'}}{|\bm{i_{1}'}|^{2}}+(\bm{A}\cdot \bm{i_{2}'})\frac{\bm{i_{2}'}}{|\bm{i_{2}'}|^{2}}+(\bm{A}\cdot \bm{i_{3}'})\frac{\bm{i_{3}'}}{|\bm{i_{3}'}|^{2}} \tag{3}
</tex>
この場合も、各成分を $\bm{A},\bm{i_{1}'},\bm{i_{2}'},\bm{i_{3}'}$ だけで表現することが出来ました。
基底が直交していない場合
----------------------------------------------------------------------
ここまでの議論は、高校数学の範囲でも十分に理解できる内容だったと思います。この節では、最後に基底ベクトルが直交していない場合を考えます。(ただし、基底ベクトルは一次独立だとします。このように直交しない基底ベクトルの取り方を *アフィン基底* と呼びます。)
.. image:: Joh-VectorBase1.gif
この場合は、基底 $\bm{e_{1}},\bm{e_{2}},\bm{e_{3}}$ と各軸が平行となる平行六面体の対角線に $\bm{A}$ を置いた場合の、平行六面体の辺の長さが $A^{1}|\bm{e_{1}}|,A^{2}|\bm{e_{2}}|,A^{3}|\bm{e_{3}}|$ になります。（ 双対基底の図形的関係_ 参照。）
この基底 $\bm{e_{1}},\bm{e_{2}},\bm{e_{3}}$ は、一次独立であれば直交していなくても良く、長さも $1$ でなくても構いません。いわば、これが一番 *一般的なベクトルの成分分解* の形です。
<tex>
\bm{A}=A^{1}\bm{e_{1}}+A^{2}\bm{e_{2}}+A^{3}\bm{e_{3}} \tag{4}
</tex>
この場合も、さきほどのように成分 $A^{1},A^{2}, A^{3}$ を、ベクトル $\bm{A}$ と基底ベクトル $\bm{e_{1}}, \bm{e_{2}}, \bm{e_{3}}$ だけを使って表現できるのでしょうか。実は、 双対基底_ を使うと鮮やかに $A^{i}$ を表現できてしまうのです。
式 $(4)$ の両辺に、 $\bm{e^{1}}$ の内積を取ってみましょう。
<tex>
\bm{A}\cdot \bm{e^{1}} & =A^{1}(\bm{e_{1}}\cdot \bm{e^{1}})+ A^{2}(\bm{e_{2}}\cdot \bm{e^{1}})+A^{3}(\bm{e_{3}}\cdot \bm{e^{1}}) \\
&= A^{1} \ \ (\because \bm{e_{2}}\cdot \bm{e^{1}}=\bm{e_{3}}\cdot \bm{e^{1}}=0)
</tex>
同様にして、 $A_{2}=\bm{A}\cdot \bm{e^{2}}, \ A_{3}=\bm{A}\cdot \bm{e^{3}}$ が分かります。そこで式 $(4)$ を次のように書き換えられます。
<tex>
\bm{A}=(\bm{A} \cdot \bm{e^{1}})\bm{e_{1}} + (\bm{A} \cdot \bm{e^{2}})\bm{e_{2}} + (\bm{A} \cdot \bm{e^{3}})\bm{e_{3}} \tag{5}
</tex>
アフィン基底のベクトルの成分も、双対基底を使って簡単に表現できてしまいました。式 $(5)$ を、この記事の一番最初で考えた式 $(2)$ と比べてみましょう。
<tex>
\bm{A}=(\bm{A}\cdot \bm{i_{1}})\bm{i_{1}}+(\bm{A}\cdot \bm{i_{2}})\bm{i_{2}}+(\bm{A}\cdot \bm{i_{3}})\bm{i_{3}} \tag{2}
</tex>
式 $(2)$ と式 $(5)$ が基本的には同じ構造をしていることが見て分かります。しかし、式 $(2)$ で使った基底 $\bm{i_{1}},\bm{i_{2}},\bm{i_{3}}$ には『長さが $1$ で、互いに直交する基底』という、なかなか厳しい条件がついていました。一方、式 $(5)$ の基底 $\bm{e_{1},\bm{e_{2}},\bm{e_{3}}}$ は『一次独立』であること以外、向きも長さも何も決めていません。
直交する基底では、双対基底は自分自身になりますので( 双対基底_ 参照)、式 $(1)$ で $i_{1}=i^{1},i_{2}=i^{2},i_{3}=i^{3}$ の関係に注意すれば、式 $(2)$ は式 $(5)$ の特別な場合であり、逆に式 $(5)$ は式 $(2)$ を一般の基底にまで拡張した式になっていまることが分かると思います。
もう一度、ここまでの議論を読み返し、この結果の美しさを味わうとともに、双対基底とはいったい何なのか、自分なりにじっくり考えてみて下さい。
.. [*] この記事までは、なぜ双対基底なんか考えるの？と思っていた人がいたと思います。この記事で見たように、双対基底は、一般に長さが正規化されておらず、直交もしていない基底による表現で威力を発揮します。高校数学では、基底として常に長さが $1$ で互いに直交するベクトルばかりを選んでいましたので、双対基底を考える必要がありませんでしたし、そもそも正規直交基底では二つの双対基底は同一になってしまうので区別さえできないのです。私たちは、特定の座標系に縛られることなく、自由自在に視点を変換して良いのですから、双対基底を使った一般的な表現が便利です。
.. _双対基底: http://www12.plala.or.jp/ksp/vectoranalysis/DualBases/
.. _もう一度ベクトル: http://www12.plala.or.jp/ksp/mathInPhys/restudyVector1/
.. _双対基底の図形的関係: http://www12.plala.or.jp/ksp/vectoranalysis/DualBaseGeo/
.. _計量テンソル: http://www12.plala.or.jp/ksp/vectoranalysis/MetricTensor/
@@author:Joh@@
@@accept: 2006-07-15@@
@@category: ベクトル解析@@
@@id: VectorRepresentation@@
|
