- ベストアンサー
ベクトルの内積を複素数で表したい
はじめまして。 複素平面上の点 0, z(1)=r(1)*e^iθ(1)=r(1){cosθ(1)+isinθ(1)}, z(2)=r(2)*e^iθ(2)=r(2){cosθ(2)+isinθ(2)} を考えます。 原点0からz(1)への2次元実ベクトル、 ( r(1)cosθ(1), r(1)sinθ(1) ) と、原点0からz(2)への2次元実ベクトル、 ( r(2)cosθ(2), r(2)sinθ(2) ) を考えます。 このとき、二つの2次元実ベクトルの内積 ( r(1)cosθ(1), r(1)sinθ(1) )・( r(2)cosθ(2), r(2)sinθ(2) ) を複素数z(1)、z(2)を用いて表したいのですが、どういった形になるのでしょうか? また、二つの複素数z(1)、z(2)の積 z(1)*z(2) をベクトルOz(1)、Oz(2)を用いて表したいのですが、どういった形になるのでしょうか?
- ddgddddddd
- お礼率37% (170/456)
- 数学・算数
- 回答数5
- ありがとう数5
- みんなの回答 (5)
- 専門家の回答
質問者が選んだベストアンサー
3番の者です。1番の方がすでに答えていることを重ねて答えてしまったようですみません。 平面幾何で使われる複素数と平面ベクトルについて、ベクトルの内積と同じものが複素数の構造だけから自然に定義できることはすでに下に出ている通りですが、平面ベクトルの性質だけからは複素数の積に相当するものは出ませんね。 >単位ベクトル(1,0)が必要になる とお気づきのように、ベクトルのなかで複素数の単位元1に相当するものはあらかじめ決めてやらないとうまくいかないからです。
その他の回答 (4)
- ojisan7
- ベストアンサー率47% (489/1029)
>平面の初等幾何では、ベクトルと複素数のどちらも有用ですが、その関係を探っていきたい。 そういうことならば、No1さん、No3さんの内積で良いですね。丁寧に書けば、 <z(1),z(2)>=[{z(1)・z(2)^*}+{z(1)・z(2)^*}^*]/2 となりますね。
お礼
ありがとうございます。僕も自分の中では、数時間考えました。 複素数z(1)、z(2)の積 z(1)*z(2) をベクトルOz(1)、Oz(2)を用いて表したいのですが、 始点をOとし終点をz(1)とするベクトルOz(1)=a, 始点をOとし終点をz(2)とするベクトルOz(2)=b, 始点をOとし終点を1とするベクトルO1=e, とします。 複素数の表示には、直交座標表示と極座標表示がありますが、極座標表示がよさそうです。 すると、z(1)*z(2)は、その絶対値r(1)*r(2)と偏角θ(1)+θ(2)をベクトルの内積を用いて表せばよさそうです。 絶対値は r(1)*r(2)=|a||b| となりベクトルの内積を用いて表せます。もちろん、 |a|=√<a,a> の意味です。 偏角ですが、そのcosつまり、 cos{θ(1)+θ(2)} をベクトルの内積を用いて表すことに還元します。 ベクトルaをベクトルeに正射影したものは、<a,e>eです。 ベクトルaを、ベクトルeに対して対称に折り返したものを、xとすると、 x+a=2<a,e>e より、 x=2<a,e>e-a このベクトルxの偏角は-θ(1)です。 またベクトルbの偏角はθ(2)です。 つまり、ベクトルxとベクトルbのなす角は{θ(1)+θ(2)}です。 そのbとxの内積を考えることで、 cos{θ(1)+θ(2)}=<b,x>/|b||x| これでなんとか複素数の積をベクトルを用いて表すことが出来ましたが、なんの意味があることやら。。。。
- ONB
- ベストアンサー率38% (8/21)
2番の方の補足として。 <z(1),z(2)>=z(1)・z(2)^* は(エルミート)内積を定めますが、その実部 Re{ z(1)・z(2)^* } は内積になります。これはベクトルの内積に一致します。
- ojisan7
- ベストアンサー率47% (489/1029)
複素数に内積を定義する方法はいろいろありますね。L^2空間または、ヒルベルト空間に内積を定義するには、L^2可積分関数の積分で定義されます。また、単純な内積として、複素数のノルム(絶対値)が得られる内積は、以下のように定義します。 z(1)とz(2)の内積<z(1),z(2)>は、 <z(1),z(2)>=z(1)・z(2)^* とします。ただし、z(2)^*はz(2)の複素共役です。一般的に<z(1),z(2)>は複素数になりますが、内積の公理は満たしていますね。確認してみて下さい。 ともかく、内積はいろいろありますので、用途によって使い分ければ良いのです。
お礼
ありがとうございます。 ただ、僕の目的とは違っているようです。 平面の初等幾何では、ベクトルと複素数のどちらも有用ですが、 その関係を探っていきたいのです。
- Tacosan
- ベストアンサー率23% (3656/15482)
内積だけ: Re [z(1) ・ z'(2)] ただし z' は z の共役
お礼
ありがとうございます。 二つの複素数z(1)、z(2)の積 z(1)*z(2) をベクトルOz(1)、Oz(2)を用いて表す方法ですが、単位ベクトル(1,0)が必要になると思います。 それを用いれば、少し汚い形ですが表せそうです。
補足
ありがとうございます。僕も自分の中では、数時間考えました。 複素数z(1)、z(2)の積 z(1)*z(2) をベクトルOz(1)、Oz(2)を用いて表したいのですが、 始点をOとし終点をz(1)とするベクトルOz(1)=a, 始点をOとし終点をz(2)とするベクトルOz(2)=b, 始点をOとし終点を1とするベクトルO1=e, とします。 複素数の表示には、直交座標表示と極座標表示がありますが、極座標表示がよさそうです。 すると、z(1)*z(2)は、その絶対値r(1)*r(2)と偏角θ(1)+θ(2)をベクトルの内積を用いて表せばよさそうです。 絶対値は r(1)*r(2)=|a||b| となりベクトルの内積を用いて表せます。もちろん、 |a|=√<a,a> の意味です。 偏角ですが、そのcosつまり、 cos{θ(1)+θ(2)} をベクトルの内積を用いて表すことに還元します。 ベクトルaをベクトルeに正射影したものは、<a,e>eです。 ベクトルaを、ベクトルeに対して対称に折り返したものを、xとすると、 x+a=2<a,e>e より、 x=2<a,e>e-a このベクトルxの偏角は-θ(1)です。 またベクトルbの偏角はθ(2)です。 つまり、ベクトルxとベクトルbのなす角は{θ(1)+θ(2)}です。 そのbとxの内積を考えることで、 cos{θ(1)+θ(2)}=<b,x>/|b||x| これでなんとか複素数の積をベクトルを用いて表すことが出来ましたが、なんの意味があることやら。。。。
関連するQ&A
- 複素数
次の複素数を極形式で表せ。ただし、0°≦θ<360° z=1-(cosθ+isinθ) z=1-(cosθ+isinθ) =1-cosθ-isinθ =2sin^2θ/2-2isinθ/2cosθ/2 =2sinθ/2(sinθ/2-icosθ/2) =2sinθ/2{cos(90°-θ/2)-isin(90°-θ/2)} =2sinθ/2{cos(θ/2-90°)-isin(θ/2-90°)} となるそうです。 極形式で表せということは z=r(cosθ+isinθ)にもっていくことは分かるのですが、そのもって行きかたが分かりませんでした。 式の1行目から2行目は普通の展開ですよね。 2行目から3行目とそれ以降は何をしているのですか? すいませんが解説をお願いします。
- ベストアンサー
- 数学・算数
- 複素数の問題です。
複素数αとβは, |α - 2| = 2, |β = 3i| = 1をみたす。ここで、z = α + β とおくと、点zの存在領域を福素数平面上に示せ。 上の問題ですが、以下のように解いた場合、参考書の解答と存在領域が異なったのですがどうしてこのようなことがおきるのでしょうか?ちなみに参考書はベクトルを用いています。 α = 2e^iθ + 1, β = e^iθ + 3i とおくと、 α = 2(cosθ + isinθ) + 2 = 2cosθ + 2 + 2sinθi β = cosθ + isinθ + 3i = cosθ + (sinθ + 3)i z = α + β = 2cosθ + 2 + 2sinθi + cosθ + (sinθ + 3)i = 3cosθ + 2 + (3sinθ + 3)i ここで、z = x + yi とおくと x = 3cosθ + 2 y = 3sinθ + 3 (x - 2)^2 + (y - 3)^2 = 9(cos^2θ + sin^2θ) = 9 ∴ 中心2 + 3i, 半径3の円周上
- 締切済み
- 数学・算数
- 複素数平面でのベクトルの扱い方について
複素数平面の問題で複素数をベクトルで表していいんですか? また、複素数平面の図に→OAなどと書いていいのですか? 例えば点Aを表す複素数αがあったとき、αと書かずに→OAと書いていいんですか? また、点Aを原点中心に60度回転させるとき、α・(cos60°+isin60°)と書かず に、→OA・(cos60°+isin60°)と書いていいのですか? 先生によって言うことがまちまちなので混乱しています。よろしくお願いします。
- ベストアンサー
- 数学・算数
- 複素数の極形式のマイナスがつく場合についてです。
複素数の極形式のz=r(cosθ+isinθ)、r=lzl、θ=argz にてcosθとisinθの頭にマイナスがついても(例:z=r(cosθーisinθ)やz=r(ーcosθ+isinθ))それは複素数の極形式といえるんですか?
- 締切済み
- 数学・算数
- ベクトルの扱い方について
座標平面上の点を回転する時には、座標を複素数表示に変換して複素数平面の点として回転するというのはなんとなく分かります。問題は複素数平面でものを考えるときなのですが、例えば、複素数平面上のP,Q,R,Sで、→PQと→RSが90度で交わっていたとすると、普通はQ-P=(S-R)k(cos±90+isin±90)と立式すると思うのですが、→PQ・→RS=0(内積)とやってはなぜだめなのでしょうか。 それと、「Q-P=(S-R)k(cos±90+isin±90)」ではなくて「→PQ=→RS×k(cos±90+isin±90)」と書かないのはどうしてなのでしょうか。 ベクトルの座標平面上での使い方は複素数平面では通用しないのでしょうか。両者は同じ者だと思っていたのですが。よろしくお願いします。
- ベストアンサー
- 数学・算数
お礼
ありがとうございます。僕も自分の中では、数時間考えました。 複素数z(1)、z(2)の積 z(1)*z(2) をベクトルOz(1)、Oz(2)を用いて表したいのですが、 始点をOとし終点をz(1)とするベクトルOz(1)=a, 始点をOとし終点をz(2)とするベクトルOz(2)=b, 始点をOとし終点を1とするベクトルO1=e, とします。 複素数の表示には、直交座標表示と極座標表示がありますが、極座標表示がよさそうです。 すると、z(1)*z(2)は、その絶対値r(1)*r(2)と偏角θ(1)+θ(2)をベクトルの内積を用いて表せばよさそうです。 絶対値は r(1)*r(2)=|a||b| となりベクトルの内積を用いて表せます。もちろん、 |a|=√<a,a> の意味です。 偏角ですが、そのcosつまり、 cos{θ(1)+θ(2)} をベクトルの内積を用いて表すことに還元します。 ベクトルaをベクトルeに正射影したものは、<a,e>eです。 ベクトルaを、ベクトルeに対して対称に折り返したものを、xとすると、 x+a=2<a,e>e より、 x=2<a,e>e-a このベクトルxの偏角は-θ(1)です。 またベクトルbの偏角はθ(2)です。 つまり、ベクトルxとベクトルbのなす角は{θ(1)+θ(2)}です。 そのbとxの内積を考えることで、 cos{θ(1)+θ(2)}=<b,x>/|b||x| これでなんとか複素数の積をベクトルを用いて表すことが出来ましたが、なんの意味があることやら。。。。