線形空間の性質

こんにちはコーヤです。

このページでは線形代数の鬼門である線形空間の性質を勉強します。

線形空間の勉強の前に

線形空間の分野はどうしても抽象的な話になってしまいます。しかも急に難解な言葉が使われるようになり、線形空間を定義する目的もいまいちハッキリしません。難しく感じる原因の詰め合わせみたいな分野です。

私も大学生のとき、この分野が理解できずに投げ出しました。ある程度線形代数の全体像を把握できてからもう一度勉強し直してようやくぼんやりと分かるようになりました。

このページで線形空間と初対面の方は意味が分からないままかもしれません。今は分からなくても流し読みして次の分野に進みましょう。対角化やジョルダン標準形の勉強が終わってから、いつかこのページに帰ってきたときにもう一度じっくり勉強すれば大丈夫です。

用語の意味

と言いつつも、せめて用語の意味だけでも理解した状態で流し読みしたいので、よく出てくる言葉とその具体的な意味を示しておきます。

集合

いろんな数が集まったものを集合と言います。

V1={4,7,10,13,16,19,97}

集合V1は3で割ったら1余る数みたいです。

集合の中身をで省略すると正確な表現ではなくなってしまうので、以下のような書き方で集合を示します。

V1={xx=3n+1,n32,nN}

ややこしい見た目になりましたが、式を1個ずつ見れば意味は伝わると思います。

では以下の集合V2にはどんな数が含まれているでしょうか。

V2={v=(xy)2xy=0}

集合V22xy=0を満たす2次元列ベクトルが含まれている集合です。

v1=(12)v2=(24)v3=(33)

v1v2は集合V2に含まれますがv3は集合V2に含まれません。

整数とベクトルを例に挙げましたが、分数でも関数でも行列でも集合になります。

「げん」と読みます。集合の中身1個1個のことを表す言葉です。

7は集合V1の元です。8は集合V1の元ではありません。

v1v2は集合V2の元です。v3は集合V2の元ではありません。

v1v2以外にも集合V2の元は無数にあります。

線形空間の条件2つ

集合Vのうち特別な条件を満たすものを線形空間と呼びます。

その特別な条件を満たすかどうか調べるために集合Vの任意の元a,bに対して2段階のフィルタリングを行います。

  • 和の演算とスカラー倍の演算が定義されているか
  • 演算の性質8つ全て成り立つか

この2つのフィルターを突破すれば集合Vは線形空間を名乗れるようになる、というイメージです。

ではフィルターの中身を詳しく見ていきましょう。

Filter1. 和の演算とスカラー倍の演算が定義されているか

Filter1-1. 和の演算

まずは和の演算から見ていきます。

a+bという計算を行うことができて、その足した結果も集合Vの元になっていればOKです。

集合V1の元である4と97を足すと101となります。101は集合V1の元ではないため、集合V1は和の演算が定義されていないと判断できます。

集合V2の元であるv1v2を足した結果は集合V2の元になっています。集合V2にはv1v2以外にもたくさん元がありますが、どの元を選んでも足した結果は集合V2の元になっています。したがって集合V2は和の演算が定義されていると判断できます。

Filter1-2. スカラー倍の演算

次にスカラー倍の演算です。

あるスカラーkを用いてkaという計算を行うことができて、スカラー倍した結果も集合Vの元になっていればOKです。

集合V1の元である4にスカラー4をかけると16となります。16は集合V1の元なので、集合V1はスカラー倍の演算が定義されていると判断できる、、、

といきたいところですが、任意の元と任意のスカラーで成り立っていないとダメです。集合V1の元である7にスカラー2をかけた14は集合V1の元ではないため、集合V1はスカラー倍の演算が定義されていないと判断できます。

「任意の」という表現が分かりにくい人は、「全ての」「あらゆるパターンの」と変換してください。

集合V2の元であるv1を-2倍したらv2になり、集合V2の元になっています。もちろん-2倍以外で任意のスカラー倍しても集合V2の元になっています。したがって集合V2はスカラー倍の演算が定義されていると判断できます。

