判別式

提供: miniwiki
移動先:案内、検索


代数学において、多項式の判別式（はんべつしき、英: discriminant）はその係数たちの関数であり、一般には大文字の 'D' あるいは大文字のギリシャ文字デルタ (Δ) で表記される。それは根の性質についての情報を与えてくれる。例えば、二次多項式

[math]ax^2+bx+c\,[/math]

の判別式は

[math]\Delta = \,b^2-4ac[/math]

である。ここで、実数 a, b, c に対して、Δ > 0 であれば、多項式は 2 つの実根を持ち、Δ = 0 であれば、多項式は 1 つの実二重根を持ち、Δ < 0 であれば、多項式は実根を持たない。三次多項式

[math]ax^3+bx^2+cx+d\,[/math]

の判別式は

[math]\Delta = \,b^2c^2-4ac^3-4b^3d-27a^2d^2+18abcd[/math]

である。より高次の多項式に対しても、判別式は常にその係数たちの多項式関数であるが、非常に長くなる。一般の四次式の判別式は 16 の項を持ち[1]、五次式の判別式は 59 の項を持ち[2]、六次多項式の判別式は 246 の項を持ち[3]、項の個数は次数によって指数的に増加する。

多項式が複素数において重根（すなわち重複度が 1 よりも大きい根）を持つのは、その判別式が 0 であるとき、かつそのときに限る。

この概念は多項式が複素数に含まれない体に係数を持つときにも適用される。この場合、判別式が消えることと多項式がその分解体において重根を持つことが同値である。

判別式は係数たちの多項式関数であるので、係数たちが整域 R に属していさえすれば定義され、この場合、判別式は R の元である。特に、整係数多項式の判別式は常に整数である。この性質は数論において広く用いられる。

用語 "discriminant" はイギリス人数学者ジェイムズ・ジョセフ・シルヴェスター (James Joseph Sylvester) によって 1851 年に造り出された[4]。

定義

根の言葉で、判別式は

[math]\Delta = a_n^{2n-2}\prod_{i\lt j}{(r_i-r_j)^2}=(-1)^{n(n-1)/2}a_n^{2n-2}\prod_{i \neq j}{(r_i-r_j)} [/math]

によって与えられる、ただし [math]a_n[/math] は最高次の係数であり [math]r_1, ..., r_n[/math] は多項式の分解体における（重複度を考慮した）根である。それはファンデアモンド多項式（English版）の平方掛ける [math]a_n^{2n-2}[/math] である。

判別式は根たちについて対称な関数であるから、多項式の係数たちの言葉で書くこともできる、なぜならば係数たちは根たちの基本対称多項式（English版）であるからだ。そのような公式は下で与えられる。

判別式を根によって表せば、その重要な性質、すなわちそれが 0 であることと重根が存在することが同値であること、が明白になるが、多項式を分解しなければ計算することができず、分解した後は判別式が提供する情報は冗長である（根がわかっていれば重複があるかどうかわかる）。したがって係数によって表された式によって根の性質が多項式を分解することなしに決定できる。

低次に対する公式

二次多項式

[math]\displaystyle ax^2+bx+c[/math]

の判別式は

[math]\Delta=b^2-4ac\,[/math]

である。

三次多項式

[math]\displaystyle ax^3+bx^2+cx+d[/math]

の判別式は

[math]\Delta=b^2c^2-4ac^3-4b^3d-27a^2d^2+18abcd\,[/math]

である。

四次多項式

[math]\displaystyle ax^4+bx^3+cx^2+dx+e[/math]

の判別式は

[math]\Delta =256a^3e^3-192a^2bde^2-128a^2c^2e^2+144a^2cd^2e-27a^2d^4+144ab^2ce^2-6ab^2d^2e[/math]
[math]-80abc^2de+18abcd^3+16ac^4e-4ac^3d^2-27b^4e^2+18b^3cde-4b^3d^3-4b^2c^3e+b^2c^2d^2[/math]

