多項式

出典: フリー百科事典『ウィキペディア（Wikipedia）』

多項式（たこうしき、polynomial）は定数および不定元の和と積のみからなり、代数学の重要な対象となる数学的概念である。歴史的にも現代代数学の成立に大きな役割を果たした。 多項式とは

3x³ - 7x² + 2x + 23

のような形をした式である。個々の "3x³", "-7x²", "2x", "23" のことを項（こう、term）と呼び、複数の項を足し合わせることでできる式であることから多項式と呼ばれる。

一つの項だけからできている式を単項式（たんこうしき、monomial）と呼び、複数の項からできているものだけを多項式と呼んで、単項式と多項式を併せて整式と呼ぶ流儀もある。しかし、現在では単項式も特殊な多項式と見なすのが普通である。

[編集] 一変数多項式

x を不定元（変数）、n を非負の整数として、a₀, a₁, ..., a_n を n+1 個の実数または複素数などの定数とする。このような x と {a_i}_{0 ≤ i ≤ n} によって次のように表されるものが多項式である。

$a_n x^n + a_{n-1} x^{n-1} + \cdots + a_1 x + a_0$

f(x) = a_nxⁿ + a_n-1x^n-1 + … + a₁x + a₀ とおく。このとき、a_m ≠ 0 となる最大の m のことをこの多項式の次数（じすう、degree）と呼び、deg f とあらわす。
各 a_ixⁱ をこの多項式の項と呼び、i をその項の次数と呼ぶ。あるいは、この多項式の i 次の項は a_ixⁱ である、という風に言い表す。
各定数 a_i のことをこの多項式の係数（けいすう、coefficient）と呼ぶ。特に、a_m (m = deg f) をこの多項式の最高次係数あるいは頭項係数 (leading coefficient) と呼ぶ。
0 次の項 a₀ のことを定数項（ていすうこう、constant term, constant）と呼ぶ。ただの定数を、定数項しかない多項式と見なすことができる。次数の定義から、0 でない定数項のみからなる多項式の次数は 0 である。しかし、定数 0 を多項式と見なすとき、その次数は便宜的に −∞ と定義される。

多項式は総和を表す記号 ∑ を使って

$\sum_{k=0}^n a_k x^k$

とも記される。このとき、x⁰ とは多項式としての 1 のことである。

係数の属する集合が K であるような x を変数とする多項式の全体を K[x] で表す。たとえば実数係数の多項式の全体は R[x]、複素数係数の多項式の全体は C[x] などと表す。係数の集合 K は四則演算の定義されるような代数系であるのが通常で、多くはとくに体と呼ばれる四則演算が自由に行えるものを想定することになる。もうすこし一般の（必ずしも可換でない、単位元を持つとは限らない）環 R についても、それを係数にもつ多項式が定義される。

環 R に対し、不定元 x と任意の非負整数 n に対し、新たな不定元 xⁿ を用意する。ただし、x¹ は自然に x と同一視する。集合 R_n = Rxⁿ = {axⁿ| a ∈ R} の元を n 次の単項式とよぶ。このとき、適当な n ∈ N をとってできる、単項式の形式的な和

$\sum_{i=0}^n a_i x^i = a_n x^n + a_{n-1} x^{n-1} + \cdots + a_1 x^1 + a_0 x^0$

(a_i ∈ R for all i) を x を変数とする R 上の（あるいは、係数を R にもつ）多項式と呼ぶ。x を変数とする R 上の多項式全体の成す集合 R[x] とあらわし、R を R[x] の係数環とよぶ。一般には R ≠ Rx⁰ であって、R と R[x] の間には何の包含関係も存在しない。しかし、もし R が単位元 1_R を持つ環（単位的環）ならば、通常は 1_R x⁰ を 1_R と同一視して、R ⊂ R[x] と見なされる。

[編集] 多項式環

単位的可換環 R 上の多項式の全体 R[x] において

