ワイエルシュトラスの予備定理
数学の（ワイエルシュトラスのよびていり、英: Weierstrass preparation theorem）とは、多変数の複素解析関数を特定の点 P で調べるときに使われる多変数複素関数論の定理である。定理の主張は、任意の多変数の複素解析関数は、P でゼロにならない関数の乗算による違いを除いて、1つ選んだ変数 z の多項式で書けて、その多項式はモニックかつ低次数項の係数は P でゼロになる残りの変数についての解析関数として取れる、というものである。
この定理はワイエルシュトラスの1879年の出版物の中で公表された[1]（講義の中では1860年から取り入れていた[2][3]）。
この定理には数々の変形版がある。共通するアイデアは、考えている環 R の元を可逆元 u とワイエルシュトラス多項式と呼ばれる特別な種類の多項式 w の積 u·w に分解するという点である。ワイエルシュトラスの準備定理と呼ばれることもある。
カール・ジーゲルは、この定理にカール・ワイエルシュトラスの名前がついているのは19世紀後半の Traités d'analyse で正当な理由の説明もなくそうされたからであるとして、ワイエルシュトラスの名を冠することに異議を唱えた[要出典]。
複素解析的関数
1変数の解析関数 f (z) は原点のまわりで局所的に zkh(z) とかけた。ここで h は原点で0にならない解析関数で、k は f の原点における零点の重複度である。これを一般化したものがワイエルシュトラスの予備定理である。(z, z2, ..., zn) を複素変数とする。最初の変数は特に z とかいている。解析関数 gi(z2, ..., zn) で gi(0, ..., 0) = 0 となるものを係数とする多項式
- zk + gk−1zk−1 + ... + g0
をワイエルシュトラス多項式と呼ぶ。
解析関数 f が
- f (0, ..., 0) = 0
であり
- f (z, z2, ..., zn)
を冪級数と見たとき z だけが現れる項があったとする。このとき、原点で0ではない解析関数 h とワイエルシュトラス多項式 W が存在して、(0, ..., 0) の周りで局所的に
- f (z, z2, ..., zn) = W(z)h(z, z2, ..., zn)
とかける、という主張がワイエルシュトラスの予備定理である。
これからすぐに、 原点 (0, ..., 0) の周りの f の零点は、任意の小さな z2, ..., zn とそれに対する方程式 W(z) = 0 の解の組であることがわかる。解の個数は W の z についての次数に等しい。z2, ..., zn を連続的に動かすと、対応する z は枝状に動く。特に f は孤立零点を持ち得ない。
除法定理
関連する定理に、ワイエルシュトラスの除法定理（Weierstrass division theorem）というものがある（割算定理ともいう）。これは、f と g を解析関数で g が次数 N のワイエルシュトラス多項式だったとすると、ある一意的に定まる h と j が存在して f = gh + j と書けるというものである。ここで j は 次数が N 未満の多項式である。予備定理は除法定理の系として証明されることが多い。逆に、予備定理から除法定理を証明することもできるので、2つの定理は実際には同値である[4]。
応用
ワイエルシュトラスの予備定理を使って n 変数の解析関数の芽の環はネーター環であることを証明できる。 このことは リュッケルト基底定理[訳語疑問点]（Rückert basis theorem）とも呼ばれている[5]。
次の定理もワイエルシュトラスの予備定理を使って証明される。
滑らかな関数
滑らかな関数についても同様の予備定理がある。これは深い結果で、ベルナール・マルグランジュによって証明されたのでマルグランジュの準備定理と呼ばれている。これに対応する除法定理もあり、こちらにはジョン・マザーの名前が冠されている。
完備局所環係数の形式的冪級数
完備局所環
A
の元を係数とする形式的冪級数環についても同様の定理があり、これもワイエルシュトラスの予備定理と呼ばれている[8]。
- ワイエルシュトラスの予備定理のページへのリンク
