多項式

数学において、多項式（たこうしき、）とは、数と不定元（変数とも呼ばれる）をもとにして、和と積によってつくられる式のことである。たとえば、 は を不定元とする多項式である。多項式は不定元を複数もつ場合もある。
本記事では多項式とその基本的な演算について述べ、関連して代数方程式、因数分解、多項式関数といった事項に触れる。関連事項についての詳細は個別記事に譲る。なお、一部の記述は1変数多項式（不定元を1個だけもつ多項式）に特有の内容である。
代数方程式とは多項式によって表される方程式であり、これは特に1変数の場合には因数分解と密接に関係している。また、代数方程式は数学における最古の問題のひとつで、その解法の追究は複素数や群といった概念の発見をもたらした。
多項式関数とは多項式によって与えられる関数のことである。多項式は数学や他の科学にさまざまな形で現れるが、その背景には、複雑な関数の特徴をとらえる際に多項式関数による近似が頻繁に用いられることがあるといえるだろう。
基本用語.
1変数の多項式.
不定元 に関する（1変数の）多項式とは、
という形の式のことをいう。これを
とも書く。ただし、 は非負整数で、, , …, は数である。各々の (, …, ) のことを項（より詳しくは 次の項）とよび、 をその項の係数とよぶ。特に、0次の項 は定数項とよばれる。たとえば、多項式 の項とは , , , のことで、 の係数は であり、またこの多項式の定数項は である。
項を並べる順番は変更してよい。たとえば は と同じ多項式である。また、 を係数とする項は省略してもよい。たとえば と は同じ多項式であり、 と も同じ多項式である。
 や のような、唯一の項によって表される多項式のことを単項式とよぶ。また、数 を多項式とみなすこともできる（定数多項式）。
定数多項式 を除くすべての多項式 は、（ただし ）という形に表すことができる。このように表したとき、 のことを多項式 の次数とよび、また は 次多項式であるという。さらにこのとき、 次の項 は最高次の項ともよばれる。
定数多項式 の次数は の場合を除き である。 の次数は、定義しないか、あるいは と定めることが多い（零多項式）。
なお、多項式の係数としてはさまざまな範囲の数を用いることができる。どういった範囲の数を採用しているか明示するために、「実数を係数とする多項式」のような表現が用いられることがある。集合 に属する数を係数とする多項式のことを「 上の多項式」ともいう。係数の集合 としては体または可換環を選ぶことが多いが、必ずしもそれらに限定されない。
多変数の多項式.
不定元 , に関する2変数の多項式とは、たとえば のように、有限個の （, は非負整数、 は数）の和として表される式のことをいう。同様にして、任意の正整数 について 変数の多項式の概念を考えることができる。2変数以上の多項式は、一般に多変数の多項式とよばれる。
 を数の集合とする。 個の不定元 , , …, に関する 上の多項式 は、 個の非負整数の組全体の集合を で表すとき、 のある有限部分集合 を用いて
と表すことができる。ただし各 は の元である。同じことを、多重指数記法を用いて
と書くこともできる（ここで ）。各々の （多重指数記法では ）を多項式 の項とよぶ。なお、1変数多項式の場合と同様に、 を係数とする項は省略して書いてもよい。
 変数の多項式 を上記のように表したとき、項 の次数とは、通常 のことである。また、 を係数とする項をすべて省略した形で を書き表したときに、現れる項の次数のうち最大のものを の次数とよぶ。たとえば、（不定元 , に関する）多項式 の次数は である。
