アフィン部分空間

提供: testwiki
ナビゲーションに移動 検索に移動

テンプレート:About

三次元空間内の平面 (青) はひとつのアフィン部分空間で、原点を通る平面をベクトル (赤) の分だけ平行移動させることで得られる。

線型代数学におけるベクトル空間のアフィン部分空間（アフィンぶぶんくうかん、テンプレート:Lang-en-short）は線型部分空間を平行移動することによって得られる部分集合を言う。アフィン部分空間は解析幾何学の意味でそれ自身一つのアフィン空間を成す。

定義

ベクトル空間 テンプレート:Mvar の部分集合 テンプレート:Mvar がアフィン部分空間であるとは、それが テンプレート:Mvar のベクトル テンプレート:Mvar と テンプレート:Mvar の線型部分空間 テンプレート:Mvar が存在して A=v+UA={v+u∣u∈UA} が成り立つときに言う。このとき テンプレート:Mvar を テンプレート:Mvar の位置ベクトル、テンプレート:Mvar を テンプレート:Mvar に付随する線型部分空間と呼ぶ。テンプレート:Mvar に対してテンプレート:Mvar は一意に定まるが、テンプレート:Math を満たす テンプレート:Math はいずれも テンプレート:Mvar の位置ベクトルである。テンプレート:Mvar の次元は テンプレート:Mvar の次元を言う。

一次元アフィン部分空間は直線、二次元アフィン部分空間は平面と呼ばれる。また テンプレート:Mvar が テンプレート:Mvar-次元のとき、次元が テンプレート:Math のアフィン部分空間はアフィン超平面と呼ぶ。解析幾何学において空集合もアフィン部分空間の一種とする場合もあり、その場合アフィン部分空間としての次元は テンプレート:Math で付随する線型部分空間を持たない。

簡単な例

三次元ベクトル空間 テンプレート:Math の部分空間 テンプレート:Mvar を g:x→=λ(0,0,1)(λ∈ℝ) で与えられるテンプレート:仮リンクとする。ベクトル テンプレート:Math を具体的に v→=(1,0,0) ととれば、アフィン部分空間 テンプレート:Math は原点から（テンプレート:Mvar-軸方向に単位長さ）テンプレート:Math だけずれた、方程式 h:x→=(1,0,0)+μ(0,0,1)(μ∈ℝ) で与えられる直線である。

この原点を通らない直線はアフィン部分空間だが（零ベクトルを含まないから）線型部分空間ではない。

アフィン部分空間の次元公式

以下 テンプレート:Mvar を体 テンプレート:Mvar 上の有限次元ベクトル空間で、テンプレート:Mvar はそのアフィン部分空間とする。

テンプレート:Mvar と テンプレート:Mvar が交わる場合、またはいずれか一方が空のとき、次元公式は dim⁡(A∨B)+dim⁡(A∩B)=dim⁡(A)+dim⁡(B) で与えられる。また、テンプレート:Mvar と テンプレート:Mvar がいずれも空でなく交わりも持たないとき、次元公式は dim⁡(A)+dim⁡(B)=dim⁡(A∨B)+dim⁡(UA∩UB)−1 となる。ここで テンプレート:Mvar はそれぞれ テンプレート:Mvar に付随する線型部分空間とする。またいずれの式においても テンプレート:Math は テンプレート:Mvar と テンプレート:Mvar のアフィン和空間である。

性質

アフィン部分空間の定義において テンプレート:Math となる場合も含まれうるから、任意の線型部分空間はまた一つのアフィン部分空間ともなる。アフィン部分空間が線型部分空間となるための必要十分条件は、それが零ベクトルを含むことである。

体 テンプレート:Mvar 上の テンプレート:Mvar 変数非斉次線型方程式系の解空間は、それが空でなければ テンプレート:Mvar のアフィン部分空間を成す。任意のアフィン部分空間が適当な線型方程式系からこの方法によって得られる。あるいは定義から直接に、位置ベクトルと付随する線型部分空間の基底からなるベクトルの集合のアフィン包としてアフィン空間を得ることもできる。

参考文献

「https://ja.wiki.beta.math.wmflabs.org/w/index.php?title=アフィン部分空間&oldid=11057」から取得