Geometric figure
単位双曲線は青、その共役線は緑、漸近線は赤です。
幾何学 において 、 単位双曲線は、 暗黙の方程式 を満たす 直交平面上の点( x 、 y ) の集合である。 不定直交群 の研究において 、単位双曲線は、 代替の半径長の基礎を形成する。
x
2
−
y
2
=
1.
{\displaystyle x^{2}-y^{2}=1.}
r
=
x
2
−
y
2
.
{\displaystyle r={\sqrt {x^{2}-y^{2}}}.}
単位円は 中心を囲むのに対し 、単位双曲線は 平面上で 共役双曲線によって補完されます。この2つの 双曲線は、 y = x と y = − xの 漸近線 を共有します 。単位双曲線の共役双曲線が使用される場合、代替の半径は
y
2
−
x
2
=
1
{\displaystyle y^{2}-x^{2}=1}
r
=
y
2
−
x
2
.
{\displaystyle r={\sqrt {y^{2}-x^{2}}}.}
単位双曲線は 、特定の 方向 、 位置 、および スケールを持つ 直角双曲線 の特殊なケースである。したがって、その 離心率は [1] に等しい。
2
.
{\displaystyle {\sqrt {2}}.}
単位双曲線は、解析幾何学において円を双曲線に置き換えなければならないような応用例がある。顕著な例は、 時空を 擬ユークリッド空間 として描写することである 。そこでは、単位双曲線の漸近線は 光円錐を形成する。さらに、 グレゴワール・ド・サン=ヴァンサン による 双曲扇形 の面積への注目は、 対数 関数と、扇形の面積による双曲線の現代的な媒介変数化につながった 。共役双曲線と双曲線角の概念が理解されれば、単位円を中心とする古典的な 複素数を 、単位双曲線を中心とする数に置き換えることができる。
漸近線
一般的に、曲線の漸近線は曲線に向かって収束すると言われます。 代数幾何学と 代数曲線 理論では 、漸近線に対する異なるアプローチがあります。曲線はまず、 同次座標 を用いて 射影平面上で解釈されます。そして、漸近線は射影曲線の 無限遠点 における接線となり 、距離の概念や収束の必要性を回避します。一般的な枠組みでは、( x, y, z )は同次座標であり、無限 遠点における直線は z = 0という方程式で決定されます。 例えば、CGギブソンは次のように書いています。 [2]
における 標準的な直角双曲線の場合 、対応する射影曲線は、 点 P = (1 : 1 : 0)および 点Q = (1 : −1 : 0)で z = 0と交わる曲線である。P と Q はどちらも F 上で 単純で あり 、接線 x + y = 0、 x − y = 0となる。こうして、初等幾何学でよく知られている「漸近線」が得られる。
f
=
x
2
−
y
2
−
1
{\displaystyle f=x^{2}-y^{2}-1}
R
2
{\displaystyle \mathbb {R} ^{2}}
F
=
x
2
−
y
2
−
z
2
,
{\displaystyle F=x^{2}-y^{2}-z^{2},}
ミンコフスキー図
ミンコフスキー 図は 、空間的側面が一次元に限定された時空平面上に描かれる。この平面上の距離と時間の単位は
これらの座標スケールのそれぞれにより、 傾き がプラスまたはマイナス 1の対角線に沿ったイベントの 光子接続がもたらされます。 ヘルマン ミンコフスキーが 相対性変換を説明するために使用した図は、5 つの要素で構成されています 。単位双曲線、その 共役双曲線 、双曲線の軸、単位双曲線の直径、および 共役直径です 。軸のある平面は、静止 参照フレームを指します。単位双曲線の直径は、 ラピディティ a で運動している参照フレームを表します。 ここで、tanh a = y / x であり、( x 、 y ) は単位双曲線上の直径の終点です。共役直径は、ラピディティ a に対応する 同時性の空間超平面 を表します。このコンテキストでは、単位双曲線は 較正双曲線です [3] [4]
一般に、相対性研究では、垂直軸を持つ双曲線が主要と見なされます。
時間の矢印は図の下から上へと伸びています。これは リチャード・ファインマン が有名な図で採用した慣例です。空間は時間軸に垂直な平面で表されます。「今ここ」は真ん中の特異点です。 [5]
垂直な時間軸の慣習は 1908 年のミンコフスキーに由来し、エディントンの 『物理世界の性質』 (1928 年)の 48 ページにも示されています。
パラメータ化
単位双曲線の枝は、 双曲線の角度パラメータに応じて点 およびとして発展します 。
(
cosh
a
,
sinh
a
)
{\displaystyle (\cosh a,\sinh a)}
(
−
cosh
a
,
−
sinh
a
)
{\displaystyle (-\cosh a,-\sinh a)}
a
{\displaystyle a}
単位双曲線をパラメータ化する直接的な方法は、 指数関数でパラメータ化された双曲線 xy = 1から始まります 。
(
e
t
,
e
−
t
)
.
{\displaystyle (e^{t},\ e^{-t}).}
この双曲線は 、 行列
A
=
1
2
(
1
1
1
−
1
)
:
{\displaystyle A={\tfrac {1}{2}}{\begin{pmatrix}1&1\\1&-1\end{pmatrix}}\ :}
(
e
t
,
e
−
t
)
A
=
(
e
t
+
e
−
t
2
,
e
t
−
e
−
t
2
)
=
(
cosh
t
,
sinh
t
)
.
{\displaystyle (e^{t},\ e^{-t})\ A=({\frac {e^{t}+e^{-t}}{2}},\ {\frac {e^{t}-e^{-t}}{2}})=(\cosh t,\ \sinh t).}
このパラメータ tは 双曲線角 であり、 双曲線関数 の 引数 です 。
パラメータ化された単位双曲線の初期の表現は、 W・K・クリフォードの『 力学の原理』 (1878年)に見られる 。彼は双曲線における準調和運動を次のように記述している。
この運動は 楕円振動と興味深い類似点を持つ。… したがって、加速度は常に楕円振動と同様に中心からの距離に比例するが、 中心から 離れる方向に向く。 [6]
ρ
=
α
cosh
(
n
t
+
ϵ
)
+
β
sinh
(
n
t
+
ϵ
)
{\displaystyle \rho =\alpha \cosh(nt+\epsilon )+\beta \sinh(nt+\epsilon )}
ρ
¨
=
n
2
ρ
;
{\displaystyle {\ddot {\rho }}=n^{2}\rho \ ;}
双曲線は特殊な 円錐曲線 であるため、円錐曲線上の点の加法によって媒介変数化することができます。ロシアの分析家は次のように説明しています。
円錐曲線上に点 Eを定めます。Eを通り AB に平行な 直線が円錐曲線と2度目に交わる点を、 点 A と点Bの和 とします。
固定点 E = (1,0)を持つ双曲線の場合、点 と 点の和は パラメータ化による 点であり 、この加算はパラメータ t の加算に対応する 。 [7]
x
2
−
y
2
=
1
{\displaystyle x^{2}-y^{2}=1}
(
x
1
,
y
1
)
{\displaystyle (x_{1},\ y_{1})}
(
x
2
,
y
2
)
{\displaystyle (x_{2},\ y_{2})}
(
x
1
x
2
+
y
1
y
2
,
y
1
x
2
+
y
2
x
1
)
{\displaystyle (x_{1}x_{2}+y_{1}y_{2},\ y_{1}x_{2}+y_{2}x_{1})}
x
=
cosh
t
{\displaystyle x=\cosh \ t}
y
=
sinh
t
{\displaystyle y=\sinh \ t}
複素平面代数
単位円は 複素数 と関連しているのに対し、単位双曲線は z = x + yj (ただし j 2 = +1) からなる 複素数平面において重要な役割を果たします。すると jz = y + xj となるので、平面における j の作用は 座標の交換です。具体的には、この作用は単位双曲線とその共役双曲線の交換、および 双曲線の
共役直径のペアの交換です。
双曲線角 パラメータ a に関して 、単位双曲線は点から構成される。
±
(
cosh
a
+
j
sinh
a
)
{\displaystyle \pm (\cosh a+j\sinh a)}
ここで、 j = (0,1) です。
単位双曲線の右枝は正の係数に対応する。実際、この枝は j 軸に作用する 指数写像 の像である。したがって、この枝は曲線である。 曲線の a における傾きは 、 導関数 で与えられる。
f
(
a
)
=
exp
(
a
j
)
.
{\displaystyle f(a)=\exp(aj).}
f
′
(
a
)
=
sinh
a
+
j
cosh
a
=
j
f
(
a
)
.
{\displaystyle f^{\prime }(a)=\sinh a+j\cosh a=jf(a).}
任意の a に対して、 )は に 双曲直交する。この関係は、i 2 = − 1のときの exp( a i) と i exp( a i) の直交性に類似している。
f
′
(
a
{\displaystyle f^{\prime }(a}
f
(
a
)
{\displaystyle f(a)}
なので 、枝は乗法のもとで 群 となる。
exp
(
a
j
)
exp
(
b
j
)
=
exp
(
(
a
+
b
)
j
)
{\displaystyle \exp(aj)\exp(bj)=\exp((a+b)j)}
円群 とは異なり 、この単位双曲線群は コンパクト ではありません 。通常の複素平面と同様に、対角線上にない点は、単位双曲線の媒介変数化と交互半径長を用いて 極分解さ れます。
参考文献