アフィン空間のソースを表示

{{参照方法|date=2018年6月}}
[[数学]]において、'''アフィン空間'''（あふぃんくうかん、{{lang-en|''affine space''}}, アファイン空間とも）または'''擬似空間'''（ぎじくうかん）とは、[[幾何ベクトル]]の存在の場であり、[[ユークリッド空間]]から絶対的な[[原点 (数学)|原点]]・[[座標]]と標準的な長さや角度などといった[[計量]]の概念を取り除いたアフィン構造を抽象化した幾何学的構造である。（代数的な）ベクトル空間からどの点が原点であるかを忘れたものと考えることもできる。

1次元のアフィン空間は'''アフィン直線'''、2次元のアフィン空間は'''{{ill2|アフィン平面|en|Affine plane}}'''と呼ばれる。

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

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

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

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

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

# 任意の P &isin; ''A'', '''a''' &isin; ''V'' に対し、<div style="margin:1ex auto 1ex 2em;"><math>\overrightarrow{\mathrm{PQ}} = \mathbf{a}</math></div> を満たす Q &isin; ''A'' はただ一つ存在する。これを Q = ''T''<sub>'''a'''</sub>(P) あるいは Q = P + '''a''' と記し、'''a''' が定める写像 ''T''<sub>'''a'''</sub> : ''A'' &rarr; ''A'' を '''a''' の定める[[平行移動]]という。
# 任意の '''a''', '''b''' &isin; ''V'' に対し、<div style="margin:1ex auto 1ex 2em;"><math>T_{\mathbf b} \circ T_{\mathbf a} = T_{\mathbf{a} + \mathbf{b}}</math></div>が成り立つ。すなわち、任意の点 P &isin; ''A'' に対し、(P + '''a''') + '''b''' = P + ('''a''' + '''b''') が成り立つ。
# ''A'' の任意の二点 P, Q の組 (P, Q) に対し、Q = P + '''a''' を満たす '''a''' &isin; ''V'' がただ一つ定まる。これを<div style="margin:1ex auto 1ex 2em;"><math>\mathbf{a} = \overrightarrow{\mathrm{PQ}}</math></div>と表す。これを（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''<sub>'''a'''</sub> は ''V'' から ''A'' への全単射を与えることなどがわかる。

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

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

座標系 (O; '''B''') を固定したとき、''A'' の点とその位置ベクトルとの対応
: <math>A=\mathrm{O}+V \leftrightarrow V;\ \mathrm{P} = \mathrm{O} {}+{} \mathbf{p} \leftrightarrow \overrightarrow{\mathrm{OP}} = \mathbf{p}</math>
あるいは位置ベクトルと座標との対応
: <math>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)</math>
により、''A'' は ''V'' および ''K''<sup>''n''</sup> と[[全単射|一対一に対応]]する。ゆえに、紛れのおそれの無い場合には、位置座標の空間 ''K''<sup>''n''</sup> を ''K'' 上の ''n''-次元アフィン空間と呼ぶこともある。

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

== 部分空間 ==
アフィン空間 ''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'' 上のベクトルによる平行移動で得られる点の全体として
: <math>S = \mathbf{p} + W</math>
と書くことができる。

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

''V'' = (''A'', O) のベクトルの集合 ''X'' = {'''v'''<sub>1</sub>, '''v'''<sub>2</sub>, ..., '''v'''<sub>''r''</sub>} が与えられたとき、これらのアフィン結合全体からなる集合
: <math>\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\}</math>
は ''V'' のアフィン部分空間であり、ベクトルの集合 ''X'' の[[アフィン包]] {{lang|en|(affine hull)}} という。''X'' が'''[[生成 (数学)|生成]]する'''あるいは'''張る'''アフィン部分空間ということもある。

== 平行条件 ==
{{main|平行}}
二つの部分空間 ''S''<sub>1</sub>, ''S''<sub>2</sub> が与えられて、''V''(''S''<sub>1</sub>) &sub; ''V''(''S''<sub>2</sub>) が成り立つならば、''S''<sub>1</sub> は ''S''<sub>2</sub> に[[平行]]であるといい、''S''<sub>1</sub> &#x2225; ''S''<sub>2</sub> のように表す。

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

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

== 捩れの位置 ==
{{main|ねじれの位置}}
部分空間 ''S''<sub>1</sub>, ''S''<sub>2</sub> の生成する部分空間を ''S''<sub>1</sub> &or; ''S''<sub>2</sub> で表すとき、
: dim<sub>''K''</sub>(''V''(''S''<sub>1</sub> &or; ''S''<sub>2</sub>)) = dim<sub>''K''</sub>(''V''(''S''<sub>1</sub>)) + dim<sub>''K''</sub>(''V''(''S''<sub>2</sub>)) + 1

が満たされるならば ''S''<sub>1</sub>, ''S''<sub>2</sub> は'''捩れの位置''' {{lang|en|(skew position)}} にあるという。

== アフィン変換 ==
{{main|アフィン写像|アフィン変換群}}

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

アフィン変換はアフィン空間における凸包の構造を保つ。''E''<sub>0</sub> の元の組 ''x''<sub>1</sub>, ... , ''x''<sub>''m''</sub> の任意の[[アフィン結合]]について、
: <math>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)</math>
を満たすものとしてアフィン写像を特徴づけることもできる。

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

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

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

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

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

キャメロンは高次元のアフィン空間の公理も与えている {{harv|Cameron|1991|loc=chapter 3}}。

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

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

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

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

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

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

== 出典 ==
{{reflist}}

== 参考文献 ==
* {{Citation | last1=Berger | first1=Marcel | author1-link=Marcel Berger | title=Geometry I | publisher=Springer | location=Berlin | isbn= 3-540-11658-3 | year=1987}}
*{{Citation | last1=Cameron | first1=Peter J. | title=Projective and polar spaces | url=http://www.maths.qmul.ac.uk/~pjc/pps/ | publisher=Queen Mary and Westfield College School of Mathematical Sciences | location=London | series=QMW Maths Notes | id={{MathSciNet | id = 1153019}} | year=1991 | volume=13}}
*{{Citation | last1=Coxeter | first1=Harold Scott MacDonald | author1-link=Harold Scott MacDonald Coxeter | title=Introduction to Geometry | publisher=[[John Wiley & Sons]] | location=New York | edition=2nd | isbn=978-0-471-50458-0 | id={{MR|123930}} | year=1969}}
*{{SpringerEOM|title=Affine space|last= Dolgachev|first=I.V.|last2=Shirokov|first2=A.P. |urlname=Affine_space}}
* [[Ernst Snapper]] and Robert J. Troyer, ''Metric Affine Geometry'', [[Dover Publications]]; Reprint edition (October 1989)
* {{cite book|和書|title=線型代数学|author=佐武一郎|publisher=裳華房|year=1958|isbn=4-7853-1301-3}}

== 関連項目 ==
* [[アフィン幾何学]]
* [[アフィン変換]]

{{DEFAULTSORT:あふいんくうかん}}
[[Category:アフィン幾何学]]
[[Category:多様体論]]
[[Category:初等幾何学]]
[[Category:空間 (数学)]]
[[Category:数学に関する記事]]