コンテンツにスキップ

ベクトルとベクトル空間の定義.

 線形代数を学習していると,行列から始まったけどなぜかベクトルの話に終始する. 連立方程式はどこかへ行き,何をやっているのかまったくわからなくなる. ここでは単にベクトルとベクトル空間について定義する.とてもつまらない記事である.

 このブログではここまでの線形代数の記事にベクトルを定義せずに使用していた. 線形代数の記事にアクセスする読者はベクトルくらい見たことあると想定しているからだ. しかし,今後の記事ではベクトルも数多く登場すると思うので,一旦定義しておく.

ベクトルの定義

 𝑛個の数𝑎1,𝑎2,,𝑎𝑛を並べた組を𝑛項(または𝑛次元)数ベクトルまたは単にベクトルという. それぞれの数𝑎1,𝑎2,,𝑎𝑛をその成分という.

 以下のように成分を縦に並べた組,横に並べた組をそれぞれ列ベクトル行ベクトルという.

((((𝑎1𝑎𝑛)))),(𝑎1,,𝑎𝑛)

 2つのベクトル

𝒂=((((𝑎1𝑎𝑛)))),𝒃=((((𝑏1𝑏𝑛))))

が等しいとは,それぞれの成分が等しいということ.つまり,

{{{{{𝑎1=𝑏1𝑎𝑛=𝑏𝑛

ということ.

 ベクトルの足し算は,それぞれの成分を足せばよい.すなわち,2つのベクトルの足し算は

𝒂+𝒃=((((𝑎1+𝑏1𝑎𝑛+𝑏𝑛))))

 スカラー倍はベクトルに定数を掛けることだ.つまり,ベクトルのスカラー倍は

𝑘𝒂=((((𝑘𝑎1𝑘𝑎𝑛))))

 行列は写像と捉える.で,行列は写像である旨を解説した. 写像であるということは定義域と値域があるはずだが,その辺は濁していた. 定義域と値域はベクトル空間である.ベクトルの集合のことだ.

ベクトル空間の定義

 (Geminiに定義を生成させました.)

 ベクトル空間𝑉 とは、以下の条件を満たす集合𝑉と演算(ベクトル和とスカラー倍)の組 (𝑉,+,) のこと.

1. 和に関する性質

 任意のベクトル 𝐮,𝐯,𝐰𝑉 に対して、

  • 𝐮+𝐯𝑉(和の閉じていること)
  • (𝐮+𝐯)+𝐰=𝐮+(𝐯+𝐰)(結合法則)
  • 𝐮+𝐯=𝐯+𝐮(交換法則)
  • 𝐮+𝟎=𝐮 を満たす零ベクトル 𝟎𝑉 が存在する(零ベクトルの存在)
  • 𝐮+(𝐮)=𝟎 を満たす逆ベクトル 𝐮𝑉 が存在する(逆ベクトルの存在)

2. スカラー倍に関する性質

 任意のベクトル 𝐮,𝐯𝑉 とスカラー 𝑎,𝑏 に対して、

  • 𝑎𝐮𝑉(スカラー倍の閉じていること)
  • 𝑎̇𝐮+𝐯=𝑎𝐮+𝑎𝐯(分配法則)
  • (𝑎+𝑏)𝐮=𝑎𝐮+𝑏𝐮(分配法則)
  • (𝑎𝑏)𝐮=𝑎̇𝑏𝐮(結合法則)
  • 1𝐮=𝐮(単位元の性質)

ベクトル空間をどう捉えるか.

Section titled “ベクトル空間をどう捉えるか.”

 ベクトル空間についてどのように考えればいいのかを書く.数学を学習する上でとても大事なことだからだ.

ベクトル空間の捉え方

  • ベクトル空間は,零に相等するベクトルを中心として,次元的に広がるベクトルの集まりである.最大・最小のような境界はない.

上のベクトル空間の定義はそれを表している.とても極端に言えば,

  • 零ベクトルの存在
  • スカラー倍で閉じていること

の2つから「零に相当するベクトルを中心とした次元的に広がるベクトルの集まりがベクトル空間」と言える.

ベクトル空間の捉え方
ベクトル空間の捉え方