多項式関数

代数学における多項式函数（たこうしきかんすう、英: polynomial function）は、適当な可換環（多くの場合は可換体）K に係数を持つ多項式に付随して定まる なる形の写像を言う。ただし、n は自然数で、an, an−1, …, a1, a0 は f の係数と呼ばれる K の元である。これはまた、和の ∑-記法によって f: x ↦ ∑nr=0 arxr のようにも書かれる。このような写像 f を K に係数を持つ多項式函数と呼ぶ。 ここでは定義を複雑にしないために多項式函数の定義域および終域 L については特に限定しないが、事実として L は K 上の単位的結合多元環の構造を持てば十分である。つまりそのような構造は多項式函数の定義に現れるすべての演算を持っている: * 環 K のとしての加法および乗法によって、係数同士の和と積ができる。 * 環 K によるとしてのスカラー乗法によって、K の元を L の元に掛けることができる。 * L の内部演算としての乗法により、L の元としての x の冪を作ることができる。 * L の内部演算としての加法により、akxk なる形の L の元同士を加えることができる。 実用上は大抵、実変数実数値 (K = L = ℝ) や複素変数複素数値 (K = L = ℂ) となる特別の場合を扱うが、その場合は上記に現れるすべての乗法は一つの同じ演算である。 解析学で多項式函数を扱う場合には、連続性や可微分性などを議論の埒に入れることになるから、専ら実係数 (K = ℝ) あるいは複素係数 (K = ℂ) である。