• ベストアンサー

線形写像における単射性

「すべての対称式がこの二つの対称式の多項式としてただ一通りに表せる」ということの証明が教科書に載っているのですが、その証明で分からない部分があります。 定理:二変数の多項式環C(u,v)から対称式をなす環S(x,y)への写像φを次のように決める。 φ(f(u,v))=f(x+y,xy) するとこの写像φは全単射写像になる。 この定理において写像φが単射であることの証明がよくわかりません。 φ(f(u,v))=0ならf(u,v)であることを示したあと、  φ(f(u,v))=φ(g(u,v)) →φ(f(u,v))-φ(g(u,v))=0 →φ(f(u,v)-g(u,v))=0 →f(u,v)-g(u,v)=0 ∴f(u,v)=g(u,v) となって単射性がわかると教科書に書いてあるのですが、これでなぜ単射性がわかるのでしょうか?教科書やインターネットで調べたのですがわかりませんでした。 わかる人がいれば詳しく教えてください。よろしくお願いします。

質問者が選んだベストアンサー

  • ベストアンサー
  • hatake333
  • ベストアンサー率66% (36/54)
回答No.2

写像fが単射である   ←→ x1 ≠ x2 ⇒ f(x1) ≠ f(x2) (定義)  ←→ f(x1) = f(x2) ⇒ x1 = x2  (定義の対偶) なので,写像φに対して,   φ(f(u,v))=φ(g(u,v)) ⇒ f(u,v)=g(u,v) が示されたので,φは単射です. つまり,f(u,v),g(u,v)が定義の x1,x2 にあたるわけです.

akisute3
質問者

お礼

f(u,v)とg(u,v)がC(u,v)の要素であり、教科書の証明では定義の待遇を示しているのですね。単純なことを難しく考えすぎていたようです。 ご回答ありがとうございました。

その他の回答 (1)

  • koko_u_
  • ベストアンサー率18% (459/2509)
回答No.1

>これでなぜ単射性がわかるのでしょうか? 単射の定義そのものです。

関連するQ&A

  • 多項式環から対称式のなす環への写像

    ニ変数の多項式環C[u、v]から対称式のなす環 S(x、y)への写像φを次のように定めます。 φ(f(u,v))=f(x+y,xy) ※f(u,v)∈C[u,v] この写像φ:C[u,v]→S(x、y) が全単射になる証明を考えています。どなたか分かる方いませんか? この定理の意味もよく分からないので、意味だけでも教えてください。

  • 写像について

    写像について (1)(-1,1)を(-∞,∞)に全単射する写像の例を一つ挙げよ。あげた写像が全単射といえる理由も述べよ。 (2)f:R^2→R^2,f(x,y)=(x+y,xy)とするときf(D)を求め図示せよ。 D={(x,y)|x^2+y^2<1,x>0,y≦0} の二問の解答への方向性が見えません。 全射、単射についての定義はわっかていますが・・・。 よろしくお願いいたします。

  • 写像の単射と全単射

    写像の定義に関して本で 単射: 任意のyに対して、xに関する方程式f(x)=yの解xが一意的 全射: 任意のyに対して、xに関する方程式f(x)=yの解xが存在 全単射: 任意のyに対して、xに関する方程式f(x)=yの解xが一意的に存在 という説明がありました。 単射であって全単射でない場合はあるのでしょうか?具体例を教えて いただければと思います。

  • 多項式環の証明がわかりません。

    複素数を係数とする二変数多項式環をC[u,v] 二変数の対称式の全体をS(x,y)とする。 φ:C[u,v]→S(x,y) φ(f(u,v)) = f(x+y,xy) (f(u,v) ∈C[u,v]) とすると、φ:C[u,v]→S(x,y)が全単射写像である ことを証明せよ。 というレポートがでました。全射であるということは、S(x,y)から任意の元をとってきて、y=f(x)(←例えば)となるC[u,v]の元を見つければいいのでしょうか?また、単射はφの線形性を調べたらよいのでしょうか?解決策がみつからないのでよろしくお願いします。

  • 写像の問題です。よろしくお願いします。

    (1)2つの写像f:X→Y、g:Y→Zがある。g・fが全射ならばgは全射であるとする。ここでさらにgが単射であると仮定すればfも全射となることを証明せよ。 (2)自然数Nと零を合わせた集合N∪{0}から整数の集合Zへの写像で、全単射となるものを構成し、その理由を説明せよ。

  • 写像の証明問題です。よろしくお願いします。

    写像の問題です。よろしくお願いします。 (1)2つの写像f:X→Y、f:Y→Zがある。g・fが全射ならばgは全射であるとする。ここでさらにgが単射であると仮定すればfも全射となることを証明せよ。 (2)自然数Nと零を合わせた集合N∪{0}から整数の集合Zへの写像で、全単射となるものを構成し、その理由を説明せよ。

  • カントール 写像

    大学一年生です。 学校で、 定理 (カントール?) f:X→Y g:Y→X f,g共に単射ならば、XからYへの全単射が存在する。 とならいました。 (証明はよく理解できませんでした…(--;)) そこで例として、下記を挙げられました。 X=N、Y={2n|n∈N}(=2N) f:N→2N g:2N→Nと定義する。 f,gはともに全射(全単射ではない) このf,gから証明で得られる全単射h:X→Yをはっきりさせる。 z=X-g(Y)=N-2N:奇数 ここからhを求めることってできるのでしょうか…? 何をしたらよいのかさっぱりわかりません…(T_T)

  • f:X→Y, g:Y→Xを集合Xと集合Yの間の写像

    f:X→Y, g:Y→Xを集合Xと集合Yの間の写像とし、g⚪︎f:X→X、f⚪︎g:Y→Yをそれらの写像の合成写像とする。次の記述1から5について、 1:gが全射ならば、g⚪︎fは全射である。 2:g⚪︎fが全射ならば、fは全射である。 3:g⚪︎fが単射ならば、gは単射である。 4:Yが有限集合で、g⚪︎fとf⚪︎gが全射ならば、fは全単射である。 5:f⚪︎gが全単射ならば、g⚪︎fは全単射である。 常に正しいのは4であるそうですが、その理由がわかりません。どなたか教えて下さいませんか。

  • 逆写像の条件について

    集合Uから集合Vへの写像fが全単射なら 逆写像f^{-1}が存在し、f^{-1}は全域写像になりますが、 f^{-1}の逆対応はfなので、f^{-1}は全単射で、 fは全域写像になるのでしょうか? また、集合Uから集合Vへの部分写像fが逆写像をとる条件を単射とした場合は 合成写像f◦f^{-1}がUの恒等写像にならないですよね?

  • 単射の定義

    基本的な質問です. 数学の本のいくつかの本に単射の定義が出ていました. 集合GとG'の間に写像fがあり,Gの点x,yのそれぞれ写像の点,x',y'があるときx≠yであるとき,x'≠y'であるとき単射であるという. この定義には,写像fが一価であることを定義の要件として必ずしも明示されていない(一価であるのならばこのような定義は入らない)ようなので,次のように考えた場合矛盾があるでしょうか.いいかえれば,単射の定義としては,x≠yであるとき,x'≠y'であるだけでなく,逆のx'≠y'であるときx≠yの条件も併せてつけるべきではないでしょうか. Gの点xに対して,x1',x2'が,yに対して,y1',y2'に対応し,x≠yであるとき,x1',x2y1',y2'がいずれも異なる場合の写像は,上の定義だと単射といえるのではないでしょうか