« 線型代数のエッセンス(9)(1次変換(補遺)) | トップページ | 何気ない日常??(ブラックジョーク) »

2011年2月23日 (水)

線型代数のエッセンス(10)(ユニタリ空間-1)

 線型代数のエッセンスの続きです。§4.ユニタリ空間に入ります。

そろそろ別テーマの科学記事も書きたいと思っていますが,これまでの経験から途中で複数のシリ-ズなどを同時進行すると一方に興味が移って半永久的に中断する可能性があるので,もう少しこのテーマだけを続けようと思います。

 

今日は,午後に事務的というかボランティア的用事をするためにお休みを取っています。

 

今,通っているところは無償のボランティアの種がいっぱいある宝の山なので,もしも私が最後の死に場所を探すならもってこいですね。

 

(イヤ,積極的にやるなら例えば今ならニュージーランドまで行って活動するとかもあるけれど,恐らく今の私ではお荷物になるだけです。

 

消極的ですが現在可能なことを精一杯やるだけです。

 

とはいっても,張り切ってヤルぞーとひとりよがりにテンパッテるツモリはありませんが。。何なんだ??

 

なさけは他人のためでなく自分のためなんです。。。)

§4.ユニタリ空間

[定義4-1](ユニタリ内積,ユニタリ空間):線型空間の2つの元,に対して以下の性質を持つ演算(combination)(,)を定義する。

 

 (,)は,(×) → の写像で(,)∈ある。

(ⅰ)(,)=(,)*,(ⅱ)(α,)=α(,),(ⅲ)(,)=(,)+(,),(ⅳ)(,)は非負の実数,

 

(ⅴ)(,)=0 ⇔ =0

 

 ただし,α∈,,,である。

  

 複素数λ∈に対して,λ*はλの複素共役(complex conjugate)を意味する。

 この演算(,)をのスカラー積,またはユニタリ内積(unitary inner-product)といい,ユニタリ内積が定義された線型空間を(複素)ユニタリ空間(unitary space)と呼ぶ。

特に,(,)が常に実数(real)でαも実数の場合には,を実ユニタリ空間と呼ぶ。

[定理4-2](ユニタリ内積の性質Ⅰ):ユニタリ空間の元,,とα,β∈に対して次の性質が成り立つ。

1.(α)=αβ*(,),2.(,)=(,)+(,),

3.(,0)=(0,)=0

(↑自明なので証明略)

[定義4-3]:をユニタリ空間とするとき,∀に対し(,)1/2をベクトルの長さ(length),またはノルム(norm)と呼び,記号|a|で表わす。

[定理4-4](ユニタリ内積の性質Ⅱ):ユニタリ空間の元,,とα,β∈に対して次の性質が成り立つ。

1. |0|=0  2.αa|=|α||a|:|α|はαの絶対値:(αα*)1/2

(↑自明)

[定理4-5](Schwartzの不等式):ユニタリ空間の任意の2つのベクトル,に対して|(,)|≦|a||b|が成立する。この不等式をSchwartzの不等式という。

(証明) ユニタリ内積の定義から∀λ∈に対して(-λ,-λ)≧0 です。それ故,(,)-λ*(,)-λ(,)*+λλ*(,)≧0 です。

 0 の場合,特にλ≡(,)*/(,)とおけばλ*≡(,)/(,)です。

  

 これを上式に代入すると|a|2-|(,)|2/|b|2≧0,すなわち,|(,)|2|a|2|b|2,つまり|(,)|≦|a||b|を得ます。

 また,0 の場合には明らかに|(a,)|=|a||b|=0 です。

 そして,もしもが1次独立なら,∀λ∈に対して-λ0 より(-λ,a-λ)>0 ですから不等号が成立して|(,)|<|a||b|となります。

一方,が1次従属で,ある複素数αに対して=αと書けるなら,|(,)|=|α||(,)|=|a||b|となって等号が成立します。(証明終わり)

[定理4-5の系]:ユニタリ空間の任意の2つのベクトル,に対して不等式:|ab||a||b|が成立する。

(証明)|ab|2=(,)=(,)+(,)+(,)*+(,)=|a|2+2Re(,)+|b|2ですが,Schwartzの不等式よりRe(,)≦|(,)|≦|a||b|なので|b|2|a|2+2|a||b||b|2=(|a||b|)2が成立します。

 

(証明終わり)

[定義4-6]:ユニタリ空間の任意の2つのベクトル,に対して|ab|の間の距離(distance or metric)といい記号ρ(,)で表わす。ρ(,)≡|ab|である

[定理4-7](距離の性質):ユニタリ空間の任意のベクトル,,に対して次の性質が成り立つ。

1.ρ(,)=ρ(,),および,2.ρ(,)+(,)≧ρ(,)(三角不等式)

↑この定理はユニタリ内積,ノルムの性質を距離によって置き換えたに過ぎないので証明は省略します。

[定義4-8]:ユニタリ空間のベクトル,に対して(,)=0 が成立するとき,は直交する(orthogonal)という。

