複比

**複比**（ふくひ、英: double ratio）は、幾何学における概念の1つで、**交差比**（こうさひ、英: cross-ratio）および**非調和比**（ひちょうわひ、英: anharmonic ratio）とも呼ばれ、4つの共線上の点、特に射影直線上の点の集合に関連付けられた数値である。直線上の4つの点 A, B, C, D が与えられると、それらの複比は次のように定義される。

: (A,B;C,D) = \frac {AC\cdot BD}{BC\cdot AD}

ここで、各距離の符号は線の向きによって決まり、距離はユークリッド空間に射影されて測定される。（4つの点の1つが直線の無限遠点である場合、その点を含む2つの距離は式から削除される。）複比が正確に-1の場合、点DはAとBに対するCの調和共役であり、調和比と呼ばれる。したがって、複比は、4つ組の調和比からの偏差を測定するものとみなせる。そのため*非調和比*とも呼ばれる。

複比は線形分数変換の下で不変である。これは本質的に4つの同一線上の点の唯一の射影不変量である。このことは射影幾何学の根底にある重要な性質である。

複比は、古代よりおそらくはユークリッドによって定義され、パップスによってその重要な普遍性特性に注目した考察がなされた。19世紀には広く研究されるようになった。

射影平面上で1点で交わる4線（英: concurrent lines）や、リーマン球面上の4点についての派生した概念も存在する。双曲幾何学のケイリー・クラインモデルでは、特定の複比により点間の距離が表される。

## 用語と歴史

アレクサンドリアのパップスは、自身の著書*Collection: Book VIIの中*で複比に相当する概念を暗に使用した。パップスの初期の読者には、アイザック・ニュートン、ミシェル・シャール、ロバート・シムソンが含まれる。 1986年、アレクサンダー・ジョーンズはパップスの原文を翻訳し、パップスの補題が現代の用語とどのように関係しているかについて解説を書いた。

射影幾何学における複比の現代的な使用は、1803 年にラザール・カルノーの著書*Géométrie de Position*で始まった。使用された用語は、 *le rapport anharmonique（*非調和比）であった。ドイツの幾何学者はそれを*das Doppelverhältnis*（複比）と呼んだ。

直線上の3点が与えられたとき、複比が-1になる4番目の点は射影調和共役と呼ばれる。 1847 年に、カール・フォン・シュタウトは4番目の点の構成を**スロー**（英: **throw**, 独: **Wurf**) と呼び、この構成を使用して、幾何学で暗黙的な算術演算を示した。彼によるスロー代数は、通常は公理とみなされるが、射影幾何学で証明された数値命題へのアプローチを提供している。

英語の"cross-ratio"という用語は、1878 年にウィリアム・キングドン・クリフォードによって導入された。

## 定義
座標*z*1,&nbsp;*z*2,&nbsp;*z*3,&nbsp;*z*4の実数直線上の4つの異なる点の複比は次の式で与えられる。

: (z_1,z_2;z_3,z_4) = \frac{(z_3-z_1)(z_4-z_2)}{(z_3-z_2)(z_4-z_1)}.

また、2つの3点の分割比率の「複比」として記述することもできる。

: (z_1,z_2;z_3,z_4) = \frac{z_3-z_1}{z_3-z_2}:\frac{z_4-z_1}{z_4-z_2}.

複比は通常、 *z*1,&nbsp;*z*2,&nbsp;*z*3,&nbsp;*z*4のいずれかが無限大 (\infty)の場合にも拡張される。これは、無限大となる点を含む2箇所を削除することにより行われる。例:

: (\infty,z_2;z_3,z_4) = \frac{(z_3-\infty)(z_4-z_2)}{(z_3-z_2)(z_4-\infty)}=\frac{(z_4-z_2)}{(z_3-z_2)} .

ユークリッド幾何学では、 A, B, C, D が共線上の点である場合、複比は次のように表される。

: (A,B;C,D) = \frac {AC\cdot BD}{BC\cdot AD} ,

ここで、各距離の符号は、線の一貫した方向に従って決定される。

同じ式を4つの異なる複素数、またはより一般的には任意の体の元にも適用でき、1つが∞の場合は上記のような拡張が可能である。

## 性質
共線上の4点 *A*, *B*, *C*, *D* の複比は、次のように記述できる。

: (A,B;C,D) = \frac {AC}{CB}:\frac {AD}{DB}

ここで\frac {AC}{CB}は点*C*が線分ABを分割する比率を表し、 \frac {AD}{DB}は点*D*が同じ線分を分割する比率を表す。次に、複比は比の比として現れ、2 つの点 C, D が線分ABに対してどのように位置しているかを表す。点 *A, B, C, D* が異なる限り、複比 (A, B; C, D) はゼロ以外の実数となる。それは次のように簡単に推測できる。

* (*A*, *B*; *C*, *D*) 
\begin{align}
& (A,B;C,D) = (B,A;D,C) = (C,D;A,B) = (D,C;B,A) = \lambda \\[6pt]
& (A,B;D,C) = (B,A;C,D) = (C,D;B,A) = (D,C;A,B) = \frac 1 \lambda \\[6pt]
& (A,C;B,D) = (B,D;A,C) = (C,A;D,B) = (D,B;C,A) = 1-\lambda \\[6pt]
& (A,C;D,B) = (B,D;C,A) = (C,A;B,D) = (D,B;A,C) = \frac 1 {1-\lambda} \\[6pt]
& (A,D;B,C) = (B,C;A,D) = (C,B;D,A) = (D,A;C,B) = \frac{\lambda-1} \lambda \\[6pt]
& (A,D;C,B) = (B,C;D,A) = (C,B;A,D) = (D,A;B,C) = \frac \lambda {\lambda-1}.
\end{align}


