複素数の三角不等式|z+w| <= |z|+|w|の証明について質問です。
本に
シュヴァルツの不等式
(xu + yv)^2 <= (x^2 + y^2)(u^2 + v^2)
で、z = x+yi、w = u+viとすれば、
|Re(z w~)| ←wだけ共役複素数
= |Re{(x+yi)(u-vi)}|
= |xu + yv|
<= √(x^2 + y^2)√(u^2 + v^2)
= |z||w|
と書くことができます。
…とあるのですが、
まず、そもそも何故、虚数Imのところは計算せずに
実数Reの部分だけを計算しているのか、意図が分かりません。
それと、|Re(z w~)|は何故いきなりwが共役複素数になってるんですか?
これは、|z|^2 = |z~|^2 = z z~ という性質と関係がありますか?
シュヴァルツの不等式が(xu + yv)^2と二乗していたので、こっちでも二乗した、ということですか?
そして、その後はRe z = (z+z~)/2を適用して|xu + yv|になるのは分かるんですけど、
<= √(x^2 + y^2)√(u^2 + v^2)
になった経緯が分かりません。
(xu + yv)^2 <= (x^2 + y^2)(u^2 + v^2) が二乗だったので
|xu + yv| <= √(x^2 + y^2)√(u^2 + v^2) は二乗をとって二乗根にした、ということですか?
三角不等式自体は別の教科書の複素数平面上に書かれた図で理解できているつもりです。
||z_1| - |z_2|| <= |z_1 + z_2| <= |z_1| + |z_2|
等号はO, OP1↑, OP2↑が一直線上にあり、
右の等号は、OP1↑, OP2↑が同じ向きのときであり、
左の等号は、OP1↑, OP2↑が反対向きのときである。
||z_1| - |z_2|| <= |z_1 - z_2| <= |z_1| + |z_2|
等号はO, OP1↑, OP2↑が一直線上にあり、
右の等号は、OP1↑, OP2↑が反対向きのときであり、
左の等号は、OP1↑, OP2↑が同じ向きのときである。
…というような図です。
いろいろ質問してすみません。どうか教えてください。お願いします。
No.1ベストアンサー
- 回答日時:
落ち着きなさいな.
>|xu + yv|になるのは分かるんですけど、
><= √(x^2 + y^2)√(u^2 + v^2)
Schwartzの不等式を適用してるだけ.
A,B>=0のときは
A<BとA^2<=B^2は同値なんだから
そのままでしょう
#ちなみに,こういうのは「二乗をとる」とはいいません
#「二乗をとる」というと「二乗する」という逆の意味に解釈されえます.
#まあ、気持はわかる(指数を「除去」するという意味で「とる」といってるんだろうから)けど
>実数Reの部分だけを計算しているのか、意図が分かりません。
>
>それと、|Re(z w~)|は何故いきなりwが共役複素数になってるんですか?
意図も何も明らかで
どうにかして「xu+yv」をzとwから構築しようとしただけ.
z=x+iy, w=u+ivなんだから
xuを作るにはzwを計算することが自然にでてくる.
けどそれだと,iyiv=-yvがでてきてしまって符号が逆になるから
zw~という風に共役を使うとうまくいく.
そしてでてきたxu+yvはzw~の実部だから,Re(zw~)ってわけ.
これをきちんと整理して書けば
最初からいかにも見通してましたというように
Re(zw~)から天下り式に記述する.
数学の証明の常套手段です.
これからたくさんみるでしょう,この手の
「その最初の一歩どうやってみつけたんじゃ」という類の証明を.
どうやって見つけたかを考えるのも勉強です.
#ちなみに,xu+yvのように「掛け算」したものを「足す」というのは
#(a+b)(c+d)のような展開を巧妙に使うことで処理することが多い.これも常套手段.
自分で実際に手を動かして計算してないでしょう?
計算してたらすぐ意味はわかるはず.
計算してたら zz~=|z|^2と関係があるなんて思わないと思うなあ.
ありがとうございます!
ようやく分かりました。上のは「Schwartzの不等式を適用してるだけ」なんですね。納得です。
> どうにかして「xu+yv」をzとwから構築しようとしただけ.
> z=x+iy, w=u+ivなんだから
> xuを作るにはzwを計算することが自然にでてくる.
> けどそれだと,iyiv=-yvがでてきてしまって符号が逆になるから
> zw~という風に共役を使うとうまくいく.
> そしてでてきたxu+yvはzw~の実部だから,Re(zw~)ってわけ.
素晴らしい説明です。お陰でスンナリ理解できました。
>最初からいかにも見通してましたというように
>Re(zw~)から天下り式に記述する.
それです、私が感じていた一抹の不快感は!(笑) 「先に結果ありき」なのにあたかも知らないフリして解いてるじゃないですか。 そのうち私も慣れるものなのでしょうか…甚だ疑問です。
手は動かしてましたよ、本当に、本当に。共役にならない場合も計算しましたし(|xu - yv| になりました)。ただ、頭が動いてなかっただけです!(笑)
ありがとうございました!
No.2
- 回答日時:
>…そもそも何故、虚数Imのところは計算せずに 実数Reの部分だけを計算しているのか、意図が分かりません。
|z+w|^2 の勘定に現れるクロス項の解説みたいですね。
|z+w|^2 = (z+w)*(z+w)~ = zz~ + zw~ + z~w + ww~
をご覧ください。
zz~ と ww~ は、そのまんま実数ですが、zw~ + z~w は zw~ の実部 (の二倍) を求めねばならないのです。
ありがとうございます。
確かに、私が引用した部分の次にそう書いてありますね。
zw~ + z~w
= Re(zw~)
= (zw~ + z~w)/2
= {(x+yi)(u-vi)+(x-yi)(u+vi)}/2
= {xu-xvi+yui-yvi^2+xu+xvi-yui-yvi^2}/2
= {xu-xvi+yui+yv+xu+xvi-yui+yv}/2
= {xu+yv+xu+yv}/2
= 2{xu+yv}/2
= xu+yv
<= |z||w|
ということですね、きっと。
ありがとうございました!
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 作図について 写真の垂線の作図についてで、 ②の半径opの円を書くと書いてありますが、opにしなくて 6 2023/01/07 01:57
- C言語・C++・C# c言語の問題です 3 2023/01/10 16:15
- 工学 非対称三相交流について 2 2022/07/06 00:36
- 数学 三角形OABにおいえ、次の式を満たす点Pの存在範囲を求めよ。 (1)OP↑=sOA↑+tOB↑、s+ 1 2022/07/03 14:00
- JavaScript console.logがどうしても2つ機能しないのでアドバイスをくださいお願いします 2 2022/07/07 22:13
- 数学 オイラーの公式(複素数の式)である青い下線部は=re^iθですが、 なぜ斜辺の長さz-a= re^i 5 2022/06/28 07:45
- 数学 ベクトルの質問です。 AP=AO+OP=OP−OAは理解できます。 しかし、PA+2PB+3PC=P 2 2023/04/03 04:11
- その他(教育・科学・学問) 関数、写像について 1 2022/04/10 23:45
- 数学 ベクトルについての質問です。 ベクトルの中の定義では、平行な直線は同じ直線として扱うのでしょうか? 2 2023/07/31 19:48
- 数学 このようなベクトルOPをOA OBで表す問題でよく、図のようにs:1-sで置くと思うんですけど、AP 4 2022/08/08 10:25
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
計算の問題を解いていただきた...
-
公共工事の現場管理費率(%)...
-
「割る」と「割りかえす」の違い
-
eのマイナス無限大乗
-
30パーセントオフで371円だった...
-
一個当たり15秒の製品を1時間で...
-
分数の計算で分子が0になったら...
-
袋のサイズから容量を計算する方法
-
10進法で時間の計算で30分が0.5...
-
2割負担の計算。
-
楕円の円周の長さの計算の仕方...
-
∫1/lnxdx について
-
積分のエクセル計算式を教えて...
-
0.8=1あるいは0.8進法
-
プール計算って何ですか?
-
エクセル関数IFの解を再度、別...
-
中学生の数学を習う順番に並べ...
-
半径の計算方法を教えてください。
-
多項式と、乗法公式について
-
1平米あたりの重量を求めたいで...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
30パーセントオフで371円だった...
-
公共工事の現場管理費率(%)...
-
「割る」と「割りかえす」の違い
-
eのマイナス無限大乗
-
中学生の数学を習う順番に並べ...
-
10進法で時間の計算で30分が0.5...
-
楕円の円周の長さの計算の仕方...
-
計算手順について
-
袋のサイズから容量を計算する方法
-
面積から辺の長さを出す計算式
-
2割負担の計算。
-
プール計算って何ですか?
-
一個当たり15秒の製品を1時間で...
-
金利の計算方法を教えてくださ...
-
クリストッフェル記号
-
分数の計算で分子が0になったら...
-
ラプラス変換に関して
-
半径の計算方法を教えてください。
-
映画を1.3倍速で見た時の時間計...
-
積分のエクセル計算式を教えて...
おすすめ情報