[定理4-9]:ベクトル 0 は∀と直交する。また,逆に∀と直交するのベクトルは 0 のみである。

(証明)定理の前半は明らかです。そして後半もほぼ自明です。

つまり,"∃:(,)=0 for ∀"と仮定すれば,(,)=0 にを代入すると(,)=0 となるため,ユニタリ内積の定義:[定義4-1]の(ⅴ)により0 を得ます。(証明終わり)

[定義4-10](直交系):ユニタリ空間のベクトルの集合:{1,2,..,m}において,異なる全てのj,k(j,k=1,2,..,m)に対し(j,k)=0 が成立するとき,このベクトル系:1,2,..,mをユニタリ空間の直交系という。

[定理4-11]:ユニタリ空間のゼロ(零:0)でないベクトルが作る任意の直交系の元は全て1次独立である。

(証明)1,2,..,mをユニタリ空間のゼロでないベクトルが作る直交系とし,1次関係式:α11+α22+..+αmm=0 (α12,..,αm)を仮定します。

j=1,2,..,mの各々のjについて,jと上式の両辺との内積を取れば,(j11+α22+..+αmm=0 (j=1,2,..,m)です。

そして,k≠jのkとの直交性:(j,k)=0を用いると,結局αj(j,j)=0 (j=1,2,..,m)となりますが,jがゼロでないという仮定から(j,j)≠0 です。

したがってj=0 (j=1,2,..,m)を得ます。(証明終わり)

[定義4-12](直交基):ユニタリ空間の次元がnのとき,n個のゼロでないベクトルのつくる直交系が存在すれば,これはの基底となる。この直交系をの直交基(orthogonal basis)と呼ぶ。

[定理4-13]:任意のユニタリ空間においてゼロでないベクトルのつくる任意の直交系は,これに適当なベクトルを補足して空間における直交基となるようにできる。

 この定理の証明のため,次の補題(Schmidtの直交化法)を示します。

[補題]:(Schmidtの直交化法)

 まず,10 なるベクトル1を適当に選びます。

このとき,(,1)≠0 を満たすが存在すればを用いてベクトル22-{(,1)/(1,1)}1で定義します。

すると,明らかに(2,1)=0 です。

しかし,もしも1に従属,つまり適当な複素数αに対して=α1と書けるなら2=α1-{(α1,1)/(1,1)}10となって2が零ベクトルになってしまいます。

 

そこで,としては1に独立:1に平行でないものを選びます。

こうすると,20 であり,かつ(2,1)=0 ですから,[定理4-11]によって12は1次独立です。

 次に,1,2に独立で(,1)≠0,(,2)≠0 を満たすが存在すれば,を用いてベクトル3を,3-{(,1)/(1,1)}1-{(,2)/(2,2)}2によって定義します。

 こう定義すると(3,1)=0,(3,2)=0 です。こうして3個のベクトルから成る直交系:1,2,3が得られました。

この方法(Schmidtの直交化法)を繰り返して,さらに4,5,..,mと定義してゆき,これ以上は1,2,..,mに独立でどれとも直交しないゼロでないのベクトルが存在し得ないなら,系:1,2,..,mの極大直交系と呼びます。

が有限次元ならこの方法による1次独立なベクトルの創生には限りがありますから,極大直交系が存在することは明らかです。

(定理4-13の証明)n次元ユニタリ空間において直交系1,2,..,mが与えられているとします。

 

 これにのゼロでないベクトルm+1,..,sを適当に補足して1,2,..,sの極大直交系となるようにします。

そして,∀に対してξk≡(,k)/(k,k)(k=1,2,..,s)とおいてベクトル≡ξ11+ξ22+..+ξssをつくります。

このとき,(,k)=ξk(k,k)=(,k),つまり(,k)=0 (k=1,2,..,s)が得られます。

 

故に,1,2,..,sが極大直交系であるという仮定により,0,すなわちです。

 したがって,∀=ξ11+ξ22+..+ξssk≡(,k)/(k,k)(k=1,2,..,s)と常に1,2,..,sの1次結合で表わされるので,1,2,..,sの基底であり,それ故s=nであっての直交基をなします。(証明終わり)

[定義4-14](正規直交系):ユニタリ空間の単位長さ(ノルムが1)のベクトルのみからなる直交系を正規直交系(orthonormal system)という。

 

 特にの基底(base)をなす正規直交系を正規直交基(orthonormal basis)と呼ぶ。

[定理4-15]:ユニタリ空間の任意の正規直交系は,これに適当なベクトルを補足して空間における正規直交基となるようにできる。

 これの証明は[定理4-13]で用いたSchmidtの直交化法:2-{(,1)/(1,1)}1,3-{(,1)/(1,1)}1-{(,2)/(2,2)}2..で,途中にノルムを1に正規化する手続きを挿入して変更するだけでいいので割愛します。

 

 すなわち,2'≡-{(,1)/(1,1)}1,22'/|a2'|,3'≡-{(,1)/(1,1)}1-{(,2)/(2,2)}2,33'/|a3'|,..とすれば証明できます。

 

[定理4-15の系]:有限次元ユニタリ空間には必ず正規直交基が存在する。(証明略)

[定義4-16](座標系):ユニタリ空間のベクトル系1,2,..,nの基底をなすとき,一定の順序を着けた系:(1,2,..,n)をの座標系(coordinate system)という。

に対して=α11+α22..+αnnを与える数の組(α12,..,αn)をの座標(coordinate)といい,αjの座標成分(component)という。

特に,1,2,..,nの正規直交基であるとき,座標系(1,2,..,n)をの正規直交座標系(orthonormal coordinetes)という。この場合,(i,j)=δijである。

[定理4-17]:(1,2,..,n)をユニタリ空間の正規直交座標系とするとの座標は(,1),(,2),..,(,n)に等しい。

(証明)=α11+α22+..+αnnとすると(i,j)=δijより(,j)=αj,(j=1,2,..,n)です。(証明終わり)

[定理4-18]:(1,2,..,n)をユニタリ空間の正規直交座標系とし,=Σj=1nαjj,=Σj=1nβjjと表わされるとき(,)=Σj=1nαjβj*である。

(↑自明)

[定理4-19](Besselの不等式):1,2,..,m(m≦n)をn次元ユニタリ空間の任意の正規直交系としに対してαk=(,k)(k=1,2,..,m)とおけば,Besselの不等式:|a|2=(,)≧Σj=1mαjαj*=|α1|2+|α2|2+..|αm|2が成立する。

(証明)≡α11+α22+..+αmmと置けば,0≦(,)=(,)-(,)-(,)+(,)です。

そして,(,)=(Σj=1mαjjk=1mαkk)=Σj=1mαjαj*,(,)=(j=1mαjj)=Σj=1mαj*(,j)=Σj=1mαjαj*,(,)=(Σj=1mαjj,)=Σj=1mαj(j,)=Σj=1mαjαj*です。

 

故に,0≦(,)=(,)-Σj=1mαjαj*を得ます。

したがって,|a|2=(,)≧Σj=1mαjαj*=|α1|2+|α2|2+..|αm|2です。(証明終わり)

[定理4-19の系](Parsevalの等式):1,2,..,nがユニタリ空間の正規直交基ならに対してαk=(,k)(k=1,2,..,n)とおけば, Parsevalの等式:|a|2=(,)=Σj=1nαjαj*=|α1|2+|α2|2+..|αn|2が成立する。(自明)

[定理4-20]:1,2,..,nをユニタリ空間の正規直交系とする。

任意のに対しαk(,k)(k=1,2,..,n)とするとき,|a|2=(,)=Σj=1nαjαj*=|α1|2+|α2|2+..|αn|2が成立するなら1,2,..,nの基底をなす。

(証明)≡α11+α22+..+αnnと置けば(,)=(,)-Σj=1nαjαj* ですから(,)=Σj=1nαjαj*なら(,)=0 です。

したがって,=0,つまり=α11+α22+..+αnnとが成立しますが,は任意なので1,2,..,nは空間の基底をなすことがわかります。(証明終わり)

今日はここまでにします。

参考文献:ア・イ・マリツェフ(柴岡康光訳)「線型代数学」(東京図書)

 

PS:無償のボランテイアなどといいながら,昨日は3/8の修了式を含めあと3回(3週)の手話講習会が終わって椎名町から池袋まで4人の女性と5人で帰り,最後に池袋駅で若い看護士さんとツーショットになったので飲みに誘いました。

 

 OKだったのですが,つい自分好みの飲み屋と嗜好が違ったのでまた次の機会と述べて別れてしまいました。次があるかどうかもわからないのにどこでも良かったですね。

  

 たまたま,女性に1軒おごるくらいの金はあったのですが,やはりフーテンの寅さんモドキですかね。。

|

« 線型代数のエッセンス(9)(1次変換(補遺)) | トップページ | 何気ない日常??(ブラックジョーク) »

306. 線型代数学」カテゴリの記事

コメント

 どもhirotaさん。ありがとうございます。TOSHIです。

>最初に(a,b)∈C
を書かなくては。

うーん,元ノートにも書いてませんでしたが,

 やはり,結合(combination)(a,b)がa,b∈LからCへの関数(写像)の1つであるということも書くべきでしたね。

 なおしておきます。 

            TOSHI

投稿: TOSHI | 2011年3月 1日 (火) 15時19分

最初に
(a,b)∈C
を書かなくては。

投稿: hirota | 2011年3月 1日 (火) 11時59分

この記事へのコメントは終了しました。

トラックバック


この記事へのトラックバック一覧です: 線型代数のエッセンス(10)(ユニタリ空間-1):

« 線型代数のエッセンス(9)(1次変換(補遺)) | トップページ | 何気ない日常??(ブラックジョーク) »