である。

これらはそれぞれ次数 2、4、6 の斉次多項式である。それらはまた根の斉次式でもあり、それぞれ次数 2、6、12 である。

より単純な多項式はより単純な判別式の表示を持つ。例えば、単二次多項式 x2 + bx + c は判別式 Δ = b2 − 4c をもつ。

二次の項がない単三次多項式 x3 + px + q は判別式 Δ = −4p3 − 27q2 をもつ。

根の言葉では、これらの判別式はそれぞれ次数 2、6 の斉次多項式である。

斉次性

判別式は係数たちの斉次多項式である。単多項式に対して、根たちの斉次多項式である。

判別式は係数たちの次数 2n−2 の斉次式である。このことは 2 つの方法で確かめられる。根と最高次の係数による公式の言葉では、すべての係数を λ 倍しても根は変わらないが、最高次の係数が λ 倍される。(2n−1) ×(2n−1) 行列の行列式を an で割ったものとしての式の言葉では、行列の行列式はその成分たちの次数 2n − 1 の斉次式であり、an で割ることで次数が 2n − 2 になる。明示的には、係数を λ 倍すると行列のすべての成分が λ 倍され、したがって行列式は λ2n−1 倍される。

単多項式に対して判別式は根たちだけの多項式であり（an の項は 1 なので）、根たちの n(n−1) 次式である、なぜならば積には [math]\textstyle \binom{n}{2}=\frac{n(n-1)}{2}[/math] の項があり、それぞれ平方されるからである。

多項式

[math] P=a_0x^n+a_1x_{n-1}+ \cdots +a_n[/math]

を考えよう。上のことからその判別式は [math]a_i[/math] の次数 2n−2 の斉次式であり、各 [math] a_i[/math] がウェイト i を与えられていればウェイト n(n−1) のquasi-homogeneous（English版）である。言い換えれば、判別式に現れるすべての単項式 [math]a_0^{i_0}\cdots a_n^{i_n}[/math] は 2 つの方程式

[math]i_0+i_1+\cdots+i_n=2n-2[/math]

と

[math]0\,i_0+1\,i_1+\cdots+n\,i_n=n(n-1)[/math]

を満たす。これらはしたがって n(n−1) のサイズ高々 n の 2n−2 の（非負の）パーツへの分割に対応する。

これは判別式の可能な項を制限する。二次多項式 [math] ax^2+bx+c[/math] に対して、[math] [i_0,i_1,i_2][/math] に対して 2 つの可能性しかない、[1,0,1] かまたは [0,2,0] であり、2 つの単項式 ac と b2 を与える。三次多項式 [math] ax^3+bx^2+cx+ d[/math] に対して、これらは 6 のサイズ高々 3 の 4 つのパーツへの分割である：

[math]\begin{align} a^2d^2 = aadd&: 0+0+3+3 &&& abcd&: 0+1+2+3 &&& ac^3 = accc&: 0+2+2+2 \\ b^3d = bbbd&: 1+1+1+3 &&& b^2c^2=bbcc&: 1+1+2+2. \end{align}[/math]

すべてのこれらの 5 つの単項式は判別式において実際に現れる。

このアプローチは可能な項を与えるが、係数を決定しない。さらに、一般にはすべての可能な項が判別式に現れるわけではない。最初の例は四次多項式 [math] ax^4+bx^3+cx^2+dx+e[/math] に対してであり、このとき [math](i_0, \ldots, i_4) = (0, 1, 4, 1, 0)[/math] は [math]0 + 1 + 4 + 1 + 0 = 6[/math] と [math]1\cdot 1 + 2\cdot 4 + 3\cdot 1 = 12[/math] を満たすが、対応する判別式は単項式 [math]bc^4d[/math] を含まない。

二次方程式の解の公式

二次多項式 [math]\ p(x)= ax^2+bx+c[/math] の判別式は

[math]\Delta = b^2-4ac \,[/math]

