ベクトル空間と次元
足し算とスカラー倍ができるような代数系をベクトル空間(線型空間)という。
高校までの「ベクトル」の概念を一般化した代数的構造がベクトル空間(線型空間)です。これにより,数列や関数なども「ベクトル」だと考えられるようになります。
ベクトル空間の定義
具体例
ベクトル空間の次元,基底
ベクトル空間の定義
条件が多く,定義が長いですが,要は高校で習う平面ベクトルや空間ベクトルの満たす性質を抜き出したものです。
(実数体 上の)ベクトル空間(線型空間)とは,集合 と
-
に対し を定める演算(和)
-
と に対し を定める演算(スカラー倍)
の組 であって,以下の条件を満たすもののことである。
- 組 はアーベル群である。つまり,
-
任意の に対して
-
ある元 が存在して,任意の に対して を満たす。
-
任意の に対して を満たす が存在する。
-
任意の に対して
- スカラー倍は結合的である。つまり,
- 任意の に対して
- 分配法則を満たす。つまり,
-
任意の に対して
-
任意の に対して
- 倍 は恒等変換である。つまり,
- 任意の に対して
ベクトル空間を考えることで,高校で習うベクトルの計算と同じようなことを,より広いものに対して適用できるようになります。
具体例
ベクトル空間は馴染みのあるものから意外なものまで,いろいろなところから現れます。
n次元ベクトルの空間
-
平面ベクトルの全体はベクトル空間になります。これらは実数を2つ並べたものの集合 に,成分ごとの和とスカラー倍を入れたようなベクトル空間だと思えます。
-
空間ベクトルについても同様に,実数を3つ並べた というベクトル空間だと思えます。
これを一般化したものが「 次元ベクトル」の空間です。
個の実数の組 の集合 に,成分ごとの和とスカラー倍を入れたものはベクトル空間になります。 の場合が平面(空間)ベクトルです。
気持ちとしては「高次元の矢印」の集まりのようなものです(想像するのは難しいですが)。
4次元以上は一見考える意味がなさそうに見えますが,実は多くのところで使われています。例えば ピクセルの白黒デジタル画像は,各ピクセルの明るさの数値を並べたデータ,つまり 次元のベクトルだと考えられます。
数列,関数の空間
個並べるのと同じように,実数を無限個並べてみましょう。数を(無限個)並べたものは,数列と呼ぶのでした。
実数の数列 全体の集合 に,和とスカラー倍を次のように定めるとベクトル空間になります。
これはいわば「無限次元のベクトル」の空間です(実際に後でみる「ベクトル空間の次元」を計算すると,無限次元になります)。
そしてイメージするのは難しいですが,ある空間上の関数全体もベクトルだと思うことができます。
区間 上の実数値関数 全体の集合 に,和とスカラー倍を次のように定めるとベクトル空間になります。
「添字が実数である数列 」や「 ごとに 成分として を持つベクトル」のように考えるとわかりやすいかもしれません。
双対空間
ベクトル空間 上の関数 が線形性を満たすとき, 上の線形形式といいます。少しイメージしにくいですが,「ベクトルを入力とし実数を出力する関数」です。線形形式を集めたものもまたベクトル空間になります。
ベクトル空間 に対し, 上の線形形式全体の集合 に で和とスカラー倍を定めるとベクトル空間になります。これを の双対空間といいます。
このように,与えられたベクトル空間から新しいベクトル空間を作ることもできます。
ベクトル空間の次元,基底
平面ベクトルの場合,一次独立な2つのベクトル があれば,他のベクトルは の一次結合 の形に表すことができました。同じことが一般のベクトル空間 で成り立ちます。つまり, の一次独立ないくつかの元によって他の元を全て表すことができます。そしていくつの元が必要かという値は ごとに決まっており, の次元といいます(無限個必要なときは無限次元です)。
そして次元の数だけ一次独立な元が集まったものを基底といいます。
の元たち は一次独立で,他の元はこれらの一次結合で表せる。よって は 次元のベクトル空間であリ, という組は の基底の1つである。
この「次元の数だけ一次独立な元があれば,それですべてを表せる」という性質を使うと,例えば次のようなことがわかります。
微分方程式 の解をすべて求めたい。例えば が解になるが,他にはどういうものがあるだろうか?
もし が方程式の解なら となりそれらの和もまた方程式の解である。スカラー倍についても同様である。この和とスカラー倍によって解全体の集合 はベクトル空間となる(定義を満たすことの証明は略,かんたんなのでやってみましょう)。
そして微分方程式の理論によってこのベクトル空間は 次元である。つまり一次独立な2つの解によって他の解はすべて表せる。
いま は一次独立だから,解は によって
と表せるものですべてである。
「無限次元空間」ってかっこいいですね。