Weierstraß-Polynom
# Weierstraß-Polynom

Der mathematische Begriff des Weierstraß-Polynoms, benannt nach Karl Weierstraß, tritt in der Funktionentheorie mehrerer Veränderlicher auf. Es handelt sich um holomorphe Funktionen bzw. Funktionskeime in einem Punkt, die bezüglich einer der Variablen ein normiertes Polynom mit Koeffizienten aus dem Ring der holomorphen Funktionen in den anderen Variablen ist, so dass die Koeffizienten in diesem Punkt ebenfalls verschwinden.

## Definitionen

Es sei $_{n}{\mathcal {O}}$ der Ring der konvergenten Potenzreihen in $0\in \mathbb {C} ^{n}$. Dieser Ring ist isomorph zum Ring der Funktionskeime holomorpher Funktionen in 0, weshalb diese Begriffsbildung auch für Keime durchgeführt werden kann. Durch die injektive Abbildung

    $_{n-1}{\mathcal {O}}\rightarrow_{n}{\mathcal {O}},\quad f\mapsto {\tilde {f}},\quad {\tilde {f}}(z_{1},\ldots ,z_{n}):=f(z_{1},\ldots ,z_{n-1})$

fasst man $_{n-1}{\mathcal {O}}$ als Unterring von $_{n}{\mathcal {O}}$ auf. Das heißt, $f\in_{n-1}{\mathcal {O}}$ wird dadurch zu einem Element aus $_{n}{\mathcal {O}}$, dass man bei einer Auswertung in den Variable $(z_{1},\ldots ,z_{n})$ die letzte Variable einfach ignoriert.

Die Variable $z_{n}$ ist selbst ein Polynom und daher ein Element aus $_{n}{\mathcal {O}}\setminus_{n-1}{\mathcal {O}}$. Adjungiert man $z_{n}$ zum Unterring $_{n-1}{\mathcal {O}}$, so erhält man den Polynomring $_{n-1}{\mathcal {O}}[z_{n}]$ mit Koeffizienten aus $_{n-1}{\mathcal {O}}$, und man hat die Inklusionen

    $_{n-1}{\mathcal {O}}\subset_{n-1}{\mathcal {O}}[z_{n}]\subset_{n}{\mathcal {O}}$.

Jedes Element aus $f\in_{n-1}{\mathcal {O}}[z_{n}]$ hat eine eindeutige Darstellung

    $f(z_{1},\ldots ,z_{n})=a_{m}(z_{1},\ldots ,z_{n-1})\cdot z_{n}^{m}+a_{m-1}(z_{1},\ldots ,z_{n-1})\cdot z_{n}^{m-1}+\ldots +a_{1}(z_{1},\ldots ,z_{n-1})\cdot z_{n}+a_{0}(z_{1},\ldots ,z_{n-1})$

mit konvergenten Potenzreihen $a_{0},a_{1},\ldots ,a_{m-1},a_{m}\in_{n-1}{\mathcal {O}}$.

Ein solches Element heißt Weierstraß-Polynom, falls

* $a_{m}$ ist die konstante Einsfunktion, das heißt, $f$ ist ein normiertes Polynom über $_{n-1}{\mathcal {O}}$, und
* $a_{k}(0,\ldots ,0)=0$ für alle $k=0,\ldots ,m-1$.

## Beispiele

* Für Funktionen einer Variablen ist ein Weierstraß-Polynom nichts weiter als ein normiertes Monom, also von der Form $z_{1}^{m}$.
* Das Polynom $z_{1}z_{2}\in_{1}{\mathcal {O}}[z_{2}]$ ist kein Weierstraß-Polynom, da es nicht normiert ist.
* Das Polynom $z_{2}^{3}+\exp(z_{1})z_{2}+z_{1}^{4}\in_{1}{\mathcal {O}}[z_{2}]$ ist ebenfalls kein Weierstraß-Polynom, da der Koeffizient von $z_{2}$ nicht in 0 verschwindet.
* Das Polynom $z_{2}^{3}+\sin(z_{1})z_{2}+z_{1}^{4}\in_{1}{\mathcal {O}}[z_{2}]$ ist ein Weierstraß-Polynom.

## Bemerkung

Weierstraß-Polynome spielen eine wichtige Rolle in der Funktionentheorie mehrerer Veränderlicher, da sie eine Art Division mit Rest erlauben, wie sie im Divisionssatz von Weierstraß vorkommt. Die irreduziblen Elemente im Ring $_{n}{\mathcal {O}}$ sind im Wesentlichen die im Polynomring $_{n-1}{\mathcal {O}}[z_{n}]$ irreduziblen Weierstraß-Polynome.

