n次元数ベクトル空間の部分ベクトル空間の基底:トピック一覧 〜 数学についてのwebノート |
・部分ベクトル空間の基底の定義、部分ベクトル空間における基底と線型独立なベクトルの最大個数の関係、 ・部分ベクトル空間の次元 |
※ 関連ページ・Rnの部分ベクトル空間:定義/具体例/部分空間における線型独立と線型従属/部分空間の集合算/〜に張られた部分ベクトル空間/和・直和分解・補空間/部分空間の次元 ・実n次元数ベクトル空間:実n次元数ベクトル空間の定義、線形結合、一次独立・一次従属、次元 ※上位概念:一般のベクトル空間における基底、体上の数ベクトル空間における基底 ※下位概念:実n次元数ベクトル空間の基底 →線形代数目次・総目次 |
定義:実 n次元数ベクトル空間の部分ベクトル空間における基底 basis |
||
設定 |
R :実数体(実数をすべて集めた集合)Rn:実n次元数ベクトル空間 +:実n次元数ベクトル空間Rnにおいて定義されているベクトルの加法 スカラーに続けてベクトルを並べて書いたもの:実n次元数ベクトル空間Rnにおいて定義されているスカラー乗法 a1, a2, …, al :スカラー。a1, a2, …, al ∈R W: Rnの部分ベクトル空間。 すなわち、Wは以下を満たす。 1. W⊂Rn かつ W≠φ 2. 実n次元数ベクトル空間Rnにおいて定義されているベクトルの加法「+」に関して、 Wに属す限りで任意の実n次元数ベクトルu,v に対して、u+v もWに属す。 3. 実n次元数ベクトル空間Rnにおいて定義されているスカラー乗法に関して、 Wに属す限りで任意の実n次元数ベクトルvに対して、その任意のスカラー倍au、もWに属す。 u1, u2, …, ul:Rnの部分ベクトル空間Wに属すl個の実n次元数ベクトル。 具体的に書くと、 u1=( u11, u12, …, u1n )∈W⊂Rn (u11, u12, …, u1n∈R) u2=( u21, u22, …, u2n )∈W⊂Rn (u21, u22, …, u2n∈R) : : ul=( ul1, ul2, …, uln )∈W⊂Rn (ul1, ul2, …, uln∈R) なお、個数lが有限個であること、個数lが、Rnのnと等しくなくてもよいことに注意。 v:Rnの部分ベクトル空間Wに属す実n次元数ベクトル。 具体的に書くと、v1, v2, …, vn∈Rとして、v=( v1, v2, …, vn ) したがって、v∈Rn 。 |
|
定義 |
「『 Rnの部分ベクトル空間』Wに属す実n次元数ベクトルの有限集合{ u1, u2, …, ul }が、 『Rnの部分ベクトル空間』Wの基底basisである」 とは、 { u1, u2, …, ul }が、次の2条件を満たすことを言う。 条件P1:u1, u2, …, ulが線形独立となること。 条件P2:u1, u2, …, ulの一次結合として、 『Rnの部分ベクトル空間』Wに属す任意の実n次元数ベクトルを 表せること。 ( ∀v∈W⊂Rn) ( ∃a1, a2, …, al ∈R) ( v =a1u1+a2u2+…+alul ) なお、この2条件は、次の条件と同値。 条件Q:u1, u2, …, ulの一次結合として 『Rnの部分ベクトル空間』Wに属す任意の実n次元数ベクトルを 一意的に表せる。 |
[ 文献]柳井竹内 『射影行列・一般逆行列・特異値分解』定理1.2(p.7); 佐武 『線形代数学』V§2(pp.94-95); 佐和 『回帰分析』2.1.2(p.18); |
※ |
『 Rnの部分ベクトル空間』Wの基底(の定義を満たすWの部分集合)は、複数セット存在しうる。 |
|
※ |
上位概念: 一般のベクトル空間の有限集集合が基底であるということ / 体上の数ベクトル空間の有限集合が基底であるということ。下位概念:Rnの基底 |
→ [トピック一覧:部分空間の基底]→線形代数目次・総目次 |
n次元数ベクトル空間の部分ベクトル空間における基底と線型独立なベクトルの最大個数 | ||
設定 |
R :実数体(実数をすべて集めた集合)Rn:実n次元数ベクトル空間 +:実n次元数ベクトル空間Rnにおいて定義されているベクトルの加法 スカラーに続けてベクトルを並べて書いたもの:実n次元数ベクトル空間Rnにおいて定義されているスカラー乗法 a1, a2, …, al :スカラー。a1, a2, …, al ∈R W: Rnの部分ベクトル空間。 すなわち、Wは以下を満たす。 1. W⊂Rn かつ W≠φ 2. 実n次元数ベクトル空間Rnにおいて定義されているベクトルの加法「+」に関して、 Wに属す限りで任意の実n次元数ベクトルu,v に対して、u+v もWに属す。 3. 実n次元数ベクトル空間Rnにおいて定義されているスカラー乗法に関して、 Wに属す限りで任意の実n次元数ベクトルvに対して、その任意のスカラー倍au、もWに属す。 u1, u2, …, ul:Rnの部分ベクトル空間Wに属すl個の実n次元数ベクトル。 具体的に書くと、 u1=( u11, u12, …, u1n )∈W⊂Rn (u11, u12, …, u1n∈R) u2=( u21, u22, …, u2n )∈W⊂Rn (u21, u22, …, u2n∈R) : : ul=( ul1, ul2, …, uln )∈W⊂Rn (ul1, ul2, …, uln∈R) なお、個数lが有限個であること、個数lが、Rnのnと等しくなくてもよいことに注意。 v:Rnの部分ベクトル空間Wに属す実n次元数ベクトル。 具体的に書くと、v1, v2, …, vn∈Rとして、v=( v1, v2, …, vn ) したがって、v∈Rn 。 |
|
性質 |
1. { u1, u2, …, ul }が、 『Rnの部分ベクトル空間』Wの基底をなす ならば、 l個が「『Rnの部分ベクトル空間』Wにおける線形独立なベクトルの最大個数」。 2. 「『Rnの部分ベクトル空間』Wにおける線形独立なベクトルの最大個数」がl個ならば、 Wに属す任意の「l個の線形独立な実n次元数ベクトル」は、 『Rnの部分ベクトル空間』Wの基底をなす。 3. 「『Rnの部分ベクトル空間』Wにおける線形独立なベクトルの最大個数」がl個ならば、 l個に満たない「Wに属す線形独立な実n次元数ベクトル」は、 『Rnの部分ベクトル空間』Wの基底になりえない。 |
[ 文献]佐武 『線形代数学』V§2(pp.94-95); 柳井竹内 『射影行列・一般逆行列・特異値分解』定理1.2(p.7); 佐和 『回帰分析』2.1.2(p.18); |
1 の証明 |
(step 0){ u1, u2, …, ul }が部分ベクトル空間Wの基底をなすならば、 部分空間の基底の定義(条件P1)から、 u1, u2, …, ulは一次独立。 (step1) { u1, u2, …, ul }が部分ベクトル空間Wの基底をなすならば、 部分空間の基底の定義(条件P2)から、 「Wに属す実n次元数ベクトル」はどれも、 「{ u1, u2, …, ul }の一次結合」として表してよい。 (step2) 一次結合の個数・一次結合を構成するベクトルの個数と一次独立・一次従属から、 「{ u1, u2, …, ul }の一次結合」をl個よりも多く集めた集合は、 一次従属となり、一次独立にはなりえない。 (step3) ・{ u1, u2, …, ul }が部分ベクトル空間Wの基底をなすならば、 「Wに属す実n次元数ベクトル」をl個よりも多く集めた集合は、 (step1)より、「{ u1, u2, …, ul }の一次結合」をl個よりも多く集めた集合として表せ、 したがって、(step2)より、これは、一次従属となり、一次独立にはなりえない。 ・要するに、{ u1, u2, …, ul }がWの基底ならば、 「Wに属す実n次元数ベクトル」をl個よりも多く集めた集合はどれも、一次従属。 (step4) ・(step0)から、{ u1, u2, …, ul }という例から、 { u1, u2, …, ul }がWの基底ならば、 「Wに属す実n次元数ベクトル」をl個集めた集合は、一次独立になり得ることがわかる。 ・(step3)から、 { u1, u2, …, ul }がWの基底ならば、 「Wに属す実n次元数ベクトル」をl個よりも多く集めた集合は、一次従属となり、 一次独立にはなりえない。 ・以上2点より、 { u1, u2, …, ul }がWの基底ならば、 Wにおける線形独立なベクトルの最大個数はl個であるといえる。 ※「部分ベクトル空間Wにおいて一次独立・一次従属」と「実n次元数ベクトル空間Rnにおいて一次独立・一次従属」との関係は?→詳細 |
[ 文献]佐武 『線形代数学』V§2(pp.94-95); |
2 の証明 |
「 部分ベクトル空間Wにおける線形独立なベクトルの最大個数」がl個ならば、Wに属す任意の「l個の線形独立な実n次元数ベクトル」{ u1, u2, …, ul }にたいして、 Wに属す任意の実n次元数ベクトルv を付け加えてつくった ( l+1 ) 個の実n次元数ベクトル { u1 , u2 , … , ul , v } は、線型従属であり、 ∵部分ベクトル空間における線形独立なベクトルの最大個数の定義 a1u1+a2u2+…+alul +al+1v=0 を満たすl個の実数a1, a2, …, al , al+1の組合せには、 a1=a2=…=al=al+1=0に加えて、a1=a2=…=al=al+1=0以外の組合せもある。 ところが、{ u1, u2, …, ul }は線形独立として与えられており、 a1u1+a2u2+…+alul=0 を満たすl個の実数a1, a2, …, al の組合せは、 a1=a2=…=al=0だけであって、a1=a2=…=al=0以外の組合せは存在しない。 この与件のもとで、 a1u1+a2u2+…+alul +al+1v=0 を満たすa1=a2=…=al=al+1=0以外の組合せを考えると、 al+1=0だと与件を裏切るので、al+1≠0でなければならない。 したがって、 「部分ベクトル空間Wにおける線形独立なベクトルの最大個数」がl個ならば、 Wに属す任意の「l個の線形独立な実n次元数ベクトル」{ u1, u2, …, ul }に Wに属す任意の実n次元数ベクトルv を付け加えてつくった ( l+1 ) 個の実n次元数ベクトル { u1 , u2 , … , ul , v } にたいして、 a1=a2=…=al=0を満たさず、al+1≠0を満たす,l個の実数a1, a2, …, al , al+1の組合せが存在し、 v= (−a1/al+1 ) u1+ ( a2/al+1 ) u2+…+ (al /al+1 ) ul と表すことができる。 u1, u2, …, ulが線形独立であって、u1, u2, …, ulの一次結合としてWに属す任意の実n次元数ベクトルv を表せることが、u1, u2, …, ulがWの基底をなすことの定義であったから、 以上から、 「部分ベクトル空間Wにおける線形独立なベクトルの最大個数」がl個ならば、 Wに属す任意の「l個の線形独立な実n次元数ベクトル」{ u1, u2, …, ul }は、Wの基底をなす と結論できる。 |
|
3 の証明 |
(step 0)仮定1:「部分ベクトル空間Wにおける線形独立なベクトルの最大個数」がl個 仮定2:m<l 仮定3:{ u1, u2, …, um }は、Wに属す任意の「m個の線形独立な実n次元数ベクトル」 (step1) 仮定1・2・3より、「{ u1, u2, …, um ,um+1 }を線形独立にする」あるum+1 がWのなかに存在する。 (step2) 「{ u1, u2, …, um ,um+1 }を線形独立にする」とは、 「{ u1, u2, …, um ,um+1 }のどの一つも、残りのm個の実n次元数ベクトルの一次結合として表せないようにする」 と言い換え可能。 (∵) したがって、step1は、次のようになる。 仮定1・2・3より、 「{ u1, u2, …, um ,um+1 }のどの一つも、残りのm個の実n次元数ベクトルの一次結合として表せないようにする」 あるum+1 がWのなかに存在する。 (step3) 「{ u1, u2, …, um ,um+1 }のどの一つも、残りのm個の実n次元数ベクトルの一次結合として表せない」 ならば、 「um+1 を、{ u1, u2, …, um }の一次結合として表せない」 この点と、step2から、 仮定1・2・3のもとでは、 「um+1 を、{ u1, u2, …, um }の一次結合として表せないようにする」あるum+1 がWのなかに存在する ことになる (step4) 「『um+1 を、{ u1, u2, …, um }の一次結合として表せないようにする』あるum+1 がWのなかに存在する」ならば、 { u1, u2, …, um }は、Wの基底になるための要件P2を満たさない。 したがって、この点とstep3から、 仮定1・2・3のもとでは、 「um+1 を、{ u1, u2, …, um }の一次結合として表せないようにする」あるum+1 がWのなかに存在するゆえに、 { u1, u2, …, um }は、Wの基底にならない。 |
|
→ [トピック一覧:部分空間の基底]→線形代数目次・総目次 |
n次元数ベクトル空間の部分ベクトル空間の次元 | ||
設定 |
R :実数体(実数をすべて集めた集合)Rn:実n次元数ベクトル空間 +:実n次元数ベクトル空間Rnにおいて定義されているベクトルの加法 スカラーに続けてベクトルを並べて書いたもの:実n次元数ベクトル空間Rnにおいて定義されているスカラー乗法 a1, a2, …, al :スカラー。a1, a2, …, al ∈R W: Rnの部分ベクトル空間。 すなわち、Wは以下を満たす。 1. W⊂Rn かつ W≠φ 2. 実n次元数ベクトル空間Rnにおいて定義されているベクトルの加法「+」に関して、 Wに属す限りで任意の実n次元数ベクトルu,v に対して、u+v もWに属す。 3. 実n次元数ベクトル空間Rnにおいて定義されているスカラー乗法に関して、 Wに属す限りで任意の実n次元数ベクトルvに対して、その任意のスカラー倍au、もWに属す。 |
|
性質 |
1. いつでも、 『Rnの部分ベクトル空間』Wにおける線形独立なベクトルの最大個数 に等しく(∵)、 したがって、『Rnの部分ベクトル空間』Wについて一定である。 2. このことから、 『Rnの部分ベクトル空間』Wの次元 dim Wは、 Wにおける線形独立なベクトルの最大個数に等しい。 。 |
[ 文献]佐武 『線形代数学』V§2(pp.94-95); 柳井竹内 『射影行列・一般逆行列・特異値分解』定理1.2(p.7); |
※ |
この事実から、佐武『 線形代数学』;柳井竹内『射影行列・一般逆行列・特異値分解』などは、Wにおける線形独立なベクトルの最大個数を、Wの次元の定義としている。 |
→ [トピック一覧:部分空間の基底]→線形代数目次・総目次 |
基底の存在
(reference)
→ [トピック一覧:部分空間の基底]→線形代数目次・総目次 |