であり、これは二次多項式の根の公式（English版）のルート記号の中に入っている量である。実数 a, b, c に対して、次が成り立つ。

  • Δ > 0 のとき、P(x) は 2 つの相異なる実根
[math]x_{1,2}=\frac{-b \pm \sqrt {\Delta}}{2a}=\frac{-b \pm \sqrt {b^2-4ac}}{2a}[/math]

をもち、そのグラフは x 軸と 2 回交差する。

  • Δ = 0 のとき、P(x) は 2 つの一致する実根
[math]x_1=x_2=-\frac{b}{2a}[/math]

をもち、そのグラフは x 軸に接する。

  • Δ < 0 のとき、P(x) は実根をもたず、そのグラフは x 軸の真に上か下にある。多項式は 2 つの相異なる複素根
[math]z_{1,2}=\frac{-b \pm i \sqrt {-\Delta}}{2a}=\frac{-b \pm i \sqrt {4ac-b^2}}{2a}[/math]

を持つ。

二次式の判別式を理解する別の方法は「0 ⇔ 多項式が重根を持つ」という特徴づけを使うことである。このとき多項式は [math](x-r)^2 = x^2-2rx+r^2[/math] である。すると係数は [math](-2r)^2=4(r^2)[/math] を満たし従って [math]b^2=4c[/math] であり、単二次式が重根を持つことと根が [math]r=-b/2[/math] である場合であることは同値である。両項を片側に寄せ、leading 係数を含めると、[math]b^2-4ac[/math] となる。

多項式の判別式

係数の言葉による多項式の判別式の公式を見つけるには、終結式を導入するのが最も易しい。1 つの多項式の判別式が根の差の平方の積であるのとちょうどおなじように、2 つの多項式の終結式はそれらの根の差の積であり、判別式が消えるのと多項式が重根を持つのが同値なのとちょうど同じように、終結式が消えるのと 2 つの多項式が同じ根を持つのが同値である。

多項式 [math]p(x)[/math] が重根を持つことと導関数 [math]p'(x)[/math] と根を共有することは同値であるから、判別式 [math]D(p)[/math] と終結式 [math]R(p,p')[/math] は両方消えるのと p が重根を持つのが同値であるという性質を持ち、それらはほとんど同じ次数を持つ（終結式の次数は判別式の次数より 1 大きい）、したがって次数 1 の因子を除いて等しい。

終結式の利点はそれを行列式、すなわち (2n − 1)×(2n − 1) 行列のシルヴェスター行列の行列式として計算できることである。その最初の n − 1 行は p の係数を含み、最後の n 行はその導関数の係数を含む。

一般の多項式

[math]p(x)=a_n x^n+a_{n-1}x^{n-1}+a_{n-2}x^{n-2}+\ldots+a_1 x+a_0[/math]

