重複度 (数学)

数学において、多重集合の元の重複度（ちょうふくど、じゅうふくど、）は、それがその多重集合において現れる回数である。例えば、与えられた多項式方程式が与えられた点において持つ根の数など。

重複度の概念は、（「二重根」は二個と考えるなどの）例外を指定せずとも「重複度を込めて」(with multiplicity) と表現すれば正確に数えることができるという点で重要である。

重複度を無視する場合には、そのことを「相異なる根の個数」というように相異なる（あいことなる、）と言って強調することもある。ただし、（多重集合ではなく）集合を考える場合には「相異なる」と断らずとも自動的に重複度は無視される。

素因数の重複度

素因数分解において、例えば、



だと、素因数 2 の重複度は 2 であり、各素因数 3 と 5 の重複度は 1 である。したがって、60 は 4 つの素因数をもつが、異なる素因数は 3 つしかもたない。

多項式の根の重複度

 を体とし  を  に係数をもつ一変数多項式とする。元  は次のようなとき  の重複度  の根と呼ばれる。

ある多項式  が存在して  かつ とするとき、 であれば、 は単根（simple root）と呼ばれ、 であれば、 は重根 (multiple root) と呼ばれる。

例えば、多項式  は  と  を根としてもち、 と書くことができる。これが意味するのは、 は重複度 2 の根であり  は'単'根（重複度 1）である。重複度は「根が何回もとの方程式に現れるか？」として考えることができる。

多項式の導関数は多項式の重複度  の根において重複度  の根をもつ。多項式の判別式 が  であることと多項式が重根をもつことは同値である。

 重根の近くでの多項式関数の振る舞い 

多項式関数  のグラフは x-軸と多項式の実根で交わる。グラフは  の重根でこの軸に接し、単根では接しない。グラフは重複度が奇数の根で x-軸とクロスし、重複度が偶数の根で x-軸から跳ね返る（突き抜けない）。

 でない多項式関数がつねにであることと、すべてのその根の重複度が偶数である  が存在して  であることは同値である。

 交叉重複度 

代数幾何学において、代数多様体の2つの部分多様体の共通部分は既約多様体の有限個の和集合である。そのような共通部分の各 component に対して交叉重複度 (intersection multiplicity) が取り付けられる。この概念は次の意味でである。この成分の任意のの近傍において起こることを見ることでそれを定義できる。一般性を失うことなく、交叉重複度を定義するために2つのアフィン多様体（アフィン空間の部分多様体）の共通部分を考えることができるということが従う。

したがって、2つのアフィン多様体 V と V が与えられると、V と V の共通部分の既約成分 W を考えよう。d を W のとし、P を W の任意の生成点とする。W の P を通るにある d 個の超平面との共通部分は一点 P にreduceされる既約成分をもつ。したがって、共通部分の座標環のこの成分における局所環は素イデアルを 1 つしかもたず、したがってアルティン環である。それゆえこの環は基礎体上有限次元ベクトル空間である。その次元が V と V の W における交叉重複度 (intersection multiplicity) である。

この定義によってベズーの定理とその一般化を正確に述べることができる。

この定義は多項式の根の重複度を次のように一般化する。多項式 f の根はアフィン直線上の点で、その多項式によって定義される代数的集合の成分である。このアフィン集合の座標環は  ただし K は f の係数を含む代数閉体。 が f の分解であれば、R の素イデアル  における局所環は  である。これは K 上のベクトル空間で、次元として根の重複度  をもつ。

交叉重複度のこの定義は、本質的に Jean-Pierre Serre の本 Local algebra によるが、集合論的な成分（isolated component とも呼ばれる）に対してしかうまくいかず、に対してはうまくいかない。埋め込まれたケースを扱うために理論は発達してきている（詳細は交叉理論を見よ）。

複素解析学において
z0 を正則関数  ƒ  の根とし、n を ƒ の n 次導関数の z0 における値が 0 とは異なるような最小の正の整数とする。このとき ƒ の z0 についての冪級数は n 次の項から始まり、ƒ は重複度（あるいは「位数」） n の根をもつという。n = 1 であれば、根は単根と呼ばれる (Krantz 1999, p. 70)。

有理型関数の零点と極の重複度もまた次のように定義することができる。有理型関数 ƒ = g/h があれば、点 z0 についての g と h のテイラー展開をとり、それぞれにおいて最初の 0 でない項を見つける（項の位数をそれぞれ m と n で表す）。m = n であれば、点は 0 でない値をもつ。m > n であれば、点は重複度 m − n の零点である。m < n であれば、点は重複度 n − m の極をもつ。

関連項目
 固有値の代数的重複度と幾何学的重複度
 算術の基本定理
 集合 (数学)
 重根 (多項式)
 代数学の基本定理
 零点 (複素解析学)
 :en:Frequency (statistics)

参考文献

Krantz, S. G. Handbook of Complex Variables. Boston, MA: Birkhäuser, 1999. ISBN 0-8176-4011-8.

Category:集合論
Category:解析学
Category:数学に関する記事