ワイエルシュトラスの予備定理

数学のとは、多変数の複素解析関数を特定の点  で調べるときに使われる多変数複素関数論の定理である。定理の主張は、任意の多変数の複素解析関数は、
でゼロにならない関数の乗算による違いを除いて、1つ選んだ変数

の多項式で書けて、その多項式はモニックかつ低次数項の係数は

でゼロになる残りの変数についての解析関数として取れる、というものである。

この定理はワイエルシュトラスの1879年の出版物の中で公表された（講義の中では1860年から取り入れていた）。

この定理には数々の変形版がある。共通するアイデアは、考えている環  の元を可逆元

とワイエルシュトラス多項式と呼ばれる特別な種類の多項式

の積

に分解するという点である。ワイエルシュトラスの準備定理と呼ばれることもある。

カール・ジーゲルは、この定理にカール・ワイエルシュトラスの名前がついているのは19世紀後半の Traités d'analyse で正当な理由の説明もなくそうされたからであるとして、ワイエルシュトラスの名を冠することに異議を唱えた。

複素解析的関数

1変数の解析関数

は原点のまわりで局所的に

とかけた。ここで

は原点で0にならない解析関数で、
は
 の原点における零点の重複度である。これを一般化したものがワイエルシュトラスの予備定理である。
を複素変数とする。最初の変数は特に  とかいている。解析関数

で

となるものを係数とする多項式

をワイエルシュトラス多項式と呼ぶ。

解析関数  が

 

であり

 

を冪級数と見たとき  だけが現れる項があったとする。このとき、原点で0ではない解析関数

とワイエルシュトラス多項式

が存在して、 の周りで局所的に

とかける、という主張がワイエルシュトラスの予備定理である。

これからすぐに、
原点 
の周りの

の零点は、任意の小さな

とそれに対する方程式

の解の組であることがわかる。解の個数は

の

についての次数に等しい。
を連続的に動かすと、対応する  は枝状に動く。特に  は孤立零点を持ち得ない。

除法定理

関連する定理に、ワイエルシュトラスの除法定理（Weierstrass division theorem）というものがある（割算定理ともいう）。これは、 と  を解析関数で
 が次数  のワイエルシュトラス多項式だったとすると、ある一意的に定まる  と  が存在して

と書けるというものである。ここで
 は
次数が 
未満の多項式である。予備定理は除法定理の系として証明されることが多い。逆に、予備定理から除法定理を証明することもできるので、2つの定理は実際には同値である。

応用

ワイエルシュトラスの予備定理を使って
 変数の解析関数の芽の環はネーター環であることを証明できる。
このことは
（Rückert basis theorem）とも呼ばれている。

滑らかな関数

滑らかな関数についても同様の予備定理がある。これは深い結果で、によって証明されたのでと呼ばれている。これに対応する除法定理もあり、こちらにはの名前が冠されている。

完備局所環係数の形式的冪級数

完備局所環

の元を係数とする形式的冪級数環についても同様の定理があり、これもワイエルシュトラスの予備定理と呼ばれている。
を冪級数で少なくとも1つの係数

は

の極大イデアル

に含まれないものとする。このとき、一意的に定まる 
の可逆元  と多項式

で係数が

となるものが存在して

が成り立つ。この  のように、モニックで低次の項の係数が極大イデアルに含まれる多項式は特殊多項式（distinguished polynomial）と呼ばれる。
も完備局所環であるから、繰り返しこの分解を使うことによって、多変数の形式的冪級数についても同様の分解が可能であることがわかる。

例としてこの定理を
 進整数環に適用してみる。すると、 進数を係数とする任意の冪級数

は、冪級数環における可逆元

と特殊多項式

と1つ選んだ素元
 を使って

と一意的に分解できることがわかる。

岩澤理論では、ワイエルシュトラスの予備定理と除法定理を環
（この環はとも呼ばれている）に適用することにより、
この環上の有限生成加群の具体的な記述を得ている。

テイト代数

完備な非アルキメデス局所体  上の

についてもワイエルシュトラスの予備定理がある。この環はの基本的な構成要素である。環

にワイエルシュトラスの予備定理を適用することにより、例えばこの環がネーターであることがわかる。

脚注

参考文献

, reprinted in 

 reprinted by Johnson, New York, 1967.

多変数複素函数論
可換環論
複素解析の定理
カール・ワイエルシュトラス
数学のエポニム
数学に関する記事