重根判定法とは? わかりやすく解説

重根判定法

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/02/22 01:41 UTC 版)

形式微分」の記事における「重根判定法」の解説

微分積分学におけると同様に導函数によって重根判定が可能である。係数環 R が体ならば A = R[x] はユークリッド環であり、この設定のもとでも「根の重複度」の概念定義できる任意の多項式 f とスカラー r に対して非負整数 mr と多項式 g が一意的に存在して f ( x ) = ( x − r ) m r g ( x ) ( g ( r ) ≠ 0 ) {\displaystyle f(x)=(x-r)^{m_{r}}g(x)\quad (g(r)\neq 0)} とできる。この mr を f の根としての r の重複度と呼ぶのであった—。ライプニッツ則用いれば、この設定においても、f を繰り返し微分して r が根に現れないようにするために必要な微分回数が mr であることが確認できる。 この判定法有効性というのは、「一般には A に属する n-次多項式重複度込めて n 個の根を持つということは言えないけれど、係数体を(なかんづく、その代数閉包まで)拡大すればそうできる」のだけれども、こうしてしまうと単に R 上で考えたのでは出てこない根が重根となるかもしれないということにある(例えば、係数環 R を三元体 F3 とするとき、多項式 f ( x ) = x 6 + 1 {\displaystyle f(x)=x^{6}+1} は R において根を持たないが、導多項式零多項式である(R およびその任意の拡大体において 3 = 0 となるのであった)から、代数閉包移れば R における因数分解自体からでは見つからない重根がある)。その意味において、形式微分法は重複度効果的な概念与えるものになっているガロワ理論では分離拡大(単根しか持たない多項式によって定義される)と非分離拡大区別するから、このような判定法は重要である。

※この「重根判定法」の解説は、「形式微分」の解説の一部です。
「重根判定法」を含む「形式微分」の記事については、「形式微分」の概要を参照ください。

ウィキペディア小見出し辞書の「重根判定法」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「重根判定法」の関連用語

1
12% |||||

重根判定法のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



重根判定法のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの形式微分 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS