ベクトル空間のまとめ
はじめに
ベクトル空間とは、線形性を一般化したものと考えていいだろう。大学の学部で習う線形代数は何も知らないで最初だけ見た場合、行列の計算について論じているように感じてしまうが、ベクトル空間(=線形空間)抜きで線形代数は語れないと個人的には考えている。そもそも「行列代数」ではなく「線形代数」という名前になっていることがベクトル空間の重要性を物語っている。*1この記事ではベクトル空間そのもの定義から次元の定義までの基本的事項をざっくりまとめていこうと思う。よって基本的な証明を省略することもあることに注意してほしい。
ベクトル空間の定義
がベクトル空間であるとは、について和とスカラー倍の演算とが定義されていて、以下の性質を満たしていることである。
また、1~4はベクトル空間の和だけに言及しているものであるが、これらの性質を総合して考えると、は和の演算に対して可換群をなしていると考えることができる。
ベクトル空間の具体例
ベクトル空間の具体例として主に考えられているのは以下の4つである。
- : に対して、と定義すると、これはベクトル空間となる。また、のベクトル空間が出てきた場合、特に言及がない場合はこのように演算が定義されていると思ってよい。
- 実数係数のn次多項式: 和とスカラー倍は普通に関数としての演算を考える。和の単位元となる原点0は、関数として恒等的に0である場合となっている。
- n×mの行列全体の集合: 和は成分ごとに足す。スカラー倍も成分ごとに倍するとベクトル空間となる。原点は零行列となる。
- 区間上で定義された実数値関数全体の集合: 本質的には多項式の場合とおなじで、和とスカラー倍は関数としての演算で定義されている。ただしこの場合のように多項式で表すことができないものもベクトル空間の成分となっている。
部分空間
をベクトル空間とする。が部分空間であるとは、が、と同じ演算においてベクトル空間をなしているということである。
部分空間であることを論ずるためには、が演算で閉じていることを示すことが必要十分である。なぜならば結合法則などはの部分集合であることから従うので考える必要がないからである。逆に演算で閉じてない場合なのにのような事態が発生した場合ベクトル空間でなくなってしまう。
部分空間の具体例も適当に挙げておこう。
- における、
- における
- における、
- における、
また、部分空間には必ず原点が含まれているということも注意点である。
線形写像と核と像
をベクトル空間として、写像がが任意ので成立するとき、を線形写像であるという。ここでが成り立っている。とすれば明らかであろう。ここで線形写像に対して核と像を定義する。
核(=カーネル)は、と定義する。
また、像(=イメージ)は、と定義される。
また、はの部分空間となり、はの部分空間となる。
また、が全単射であるような写像が存在するとき、は同型であるといい、を同型写像という。
張る空間
ベクトル空間上のあるベクトルについて、で張る部分空間というものを以下のように定義する。
$$\langle S\rangle = \langle v_1,\ldots,v_n \rangle=\{a_1v_1+\cdots+a_nv_n|a_1,\ldots,a_n\in\mathbb{R}\}$$*2
ようはから出発して和で閉じるようになるまで拡張することで作った部分空間と考えることができる。
一次独立
ベクトルの組が一次独立であるとは、となるの組がしかないということである。逆にとなるものがあってとなる場合、を一次従属であるという。
基底
ベクトル空間の元が基底であるとは次の条件を満たすことである。
- は一次独立である。
- が成立する。つまりの任意の元はの線形結合で表すことができる。
このとき、どのようなについても、となるようなの組がただ一つだけ存在する。(注:存在性→2から従う。一意性→1から従う。)
次元
線形空間について基底のとり方はたくさんあるが、どのように基底をとっても、その数は一致していることがわかっている。つまり、とがともにの基底であるとき、となる。
よってこれから線形空間の次元というものを定義できる。について基底があるとき、どのように基底を取り直してベクトルの個数はn個となるため、となる。
注意すべきポイントや補足するポイントなどを以下にまとめた。
- 一点集合の次元は0。基底は(空集合)となる。
- の次元はである。例えばというような基底を取ることができる。
- 行列をベクトル空間とみなしたとき、次元はである。たとえばについて、成分だけ1であとは全部0な行列を考えると、これは基底となる。
- 次以下の多項式の集合からなるベクトル空間の次元はである。たとえばというような基底を取ることができる。
- 次元は有限とは限らない。例えば上に定義された連続関数全体の集合をベクトル空間としたとき、次元は無限になる。実際に、が一次独立であるため空間全体を張ることができない。
- がの部分空間である場合、が成り立つ。特にが成り立つとき、となる。
- を線形写像としたとき、が成り立つ。 (次元定理)