アフィン部分空間

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

定義 
ベクトル空間  の部分集合  がアフィン部分空間であるとは、それが  のベクトル  と  の線型部分空間  が存在して  が成り立つときに言う。このとき  を  の位置ベクトル、 を  に付随する線型部分空間と呼ぶ。 に対して は一意に定まるが、 を満たす  はいずれも  の位置ベクトルである。 の次元は  の次元を言う。

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

簡単な例 
三次元ベクトル空間  の部分空間  を  で与えられるとする。ベクトル  を具体的に  ととれば、アフィン部分空間  は原点から（-軸方向に単位長さ） だけずれた、方程式  で与えられる直線である。

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

アフィン部分空間の次元公式 
以下  を体  上の有限次元ベクトル空間で、 はそのアフィン部分空間とする。

 と  が交わる場合、またはいずれか一方が空のとき、次元公式は  で与えられる。また、 と  がいずれも空でなく交わりも持たないとき、次元公式は  となる。ここで  はそれぞれ  に付随する線型部分空間とする。またいずれの式においても  は  と  のアフィン和空間である。

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

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

参考文献 
 : Lineare Algebra. ISBN 3-528-03217-0, S. 166ff ().
 : Lineare Algebra. ISBN 978-3-540-76437-3, S. 65ff

アフィン幾何学
線型代数学
数学に関する記事