「3次元ベクトルの外積」「3次元の点列の外積の極限」【解析学の基礎シリーズ】点列編 その4

本記事の内容

本記事はベクトルの外積(特に3次元)と点列の外積の極限を解説する記事です。

本記事を読むにあたり、点列の極限について知っている必要があるため、その際は以下の記事を参照してください。

では早速行きましょう！

この記事を読む前に…

本記事は点列の外積の極限が極限の外積と一致する、ということを説明する記事です。
正直なところ、その目的を達成するだけだった場合、外積の成分表示だけ分かっていればOKなのです。

従って、「外積は今は必要なことだけ分かってればいいや」という方はベクトルの外積の幾何的な説明と3次元ベクトルの外積の成分表示だけ読んでいただければ十分です。

ベクトルの外積

ベクトルの外積を知る上で最も重要なのが、

ということです。
「なぜ？」と思うかもしれませんが、そのためには「多元数」の話をしなければならず、本記事の趣旨とはずれてしまいますので省略します。
さらに言えば、本当に真面目にベクトルの外積を語ろうとすると殆どベクトル解析の分野になってしまいますので、ここでは分かりやすい場合(特に3次元)について述べることにします。
以降の文章は「3次元のベクトルについて語ってるのだな」と思って読んで頂けると嬉しいです。
(筆者もそのつもりで書いてます)

では内積は既に高校数学で学んでいるので、主に外積について説明します。
ちなみに内積は

ということに注意してください。
言ってしまえば、ベクトルの内積\(( , )\)は\(( , ):\mathbb{R}^2\times\mathbb{R}^2\to\mathbb{R}\)という写像だ、とも捉えられます。

ベクトルの外積

ベクトルの内積は実数値でした。
一方でベクトルの外積はベクトルです。

「何？ベクトル同士の外積という掛け算の結果はベクトルなのかネ？」と思うかもしれません。
「何か違和感があるがネ」と。
たしかにそうかも知れません。
しかし、それは実数の掛け算のように「〇〇が△△個ある」という捉え方をしているからです。
実はこれは「積」に対しては間違っていないのですが、もっと広く考えることができます。
\(2\times 3=6\)は「\(2\)という数字と\(3\)という数字のペアに\(6\)という数字を対応付けます。」
と捉えてみましょう。
この規則こそが掛け算で、その規則を\(\times\)と書きましょう、というわけなのです。

故にベクトルの外積は「ベクトルのペアに、とあるベクトルを対応付けする規則です。」
と捉えます。

要は

ということを言いたかったのです。
内積と同様に3次元ベクトルの外積\(\times\)は\(\times:\mathbb{R}^3\times\mathbb{R}^3\to\mathbb{R}^3\)という写像だ、とも捉えられます。

では、ベクトル\(\boldsymbol{a}\)とベクトル\(\boldsymbol{b}\)の外積\(\boldsymbol{a}\times\boldsymbol{b}\)はどんなベクトルか、ということを幾何的に(図で)説明します。
その後に具体的にどんな成分か、を明示します。

ベクトルの外積の幾何的な説明

\(\boldsymbol{a}\in\mathbb{R}^3\)と\(\boldsymbol{b}\in\mathbb{R}^3\)の外積\(\boldsymbol{a}\times\boldsymbol{b}\)は以下のベクトルです。

\(\boldsymbol{a}\times\boldsymbol{b}\)は大きさが\(\boldsymbol{a}\)と\(\boldsymbol{b}\)が張る平行四辺形の面積と一致していて、かつ方向は右ねじの法則に則った方向で(\(\boldsymbol{b}\times\boldsymbol{a}\)は向きが\(\boldsymbol{a}\times\boldsymbol{b}\)と逆)、かつ\(\boldsymbol{a}\)、\(\boldsymbol{b}\)の両方と垂直な(直交している)ベクトルです。
ベクトルは向きと大きさを持つ量ですので、これらの情報でただ１つのベクトルが対応します。

