ジャイロベクトル空間

ジャイロベクトル空間（ジャイロベクトルくうかん、gyrovector space）はAbraham A. Ungarによって提案された数学的構造である。ユークリッド幾何学の研究にベクトル空間が用いられるのと同様に、ジャイロベクトル空間は双曲幾何学の研究に用いられる。Ungarは、通常のベクトルが加算に関して群を成す代わりに、加算に関してジャイロ群を成すものとしてジャイロベクトルを定式化した。Ungarは、特殊相対性理論における速度の合成を表すためのローレンツブーストに代わる手法としてジャイロベクトル空間を開発した。これは「ジャイロオペレータ」を導入することで達成されている。ジャイロオペレータは2つの3次元ベクトルから作られ、3次元ベクトルに対する作用素となる。

**名称**
ジャイロ群（gyrogroup）は弱い結合性を持つ、群に似た構造である。Ungarはジャイロ可換性を持つジャイロ群をジャイロ可換ジャイロ群（gyrocommutative gyrogroup）と呼び、ジャイロ群という用語は必ずしもジャイロ可換ではないジャイロ群を指すように提案した。ジャイロ群はBol loopの一種である。ジャイロ可換ジャイロ群はK-ループと一致する。Bruckループやdyadic symsetという用語も使用される。

**ジャイロベクトル空間の数学**

**ジャイロ群**

**公理**
マグマは、二項演算が次の公理を満たすときジャイロ群であるという。
# Gは少なくとも1つの左単位元0を持ち、全ての  に対して  を満たす。
# 各  に対してaの左逆元  が存在し、 を満たす。
# 全ての に対してGの要素 が1つ定まり、ジャイロ結合則を満たす。
#  によって定義される写像 は マグマ の自己同型である。すなわち、である。自己同型を a, bによって生成されるGのジャイロ自己同型（gyroautomorphism）という。 はGのジャイレータ (gyrator) と呼ぶ。
# ジャイロ自己同型 は左ループ性を持つ。すなわち、。
最初の2つの公理は群の公理と類似している。 最後の2つの公理はジャイレータに関するものであり、真ん中の公理がそれらを繋げるものである。
ジャイロ群は逆元と単位元を持つため、準群であり、かつLoop (algebra)でもある。
ジャイロ群は群の一般化である。実際、群はgyrが恒等写像であるようなジャイロ群と見なせる。

**成り立つ性質**
以下の等式は任意のジャイロ群(G, )で成り立つ。
#  (ジャイレーション)
#  （左ジャイロ結合性)
#  （右ジャイロ結合性)
さらなる例は参考文献.の50ページを参照。

**ジャイロ可換性**
ジャイロ群  がジャイロ可換（gyrocommutative）であるとは、二項演算  がジャイロ可換律  を満たすことを言う。特殊相対性理論における速度の加算の観点からは、この性質は1914年にLudwik Silbersteinにより示されたとを関係づける回転を表すものになっている。

**Coaddition**
ジャイロ群に対して、coadditionと呼ばれる別の演算を定義することができる。coadditionは  により定義される。ジャイロ可換ジャイロ群においてはcoadditionは可換性を持つ。

**Beltrami–Kleinモデルとアインシュタイン可算**
相対論的速度は双曲幾何学におけるBeltrami–Kleinモデルの点とみなすことができ、Beltrami-Kleinモデルにおけるベクトルの加算はVelocity-addition formulaによって与えられる。 この公式を4次元以上の双曲空間におけるベクトルの加算に一般化するためには、クロス積の使用を避けてドット積で公式を記述する必要がある。
一般の場合、速度 ,  のアインシュタイン加算を座標軸に依存しない形で書くと次のようになる。
 
ここで  はローレンツ因子であり、  which defines the Möbius addition  
これは  と表すことができる。ただし、ここで導入した演算 がメビウス加算である。
これを高次元に拡張すると、複素数は平面上のベクトルとなり、メビウス加算は次のようにベクトルの形で書き直される。
 
これは、s=1のポワンカレ球体模型のベクトルの加算を任意のs>0に対してしたものである。

**メビウスジャイロベクトル空間**
sを正の定数とする。(V,+,.) を実内積空間とし、Vs={v  ∈  V :|v|s, )にスカラー倍 r v = s tanh(r tanh−1(|v|/s))v/|v| （r は任意の実数、v  ∈ Vs, v ≠ 0、 r  0 = 0） を加えたものである。ここで、 v  r = r  vと表記する。
メビウススカラー倍は上述のアインシュタインスカラー倍と一致する。これは、メビウス加算とアインシュタイン加算が平行な2ベクトルに対しては一致することから得られる。

**固有速度空間モデルと固有速度加算**
双曲幾何学における固有速度空間モデルは、固有速度に以下の固有速度加算公式を加えることで与えられる。
 
ここで、はとは次の等式で与えられる。


これはメビウス変換とローレンツ変換の関係に関係がある。

**Gyrotrigonometry**
Gyrotrigonometryはジャイロの概念を双曲三角法（hyperbolic trigonometry）の研究に用いるものである。
通常研究される双曲三角法はcosh, sinhのような双曲線関数を用いる。一方、球面三角法はcos, sinのようなユークリッド三角関数を用いるが通常の三角形の合同の代わりに球面上の三角形の合同を用いる。Gyrotrigonometryは、普通のユークリッド三角関数を用いつつ、ジャイロ三角形の合同を用いるアプローチである。

