線型代数学/行列と行列式/第三類/ベクトルのソースを表示

中等課程でもベクトルを取扱ったが，線形代数ではベクトルは抽象的に定義していく．
中等課程では，ベクトルを「向き」と「大きさ」を持った矢印として定義した．
そして，そのベクトルの始点を座標平面の原点に合わせたとき，ベクトルの終点の座標をベクトルの成分表示とした．

しかし，線形代数でのベクトルは，必ずしも矢印である必要はない．
線形代数ではベクトルを成分表示から定義していく．
いくつか数字を並べて，和や実数倍を定めたものをベクトルとするのである．
和や実数倍の計算の仕方は次のように，平面ベクトルや空間ベクトルの成分計算の自然な拡張になっている．


<!-- def:001:start -->
<strong>定義1</strong>
<strong>ベクトル</strong>

<math>n</math> 個の実数 <math>a_1, \dots, a_n</math> を並べた
<math>
\left(
    \begin{array}{c}
      a_1 \\
      \vdots \\
      a_n
    \end{array}
  \right)
</math>
を，<math>n</math> 次元実数ベクトルという．
<math>n</math> 次元実数ベクトルの集合を <math>R^n</math> で表す．

また，ベクトルの和，ベクトルの実数倍を次のように定める．

和：
<math>
\left(
    \begin{array}{c}
      a_1 \\
      \vdots \\
      a_n
    \end{array}
  \right)
+
\left(
    \begin{array}{c}
      b_1 \\
      \vdots \\
      b_n
    \end{array}
  \right)
=
\left(
    \begin{array}{c}
      a_1 + b_1 \\
      \vdots \\
      a_n + b_n
    \end{array}
  \right)
</math>

実数倍：
<math>
k
\left(
    \begin{array}{c}
      a_1 \\
      \vdots \\
      a_n
    \end{array}
  \right)
=
\left(
    \begin{array}{c}
      k a_1 \\
      \vdots \\
      k a_n
    \end{array}
  \right)
</math>
（<math>k</math> は実数）

<math>\blacksquare</math>
<!-- def:001end -->

中等課程では、平面のベクトル（<math>R^2</math>：2 次元ベクトル）と空間ベクトル（<math>R^3</math>：3次元ベクトル）を扱っていたことになる．
ここでいう <math>R</math> とは実数全体の集合を表している．

ベクトルを成分で表したが，
<math>
\left(
    \begin{array}{c}
      a_1 \\
      \vdots \\
      a_n
    \end{array}
  \right)
</math> を一つの文字 <math>\mathbf{a}</math> で表すことにする．これは <math>\vec{a}</math> と表したのと同じである．

成分がすべて <math>0</math> のベクトル
<math>
\left(
    \begin{array}{c}
      0 \\
      \vdots \\
      0
    \end{array}
  \right)
</math>
を'''ゼロベクトル'''と呼び，<math>\mathbf{0}</math> で表す．

上では数字の並べ方を縦にしたが、数字に関数演算の規則にこそベクトルの定義としての意味があるから、数字は縦に並べて書いても横に並べて書いても構わない．

表記に注目して、数字を縦に書いて並べたベクトルを縦ベクトルまたは列ベクトル，
横に書いて並べたベクトルを横ベクトルまたは行ベクトルという．


縦ベクトル・列ベクトル
<math>
\left(
    \begin{array}{c}
      2 \\
      8 \\
      5 \\
      3
    \end{array}
  \right)
</math>．<math>\quad</math>
横ベクトル・行ベクトル
<math>\left(\quad 2 \quad 8 \quad 5 \quad 3 \quad \right)</math>

ベクトルの和と実数倍のついて、次のような計算法則が成り立つことは，平面ベクトル，空間ベクトルを考えるのと同様で実感を持って納得できるだろう．


<!-- th:001:start -->
<strong>定理1</strong>
<strong>ベクトルの計算法則</strong>

<math>\mathbf{a}, \mathbf{b}, \mathbf{c}</math> を <math>n</math> 次元実ベクトル，
<math>k, l</math> を実数とすると，次が成り立つ．

(1) <math>\mathbf{a} + \mathbf{b} = \mathbf{b} + \mathbf{a}</math>

(2) <math>(\mathbf{a} + \mathbf{b}) + \mathbf{c} = \mathbf{a} + (\mathbf{b} + \mathbf{c})</math>

(3) <math>(k + l)\mathbf{a} = k\mathbf{a} + l\mathbf{a}</math>

(4) <math>k(\mathbf{a} + \mathbf{b}) = k\mathbf{a} + k\mathbf{b}</math>


<strong>証明</strong>

ベクトル <math>\mathbf{a}</math> の <math>i</math> 番目の成分（実数）を <math>a_i</math>，
ベクトル <math>\mathbf{b}</math> の <math>i</math> 番目の成分（実数）を <math>b_i</math>，
ベクトル <math>\mathbf{c}</math> の <math>i</math> 番目の成分（実数）を <math>c_i</math> と置くと，

(1) の左辺：<math>a_i + b_i</math>，
(1) の右辺：<math>b_i + a_i</math> により，(左辺) <math>=</math> (右辺) にて成立．

(2) の左辺：<math>(a_i + b_i) + c_i = a_i + b_i + c_i</math>．
(2) の右辺：<math>a_i + (b_i + c_i) = a_i + b_i + c_i</math>．(2) は実数の足し算の結合律に帰することができ、そして実数の足し算は結合律を満たすので(左辺) <math>=</math> (右辺) にて成立．

(3) の左辺：<math>(k + l)a_i = ka_i + la_i</math>．
(3) の右辺：<math>ka_i + la_i</math> より (左辺) <math>=</math> (右辺) にて成立．

(4) の左辺：<math>k(a_i + b_i) = ka_i + kb_i</math>．
(4) の右辺：<math>ka_i + kb_i</math> より (左辺) <math>=</math> (右辺) にて成立．

<math>\blacksquare</math>
<!-- th:001end -->

[[カテゴリ:線形代数学]]