スポンサーリンク

「線型空間、線型結合、部分空間」【線型代数学の基礎シリーズ】線型空間編 その1

線型代数学

本記事の内容

本記事は「線型空間って何?」「線型結合って何?」「部分空間って何?」ということについて解説する記事です。

本記事を読むにあたり、論理の初歩と集合の初歩について知っている必要があるため、以下の記事も合わせて御覧ください。

↓論理の初歩(シリーズ化しているため一部の記事のリンクを掲載しています。)

↓集合の初歩(シリーズ化しているため一部の記事のリンクを掲載しています。)

そういえば、ベクトルって何よ?

今までさも当然のように2つの数の組を22次元のベクトル、3つの数の組を33次元のベクトルというようにnn個の数の組をnn次元のベクトルというように呼んできました。

というのも「ベクトルって高校数学で習ったよね?」という前提に立っていたからです。
では、高校数学では”ベクトル”がどのように説明されていたかというと

ベクトルは”向き”と”大きさ”を持つ量

だったかと思います。
確かに、22個の数の組は平面で表すと座標に対応して、原点OOからその座標への矢印を描くと「向き」を持っているし、その矢印の大きさは原点とその点との距離として考えることができます。

しかしながら、これはあくまで直感的です。
勿論、間違っている、といっているわけではありません。
しかし厳密でない、と言っているのです。

では、「ベクトルとは何か?」というと、結論としては以下です。

ベクトルとは線型空間(ベクトル空間)の要素のこと。

です。
つまり、線型空間と呼ばれる集合の要素をベクトルと呼んで、nn個の数の組は線型空間の要素なのでベクトルと呼べる、という話なのです。

ここで注意なのが、勿論先の通りnn個の数の組はベクトル(線型空間の要素)ですが、「線型空間ってnn個の数の組を集めた集合なのかあ」というと違います。

といもの、これは後で述べますが、(m,n)(m,n)型の行列すべてを集めた集合も、開区間(a,b)(a,b)上の実数値連続関数すべてを集めた集合も線型空間となります。
すなわち、(m,n)(m,n)型の行列もベクトルですし、開区間(a,b)(a,b)上の実数値連続関数もベクトルなのです。

何が言いたいか、というと「ベクトル」と言われたとて必ずしもnn個の数の組ではない、ということです。
ただ、このシリーズではもっぱらnn個の実数の組について、すなわち今まで扱ってきたベクトルを扱いますので「ベクトルと言われたらば、今まで通りのベクトルなんだな」と思って頂いて結構です。
しかし、「必ずしもそうじゃないよ」ということを念頭に置いてほしい、ということです。

線型空間(ベクトル空間)

先の導入を読んでいただいた方は「もしかして?」と思ったかもしれませんが、要は線型空間とはnn個の数の組が満たす条件を抽出して一般化したものです。
もっと端的に言えば、Cn(RnでもOK)を一般化したものが線型空間です。

線型空間を一言で

一言でいうと、先の通りRnの一般化、ということなのですが、もうちょっとだけ具体的に言うと、

ある集合に「和」と「スカラー倍」という演算が定まっていて、その演算がある特別な条件を満たすとき、その集合を線型空間(またはベクトル空間)と呼ぶ。

です。
「じゃあ特別な条件って何よ?」という話ですが、平たく言うと

  • 和については交換則、結合則、単位元と逆元の存在が保証されている。
  • スカラー倍については結合則、分配則、単位元の存在が保証されている。

という条件です。
「なにいってっかわかんねえ」となるかもしれませんが、「ふーん」程度でOKです。
直感的に言うとそんなところです。

で、線型空間って何スか?

では、「線型空間とは何か」という厳密な話をしましょう。
線型空間の説明はちょっと長いですが、今まで扱ったRnをイメージしながら読むと「なるほどね」とイメージが付きやすいと思いますので、それを念頭に置いて読んでほしいです。

線型空間(ベクトル空間)

