ジャイロベクトル空間のソースを表示

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

== 名称 ==
ジャイロ群（gyrogroup）は弱い結合性を持つ、群に似た構造である。Ungarはジャイロ可換性を持つジャイロ群をジャイロ可換ジャイロ群（gyrocommutative gyrogroup）と呼び、ジャイロ群という用語は必ずしもジャイロ可換ではないジャイロ群を指すように提案した。ジャイロ群は{{仮リンク|ボルループ|en|Bol loop}}の一種である。ジャイロ可換ジャイロ群は''K-ループ''と一致する<ref>Hubert Kiechle (2002), "Theory of K-loops",Published by Springer,{{ISBN2|3-540-43262-0|978-3-540-43262-3}}</ref>。''Bruckループ''<ref>Larissa Sbitneva (2001), [http://www.springerlink.com/index/H0587365T0MP5427.pdf Nonassociative Geometry of Special Relativity], International Journal of Theoretical Physics, Springer, Vol.40, No.1 / Jan 2001</ref>や''dyadic symset''<ref>J lawson Y Lim (2004), [http://www.springerlink.com/index/P444564756L063J4.pdf Means on dyadic symmetrie sets and polar decompositions], Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, Springer, Vol.74, No.1 / Dec 2004</ref>という用語も使用される。

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

=== ジャイロ群 ===

==== 公理 ====
[[マグマ (数学)|マグマ]]<math>(G, \oplus)</math>は、二項演算<math>\oplus</math>が次の公理を満たすとき'''ジャイロ群'''であるという。
# ''G''は少なくとも1つの左単位元0を持ち、全ての <math>a \in G</math> に対して <math>0 \oplus a = a</math> を満たす。
# 各 <math>a \in G</math> に対してaの左逆元 <math>\ominus a \in G</math> が存在し、 <math>\ominus a \oplus a = 0</math>を満たす。
# 全ての <math>a, b, c \in G</math>に対して''G''の要素<math>\mathrm{gyr}[a, b]c</math> が1つ定まり、''ジャイロ結合則''<math>a \oplus (b \oplus c) = (a \oplus b) \oplus \mathrm{gyr}[a, b] c</math>を満たす。
# <math>c \mapsto \mathrm{gyr}[a, b]c</math> によって定義される写像 <math>\mathrm{gyr}[a, b]: G \to G</math>は マグマ <math>(G, \oplus)</math>の[[自己同型]]である。すなわち、<math>\mathrm{gyr}[a, b] \in \mathrm{Aut}(G, \oplus)</math>である。自己同型<math>\mathrm{gyr}[a, b]</math>を a, bによって生成されるGのジャイロ自己同型（gyroautomorphism）という。 <math>\mathrm{gyr}: G \times G \to \mathrm{Aut}(G, \oplus)</math>はGのジャイレータ (''gyrator'') と呼ぶ。
# ジャイロ自己同型 <math>\mathrm{gyr}[a, b]</math>は左ループ性を持つ。すなわち、<math>\mathrm{gyr}[a, b] = \mathrm{gyr}[a \oplus b, b]</math>。
最初の2つの公理は群の公理と類似している。 最後の2つの公理はジャイレータに関するものであり、真ん中の公理がそれらを繋げるものである。

ジャイロ群は逆元と単位元を持つため、[[準群]]であり、かつ{{仮リンク|ループ (代数)|label=ループ|en|Loop (algebra)}}でもある。

ジャイロ群は群の一般化である。実際、群はgyrが恒等写像であるようなジャイロ群と見なせる。

==== 成り立つ性質 ====
以下の等式は任意のジャイロ群(G, <math>\oplus</math>)で成り立つ。
# <math>\mathrm{gyr}[\mathbf{u},\mathbf{v}]\mathbf{w}=\ominus(\mathbf{u} \oplus \mathbf{v}) \oplus (\mathbf{u} \oplus (\mathbf{v} \oplus \mathbf{w}))</math> (ジャイレーション)
# <math>\mathbf{u} \oplus (\mathbf{v} \oplus \mathbf{w}) = (\mathbf{u} \oplus \mathbf{v})\oplus \mathrm{gyr}[\mathbf{u},\mathbf{v}]\mathbf{w}</math> （左ジャイロ結合性)
# <math>(\mathbf{u} \oplus \mathbf{v}) \oplus \mathbf{w} = \mathbf{u} \oplus (\mathbf{v}\oplus \mathrm{gyr}[\mathbf{v},\mathbf{u}]\mathbf{w})</math> （右ジャイロ結合性)
さらなる例は参考文献.<ref name=ung2008>[https://books.google.com/books?id=p-d6MozY3GUC Analytic hyperbolic geometry and Albert Einstein's special theory of relativity], Abraham A. Ungar, World Scientific, 2008, {{ISBN2|978-981-277-229-9}}</ref>の50ページを参照。

==== ジャイロ可換性 ====
ジャイロ群 <math>(G, \oplus)</math> がジャイロ可換（gyrocommutative）であるとは、二項演算 <math>\oplus</math> がジャイロ可換律 <math>a \oplus b = \mathrm{gyr}[a, b](b \oplus a)</math> を満たすことを言う。特殊相対性理論における速度の加算の観点からは、この性質は1914年にLudwik Silbersteinにより示された<math>a+b</math>と<math>b+a</math>を関係づける回転を表すものになっている。<ref>Ludwik Silberstein, The theory of relativity, Macmillan, 1914</ref><ref>Page 214, Chapter 5, Symplectic matrices: first order systems and special relativity, Mark Kauderer, World Scientific, 1994, {{ISBN2|978-981-02-1984-0}}</ref>

==== Coaddition ====
ジャイロ群に対して、''coaddition''と呼ばれる別の演算を定義することができる。coadditionは <math>a \boxplus b=a \oplus \mathrm{gyr}[a, \ominus b]b</math> により定義される。ジャイロ可換ジャイロ群においてはcoadditionは可換性を持つ。

=== Beltrami–Kleinモデルとアインシュタイン可算 ===
相対論的速度は双曲幾何学におけるBeltrami–Kleinモデルの点とみなすことができ、Beltrami-Kleinモデルにおけるベクトルの加算はVelocity-addition formulaによって与えられる。 この公式を4次元以上の双曲空間におけるベクトルの加算に一般化するためには、[[クロス積]]の使用を避けて[[ドット積]]で公式を記述する必要がある。

一般の場合、速度 <math>\mathbf{u}</math>, <math>\mathbf{v}</math> のアインシュタイン加算を座標軸に依存しない形で書くと次のようになる。
: <math>\mathbf{u} \oplus_E \mathbf{v}=\frac{1}{1+\frac{\mathbf{u}\cdot\mathbf{v}}{c^2}}\left\{\mathbf{u}+\frac{1}{\gamma_\mathbf{u}}\mathbf{v}+\frac{1}{c^2}\frac{\gamma_\mathbf{u}}{1+\gamma_\mathbf{u}}(\mathbf{u}\cdot\mathbf{v})\mathbf{u}\right\}</math>
ここで <math>\gamma_\mathbf{u}</math> は[[ローレンツ因子]]であり、 <math>\gamma_\mathbf{u}=\frac{1}{\sqrt{1-\frac{|\mathbf{u}|^2}{c^2}}}</math>で与えられる。

同じ式を座標の形で書くと次のようになる。
: <math>\begin{pmatrix}w_1\\ w_2\\ w_3\\ \end{pmatrix}=\frac{1}{1+\frac{u_1v_1+u_2v_2+u_3v_3}{c^2}}\left\{\left[1+\frac{1}{c^2}\frac{\gamma_\mathbf{u}}{1+\gamma_\mathbf{u}}(u_1v_1+u_2v_2+u_3v_3)\right]\begin{pmatrix}u_1\\ u_2\\ u_3\\ \end{pmatrix}+\frac{1}{\gamma_\mathbf{u}}\begin{pmatrix}v_1\\ v_2\\ v_3\\ \end{pmatrix}\right\}</math>
ここで、<math>\gamma_\mathbf{u}=\frac{1}{\sqrt{1-\frac{u_1^2+u_2^2+u_3^2}{c^2}}}</math>である。

アインシュタイン加算は <math>\mathbf{u}</math> と <math>\mathbf{v}</math> が''平行''であるとき''のみ'' [[可換]]かつ[[結合的]]である。実際、
: <math>\mathbf{u} \oplus \mathbf{v}=\mathrm{gyr}[\mathbf{u},\mathbf{v}](\mathbf{v} \oplus \mathbf{u})
</math>
かつ
: <math>\mathbf{u} \oplus (\mathbf{v} \oplus \mathbf{w}) = (\mathbf{u} \oplus \mathbf{v})\oplus \mathrm{gyr}[\mathbf{u},\mathbf{v}]\mathbf{w}</math>
が成り立つ。ここで、"gyr"は Thomas precession をThomas gyrationというオペレータに抽象化したものであり、各 '''w''' に対して
: <math>\mathrm{gyr}[\mathbf{u},\mathbf{v}]\mathbf{w}=\ominus(\mathbf{u} \oplus \mathbf{v}) \oplus (\mathbf{u} \oplus (\mathbf{v} \oplus \mathbf{w}))</math>
で与えられる。Thomas precessionは双曲幾何学において負のhyperbolic triangle defectとしての表現を持つ。

==== ローレンツ変換の合成 ====
3次元ベクトルに対する3×3行列で表された回転がgyr['''u''','''v''']で与えられる場合、4次元に対する回転を表す4×4行列は以下で与えられる<ref name="relcompara"/>。
: <math>
\mathrm{Gyr}[\mathbf{u},\mathbf{v}]=
\begin{pmatrix}
1 & 0 \\
0 & \mathrm{gyr}[\mathbf{u},\mathbf{v}]
\end{pmatrix}
</math>
速度 '''u''' 、 '''v''' に対応する2つの [[ローレンツ変換|ローレンツブースト]] B('''u'''), B('''v''')の合成は以下で与えられる。<ref name="relcompara">Ungar, A. A: [http://www.springerlink.com/content/g157304vh4434413/ The relativistic velocity composition paradox and the Thomas rotation.] Found. Phys. 19, 1385–1396 (1989)</ref><ref>{{cite journal|last=Ungar|first=A. A.|year=2000|title=The relativistic composite-velocity reciprocity principle|journal=Foundations of Physics|volume=30|issue=2|pages=331|publisher=Springer|doi=10.1023/A:1003653302643|citeseerx=10.1.1.35.1131}}</ref>
: <math>B(\mathbf{u})B(\mathbf{v})=B(\mathbf{u}\oplus\mathbf{v})\mathrm{Gyr}[\mathbf{u},\mathbf{v}]=\mathrm{Gyr}[\mathbf{u},\mathbf{v}]B(\mathbf{v}\oplus\mathbf{u})</math>
回転を前に書くか後に書くかに依存して、合成がB('''u'''<math>\oplus</math>'''v''')かB('''v'''<math>\oplus</math>'''u''')のどちらか一方を使って表されるという事実から、velocity composition paradoxが説明される。

2つのローレンツ変換 L('''u''',U), L('''v''',V) の合成をU,Vを含んだ形で書くと次のようになる。<ref>eq. (55), Thomas rotation and the parametrization of the Lorentz transformation group, AA Ungar – Foundations of Physics Letters, 1988</ref>
: <math>L(\mathbf{u},U)L(\mathbf{v},V)=L(\mathbf{u}\oplus U\mathbf{v}, \mathrm{gyr}[\mathbf{u},U\mathbf{v}]UV)</math>
ここで、ローレンツブーストは4×4行列で表すことができる。ブースト行列 B('''v''') はブーストBを表しており、'''v'''の要素、すなわち ''v''<sub>1</sub>, ''v''<sub>2</sub>, ''v''<sub>3</sub> が行列の要素に現れる。 行列の要素は3次元ベクトル '''v'''の要素に依存しており、B('''v''')という表記はこれを意味するものである。 実際のところ、各要素は4次元ベクトルの要素で表すこともできる。これは、4次元ベクトルの要素のうち3つは3次元ベクトルと同じだからである。しかし、ブーストを3次元ベクトルでパラメトライズする場合、2つのブーストの合成の4×4行列表現 B(u <math>\oplus</math> v) が3次元ベクトルの合成 '''u'''<math>\oplus</math>'''v''' の要素で表せるという利点がある。しかし、合成結果のブーストに対しても回転行列をかける必要がある。なぜなら、ブーストの合成（2つの4×4行列の積）が純粋なブーストではなくブーストと回転の合成となるからである。具体的には、回転 Gyr['''u''','''v'''] を用いてB('''u''')B('''v''') = B('''u'''<math>\oplus</math>'''v''')Gyr['''u''','''v'''] = Gyr['''u''','''v''']B('''v'''<math>\oplus</math>'''u''') となる。

==== アインシュタインジャイロベクトル空間 ====
sを正の定数、  (V,+,.) を実[[計量ベクトル空間|内積空間]]とする。 ''V''<sub>''s''</sub>={'''v''' &nbsp;∈&nbsp; V :|'''v'''|&lt;s}とする。アインシュタインジャイロベクトル空間は(''V''<sub>''s''</sub>,&#x20;<math>\oplus</math>)に次で定義されるスカラー倍を加えたものである： ''r''<math>\otimes</math>'''v'''&#x20;=&#x20;''s''&#x20;tanh(''r''&#x20;tanh<sup>&#x2212;1</sup>(|'''v'''|/''s''))'''v'''/|'''v'''| （ただし''r'' は任意の実数、'''v''' &#x20;∈&#x20;''V''<sub>''s''</sub>、 '''v'''&#x20;≠&#x20;'''0'''、''r''&#x20;<math>\otimes</math>&nbsp;'''0'''&#x20;=&#x20;'''0''' ）。'''v'''&#x20;<math>\otimes</math>&nbsp;''r''&#x20;=&#x20;''r''&#x20;<math>\otimes</math>&nbsp;'''v'''と表記する。

このスカラー倍は一般には<math>\oplus</math>に対して分配則が成り立たない（ジャイロベクトルがcolinearのときは成り立つ）。一方、ベクトル空間で成り立つような以下の性質はジャイロベクトル空間でも成り立つ。ここでnは正の整数、 ''r'',''r''<sub>1</sub>,''r''<sub>2</sub><span>は実数、</span>'''v'''&#x20;∈&#x20;''V''<sub>''s''</sub><span>とする。</span>
{| class="wikitable" style="margin-bottom: 34px;"
| ''n''&nbsp;<math>\otimes</math>&nbsp;'''v'''&nbsp;=&nbsp;'''v'''&nbsp;<math>\oplus</math>&nbsp;...&nbsp;<math>\oplus</math>&nbsp;'''v'''
|''n倍''
|-
| (''r''<sub>1</sub>&nbsp;+&nbsp;''r''<sub>2</sub>)&nbsp;<math>\otimes</math>&nbsp;'''v'''&nbsp;=&nbsp;''r''<sub>1</sub>&nbsp;<math>\otimes</math>&nbsp;'''v'''&nbsp;<math>\oplus</math>&nbsp;''r''<sub>2</sub>&nbsp;<math>\otimes</math>&nbsp;'''v'''
|スカラーの分配則
|-
| (''r''<sub>1</sub>''r''<sub>2</sub>)&nbsp;<math>\otimes</math>&nbsp;'''v'''&nbsp;=&nbsp;''r''<sub>1</sub>&nbsp;<math>\otimes</math>&nbsp;(''r''<sub>2</sub>&nbsp;<math>\otimes</math>&nbsp;'''v''')
|スカラーの結合則
|-
| ''r''&nbsp;<math>\otimes</math>(''r''<sub>1</sub>&nbsp;<math>\otimes</math>&nbsp;'''a'''&nbsp;<math>\oplus</math>&nbsp;''r''<sub>2</sub>&nbsp;<math>\otimes</math>&nbsp;'''a''')&nbsp;=&nbsp;''r''&nbsp;<math>\otimes</math>(''r''<sub>1</sub>&nbsp;<math>\otimes</math>&nbsp;'''a''')&nbsp;<math>\oplus</math>&nbsp;''r''&nbsp;<math>\otimes</math>(''r''<sub>2</sub>&nbsp;<math>\otimes</math>&nbsp;'''a''') 
| Monodistributive law
|}

=== ポアンカレdisc/ballモデルとメビウス加算 ===
[[複素平面]]における開[[単位円板]]の[[メビウス変換]]は次の極座標分解で与えられる。
: <math>z\to {e^{i\theta}}{\frac{a+z}{1+a\bar{z}}}</math> which defines the Möbius addition <math>{a\oplus_M {z}}= \frac{a+z}{1+a\bar{z}}</math> 
これは <math>e^{i\theta} {(a\oplus_M {z})} </math> と表すことができる。ただし、ここで導入した演算 <math>{a\oplus_M {z}}= \frac{a+z}{1+a\bar{z}}</math>がメビウス加算である。
これを高次元に拡張すると、複素数は平面<math>\mathbf{\mathrm{R}}^2</math>上のベクトルとなり、メビウス加算は次のようにベクトルの形で書き直される。
: <math>\mathbf{u} \oplus_M \mathbf{v}=\frac{(1+\frac{2}{s^2}\mathbf{u}\cdot\mathbf{v}+\frac{1}{s^4}|\mathbf{v}|^2)\mathbf{u}+(1-\frac{1}{s^2}|\mathbf{u}|^2)\mathbf{v}}{1+\frac{2}{s^2}\mathbf{u}\cdot\mathbf{v}+\frac{1}{s^4}|\mathbf{u}|^2|\mathbf{v}|^2}</math>
これは、s=1の[[ポワンカレの円板モデル|ポワンカレ球体模型]]のベクトルの加算を任意のs>0に対してしたものである。

=== メビウスジャイロベクトル空間 ===
sを正の定数とする。(V,+,.) を実[[計量ベクトル空間|内積空間]]とし、V<sub>s</sub>={'''v''' &#x20;∈&#x20; V :|'''v'''|&lt;s}とする。メビウスジャイロベクトル空間(Vs, <math>\oplus</math> , <math>\otimes</math>) は、メビウスジャイロ群(''V''<sub>''s''</sub>,&#x20;<math>\oplus</math>)にスカラー倍 ''r''&#x20;<math>\otimes</math>'''v'''&#x20;=&#x20;''s''&#x20;tanh(''r''&#x20;tanh<sup>&#x2212;1</sup>(|'''v'''|/''s''))'''v'''/|'''v'''| （''r'' は任意の実数、'''v''' &#x20;∈&#x20;''V''<sub>''s''</sub>, '''v'''&#x20;≠&#x20;'''0'''、 ''r''&#x20;<math>\otimes</math>&nbsp;'''0'''&#x20;=&#x20;'''0'''） を加えたものである。ここで、 '''v'''&#x20;<math>\otimes</math>&nbsp;''r''&#x20;=&#x20;''r''&#x20;<math>\otimes</math>&nbsp;'''v'''と表記する。

メビウススカラー倍は上述のアインシュタインスカラー倍と一致する。これは、メビウス加算とアインシュタイン加算が平行な2ベクトルに対しては一致することから得られる。

=== 固有速度空間モデルと固有速度加算 ===
双曲幾何学における固有速度空間モデルは、[[固有速度]]に以下の固有速度加算公式を加えることで与えられる。<ref name="ung1997">[http://www.springerlink.com/content/ek01732401140t52/ Thomas Precession: Its Underlying Gyrogroup Axioms and Their Use in Hyperbolic Geometry and Relativistic Physics], Abraham A. Ungar, Foundations of Physics, Vol. 27, No. 6, 1997</ref><ref>Ungar, A. A. (2006), [http://www.jpier.org/PIER/pier60/04.0512151.Ungar.pdf "The relativistic proper-velocity transformation group"], ''Progress in Electromagnetics Research'', PIER '''60''', pp. 85–94, equation (12)</ref>
: <math>\mathbf{u} \oplus_U \mathbf{v}=\mathbf{u}+\mathbf{v}+\left\{ {\frac{\beta_\mathbf{u}}{1+\beta_\mathbf{u}}}{\frac{\mathbf{u}\cdot\mathbf{v}}{c^2}} + {\frac{1 - \beta_\mathbf{v}}{\beta_\mathbf{v}}} \right\}  \mathbf{u} </math>
ここで、<math>\beta_\mathbf{w}</math>は<math>\beta_\mathbf{w}=\frac{1}{\sqrt{1+\frac{|\mathbf{w}|^2}{c^2}}}</math>で与えられるベータ因子である。

他の双曲幾何学的モデルが円板や半平面を用いるのに対し、この公式は空間全体を用いるモデルを与える。

固有速度ジャイロ空間は、実内積空間Vに固有速度ジャイロ加算<math>\oplus_U</math>とスカラー倍 ''r''&#x20;<math>\otimes</math>'''v'''&#x20;=&#x20;''s''&#x20;sinh(''r''&#x20;sinh<sup>&#x2212;1</sup>(|'''v'''|/''s''))'''v'''/|'''v'''| （''r'' は実数、'''v''' &#x20;∈&#x20;''V''、 '''v'''&#x20;≠&#x20;'''0'''、 ''r''&#x20;<math>\otimes</math>&nbsp;'''0'''&#x20;=&#x20;'''0''' ）を加えたものである。

=== 同型写像 ===
ジャイロ空間の[[同型写像]]は、ジャイロ群の加算とスカラー倍、そして内積を保つ。

先に述べた3つのジャイロ空間（メビウスジャイロ空間、アインシュタインジャイロ空間、固有速度ジャイロ空間）は同型である。

M, E, Uをそれぞれメビウス、アインシュタイン、固有速度ジャイロベクトル空間とし、それぞれの要素 '''v'''<sub>m</sub>, '''v'''<sub>e, </sub>'''v'''<sub>u</sub> を取る。このとき、これらの間の同型写像は以下のように与えられる。
{| class="wikitable" style="margin-bottom: 10px;"
| E<math>\rightarrow</math>U by <math>\gamma_{\mathbf{v}_e} \mathbf{v}_e</math>
|-
| U<math>\rightarrow</math>E by <math>\beta_{\mathbf{v}_u} \mathbf{v}_u</math>
|-
| E<math>\rightarrow</math>M by <math>\frac{1}{2} \otimes_E \mathbf{v}_e</math>
|-
| M<math>\rightarrow</math>E by <math>2 \otimes_M \mathbf{v}_m</math>
|-
| M<math>\rightarrow</math>U by <math>2 {{{\gamma}^{2}}_{\mathbf{v}_m}} \mathbf{v}_m</math>
|-
| U<math>\rightarrow</math>M by <math>\frac{\beta_{\mathbf{v}_u}}{1+\beta_{\mathbf{v}_u}}\mathbf{v}_u</math>
|}
ただし、 <math>\oplus_E</math>と<math>\oplus_M</math>は次の等式で与えられる。

:<math>\mathbf{u}\oplus_E\mathbf{v}=2\otimes\left({\frac{1}{2}\otimes\mathbf{u}\oplus_M\frac{1}{2}\otimes\mathbf{v}}\right)</math>

:<math>\mathbf{u}\oplus_M\mathbf{v}=\frac{1}{2}\otimes\left({2\otimes\mathbf{u}\oplus_E 2\otimes\mathbf{v}}\right)</math>

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

=== Gyrotrigonometry ===
Gyrotrigonometryはジャイロの概念を双曲三角法（hyperbolic trigonometry）の研究に用いるものである。

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

==== 三角形の中心 ====
[[三角形の中心]]は伝統的にはユークリッド幾何学において考慮される概念であるが、双曲幾何学においても研究の対象となりうる。 gyrotrigonometryを用いると、重心座標系をユークリッド幾何学と双曲幾何学に共通の表現で表すことができる。 表現が一致するためには、 三角形の角の和が180度になるという法則を表現が''含まない''必要がある。<ref>[http://ajmaa.org/searchroot/files/pdf/v6n1/v6i1p18.pdf Hyperbolic Barycentric Coordinates], 
Abraham A. Ungar, The Australian Journal of Mathematical Analysis and Applications, AJMAA, Volume 6, Issue 1, Article 18, pp. 1–35, 2009</ref><ref>[https://www.springer.com/astronomy/cosmology/book/978-90-481-8636-5 Hyperbolic Triangle Centers: The Special Relativistic Approach], Abraham Ungar, Springer, 2010</ref><ref name="barycalc">[http://www.worldscibooks.com/mathematics/7740.html Barycentric Calculus In Euclidean And Hyperbolic Geometry: A Comparative Introduction], Abraham Ungar, World Scientific, 2010</ref>

==== ジャイロ平行四辺形の加算 ====
gyrotrigonometryを用いると、ジャイロ平行四辺形 （gyroparallelogram）の法則に従うジャイロベクトルの加法が得られる。 実はこれはジャイロ群のcoadditionになっている。ジャイロ平行四辺形の加算は可換である。

'''ジャイロ中線定理'''（gyroparallelogram law）は[[中線定理]]と似た定理である。普通の平行四辺形の2つの対角線が互いの中点で交わる（中線定理）のと同様に、ジャイロ平行四辺形は2つのジャイロ対角線（gyrodiagonals）が互いのジャイロ中点（gyromidpoints）で交わるような双曲的四角形である。<ref>Abraham A. Ungar (2009), "A Gyrovector Space Approach to Hyperbolic Geometry", Morgan & Claypool, {{ISBN2|1-59829-822-4|978-1-59829-822-2}}</ref>

=== ブロッホベクトル ===
ユークリッド3次元空間上の開単位球面に属する[[ブロッホ球|ブロッホベクトル]]は、アインシュタイン加算<ref>[[arxiv:quant-ph/0112169|Geometric observation for the Bures fidelity between two states of a qubit]], Jing-Ling Chen, Libin Fu, Abraham A. Ungar, Xian-Geng Zhao, Physical Review A, vol. 65, Issue 2</ref> やメビウス加算を用いて調べられる。

== 書評 ==
初期のジャイロベクトルに関するある本<ref>Abraham A. Ungar (2002), "Beyond the Einstein Addition Law and Its Gyroscopic Thomas Precession: The Theory of Gyrogroups and Gyrovector Spaces", Kluwer, {{ISBN2|1-4020-0353-6|978-1-4020-0353-0}}</ref>に対する書評は次のように述べている。<blockquote class="" style="">
長年、非ユークリッド幾何学的な手法を相対論や電磁気学の問題解決に応用する試みはわずかしか無かった。肯定的な結果も無く後続の研究には魅力も無いという状況では、似たような研究をしようとする人が躊躇ってしまうのは必然である。最近まで、1912年に登場した手法を改良することが誰もできなかったのだ。Ungarの新しい本で、彼は非ユークリッド的手法からこれまで致命的に欠如していた要素を与える。それは、アインシュタインの速度合成の構造を完全に保つエレガントな非結合的代数構造である。
<ref>Scott Walter, Foundations of Physics 32:327–330 (2002).  [http://www.univ-nancy2.fr/DepPhilo/walter/papers/fop32.htm A book review],</ref>
</blockquote>

== 参考文献 ==
{{reflist}}

== 関連書籍 ==
{{refbegin|2}}
*{{cite book|title=Gyrovectors: an Approach to Hyperbolic Geometry|url=https://books.google.com/books?id=dlFTgrhqm3IC&pg=PR12&lpg=PR12&dq=gyrovectors+an+approach+to+hyperbolic+geometry#v=onepage&q=gyrovectors%20an%20approach%20to%20hyperbolic%20geometry&f=false|author=A. A. Ungar|publisher=Morgan & Claypool Publishers|year=2009|isbn=159-829-822-4|issue=4|series=Synthesis lectures on mathematics and statistics}}
*{{cite book|title=Mathematical Analysis and Applications|url=https://books.google.com/books?id=rhjvAAAAMAAJ&q=gyrovector&dq=gyrovector
|author=T. M. Rassias|pages=307, 326, 336|publisher=Hadronic Press|year=2000|isbn=157-485-045-8|series=Collection of Articles in Mathematics}}
*Maks A. Akivis And Vladislav V. Goldberg (2006), [http://www.ams.org/journals/bull/2006-43-02/home.html Local Algebras Of A Differential Quasigroup], Bulletin AMS, Volume 43, Number 2
*Oğuzhan Demirel, Emine Soytürk (2008), [http://www.emis.de/journals/NSJOM/Papers/38_2/NSJOM_38_2_033_039.pdf 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), [https://arxiv.org/pdf/0706.1956 Spherical continuous wavelet transforms arising from sections of the Lorentz group], Applied and Computational Harmonic Analysis, Elsevier
*T Foguel (2000), Comment. Math. Univ. Carolinae, [http://www.emis.ams.org/journals/CMUC/pdf/cmuc0002/foguel.pdf 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, {{ISBN2|3-11-014251-1|978-3-11-014251-8}}
*Florian Girelli, Etera R. Livine (2004), [https://arxiv.org/abs/gr-qc/0407098 Special Relativity as a non commutative geometry: Lessons for Deformed Special Relativity], Phys. Rev. D 81, 085041 (2010)
*Sejong Kim, Jimmie Lawson (2011), [https://www.math.lsu.edu/~ksejong/Smooth_Loops.pdf Smooth Bruck Loops, Symmetric Spaces, And Nonassociative Vector Spaces], Demonstratio Mathematica, Vol. XLIV, No 4
* Peter Levay (2003), [https://arxiv.org/abs/quant-ph/0312023v1 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), [http://forumgeom.fau.edu/FG2009volume9/FG200914.pdf On Trigonometric Proofs of the Steiner–Lehmus Theorem], Forum Geometricorum, 2009 – forumgeom.fau.edu
*Gonzalo E. Reyes (2003), [https://arxiv.org/abs/physics/0302065v1 On the law of motion in Special Relativity]
*Krzysztof Rozga (2000), Pacific Journal of Mathematics, Vol. 193, No. 1,[http://pjm.math.berkeley.edu/pjm/2000/193-1/pjm-v193-n1-p.pdf#page=203 On Central Extensions Of Gyrocommutative Gyrogroups]
*L.V. Sabinin (1995), [http://www.turpion.org/php/paper.phtml?journal_id=rm&paper_id=2628 "On the gyrogroups of Hungar"], RUSS MATH SURV, 1995, 50 (5), 1095–1096. <!-- “Hungar” is an alternate spelling? or, probably, incorrect translation? have such note a Russian title? --Incnis Mrsi -->
*L.V. Sabinin, L.L. Sabinina, Larissa Sbitneva (1998), ''[[Aequationes Mathematicae]]'', [http://www.mathnet.or.kr/mathnet/thesis_content.php?no=331803 On the notion of gyrogroup]
*L.V. Sabinin, Larissa Sbitneva, I.P. Shestakov (2006), "Non-associative Algebra and Its Applications",CRC Press,{{ISBN2|0-8247-2669-3|978-0-8247-2669-0}}
*F. Smarandache, C. Barbu (2010), [http://fs.gallup.unm.edu/MenelausInPoincareDiscModel.pdf 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, {{ISBN2|3-211-83443-5|978-3-211-83443-5}}
{{refend}}

== 外部リンク ==
*　[https://www.researchgate.net/profile/Abraham_Ungar/publication/235726885_Einstein%27s_Special_Relativity_The_Hyperbolic_Geometric_Viewpoint/links/00b49532babe63b291000000.pdf Einstein's Special Relativity: The Hyperbolic Geometric Viewpoint]
* {{cite paper | author=Abraham A. Ungar|id = {{Citeseerx|10.1.1.17.6107}} | title = Hyperbolic Trigonometry and its Application in the Poincaré Ball Model of Hyperbolic Geometry }}

{{DEFAULTSORT:しやいろへくとるくうかん}}

[[Category:ユークリッド幾何学]]
[[Category:双曲幾何学]]
[[Category:分配多元環]]
[[Category:量子力学]]
[[Category:特殊相対性理論]]