コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

実二次正方行列

出典: フリー百科事典『ウィキペディア(Wikipedia)』
実2次正方行列から転送)

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

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

実二次正方行列

に対して対合

が定義され、

qq* = q* q = (adbc)I

が成り立つ(ここで I2単位行列adbcq行列式である)。従って adbc ≠ 0 ならば q正則行列で、その逆行列

で与えられる。

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

各実2次正方行列 [ab
cd
 
]
は二次元の数ベクトル空間からそれ自身への線型写像

一対一対応する。

平面部分環の族

[編集]

M(2, R) 内で、スカラー行列(つまり単位行列 I の任意の実数倍)の全体は実数直線と見なすことができる。この実数直線は、以下に述べる可換部分環 Pm の全てが共有する:

m2 ∈ {−I, 0, I} なる 2×2 実行列 m に対して、「平面」Pm = {xI + ym  |  x, yR} と置けば、PmM(2, R) の可換部分環で M(2, R) = m: m2 ∈ {−I, 0, I} Pm を満たす。ただし、和は m2 ∈ {−I, 0, I} なる m すべてにわたってとる。

そのような m を同定するために、I でも 0 でもない一般の 2×2 実行列 [ab
cd
 
]
を平方すれば

である。a + d = 0 ならばこれは対角行列となるから、上記の可換部分環を成す m を求めるに際して d = −a を仮定することができる。

  1. mm = −I となるとき、bc = −1 − aa であり、この方程式は助変数 (a, b, c) の空間上の双曲放物面を記述するものである。またこのような m虚数単位の役割を果たすから、この場合の Pm は通常の複素数体に同型である。
  2. mm = +I となるとき、m対合行列英語版であるという。このとき bc = +1 − aa であり、これもまた双曲放物面を与える方程式である。任意の冪等行列は、この種の適当な m に対する Pm に属す。またこの場合の Pm分解型複素数環に環同型である。
  3. mm = 0 すなわち複零となるとき、これは b, c の何れか一方のみが零かつ他方が非零である場合に生じる。この場合の可換部分環 Pm二重数平面のコピーを含む。

M(2, R) に適当な基底変換を施せば、この平面部分環族は、II双曲面のように対称な形をとる分解型四元数英語版の平面部分環族に書きなおすことができる。

等積変換行列

[編集]

まず微分ベクトルの変換

を行ったとき、面積は「密度」を込めて微分 2-形式 dxdy(楔積 外積代数も参照)で測られるから、この変換の密度

に注意すれば、等積変換の全体は行列式 1 の行列からなる特殊線型群 SL(2, R) = {gM(2, R) | det(g) = 1} と同一視できる。前節のごとく平面部分環族 Pm を取れば、各 gSL(2, R) は適当な m に対する可換部分環 Pm に入り、また gg* = I であるから、以下の三者択一:

  1. mm = −I であり、g円周上で定義されたユークリッド回転;
  2. mm = I であり、g双曲線上定義された圧搾変換英語版;
  3. mm = 0 であり、g は直線上定義された剪断変換

が成り立つ。

平面アフィン群について Artzy (1965) Linear Geometry は平面線型写像に関する同様の三分律に関して書いている。

行列変数の函数

[編集]

M(2, R) の可換部分環族は、この行列環の函数論を決定する。特に三種類の平面部分環がそれぞれ持つ代数構造は、代数的な式の値を決めるものである。以下に述べるように平方根函数や対数函数を考えることは、部分平面 Pm の各々が持つ特別な性質に従って課される制約条件について詳らかにする。Pm単元群単位成分英語版(単位元の属する連結成分)の概念は、各単元群における極分解英語版:

  1. mm = −I ならば z = ρ exp(θm);
  2. mm = 0 ならば z = ρ exp(sm) または z = −ρ exp(sm)
  3. mm =  I ならば z = ρ exp(am) または z = −ρ exp(am) または z =  exp(am) または z = − exp(am)

を導く。一つ目(複素数)の場合 exp(θm) = cos(θ) + msin(θ) であり、二つ目(二重数)の場合 exp(sm) = 1 + sm である。三つ目(分解型複素数)の場合は単元群が四つの連結成分に分解され、単位成分は ρ および exp(am) = cosh(a) + m sinh(a) でパラメータ付けされる。

ここで式の上では部分平面 Pm の別なく ρ exp(am) := ρ exp(am/2) と「平方根函数」を定義するが、この函数の引数は Pm それぞれの単元群の単位成分から取るものとする(つまり、二重数平面の場合はその半分の半平面を考えず、分解型複素数平面の場合にはその3/4の部分を取り除かねばならない)。

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

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

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

[編集]

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

以下、与えられた二次正方行列

に対して z を含む平面 Pm を決定する。

先に述べたように、行列 z の平方が対角行列となるのは a + d = 0 のときであるから、行列 z単位行列 I の実数倍と超平面 a + d = 0 に属する行列との和に表されなければならない。zR4 のこれら部分空間へ射影したものを考えれば

と書けて、

を得る。これにより z に関する三分律を得る。

  1. p < 0 のとき、z は通常の複素数:
    q := 1/p, m := qn と置けば、m2 = −Iz = xI + mp.
  2. p = 0 のとき、z二重数: z = xI + n.
  3. p > 0 のとき、z分解型複素数:
    q := 1/p, m := qn と置けば、m2 = +Iz = xI + mp.

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

参考文献

[編集]
  1. ^ Anthony A. Harkin & Joseph B. Harkin (2004) Geometry of Generalized Complex Numbers, Mathematics Magazine 77(2):118–29
  • Rafael Artzy (1965) Linear Geometry, Chapter 2-6 Subgroups of the Plane Affine Group over the Real Field, p. 94, Addison-Wesley.
  • Helmut Karzel & Gunter Kist (1985) "Kinematic Algebras and their Geometries", found in
  • Svetlana Katok (1992) Fuchsian groups, pp. 113ff, University of Chicago Press ISBN 0-226-42582-7 .
  • Garret Sobczyk (2012). “Chapter 2: Complex and Hyperbolic Numbers”. New Foundations in Mathematics: The Geometric Concept of Number. Birkhäuser. ISBN 978-0-8176-8384-9