集合Vが次の2条件Ⅰ.およびⅡ.を満たすとき、V複素線型空間複素ベクトル空間C上の線型空間(ベクトル空間)という。
  1. 任意のx,yVに対して、と呼ばれる第三のVの要素(これをx+yVと書く)が定まり、次の法則が成り立つ。
    1. (x+y)+z=x+(y+z)(結合則)
    2. x+y=y+x(交換則)
    3. 零ベクトルと呼ばれる特別な要素(これを0で表す)がただ1つ存在して、任意のxVに対して0+x=xが成り立つ。
    4. 任意のxVに対して、x+x=0となるxVがただ1つ存在する。これをx逆ベクトルといい、xで表す。
  2. 任意のxVと任意のcCに対して、xc倍と呼ばれるもう1つのVの要素(これをcxVで表す)が定まり、次の法則が成り立つ、
    1. 任意のc,dCに対して(c+d)x=cx+dx
    2. c(x+y)=cx+cy
    3. 任意のc,dCに対して、(cd)x=c(dx)
    4. 1x=x
以上の2条件Ⅰ.、Ⅱ.を複素線型空間の公理という。Vの要素をベクトルと呼び、ベクトルに対して複素数をスカラーと呼ぶこともある。

この上の文章において「複素」の部分をすべて「実」で置き換えれば実線型空間が定まります。
ちなみに、1.により、任意の3つのベクトルa,b,cVに対して、(a+b)+ca+b+cとカッコをつけないで書いたり、足し算をする順序を変えてb+c+aと書いてもOKだ、ということが保証されます。

これを見て、まず思うことといえば「ひゃあ、こら長いわ」だと思います。
筆者もそうでした。
しかし、ぜひ覚えてほしいです。
以前の記事の余談で数学と暗記についてをちょっと語りましたが、これは暗記してほしいものになります。
「こんな意味わかんねえものを覚えるなんてやだよ、無理だよ」と思うかもしれませんが、VRnだと思えば割と「そりゃそうでしょ」となると思うので、Rnと紐付けると覚えやすいと思います。

代数を、というより群を少し学んでいる方にとっては、「加法群であってスカラー倍に対して、分配則と結合則と単位元の存在が保証されてるのね」と覚えることが可能です。
とはいえ、このように覚えるにはそもそも群について覚える必要があるため、覚える手間はさほど変わりません。
入り口が群なのか線型空間の違いで、最初に出てきたほうを最初に覚える、という単にそれだけの話です。
ちょっとしたエッセンス(?)でした。

で、どんなのが線型空間なんスか?(線型空間の例)

まず、Rnは線型空間です。
めちゃくちゃ簡単に確かめることができますが、殆ど先の線型空間が満たすべき条件を写経するだけになってしますので、省略します。

ここではベクトルって何よ?で述べた開区間(a,b)上の実数値連続関数すべてを集めた集合が線型空間であることを確かめてみます。

例1.Vを開区間(a,b)上の連続な実数値関数の集合とします。
すなわち、
V={f:(a,b)R|f(a,b)}
つまり、Vは関数の(写像の)集合だ、ということです。

任意のf,gV、任意のx(a,b)および任意のcRに対して
(f+g)(x)=f(x)+g(x)(cf)(x)=cf(x)
として和とスカラー倍を定めると、Vは線型空間です。
ちょっと面倒ですが、確かめてみます。

「ほーん。だったらⅠ.とⅡ.を確かめればいいんでしょ?」ということですが、その前に確かめなければならないことがあります(結構忘れがちだと筆者は勝手に思っています)。
それは、f+gVcfVです。
これらが成り立たないとⅠ.およびⅡ.を確かめようがありません。

f+gVcfVか?

ということで、まずはf+gVcfVを確かめます。
確かめると言ってもほとんど明らかなものですが、f,gVですのでfおよびg(a,b)上で連続な実数値関数です。
故に、その和をとっても、すなわちf+g(a,b)で連続な実数値関数です。
実際、以下が成り立っていたからです。

定理2.

