Holomorphe Funktion/Endliche Bestimmtheit/Jacobiideal/Mather/Spezialfall 0/Fakt

Es sei ${}f\colon U\rightarrow {\mathbb {C} }$, ${}0\in U\subseteq {\mathbb {C} }^{n}$ offen, eine holomorphe Funktion, wobei im lokalen Ring ${}{\mathcal {O}}_{n}$ die Beziehung

${}{\mathfrak {m}}^{r-1}\subseteq J_{f}\,$

gelte, wobei ${}J_{f}$ das Jacobiideal bezeichne und ${}r$ eine positive natürliche Zahl ist.

Dann ist ${}f$ ${}r$-bestimmt.

Zum Beweis, Alternativen Beweis erstellen