アフィン空間

数学において、**アフィン空間**（あふぃんくうかん、, アファイン空間とも）または**擬似空間**（ぎじくうかん）とは、幾何ベクトルの存在の場であり、ユークリッド空間から絶対的な原点・座標と標準的な長さや角度などといった計量の概念を取り除いたアフィン構造を抽象化した幾何学的構造である。（代数的な）ベクトル空間からどの点が原点であるかを忘れたものと考えることもできる。

1次元のアフィン空間は**アフィン直線**、2次元のアフィン空間は****と呼ばれる。

## 大まかな説明
アフィン空間では点の差としてベクトルを得たり、点にベクトルを加えて他の点を得たりすることはできるが、点同士をくわえることはできない。また特に、どの点が原点を与えるのかを認識することができない。

以下の特徴づけは形式的な定義よりは判りやすいだろう。アフィン空間はベクトル空間からどの点が原点であるかを忘れた後に残るもののことである（数学者の言によれば「アフィン空間とは原点を忘れてしまったベクトル空間のことである」）。太郎さんは本当の原点 O が何処なのか知っていて、権兵衛さんは別の P と呼ばれる点が原点だと思っているという状況を想像してみよう。ふたつのベクトル 
: \mathbf{a} = \overrightarrow{\mathrm{OA}},\, \mathbf{b} = \overrightarrow{\mathrm{OB}} 
を加えるというとき、権兵衛さんは自分の思う **a** + **b** を求めるために、P から A へ矢印を引き、P から B へ別の矢印を引いてできる平行四辺形の対角線を考えることになるわけだが、太郎さんはそれが実際には
: \mathrm{P} + \overrightarrow{\mathrm{PA}} + \overrightarrow{\mathrm{PB}}
であることを知っている。同様に、**a** と **b**（あるいはもっと多くの有限個のベクトルの集合）の任意の線型結合について評価を行ったとき、太郎さんと権兵衛さんは一般には異なる答えを導き出すことになるが、それでも

: その線型結合の係数の和が 1 であるような場合には、太郎さんと権兵衛さんの答えは一致する

ということについてはよく注意しなければならない。この話の「落ち」は、権兵衛さんは「アフィン構造」（つまり係数の和が 1 の線型結合として定義されるアフィン結合の値）しか知らないが、太郎さんは「線型構造」と「アフィン構造」の両方を知っているということにある。台集合にアフィン構造を考えたものがアフィン空間なのである。

## 形式的な定義
集合 *A* と体 *K* 上の *n*-次元ベクトル空間 *V* の組 (*A*, *V*) が *K* 上の *n*-次元**アフィン空間**であるとは、次の 3 条件が成り立つときにいう。

# 任意の P &isin; *A*, **a** &isin; *V* に対し、\overrightarrow{\mathrm{PQ}} = \mathbf{a} を満たす Q &isin; *A* はただ一つ存在する。これを Q = *T***a**(P) あるいは Q = P + **a** と記し、**a** が定める写像 *T***a** : *A* &rarr; *A* を **a** の定める平行移動という。
# 任意の **a**, **b** &isin; *V* に対し、T_{\mathbf b} \circ T_{\mathbf a} = T_{\mathbf{a} + \mathbf{b}}が成り立つ。すなわち、任意の点 P &isin; *A* に対し、(P + **a**) + **b** = P + (**a** + **b**) が成り立つ。
# *A* の任意の二点 P, Q の組 (P, Q) に対し、Q = P + **a** を満たす **a** &isin; *V* がただ一つ定まる。これを\mathbf{a} = \overrightarrow{\mathrm{PQ}}と表す。これを（Q = P + **a** が成り立つことを示唆して）**a** = Q &minus; P と表すこともある。

このとき、*A* をアフィン空間 (*A*, *V*) の**台**集合とよび、*V* を**付随**するベクトル空間、**随伴**ベクトル空間、**同伴**なベクトル空間などとよび、*V* = *V*(*A*) あるいは *V* = Vect(*A*) などと表す。また、*V* の元を *A* のあるいは *A* 上の幾何ベクトルとも呼ぶ。

紛れのおそれが無いならば、アフィン空間 (*A*, *V*) を単に台集合 *A* のみで表し、アフィン空間 *A* などと呼ぶことがある。