後述の*[[複比#非調和群とクライン四群|非調和群]]*を参照。

## 射影幾何学

複比は射影直線の射影変換によって保持されるという意味で**射影[[不変量]]**である。

特に、4つの点が**R**2の直線*L*上にある場合、それらの複比は、原点を選択や線上のスケールを選択に関わらず同じ値になるため well-defined な量である。

さらに } は、同じ点*Q*を通る平面上の4本の異なる直線である。次に、*Q*を通過しない任意の線*L*は、4つの異なる点*P**i*でこれらの線と交差する (*L*が*L**i*に平行である場合、対応する交点は「無限遠」にある)。これらの点の（固定された順序で与えられる）複比は、線*L*の選択に依存しないことがわかる。したがって、4本の線の組 {*L**i*} の不変量である。

これは、*L*と*L*&#x2032;が*Q*を通過しない2つの線である場合、*Q*を中心とする*L*から*L*&#x2032;への透視変換は、*L*上の4つの点の組 {*P**i*} から*L*&#x2032;上の4つの点の組 {*P**i*&#x2032;} 射影変換となることから理解できる。

したがって、直線の射影的自己同型の下での複比の不変性は、4つの直線 {*L**i*} 上の4つの共線点 {*P**i*} の複比が、その線の選択から独立していることを意味する（実際には等価）。

## 同次座標での定義
同一線上にある4つの点がベクトル*a*,&nbsp;*b*,&nbsp;*c*,&nbsp;*d*によって同次座標で表され、  および  である場合、それらの複比は*ｋである。*

## 非ユークリッド幾何学における役割
アーサー・ケイリーとフェリックス・クラインは、複比の非ユークリッド幾何学への適用を発見した。実射影平面の正則円錐曲線*C*が与えられると、射影群内のそのスタビライザー*G<sub>C</sub>*は*C*の内部の点に推移的に作用する。ただし、点の*ペア*に対する*G<sub>C</sub>*の作用には不変条件がある。実際、そのような不変量はすべて、適切な複比の関数として表現できる。

### 双曲幾何学
明示的に円錐曲線を単位円とする。単位円内部の任意の2点 *P,* *Q* に対し、それらを結ぶ直線が円と交差する2点 X, Y を順が X, P, Q, Y となるように決める。このとき双曲平面のケイリー・クラインモデルにおける*P*と*Q*の間の双曲距離は、

:  d_h(P,Q)=\frac{1}{2} \left| \log \frac \right| 

のように表せる(曲率を -1 にするためには係数の 1/2 が必要である)。複比は射影変換の下で不変であるため、双曲線距離は円錐*C*を保存する射影変換の下で不変であるということになる。

逆に、群*G*は固定された双曲的距離で単位円盤の点のペアのセットに推移的に作用する。

後に、アンリ・ポアンカレの影響もあり、円上の4つの複素数の複比が双曲線計量に使用された。円上にあるということは、メビウス変換の下で4つの点が4つの実点の像であることを意味するため、複比は実数となる。ポアンカレ半平面モデルとポアンカレの円板モデルは、複素射影直線における双曲幾何学の2つのモデルである。

これらのモデルは、 ケイリー・クライン計量の例である。

## 非調和群とクライン四群
複比は、次の4つの式のいずれかで定義できる。

:  (A,B;C,D) = (B,A;D,C) = (C,D;A,B) = (D,C;B,A). \, 

これらは、次の（循環表記法で表現された）変数の順列によって異なる。

: 
1, \ (A, B) (C, D), \ 
(A, C) (B, D), \ 
(A, D) (B, C) .


4つの変数の順列は、4つの変数の関数に対する対称群S4の作用と考えることができる。上記の4つの順列は複比を変えないため、この作用の下で複比のスタビライザー*K*を形成し、複比の軌道上の商群<math>
S_4/K
</math>の有効な作用を成す。 *K*の4つの順列は、S4のクラインの四元群を実現し、商
S_4/K
は対称群S3と同形である。

したがって、4つの変数の他の順列は複比を変え、6要素の群
S_4/K\cong S_3
の軌道である次の6つの値を与える。

: 
\begin{align}
(A, B; C, D) & = \lambda & (A, B; D, C) & = \frac 1 \lambda \\[6pt]
(A, C; D, B) & = \frac 1 {1-\lambda} & (A, C; B, D) & = 1-\lambda \\[6pt]
(A, D; C, B) & = \frac \lambda {\lambda-1} & (A, D; B, C) & = \frac{\lambda-1} \lambda.
\end{align}


*&#x3BB;*の関数とすると、これらはメビウス変換の例であり、関数の合成の下でメビウス群を形成する。 6つの変換は**非調和群**として知られる部分群を形成し、これも S3に同型である。それらはの捩れ元（楕円変換）である。すなわち、 \tfrac{1}{\lambda}, 1-\lambda\,, \tfrac{\lambda}{\lambda-1}はそれぞれ固定点 −1, 1/2, 2 を持つ位数2（つまり、調和複比の軌道）である。一方、\tfrac{1}{1-\lambda}と\tfrac{\lambda-1}{\lambda}はの位数3であり、それぞれが両方の「最も対称的な」複比の値e^{\pm i\pi/3}を固定する。

非調和群はとによって生成される。 に対するその作用は S3との同型を与える。また、前述の6つのメビウス変換として実現することもでき、これは（整数エントリで定義されるため）任意の体上でS<sub>3</sub>の射影表現を生成し、（2つの項が1/−1のみが異なることはないため）常に忠実/単射である。 2元体上では射影直線は3点しか持たないため、この表現は同型であり、例外的な同型\mathrm{S}_3 \approx \mathrm{PGL}(2, 2)である。標数3では、これにより点-1 = [-1:1] が安定し、これは2 = 1/2 = -1であることから調和複比の軌道が1点のみであることに対応する。 3元体上では、射影線には4つの点しかなく、 \mathrm{S}_4 \approx \mathrm{PGL}(2, 3)であり、したがってこの表現は正確に調和複比のスタビライザーであり、点-1 のスタビライザーに等しい埋め込み\mathrm{S}_3 \hookrightarrow \mathrm{S}_4が得られる。

### 例外的な軌道
*λが*特定の値のとき、対称性が高くなるため交差比の可能な値は6つより少なくなる。 *λ*のこれらの値は、リーマン球面上のS3の作用の固定点に対応する（前述の6つの関数によって与えられる）。言い換えると、この順列群に非自明なスタビライザーを持つこれらの点に対応する。

固定点の最初の集合はである。ただし、点 A, B, C, D がすべて異なる場合、複比はこれらの値を取ることはできない。これらの値は、座標の1つのペアが互いに接近するときの極限値である。

: (Z,B;Z,D) = (A,Z;C,Z) = 0
: (Z,Z;C,D) = (A,B;Z,Z) = 1
: (Z,B;C,Z) = (A,Z;Z,D) = \infty.

固定点の2番目の集合はである。この状況は、古典的に**調和複比**と呼ばれるもので、射影調和共役で起こりうる。実数の範囲では、他に例外的な軌道はない。

複素数の範囲では、最も対称的な複比は\lambda = e^{\pm i\pi/3}である場合にみられる。これらは複比の唯一の2つの値であり、これらは順列の符号に従って作用する。

## 変換的アプローチ
複比は、直線の射影変換の下で不変である。複素射影線またはリーマン球の場合、これらの変換はメビウス変換として知られている。一般的なメビウス変換の形式は次のように表される。

: f(z) = \frac{az+b}{cz+d}\;,\quad \mbox{where } a,b,c,d\in\mathbb{C} \mbox{ and } ad-bc \ne 0.

これらの変換は、リーマン球に作用する群、メビウス群を形成する。

複比の射影不変性は、

: (f(z_1), f(z_2); f(z_3), f(z_4)) = (z_1, z_2; z_3, z_4).\ 

すべてのメビウス変換が一般化された円を一般化された円にマッピングするという事実より、4つの点が共線または共円である場合にのみ複比が実数になる。

メビウス群の作用は、リーマン球の異なる点の三つ組の集合上で単純に推移的である。異なる点の任意の順序付き三つ組が与えられると、一意なメビウス変換*f*(*z*)が存在する。この変換は複比を用いて簡単に記述できる。はに等しくなければならず、これは*f*(*z*)に等しいため、次の式が得られる。

: f(z)=(z, z_2; z_3, z_4) .

複比の不変性の別の説明は、直線の射影変換の群が平行移動、相似性、乗法的反転によって生成されるという事実に基づいている。差は、基礎体*F*の定数*aに対する*平行移動、

: z \mapsto z + a

の下で不変である。また、分割比は*F*の非ゼロ定数*bに対する*相似変換、

: z \mapsto b z

の下で不変である。したがって、複比はアフィン変換の下で不変である。

well-definedな反転マッピング

: T : z \mapsto z^{-1},

を得るために、アフィン線は、射影線*P*1(*F*) を形成する ∞ で示される無限遠の点によって拡張される必要がある。各アフィン写像  は、点を無限遠に固定する*P*1(*F*) のそれ自体への写像に一意に拡張できる。写像*T*は 0 と ∞ を交換する。射影群は*Tによって*生成され、アフィン写像は*P*1(*F*) に拡張される。  、すなわち複素平面の場合、これはメビウス群になる。複比も*T*の下で不変であるため、*P*1(*F*)のそれ自体への射影写像の下で不変である。

### 座標の説明
複素数点をベクトル\overrightarrow{x}_n = [\Re(z_n),\Im(z_n)]^{\rm T}として書き、x_{nm}=x_n-x_m と定義し、aとbの内積を(a,b)と表記するとき、複比の実部は次の式で与えられます。

:: 
C_1 = \frac{ (x_{12},x_{14}) (x_{23},x_{34}) - (x_{12},x_{34}) (x_{14},x_{23}) + (x_{12},x_{23}) (x_{14},x_{34}) } {|x_{23}|^2 |x_{14}|^2 }


これは、反転x^\mu \rightarrow \frac{x^\mu}{|x|^2} などの2次元特殊等角写像の不変量である。

虚部は2次元の外積a\times b = [a,b] = a_2 b_1 - a_1 b_2を使用する必要がある。

:: 
C_2 = \frac{ (x_{12},x_{14}) [x_{34},x_{23}] - (x_{43},x_{23}) [ x_{12},x_{34} ] } {|x_{23}|^2 |x_{14}|^2 }


## 環のホモグラフィ
複比の概念は、加法、乗法、反転の環演算にのみ依存する（ただし、特定の元の反転は環ではその限りではない）。複比へのひとつのアプローチは、指定された3点を 0、1、無限大 にするホモグラフィとして解釈することである。逆数に関する制限の下で、環上の射影直線による環操作を使用してそのような写像を生成することが可能である。 4 点の複比は、4点目でのこのホモグラフィの評価である。

## 微分幾何学の視点
この理論は、4つの点が近接するにつれて、微分計算の側面を帯びる。これは、シュワルツ導関数の理論につながり、より一般的には射影接続の理論につながる。

## 高次元の一般化
複比は、点の構成の他の幾何学的特性、特に共線性により、単純な方法ではより高い次元に一般化されない。構成空間はより複雑であり、点の異なる*k-組*は一般化位置にない。

射影線の射影線型群は3推移的（任意の3つの異なる点を他の任意の3 点に写像できる）であり、実際には単純な3推移的である（任意の三つ組を別の三つ組に取る*一意の*射影写像がある）が、したがって、複比は4つの点の集合の一意の射影不変量であり、高次元には基本的な幾何学的不変量がある。 *n*空間の射影線型群\mathbf{P}^n=\mathbf{P}(K^{n+1})は(*n*&nbsp;+&nbsp;1)2&nbsp;&#x2212;&nbsp;1次元を持つ（\mathrm{PGL}(n,K) = \mathbf{P}(\mathrm{GL}(n+1,K))であり、1つの次元を削除する射影化であるため）が、他の次元では、射影線型群は2推移性のみである。これは、3つの共線上の点を3つの共線上の点に写す必要があるためである（これは、射影線の制限ではない）。したがって、*n*2点の一意の不変量を提供する一般化交差比は存在しない。

共線性は、維持する必要がある点の構成の唯一の幾何学的特性ではない。例えば、 5つの点は円錐曲線を決定するが、6つの点は一般に円錐曲線上にないため、「点の6つ組が円錐曲線上にあるか否か」も射影不変量となる。一般化位置での点の軌道を調べることができる（「一般化位置」の直線では区別することと同等だが、より高い次元では、議論したように幾何学的な考慮が必要である）が、上記のように、これはより複雑で情報が少なくなる。

ただし、アベル・ヤコビ写像とシータ関数を用いた、種数が正のリーマン面への一般化が存在する。

## 関連項目

* ヒルベルト計量

## 脚注


## 参考文献

* Lars Ahlfors (1953,1966,1979) *Complex Analysis*, 1st edition, page 25; 2nd & 3rd editions, page 78, McGraw-Hill  .
* Viktor Blåsjö (2009) "Jakob Steiner’s Systematische Entwickelung: The Culmination of Classical Geometry", Mathematical Intelligencer 31(1): 21&#x2013;9.
* John J. Milne (1911) , Cambridge University Press.
* Dirk Struik (1953) *Lectures on Analytic and Projective Geometry*, page 7, Addison-Wesley.
* I. R. Shafarevich & A. O. Remizov (2012) *Linear Algebra and Geometry*, Springer .

## 外部リンク
* 
* MathPages – Kevin Brown explains the cross-ratio in his article about ''Pascal's Mystic Hexagram''
* Cross-Ratio at cut-the-knot
* 
*