実二次正方行列

**実二次正方行列**（じつ2じせいほうぎょうれつ、; **二行二列実行列**）とは、数学の線型代数学において、成分が実数である 次正方行列のことである。

行列の演算をもつ。すなわち、が定義される。さらに、正方行列の演算をもつ。すなわち、行列の積が定義される。したがって、実二次正方行列全体は行列環をなし、記号で  と表す。

実二次正方行列
: q =\begin{bmatrix}
a &b \\
c &d
\end{bmatrix}
に対して対合
: q^* =\begin{bmatrix}
d &-b \\
-c &a
\end{bmatrix}
が定義され、
:
が成り立つ（ここで  は 次単位行列、 は  の行列式である）。従って  ならば  は正則行列で、その逆行列が
: q^{-1} = \frac{1}{ad-bc}\,q^*
で与えられる。

正則行列全体の成す集合は一般線型群  である。抽象代数学の観点からは、 は実2次正方行列環  に付随する加法および乗法に関して環の単元群である。また  は実数体上四次元のベクトル空間でもあり、結局実数体上の結合多元環として理解できる。 はの全体と環同型になるが、その平面部分環族 (profile) は異なる。

各実次正方行列  は二次元の数ベクトル空間からそれ自身への線型写像
: \begin{bmatrix}x \\ y\end{bmatrix} \mapsto \begin{bmatrix}a & b \\ c & d\end{bmatrix} \begin{bmatrix}x \\ y\end{bmatrix} = 
\begin{bmatrix}ax + by \\ cx + dy\end{bmatrix}
と一対一対応する。

## 平面部分環の族
 内で、スカラー行列（つまり単位行列  の任意の実数倍）の全体は実数直線と見なすことができる。この実数直線は、以下に述べる可換部分環  の全てが共有する:

 なる  実行列  に対して、「平面」 と置けば、 は  の可換部分環で  を満たす。ただし、和は  なる  すべてにわたってとる。

そのような  を同定するために、 でも  でもない一般の  実行列  を平方すれば
: \begin{bmatrix}
aa+bc &ab+bd \\
ac+cd &bc+dd
\end{bmatrix}
である。 ならばこれは対角行列となるから、上記の可換部分環を成す  を求めるに際して  を仮定することができる。

 に適当な基底変換を施せば、この平面部分環族は、 と  が双曲面のように対称な形をとるの平面部分環族に書きなおすことができる。

## 等積変換行列

まず微分ベクトルの変換
:
\begin{bmatrix}du \\ dv \end{bmatrix} = \begin{bmatrix} p & r\\ q & s \end{bmatrix} \begin{bmatrix}dx \\ dy \end{bmatrix} = 
\begin{bmatrix}p\, dx + r\, dy \\  q\, dx + s\, dy\end{bmatrix} 

を行ったとき、面積は「密度」を込めて微分 2-形式 （楔積  は外積代数も参照）で測られるから、この変換の密度
: du \wedge dv = (\det g)\ dx \wedge dy
に注意すれば、等積変換の全体は行列式  の行列からなる特殊線型群  と同一視できる。前節のごとく平面部分環族  を取れば、各  は適当な  に対する可換部分環  に入り、また  であるから、以下の三者択一:
が成り立つ。
平面アフィン群について  *Linear Geometry* は平面線型写像に関する同様の三分律に関して書いている。

## 行列変数の函数

 の可換部分環族は、この行列環の函数論を決定する。特に三種類の平面部分環がそれぞれ持つ代数構造は、代数的な式の値を決めるものである。以下に述べるように平方根函数や対数函数を考えることは、部分平面  の各々が持つ特別な性質に従って課される制約条件について詳らかにする。 の単元群の（単位元の属する連結成分）の概念は、各単元群における極分解:
を導く。一つ目（複素数）の場合  であり、二つ目（二重数）の場合  である。三つ目（分解型複素数）の場合は単元群が四つの連結成分に分解され、単位成分は  および  でパラメータ付けされる。
 
ここで式の上では部分平面  の別なく  と「平方根函数」を定義するが、この函数の引数は  それぞれの単元群の単位成分から取るものとする（つまり、二重数平面の場合はその半分の半平面を考えず、分解型複素数平面の場合にはその3/4の部分を取り除かねばならない）。

同様に、 が平面  の単元群の単位成分の元であるときには、それを「対数函数」で写した値を  と定義する。対数函数の定義域は上記の平方根函数の場合と同一の制約を抱えている（つまり、 または  のそれぞれの場合において  の半分または3/4を除外しなければならない）。

更なる函数論の詳細については、複素函数論（複素変数の場合）および（分解型複素変数の場合）を参照せよ。

## 実数体の二次拡大環として

各  実行列は三種類の一般化された複素数（つまり、通常の複素数、二重数、分解型複素数）のひとつとして解釈できる。上述のように、二次の実正方行列環は、これら一般化された複素数平面の（同じ実軸を共有する）合併として記述され、各平面  は各々可換部分環として表されるのであった。以下に示すように、任意に与えられた二次正方行列が、どの一般化複素平面に属するのかを決定して、平面を表す一般化複素数の種類を分類することができる。

以下、与えられた二次正方行列
:  z = \begin{bmatrix}a & b \\ c & d \end{bmatrix}
に対して  を含む平面  を決定する。

先に述べたように、行列  の平方が対角行列となるのは  のときであるから、行列  は単位行列  の実数倍と超平面  に属する行列との和に表されなければならない。 を  のこれら部分空間へ射影したものを考えれば
:  z = x I + n ,\quad(x = \frac{a + d}{2}, \quad n = z - x I)
と書けて、
: n^2=pI \quad(p=\frac{(a-d)^2}{4}+bc)
を得る。これにより  に関する三分律を得る。

同様に、 行列を（先述の極分解によって）極座標で表すことができる（無論、二重数の場合に連結成分が二つ存在すること、および分解型四元数の場合に連結成分が四つ存在することに注意せねばならない）。

## 参考文献

* Rafael Artzy (1965) *Linear Geometry*, Chapter 2-6 Subgroups of the Plane Affine Group over the Real Field, p.&nbsp;94, Addison-Wesley.
* Helmut Karzel & Gunter Kist (1985) "Kinematic Algebras and their Geometries", found in
** *Rings and Geometry*, R. Kaya, P. Plaumann, and K. Strambach editors, pp.&nbsp;437–509, esp 449,50, D. Reidel ISBN 90-277-2112-2 .
* Svetlana Katok (1992) *Fuchsian groups*, pp.&nbsp;113ff, University of Chicago Press ISBN 0-226-42582-7 .
*