定義から、平行移動作用 *T*: *A* &times; *V* &rarr; *A*; (P, **a**) &rarr; P + **a** により、*V* は *A* に推移的に作用すること、各 **a** に対し作用素 *T***a** は *V* から *A* への全単射を与えることなどがわかる。

## 座標系

体 *K* 上の *n* 次元アフィン空間 *A* に対し、*A* の一点 O と *V* = *V*(*A*) の一つの順序付けられた基底 **B** = (**a**1, **a**2, ..., **a***n*) を固定して特別視するとき、組 (O; **B**) を O を**原点**とするアフィン空間 *A* の**座標系**あるいは**斜交座標系** という。

このとき、任意の点 P &isin; *A* に対し、
:\mathbf{p} = \overrightarrow{\mathrm{OP}}
を満たすベクトル **p** &isin; *V* がただ一つ定まる。この **p** を P の**[[位置ベクトル]]**といい、**p** の基底 **B** に関する成分表示を P の座標系 (O; **B**) に関する**座標**という。すなわち、*P* の位置ベクトルが **p** = *p*1**a**1 + *p*2**a**2 + &hellip; *p**n***a***n* と表されるならば、P の座標は (*p*1, *p*2, ..., *p**n*) &isin; *K**n* である。

座標系 (O; **B**) を固定したとき、*A* の点とその位置ベクトルとの対応
: A=\mathrm{O}+V \leftrightarrow V;\ \mathrm{P} = \mathrm{O} {}+{} \mathbf{p} \leftrightarrow \overrightarrow{\mathrm{OP}} = \mathbf{p}
あるいは位置ベクトルと座標との対応
: V \leftrightarrow K^n;\ \overrightarrow{\mathrm{OP}} = p_1\mathbf{a}_1 + p_2\mathbf{a}_2 + \cdots + p_n\mathbf{a}_n \leftrightarrow (p_1,p_2,\ldots,p_n)
により、*A* は *V* および *K**n* と一対一に対応する。ゆえに、紛れのおそれの無い場合には、位置座標の空間 *K**n* を *K* 上の *n*-次元アフィン空間と呼ぶこともある。

またしばしば台集合と原点の対 (*A*, O) を *V* と同一視して扱う。たとえば、*A* の点 O, P, Q およびスカラー *t* に対して 
: \mathrm{O} + t\overrightarrow{\mathrm{OP}} + (1-t)\overrightarrow{\mathrm{OQ}}
は点 O の取り方によらないからこれを
: t\mathrm{P} + (1-t)\mathrm{Q} = \mathrm{O} + t\overrightarrow{\mathrm{OP}} + (1-t)\overrightarrow{\mathrm{OQ}}
のように表すことがある。任意の線型結合を考える代わりに点に関するこのようなアフィン結合だけを考えることにも意味がある。

## 部分空間
アフィン空間 *A* の部分集合 *S* に対し、付随するベクトル空間 *V*(*S*) がアフィン結合に関して閉じているとき、*S* を *A* の**部分アフィン空間**あるいは**アフィン部分空間**または単に部分空間であるという。もう少しはっきり述べれば、アフィン空間 (*A*, *V*) に対し、*A* の部分集合 *S*, *V* の *k*-次元部分線型空間 *W* の組 (*S*, *W*) がふたたびアフィン空間となるとき、(*S*, *W*) をアフィン空間 (*A*, *V*) の *r*-次元部分アフィン空間という。またこのとき、*W* = *V*(*S*) あるいは *W* = Vect(*S*) などとあらわし、*W* の元を *S* 上のベクトルとよぶ。

部分アフィン空間 *S* は、任意の一点 **p** を固定することにより、点 **p** の *S* 上のベクトルによる平行移動で得られる点の全体として
: S = \mathbf{p} + W
と書くことができる。

1-次元の部分アフィン空間を直線（アフィン直線）、2-次元の部分アフィン空間を平面（アフィン平面）などとよぶ。また、余次元 1 すなわち (*n* &minus; 1)-次元の部分空間を超平面とよび、これらを総称して**線型多様体**という。

