【線形代数学入門】基底の定義
1. 記事の目的
以下の記事で、ベクトルの線型独立性について述べた。本記事では、線型独立性を使用して、ベクトル空間の基底を定義する。ベクトル空間の任意の元をいくつかの基本的な元(これを基底という)を用いて表すことを考える。本記事では特に、基底の定義とその存在について述べる。
2. 基底とは
を考える。は幾何学的には2次元平面で表現される。
というベクトルを考える。上の任意の点は、に実数をかけて和をとったもの(線形結合)としてあらわすことができる。
例:
とすると、
と表せる。
のどの元も、線形結合として表現することができる元のことを基底という。
3. 基底の定義
まず最初に、ベクトル空間が「有限次元」であるということを定義する(基底の個数が有限個であることを規定したいために、まず次元という言葉を正確に定義せずに有限次元であるということを定義する。のちの方便のためである。)
定義
ベクトル空間に、有限個のベクトルが存在して、のどのベクトルもこれらの有限個のベクトルの線形結合として表されるとき、は有限次元であるという。有限次元ではないとき、は無限次元であるという。
例:ベクトル空間の任意の元は、
の2つのベクトルで表すことができるので、有限次元である。
有限次元ベクトル空間の基底を定義する。
定義
有限次元ベクトル空間の有限個のベクトルが次の2条件を満たすとき、はの基底であるという。
(1) は線型独立である。
(2) の任意のベクトルは、の線型結合として表される。
有限次元ベクトル空間がでないとき、基底は必ず存在する。
定理3.1
有限次元ベクトル空間には、基底が必ず存在する。
定理3.1は次の定理3.2から証明される。
定理3.2
有限次元ベクトル空間のとき、が線型独立ならば、このとき何個かのベクトルを付け加えることで、の基底が得られる。
証明:は有限次元であるから、有限個のベクトルが存在しての任意のベクトルは、の線型結合である。のすべてのベクトルがの線型結合ならば、はすでにの基底である。がの線型結合として表されないとする。このときを使って、
と表すことができる。ここで、がすべての線型結合として表すことができたと仮定すると、下記の記事(線型独立)の定理4.3より、もの線型結合として表されてしまう。これは矛盾である。従って、のどれかは、の線型結合として表すことができない。並べ替えることで、一般性を失うことなく、がの線型結合として表すことができないと仮定することができる。とおく。このとき、は下記の記事の定理4.2より線型独立である。これらがまだ基底に達しなければ、のうちで、の線型結合として表されないものを選んで、それをとおく。この操作を続ければ、高々回目にの基底に達する。
定理4.1の証明:より、零でないベクトルが存在する。に対し
とすると、よりは線型独立である。よって、定理4.2から、これにいくつかのベクトルを付け加えることで、基底が得られる。
5. 参考文献
[1] 線型代数入門
価格:2,090円 |