**三角形の中心**
三角形の中心は伝統的にはユークリッド幾何学において考慮される概念であるが、双曲幾何学においても研究の対象となりうる。 gyrotrigonometryを用いると、重心座標系をユークリッド幾何学と双曲幾何学に共通の表現で表すことができる。 表現が一致するためには、 三角形の角の和が180度になるという法則を表現が含まない必要がある。

**ジャイロ平行四辺形の加算**
gyrotrigonometryを用いると、ジャイロ平行四辺形 （gyroparallelogram）の法則に従うジャイロベクトルの加法が得られる。 実はこれはジャイロ群のcoadditionになっている。ジャイロ平行四辺形の加算は可換である。
ジャイロ中線定理（gyroparallelogram law）は中線定理と似た定理である。普通の平行四辺形の2つの対角線が互いの中点で交わる（中線定理）のと同様に、ジャイロ平行四辺形は2つのジャイロ対角線（gyrodiagonals）が互いのジャイロ中点（gyromidpoints）で交わるような双曲的四角形である。

**ブロッホベクトル**
ユークリッド3次元空間上の開単位球面に属するブロッホベクトルは、アインシュタイン加算 やメビウス加算を用いて調べられる。

**書評**
初期のジャイロベクトルに関するある本に対する書評は次のように述べている。
長年、非ユークリッド幾何学的な手法を相対論や電磁気学の問題解決に応用する試みはわずかしか無かった。肯定的な結果も無く後続の研究には魅力も無いという状況では、似たような研究をしようとする人が躊躇ってしまうのは必然である。最近まで、1912年に登場した手法を改良することが誰もできなかったのだ。Ungarの新しい本で、彼は非ユークリッド的手法からこれまで致命的に欠如していた要素を与える。それは、アインシュタインの速度合成の構造を完全に保つエレガントな非結合的代数構造である。

**参考文献**

**関連書籍**
series=Synthesis lectures on mathematics and statistics
*Maks A. Akivis And Vladislav V. Goldberg (2006),  Local Algebras Of A Differential Quasigroup, Bulletin AMS, Volume 43, Number 2
*Oğuzhan Demirel, Emine Soytürk (2008),  The Hyperbolic Carnot Theorem In The Poincare Disc Model Of Hyperbolic Geometry, Novi Sad J. Math. Vol. 38, No. 2, 2008, 33–39
*M Ferreira (2008),  Spherical continuous wavelet transforms arising from sections of the Lorentz group, Applied and Computational Harmonic Analysis, Elsevier
*T Foguel (2000), Comment. Math. Univ. Carolinae,  Groups, transversals, and loops
*Yaakov Friedman (1994), "Bounded symmetric domains and the JB*-triple structure in physics", Jordan Algebras: Proceedings of the Conference Held in Oberwolfach, Germany, August 9–15, 1992, By Wilhelm Kaup, Kevin McCrimmon, Holger P. Petersson, Published by Walter de Gruyter, 978-3-11-014251-8
*Florian Girelli, Etera R. Livine (2004),  Special Relativity as a non commutative geometry: Lessons for Deformed Special Relativity, Phys. Rev. D 81, 085041 (2010)
*Sejong Kim, Jimmie Lawson (2011),  Smooth Bruck Loops, Symmetric Spaces, And Nonassociative Vector Spaces, Demonstratio Mathematica, Vol. XLIV, No 4- Peter Levay (2003),  Mixed State Geometric Phase From Thomas Rotations
*Azniv Kasparian, Abraham A. Ungar, (2004) Lie Gyrovector Spaces, J. Geom. Symm. Phys
*R Olah-Gal, J Sandor (2009),  On Trigonometric Proofs of the Steiner–Lehmus Theorem, Forum Geometricorum, 2009 – forumgeom.fau.edu
*Gonzalo E. Reyes (2003),  On the law of motion in Special Relativity
*Krzysztof Rozga (2000), Pacific Journal of Mathematics, Vol. 193, No. 1, On Central Extensions Of Gyrocommutative Gyrogroups
*L.V. Sabinin (1995),  "On the gyrogroups of Hungar", RUSS MATH SURV, 1995, 50 (5), 1095–1096. 
*L.V. Sabinin, L.L. Sabinina, Larissa Sbitneva (1998), Aequationes Mathematicae,  On the notion of gyrogroup
*L.V. Sabinin, Larissa Sbitneva, I.P. Shestakov (2006), "Non-associative Algebra and Its Applications",CRC Press,978-0-8247-2669-0
*F. Smarandache, C. Barbu (2010),  The Hyperbolic Menelaus Theorem in The Poincaré Disc Model of Hyperbolic Geometry
*Roman Ulrich Sexl, Helmuth Kurt Urbantke, (2001), "Relativity, Groups, Particles: Special Relativity and Relativistic Symmetry in Field and Particle Physics", pages 141–142, Springer, 978-3-211-83443-5

**外部リンク**
　 Einstein's Special Relativity: The Hyperbolic Geometric Viewpoint