Lexikon der Mathematik: Borel, Satz von
Aussage über die Existenz einer Funktion, für die der Wert unendlich vieler Ableitungen an einer Stelle vorgegeben werden kann. Der Satz lautet:
Zu jeder Folge \({({a}_{n})}_{n=0}^{\infty }\)reeller Zahlen existiert eine in ℝ unendlich oft differenzierbare Funktionf : ℝ → ℝ derart, daß \({f}^{(n)}={a}_{n}\)für allen ∈ ℕ0.
Die Funktion f kann sogar so gewählt werden, daß sie in ℝ\{0} reell-analytisch ist, d. h. um jeden Punkt von ℝ\{0} ist f in eine konvergente Potenzreihe entwickelbar.
In diesem Fall existiert also eine offene Menge D ⊂ ℂ\{0} mit ℝ\{0} ⊂ D derart, daß f zu einer in Dholomorphen Funktion fortgesetzt werden kann.
Copyright Springer Verlag GmbH Deutschland 2017
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.