注意.
多項式と整式.
「多項式」と「整式」は、数学の文献では同じ意味で使われることが多い。しかし一般にはそうでない流儀もある。たとえば、「整式」を本記事でいう多項式の意味で用い、「多項式」は単項式でない整式の意味で用いることがある。
また、現在の日本の中等教育課程では、本記事でいう多項式を「整式」とよび、「多項式」の語は副次的に用いる習慣がみられる。たとえば、中学校学習指導要領では「多項式」の語は「単項式」との対比においてのみ使われている。高等学校学習指導要領には「多項式」は現れず、もっぱら「整式」の語が使われている。
不定元と変数.
多項式については、「不定元」と「変数」という二つの言葉は基本的に同じ意味で使われる。
不定元（変数） に関する多項式 があるとき、この を多項式とみなす限りにおいては、 は単なる形式的な記号にすぎず、値を持ったりはしない。その意味で、 を「変数」とよぶのは不適切だと考えることもできる。一方で、 を多項式関数（後述）とみなした場合は は変数となる。多項式と多項式関数は異なる概念ではあるけれども、両者には密接な関係があることから、多項式についても「不定元」でなく「変数」という言葉を用いる人も少なくない。不定元も参照せよ。
記号 と.
多項式を記号で表す際の記法には、たとえば と のように、不定元を表す文字を添えるものと添えないものがある。これらは両方とも広く用いられる。
多項式の演算.
加法・乗法・定数倍.
同じ不定元を持つ二つの多項式 , について、それらの和 および積 とは、それぞれ、形式的な和や積を、加法・乗法の交換法則および分配法則が成り立つものとして整理して得られる多項式のことである。1変数の場合について式で表すと次のようになる。不定元を として、formula_5 および formula_6 とおく。さらに、, と定めておく。そのとき、和は
となり、積は
となる。
多項式 と数 に対し、 の 倍（一般には定数倍ないしスカラー倍という）とは、 の各項の係数を 倍して得られる多項式である。これも1変数の場合について式で表すと、formula_5 に対して
である。
これらの演算は、多項式 , を多項式関数（後述）とみなしたときの、関数としての加法、乗法、定数倍と対応している。また、多項式の乗法は、数列に対する畳み込みとみることもできる。
可換環 上の不定元 に関する多項式全体の集合は、上述の演算によって 上の多元環になる。これを（ を不定元とする） 上の 変数多項式環といい、記号 で表す。
除法.
多項式の除法とは、体 上の（1変数）多項式 , （ただし ）に対して、次の2条件をみたす多項式 , を求める手続きである。
これらの条件をみたす多項式 , の組は必ず存在し、しかも一意的である。 のことを を で割った商、 のことを余り（または剰余）という。 を で割った余りが のとき、すなわち をみたす が存在するとき、 は で割り切れるという。
より一般に、単位元をもつ可換環 上の多項式 , についても、 がモニック多項式（最高次の項の係数が ）ならば、同様にして を で割った商および余りを定めることができる。
多項式の除法は、より一般の、余りつきの除法の特別な場合とみなすことができる。除法の原理、ユークリッド環も参照せよ。
なお、多項式の除法に関する商のほかに、有理式としての商 を考えることもできる。両者は異なるものである。
微分・積分.
1変数多項式 formula_5 に対して、その微分とは、
で定められる多項式 をつくる演算である。 のことを の導多項式という。同様にして、多変数多項式についても、各々の不定元に関する微分を考えることができる。
実数または複素数を係数とする多項式 については、それを多項式関数（後述）とみなして微分することもできるが、上述の多項式としての微分は、この関数としての微分（多変数多項式の場合には偏微分）と対応している。関数としての微分と区別するため、多項式としての微分を形式的微分とよぶことがある。形式的微分には、多項式の係数が実数や複素数でなくても問題なく定義できるという利点がある。
多項式 に対して、導多項式が に一致するような多項式 を求める操作のことを（形式的）積分という。
代数方程式.
多項式の不定元を数に置き換えることを代入という。たとえば、多項式 の不定元 に数 を代入することで
という数が得られる。
 変数多項式 を用いて という形に表される方程式のことを代数方程式という。またその解、すなわち を満たす数の組 のことを、多項式 の零点という。