まとめると、

というわけです。

3次元ベクトルの外積の成分表示

この節の最初に「外積はすべての次元で語ることができるわけではない」という話でした（これは厳密ではないかもしれませんが、イメージはそんなもんです。）

では早速成分表示をします。

この成分表示をすることで、

• \(\boldsymbol{a}\)と\(\boldsymbol{b}\)が張る平行四辺形の面積と一致している。　
• 方向は右ねじの法則に則った方向である。
• \(\boldsymbol{a}\)、\(\boldsymbol{b}\)の両方と垂直な(直交している)ベクトル。

ということを確かめることができますが、ここでは省略します。

「こんな文字列を覚えろと言うのかネ？」と思うかもしれませんが、覚え方があります。
それを以下の図で説明します。

例1.

$$\boldsymbol{a}=
\left(
\begin{array}{c}
1 \\
2 \\
3
\end{array}
\right),\quad
\boldsymbol{b}=
\left(
\begin{array}{c}
4 \\
5 \\
6
\end{array}
\right)
$$
としたとき、
\begin{eqnarray}
\boldsymbol{a}\times\boldsymbol{b}=
\left(
\begin{array}{c}
a_2b_3-a_3b_2 \\
a_3b_1-a_1b_3 \\
a_1b_2-a_2b_1
\end{array}
\right)
=
\left(
\begin{array}{c}
2\times6-3\times5\\
3\times4-1\times6 \\
1\times5-2\times4
\end{array}
\right)
&=&\left(
\begin{array}{c}
-3\\
6 \\
-3
\end{array}
\right)
\end{eqnarray}

\((\boldsymbol{a},\boldsymbol{a}\times\boldsymbol{b})\)も\((\boldsymbol{b},\boldsymbol{a}\times\boldsymbol{b})\)も\(0\)であることが分かります。
また、平行四辺形の面積と一致しているかは余弦定理を使えば分かります。

3次元の点列の外積の極限と極限の外積は一致する

「点列？」となっている方は【解析学の基礎シリーズ】点列編 その1を参照してください。

さて、本題に入っていきます。
いきなりですが、主張を明示してしまいましょう。

実は、これは前回までの知識で簡単に証明ができる。
ただ、外積の計算が面倒なだけです。

証明

左辺と右辺をそれぞれ式変形して一致することを示します。

$$\boldsymbol{a}_n=
\left(
\begin{array}{c}a_{n,1}\\
a_{n,2}\\
a_{n,3}
\end{array}\right),\quad
\boldsymbol{b}_n=
\left(
\begin{array}{c}b_{n,1}\\
b_{n,2}\\
b_{n,3}
\end{array}\right)
$$
とします。
このとき、
\begin{eqnarray}
\lim_{n\to\infty}(\boldsymbol{a}_n\times\boldsymbol{b}_n)&=&\lim_{n\to\infty}\left(
\begin{array}{c}
a_{n,2}b_{n,3}-a_{n,3}b_{n,2}\\
a_{n,3}b_{n,1}-a_{n,1}b_{n,3}\\
a_{n,1}b_{n,2}-a_{n,2}b_{n,1}\\
\end{array}\right)
\end{eqnarray}
です。
ここで、

が成り立つので(証明は【解析学の基礎シリーズ】点列編 その1を参照してください)、
\begin{eqnarray}
\lim_{n\to\infty}\left(
\begin{array}{c}
a_{n,2}b_{n,3}-a_{n,3}b_{n,2}\\
a_{n,3}b_{n,1}-a_{n,1}b_{n,3}\\
a_{n,1}b_{n,2}-a_{n,2}b_{n,1}\\
\end{array}\right)&=&\left(
\begin{array}{c}
\displaystyle\lim_{n\to\infty}(a_{n,2}b_{n,3}-a_{n,3}b_{n,2})\\
\displaystyle\lim_{n\to\infty}(a_{n,3}b_{n,1}-a_{n,1}b_{n,3})\\
\displaystyle\lim_{n\to\infty}(a_{n,1}b_{n,2}-a_{n,2}b_{n,1})\\
\end{array}\right)
\end{eqnarray}
です。
さらに、

