斉次多項式

数学において、斉次多項式（せいじたこうしき、）あるいは同次多項式（どうじたこうしき）、あるいは略して斉次式、同次式とは、非零項の次数が全て同じである多項式のことである。
例えば、2変数 についての1次斉次多項式は、 を定数として
2変数 についての2次斉次多項式は、 を定数として
2変数 についての3次斉次多項式は、 を定数として
3変数 についての2次斉次多項式は、 を定数として
である。
多項式が斉次であることと斉次関数を定義することは同値である。（代数的）形式 ((algebraic) form) とは、斉次多項式によって定まる関数のことである。binary form とは二変数の形式である。"形式"はベクトル空間上定義される、任意の基底上座標の斉次関数として表せる関数でもある。
0次多項式は常に斉次である。これは単に係数の体や環の元であり、通常定数やスカラーと呼ばれる。1次の形式は線型形式である。2次の形式は二次形式である。幾何学において、ユークリッド距離は二次形式の平方根である。
斉次多項式は数学や物理学の至るところで現れる。斉次多項式は代数幾何学において基本的な役割を果たす。射影代数多様体は斉次多項式のある集合の共通零点全体の集合として定義されるからである。
性質.
が成り立つことは同値である。とくに、"P" が斉次であれば、すべての formula_5 に対して
ベクトル空間（あるいは自由加群）formula_10 の次元は "n" 変数の "d" 次単項式の個数である（つまり "n" 変数の "d" 次斉次多項式の非零項の最大個数である）。それは二項係数
に等しい。
斉次化.
非斉次多項式 "P"("x""1"...,"x""n") は新たな変数 "x"0 を導入し斉次多項式（"h""P" と書かれることがある）を次のように定義することによって斉次化することができる:
ここで "d" は "P" の次数である。例えば、
であれば、
である。
斉次化された多項式は追加された変数 "x"0 を 1 とおくことによって非同次化できる。つまり、
一般の代数的形式.
代数的形式、あるいは単に形式は、二次形式を任意の次数に一般化する。かつては "quantics" とも呼ばれた（ケイリーによる用語である）。形式のタイプを特定するには、次数 "d" と変数 "n" の個数を与えなければならない。形式がある与えられた体 "K" "上の"形式であるとは、"n" を形式の変数の個数として、"K""n" から "K" への写像であることをいう。
ある体 "K" 上の "n" 変数の形式 "f" が 0 を表すとは、"x""i" たちのうち少なくとも1つが0に等しくないような元 ("x"1, ..., "xn") ∈ "K""n" が存在して "f"("x"1...,"x""n") = 0 となることをいう。
実数体上の二次形式が 0 を表すことと定符号でないことは同値である。