実数空間をスカラー場とするn次元空間上にベクトル加法とスカラー乗法を定義したとき、これを実ベクトル空間と呼びます。
< 前のページ
次のページ >

実ベクトル空間

\(n\)次元空間\(\mathbb{R} ^{n}\)上にベクトル加法\(+\)と呼ばれる演算を定義した上で、以下の性質を満たすことを示しました。

命題(ベクトル加法の性質)
\(n\)次元空間\(\mathbb{R} ^{n}\)上に定義されたベクトル加法\(+\)は以下の性質を満たす。\begin{eqnarray*}
&&\left( V_{1}\right) \ \forall x,y,z\in
\mathbb{R} ^{n}:(x+y)+z=x+(y+z) \\
&&\left( V_{2}\right) \ \exists 0\in
\mathbb{R} ^{n},\ \forall x\in
\mathbb{R} ^{n}:x+0=x \\
&&\left( V_{3}\right) \ \forall x\in
\mathbb{R} ^{n},\ \exists -x\in
\mathbb{R} ^{n}:x+(-x)=0 \\
&&\left( V_{4}\right) \ \forall x,y,\in
\mathbb{R} ^{n}:x+y=y+x
\end{eqnarray*}
ベクトル加法について復習する

また、スカラー場\(\mathbb{R} \)と\(\mathbb{R} ^{n}\)上にスカラー乗法\(\cdot \)と呼ばれる演算を定義した上で、以下の性質を満たすことを示しました。

命題(スカラー乗法の性質)
スカラー場\(\mathbb{R} \)と\(n\)次元空間\(\mathbb{R} ^{n}\)上に定義されたスカラー乗法\(\cdot \)は以下の性質を満たす。\begin{eqnarray*}
&&\left( V_{5}\right) \ \forall a,b\in
\mathbb{R} ,\ \forall x\in
\mathbb{R} ^{n}:a\cdot \left( b\cdot x\right) =\left( a\cdot b\right) \cdot x \\
&&\left( V_{6}\right) \ \exists 1\in
\mathbb{R} :1\cdot x=x
\end{eqnarray*}
スカラー乗法について復習する

ベクトル加法\(+\)とスカラー乗法\(\cdot \)の間にはどのような関係が成立するのでしょうか。そこで、実数\(a\in \mathbb{R} \)と点\(x,y\in \mathbb{R} ^{n}\)をそれぞれ任意に選びます。ただし、\(x=\left( x_{1},\cdots ,x_{n}\right) \)かつ\(y=\left( y_{1},\cdots ,y_{n}\right) \)です。このとき、\begin{eqnarray*}
a\cdot \left( x+y\right) &=&a\cdot \left[ \left( x_{1},\cdots ,x_{n}\right)
+\left( y_{1},\cdots ,y_{n}\right) \right] \quad \because x,y\text{の定義} \\
&=&a\cdot \left( x_{1}+y_{1},\cdots ,x_{n}+y_{n}\right) \quad \because \text{ベクトル和の定義} \\
&=&\left( a\cdot \left( x_{1}+y_{1}\right) ,\cdots ,a\cdot \left(
x_{n}+y_{n}\right) \right) \quad \because \text{ベクトル加法の定義} \\
&=&\left( a\cdot x_{1}+a\cdot y_{1},\cdots ,a\cdot x_{n}+a\cdot y_{n}\right)
\quad \because \text{分配律} \\
&=&\left( a\cdot x_{1},\cdots ,a\cdot x_{n}\right) +\left( a\cdot
y_{1},\cdots ,a\cdot y_{n}\right) \quad \because \text{ベクトル加法の定義} \\
&=&a\cdot \left( x_{1},\cdots ,x_{n}\right) +a\cdot \left( y_{1},\cdots
,y_{n}\right) \quad \because \text{スカラー乗法の定義} \\
&=&a\cdot x+a\cdot y
\end{eqnarray*}すなわち、\begin{equation*}
a\cdot \left( x+y\right) =a\cdot x+a\cdot y
\end{equation*}が成り立ちます。つまり、ベクトル和のスカラー積は、スカラー積のベクトル和と一致します。これをベクトル加法に関するスカラー乗法の分配律(distributivity of scalar multiplication with respect to vector addition)と呼びます。