が成り立つので(証明は【解析学の基礎シリーズ】点列編 その2を参照してください)、
\begin{eqnarray}
\left(
\begin{array}{c}
\displaystyle\lim_{n\to\infty}(a_{n,2}b_{n,3}-a_{n,3}b_{n,2})\\
\displaystyle\lim_{n\to\infty}(a_{n,3}b_{n,1}-a_{n,1}b_{n,3})\\
\displaystyle\lim_{n\to\infty}(a_{n,1}b_{n,2}-a_{n,2}b_{n,1})\\
\end{array}\right)&=&
\left(
\begin{array}{c}
\displaystyle\lim_{n\to\infty}a_{n,2}b_{n,3}-\lim_{n\to\infty}a_{n,3}b_{n,2}\\
\displaystyle\lim_{n\to\infty}a_{n,3}b_{n,1}-\lim_{n\to\infty}a_{n,1}b_{n,3}\\
\displaystyle\lim_{n\to\infty}a_{n,1}b_{n,2}-\lim_{n\to\infty}a_{n,2}b_{n,1}\\
\end{array}\right)\\
&=&\left(
\begin{array}{c}
\displaystyle\left(\lim_{n\to\infty}a_{n,2}\right)\cdot\left(\lim_{n\to\infty}b_{n,3}\right)-\left(\lim_{n\to\infty}a_{n,3}\right)\cdot\left(\lim_{n\to\infty}b_{n,2}\right)\\
\displaystyle\left(\lim_{n\to\infty}a_{n,3}\right)\cdot\left(\lim_{n\to\infty}b_{n,1}\right)-\left(\lim_{n\to\infty}a_{n,1}\right)\cdot\left(\lim_{n\to\infty}b_{n,3}\right)\\
\displaystyle\left(\lim_{n\to\infty}a_{n,1}\right)\cdot\left(\lim_{n\to\infty}b_{n,2}\right)-\left(\lim_{n\to\infty}a_{n,2}\right)\cdot\left(\lim_{n\to\infty}b_{n,1}\right)\\
\end{array}\right)
\end{eqnarray}

従って、
$$
\lim_{n\to\infty}(\boldsymbol{a}_n\times\boldsymbol{b}_n)=\left(
\begin{array}{c}
\displaystyle\left(\lim_{n\to\infty}a_{n,2}\right)\cdot\left(\lim_{n\to\infty}b_{n,3}\right)-\left(\lim_{n\to\infty}a_{n,3}\right)\cdot\left(\lim_{n\to\infty}b_{n,2}\right)\\
\displaystyle\left(\lim_{n\to\infty}a_{n,3}\right)\cdot\left(\lim_{n\to\infty}b_{n,1}\right)-\left(\lim_{n\to\infty}a_{n,1}\right)\cdot\left(\lim_{n\to\infty}b_{n,3}\right)\\
\displaystyle\left(\lim_{n\to\infty}a_{n,1}\right)\cdot\left(\lim_{n\to\infty}b_{n,2}\right)-\left(\lim_{n\to\infty}a_{n,2}\right)\cdot\left(\lim_{n\to\infty}b_{n,1}\right)\\
\end{array}\right)
$$
です。