*V* = (*A*, O) のベクトルの集合 *X* = {**v**1, **v**2, ..., **v***r*} が与えられたとき、これらのアフィン結合全体からなる集合
: \text{span}^{\text{aff}}_K (X) := \left\{
 c_1 \mathbf{v}_1 + c_2 \mathbf{v}_2 +\cdots + c_r \mathbf{v} \mid c_1+c_2+\cdots +c_r = 1,\, c_i \in K
\right\}
は *V* のアフィン部分空間であり、ベクトルの集合 *X* のアフィン包  という。*X* が**[[生成 (数学)|生成]]する**あるいは**張る**アフィン部分空間ということもある。

## 平行条件

二つの部分空間 *S*1, *S*2 が与えられて、*V*(*S*1) &sub; *V*(*S*2) が成り立つならば、*S*1 は *S*2 に平行であるといい、*S*1 &#x2225; *S*2 のように表す。

定義から *S*1 &#x2225; *S*2 ならば dim*K*(*V*(*S*1)) &le; dim*K*(*V*(*S*2)) であって、部分空間が平行であるという関係は推移律 *S*1 &#x2225; *S*2 かつ *S*2 &#x2225; *S*3 ならば *S*1 &#x2225; *S*3 を満たす。

一方で、対称律 *S*1 &#x2225; *S*2 ならば *S*2 &#x2225; *S*1 は一般には*成立しない*。例えば空間内の点から、ある平面に対して平行になるように直線を引くことは出来るが、ある直線に対して平行になるように平面を描くことはできない（仮に、描いた平面に対して元の直線が平行であるような状況を想定しても、そのような平面は無数に存在し一つに定まることはない）。

## 捩れの位置

部分空間 *S*1, *S*2 の生成する部分空間を *S*1 &or; *S*2 で表すとき、
: dim*K*(*V*(*S*1 &or; *S*2)) = dim*K*(*V*(*S*1)) + dim*K*(*V*(*S*2)) + 1

が満たされるならば *S*1, *S*2 は**捩れの位置**  にあるという。

## アフィン変換

アフィン空間の対称性をたもつような写像は**アフィン変換**または**アフィン写像**と呼ばれる。アフィン空間 *A* に対し、*A* 上のベクトルの空間 *V* = *V*(*A*) は平行移動によって推移的に作用する。また点 O を一つ選んで固定するとき、*V* 上の線型変換 *T* は（*V* = (*A*, O) と同一視することにより）原点 O を動かさない変換として *A* に作用すると考えることができる。このとき、*T* は原点を中心とする回転、拡縮、剪断などとして得られるが、これと平行移動（およびその引き戻し）を用いることにより任意の点を中心とする変換にすることができる。すなわち体*K*上のベクトル空間 *V*0, *V*1 をそれぞれ並進対称性の群（平行移動群）とするアフィン空間 *E*0, *E*1のあいだのアフィン変換とは、写像 *T*: *E*0 &rarr; *E*1 であって、*E*0 の任意の二点 *x*, *y* に関して、*x* &minus; *y* に *Tx* &minus; *Ty* を対応させる関係が *V*0 から *V*1 への線型写像になっているようなものである。

アフィン変換はアフィン空間における凸包の構造を保つ。*E*0 の元の組 *x*1, ... , *x**m* の任意のアフィン結合について、
: a_1 Tx_1 + \cdots + a_m Tx_m = T(a_1 x_1 + \cdots + a_m x_m) \quad(1 = a_1 + \cdots + a_m)
を満たすものとしてアフィン写像を特徴づけることもできる。

実際には、任意のアフィン写像は変換前の原点を変換後の原点に移す平行移動と、各点と原点とのあいだの差のベクトルに関する線形変換との合成によってあたえられる。

アフィン空間内の二つの図形が、可逆なアフィン変換によって互いに移り合うとき、その二つの図形は互いにアフィン合同であるという。ユークリッド空間においてアフィン合同かつ角度を保つということと相似であるということとは同値であり、アフィン合同かつ角度も線分の長さも変えないということは合同であるということである。

## その他の公理による定式化
アフィン空間は座標やそれに等価なベクトル空間を用いて解析幾何学に属するものとして扱うのが通例であり、以下のような公理によって与えられる総合幾何学として扱うこともできるがあまり一般的ではない。アフィン空間の公理にはいくつか異なるものが存在する。