IRの区間、f:IRg:IRとする。
  • aIとし、fgaで連続とするとき、次が成り立つ。
    1. f(x)+g(x)f(x)g(x)f(x)g(x)aで連続である。すなわち、
      • limxa(f(x)+g(x))=f(a)+g(a),
      • limxa(f(x)g(x))=f(a)g(a),
      • limxa(f(x)g(x))=f(a)g(a).
      である。
    2. g(a)0ならば、f(x)g(x)aで連続である。すなわち、 limxaf(x)g(x)=f(a)g(a) である。
  • fgIで連続であるとするとき、次が成り立つ。
    1. f(x)+g(x)f(x)g(x)f(x)g(x)Iで連続である。すなわち、
      • (aI)limxa(f(x)+g(x))=f(a)+g(a),
      • (aI)limxa(f(x)g(x))=f(a)g(a),
      • (aI)limxa(f(x)g(x))=f(a)g(a).
      である。
    2. g(a)0ならば、f(x)g(x)I={x∈∣g(x)0}で連続である。すなわち、 (aI) limxaf(x)g(x)=f(a)g(a) である。

定理2.の証明は【解析学の基礎シリーズ】関数の極限編 その7を御覧ください。

というわけでf+g(a,b)で連続な実数値関数ですのでf+gVです。
また、定理2.gを定数関数だと思えば、cf(a,b)で連続な実数値関数ですのでcfVです。

②線型空間の条件を満たすか確かめる。

  1. f,g,hVに対して(f+g)+h=f+(g+h)か?
    {(f+g)+h(x)}(x)=(f+g)(x)+h(x)=f(x)+g(x)+h(x)=f(x)+(g+h)(x)={f+(g+h)}(x)
    となるので、成り立ちます。
  2. f+g=g+fか?
    (f+g)(x)=f(x)+g(x)=g(x)+f(x)=(g+f)(x)
    となるので、成り立ちます。
  3. 零ベクトルは存在するか?
    0:(a,b)Rを任意のx(a,b)に対して0(x)=0と定めると、0は定数関数なので、(a,b)で連続だから0Vです。
    また、
    (0+f)(x)=0(x)+f(x)=0+f(x)=f(x)
    となりますので、0Vにおける零ベクトルです。
  4. 逆ベクトルは存在するか?
    任意のfVに対して、定理2.からf(a,b)で連続な実数値関数ですのでfVです。
    また、
    {f+(f)}(x)=f(x)+(f)(x)=f(x)+(f(x))=f(x)f(x)=0=0(x)
    となるので、成り立ちます。
    一意性についてはf(x)のダミーとして˜fを用意して同じ計算をするとf=˜fが導けるので、成り立ちます。
  5. 任意のc,dRに対して(c+d)f=cf+dfか?
    {(c+d)f}(x)=(c+d)f(x)=cf(x)+df(x)=(cf)(x)+(df)(x)
    となるので成り立ちます。
  6. cRf,gVに対してc(f+g)=cf+cgか?
    {c(f+g)}(x)=c(f+g)(x)=c{f(x)+g(x)}=cf(x)+cg(x)=(cf)(x)+(cg)(x)
    となるので、成り立ちます。
  7. 任意のc,dRに対して(cd)f=c(df)か?
    {(cd)f}(x)=(cd)f(x)=c(df(x))=c(df)(x)={c(df)}(x)
    となるので、成り立ちます。
  8. 1f=fか?
    (1f)(x)=1f(x)=f(x)
    となるので、成り立ちます。

以上のことから、Vは実線型空間です。

いやあ、長かったですねえ。
真面目に確かめようとすると、8個(厳密には10個)の条件を確かめる必要があるので、誠に面倒ですが、基本的に真面目にやるしかありません。
お疲れさまでした。

線型空間のちょっとした性質

先の線型空間の零ベクトルと逆ベクトルの部分で、「零ベクトルと呼ばれるベクトルがただ1つ存在して…」という文言と「逆ベクトルがただ1つ存在する」という文言ありました。
実は、零ベクトルと逆ベクトルがただ1つだけ存在するということを述べなくても、別の条件から1つしか存在しないということが導けます。
そういう意味では零ベクトルが1つしか存在しないという文言、逆ベクトルが1つしか無いという文言は消してしまってもOKです。

定理3.

線型空間Vにおいて、零ベクトル0は唯一つである。また、逆ベクトルは唯一つである。

定理3.の証明