一方で、
\begin{eqnarray}
\left(\lim_{n\to\infty}\boldsymbol{a}_n\right)\times\left(\lim_{n\to\infty}\boldsymbol{b}_n\right)&=&\lim_{n\to\infty}\left(
\begin{array}{c}
a_{n,1}\\
a_{n,2}\\
a_{n,3}
\end{array}\right)\times\lim_{n\to\infty}\left(
\begin{array}{c}
b_{n,1}\\
b_{n,2}\\
b_{n,3}
\end{array}\right)
\end{eqnarray}
です。
ここでも、定理(点列の収束と同値な命題)を用いる事によって、
\begin{eqnarray}
\lim_{n\to\infty}\left(
\begin{array}{c}
a_{n,1}\\
a_{n,2}\\
a_{n,3}
\end{array}\right)\times\lim_{n\to\infty}\left(
\begin{array}{c}
b_{n,1}\\
b_{n,2}\\
b_{n,3}
\end{array}\right)&=&\left(
\begin{array}{c}
\displaystyle\lim_{n\to\infty}a_{n,1}\\
\displaystyle\lim_{n\to\infty}a_{n,2}\\
\displaystyle\lim_{n\to\infty}a_{n,3}
\end{array}\right)\times\lim_{n\to\infty}\left(
\begin{array}{c}
\displaystyle\lim_{n\to\infty}b_{n,1}\\
\displaystyle\lim_{n\to\infty}b_{n,2}\\
\displaystyle\lim_{n\to\infty}b_{n,3}
\end{array}\right)\\
&=&\left(
\begin{array}{c}
\displaystyle\left(\lim_{n\to\infty}a_{n,2}\right)\cdot\left(\lim_{n\to\infty}b_{n,3}\right)-\left(\lim_{n\to\infty}a_{n,3}\right)\cdot\left(\lim_{n\to\infty}b_{n,2}\right)\\
\displaystyle\left(\lim_{n\to\infty}a_{n,3}\right)\cdot\left(\lim_{n\to\infty}b_{n,1}\right)-\left(\lim_{n\to\infty}a_{n,1}\right)\cdot\left(\lim_{n\to\infty}b_{n,3}\right)\\
\displaystyle\left(\lim_{n\to\infty}a_{n,1}\right)\cdot\left(\lim_{n\to\infty}b_{n,2}\right)-\left(\lim_{n\to\infty}a_{n,2}\right)\cdot\left(\lim_{n\to\infty}b_{n,1}\right)\\
\end{array}\right)
\end{eqnarray}
です。
従って、
\begin{eqnarray}
\left(\lim_{n\to\infty}\boldsymbol{a}_n\right)\times\left(\lim_{n\to\infty}\boldsymbol{b}_n\right)&=&\left(
\begin{array}{c}
\displaystyle\left(\lim_{n\to\infty}a_{n,2}\right)\cdot\left(\lim_{n\to\infty}b_{n,3}\right)-\left(\lim_{n\to\infty}a_{n,3}\right)\cdot\left(\lim_{n\to\infty}b_{n,2}\right)\\
\displaystyle\left(\lim_{n\to\infty}a_{n,3}\right)\cdot\left(\lim_{n\to\infty}b_{n,1}\right)-\left(\lim_{n\to\infty}a_{n,1}\right)\cdot\left(\lim_{n\to\infty}b_{n,3}\right)\\
\displaystyle\left(\lim_{n\to\infty}a_{n,1}\right)\cdot\left(\lim_{n\to\infty}b_{n,2}\right)-\left(\lim_{n\to\infty}a_{n,2}\right)\cdot\left(\lim_{n\to\infty}b_{n,1}\right)\\
\end{array}\right)
\end{eqnarray}
です。

以上のことから
$$\lim_{n\to\infty}(\boldsymbol{a}_n\times\boldsymbol{b}_n)=\left(\lim_{n\to\infty}\boldsymbol{a}\times\lim_{n\to\infty}\boldsymbol{b}_n\right)$$
です。

証明終わり

結

今回は3次元のベクトルの外積と点列の外積の極限は極限の外積と一致するということを証明しました。

これの証明は数列の極限に帰着できるため、証明は簡単です。
そういう意味では定理(点列の収束と同値な命題)は強力です。

次回は和差積と来たので点列の商の極限について解説します。
ただし、積と同様にベクトルでは正直に割り算ができないので、点列と数列の商の極限です。

乞うご期待！質問、コメントなどお待ちしております！