実数\(a,b\in \mathbb{R} \)と点\(x\in \mathbb{R} ^{n}\)をそれぞれ任意に選びます。ただし、\(x=\left( x_{1},\cdots ,x_{n}\right) \)です。このとき、\begin{eqnarray*}
\left( a+b\right) \cdot x &=&\left( a+b\right) \cdot \left( x_{1},\cdots
,x_{n}\right) \quad \because x\text{の定義} \\
&=&\left( \left( a+b\right) \cdot x_{1},\cdots ,\left( a+b\right) \cdot
x_{n}\right) \quad \because \text{スカラー乗法の定義} \\
&=&\left( a\cdot x_{1}+b\cdot x_{1},\cdots ,a\cdot x_{n}+b\cdot x_{n}\right)
\quad \because \text{分配律} \\
&=&\left( a\cdot x_{1},\cdots ,a\cdot x_{n}\right) +\left( b\cdot
x_{1},\cdots ,b\cdot x_{n}\right) \quad \because \text{ベクトル加法の定義} \\
&=&a\cdot \left( x_{1},\cdots ,x_{n}\right) +b\cdot \left( x_{1},\cdots
,x_{n}\right) \quad \because \text{スカラー乗法} \\
&=&a\cdot x+b\cdot x\quad \because x\text{の定義}
\end{eqnarray*}すなわち、\begin{equation*}
\left( a+b\right) \cdot x=a\cdot x+b\cdot x
\end{equation*}が成り立ちます。ただし、左辺の\(+\)は加法、右辺の\(+\)はベクトル加法です。これを加法に関するスカラー乗法の分配律(distributivity of scalar multiplication with respect to addition)と呼びます。

命題(ベクトル加法とスカラー乗法の関係)
スカラー場\(\mathbb{R} \)と\(n\)次元空間\(\mathbb{R} ^{n}\)上に定義されたベクトル加法\(+\)とスカラー乗法\(\cdot \)の間には以下が成り立つ。\begin{eqnarray*}
&&\left( V_{7}\right) \ \forall a\in
\mathbb{R} ,\ \forall x,y\in
\mathbb{R} ^{n}:a\cdot \left( x+y\right) =a\cdot x+a\cdot y \\
&&\left( V_{8}\right) \ \forall a,b\in
\mathbb{R} ,\ \forall x\in
\mathbb{R} ^{n}:\left( a+b\right) \cdot x=a\cdot x+b\cdot x
\end{eqnarray*}
証明を見る(プレミアム会員限定)

ベクトル加法に関する性質である\(\left( V_{1}\right) \)から\(\left( V_{4}\right) \)までと、スカラー乗法に関する\(\left( V_{5}\right) \)と\(\left( V_{6}\right) \)、さらに両者の関係を規定する\(\left( V_{7}\right) \)と\(\left( V_{8}\right) \)が成り立つことは、\(\mathbb{R} ^{n}\)が\(\mathbb{R} \)をスカラー場とするベクトル空間(vector space with a scalar field \(\mathbb{R} \))であることを意味します。特に、このようなベクトル空間を実ベクトル空間(real vector space)と呼びます。実ベクトル空間を\(\left( \mathbb{R} ,\mathbb{R} ^{n},+,\cdot \right) \)と表記しますが、実ベクトル空間について言及していることが文脈から明らかである場合には、これをシンプルに\(\mathbb{R} ^{n}\)で表します。

次回は内積について解説します。

次へ進む 質問・コメントを投稿する 演習問題(プレミアム会員限定)
Share on facebook
Share on twitter
Share on email
Share on print
< 前のページ
次のページ >

ワイズをさらに活用するための会員サービス

ユーザー名とメールアドレスを入力して一般会員に無料登録すれば、質問やコメントを投稿できるようになります。さらに、有料(500円/月)のプレミアム会員へアップグレードすることにより、プレミアムコンテンツ(命題の証明や演習問題、解答など)にアクセスできます。
会員サービス

ディスカッションに参加しますか?

質問やコメントを投稿するためにはログインが必要です
ログイン

アカウント
ログイン