①零ベクトルについて

仮にベクトル0Vが任意のaに対してa+0=aを満たしていたとします。
このとき、aVは任意ですので、a0としてもOKです。
故に、
0+0=0
が成り立ちます。
また、線型空間の公理の3.xVは任意ですので、x0としてもOKです。
故に、
0+0=0
ですので、0=0が成り立ちます。

②逆ベクトルについて

次に、a+a=0とすると、
a+(a+a)=a+0=a
一方で、線型空間の公理の2.により、
a+(a+a)=(a+a)+a=0+a=a
となるので、a=aが成り立ちます。

定理3.の証明終わり

次に、「当たり前な気がするけどちゃんと成り立ってるのね」という事実を証明します。

定理4.

aおよびスカラーλに対して、λa=0であれば、λ=0かまたはa=0である。

定理4.の証明

簡単です。
λ0とすると、λ1(λa)=λ10=0です。
一方で、
λ1(λa)=(λ1λ)a=1a=a
となってa=0です。

定理4.の証明終わり

線型結合(一次結合)

線型結合を一言でいうと、

ベクトルをスカラー倍して和をとったベクトルのこと。

です。
「え?いる?これ?」と思うかもしれませんが、後に解説する線型独立やらを語るときに必要になってきます。
これをしっかり書くと以下です。

線型結合(一次結合)

線型空間Vのベクトルa1,a2,,anとスカラーc1,c2,,cnに対して、スカラー倍の和 c1a1+c2a2++cnan をベクトルa1,a2,,an線型結合または一次結合という。

線型空間Rnにおいて、Rnの標準基底

e1=(100),e2=(0100),,en=(001)

を用いると、任意のxRn
x=(x1x2xn)=x1(100)+x2(0100)++xn(001)=x1e1+x2e2++xnen
と書き表すことができます。
すなわち、任意のxRnは標準基底e1,e2,,enの線型結合として表される、ということです。

部分空間(部分ベクトル空間)

では次に、線型空間の部分集合についてお話します。

部分空間って何スか?

部分空間を一言でいうと、

線型空間の部分集合が線型空間であるとき、その部分集合を部分空間という。

という単にそれだけです。
これをしっかり書くと以下です。

部分空間、部分ベクトル空間

線型空間Vの空でない部分集合Wが、Vにおける和とスカラー倍の演算によって線型空間になるとき、WV部分空間、または部分ベクトル空間という。

ポイントとしては、Vの和とスカラー倍という演算に対して、というところです。
要するに同じ演算によって線型空間となるときにWVの部分空間といいます。
つまり、WVだったとしても、必ずしもWは線型空間ではないですし、WVでかつWが線型空間だったとしても、Wの演算とVの演算が異なっていれば、WVの部分空間ではありません。

「え、ちょっとまって。もしかして部分空間だと示すんだったらまた8個の条件を確認しなきゃいけないの?」と思うかもしれませんが、なんと、有用な事実があります。

部分空間であることの必要十分条件

定理5.(部分空間の必要十分条件その1)

線型空間Vの部分集合Wが部分空間であるための必要十分条件は次の3条件が成り立つことである。
  1. W(は空集合)
  2. a,bWa+bW
  3. aWλRλaW

筆者調べではありますが、この定理の証明は「明らかだよね」ということで殆ど書かれていない書籍が多い感じがします。
勿論、すでに部分空間を学んでいる筆者はその気持ちもわからんではないのですが「いや、ちゃんと示そうよ」と思うので、しっかり証明します。

定理5.の証明

Wが線型空間Vの部分空間1.、2.、3.の証明

Wが線型空間Vの部分空間だとします。
このとき、WVと同じ和、スカラー倍で線型空間です。

(1.の証明)

WVの部分集合であって、かつVと同じ和とスカラー倍によって線型空間ですので、任意のaWに対して、0a=0Wです。
従って、0WだからWです。

(2.の証明)

Wは線型空間ですので、任意のa,bWに対して、その和a+bWです。

(3.の証明)

Wは線型空間ですので、任意のaWおよび任意のcRに対して、そのスカラー倍caWです。

