多項式の次数
[Wikipedia|▼Menu]

数学初等代数学における多項式の次数(じすう、: degree)は、多項式を不定元の冪積線型結合からなる標準形(英語版)に表すとき、そこに現れる項のうち最も高い項の次数を言う。ここに、項の次数とは、それに現れる不定元の冪指数の総和である。次数の同義語として「位数」「階数」(order) が用いられることもあるが、今日的には別の意味(英語版)に取られるのが普通だろう。

例えば、多項式 7x2y3 + 4x − 9 は三つの項からなる。多項式の記法に関する通常の規約により、この多項式は厳密には 7x2y3 + 4x1y0 − 9x0y0 を意味することに注意する。最初の項の次数は 5(冪指数 2 と 3 の和)であり、二番目の項の次数は 1, 最後の項の次数は 0 であるから、この中で最高次の項の次数である 5 がこの多項式の次数ということになる。

上のような標準形になっていない多項式の次数の決定に際しては、たとえば (x + 1)2 − (x − 1)2 のような場合、積は分配法則に従って展開し、同類項をまとめて、まずは標準形に直さなければならない。いまの例では (x + 1)2 − (x − 1)2 = 4x だから次数は 1 である(二つの二次式の和をとったにもかかわらず、である)。しかし、多項式が標準形の多項式の「積」に書かれている時には、積の次数は各因子の次数の総和として計算できるから、必ずしも展開・整理は要しない。

各次数の英語名称[1][2][3][4][5]次数名称補足
(−∞)-次zero零多項式次数は後述
零次constant定数多項式
一次linear一次函数も参照
二次quadratic二次函数も参照
三次cubic三次函数も参照
四次quartic, biquadratic四次函数も参照
五次quintic
六次sextic, hexic
七次septic, heptic
八次octic
九次nonic
十次decic
.mw-parser-output .side-box{margin:4px 0;box-sizing:border-box;border:1px solid #aaa;font-size:88%;line-height:1.25em;background-color:#f9f9f9;display:flow-root}.mw-parser-output .side-box-abovebelow,.mw-parser-output .side-box-text{padding:0.25em 0.9em}.mw-parser-output .side-box-image{padding:2px 0 2px 0.9em;text-align:center}.mw-parser-output .side-box-imageright{padding:2px 0.9em 2px 0;text-align:center}@media(min-width:500px){.mw-parser-output .side-box-flex{display:flex;align-items:center}.mw-parser-output .side-box-text{flex:1}}@media(min-width:720px){.mw-parser-output .side-box{width:238px}.mw-parser-output .side-box-right{clear:right;float:right;margin-left:1em}.mw-parser-output .side-box-left{margin-right:1em}}ウィクショナリーに関連の辞書項目があります。en:Appendix:English polynomial degrees

多項式の次数の日本語名称は、一貫して次数の値に接尾辞「-次」をつける。英語名称は、いくつかの例外はあるが基本的にラテン語の序数詞に形容詞を作る接尾辞の -ic を付けて表す。次数と不定元の数はきちんと区別されるべきであって、こちらには接尾辞「-元」あるいは「-変数」を付ける(英語名称ではラテン語配分数詞(英語版)に接尾辞 -ary が付く)。例えば x2 + xy + y2 のような二つの不定元に関する次数 2 の多項式は「二元二次」("binary quadratic") であると言い、二元 (binary) が不定元の数が 2 であることを、二次 (quadratic) 次数が 2 であることを言い表している[注釈 1]。もう一つ、項の数も明示するなら「-項式」(英語名称ではラテン配分数詞に接尾辞 -nomial)を付ける。単項式 (monomial), 二項式 (binomial) あるいは三項式 (trinomial) など。つまり、例えば x2 + y2 は「二元二次二項式」("binary quadratic binomial") である。

以下しばらくは一元多項式に関して述べる。


多項式 3 − 5x + 2x5 − 7x9 は九次多項式。deg(3 − 5x + 2x5 − 7x9) = 9.

多項式 (y − 3)(2y + 6)(−4y − 21) は三次多項式。deg((y − 3)(2y + 6)(−4y − 21)) = 3.

多項式 (3z8 + z5 − 4z2 + 6) + (−3z8 + 8z4 + 2z3 + 14z) は見かけ上八次だが、八次の項が打ち消されるので実際には五次である。deg((3z8 + z5 − 4z2 + 6) + (−3z8 + 8z4 + 2z3 + 14z)) = 5.

これらの例を、計算・整理して、降冪の標準形に直せば、順に

−7x9 + 2x5 − 5x + 3;

−8y3 − 42y2 + 72y + 378;

z5 + 8z4 + 2z3 − 4z2 + 14z + 6

となることに注意せよ。
多項式の演算に対する振舞い.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfbfb;box-sizing:border-box}.mw-parser-output .ambox+link+.ambox,.mw-parser-output .ambox+link+style+.ambox,.mw-parser-output .ambox+link+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+style+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+link+.ambox{margin-top:-1px}html body.mediawiki .mw-parser-output .ambox.mbox-small-left{margin:4px 1em 4px 0;overflow:hidden;width:238px;border-collapse:collapse;font-size:88%;line-height:1.25em}.mw-parser-output .ambox-speedy{border-left:10px solid #b32424;background-color:#fee7e6}.mw-parser-output .ambox-delete{border-left:10px solid #b32424}.mw-parser-output .ambox-content{border-left:10px solid #f28500}.mw-parser-output .ambox-style{border-left:10px solid #fc3}.mw-parser-output .ambox-move{border-left:10px solid #9932cc}.mw-parser-output .ambox-protection{border-left:10px solid #a2a9b1}.mw-parser-output .ambox .mbox-text{border:none;padding:0.25em 0.5em;width:100%;font-size:90%}.mw-parser-output .ambox .mbox-image{border:none;padding:2px 0 2px 0.5em;text-align:center}.mw-parser-output .ambox .mbox-imageright{border:none;padding:2px 0.5em 2px 0;text-align:center}.mw-parser-output .ambox .mbox-empty-cell{border:none;padding:0;width:1px}.mw-parser-output .ambox .mbox-image-div{width:52px}html.client-js body.skin-minerva .mw-parser-output .mbox-text-span{margin-left:23px!important}@media(min-width:720px){.mw-parser-output .ambox{margin:0 10%}}

この節は検証可能参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方
出典検索?: "多項式の次数" ? ニュース ・ 書籍 ・ スカラー ・ CiNii ・ J-STAGE ・ NDL ・ dlib.jp ・ ジャパンサーチ ・ TWL(2014年9月)

与えられたに係数をとる「次数が高々 n の」多項式全体の成す集合(英語版)がベクトル空間を成すことは、多項式の和と定数倍に関して次数の振舞いを見ることで確認できる。しかし同様に、積に関する振舞いを見ることで、そのような集合がとならないことも確認できる。
加法に対して

二つの多項式の和(これには差も含めた意味で言う)の次数は、それらの多項式の次数のうち大きい方を超えない。


次ページ
記事の検索
おまかせリスト
▼オプションを表示
ブックマーク登録
mixiチェック!
Twitterに投稿
オプション/リンク一覧
話題のニュース
列車運行情報
暇つぶしWikipedia

Size:33 KB
出典: フリー百科事典『ウィキペディア(Wikipedia)
担当:undef