大学数学の「双曲幾何」(深谷賢治著;岩波書店)の中にあるのですが、一次分数変換と、ポアンカレ計量の関係に関わってくる問題の一つで、
「♭={z∈(複素数)|Im(z)>0};(上半平面:虚数部分が正の複素数全体)としたとき、
♭の点を、♭の点に写す一次分数変換は、実数a,b,c,dを用いて、
Φ(z)=(az+b)/(cz+d),(ad-bc=1とする)で表される。」
という補題の証明がどうやって、証明していいか・・かんがえてみたのですが、わかりません。
できることなら、詳しく教えて頂きたいです。
どーぞよろしくお願いいたしましす。
No.1ベストアンサー
- 回答日時:
例えば (4z + 2) / (6z + 4) は、約分して
(2z + 1) / (3z + 2)とすることができます。
すなわち、(az + b) / (cz + d)で表される分数式の中には、
約分して同じとみなされるものが存在します。
そこで、重複のないように、同じ分数のグループを代表した
「標準的な書きかた」を決めておくと便利です。
ここで、(pz + q) / (rz + s)
(p,q,r,sは実数、ps - qr ≠ 0) の形で
表される全ての分数式は、
(az + b) / (cz + d)
(a,b,c,d は ad - bc = ±1を満たす実数)
という形に書き直すことができることを理解しましょう。
以下に例を挙げます。
(ア) (3z + 1) / (z + 1)
このままだとps - qr = 3×1 - 1×1 = 2です。
そこで、分母分子を√(ps - qr) = √2で約してやります。
[(3/√2)z + (1/√2)] / [(1/√2)z + (1/√2)]
この形でad - bcを計算してやると
ad - bc = (3/√2)×(1/√2) - (1/√2)×(1/√2) = 1
となって、うまく調整されます。
(イ) (z + 3) / (z + 1)
今度は ps - qr = - 2となり、√(ps - qr)を
実数値として作ることができません。
そこで、√|ps - qr| = √2で約してやると、
[(1/√2)z + (3/√2)] / [(1/√2)z + (1/√2)]
となり、この形では
ad - bc = (1/√2)×(1/√2) - (3/√2)×(1/√2) = - 1
となって、符号こそマイナスになってしまいましたが
大きさは1にすることができました。
上の二つの例を見れば、
ps - qr > 0 のときは ad - bc = 1 の形に、
ps - qr < 0 のときは ad - bc = -1 の形に
標準化することができると分かります。
したがって、ご質問の証明では
『……という一次分数変換は、
Φ(z) = (pz + q) / (rz + s)
(ps - qr > 0)で表される』
ということが示せればOKです。
z = x + y・i(x, yは実数)とおくと、
(pz + q) / (rz + s)
= [p(x + y・i) + q] / [r(x + y・i) + s]
= [(px + q) + py・i] / [(rx + s) + ry・i]
分母分子に[(rx + s) - ry・i]を掛けて分母を実数にすると
(分子) = [(px + q) + py・i][(rx + s) - ry・i]
=……(途中省略)
= (実部) + (ps - qr)y・i
となります。ちなみに分母は必ず正になります。
♭上の点が♭上に移されるためには、
「すべての実数x, y(y > 0)に対して、
虚部(ps - qr)y > 0となる」
ことが必要十分で、これはすなわち
ps - qr > 0ということに他ならないですね。
以上が証明の流れですが、自分でやってみて
不明な点が出てくれば補足をどうぞ。
本当に詳しく教えていだだき、ありがとうございます。...A(=´、`=)ゞ
これをもとに、もう一度自分で考えてみたいと思います。(≧∇≦)~~*
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 実数であるべきものに虚数を含む複素数が現れたときの対処法 4 2022/08/30 09:19
- 数学 関数論で一次変換を学ぶ意義 1 2022/06/03 15:59
- 物理学 Lagrangian や Hamiltonianの妥当性評価 1 2022/08/30 13:13
- 数学 『代数幾何についての疑問』 2 2023/05/08 17:44
- その他(教育・科学・学問) 関数、写像について 1 2022/04/10 23:45
- 数学 次の問題についてご教授願いします。 3点z=0 , z=-1 , z=i をそれぞれω=0 , ω= 4 2023/05/23 20:13
- 数学 数学の複素数の証明問題です。 (1)複素数全体の集合に2要素間の実数と同様な大小を定義できないことを 2 2022/08/28 11:17
- 数学 ピーマン予想。突如として数学史上に名を残すこととなる複素関数ピーマンゼータ関数が発見されたとします。 1 2022/05/30 20:49
- 数学 モデルのパラメータの定義がいまいちわかりません。 3 2022/10/11 15:16
- C言語・C++・C# C言語初心者 ポインタについて、お助けください、、 2 2023/03/15 23:50
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
ド忘れしたんですけど、2分の1...
-
1-分数の解き方
-
減少率の出し方
-
2.5みたいな数字を分数になおす...
-
0割る0=#DIV/0! を0%と表示さ...
-
3と3分の1ってどうやって計...
-
数学
-
分母にxのある方程式の解き方を...
-
分母の違うモノを比べる
-
2分の1+6分の1の答えを教えて...
-
実数に負の数と"0"は含まれる?
-
ロス率の求め方。
-
4を-2分の1乗するとなぜ2分の1...
-
a÷a2(A割るAの2乗)の計算
-
帯分数・仮分数、なぜそう呼ぶ...
-
もっとも大きい分数の出し方を...
-
分母に小数点が来た時
-
すみません 14×1/√2(ルート2分...
-
√(ルート)の解き方 (急いで...
-
√3分の2の有理化を中学生でも分...
おすすめ情報