• ベストアンサー

多項式

整数係数の二変数多項式で Z×Z から Z≧0 への全射と なるものは存在しますか? Z は整数の集合 Z≧0 は非負整数の集合 のことです。

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

  • ベストアンサー
回答No.1

MITの教授が公開質問しているくらいだし、未解決のようです https://mathoverflow.net/questions/9731/polynomial-representing-all-nonnegative-integers 尚、そこに書いてある通り、三変数多項式ならZ×Z×Z から Z≧0 への全射となるものがあります(Gauss 1796年)

Marico_MAP
質問者

お礼

未解決だったんですね。失礼しました。 証明はわからないけど、なんとなく存在しなさそうな気がしていたので質問してしまいました…。 教えていただいたページから色々調べられそうです。 ありがとうございました。

全文を見る
すると、全ての回答が全文表示されます。

その他の回答 (1)

回答No.2

なお、 > 三変数多項式ならZ×Z×Z から Z≧0 への全射となるものがあります(Gauss 1796年) とあるのは、そこにあるガウスの三角数定理から導くことが出来ますが、それにはガウス・ルジャンドルの三平方の定理が必要です。証明はかなり大変(そう)です。 https://integers.hatenablog.com/entry/2017/07/05/185251 https://integers.hatenablog.com/entry/2017/07/05/172017

Marico_MAP
質問者

お礼

ありがとうございます。 たしかに下は大変そう…です。

全文を見る
すると、全ての回答が全文表示されます。

関連するQ&A

  • 多項式

    実数係数の二変数多項式で R×R から R>0 への全射と なるものは存在しますか? R は実数の集合 R>0 は正の実数の集合 のことです。

  • 複素数と多項式

    複素数を係数とする定数ではない多項式fで 任意の虚数zに対してf(z)が実数となるもの は存在しますか? ふと、疑問に思ったので…。

  • 多項式について

    高校生のものです。 問題を解いていて「f(x)は多項式である。」という条件がありました。 もともとの知識では変数がxだけで三角関数などが含まれないで、f(x)=ax^n+bx^n-1+・・・・というのは知っています。 そこで質問なのですが、多項式とはxの次数が負のものも多項式というのでしょうか? 僕は負も多項式と考えていたのですが、解説には定数項までしかおいてなく、分母にxがあるものを考えてありませんでした。

  • 代数学の、多項式の問題を教えて下さい。

    f(X)=X^n+a1・X^(n-1)+a2・x(n-2)+・・・+an∈Z[x]を、最高次の係数が1の整数係数のn次多項式とする。 (1)Aが有理数でf(A)=0を満たす場合、Aは整数である事を示しなさい (2)Aが整数でf(A)=0を満たす場合、Aはanの約数である事を示しなさい。 (3)aは整数でa≠0,2であるとする。X^3-aX-1はQ[X]の既約多項式である事を示しなさい。 という問題です。 困っています。 分かる方、お願いいたします

  • 多変数多項式の係数の求め方

    y  = a0 + a11*x1 + a12*x1^2 + a13*x1^3 + ・・・ + a21*x2 + a22*x2^2 + a23*x2^3 + ・・・      ・      ・ 上記のような多変数多項式の各係数をエクセル2007で求めようとしているのですが、 やり方がわかりません。 単変数や1次の多変数の係数は、LINEST関数や回帰解析ツールを使えば、 求められることが分かったのですが、多変数多項式の各係数はどのようにして求めるのでしょうか。 どなたかご教授いただけると助かります。

  • 整数から整数へマップする多項式の条件

    【問題】多項式 p が以下の条件を満たす必要十分条件はなんですか? (1)n∈Z ⇒ p(n)∈Z (Zは整数の集合) (2)pのすべての係数は有理数 ---------------------------------------------------- 係数がすべて整数の場合以外に、いくつか思いつく限りの例を挙げてみました。 x/2 + (x^2)/2 x/6 + (x^2)/2 + (x^3)/3 一般化して(Π[k=0,n](x+k))/n! 以上の考察から Σ[n=0,∞](C_n*((Π[k=0,n](x+k))/n!)) (C_nは整数) で p の一部を表現できます。でも、必要十分条件まではまだまだ遠いです。これは線形代数の教科書で出てきた問題なのですが、どう線形代数を使ってよいのかもよく分かりません。考え方の道しるべを示していただけると助かります。

  • 多項式の分解

    多項式の分解についての質問です。 理解があいまいなので、間違いをご指摘願いします。 また常識的なことで、抜けてる部分がありましたら(多分あると思いますが)指摘くださると、ありがたいです。 実数係数の多項式は複素数の範囲では1次式に、実数の範囲では、1次式と2次式のみに分解できる(2次式は、判定式D<0をみたす) 有理数の範囲では、分解できる場合とできない場合がある。できても、3次以上の多項式が含まれることもある。 整係数多項式が有理数の範囲で因数分解できるなら、整数係数だけで因数分解できる。

  • 多項式の逆関数

    xとyを変数にもつチェビシェフ多項式 z=\sum a_{n1,n2} T_n1(x) T_n2{y} T_n1(x)はn1次のチェビシェフ多項式 があったとして,変数をひっくり返してxをyとzの関数で表したいのですがそれにはどうしたらよいのでしょうか?

  • 生成多項式

    生成多項式、既約多項式とは何かを教えてください。 あと、擬似乱数係数とは何かも教えてください。 それからできればKASAMI係数とは何かも教えてください。

  • 既約多項式の証明

    p:素数 Zp=Z/(p)とする. 多項式f(x)=a0+a1x+・・adx^d∈Z[x]に対して、 f ̄(x)=a0 ̄+a1 ̄x+・・ad ̄x^d∈Zp[x]として、(a ̄∈Zpは整数aの剰余項) 最高次の項の係数がpで割れない原始多項式f(x)∈Z[x]について、f ̄(x)がZp[x]の既約元であれば、f(x)はZ[x]の既約元である ということを示したいのですが、f(x)が既約元でなくf=ghとおいて示そうとしてるのですが、ごちゃごちゃになっていまいちできません。どのような解法が適切でしょうか。