1変数多項式 の零点のことを の根ともいう。数 が の根であることは、 が1次式 で割り切れるための必要十分条件である（因数定理）。 が で割り切れ、かつ では割り切れないとき、 は の重複度 の根であるという。2以上の重複度をもつ根は重根とよばれる。
体 上の1変数多項式 が の代数閉包において重根をもつことは、 と導多項式 が定数でない共通因子をもつことと同値である（関連して、判別式を参照せよ）。 が の代数閉包において重根をもたないとき、 は分離多項式であるという。
因数分解.
与えられた多項式 をいくつかの多項式の積として表すことを、多項式 の因数分解という。
因数分解を行うためのもっとも単純な方法は、因数分解の結果として現れる多項式の係数を未知数とみなし、それらに関する方程式を立てて解を探すことである。たとえば、2次式 を1次式の積に因数分解するには、 だから、, , が満たされるような数 , , , を探せばよい。また、特に1変数の多項式を因数分解する場合には、因数定理も重要な道具となる。
因数分解に関連して、1変数の場合における既約多項式の概念がある。ここでは説明を簡単にするため係数の集合は体 であるとする。1次以上の多項式 が、同じく に係数をもつ二つの1次以上の多項式の積として表されないとき、 は 上で既約であるという。既約でない多項式は可約であるといわれる。多項式の因数分解は、通常、与えられた多項式を既約多項式の積として表すことが目標となる。
多項式の既約性は、係数体 の選び方に依存する。たとえば、 は有理数体 formula_14 上で既約だが、実数体 formula_15 上では可約である。 は formula_15 上で既約だが、複素数体 formula_17 上で可約である。
多項式関数.
1変数多項式 が与えられたとき、数 に対し、不定元 に を代入して得られる数 を対応させることにより関数が得られる。これを多項式 が定める多項式関数とよぶ。多変数多項式についても同様にして（多変数の）多項式関数が得られる。 次多項式の定める多項式関数は 次関数とよばれる。
多項式 の定める多項式関数は、同じ文字 で表されることが多い。多項式関数の変数を表す文字にも、しばしば、もとの多項式の不定元を表す文字が流用される。
しかしながら、多項式と多項式関数は異なる概念である。, が「多項式として一致する」というのは対応する係数がすべて一致するという意味だが、, の定める多項式関数が一致するにもかかわらず、両者が多項式として一致しない場合もある。たとえば、有限体 formula_18 上の多項式 は多項式として とは異なるが、 の定める多項式関数は零関数 である。係数の集合が実数体 formula_15 や複素数体 formula_17 などの無限体であれば、このような現象は起きず、異なる多項式は異なる関数を定めることが知られている。
実数を係数とする 変数多項式関数は、formula_21 全体で連続微分可能である。複素数係数の 変数多項式関数は formula_22 全体で正則である。
一般化.
行列変数多項式.
行列多項式は行列変数の多項式である。通常はスカラー値の多項式 が与えられたとき、これを行列 で評価した値というものを
のこととして定義する。ここで、定数項は単位行列 のスカラー倍に置き換わることに注意。
行列多項式方程式は行列多項式の間の等式であって、考えている範囲の行列のうち特定のもののみがそれを満足するものを言う。同様に、考えている行列環 に属する任意の行列について成り立つ行列多項式の間の等式は行列多項式恒等式と呼ぶ。
冪級数.
形式冪級数 は多項式とよく似ているが、非零項が（可算）無限個あってもよい（つまり有限次とは限らない）点が異なる。ゆえに多項式と違って、一般には全ての項を陽に書き下すことは（無理数の小数表示が全て書ききれないことと同様の意味で）できない。しかし、各項に対する扱いや演算における項の操作ルールは多項式に対するものとまったく同じくすることができる。形式冪級数ではなく収束冪級数を考えることでも多項式を一般化することができるが、積は必ずしも収束するとは限らないので、環構造の埋め込みにはならないことに注意。形式冪級数は一般に次数に関して最大の非零項を持つとは限らないが、必ず最小の非零項を持つから、多項式の次数に対応する概念として形式冪級数の位数 (order) は最小の非零項の次数として定まる。
ローラン多項式.
冪級数に対して、さらに有限個の負冪の項も許した一般化として形式ローラン級数が定義される。形式ローラン級数もまた最大の非零項を持つとは限らないが、必ず最小の非零項を持つ（が、略式的には両側無限和として のようにも書く）。
形式冪級数の特別の場合が多項式であったことの（形式）ローラン級数において対応する概念として、（形式）ローラン多項式は不定元の負冪の項を有限個含む多項式の類似物である。すなわち、ローラン多項式は正負の次数の項を含む有限和 formula_24 であり、最小の非零項および最大の非零項を持つ。
非可換多項式.
通常の多変数多項式環は、変数と係数および変数同士の可換性が仮定されている。この変数の間の可換性を仮定からはずすことで、非可換多項式環が定義される。可換性をはずしたために、非可換多項式を一般に書き表すのは困難であるが、非可換多項式環はテンソル代数として記述することができる。を基底とする有限次元 ベクトル空間あるいは可換環 上の階数有限な自由加群 上のテンソル代数 を
などと記して 上の非可換多項式環と呼ぶ。ここで術語「自由」 は、この環が必ずしも乗法が可換でないような多元環としての普遍性を持つということを意味している。 上で有限生成な（非可換）環 
は の代入による準同型像として得られる。つまり、適当な 多元環の全射準同型で
なるものが必ず取れ、またしたがって は のある商多元環に同型である。この準同型の への制限は から への 線型写像であるが、逆に から への任意の 線型写像はかならずこのような形の多元環の準同型に延長可能である。これはテンソル代数の普遍性と呼ばれる性質の一部である。
また、非可換多項式環 をテンソル代数とみるとき、対応する対称代数 ( の形の元全体で生成される両側イデアルで割った代数) は多項式環 であり、多項式環が有限生成可換多元環に対する普遍性を持っていることに対応している。
有理函数.
有理式は、二つの多項式 の商（） のことを言い、有理式として書き直すことのできる任意のの定める函数を有理函数と呼ぶ。
多項式函数は変数に対する任意の代入に対して値が定義されるが、有理函数は分母が零にならないような変数の値に対してしか定義されない。
有理函数はローラン多項式を分母が不定元の冪であるような特別の場合として含む。