$\sum_{i=0}^m a_i x^i, \sum_{j=0}^l b_j x^j \in R[x]$

(m ≤ l) に対し、

加法: $\left(\sum_{i=0}^m a_i x^i \right) + \left(\sum_{j=0}^l b_j x^j\right) = \sum_{k=0}^l (a_k + b_k)x^k$
定数倍（スカラー倍）: $c \cdot \sum_{i=0}^m a_i x^i = \sum_{i=0}^m c a_i x^i$
乗法: $\left(\sum_{i=0}^m a_i x^i \right)\left(\sum_{j=0}^l b_j x^j\right) = \sum_{k=0}^{m+l}\left(\sum_{i+j=k} a_i b_j \right)x^k$

などの演算が定義される。特に積は、不定元 x と環 R の任意の元 a に対して、ax = xa が成り立つと仮定して、分配法則が成り立つように定義されているので、R[x] は R 上の環（多元環）になる。これを x を変数とする R 係数の（一変数）多項式環と呼ぶ。また簡単に、環 R 上の多項式環ともいう。R が単位的環であるなら、多項式環 R[x] も単位的環であり、R が可換なら多項式環 R[x] も可換環である。

体 K 上の多項式環 K[x] はユークリッド環であり、余りのある除法を定義することができる。

[編集] 代入

単位的可換環 K 上の多項式

$f(x) = a_n x^n +a_{n-1}x^{n-1} + \cdots + a_1 x + a_0 \in K[x],$

α ∈ K に対して、変数 x を α に置き換えて得られる式

$a_n \alpha^n + a_{n-1}\alpha^{n-1} + \cdots + a_1 \alpha + a_0 \in K$

を f(α) と記して f(x) に x = α を代入（だいにゅう、substitute）した値という。特に f(α) = 0 を満たす値 α ∈ K を多項式 f(x) の根（こん、root）という。

f(x) ∈ K[x] と α ∈ K に対して、x に α を代入することにより定まる写像

$\varphi_\alpha\colon K[x] \to K;\, f(x) \mapsto f(\alpha)$

は K[x] から K への環の準同型となる。

一般に単位的可換環 R, S とその間の準同型 h: R → S が与えられているとき、S の元 α に対して準同型

$\psi_{h,\alpha}\colon R[X] \to S$

で、ψ_h,α(X) = α かつ、 r ∈ R ならば常に ψ_h,α(r) = h(r) となるようなものはただ一つ存在する。このとき、R 係数多項式 : $f(x) = a_n x^n +a_{n-1}x^{n-1} + \cdots + a_1 x + a_0$ に対して

$\psi_{h,\alpha}(f) = h(a_n)\alpha^n +h(a_{n-1})\alpha^{n-1} + \cdots + h(a_1)\alpha + h(a_0)$

を f(α) と書いて、X に α を代入した値という。

[編集] 多項式関数

多項式 f(X) = a_nXⁿ + a_n-1X^n-1 + … + a₁X + a₀ ∈ K[X] に対し、変数 X への値の代入により関数

$f\colon K \to K;\ x \mapsto f(x) = a_n x^n + a_{n-1}x^{n-1} + \cdots + a_1 x + a_0$

が定まる。このような関数 y = f(x) を総称して（ K 上で定義された）多項式関数とよぶ。特に、多項式 f の次数 deg f が n であるとき、f の定める多項式関数は n 次関数と呼ばれる。

y = ax + b (a, b ∈ K) の形の関数は一次関数と呼ばれる。
y = ax² + bx + c (a, b, c ∈ K) の形の関数は二次関数と呼ばれる。

係数の集合 K が実数体 R や複素数体 Cであれば、異なる多項式は異なる関数を定める。K が一般の環や体であるときはこの限りではない。

多項式の微分積分は以下の式が基本的である：

$\frac{dx^n}{dx} = nx^{n-1}, \quad \int_0^x t^n dt = \frac{x^{n+1}}{n+1}.$