1.、2.、3.Wが線型空間Vの部分空間の証明

これは、①に比べると8つの条件を確かめる必要があるので、ちょいと面倒です。

まず、2.および3.から任意のa,bWVに対してa+bWで、かつ任意のcRに対してcaWです。

故に、線型空間の公理の1.~8.を確かめる事ができます。
x,y,zWVc,dRに対して

  • (x+y)+z=x+(y+z)か?
    そもそも、x,y,zWVですので、x,y,zVです。
    ここで、Vは線型空間ですので、(x+y)+z=x+(y+z)が成り立っています。
  • x+y=y+xか?
    これも同じです。
    そもそも、x,yWVですので、x,yVです。
    ここで、Vは線型空間ですので、x+y=y+xが成り立っています。
  • 零ベクトルが存在するか?
    これもほぼ同じです。
    3.により、任意のaWと任意のcRに対して、caWです。
    cRは任意ですので、c0としてもOKです。
    従って、ca=0a=0Wです。
    故に、零ベクトルがWに存在します。
  • 逆ベクトルが存在するか?
    これもさっきとほぼ同じです。
    3.により、任意のaWと任意のcRに対して、caWです。
    cRは任意ですので、c1としてもOKです。
    従って、ca=1a=aWです。
    当然ながらa+(a)=0Wです。
    故に、逆ベクトルがWに存在します。
  • 任意のc,dR、任意のxWに対して(c+d)x=cx+dxか?
    任意のxと任意のc,dRに対して、そもそもWVなので、xVです。
    Vは線型空間なので、(c+d)x=cx+dxが成り立っています。
  • 任意のcR、任意のx,yWに対してc(x+y)=cx+cyか?
    これも同じです。
    そもそもWVなので、任意のcR、任意のx,yWに対して、x,yVです。
    Vは線型空間なので、c(x+y)=cx+cyが成り立っています。
  • 任意のc,dR、任意のxWに対して(cd)x=c(dx)か?
    同じです。
    そもそもWVなので、任意のc,dR、任意のxWに対して、(cd)x=c(dx)です。
  • 1x=xか?
    3.から任意のaWと任意のcRに対して、caWVです。
    cは任意ですので、c=1としてもOKです。
    故に、Vについて1x=xが成り立っているので、Wでも成り立っています。

定理5.の証明終わり

実は、この必要十分条件をさらに言い換えることができます。

定理6.(部分空間の必要十分条件その2)

線型空間Vの部分集合Wが部分空間であるための必要十分条件は次の3条件が成り立つことである。
  1. W(は空集合)
  2. 任意のa,bWおよび任意のc,dRに対して、ca+dbW

要するに、定理5.の2.と3.が定理6.の2.と同値だ、と言っているわけです。
すなわち、
(a,bWa+bW)(aW, cRcaW)(a,bW) (c,dR) ca+dbW

というわけです。
とどのつまり、Wの任意の要素の任意の線型結合がまたWの要素だ、と言っているわけです。
これを証明しましょう。

定理7.

WVを線型空間Vの部分空間だとする。 このとき、以下が成り立つ。 (a,bWa+bW)(aW, cRcaW)(a,bW) (c,dR) ca+dbW

定理7.の証明

の証明

(a,bWa+bW)(aW, cRcaW)
が真だとします。
このとき、
任意のaWと任意のcRに対してcaWなので、aとは別のbWcとは別のdRに対してもdbWです。
また、a,bWa+bWであることからca+dbWです。

の証明

(a,bW) (c,dR) ca+dbW
だとします。
このとき、c,dRは任意なのでc=d=1とすることで
(a,bWa+bW)
が示されます。
また、c=0とすることで
(aW, cRcaW)
です。

従って、同値です。

定理7.の証明終わり

とどのつまり、「WVが線型空間Vの部分空間であることを示しなさい。」と言われたらば、定理6.の条件を満たすかどうかを調べればOKということになります。

ちなみに、最も単純な部分空間の例は、線型空間Vの零ベクトル0だけからなる集合{0}です。

基本的な部分空間の作り方

次の定理は線型空間Vが与えられたときにVの部分空間を作る基本的は方法です。

