メビウス変換
幾何学における平面上のメビウス変換(メビウスへんかん、Möbius transformation)は、
f(z) = \frac{a z + b}{c z + d}
の形で表される複素一変数 z に関する有理函数である。ここで、係数 a, b, c, d は ad − bc ≠ 0 を満足する複素定数である。
幾何学的にはメビウス変換は、複素数平面を実二次元球面へ立体射影したものの上で回転と平行移動により各点の位置と向きを変更したものを再度平面に立体射影することによって得られる。これらの変換は
「角度」を保ち(「等角性」)、
任意の「直線または円」を「直線または円」に写し(「円円対応」)、
円に対して対称な二点は、メビウス変換の像の円に関しても対称な二点に写る(「対称原理」)。
メビウス変換は複素射影直線上の射影変換であり、その全体はメビウス群と呼ばれる射影一般線型群PGL(2, C) を成す。メビウス群およびその部分群は数学および物理学においてさまざまな応用を持つ。
メビウス変換の名はアウグスト・フェルディナント・メビウスの業績に因むものだが、ほかにも射影変換や一次分数変換(あるいは単に一次変換)などと呼ばれることもある。
メビウス変換は通例、ガウス平面にただひとつの無限遠点を付け加えて得られる拡張複素平面 C = C ∪ ∞ 上で定義されるものとして扱われる。拡張複素平面はリーマン球面と呼ばれる球面とみることもできるし、複素射影直線 CP1 とみることもできる。どんなメビウス変換も、リーマン球面からそれ自身への全単射な共形変換になり、また逆にそのような変換は実際にメビウス変換とならねばならない。
メビウス変換全体の成す集合は写像の合成を積として、メビウス群と呼ばれる群を成す。メビウス群は(リーマン球面をリーマン面とみなしたときの)リーマン球面上の自己同型群であり、しばしば Aut(C) と記される。メビウス群は双曲的三次元空間上の向きを保つ等距変換全体の成す群に同型で、それゆえ双曲的三次元多様体の研究において重要な役割を演じる。
物理学においては、メビウス群がリーマン球面に作用するのと同じやり方で、ローレンツ群の単位成分が天球に作用する(実はこれらふたつの群は同型である)。相対論的速度にまで加速した観測者には、地球付近での見え方から無限小メビウス変換に従って連続的に変形された星座が見えているはずである。このような考察はしばしばツイスター理論の出発点として行われる。
メビウス群のいくつかの部分群は(ガウス平面や双曲平面などの)単連結リーマン面上の自己同型群を成す。そのような事情から、メビウス変換はリーマン面の理論においても重要な働きをする。どんなリーマン面の基本群もメビウス群の離散部分群となるのである(フックス群、クライン群など参照)。メビウス群の特に重要な離散部分群としてモジュラー群があり、それはフラクタルやモジュラー形式、楕円曲線あるいはペル方程式などといった多くの理論において中心的な役割を果たしている。
もっと一般に n > 2 なる次元を持つ空間においても、メビウス変換をn-次元超球面からそれ自身への向きを保つ全単射共形変換として定義することができる(そのような変換はその領域における共形変換のもっとも一般な形のものである)。共形写像に関するリウヴィルの定理に従えば、メビウス変換は平行移動、相似変換、直交変換、反転の合成として表すことができる。
メビウス変換の一般形は、a, b, c, d を ad − bc ≠ 0 を満たす任意の複素数として
f(z) = \frac{a z + b}{c z + d}
で与えられる(ad = bc ならば、上記の有理函数は定数であって、メビウス変換とはみなされない)。c ≠ 0 の場合、これは
f\!\left({-d\over c}\right) = \infin,\quad f(\infin) = {a\over c}
と定義することにより、リーマン球面全体まで拡張される。また、c = 0 ならば
f(\infin) = \infin
と定義すれば、f(z) はリーマン球面からそれ自身への全単射な正則函数となる。
メビウス変換全体の成す集合は写像の合成に関して群を成す。上記の定義からメビウス函数の合成も反転も正則となり、この群には複素多様体の構造が与えられる。すなわち、メビウス群は複素リー群である。メビウス群は通例、リーマン球面の自己同型群と看做して \mathrm{Aut}(\hat{\mathbb{C}) と書かれる。
メビウス変換はもっと単純な変換の列に等価である。実際、
d/c による平行移動f_1(z)= z+{d\over c},
反転変換および実軸に関する鏡映変換f_2(z)= {1\over z},
拡縮変換および回転変換f_3(z)= \left({-(ad-bc)\over c^2}\right) \cdot z,
a/c による平行移動f_4(z)= z+{a\over c}
とおけば、これらの合成
(f_4\circ f_3\circ f_2\circ f_1)(z)= f(z) = \frac{az+b}{cz+d}
はメビウス変換を与える。このようにメビウス変換を分解することで、メビウス変換のもつ多くの性質を浮き彫りにすることができる。メビウス逆変換の存在とその明示的な表示式は、この分解における単純な変換の逆変換を考えば、それらの合成を行うことによって直ちに導かれる。要するに、変換 g1, g2, g3, g4 を、各 gi が上記 fi の逆変換とすると、それらの合成
(g_1\circ g_2\circ g_3\circ g_4)(z) = f^{-1}(z) = \frac{dz-b}{-cz+a}
が、メビウス逆変換の式を与えるのである。
上述の分解から、円に関する反転 (circle inversion) についての非自明な性質がすべてメビウス変換にも遺伝していることが確認できる。たとえば、メビウス変換が等角写像となることは、反転以外の変換は拡大縮小と等距変換(平行移動、鏡映、回転)で明らかに角を保つので、円に関する反転が角を保つことの証明に帰着される。あるいはさらに、円に関する反転が広義の円を広義の円に写すことから、メビウス変換も同じ性質を持つ。ここで「広義の円」とは、直線については無限遠点を通る半径無限大の円と考えて円と直線をひとまとめに扱った概念である。メビウス変換によって狭義の円が直線に、直線が狭義の円に移ることもあり、必ずしも狭義の円が狭義の円に、直線が直線に写されるものとは限らないことに留意すべきである。また、円が円に移る場合においても、一方の円の中心が他方の円の中心に移るとは限らないことにも注意。
複比 (Cross-ratio) はメビウス変換で不変である。すなわち、メビウス変換が相異なる4つの点 z1, z2, z3, z4 を相異なる4つの点 w1, w2, w3, w4 にそれぞれ移すならば
\frac{(z_1-z_3)(z_2-z_4)}{(z_2-z_3)(z_1-z_4)} =
\frac{(w_1-w_3)(w_2-w_4)}{(w_2-w_3)(w_1-w_4)}
が成立する。z1, z2, z3, z4 のうちの一点が無限遠点ならば、複比は自然な極限をとったものとして定義する。たとえば z1, z2, z3, ∞ の複比は
\frac{(z_1-z_3)}{(z_2-z_3)}
である。
任意の 2 × 2 複素正則行列
\mathfrak H = \begin{pmatrix} a & b \\ c & d \end{pmatrix}
に対して、メビウス変換
f(z) = \frac{a z + b}{c z + d}
を対応させる。ad − bc ≠ 0 なる条件は、先の行列の行列式が 0 でない(つまり正則である)という条件と等価である。
ふたつの行列の積が対応するふたつのメビウス変換の合成に対応することは、直接計算で確かめることができる。言葉を変えれば、一般線型群 GL(2, C) からメビウス群への写像
\pi\colon \mathit{GL}(2,\mathbb{C}) \to \mbox{Aut}(\hat{\mathbb{C});\quad \mathfrak{H} \mapsto f
は、群準同型を定めている。ここで注意すべきは \mathfrak H を複素数 λ-倍して得られる行列はどれも同じメビウス変換に対応しているということであり、メビウス変換は対応する行列をそのようなスカラー倍の違いを除いて一意に決定するということである。すなわち、写像 π の核は単位行列 I のスカラー倍全体から成り、群の第一準同型定理から剰余群 GL(2, C)/(CI) がメビウス群に同型となることがわかる。さてこの剰余群は、一般射影線型群として知られ、通例 PGL(2, C) で表される。ここに、群の同型
\mbox{Aut}(\hat{\mathbb{C}) \cong \mathit{PGL}(2,\mathbb{C})
が得られたことになる。同様にして任意の体 K 上で、射影線型群 PGL(2, K) と射影分数変換全体の成す群、あるいは射影直線を保つ射影線型自己同型全体の成す群とが同一視できる。これは、特に K が有限体のとき、代数学的に意味のある事実である。一方、複素数体の場合は幾何学的に非常に重要である。
PGL(2,C) による複素射影直線 CP1 への自然な作用は、射影直線 CP1 とリーマン球面とを
[z_1 : z_2]\leftrightarrow z_1/z_2
なる対応で同一視することにより、メビウス群のリーマン球面への作用にちょうど一致する。ここで、 [z1 : z2] は CP1 上の斉次座標であり、点 [1 : 0] がリーマン球面上の無限遠点 ∞ に対応する。
斉次座標を用いれば無限遠点 ∞ についての場合を分けて扱わずに済むので、メビウス変換に関する具体的な計算の多くが簡素化される。
上で、考える行列 \mathfrak{H} を行列式が 1 のものに制限すれば、写像 \pi を制限して特殊線型群 SL(2,C) からメビウス群への全射が得られる。この状況下での核は単位行列の ±1-倍のみから成り、したがって剰余群 SL(2, C)/{±I}(これを PSL(2, C) と書く)とメビウス群との同型
\mbox{Aut}(\hat{\mathbb{C}) \cong \mathit{PSL}(2,\mathbb{C})
が得られる。このことから、メビウス群が 3-次元複素リー群(あるいは 6-次元実リー群)であることがわかる。これは半単純非コンパクトなリー群である。
任意に与えられたメビウス変換に対して、それを表現する行列式 1 の行列はちょうどふたつ存在する。つまり、SL(2, C) は PSL(2,C) の二重被覆である。また、SL(2, C) は単連結ゆえ、これはメビウス群の普遍被覆でもある。よって、メビウス群の基本群は Z2 であることがわかる。
リーマン球面上の相異なるみっつの点 z1, z2, z3 とさらに別の相異なるみっつの点 w1, w2, w3 が与えられたとき、zi をそれぞれ wi (i = 1, 2, 3) に写すメビウス変換 f(z) はただひとつ存在する(別な言いかたをすれば、メビウス群のリーマン球面への作用は鋭 3-重推移的である)。このように与えられた点集合からメビウス変換 f(z) を決定する方法がいくつか存在する。
\mathfrak{H}_1 = \begin{pmatrix}
z_2 - z_3 & -z_1 (z_2 - z_3)\\
z_2-z_1 & -z_3 (z_2-z_1)
\end{pmatrix}
f_1(z)= \frac {(z-z_1)(z_2-z_3)}{(z-z_3)(z_2-z_1)}
が z1, z2, z3 をそれぞれ 0, 1, ∞ にそれぞれ写すことを確かめることは難しくない(zi の何れかが ∞ であるときは、それが ziなら上の式で全部の成分を先に zi で割っておいて zi → ∞ なる極限をとったものを \mathfrak{H}_1 として考える)。
同様に行列 \mathfrak{H}_2 を w1, w2, w3 をそれぞれ 0, 1, ∞ に写すようにとり、行列
\mathfrak{H} = \mathfrak{H}_2^{-1} \mathfrak{H}_1
を考えれば、z1, z2, z3 をそれぞれ w1, w2, w3 に写すメビウス変換が得られる。
w=\frac{az+b}{cz+d}
は zw-平面における双曲線の標準形
c wz -az+dw -b=0
と等価であるから、三つ組 (z1, z2, z3) を別の三つ組 (w1, w2, w3) へ写すメビウス変換 \mathfrak{H}(z) を構成する問題は、(zi, wi) (i = 1, 2, 3) を通る双曲線の係数 a, b, c, d を求める問題に等価である。このとき、明示的な方程式は行列式
\det\!\begin{pmatrix} zw & z & w & 1 \\ z_1w_1 & z_1 & w_1 & 1 \\ z_2w_2 & z_2 & w_2 & 1 \\ z_3w_3 & z_3 & w_3 & 1 \end{pmatrix}
を評価することによって求められる。この式を第 1-行の各成分を中心として余因子展開することにより得られる
a=\det\!\begin{pmatrix} z_1w_1 & w_1 & 1 \\ z_2w_2 & w_2 & 1 \\ z_3w_3 & w_3 & 1 \end{pmatrix}
b=\det\!\begin{pmatrix} z_1w_1 & z_1 & w_1 \\ z_2w_2 & z_2 & w_2 \\ z_3w_3 & z_3 & w_3\end{pmatrix}
c=\det\!\begin{pmatrix} z_1 & w_1 & 1 \\ z_2 & w_2 & 1 \\ z_3 & w_3 & 1
\end{pmatrix}
d=\det\!\begin{pmatrix} z_1w_1 & z_1 & 1 \\ z_2w_2 & z_2 & 1 \\ z_3w_3 & z_3 & 1 \end{pmatrix}
を成分とする表現行列  \mathfrak{H} = \left(\scriptstyle\begin{matrix} a & b \\ c & d \end{matrix}\right) が得られるが、このようにして得られた \mathfrak{H} の行列式は
(z_1-z_2)(z_1-z_3)(z_2-z_3)(w_1-w_2)(w_1-w_3)(w_2-w_3)
に等しく、これはまた zi がどのふたつも一致せず、かつ wi がどのふたつも一致しないならば 0 にはならないから、これによってメビウス変換がきちんと定まる。点 zi または wi の何れかが無限遠点 ∞ であるときは、先によっつの行列式をその変数で割ってからそれを ∞ に飛ばした極限を考えるものとする。
明示公式は以下のようになる。
f(z)= \frac {w_1(w_3-w_2)(z_3-z_1)(z-z_2)-w_2(w_3-w_1)(z_3-z_2)(z-z_1)}{(w_3-w_2)(z_3-z_1)(z-z_2)-(w_3-w_1)(z_3-z_2)(z-z_1)}
恒等変換ではない任意のメビウス変換はリーマン球面上にふたつの不動点 γ1, γ2 を持つ。ただし、ここでふたつというのは重複度まで込めてふたつという意味である(つまり、抛物型変換についてはふたつの不動点が重なっているものと考える)。ふたつのうちの一方あるいは両方の不動点が無限遠にあってもよい。
f(z) = \frac{az + b}{cz + d}
の不動点は不動点方程式 f(γ) = γ を解くことで得られる。c ≠ 0 のとき展開して整理して得られる二次方程式
c \gamma^2 - (a - d) \gamma - b = 0
からふたつの根、つまり変換の不動点
\gamma = \frac{(a - d) \pm \sqrt{(a-d)^2 + 4bc}{2c} = \frac{(a - d) \pm \sqrt{(a+d)^2 - 4(ad-bc)}{2c}
は直ちに得られる。変換が抛物型なら (a + d)2 = 4(ad − bc) で不動点が一致することに注意する。また判別式は
(a-d)^2 + 4cb = (a-d)^2 + 4ad-4 = (a+d)^2-4 = (\text{tr}\,\mathfrak{H})^2 - 4
となる。c = 0 の場合は二次方程式は一次方程式に退化してしまうが、これは不動点が無限遠にある状況に対応している。このときさらに a ≠ d ならもう一方の不動点は有限であり、
\gamma=-\frac{b}{a-d}
で与えられる。この場合のメビウス変換は、平行移動と回転変換および拡縮変換の合成として
z \mapsto \alpha z + \beta
で与えられる単純な変換になる。いっぽう、c = 0 かつ a = d の場合は不動点がふたつとも無限遠にあるときで、メビウス変換が純粋な平行移動として
z \mapsto z + \beta
なる形に表される状況に対応している。
位相幾何学的には、(恒等変換でない)メビウス変換が 2-点を固定するという事実は
\chi(\hat{\mathbb{C})=2,
つまり、(リーマン)球面のオイラー標数が 2 であることに対応している。まず、射影線型群 PGL(2, K) の作用は単純 3-推移的である(3-点の順序三つ組がふたつ与えられれば、その一方を他方へ写す写像はただひとつメビウス変換として定まる)ことが代数的に(この群は 3-次元なので、本質的に次元の勘定で)証明される。したがって、少なくともみっつの点を固定するようなメビウス変換は、恒等変換以外には無い。
つぎに、メビウス群は連結ゆえ任意のメビウス変換は恒等変換にホモトピックである。レフシェッツ-ホップの定理の述べるところによれば、高々有限個の不動点を持つ写像の不動点の指数(index; ここでは重複度のこと)の総和は写像のレフシェッツ数に等しい。この数はこの場合、ホモロジー群上の恒等写像のトレースであり、単純にオイラー標数と一致する。
これに対して、実数直線上の射影線型群 PGL(2, R) の作用は不動点を持つとは限らない。たとえば (1 + x)/(1 − x) は実数直線上に不動点を持たない(複素変換としてならば ±i を固定する)が、写像 2x は 0 と ∞ のふたつの点を固定する。これは円(実射影直線)のオイラー標数が 0 であり、したがってレフシェッツの不動点定理の主張が不動点の数は少なくとも 0 個なければならない(もちろん 0 個より多くてもよい)こと意味することに対応している。
メビウス変換をその不動点を用いた正規形 (normal form) と呼ばれる形に表すこともある。まずは相異なるふたつの不動点をもつ非抛物型の場合を考えよう。
非抛物型のメビウス変換は、複素数 k によって
z \mapsto k z
の形に表される変換(0 と ∞ が不動点)である回転・拡縮と共軛である。いま、γ1, γ2 を有限と仮定すれば、写像
g(z) = \frac{z - \gamma_1}{z - \gamma_2}
は (γ1, γ2) を (0, ∞) に移す。一方が既に無限遠にある場合には、その無限遠点は固定して他方を 0 に送るように g を修正する。
f が相異なる不動点 γ1, γ2 を持つならば、変換 gfg−1 は 0 および ∞ を不動点に持ち、したがってそれは回転・拡縮変換
gfg^{-1}(z) = kz
となることがわかる。したがって変換 f の不動点方程式は
\frac{f(z)-\gamma_1}{f(z)-\gamma_2} = k \frac{z-\gamma_1}{z-\gamma_2}
と書くことができる。これを f について解いたものは(行列の形で書けば)
\mathfrak{H}(k; \gamma_1, \gamma_2) = \begin{pmatrix}
\gamma_1 - k\gamma_2 & (k - 1) \gamma_1\gamma_2 \\
1 - k                &  k\gamma_1 - \gamma_2
\end{pmatrix}
あるいは、不動点の一方が無限遠にあるときは
\mathfrak{H}(k; \gamma, \infty) = \begin{pmatrix}
k & (1 - k) \gamma \\
0 &  1
\end{pmatrix}
となる。上述の式から、不動点における f の微分係数を
f'(\gamma_1)= k,\quad f'(\gamma_2)= 1/k
と計算することができる。ふたつの不動点に順序付けが与えられれば、f の乗数の一方 (k) をf の特性定数として区別することができることに注目しよう。
\mathfrak{H}(k; \gamma_1, \gamma_2) = \mathfrak{H}(1/k; \gamma_2, \gamma_1)
であり、不動点の順序を入れ替えることは乗数の逆数を特性定数として選ぶことに相当する。
斜航型変換については、|k| > 1 なるときは常に、γ1 を反発的 (repulsive) 不動点、γ2 を吸引的 (attractive) 不動点と呼ぶ。|k| < 1 のときは役割が逆になる。
メビウス変換 f が抛物型の場合は、不動点 γ はただひとつである。この点を ∞ へ移す変換は
g(z) = \frac{1}{z - \gamma}
あるいは、γ 自身が無限遠点のときは恒等変換であり、変換 gfg−1 は無限遠点を固定するので、平行移動
gfg^{-1}(z) = z + \beta
となる。β はこの平行移動の長さあるいは移動距離 (translation length) と呼ばれる。したがって、抛物型変換の不動点公式は
\frac{1}{f(z)-\gamma} = \frac{1}{z-\gamma} + \beta
であり、これを f について解いて(行列の形に書けば)
\mathfrak{H}(\beta; \gamma) = \begin{pmatrix}
1+\gamma\beta    & - \beta \gamma^2  \\
\beta            &   1-\gamma \beta
\end{pmatrix}
あるいは、γ = ∞ のときは
\mathfrak{H}(\beta; \infty) =
\begin{pmatrix}
1 & \beta  \\
0 & 1
\end{pmatrix}
を得る。ここで、β は f の特性定数ではないことに注意すべきである(抛物型変換の特性定数は常に 1 である)。得られた式から、f′(γ) = 1 がわかる。
特性定数はその対数を考えることによってその性質を分類することができる。すなわち、
e^{\rho + \alpha i} = k
とおくとき、実数 ρ はスケールファクタであり、不動点 γ1 からどれほど反発的か、および不動点 γ2 にどれほど吸引的かを指し示す。また実数 α は回転因子であり、この変換で不動点 γ1 の周りを反時計回りに、不動点 γ2 の周りを時計回りに、どれだけ回転するかを指し示す。
ρ = 0 の場合、不動点は反発的でも吸引的でもなく中立的であり、そのような変換は楕円型であるという。楕円型変換では任意の点が二つの不動点の周りをまわる円に沿って動く。一方の不動点が無限遠の場合は、これは一点の周りのアフィン回転を行うことと同値である。
任意の楕円型メビウス変換で生成される一径数部分群をとれば、この部分群の各変換が同じ二点を固定するような、連続変換が得られる。他の点はどれもリーマン球面上の二つの不動点の間でネストされた円の族に沿って流れる。一般に、二つの不動点は相異なる任意の二点を取ることができる。
このことは重要な物理学的解釈を持つ。観測者がある軸に関して角速度一定の回転をすることを想像し、二つの不動点を天球の北極と南極にとることにすれば、夜空の様子はちょうど二つの不動点 0, ∞ を共有する楕円型変換全体の成す一径数部分群によって記述されるのと同じ仕方で連続的に変換される。実数 α は観測者の一定な角速度に対応する。
次の二つの図は、楕円型メビウス変換のリーマン球面への効果(を平面へ立体投影したもの)を表したものである。
これらの図は単独のメビウス変換の効果を図示したものである。一径数部分群は、これを図によって示唆される円弧の族に沿って各点を「連続的に」動かすことで生成される。
α が 0(または 2π の整数倍)ならば、その変換は双曲型であるという。双曲型変換では、各点は不動点の一方から他方へ円軌道に沿って動く。
任意の双曲型メビウス変換で生成される一径数部分群をとれば、この部分群の各変換が同一の二点を不動にするような、連続変換が得られる。不動点以外の点は一方の不動点から出て他方の不動点へ向かう円弧の族に沿って流れる。一般に、二つの不動点はリーマン球面上の相異なる任意の二点にとりうる。
これにも重要な物理的解釈がある。観測者が天球上の北極へ向かって加速度一定で加速する場合を考えると、夜空の様子は 0, ∞ を共通の二つの不動点とする双曲型変換全体の成す一径数部分群によって記述される仕方と全く同じように変化する。ここで実数 ρ は観測者の加速度の大きさに対応する。夜空の星は黄経に沿って南極から北極へ向けて動くように見える(黄経は球面から平面への立体射影で写せば円弧として見える)。
以下は双曲型メビウス変換がリーマン球面上へ与える効果(を平面に立体射影したもの)を図示したものである。
この図は、円弧的流線が二つの不動点の間で一定の角を内在するから、不動点に負の電荷を置いたときの電気力線の様子と似ている。
ρ も α も 0 でないときは、その変換は斜航型であるという。斜航型変換では、各点は一方の不動点から他方の不動点へSの字の軌道を描いて動く。
「斜航」(loxodrome=航程線)の原義はλοξος(斜めの)+ δρόμος(行程)である。一定方角を保つ航行を行うとき、例えば北西に進路を保つとすると、航路は対数螺旋を描いて北極の周りを無限に巻いていくものになる。メルカトール図法ではこの航路は、北極と南極を無限遠に射影するとき、直線になる。この経線に対する内在的な斜航角(つまり傾き、あるいは螺旋の巻きの「緊さ」)は、特性定数 k の偏角である。もちろん、北極と南極だけではなくて、メビウス変換はその二つの不動点をどこにでも設定できるけれども、任意の斜航型変換による各点の動きはこの斜航線に沿って各点が動く変換と必ず共軛になる。
任意の斜航型メビウス変換で生成される一係数部分群をとれば、この部分群の各変換が同じ二点を固定するような、連続変換が得られる。固定されない点は全て、一方の不動点から出て他方の不動点へ入るようなある曲線族に従って移動する。これが双曲型の場合と異なるのは、その曲線が円弧ではなくて、リーマン球面から平面への立体射影で写すと、一方の不動点を反時計回りに、他方の不動点を時計回りにそれぞれ無限回廻る、ひねられた螺旋となるような曲線になっていることである。一般に、二つの不動点はリーマン球面の相異なる任意の二点がとれる。
この場合も、二つの不動点が 0 と ∞ であるならば物理的解釈が可能である。観測者がある軸に関して角速度一定で回転しつつ同軸上を一定の速度で移動するものとすれば、このときの夜空の様子は 0 と ∞ を不動点とする斜航型変換全体の成す一径数部分群に従って変化する。実数 ρ および α はそれぞれ軸上の移動速度と軸周りの角速度の大きさを定める。