の終結式 [math]R(p,p')[/math] は、因子を除いて、(2n − 1)×(2n − 1) シルヴェスター行列

[math]\left[\begin{matrix} & a_n & a_{n-1} & a_{n-2} & \ldots & a_1 & a_0 & 0 \ldots & \ldots & 0 \\ & 0 & a_n & a_{n-1} & a_{n-2} & \ldots & a_1 & a_0 & 0 \ldots & 0 \\ & \vdots\ &&&&&&&&\vdots\\ & 0 & \ldots\ & 0 & a_n & a_{n-1} & a_{n-2} & \ldots & a_1 & a_0 \\ & na_n & (n-1)a_{n-1} & (n-2)a_{n-2} & \ldots\ & a_1 & 0 & \ldots &\ldots & 0 \\ & 0 & na_n & (n-1)a_{n-1} & (n-2)a_{n-2} & \ldots\ & a_1 & 0 & \ldots & 0 \\ & \vdots\ &&&&&&&&\vdots\\ & 0 & 0 & \ldots & 0 & na_n & (n-1)a_{n-1} & (n-2)a_{n-2}& \ldots\ & a_1 \\ \end{matrix}\right][/math]

の行列式に等しい。

[math]p(x)[/math] の判別式 [math]D(p)[/math] は今式

[math]D(p)=(-1)^{\frac{1}{2}n(n-1)}\frac{1}{a_n}R(p,p')\,[/math]

によって与えられる。

例えば、n = 4 の場合、上の行列式は

[math]\begin{vmatrix} & a_4 & a_3 & a_2 & a_1 & a_0 & 0 & 0 \\ & 0 & a_4 & a_3 & a_2 & a_1 & a_0 & 0 \\ & 0 & 0 & a_4 & a_3 & a_2 & a_1 & a_0 \\ & 4a_4 & 3a_3 & 2a_2 & 1a_1 & 0 & 0 & 0 \\ & 0 & 4a_4 & 3a_3 & 2a_2 & 1a_1 & 0 & 0 \\ & 0 & 0 & 4a_4 & 3a_3 & 2a_2 & 1a_1& 0 \\ & 0 & 0 & 0 & 4a_4 & 3a_3 & 2a_2 & 1a_1 \\ \end{vmatrix}.[/math]

次数 4 の多項式の判別式はすると [math]a_4[/math] で割ることでこの行列式から得られる。

根の言葉では、判別式は

[math]a_n^{2n-2}\prod_{i\lt j}{(r_i-r_j)^2}[/math]

に等しい、ただし r1, ..., rn は多項式

[math]\begin{matrix}p(x)&=&a_n x^n+a_{n-1}x^{n-1}+\ldots+a_1 x+a_0\\ &=&a_n(x-r_1)(x-r_2)\ldots (x-r_n)\end{matrix}[/math]

の（重複度を数えた）複素根である。

2 番目の表現は p が重根を持つことと判別式が 0 であることが同値であることを明らかにする。（この重根は複素でもよい。）

判別式は任意の体上の多項式に対して上と全く同じ方法で定義できる。根 ri を含む積公式は有効なままである。根は多項式の分解体において取られなければならない。判別式は任意の可換環上の多項式に対してさえ定義できる。しかしながら、環が整域でなければ、[math]a_n[/math] による終結式の上の割り算は行列の最初の列に 1 を [math]a_n[/math] に代入することによって置き換えられなければならない。

根の性質

判別式は単に重根があるかどうか以上に根の性質について追加の情報を与える： それはまた根が実か複素か、有理か無理かについての情報も与える。よりフォーマルには、それは次の情報を与える。根が多項式が定義されている体にあるかそれとも拡大体にあるか、したがって多項式が係数体上分解するかどうか。これは二次と三次の多項式に対して最も透明で容易に述べられる。次数 4 かそれより高い多項式に対してこれは述べるのがより難しい。

二次

二次多項式の根の公式（English版）は二次多項式の根を判別式の平方根の言葉の有理関数として表すから、二次多項式の根が係数のと同じ体にあることと判別式が係数の体における平方であることは同値である： 言い換えると、多項式が係数の体上分解することと判別式が平方であることは同値である。

実数が実平方根を持つことと非負であることは同値であり、これらの根が相異なることと正（0 でない）ことは同値であるから、判別式の符号によって実係数二次多項式の根の性質の完全な記述ができる：

  • Δ > 0： 2 つの相異なる実根： 実数上分解する；
  • Δ < 0： 2 つの相異なる虚根（複素共役）、実数上分解しない；
  • Δ = 0： 1 つの重複度 2 の実根：実数上平方として分解する。

さらに、有理係数の二次多項式に対して、有理数上分解することと判別式 - 多項式の係数が有理数だから有理数である - が実は平方であることが同値である。

三次

テンプレート:Details 実係数の三次多項式に対して、判別式は根の性質を次のように反映する：

  • Δ > 0： 方程式は 3 つの相異なる実根を持つ；
  • Δ < 0， 方程式は 1 つの実根と 2 つの複素共役根を持つ；
  • Δ = 0： 少なくとも 2 つの根が一致し、根はすべて実である。
    方程式は 1 つの二重実根と別の異なる単実根を持つかもしれない； あるいは、すべての 3 つの根が一致し三重実根になる。

三次多項式が三重根を持てば、それはその導関数と線型である二階導関数の根である。したがって、三次多項式が三重根を持つか持たないかを決めるには、二階導関数の根を計算しそれが三次式とその導関数の根であるかどうかを見ればよい。

高次

より一般に、実係数の次数 n の多項式に対して、

  • Δ > 0： [math]0 \leq k \leq \frac{n}{4}[/math] なるある整数 k に対して、複素共役根の 2k 個のペアと n-4k 個の実根があり、すべて異なる；
  • Δ < 0： [math]0 \leq k \leq \frac{n-2}{4}[/math] なるある整数 k に対して、複素共役根の 2k+1 個のペアと n-4k-2 個の実根があり、すべて異なる；
  • Δ = 0： 少なくとも 2 つの根が一致し、それは実かもしれないし実でない（このときそれらの複素共役も一致する）かもしれない。

可換環上の多項式の判別式

終結式の言葉による多項式の判別式の定義は係数が任意の可換環に属しているような多項式に容易に拡張されるだろう。しかしながら、そのような環においては除法が常には定義されないから、判別式を leading 係数で割る代わりに、行列式の最初の列に 1 を leading coefficient に代入する。この一般化された判別式は代数幾何学において基本的な次の性質を持つ。

f を係数を可換環 A に持つ多項式とし、D をその判別式とする。φ を A から体 K の中への環準同型とし、φ(f) を f の係数を φ によるそれらの像によって置き換えて得られる K 上の多項式とする。すると φ(D) = 0 であるのは f と φ(f) の次数の差が少なくとも 2 であるかまたは φ(f) が K の代数閉包において重根を持つとき、かつそのときに限る。1 つ目のケースは φ(f) が無限遠点で重根を持つと解釈できる。

この性質が応用される典型的な状況は A が体 k 上の（一変数あるいは多変数）多項式環であり φ が A の不定元への k の体拡大 K の元の代入であるときである。

例えば、f が実係数の X と Y の二変数多項式であって、f = 0 は平面代数曲線の陰方程式であるとしよう。f を係数が X に依る Y の一変数多項式と見ると、判別式は根が特異点、Y 軸に平行な接線との点、Y 軸に平行な漸近線のいくつか、の X 座標であるような、X の多項式である。言い換えると Y-判別式と X-判別式の根の計算によって変曲点を除いて曲線のすべての注目すべき点を計算できる。

一般化

判別式の概念は一変数の多項式に加えて円錐曲線、二次形式、代数体（English版）を含む他の代数的構造に一般化されている。代数的整数論における判別式は密接に関係し、分岐についての情報を含む。実は、分岐のより幾何的なタイプは判別式のより抽象的なタイプにも関係し、それによって多くの応用においてこれが中心的な代数的アイデアになる。

円錐曲線の判別式

実多項式

[math]Ax^2+ Bxy + Cy^2 + Dx + Ey + F = 0 \,[/math]

によって平面幾何において定義される円錐曲線に対して、判別式は[5]

[math]B^2 - 4AC\,[/math]

に等しく、円錐曲線の形（English版）を決定する。判別式が 0 よりも小さければ、楕円か円の方程式である。判別式が 0 に等しければ、放物線の方程式である。判別式が 0 よりも大きければ、双曲線の方程式である。この公式は退化の場合（多項式が分解するとき）働かない。

二次形式の判別式

標数 ≠ 2 の任意の体 K 上の二次形式 Q への substantive な一般化がある。標数 2 に対しては、対応する不変量は Arf invariant である。

二次形式 Q が与えられると、判別式 (discriminant) または行列式 (determinant) は Q の対称行列 S の行列式である[6]。

行列 A による変数の変換は対称形式の行列を [math]A^TSA[/math] によって変え、この行列式は [math](\det A)^2\det S[/math] なので、変数の変換の下で、判別式は 0 でない平方によって変化し、したがって判別式の類は K/(K*)2 において well-defined である、すなわち、0 でない平方を除いて定まる。en:quadratic residue も参照。

Less intrinsically, ヤコビによる定理によって、[math]K^n[/math] 上の二次形式は、変数の線型変換の後、

[math]a_1x_1^2 + \cdots + a_nx_n^2[/math]

として対角形式 (diagonal form) において表現できる。より正確には、V 上の二次形式は和

[math]\sum_{i=1}^n a_i L_i^2[/math]

として表現できる、ここで Li は独立な線型形式であり n は変数の数である（ai のいくつかは 0 でもよい）。すると判別式は ai の積であり、これは K/(K*)2 における類として well-defined である。

K=R、実数体に対して、(R*)2 は正の実数全体であり（任意の正数は 0 でない数の平方である）、したがって商 R/(R*)2 は 3 つの元、正、0、負を持つ。これは符号（English版） (n0, n+, n−) よりも粗い不変量である。ただし n0 は対角形式における 0 の数であり n± は ±1 の数である。すると判別式は形式が退化 ([math]n_0 \gt 0[/math]) であれば 0 であり、そうでなければ負の係数の数のパリティである、[math](-1)^{n_-}.[/math]

K=C、複素数体に対して、(C*)2 は 0 でない複素数であり（任意の複素数は平方である）、したがって商 C/(C*)2 は 2 つの元、非零と零からなる。

この定義は二次多項式の判別式に一般化する。多項式 [math]ax^2+bx+c[/math] を斉次化すると二次形式 [math]ax^2+bxy+cy^2[/math] になりこれは対称行列

[math] \begin{bmatrix} a & b/2 \\ b/2 & c \end{bmatrix} [/math]

をもちこの行列式は [math]ac-(b/2)^2=ac-b^2/4 [/math] である。−4 の因子を除いてこれは [math]b^2-4ac [/math] である。

実形式の判別式の類の不変量（正、0、負）は対応する円錐曲線楕円、放物線、双曲線に対応する。

代数体の判別式

"「代数体の判別式（English版）」"

交代多項式

"「交代多項式（English版）」"

テンプレート:Expand section 判別式は根たちの対称多項式である。その平方根（各冪の半分：ファンデアモンド多項式（English版））を n 変数の対称多項式の環 [math]\Lambda_n[/math] に添加すれば、交代多項式（English版）の環を得、これはしたがって [math]\Lambda_n[/math] の二次拡大である。

参考文献

  1. ↑ (2004) Elimination practice: software tools and applications. Imperial College Press. ISBN 1-86094-438-8. , Chapter 10 page 180
  2. ↑ (1994) Discriminants, resultants and multidimensional determinants. Birkhäuser. ISBN 3-7643-3660-9. , Preview page 1
  3. ↑ (2005) Solving polynomial equations: foundations, algorithms, and applications. Springer. ISBN 3-540-24326-7. , Chapter 1 page 26
  4. ↑ J. J. Sylvester (1851) "On a remarkable discovery in the theory of canonical forms and of hyperdeterminants," Philosophical Magazine, 4th series, 2 : 391-410; Sylvester coins the word "discriminant" on page 406.
  5. ↑ Fanchi, John R. (2006), Math refresher for scientists and engineers, John Wiley and Sons, pp. 44–45, ISBN 0-471-75715-2, http://books.google.com/books?id=75mAJPcAWT8C , Section 3.2, page 45
  6. ↑ Cassels, J.W.S. (1978). Rational Quadratic Forms, London Mathematical Society Monographs. Academic Press. ISBN 0-12-163260-1. 

外部リンク



「http:///http:///mymemo.xyz/mymemo.xyz/wiki/index.php?title=判別式&oldid=106305」から取得