斉次多項式

数学において、斉次多項式（せいじたこうしき、）あるいは同次多項式（どうじたこうしき）、あるいは略して斉次式、同次式とは、非零項の次数が全て同じである多項式のことである。

例えば、2変数  についての1次斉次多項式は、 を定数として

2変数  についての2次斉次多項式は、 を定数として

2変数  についての3次斉次多項式は、 を定数として

3変数  についての2次斉次多項式は、 を定数として

である。

多項式が斉次であることと斉次関数を定義することは同値である。（代数的）形式 ((algebraic) form) とは、斉次多項式によって定まる関数のことである。binary form とは二変数の形式である。形式はベクトル空間上定義される、任意の基底上座標の斉次関数として表せる関数でもある。

0次多項式は常に斉次である。これは単に係数の体や環の元であり、通常定数やスカラーと呼ばれる。1次の形式は線型形式である。2次の形式は二次形式である。幾何学において、ユークリッド距離は二次形式の平方根である。

斉次多項式は数学や物理学の至るところで現れる。斉次多項式は代数幾何学において基本的な役割を果たす。射影代数多様体は斉次多項式のある集合の共通零点全体の集合として定義されるからである。

性質 
斉次多項式は斉次関数を定める。つまり、多変数多項式 P が d 次斉次であることと、係数体のすべての元  に対して

が成り立つことは同値である。とくに、P が斉次であれば、すべての  に対して
 が成り立つ。この性質は射影多様体の定義において基本的である。
非零多項式は異なる次数の斉次多項式の和に一意的に分解できる。この分解における各斉次多項式を多項式の斉次成分 (homogeneous components) と呼ぶ。
斉次多項式の積は斉次多項式になる。
斉次多項式を因数分解すると、因数は斉次多項式になる。
体（あるいはより一般に環）K 上の多項式環  が与えられると、d 次斉次式全体は一般に  と記されるベクトル空間（あるいは加群）をなす。上記の一意的な分解は、 が  たちの直和（非負の整数すべてを渡る和）であることを意味する。

ベクトル空間（あるいは自由加群） の次元は n 変数の d 次単項式の個数である（つまり n 変数の d 次斉次多項式の非零項の最大個数である）。それは二項係数

に等しい。

斉次化
非斉次多項式 P(x1,...,xn) は新たな変数 x0 を導入し斉次多項式（hP と書かれることがある）を次のように定義することによって斉次化することができる:

ここで d は P の次数である。例えば、

であれば、

である。

斉次化された多項式は追加された変数 x0 を 1 とおくことによって非同次化できる。つまり、

一般の代数的形式
代数的形式、あるいは単に形式は、二次形式を任意の次数に一般化する。かつては quantics とも呼ばれた（ケイリーによる用語である）。形式のタイプを特定するには、次数 d と変数 n の個数を与えなければならない。形式がある与えられた体 K 上の形式であるとは、n を形式の変数の個数として、Kn から K への写像であることをいう。

ある体 K 上の n 変数の形式 f が 0 を表すとは、xi たちのうち少なくとも1つが0に等しくないような元 (x1, ..., xn) ∈ Kn が存在して f(x1,...,xn) = 0 となることをいう。

実数体上の二次形式が 0 を表すことと定符号でないことは同値である。

関連項目

次数付き代数
ヒルベルト級数とヒルベルト多項式
多重線型形式
多重線型写像

シューア多項式
微分作用素の表象
線型方程式

脚注

注釈

出典

外部リンク
 

多重線型代数
代数幾何学
数学に関する記事