- ベストアンサー
同型とは？
- みんなの回答 （8）
- 専門家の回答
質問者が選んだベストアンサー
２つの体ＫとＬが同型というのは、 ＫとＬが同じ構造をしている ということで、ぶっちゃけた話 ＫとＬは同じものだと思ってもさしつかえないよ ということです。 （これは私の同型というものに対するイメージです。） 厳密には、 ２つの体ＫとＬが同型というのは、ＫからＬへの同型写像がある というもので、同型写像とは 全単射な準同型写像 のことです。 ＫからＬへの準同型写像とは 任意のa,b∈Ｋに対し f(a+b)=f(a)+f(b),f(ab)=f(a)f(b) を満たすＫからＬへの写像(関数)fのことです。 例を１つ。 Ｒ^2={(x,y)| x,yは実数｝と複素数体Ｃは同型です。 Ｒ^2からＣへの写像fを f(x,y)=x+iy (iは虚数単位) と定めるとfは同型写像になるからです。 Ｒ^2とＣは同型なのですから Ｒ^2とＣはほとんど同じものだと考えてよいことになります。 また、自分から自分への（つまりＣからＣとか）の同型写像を 自己同型写像、あるいは略して自己同型といいます。 f(x+iy)=x-iy というある複素数をその共役に写すという写像fは 自己同型写像になりますよ、というのが ＞『複素数からその共役にうつる演算は体Ｃの１つの自己同型である』 の述べていることです。 詳しく知りたいのでしたら代数学の本をひもとく必要がありますが、 そこを理解しないと先へ進めないということもないでしょうから、 (というのは質問にある『体Ｃの同型でうんぬんなんてのは 複素解析を学ぶ上でははっきり言ってどうでもいいことだからです） 頭の片隅にでも残しておいて飛ばしてもいいと思いますよ。
その他の回答 (7)
- prome
- ベストアンサー率32% (64/196)
>『体ＫからＬへの写像Ｔがあって任意のa,b∈Ｋについて > Ｔ(a + b) = Ｔ(a) + Ｔ(b) > Ｔ(ab) = Ｔ(a)Ｔ(b) >が成り立つ時、写像ＴをＫ→Ｌの準同型写像（または単に準同型）であると >言う。 >準同型写像Ｔが全単射な写像の時、Ｔを同型写像（または単に同型）であると >言う。 >Ｔが体Ｋ→Ｋの同型写像の時、Ｔを自己同型写像（または単に自己同型）と >言う。』 >こんな感じですか？ 定義はそれでOKです。 それにしても社会人の方で、数学に興味を持たれて勉強されている とは、感服いたします。しかも抽象数学ですからハードルは高いし。 がんばってください。
お礼
やっとたどり着けました。 質問の仕方も難しいですね。 ありがとうございました。
- prome
- ベストアンサー率32% (64/196)
>１対１と全単射とは同値でしたっけ？ontoって何ですか？ 用語をまとめておきます。 １対１写像(one to one)＝単射(injective) 上への写像(onto)＝全射(surjective) 全単射＝全射かつ単射 >『Ｃ→Ｃの写像Ｔがあって任意のz,w∈Ｃについて > Ｔ(z + w) = Ｔ(z) + Ｔ(w) > Ｔ(zw) = Ｔ(z)Ｔ(w) >が成り立つ時、写像ＴをＣ上の同型写像（または単に同型）であると言う。 これは単なる準同型写像の定義でしょう。 同型写像ではないと思いますが。 >特にz',w'∈Ｃについて > Ｔ(z + w) = Ｔ(z') + Ｔ(w') > Ｔ(zw) = Ｔ(z')Ｔ(w') >ならば > z' = z > w' = w >である時、写像ＴをＣ上の自己同型写像（または単に自己同型）と言う。』 同型と自己同型の違いは、写像元と写像先が違うか同じかです。 ｆ：Ｘ→ＹでＸ≠Ｙなら単なる同型写像で、ｆ：Ｘ→Ｘなら自己同型写像です。 上で述べられているのは、同型でも自己同型でもないと思います。 taropooさんは数学科１回生ですよね。体の自己同型などの抽象代数学は まだ習ってないですよね。代数というとまだ線型代数だけで。 shushouさんがおっしゃるように、体の自己同型云々は読み飛ばしても いいかと思います。たぶん理解が大変なのでは？ 私も１回生の頃はわからなかったですから。
補足
> taropooさんは数学科１回生ですよね。 違います。３０前の社会人です。数学は興味でやってます。 しきりなおしまして、 『体ＫからＬへの写像Ｔがあって任意のa,b∈Ｋについて Ｔ(a + b) = Ｔ(a) + Ｔ(b) Ｔ(ab) = Ｔ(a)Ｔ(b) が成り立つ時、写像ＴをＫ→Ｌの準同型写像（または単に準同型）であると言う。 準同型写像Ｔが全単射な写像の時、Ｔを同型写像（または単に同型）であると言う。 Ｔが体Ｋ→Ｋの同型写像の時、Ｔを自己同型写像（または単に自己同型）と言う。』 こんな感じですか？
- motsuan
- ベストアンサー率40% (54/135)
同型の基本的な考え方はある集合に入っている構造が保たれているということです（それだけだと準同型）。つまり、構造も保たれて、なおかつ、写された元と先のすべての元の間にちゃんと対応関係があるというのが同型です（ある一部分ではなく集合全体とて同じだということです）。 （たとえば、共役をとって全体をz0（定数）倍するとかでも同型ですが、 実数体に実数部分だけをとって写すというのは準同型です。） その場合その対応を与える写像ｆを用いれば、一方の（構造をもった）集合に対して（その構造による）ある性質ｐが見出されれれば、その写像ｆからｐをその対応させている集合の言葉に直して、つまりｆ（ｐ）のようなこと（具体的にどうこういうわけではなく、そう言うふうに対応関係ある集合であれば、性質についても対応関係によって言いかえることができるはずという主張です）を考えて他の集合についても同じことが言えます。 複素平面の場合は虚数単位の取り方に恣意性があり±sqrt（-1)のどちらを虚数単位にとってもいい（つまり、性質が変わらない）ので、一方からもう一方に対応関係をいれて写しても、一方で言えたことがもう一方でも言えるということを言っているのだ思います。
補足
理解しました（つもり）。 自分なりの言葉で書いてみます。添削してください。 『Ｃ→Ｃの写像Ｔがあって任意のz,w∈Ｃについて Ｔ(z + w) = Ｔ(z) + Ｔ(w) Ｔ(zw) = Ｔ(z)Ｔ(w) が成り立つ時、写像ＴをＣ上の同型写像（または単に同型）であると言う。 特にz',w'∈Ｃについて Ｔ(z + w) = Ｔ(z') + Ｔ(w') Ｔ(zw) = Ｔ(z')Ｔ(w') ならば z' = z w' = w である時、写像ＴをＣ上の自己同型写像（または単に自己同型）と言う。』 あってますか？
- shushou
- ベストアンサー率51% (16/31)
shushouです。 ＞「自分から自分へ」の自分ってどのレベルの話ですか？ これはtaropooさん自身がおっしゃているように 複素数体から複素数体という感じです。 Ｃの元aを写したら、（aとは違うかもしれないけど）またＣの元になる ということです。 ちなみに、 ＞複素数 z=x+iy があって、これを自分自身（つまりz=x+iy)に移す 写像は恒等写像といいます。 次に、 ＞> ＫからＬへの準同型写像とは ＞> 任意のa,b∈Ｋに対し f(a+b)=f(a)+f(b),f(ab)=f(a)f(b) ＞> を満たすＫからＬへの写像(関数)fのことです。 ＞ ＞を満たしていれば、すでにそれは自己同型のような気がするのですが。 についてですが、ＫからＬへということなので ”自己”という言葉は当てはまりません。 taropooさんのおっしゃりたいことは 「ＫからＬへの写像f が 任意のa,b∈Ｋに対し f(a+b)=f(a)+f(b),f(ab)=f(a)f(b) ・・・(i) を満たすならばfは同型写像になるのではないか つまり、(i)を満たせばfは全単射になるのではないか」 ということではないでしょうか。（違ってたらごめんなさい） 残念ながら「 」は成り立ちません。 たとえば有理数体Ｑから実数体Ｒへの写像fを f(a)=a （つまり恒等写像） とすると、 任意のa,b∈Ｑに対し f(a+b)=f(a)+f(b),f(ab)=f(a)f(b) は成り立ちますが、fは明らかに全射ではありませんね。
- shroeder
- ベストアンサー率44% (4/9)
まず、下の解答で 普通 R^2 が体であるとは考えません（積の定義が明示されていない からです） z→(zの共役) がCの自己同型であるというのは (z+w)の共役=（zの共役）+（wの共役） (z*w)の共役=(zの共役)*(wの共役) が成り立ち、しかも対応が１対１、かつontoである という意味に理解しておけばよいでしょう （複素解析を勉強する上では、それ以上には必要ありません。 著者は上のことを式で書くのが面倒だったのかも知れません） f：C→C が自己同型とは、上のように和、積を保ち、１対１、onto であるということです。 いまfが実数を動かさないとして、f(i)=jとすると,和積を保つことから f(i^2+1)=j^2+1 となりますが、左辺は０なので（f(z+w)=f(z)+f(w)でz=w=0とすれば f(0)=0が出ます）j^2+1=0でなければなりません。 したがって ｊはiか-iのいずれかでなければなりません。またｉの 行き先が決まれば、f(a+ib)＝a+f(i)b となるので、すべてのa+ib の行き先が決まります この証明は、もしｆがあればf(i)=+ior-iということしか言って いませんが（つまり単なる必要条件）、実際に、恒等写像と 共役があるのでｊ＝＋ｉの場合もj=-iの場合も起こることが 証明されたことになるのです。
補足
１対１と全単射とは同値でしたっけ？ontoって何ですか？ ただの同型と自己同型の違いがいまいちよく分かりません。
- prome
- ベストアンサー率32% (64/196)
同型とは同型写像のことです。写像ｆが全単射かつ、和、積の演算について、 演算関係を保つ時（motsuanさんが書かれた通り）、ｆを体の同型写像と いいます。 同型写像ｆが自分自身への写像、すなわちｆ：Ｃ→Ｃの時、ｆを自己同型写像 または単に自己同型といいます。
補足
> 同型写像ｆが自分自身への写像、すなわちｆ：Ｃ→Ｃの時、ｆを自己同型写像 > または単に自己同型といいます。 が > 『複素数からその共役にうつる演算は体Ｃの１つの自己同型である』 と矛盾する気がするのですが。だって共役複素数は自分自身ではないですよね？ 何が分かってないんだろ？
- motsuan
- ベストアンサー率40% (54/135)
体Ｃの同型といっているので 演算関係が保存されるということです。 Ｃの元ａとｂとｃがあって ａ ± ｂ＝ｃ がなりたつときに Ｃ共役の元ａ^*とｂ^*とｃ^*について ａ^* ± ｂ^* = ｃ^* のが成り立つ、とようなことです。
お礼
質問の中で引用した本の中では「同型」という言葉は体言で書いてあります。 お応えいただいた中では「同型」という言葉が用言的に形容されているので 今一つ「同型とは」が見えてきません。 ただ、その後の方々のフォローがあったのでおっしゃりたい事はちょっと分かってきた気がします。 ありがとうございました。
関連するQ&A
- 体の準同型について
複数の本でガロア理論について学んでいるのですが、 「K自己同型」という言葉の定義が複数あって困っています。 （１）K,Aを体とする。KからAへの準同型があるとき、AをK代数という。 K,A,Bを体、φ：K→A、ψ：K→Bを準同型とし、φ,ψにより、A,BをK代数とみなす。このとき、準同型f：A→Bが、f◦φ＝ψという条件を満たすとき、fをK準同型という。K準同型が体の同型のときK同型という。 AがK代数である時、AからAへのK同型全体の集合は写像の合成により群になる。これをK自己同型群といい、Aut_k (A)とかく。 （２）Aを一つの体とする。Aの自己同型全体をAut(A)で表し、自己同型群と呼ぶ。 Aの一つの部分体Kが与えられたとする。σ∈Aut(A)がKのすべての元を固定するとき、σはAのK上の自己同型と呼ばれる。K上の自己同型の全体はAut(A)の部分群をなすので、この部分群をAのK上の自己同型群という。 （２）の定義の方は理解できたのですが、（１）のK代数の扱いがよくわかりません。この二つの定義は本質的には同じことを定義しているのでしょうか。（よろしければ、そうなる理由も書いていただけると嬉しいです。）
- ベストアンサー
- 数学・算数
- 準同型写像についての問題です。
群準同型 φ：Ｃ＾｛×｝→Ｃ＾｛×｝ で Ｉｍａｇｅ(φ)＝ＴかつＫｅｒ(φ)＝Ｒ＾｛×｝をみたすものを一つ与えよ。 という問題です。 ただし、Ｃ＾｛×｝は複素数体の乗法群。 Ｔは｛ｚ∈Ｃ＾｛×｝｜｜ｚ｜＝1｝。 Ｒ＾｛×｝は、実数体の乗法群です。 自明なことも含め、できるだけ詳しく教えていただけたらうれしいです。
- 締切済み
- 数学・算数
- 群論の基礎で・・・
今群論を勉強しているのですが、勉強を進めていてわからないところがいくつかあって困っています。どなたか教えていただけると嬉しいです。 (1)「Gを有限群、Hをその部分群、とする時 Gの元の位数、は、Gの位数、の約数である。」 と、あったのですが、これは何故でしょうか。。 (2)「写像fを、R(実数)-{0} → C(複素数)-{0} θ → exp(2πiθ) で定めるとき、これは準同型写像」 とあったのですが、準同型の定義に従って、R-{0}の２つの元としてθ,ψをとってきて、f(θψ)=f(θ)f(ψ)が成立することを確認しようとすると、(左辺)=exp(2πiθψ)、(右辺)=exp(2πiθ)・exp(2πiψ)=exp(2πi(θ+ψ))となり、この２つが等しいとは思えません。 f(θψ)=f(θ)f(ψ)が成り立つためには、R-{0}内での演算は＋(足し算)で、C-{0}内での演算は×(掛け算)、というふうに演算が定められている、と、考えるのかな？と思ったのですが、違う演算が定義された群同士を結ぶ写像が準同型になる、というのは許されるのですか？ 長くてわかりにくい文章になってしまいすみません。 よろしくお願いいたします。
- ベストアンサー
- 数学・算数
- 複素共役 共役複素数
複素共役 共役複素数 複素共役の性質としてよくわからない性質があったので 質問させて頂きます。 複素数をz、zに対する複素共役をz^-で表します。 （z^-1）=（z^-）/（｜z｜^2） これは、複素数の逆元を表していると思います。 この、（z^-1）とは（1/z）と同じことなのですか？ また、（z^-1）=（z^-）/（｜z｜^2） となる理由を知りたいのですが、 証明の仕方を教えて頂けないでしょうか？ 以上、よろしくお願い致します。
- ベストアンサー
- 数学・算数
- 加法と乗法について閉じているものはどれでしょうか？
2×2行列からなる次の形(1)～(4)の集合のうち、加法と乗法について閉じているものはどれでしょうか？ 1つ選んでください。 (1) α...0 -β...1 (α,β∈複素数Ｃ) (2) α...β -β'...0 (α,β∈複素数Ｃ,-β'は-βの複素共役数) (3) α...β β...α' (α,β∈複素数Ｃ,α'はαの複素共役数) (4) α...β -β'...α' (α,β∈複素数Ｃ,α'はαの複素共役数、-β'は-βの複素共役数) という問題でなぜそれが正解になるのか、また他の選択肢はなぜ間違いなのかという根拠がテキストに書かれておらずわかりません。途中計算を含めて詳しい解説を宜しくお願いします。その際「加法と乗法について閉じている」について重点的にお願いします。 なお正解は(4)で、解説には以下のように書かれています。 加法と乗法で閉じているかどうかを確かめる問題だが、まず(1)は加法について閉じていないのは明らか(成分に1がある)。他は加法について閉じているのは明らかであるから、乗法が問題である。(2)(3)ではα=0に限ってテストしてみると少し楽だが、正直に計算しても大した事はない。
- 締切済み
- 数学・算数
- 大学の代数の問題です。
大学の代数の問題です。 ｆ(x)∈Ｒ[x]とする。 α∈Ｃ＼Ｒ(α=a+biと書いたときb≠0となる複素数)がｆ(α)=0を満たすとき、αの複素共役α￣=a-biもｆ(α￣)=0を満たすことを示してください。 またＲ[x]における既約元は一次または二次であることを示してください。 α￣はαのバーです。
- ベストアンサー
- 数学・算数
- 共軛と自己準同型
四元数の共軛は乗法と加法を用いて以下の様に書き表すことが出来ます。 Cj Q = -1/2(Q + iQi + jQj + kQk) … (*) 四元数 - Wikipedia 共軛、ノルムおよび逆数 https://ja.wikipedia.org/wiki/%E5%9B%9B%E5%85%83%E6%95%B0#.E5.85.B1.E8.BB.9B.E3.80.81.E3.83.8E.E3.83.AB.E3.83.A0.E3.81.8A.E3.82.88.E3.81.B3.E9.80.86.E6.95.B0 また、 シュプリンガー数学リーディングス 数(下) .D.エビングハウス (著)、成木 勇夫 (翻訳) 出版社: 丸善出版 ISBN-10: 4621063871 ISBN-13: 978-4621063873 の235頁、§1.6 R-ベクトル空間Hの自己準同型 より、 任意の2つの四元数A,Bに対し、写像 Q l→ AQB は、Hからそれ自身へのR-線型自己準同型(∈End(H))である。 とあります。更に236頁の例に、共軛 Q l→ Cj Q はEnd(H)に属し、式(*)が示されています。 四元数の共軛写像がEnd(H)に属していると言う事は、AQB = Cj Q を満たす2つの四元数A,Bは存在するのでしょうか。存在するのなら、A,Bはどの様な値なのでしょうか。稚拙な文章ですが、宜しくお願いします。
- ベストアンサー
- 数学・算数
- 体での共役の定義って?
複素数での共役の定義を一般的に述べればどういう事か考えています。 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のＱ上の最小多項については α=[3]√2と置くと,α^3=2なのでx^3-2=0が[3]√2のＱ上の最小多項式。 この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'」 が共役な元の定義だと思いますが…。 如何でしょうか? 体での共役の定義をご存知の方いらっしゃいましたらお教え下さい。
- 締切済み
- 数学・算数
- C言語について質問です
複素数演算について各演算を作成し、関数を扱うために関数complex.cを作成したいです． 今回は和差積商と絶対値，偏角，共役複素数まででよいのですが、解き方がわかりません。 よろしくお願いします
- 締切済み
- 科学
補足
> また、自分から自分への（つまりＣからＣとか）の同型写像を > 自己同型写像、あるいは略して自己同型といいます。 > f(x+iy)=x-iy というある複素数をその共役に写すという写像fは > 自己同型写像になりますよ、というのが > ＞『複素数からその共役にうつる演算は体Ｃの１つの自己同型である』 > の述べていることです。 これが分かりません。「自分から自分へ」の自分ってどのレベルの話ですか？ たとえば複素数 z=x+iy があって、これを自分自身（つまりz=x+iy)に移すよ、って考えちゃうと 当然複素数からその共役へうつす変換は同型とは言えなくなっちゃう。 ってことは「自分」ってのは z=x+iy とかいうレベルじゃなくて、複素数体、実数体、有理数体、とか そういうレベルの話ですか？ でもそうすると > ＫからＬへの準同型写像とは > 任意のa,b∈Ｋに対し f(a+b)=f(a)+f(b),f(ab)=f(a)f(b) > を満たすＫからＬへの写像(関数)fのことです。 を満たしていれば、すでにそれは自己同型のような気がするのですが。 私は何を勘違いしているのでしょう？