- 締切済み
体での共役の定義って?
複素数での共役の定義を一般的に述べればどういう事か考えています。 a+biとa-biを掛けたり足したりすると実数になり,実数体は複素数体の真の部分体ですよね。 従って、これらの事を考慮して 最小多項式をとりあえず調べてやってみました。 1+iは0次式a=0の解には当然成り得ません。また一次式ax+b=0の解にも成り得ませんから更に二次式ax^2+bx+c=0…(*)を考えるとこれに1+iを代入して (2a+b)i+(b+c)=0を得,2a+b=b+c=0でなければなら事。 c=0の場合はb=a=0となり不適。よってc≠0でb=-c,a=c/2。 よって(*)に代入して c/2x^2-cx+c=0で両辺を2/c倍してx^2-2x+2=0。これが1+iのR上の最小多項式。 そしてこの方程式を解くと,x=1±iで他の解はx=1-i。 [3]√2のQ上の最小多項については α=[3]√2と置くと,α^3=2なのでx^3-2=0が[3]√2のQ上の最小多項式。 この3次方程式をQ上で解くと因数分解できないので他の解は無し。 R上で解くとx^3-2=(x-[3]√2)(x^2+[3]√2x+[3]√2)=0. よって他の解はx=(-[3]√2±√([3]√4-4[3]√2))/2 となりました。-[3]√2±√([3]√4-4[3]√2))/2は互いを足しても掛けても[3]√2でQの元にはなりません。 α∈E\K(Eは可換体Kの拡大体)が代数的な時。最小多項式が偶数次数の場合には場合には共役な解の対になっているが奇数次数の場合には共役対を持たない解がある。 [結論] 3次の場合にはペア無しが1つ現れる。4次の場合にはふたペアになると予想します。 従って,分かった事はどの元にも共役元が存在するとは限らない。 故に 「F'を体。FをF'の真の代数的拡大体とするとa∈Fに於いてx∈Fはaの共役である。 ⇔(def) (i) a∈F'の時はx=a (ii) a∈F\F'の時は ax∈F'且つa+x∈F' なるx∈F\F'」 が共役な元の定義だと思いますが…。 如何でしょうか? 体での共役の定義をご存知の方いらっしゃいましたらお教え下さい。
- みんなの回答 (6)
- 専門家の回答
関連するQ&A
- 共役複素数
a、b、c、dは実数の定数である 方程式x^4+ax^2+bx^2+cx+d=0は4つの虚数解を持つ その解の内、ある2つの和は19+2iであり、他の2つの積は4+5iである このときa、b、c、dの値を求めよ 2つの解α、βを、 α=p+qi、β=r+si とおくと、その共役複素数 ¬α=p-qi、¬β=r-si も解で、 x^4+ax^2+bx^2+cx+d=(x-α)(x-β)(x-¬α)(x-¬β)と表せられる ここでα+β=19+2iとすると、 (x-α)(x-β)=x^2-(19-2i)x+(4+5i) (x-¬α)(x-¬β)=x^2-(19+2i)x+(4-5i) であり、x^4+ax^2+bx^2+cx+d=(x-α)(x-β)(x-¬α)(x-¬β)と表せることから、この右辺の積がx^4+ax^2+bx^2+cx+dと同じになる というところまで様々な方のおかげでたどり着いたのですが、右辺をかけると、-38x^3が出たりx^2の係数に虚数があったりとx^4+ax^2+bx^2+cx+dに合わなくなってしまったんです どうすればいいでしょうか?教えてください
- ベストアンサー
- 数学・算数
- 共役勾配法の解法について
Ax = b の形の式を共役勾配法で解く方法は,インターネットでいくつか見つけることができました. しかしながら,Ax = b の解が1つでない場合などに, ||Ax-b||^2+α||Cx||^2 (ノルムは2ノルム)を最小にする問題を,共役勾配法によって解く方法がわかりません. 最小自乗法に関する知識が必要なのかと思うのですが,どうにもならないのが現状です. どなたかご存知ありませんでしょうか?
- ベストアンサー
- 数学・算数
- √3-√2の共役な数は?
√3-√2の共役な数は? -√2+√3と考えることもできますが…。 A.√3+√2のみ B.-√2-√3のみ C.AとBどちらも共役な数 D.AもBも他にもある E.定義できない。 もしAやBが正しいとしたら、他方が不適な理由は何ですか?(判定方法は?) xの共役な数を求める関数をf(x)としたら f(f(x))=xが成り立たないこともあるのですか?
- ベストアンサー
- 数学・算数
- 有理関数体Q(√2)がQ上の代数拡大であることについて
この代数拡大を言うには,Q(√2)のすべての元がQ上代数的であることを言えばいいんですよね? そこで,Q(√2)の任意の元はa+b√2 (a,bはQの元)と表せますので,このa+b√2に対して, f(a+b√2)=0―(1) となるような多項式Q[X]の元f(X)が存在することを言えばいいのだと考えました. しかし,(1)を満たすようなQ[X]の元であるf(X)が見つかりません… f(X)=X-(a+b√2) のようなものも考えましたが,これは係数が有理数体Qの元になっていないので,Q[X]の元ではありませんし. どのような多項式となるのでしょうか? 根本から考え方が違うのかもしれませんが,よろしくお願いします.
- 締切済み
- 数学・算数
- a、b、c、dは実数の定数である
方程式x^4+ax^2+bx^2+cx+d=0は4つの虚数解を持つ その解の内、ある2つの和は19+2iであり、他の2つの積は4+5iである このときa、b、c、dの値を求めよ 解の2つをα、βとするとそれらの共役複素数も解なのはわかりましたがそこからを教えてください
- 締切済み
- 数学・算数
- 【高校数II】複素数と方程式について
a,bは実数 方程式x^3-2x^2+6x-7=0 がx=2+iを解に持つときa,bの値と方程式の解を全て求めよ この問題の解説に “{x-(2+i)}{c-(2-i)}=x^2-4x+5 •••① であり、x^3-2x^2+ax+bは①で割り切れる” とありました。 これは、三次方程式は解の複素数とその共役の数をかけたもので割り切れる という意味だと思ったのですが、この解釈で問題はないでしょうか? また、なぜ割り切れるのでしょうか 初歩的な質問で申し訳ありません。解答よろしくお願いします。m(_ _)m
- 締切済み
- 数学・算数
お礼
有難うございます。遅くなってしまいました。 > 複素共役も C/R ( C = R[√-1] ) の R-自己同型写像 σ : a+b√-1 -> a-b√-1 に > よる R-共役ですね。 > ベースとなる体が変われば、「共役」の意味も変わります。 体Fが体Kの部分体 且つ σ∈Aut(K)で∀x∈F,σ(x)=xとなる時, このσを「KのF-自己同型写像」というのですね。。 纏めると 共役の定義は 『体Fが体Kの部分体でx∈Kがy∈Kにσに関してF上共役である ⇔(def) σ(x)=yなるKのF-自己同型写像σ(∈Aut(K))が存在する』 上記の共役の定義で 『F:=R,K:=R[√-1](つまりC:=R[√-1])と見て,CのR自己同型写像σに於いて z∈Cに対してσ(z)をzの共役という』 そして特に 『F:=R,K:=R[√-1](つまりC:=R[√-1])と見て,CのR自己同型写像σを σ(x+√-1y)=x-√-1y (x,y∈R)で定義した場合 z∈Cに対してσ(z)をzの"複素"共役という』 つまり,複素共役はCのR上共役の特別な場合だったのですね。 そしてこの複素共役の定義は 『Fを体。KをFの真の代数的拡大体とするとa∈Kに於いてx∈KはaのF上の複素共役 である。 ⇔(def) x∈{x∈K\{a};f(x)=0 (f(x)はaのF上の(F係数の)最小多項式)}』 と同値なのですね。