これは解析学的に x を実数や複素数に値をとる変数と見る場合は、関数に対する微分・積分の定義から導かれる事実である。一方、代数学的にはこの式を定義として扱うことがある。

たとえば、多項式 x² - 3x + 1 の微分（導多項式）は 2x - 3 となる。

複素変数の多項式関数はガウス平面の全域で正則な解析関数である。
多項式が重根を持つことと、その多項式が自身の導多項式との間に共通の因数を持つこととが同値である。

[編集] 多変数多項式

m 個の変数 x₁, x₂, ..., x_m と m 個の定数 n₁, n₂, ..., n_m および、少なくとも一つの 0 でないものを含む (n₁ + 1)(n₂ + 1)…(n_m + 1) 個の定数 a_e_₁_e_₂_…e_{_m} (0 ≤ e_i ≤ n_i, for i = 1, 2, ..., m) に対し、

$\sum_{(e_1,e_2,\ldots,e_m) \in \mathbb{N}^m \atop 0 \leq e_m \leq n_m} a_{e_1 e_2\ldots e_m} x_1^{e_1}x_2^{e_2}\cdots x_m^{e_m}$

と表される式を m 変数の多項式と呼ぶ。これはたとえば x₁ に注目すると、m-1 個の変数 x₂, ..., x_m に関する多項式を係数としてもつ x₁ の一変数多項式と見ることができる。このことは多変数の多項式を一変数の多項式から帰納的（再帰的）に構成するという視点を与えてくれる。

あるいはもっと一般に、係数全体の成す集合を C とし、変数の集合を X = {x₁, x₂, ..., x_n} とするとき、変数 x = (x₁, x₂, ..., x_n) に関する C 係数多項式の全体を C[X] と書くことにする。このとき、X の部分集合 S を選び、S に入らない変数 x_k ∈ X は全て係数と見なすと、C[X] = C[S^c][S] と見なすことが出来る。ただし、S^c は S の X に対する補集合である。

各 a_e_₁_e_₂_…e_{_m} x₁^e₁ x₂^e₂ … x_m^e_m またはこれの係数 a_e_₁_e_₂_…e_{_m} を 1 としたものを、この多項式の項と呼ぶ。ただ一つの項からなる多項式を単項式と呼ぶ。

多重指数の概念を導入して、α = (e₁, e₂, ..., e_m) に対して

$a_\alpha \mathbf{x}^\alpha := a_{e_1 e_2 \ldots e_m} x_1^{e_1} x_2^{e_2}\cdots x_m^{e_m}$

と約束することにすると、多変数の多項式を簡便に表すことができる。

組合せ論的に多重指数 α にヤング図形 Y_α を対応させ、さらにヤング図形の間に適当な順序 ≤ を導入することにより、最初に与えた m 変数の多項式は以下のように表示することができる。

$\sum_{\alpha \in \mathbb{N}^m,\,Y_0 \leq Y_\alpha \leq Y} a_\alpha \mathbf{x}^\alpha$ .

ただし、Y₀ は "最小の" 指数 (0, 0, ..., 0) に、Y は "最大の" 指数 (n₁, n₂, ..., n_m) にそれぞれ対応するヤング図形である。当然だが、ヤング図形を介さなくても、直接指数に順序を与えておけば同じことである。すなわち α = (a₁, a₂, ..., a_m), β = (b₁, b₂, ..., b_m) に対し、α ≤ β ⇔ a_i ≤ b_i (for all i = 1, 2, ..., m) と約束するとよい。

単位的可換環 R 上の変数 x₁, x₂, ..., x_n に関する多変数多項式環 R[x₁, x₂, ..., x_n] は、多項式を係数にもつ多項式として

$R[x_1, x_2, \ldots, x_n] := R[x_1, x_2, \ldots, x_{n-1}][x_n]$

のように帰納的に定義される。

[編集] 多項式の次数

多重指数 α = (a₁, a₂, ..., a_m) に対し、α の大きさ |α| を