定理8.

VR上の線型空間、a1,,arVのベクトルだとする。a1,,arの線型結合全体の集合、すなわち W={x1a1+x2a2++xrar|xiR, i=1,2,,r}Vの部分空間である。

定理8.の証明

定理6.を使って証明します。
W={x1a1+x2a2++xrar|xiR, i=1,2,,r}

とします。

Wの証明

簡単です。
Wの要素はa1,,arx1,,xrRを使って
x1a1+x2a2++xrar
と書かれています。
このときxiR (i=1,,r)は任意ですので、x1=1として、それ以外を0とすれば、a1Wとなるので、Wです。

②任意のa,bWおよび任意のc,dRに対して、ca+dbWの証明

任意のx,yWに対して、
x=x1a1+x2a2++xrar,y=y1a1+y2a2++yrar
と書かれます。
このとき、任意のc,dRに対してcx+dyWであればOKです。
ここで、x,yWVで、Vは線型空間ですので、このx,yに対してVの線型空間の公理を使うことができます。
従って、
cx+dy=(cx1+dy1)a1+(cx2+dy2)a2++(cxr+dyr)ar
です。
これを見ると、
(cx1+dy1)a1+(cx2+dy2)a2++(cxr+dyr)ar
もまたa1,,arの線型結合ですので、
(cx1+dy1)a1+(cx2+dy2)a2++(cxr+dyr)arW
となるから、cx+dyWです。

定理8.の証明終わり

この定理8.によって保証されている部分空間Wa1,,arによって生成される、または張られる部分空間といって、S[a1,,ar]で表します。

また、a1,,arW生成系といいます。

部分空間の例

実は、連立一次方程式に関連した集合は線型空間Rnの部分空間です。

定理9.

m,nNA(m,n)型の行列とする。このとき W={xRn|Ax=0}Rnの部分空間である。

証明は簡単です。
今回は定理5.を使います。

定理9.の証明

m,nNA(m,n)型の行列とします。

Wの証明

A0=0ですので、0WだからWです。

②任意のx,yWに対してx+yWの証明

次の事実を使います。

定理10.(分配則)

m,n,rNk,hCとする。このとき、3つの行列Cに対して、以下が成り立つ。
  1. A(m,n)型、B及びC(n,r)型のとき、A(B+C)=AB+AC
  2. AB(m,n)型、C(n,r)型のとき、(A+B)C=AC+BC
  3. AおよびBが共に(m,n)型のとき、k(A+B)=kA+kB
  4. AおよびBが共に(m,n)型のとき、(k+h)A=kA+hA

定理10.の証明は【線型代数学の基礎シリーズ】行列編 その2を御覧ください。

定理10.から任意のx,yWに対して
A(x+y)=Ax+Ay=0+0=0
です。
従って、x+yWです。

③任意のxW、任意のcRに対してcxWの証明

次の事実の2.を使います。

定理11.(スカラー倍の性質)

k,hCm,n,rNとする。(m,n)型行列A(n,r)型行列Bk,hに対して次が成り立つ。
  1. (kh)A=k(hA)
  2. k(AB)=(kA)B=A(kB)
  3. 0A=Omn
  4. 1A=A

定理11.の証明は【線型代数学の基礎シリーズ】行列編 その2を御覧ください。

任意のxWと任意のcNに対して
A(cx)=cAx=c0=0
となるので、cxWです。

従って、定理5.からWRnの部分空間です。

定理9.の証明終わり

今回は、線型空間を導入して、線型結合と部分空間について解説しました。
線型空間は数学を語る上で非常に重要です。
というもの、あらゆる分野で線型空間を前提にして話をすすめることが多いからです。

また、ベクトルとは何か、というと線型空間の要素のことなのでした。
故に、関数だってベクトルになりうるわけです。
あくまで線型空間の要素をベクトルと呼ぶのであって、それが数の組とは限りません。

次回は線型従属(一次従属)、線型独立(一次独立)について解説します。
これらは線型空間の風貌を知るために誠に重要な概念です。

乞うご期待!質問、コメントなどお待ちしております!

コメントをする

タイトルとURLをコピーしました