複素数を係数とする二変数多項式環を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]の元を見つければいいのでしょうか?また、単射はφの線形性を調べたらよいのでしょうか?解決策がみつからないのでよろしくお願いします。
No.3
- 回答日時:
単車の理由:
f(u,v),g(u,v)∈C[u,v]であってf(u,v)≡g(u,v)でない
とすると
ある点(u,v)=(u',v')でf(u',v')≠g(u',v')である
これをt^2-u'・t+v'=0の根をt1,t2として言い換えると
f(t1+t2,t1・t2)≠g(t1+t2,t1・t2)
よって
f(x+y,x・y)≡g(x+y,x・y)でない
No.2
- 回答日時:
それでは、複素係数の対称式f(x,y)はx+yとxyの多項式で書けることを示します。
…※f(x,y)から任意にひとつの項ax^m*y^n(aは複素数かつmとnを0≦m≦nを満たす整数とする。)を取り出す。
m<nのとき
f(x,y)は対称式だからf(x,y)は項ax^n*y^mも含んでいる。
m=nのとき
ax^m*y^m=a(xy)^mとなって、xyの多項式となる。
したがって、f(x,y)=Σ(ax^m*y^n+ax^n*y^m)=Σa(xy)^m{x^(n-m)+y^(n-m)}+a'(xy)^m
となる。
したがって、sを自然数としたとき、x^s+y^sがx+yとxyの多項式であること…○
を示せば、※は示されます。
数学的帰納法で示します。
s=1のとき
x^1+y^1=x+y+0*xyだから○は明らか
s=2のとき
x^2+y^2=(x+y)^2-2xyだから○は正しい。
s=kとs=k-1のとき○は正しいと仮定する
x^(k+1)+y^(k+1)=(x+y)(x^k+y^k)-xy{x^(k-1)+y^(k-1)}だから、帰納法の仮定より、x^(k+1)+y^(k+1)もx+yとxyの多項式であることがわかる。
したがって、s=k+1のときも○は正しい。
以上、数学的帰納法によって○は示された。
したがって、f(x,y)=Σa(xy)^m{x^(n-m)+y^(n-m)}+a'(xy)^mはx+yとxyの多項式であることが示された。
したがって、φは全射です。
単射はuyama33さんの言う通り、多項式の表現の一意性を言えばいいと思います。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 分からない課題で困っています。 どなたか、教えてください。 変数多項式環R[x]からRに対して φ: 2 2022/07/06 11:28
- 数学 代数学 原始多項式について 3 2022/06/24 19:06
- 数学 多項式の性質と無理数・有理数 2 2022/06/21 06:50
- 数学 環論 1 2022/04/12 14:08
- 数学 多変数関数の微分とテイラー展開について 5 2022/04/24 16:55
- 数学 回答の意味について 4 2023/07/11 11:19
- 数学 ある方から頂いた回答について 1 2023/07/10 11:34
- 数学 代数学 環 1 2022/10/12 17:29
- 数学 問題がよく分からないのであっているか見て欲しいです 次の各写像のうち単射であるもの,全射であるもの, 5 2022/07/01 09:37
- 数学 数学の問題についての質問です。 R上の関数f(x)=(x-1)(x-5)(x-10)+1について、こ 2 2023/02/12 15:00
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
まあべつにいいけど
-
arcsinのマクローリン展開について
-
(x-1)(x-2)(x-3)の展開の...
-
多項式について質問です。 エク...
-
斉次とは?(漢字と意味)
-
パデ近似の利点について教えて...
-
余次元って何?
-
単項式と分数式の違いについて
-
e^sinXの展開式について。。。
-
データのノイズ除去法 - Savitz...
-
等差×等比 型の数列の和を求め...
-
(1+x)^n=1+nxについて
-
約数と因数の違い(∈N)
-
組立除法 1次式 ax-k の係数...
-
deg f?
-
原始多項式の求め方
-
Qバー={α⊂C| αがQ上代数的...
-
M系列の生成多項式と原始多項式...
-
CRCチェック 多項式の選び方
-
ローラン展開の問題についての...
おすすめ情報