コクセターによる実数体上のアフィン幾何学の公理化  はデザルグの定理のアフィン版を備えた順序幾何学としてアフィン幾何学を捉える。公理は「平面において与えられた点を通り、与えられた直線と交わらないような直線が少なくとも一つ存在する」ことからはじまる。

アフィン平面はキャメロンの公理 
* 任意の二点は唯一つの直線上にある。
* 与えられた一つの点と直線に対し、その点を通りその直線に平行な直線は唯一つ存在する（ここで「平行」というのは一致するか交わらないかのいずれかであることを意味する）。
* 同一直線上にない三点は存在する。
に従う。体あるいは斜体上のアフィン平面と同じくおおくの非デザルグ平面もこの公理を満足する。アフィン平面は任意の射影平面から一つの直線とその直線上にある点すべてを取り除くことによって得ることができ、逆に任意のアフィン平面に「無限遠直線」を加えることで射影平面を構成することができる（無限遠直線上の「無限遠点」は平行線の同値類に対応する）。

キャメロンは高次元のアフィン空間の公理も与えている 。

## 特殊なアフィン空間
### ユークリッド空間

台集合 *A* を実数全体の集合 **R** の *n* 個の単なる直積集合としての **R***n* とし、ベクトル空間 *V* をデカルト座標をあたえる標準内積に関する計量ベクトル空間としての **R***n* としたとき、アフィン空間 (**R***n*, **R***n*) を *n*-次元ユークリッド空間という。このとき、定義節に掲げたアフィン空間の構造を定める三条件をユークリッド空間の**ワイルの公理**と呼ぶ。

ユークリッドの幾何学で記述される図形の性質というものは、その図形の絶対的な位置には関わりのないものである。したがってこのような図形の属するユークリッド空間は、アフィン空間に長さや角度という計量を加えたものになっている。また、このような計量は、内積によってもたらされる構造である。

### ベクトル空間
任意のベクトル空間はそれ自身の上のアフィン空間である。またその任意の部分空間による商空間もアフィン空間となる。特に、一次元部分空間全体の成す空間である射影空間はアフィン空間の構造を持つ。

斉次線型方程式系の解の全体はベクトル空間を成すが、一般に非斉次の場合は斉次方程式の解空間を特殊解の分だけ平行移動したものとなり、したがってこの解空間はアフィン空間を成す。

## 射影空間との関係

任意のアフィン空間は、ある射影空間の部分アフィン空間である。たとえば、アフィン平面は任意の射影平面から一つの直線（とその直線上のすべての点）を取り除くことで得られ、逆にアフィン平面に「無限遠直線」（無限遠直線上の点は直線の（平行移動による）同値類に対応する）を加えた閉包として射影平面を構築することができる。さらに、射影空間における（無限遠点の全体を集合として保つ）射影変換はアフィン空間におけるアフィン変換を引き起こし、逆に任意のアフィン変換は射影変換に一意的に拡張することができる。つまり、アフィン変換の全体は射影変換全体の成す集合の部分集合となっている。このような変換でよく知られたものとして、（射影直線あるいはリーマン球面上の射影変換である）メビウス変換が（複素平面上の変換として）アフィン変換を引き起こすのは、それが無限遠点を動かさないときであり、かつそのときに限る。

しかし、射影空間は「与えられた特定の点を通る」直線の全体として定義されるものであり（ベクトル空間には原点が内在構造として存在するが）アフィン空間にはそのような特別の点は存在しないため、（ベクトル空間の射影化は行えても）アフィン空間の射影化を考えることはできない。したがって射影空間を（ベクトル空間の商ベクトル空間として考えたように）自然にアフィン空間の商アフィン空間として定義することはできない。アフィン空間の点の中からひとつ基点を選び、それを原点とすればアフィン空間はベクトル空間となるから、このベクトル空間に対する射影化を行うことはできるが、この選択はアフィン空間のどの点をとっても構わないため、（圏論的な意味で）自然ではない。

## 脚注

### 注釈

### 出典

## 参考文献
* 
*
*
*
* Ernst Snapper and Robert J. Troyer, *Metric Affine Geometry*, Dover Publications; Reprint edition (October 1989)
* 

## 関連項目
* アフィン幾何学
* アフィン変換