$|\alpha| := a_1 + a_2 + \cdots + a_m$

で定めておく。変数 x = (x₁, x₂, ..., x_n) に関する項 a_α x^α に対し、|α| をこの項の（ x に関する）次数と定める。多項式 f(x) = ∑_α a_α x^α に対しては、max{|α| | a_α ≠ 0} を多項式 f(x) の次数 (degree) または全次数（ぜんじすう、total degree）といい、deg f と表す。

また、変数の集合 X = {x₁, x₂, ..., x_n} からいくつかの変数を選び、その全体を Y = {y₁, y₂, ..., y_m} とする。

このとき、変数 x = (x₁, x₂, ..., x_n) に関する多項式 f(x) = ∑_α a_α x^α を Y に属さない変数は係数と見なして y = (y₁, y₂, ..., y_n) に関する多項式とみることにより、f(x) の変数 y に関する次数が定義される。

ベクトル w = (w₁, w₂, ..., w_m) に対し、項 a_α x^α (α = (a₁, a₂, ..., a_m)) の w を重み（おもみ、weight）とする次数あるいは重み w つき次数 |α|_w とは、α と w の標準内積

$|\alpha|_w := \alpha \cdot w = a_1 w_1 + a_2 w_2 + \cdots + a_m w_m$

のことと定義する。多項式 f(x) = ∑_α a_α x^α に対しては、全次数のときと同様に max{|α|_w | a_α ≠ 0} をこの多項式の重み w つき次数 (degree with weight w) といい、deg_w f と表す。

多項式 f(x) の w = (1, 1, ..., 1) を重みとする重みつき次数 deg_w f はちょうど全次数 deg f に一致する。
w = (w₁, w₂, ..., w_m) に対し、w_k_₁ = w_k_₂ = … = w_k_{_m} = 0 とし、それ以外の成分を 1 とする。このとき、y = (x_k_₁, x_k_₂, ..., x_k_{_m}) とおくと、多項式 f(x) の重み w つき次数 deg_w は f(x) の変数 y に関する次数に一致する。

[編集] 斉次多項式

自然数 t に対し、多項式 ∑_{α, |α|=t} a_α x^α を t 次の斉次多項式、同次多項式あるいは t 次形式という。

変数 z に関する一変数多項式 f(z) = a_nzⁿ + a_n-1z^n-1 + … + a₁x + a₀ に対し、z = x/y を代入し、なおかつ yⁿ を掛けることで、二変数の斉次多項式

$g(x, y) := a_n x^n + a_{n-1}x^{n-1}y + \cdots + a_1 xy^{n-1} + a_0 y^n$

を得る。この g を f の斉次化（同次化）という。これは多項式関数を射影平面上に拡張したものとして利用される。

二次形式はとくに線型代数学の言葉で記述される。対称行列 A を用いて x^TAx または (x, Ax) などと表される。特に適当な変数変換 x = P y (y = (y₁, ..., y_m))により

$y_1^2 + \cdots + y_p^2 - y_{p+1}^2 - \cdots - y_{p+q}^2$

(p+q ≤ m) と表すことができる（シルベスターの慣性法則）。詳しくは二次形式の項を参照。

[編集] 非可換多項式環

通常の多変数多項式環は、変数と係数および変数同士の可換性が仮定されている。この変数の間の可換性を仮定からはずすことで、非可換多項式環が定義される。可換性をはずしたために、非可換多項式を一般に書き表すのは困難であるが、非可換多項式環はテンソル代数として記述することができる。

カテゴリ: 多項式 | 初等数学 | 数学に関する記事

多項式

出典: フリー百科事典『ウィキペディア（Wikipedia）』

目次

[編集] 一変数多項式

[編集] 多項式環

[編集] 代入

[編集] 多項式関数

[編集] 多変数多項式

[編集] 多項式の次数

[編集] 斉次多項式

[編集] 非可換多項式環

[編集] 関連項目

Views

ナビゲーション

ヘルプ

検索

他の言語