Filter2. 演算の性質8つ全て成り立つか

次のフィルターです。和の演算とスカラー倍の演算に対して、以下の性質8個が全て成り立っていることを確認しないといけません。

集合Vの任意の元a,b,cとし、任意のスカラーをk,lとします。

Filter2-1

和の結合法則を満たすか調べます。

(a+b)+c=a+(b+c)

が成り立てばOKです。

Filter2-2

和の交換法則を満たすか調べます。

a+b=b+a

が成り立てばOKです。

Filter2-3

零ベクトルとの和を調べます。

a+0=0+a=a

このような性質を満たす0を零ベクトルといいます。

  • 零ベクトルが集合Vの元であること
  • 集合Vの元に零ベクトルの性質を満たすものが1つだけであること

の2つが成り立てばOKです。

Filter2-4

逆ベクトルとの和を調べます。

a+x=x+a=0

このような性質を満たすxを逆ベクトルといいます。

  • 逆ベクトルが集合Vの元であること
  • 集合Vの元に逆ベクトルの性質を満たすものが1つだけであること

の2つが成り立てばOKです。

Filter2-5

スカラー1による演算結果を調べます。

1a=a

が成り立てばOKです。

Filter2-6

和の分配法則を満たすか調べます。

k(a+b)=ka+kb

が成り立てばOKです。

Filter2-7

スカラー倍の分配法則を満たすか調べます。

(k+l)a=ka+la

が成り立てばOKです。

Filter2-8

スカラー倍の結合法則を満たすか調べます。

(kl)a=k(la)

が成り立てばOKです。

ズラーっと書いてきましたがやっと終わりです。

結果だけ書きますが集合V2は8個全て満たします。フィルター1もフィルター2も突破できる集合V2は線形空間だといえます。

線形空間の具体例

集合が出てくるたびに線形空間かどうか調べていると日が暮れてしまうので、よく出てくる線形空間を挙げておきます。

x,y平面

x,y平面は線形空間です。

v=(xy)

の集合なので2次元列ベクトル空間R2と表現されることが多いです。

x,y,z空間

3次元空間も線形空間です。

v=(xyz)

の集合なので3次元列ベクトル空間R3と表現されることが多いです。

n次元列ベクトル

上記の平面と空間を拡張したものも線形空間です。

v=(x1x2xn)

の集合なのでn次元列ベクトル空間Rnと表現されることが多いです。

実数全体

実数全体は線形空間です。

冒頭の例のV1のように飛び飛びだったり有限だったりすると線形空間にはなりません。

多項式

f(x)=ax2+bx+c

例えば2次多項式の関数f(x)が作る空間は線形空間です。

n次多項式の関数も線形空間です。

行列

A=(abcd)

例えば2次正方行列Aが作る空間は線形空間です。

mn列の行列も線形空間です。

線形空間を定義する目的

なんのために線形空間なんて定義して面倒くさい計算をやっているんでしょうか?

私もハッキリとした答えは分かりませんが、未知の数が出現したときに備えたい、というのが目的の1つだと思います。

中学生まではab=baのようにかけ算の順番を入れ替えてもOKでしたが、行列では成り立ちません。

高校生で習ったベクトルの内積はab=baのように順番を入れ替えてもOKでしたが、複素ベクトルでは成り立ちません。

もし行列や複素ベクトルよりもっとスゴイ数が出現した時、私たちが当然だと思っている性質も成り立たない可能性があります。

スゴイ数の性質を調べるときに手探りで闇雲に調べたら大変ですが、線形空間のルールを知っていればスゴイ数が線形空間かどうかで分類できます。他にも様々な分類を行えばスゴイ数の性質が求められるかもしれませんね。

線形空間を定義する目的、線形空間のありがたさ、などなどご存知の方がいらっしゃいましたら教えていただけますと幸いです。

まとめ

線形空間は以下2つの性質を満たす集合のことです。

  • 和の演算とスカラー倍の演算が定義されている
  • 演算の性質8つ全て成り立つ

コメント欄