内積
ベクトル\(\boldsymbol{x},\boldsymbol{y}\in \mathbb{R} ^{n}\)を任意に選んだとき、\begin{eqnarray*}\boldsymbol{x}\cdot \boldsymbol{y} &=&x_{1}\cdot y_{1}+\cdots +x_{n}\cdot
y_{n} \\
&=&\sum_{i=1}^{n}\left( x_{i}\cdot y_{i}\right)
\end{eqnarray*}と定義される実数\(\boldsymbol{x}\cdot \boldsymbol{y}\)を\(\boldsymbol{x}\)と\(\boldsymbol{y}\)の内積(inner product)やドット積(dot product)などと呼びます。左辺の\(\cdot \)は内積を表す記号であり、右辺の\(\cdot \)は\(\mathbb{R} \)上の乗法を表す記号であることに注意してください。両者を同じ記号を用いて表記するため注意が必要です。もしくは、ベクトル\(\boldsymbol{x},\boldsymbol{y}\)の内積を、\begin{equation*}\left\langle \boldsymbol{x},\boldsymbol{y}\right\rangle
\end{equation*}と表記する流儀もあります。このような表記を用いれば内積と乗法を混同する恐れがありません。
ベクトル\(\boldsymbol{x},\boldsymbol{y}\in \mathbb{R} ^{n}\)を任意に選んだとき、その任意の成分\(x_{i},y_{i}\ \left( i=1,\cdots ,n\right) \)は実数ですが、実数空間\(\mathbb{R} \)は加法と乗法について閉じているため、\(\sum_{i=1}^{n}\left( x_{i}\cdot y_{i}\right) \)すなわち内積\(\boldsymbol{x}\cdot \boldsymbol{y}\)が1つの実数として定まることが保証されるため、\begin{equation*}\forall \boldsymbol{x},\boldsymbol{y}\in \mathbb{R} ^{n}:\boldsymbol{x}\cdot \boldsymbol{y}\in \mathbb{R} \end{equation*}が成り立ちます。このような事情を踏まえると、ベクトルを成分とするそれぞれの順序対\(\left( \boldsymbol{x},\boldsymbol{y}\right)\in \mathbb{R} ^{n}\times \mathbb{R} ^{n}\)に対して、それらの内積\(\boldsymbol{x}\cdot \boldsymbol{y}\in \mathbb{R} \)を定める関数\begin{equation*}\cdot :\mathbb{R} ^{n}\times \mathbb{R} ^{n}\rightarrow \mathbb{R} \end{equation*}が定義可能です。このような関数を内積関数(inner product function)と呼びます。
\end{equation*}となります。ただし、左辺の\(\cdot \)は内積を表す記号であり、右辺の\(\cdot \)は実数どうしの乗法を表す記号です。つまり、\(1\)次元空間において内積と上方は一致します。具体例を挙げると、\begin{eqnarray*}1\cdot 4 &=&1\cdot 4=4 \\
\left( -1\right) \cdot 8 &=&\left( -1\right) \cdot 8=-8 \\
\frac{4}{5}\cdot \frac{1}{10} &=&\frac{4}{5}\cdot \frac{1}{10}=\frac{2}{25}
\end{eqnarray*}などが成り立ちます。
\end{equation*}となります。ただし、左辺の\(\cdot \)は内積を表す記号であり、右辺の\(\cdot \)は実数どうしの乗法を表す記号です。具体例を挙げると、\begin{eqnarray*}\left( 1,2\right) \cdot \left( 3,1\right) &=&1\cdot 3+2\cdot 1=5 \\
\left( -1,7\right) \cdot \left( 3,2\right) &=&\left( -1\right) \cdot
3+7\cdot 2=11 \\
\left( \frac{2}{3},-1\right) \cdot \left( -\frac{1}{2},-2\right) &=&\frac{2}{3}\cdot \left( -\frac{1}{2}\right) +\left( -1\right) \cdot \left(
-2\right) =\frac{5}{3}
\end{eqnarray*}などが成り立ちます。
y_{2}+x_{3}\cdot y_{3}
\end{equation*}となります。ただし、左辺の\(\cdot \)は内積を表す記号であり、右辺の\(\cdot \)は実数どうしの乗法を表す記号です。具体例を挙げると、\begin{eqnarray*}\left( 1,2,3\right) \cdot \left( 3,4,5\right) &=&1\cdot 3+2\cdot 4+3\cdot
5=26 \\
\left( -1,4,2\right) \cdot \left( 0,1,-7\right) &=&-1\cdot 0+4\cdot
1+2\cdot \left( -7\right) =-10 \\
\left( \frac{1}{2},\frac{1}{3},\frac{1}{4}\right) \cdot \left( 0,-2,-\frac{1}{2}\right) &=&\frac{1}{2}\cdot 0+\frac{1}{3}\cdot \left( -2\right) +\frac{1}{4}\cdot \left( -\frac{1}{2}\right) =-\frac{19}{24}
\end{eqnarray*}などが成り立ちます。
内積は同一の空間に属する2つのベクトルに対してのみ定義されます。異なる空間に属するベクトルどうしに内積を適用することはできません。
内積とノルムの関係
内積とノルムの間には以下の関係が成立します。
\end{equation*}が成り立つ。
\boldsymbol{x}+\boldsymbol{y}\right) \cdot \left( \boldsymbol{x}+\boldsymbol{y}\right) } \\
\left\Vert \boldsymbol{x}-\boldsymbol{y}\right\Vert &=&\sqrt{\left(
\boldsymbol{x}-\boldsymbol{y}\right) \cdot \left( \boldsymbol{x}-\boldsymbol{y}\right) }
\end{eqnarray*}などが成り立ちます。
内積の解釈
ベクトルは「大きさ」と「方向」を表す量ですが、ベクトルの大きさは有向線分の「長さ」として、ベクトルの方向は有向線分の「方向」としてそれぞれ表現されます。では、ベクトルの内積とは何を表す指標なのでしょうか。順番に考えます。
空間\(\mathbb{R} ^{n}\)上にある原点とは異なる2つの点\(X,Y\)を任意に選んだ上で、以下の2つの有向線分、すなわちベクトル\begin{eqnarray*}&&\overrightarrow{OX} \\
&&\overrightarrow{OY}
\end{eqnarray*}に注目します。点\(X\)の位置ベクトルが\(\boldsymbol{x}\in \mathbb{R} ^{n}\)であり、点\(Y\)の位置ベクトルが\(\boldsymbol{y}\in \mathbb{R} ^{n}\)であるものとします。つまり、ベクトル\(\overrightarrow{OX}\)の終点の座標が\(\boldsymbol{x}\)であり、ベクトル\(\overrightarrow{OY}\)の終点の座標が\(\boldsymbol{y}\)です。\(X\)と\(Y\)は原点とは異なるため\(\boldsymbol{x}\)と\(\boldsymbol{y}\)は非ゼロベクトルです。ベクトル\(\overrightarrow{OX}\)の大きさは原点\(O\)と点\(X\)の間の距離\(\left\Vert \boldsymbol{x}\right\Vert \)と一致し、ベクトル\(\overrightarrow{OY}\)の大きさは原点\(O\)と点\(Y\)の間の距離\(\left\Vert \boldsymbol{y}\right\Vert \)と一致します。また、点\(X\)と点\(Y\)の間の距離は\(\left\Vert \boldsymbol{x}-\boldsymbol{y}\right\Vert \)です。
まずは3つの点\(O,X,Y\)が同一直線上に並んでいない場合、すなわち、\begin{equation*}\boldsymbol{x}=a\boldsymbol{y}
\end{equation*}を満たすスカラー\(a\in \mathbb{R} \)が存在しない場合について考えます。この場合、3つの点\(O,X,Y\)を頂点とする三角形を作ることができます。
辺\(OX\)の長さは\(\left\Vert \boldsymbol{x}\right\Vert \)であり、辺\(OY\)の長さは\(\left\Vert \boldsymbol{y}\right\Vert \)であり、辺\(XY\)の長さは\(\left\Vert \boldsymbol{x}-\boldsymbol{y}\right\Vert \)です。その上で、辺\(OX\)と辺\(OY\)が作る角\(\theta \)をベクトル\(\overrightarrow{OX}\)と\(\overrightarrow{OY}\)がなす角(angle between \(\overrightarrow{OX}\)and \(\overrightarrow{OY}\))やベクトル\(\boldsymbol{x}\)と\(\boldsymbol{y}\)がなす角(angle between \(\boldsymbol{x}\) and \(\boldsymbol{y}\))などと呼びます。点\(X,Y\)は原点とは異なり、なおかつ点\(O,X,Y\)は同一直線上に並んでいない状況を想定しているため、この場合のなす角\(\theta \)は、\begin{equation*}0<\theta <\pi
\end{equation*}を満たします。
以下の図はなす角\(\theta \)が鋭角の場合(\(0<\theta <\frac{\pi }{2}\))です。
以下の図はなす角\(\theta \)が直角の場合(\(\theta =\frac{\pi }{2}\))です。
以下の図はなす角\(\theta \)が鈍角の場合(\(\frac{\pi }{2}<\theta <\pi \))です。
続いて3つの点\(O,X,Y\)が同一直線上に並んでいる場合、すなわち、\begin{equation*}\boldsymbol{x}=a\boldsymbol{y}
\end{equation*}を満たす非ゼロのスカラー\(a\in \mathbb{R} \backslash \left\{ 0\right\} \)が存在する場合について考えます。
\(a>0\)の場合、2つのベクトル\(\overrightarrow{OX}\)と\(\overrightarrow{OY}\)は同一方向にあるため、これらのベクトルがなす角\(\theta \)を、\begin{equation*}\theta =0
\end{equation*}と定義します(下図)。
\(a<0\)の場合、2つのベクトル\(\overrightarrow{OX}\)と\(\overrightarrow{OY}\)は反対方向にあるため、これらがなす角\(\theta \)を、\begin{equation*}\theta =\pi
\end{equation*}と定義します(下図)。
2つの非ゼロベクトル\(\boldsymbol{x},\boldsymbol{y}\)の内積\(\boldsymbol{x}\cdot \boldsymbol{y}\)とそれらのベクトルがなす角\(\theta \)の間にはどのような関係が成り立つのでしょうか。まず、\(\boldsymbol{x},\boldsymbol{y}\)がともに単位ベクトルである場合には以下が成り立ちます。
\end{equation*}が成り立つ。
先の命題を用いると、単位ベクトルであるとは限らない2つの非ゼロベクトルについても同様の関係が成り立つことが示されます。
\left\Vert \boldsymbol{y}\right\Vert \cos \left( \theta \right)
\end{equation*}が成り立つ。
\left\Vert \boldsymbol{y}\right\Vert \cos \left( \theta \right)
\end{equation*}が成り立つことが明らかになりました。\(\boldsymbol{x},\boldsymbol{y}\)は非ゼロベクトルであるため\(\left\Vert \boldsymbol{x}\right\Vert \not=0\)かつ\(\left\Vert \boldsymbol{y}\right\Vert \not=0\)であり、\begin{equation*}\cos \left( \theta \right) =\frac{\boldsymbol{x}\cdot \boldsymbol{y}}{\left\Vert \boldsymbol{x}\right\Vert \left\Vert \boldsymbol{y}\right\Vert }
\end{equation*}を得ます。したがって、\(\boldsymbol{x}\)と\(\boldsymbol{y}\)のなす角\(\theta \)を、\begin{equation*}\theta =\arccos \left( \frac{\boldsymbol{x}\cdot \boldsymbol{y}}{\left\Vert
\boldsymbol{x}\right\Vert \left\Vert \boldsymbol{y}\right\Vert }\right)
\end{equation*}と定義することもできます。
2つの非ゼロベクトル\(\boldsymbol{x},\boldsymbol{y}\in \mathbb{R} ^{n}\backslash \left\{ 0\right\} \)のなす角\(\theta \)が鋭角の場合(\(0<\theta <\frac{\pi }{2}\))を以下に図示しました。
点\(Y\)から線分\(OX\)に引いた垂線の足を点\(Z\)と呼ぶこととします。ベクトル\(\boldsymbol{x}\)と平行な直線をスクリーンと見立てた上で、スクリーンと垂直な位置にある光源から光が差し込む場合、ベクトル\(\boldsymbol{y}\)がスクリーン上に作る影は\(\overrightarrow{OZ}\)となります。このようにして得られるベクトル\(\overrightarrow{OZ}\)をベクトル\(\boldsymbol{y}\)の射影(projection)と呼びます。なす角\(\theta \)が鋭角である場合を想定しているため、射影\(\overrightarrow{OZ}\)はベクトル\(\boldsymbol{x}\)と同じ方向の非ゼロベクトルであり、したがってその大きさは正です。ベクトル\(\overrightarrow{OZ}\)の大きさは辺\(OZ\)の長さと一致しますが、この場合には、\begin{equation*}OZ>0
\end{equation*}が成り立つということです。さて、余弦の定義より、\begin{equation}
\cos \left( \theta \right) =\frac{OZ}{OY} \quad \cdots (1)
\end{equation}が成り立ち、先の命題より、\begin{equation}
\boldsymbol{x}\cdot \boldsymbol{y}=\left\Vert \boldsymbol{x}\right\Vert
\left\Vert \boldsymbol{y}\right\Vert \cos \left( \theta \right) \quad \cdots (2)
\end{equation}が成り立つため、ベクトル\(\boldsymbol{y}\)の射影\(\overrightarrow{OZ}\)の大きさは、\begin{eqnarray*}OZ &=&OY\cdot \cos \left( \theta \right) \quad \because \left( 1\right) \\
&=&\left\Vert \boldsymbol{y}\right\Vert \cdot \cos \left( \theta \right) \\
&=&\left\Vert \boldsymbol{y}\right\Vert \cdot \frac{\boldsymbol{x}\cdot
\boldsymbol{y}}{\left\Vert \boldsymbol{x}\right\Vert \left\Vert \boldsymbol{y}\right\Vert }\quad \because \left( 2\right) \\
&=&\frac{\boldsymbol{x}\cdot \boldsymbol{y}}{\left\Vert \boldsymbol{x}\right\Vert }
\end{eqnarray*}となります。繰り返しになりますが、ベクトル\(\boldsymbol{x},\boldsymbol{y}\)のなす角\(\theta \)が鋭角である場合には\(OZ>0\)が成り立ちます。また、\(\boldsymbol{x}\)は非ゼロベクトルであるため\(\left\Vert \boldsymbol{x}\right\Vert >0\)です。したがって、この場合には、\begin{equation}\boldsymbol{x}\cdot \boldsymbol{y}>0 \quad \cdots (3)
\end{equation}が成り立ちます。逆に、\(\left( 3\right) \)が成り立つ場合には\(\left( 2\right) \)より\(\cos\left( \theta \right) >0\)ですが、これは\(0<\theta <\frac{\pi }{2}\)であることを意味します。
\end{equation*}が成り立つ。
2つの非ゼロベクトル\(\boldsymbol{x},\boldsymbol{y}\in \mathbb{R} ^{n}\backslash \left\{ 0\right\} \)のなす角\(\theta \)が直角の場合(\(\theta =\frac{\pi }{2}\))を以下に図示しました。
この場合、ベクトル\(\boldsymbol{y}\)の射影はゼロベクトルであるため、その大きさは\(0\)です。同時に、先の命題より、\begin{eqnarray*}\boldsymbol{x}\cdot \boldsymbol{y} &=&\left\Vert \boldsymbol{x}\right\Vert
\left\Vert \boldsymbol{y}\right\Vert \cos \left( \theta \right) \\
&=&\left\Vert \boldsymbol{x}\right\Vert \left\Vert \boldsymbol{y}\right\Vert
0\quad \because \theta =\frac{\pi }{2} \\
&=&0
\end{eqnarray*}を得ます。つまり、2つの非ゼロベクトル\(\boldsymbol{x},\boldsymbol{y}\)の内積が\(0\)であることは、\(\boldsymbol{x}\)と\(\boldsymbol{y}\)のなす角が直角であることを意味します。逆に、\(\boldsymbol{x}\cdot \boldsymbol{y}=0\)が成り立つ場合には、先の命題より\(\cos \left( \theta \right) =0\)を得ますが、これは\(\theta =\frac{\pi }{2}\)を意味します。
\end{equation*}が成り立つ。
2つの非ゼロベクトル\(\boldsymbol{x},\boldsymbol{y}\in \mathbb{R} ^{n}\backslash \left\{ 0\right\} \)のなす角\(\theta \)が鈍角の場合(\(\frac{\pi }{2}<\theta <\pi \))を以下に図示しました。
なす角\(\theta \)が鈍角である場合を想定しているため、射影\(\overrightarrow{OZ}\)はベクトル\(\boldsymbol{x}\)と反対方向にある非ゼロベクトルであり、したがってその大きさは正です。ベクトル\(\overrightarrow{OZ}\)の大きさは辺\(OZ\)の長さと一致しますが、この場合には、\begin{equation*}OZ>0
\end{equation*}が成り立つということです。さて、余弦の定義より、\begin{equation}
-\cos \left( \theta \right) =\cos \left( \pi -\theta \right) =\frac{OZ}{OY}
\quad \cdots (4)
\end{equation}が成り立ち、先の命題より、\begin{equation}
\boldsymbol{x}\cdot \boldsymbol{y}=\left\Vert \boldsymbol{x}\right\Vert
\left\Vert \boldsymbol{y}\right\Vert \cos \left( \theta \right) \quad \cdots (5)
\end{equation}が成り立つため、ベクトル\(\boldsymbol{y}\)の射影\(\overrightarrow{OZ}\)の大きさは、\begin{eqnarray*}OZ &=&OY\cdot \left[ -\cos \left( \theta \right) \right] \quad \because
\left( 4\right) \\
&=&\left\Vert \boldsymbol{y}\right\Vert \cdot \left[ -\cos \left( \theta
\right) \right] \\
&=&-\left\Vert \boldsymbol{y}\right\Vert \cdot \frac{\boldsymbol{x}\cdot
\boldsymbol{y}}{\left\Vert \boldsymbol{x}\right\Vert \left\Vert \boldsymbol{y}\right\Vert }\quad \because \left( 5\right) \\
&=&-\frac{\boldsymbol{x}\cdot \boldsymbol{y}}{\left\Vert \boldsymbol{x}\right\Vert }
\end{eqnarray*}となります。繰り返しになりますが、ベクトル\(\boldsymbol{x},\boldsymbol{y}\)のなす角\(\theta \)が鈍角である場合には\(OZ>0\)が成り立ちます。また、\(\boldsymbol{x}\)は非ゼロベクトルであるため\(\left\Vert \boldsymbol{x}\right\Vert >0\)です。したがって、この場合には、\begin{equation}\boldsymbol{x}\cdot \boldsymbol{y}<0 \quad \cdots (6)
\end{equation}が成り立ちます。逆に、\(\left( 6\right) \)が成り立つ場合には\(\left( 5\right) \)より\(\cos\left( \theta \right) <0\)ですが、これは\(\frac{\pi }{2}<\theta <\pi \)であることを意味します。
<\pi \Leftrightarrow \theta \text{は鈍角}
\end{equation*}が成り立つ。
以上の諸命題より、2つの非ゼロベクトル\(\boldsymbol{x},\boldsymbol{y}\)のなす角の大きさは内積\(\boldsymbol{x}\cdot \boldsymbol{y}\)の符号によって決まることが明らかになりました。ベクトルは「大きさ」と「方向」を表す量ですが、内積はベクトルの「方向」を表現する指標であるということです。結果をまとめます。
0<\theta <\frac{\pi }{2} \\
&&\left( b\right) \ \boldsymbol{x}\cdot \boldsymbol{y}=0\Leftrightarrow
\theta =\frac{\pi }{2} \\
&&\left( c\right) \ \boldsymbol{x}\cdot \boldsymbol{y}<0\Leftrightarrow
\frac{\pi }{2}<\theta <\pi
\end{eqnarray*}が成り立つ。
垂直なベクトル
2つの非ゼロベクトル\(\boldsymbol{x},\boldsymbol{y}\in \mathbb{R} ^{n}\backslash \left\{ 0\right\} \)のなす角が\(\theta \)である場合には、以下の関係\begin{equation*}\boldsymbol{x}\cdot \boldsymbol{y}=0\Leftrightarrow \theta =\frac{\pi }{2}
\end{equation*}が成り立つことが明らかになりました。このような事情を踏まえた上で、2つのベクトル\(\boldsymbol{x},\boldsymbol{y}\in \mathbb{R} ^{n}\)について、\begin{equation*}\boldsymbol{x}\cdot \boldsymbol{y}=0
\end{equation*}が成り立つ場合、\(\boldsymbol{x}\)と\(\boldsymbol{y}\)は直交する(orthogonal)や垂直である(perpendicular)などと言い、そのことを、\begin{equation*}\boldsymbol{x}\perp \boldsymbol{y}
\end{equation*}で表記します。
\boldsymbol{x} &=&\left( 1,0,-1\right) \in \mathbb{R} ^{3} \\
\boldsymbol{y} &=&\left( 1,\sqrt{2},1\right) \in \mathbb{R} ^{3} \\
\boldsymbol{z} &=&\left( 1,-\sqrt{2},1\right) \in \mathbb{R} ^{3}
\end{eqnarray*}に注目します。このとき、\begin{eqnarray*}
\boldsymbol{x}\cdot \boldsymbol{y} &=&\left( 1,0,-1\right) \cdot \left( 1,\sqrt{2},1\right) =0 \\
\boldsymbol{x}\cdot \boldsymbol{z} &=&\left( 1,0,-1\right) \cdot \left( 1,-\sqrt{2},1\right) =0 \\
\boldsymbol{y}\cdot \boldsymbol{z} &=&\left( 1,\sqrt{2},1\right) \cdot
\left( 1,-\sqrt{2},1\right) =0
\end{eqnarray*}が成り立つため、\begin{eqnarray*}
\boldsymbol{x} &\perp &\boldsymbol{y} \\
\boldsymbol{x} &\perp &\boldsymbol{z} \\
\boldsymbol{y} &\perp &\boldsymbol{z}
\end{eqnarray*}がいずれも成り立ちます。
\end{equation*}が成り立つため、\begin{equation*}
\boldsymbol{x}\perp \boldsymbol{0}
\end{equation*}が成り立ちます。つまり、ゼロベクトルは任意のベクトルと直交します。
内積の非負性
内積は以下の性質\begin{equation*}
\left( I_{1}\right) \ \forall \boldsymbol{x}\in \mathbb{R} ^{n}:\boldsymbol{x}\cdot \boldsymbol{x}\geq 0
\end{equation*}を満たします。以上の性質を内積の非負性(non-negativity)と呼びます。これは、同じベクトルどうしの内積は非負であることを意味します。
\left( I_{1}\right) \ \forall \boldsymbol{x}\in \mathbb{R} ^{n}:\boldsymbol{x}\cdot \boldsymbol{x}\geq 0
\end{equation*}が成り立つ。
内積の定性
内積は以下の性質\begin{equation*}
\left( I_{2}\right) \ \forall \boldsymbol{x}\in \mathbb{R} ^{n}:\left( \boldsymbol{x}\cdot \boldsymbol{x}=0\Leftrightarrow \boldsymbol{x}=\boldsymbol{0}\right)
\end{equation*}を満たします。以上の性質を内積の定性(definiteness)と呼びます。これは、同じベクトルどうしの内積の値が\(0\)であることと、そのベクトルがゼロベクトルであることが必要十分であることを意味します。
\left( I_{2}\right) \ \forall \boldsymbol{x}\in \mathbb{R} ^{n}:\left( \boldsymbol{x}\cdot \boldsymbol{x}=0\Leftrightarrow \boldsymbol{x}=\boldsymbol{0}\right)
\end{equation*}が成り立つ。
内積の加法性
内積は以下の性質\begin{equation*}
\left( I_{3}\right) \ \forall \boldsymbol{x},\boldsymbol{y},\boldsymbol{z}\in \mathbb{R} ^{n}:\left( \boldsymbol{x}+\boldsymbol{y}\right) \cdot \boldsymbol{z}=\boldsymbol{x}\cdot \boldsymbol{z}+\boldsymbol{y}\cdot \boldsymbol{z}
\end{equation*}を満たします。以上の性質を内積の第一引数に関する加法性(additivity in first slot)と呼びます。つまり、ベクトル和とベクトルの内積は、内積どうしのベクトル和と一致するということです。
\left( I_{3}\right) \ \forall \boldsymbol{x},\boldsymbol{y},\boldsymbol{z}\in \mathbb{R} ^{n}:\left( \boldsymbol{x}+\boldsymbol{y}\right) \cdot \boldsymbol{z}=\boldsymbol{x}\cdot \boldsymbol{z}+\boldsymbol{y}\cdot \boldsymbol{z}
\end{equation*}が成り立つ。
内積は以下の性質\begin{equation*}
\forall \boldsymbol{x},\boldsymbol{y},\boldsymbol{z}\in \mathbb{R} ^{n}:\boldsymbol{x}\cdot \left( \boldsymbol{y}+\boldsymbol{z}\right) =\boldsymbol{x}\cdot \boldsymbol{y}+\boldsymbol{x}\cdot \boldsymbol{z}
\end{equation*}を満たします。以上の性質を内積の第二引数に関する加法性(additivity in second slot)と呼びます。つまり、ベクトルとベクトル和の内積もまた、内積どうしのベクトル和と一致するということです。
\forall \boldsymbol{x},\boldsymbol{y},\boldsymbol{z}\in \mathbb{R} ^{n}:\boldsymbol{x}\cdot \left( \boldsymbol{y}+\boldsymbol{z}\right) =\boldsymbol{x}\cdot \boldsymbol{y}+\boldsymbol{x}\cdot \boldsymbol{z}
\end{equation*}が成り立つ。
内積の斉次性
内積は以下の性質\begin{equation*}
\left( I_{4}\right) \ \forall a\in \mathbb{R} ,\ \forall \boldsymbol{x},\boldsymbol{y}\in \mathbb{R} ^{n}:\left( a\boldsymbol{x}\right) \cdot \boldsymbol{y}=a\left( \boldsymbol{x}\cdot \boldsymbol{y}\right)
\end{equation*}を満たします。以上の性質を内積の第一引数に関する斉次性(homogeneity in first slot)と呼びます。つまり、ベクトルのスカラー倍とベクトルの内積は、内積のスカラー倍と一致するということです。
\left( I_{4}\right) \ \forall a\in \mathbb{R} ,\ \forall \boldsymbol{x},\boldsymbol{y}\in \mathbb{R} ^{n}:\left( a\boldsymbol{x}\right) \cdot \boldsymbol{y}=a\left( \boldsymbol{x}\cdot \boldsymbol{y}\right)
\end{equation*}が成り立つ。
内積は以下の性質\begin{equation*}
\forall a\in \mathbb{R} ,\ \forall \boldsymbol{x},\boldsymbol{y}\in \mathbb{R} ^{n}:\boldsymbol{x}\cdot \left( a\boldsymbol{y}\right) =a\left( \boldsymbol{x}\cdot \boldsymbol{y}\right)
\end{equation*}を満たします。以上の性質を内積の第二引数に関する斉次性(homogeneity in second slot)と呼びます。つまり、ベクトルとベクトルのスカラー倍の内積もまた、内積のスカラー倍と一致するということです。
\forall a\in \mathbb{R} ,\ \forall \boldsymbol{x},\boldsymbol{y}\in \mathbb{R} ^{n}:\boldsymbol{x}\cdot \left( a\boldsymbol{y}\right) =a\left( \boldsymbol{x}\cdot \boldsymbol{y}\right)
\end{equation*}が成り立つ。
内積の対称性
内積は以下の性質\begin{equation*}
\left( I_{5}\right) \ \forall \boldsymbol{x},\boldsymbol{y}\in \mathbb{R} ^{n}:\boldsymbol{x}\cdot \boldsymbol{y}=\boldsymbol{y}\cdot \boldsymbol{x}
\end{equation*}を満たします。以上の性質を内積の対称性(symmetry)と呼びます。本来、2つのベクトル\(\boldsymbol{x},\boldsymbol{y}\)を成分とする順序対\(\left( \boldsymbol{x},\boldsymbol{y}\right) ,\left( \boldsymbol{y},\boldsymbol{x}\right) \)は異なるものとして区別されるため、\(\left( \boldsymbol{x},\boldsymbol{y}\right) \)に対して内積関数が定める値\(\boldsymbol{x}\cdot \boldsymbol{y}\)と\(\left( \boldsymbol{y},\boldsymbol{x}\right) \)に対して内積関数が定める値\(\boldsymbol{y}\cdot \boldsymbol{x}\)もまた区別されるべきですが、対称律はこれらが等しいことを保証します。
\left( I_{5}\right) \ \forall \boldsymbol{x},\boldsymbol{y}\in \mathbb{R} ^{n}:\boldsymbol{x}\cdot \boldsymbol{y}=\boldsymbol{y}\cdot \boldsymbol{x}
\end{equation*}が成り立つ。
内積空間としての\(n\)次元空間
これまで明らかになった内積の性質を改めて整理すると、\begin{eqnarray*}
&&\left( I_{1}\right) \ \forall \boldsymbol{x}\in \mathbb{R} ^{n}:\boldsymbol{x}\cdot \boldsymbol{x}\geq 0 \\
&&\left( I_{2}\right) \ \forall \boldsymbol{x}\in \mathbb{R} ^{n}:\left( \boldsymbol{x}\cdot \boldsymbol{x}=0\Leftrightarrow \boldsymbol{x}=\boldsymbol{0}\right) \\
&&\left( I_{3}\right) \ \forall \boldsymbol{x},\boldsymbol{y},\boldsymbol{z}\in \mathbb{R} ^{n}:\left( \boldsymbol{x}+\boldsymbol{y}\right) \cdot \boldsymbol{z}=\boldsymbol{x}\cdot \boldsymbol{z}+\boldsymbol{y}\cdot \boldsymbol{z} \\
&&\left( I_{4}\right) \ \forall a\in \mathbb{R} ,\ \forall \boldsymbol{x},\boldsymbol{y}\in \mathbb{R} ^{n}:\left( a\boldsymbol{x}\right) \cdot \boldsymbol{y}=a\left( \boldsymbol{x}\cdot \boldsymbol{y}\right) \\
&&\left( I_{5}\right) \ \forall \boldsymbol{x},\boldsymbol{y}\in \mathbb{R} ^{n}:\boldsymbol{x}\cdot \boldsymbol{y}=\boldsymbol{y}\cdot \boldsymbol{x}
\end{eqnarray*}となります。
内積関数\(\cdot :\mathbb{R} ^{n}\times \mathbb{R} ^{n}\rightarrow \mathbb{R} \)が\(\left( I_{1}\right) \)から\(\left( I_{5}\right) \)までの性質を満たすことは、内積関数が定義された\(n\)次元空間\(\mathbb{R} ^{n}\)が内積空間(inner product space)もしくは計量ベクトル空間(metric vector space)であることを意味します。
ゼロベクトルとの内積
任意のベクトルとゼロベクトルの内積は\(0\)になります。
\forall \boldsymbol{x}\in \mathbb{R} ^{n}:\boldsymbol{0}\cdot \boldsymbol{x}=\boldsymbol{x}\cdot \boldsymbol{0}=0
\end{equation*}が成り立つ。
演習問題
\boldsymbol{y} &=&\left( 4,1,-2,5\right)
\end{eqnarray*}として与えられているものとします。内積\(\boldsymbol{x}\cdot \boldsymbol{y}\)を求めてください。
\boldsymbol{y} &=&\left( 3,7,1\right)
\end{eqnarray*}として与えられているとき、内積\(\boldsymbol{x}\cdot \boldsymbol{y}\)を求めてください。
\boldsymbol{e}_{2} &=&\left( 0,1,0,\cdots ,0\right) \\
&&\vdots \\
\boldsymbol{e}_{n} &=&\left( 0,0,0,\cdots ,1\right)
\end{eqnarray*}です。このとき、任意のベクトル\(\boldsymbol{x}\in \mathbb{R} ^{n}\)および任意の\(i\in \left\{ 1,\cdots,n\right\} \)に対して、\begin{equation*}\boldsymbol{x}\cdot \boldsymbol{e}_{i}=x_{i}
\end{equation*}が成り立つことを証明してください。
\boldsymbol{y} &=&\left( -1,2\right)
\end{eqnarray*}として与えられているとき、\(\boldsymbol{x}\)と\(\boldsymbol{y}\)がなす角\(\theta \)は鋭角、直角、鈍角のどれですか。
\boldsymbol{x}=\left( 1,1,-1\right) \in \mathbb{R} ^{3}
\end{equation*}と垂直なベクトルをすべて特定してください。
\end{equation*}が成り立つことを意味し、第一引数に関する斉次性とは、任意のスカラー\(a\in \mathbb{R} \)と任意のベクトル\(\boldsymbol{x},\boldsymbol{y}\in \mathbb{R} ^{n}\)に関して、\begin{equation*}\left( a\boldsymbol{x}\right) \cdot \boldsymbol{y}=a\left( \boldsymbol{x}\cdot \boldsymbol{y}\right)
\end{equation*}が成り立つことを意味します。一方、任意のスカラー\(a\in \mathbb{R} \)と任意のベクトル\(\boldsymbol{x},\boldsymbol{y},\boldsymbol{z}\in \mathbb{R} ^{n}\)に関して、\begin{equation*}\left( a\boldsymbol{x}+\boldsymbol{y}\right) \cdot \boldsymbol{z}=a\left(
\boldsymbol{x}\cdot \boldsymbol{z}\right) +\boldsymbol{y}\cdot \boldsymbol{z}
\end{equation*}が成り立つ場合、内積は第一引数に関して線型性(linearity)を満たすと言います。以上を踏まえたとき、内積が第一引数に関して加法性と斉次性をともに満たすことは線型性を満たすための必要十分であることを証明してください。
\boldsymbol{y} &=&\left( 6,-1,3,7,2k\right)
\end{eqnarray*}として与えられているとき、\(\boldsymbol{x}\)と\(\boldsymbol{y}\)が直交するために\(k\)が満たすべき条件を求めてください。
\left\Vert \boldsymbol{y}\right\Vert &=&4
\end{eqnarray*}であるとともに、\(\boldsymbol{x}\)と\(\boldsymbol{y}\)がなす角\(\theta \)は\(\frac{\pi }{3}\)であるものとします。内積\(\boldsymbol{x}\cdot \boldsymbol{y}\)を求めてください。
\boldsymbol{x} &=&\left( 1,-1,2\right) \in \mathbb{R} ^{3} \\
\boldsymbol{y} &=&\left( -2,1,3\right) \in \mathbb{R} ^{3}
\end{eqnarray*}がなす角\(\theta \)を求めてください。
\boldsymbol{x}\right\Vert ^{2}+2\boldsymbol{x}\cdot \boldsymbol{y}+\left\Vert \boldsymbol{y}\right\Vert ^{2}
\end{equation*}が成り立つことを示してください。
\end{equation*}を任意に選んだとき、以下のベクトル\begin{equation*}
\boldsymbol{y}=\left( x_{2},-x_{1}\right)
\end{equation*}が\(\boldsymbol{x}\)と直交するとともに、\begin{equation*}\left\Vert \boldsymbol{y}\right\Vert =\left\Vert \boldsymbol{x}\right\Vert
\end{equation*}が成り立つことを示してください。
&&\left( b\right) \ \left\Vert \boldsymbol{y}\right\Vert =2 \\
&&\left( c\right) \ 1\leq \boldsymbol{x}\cdot \boldsymbol{y}\leq 2
\end{eqnarray*}をすべて満たすものとします。以下の問いに答えてください。
- \(\boldsymbol{x}\)と\(\boldsymbol{y}\)のなす角\(\theta \)がとり得る値の範囲を\(\left[ 0,2\pi \right] \)の中で求めてください。
- \(\left\Vert 2\boldsymbol{x}+\boldsymbol{y}\right\Vert \)がとり得る値の範囲を求めてください。
\left\Vert \boldsymbol{y}\right\Vert &=&10
\end{eqnarray*}であるとともに、\(\boldsymbol{x}\)と\(\boldsymbol{y}\)がなす角\(\theta \)は\(\frac{1}{3}\pi \)であるものとします。ベクトル\(2\boldsymbol{x}-\boldsymbol{y}\)のノルムを求めてください。
&&Q\left( x_{2},y_{2}\right)
\end{eqnarray*}を選んだところ、以下の関係\begin{equation*}
x_{1}x_{2}+y_{1}y_{2}=0
\end{equation*}が成立することが明らかになりました。以上を踏まえた上で、\begin{equation*}
\overrightarrow{OP}\cdot \overrightarrow{PQ}
\end{equation*}を求めてください。
\overrightarrow{OB} &=&\left( 3,4\right)
\end{eqnarray*}であるものとします。\(\overrightarrow{AB}\)と垂直な単位ベクトルを求めてください。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】