Reelle Zahlen/kte Wurzeln aus reellen Zahlen/Über Zwischenwertsatz/Fakt/Beweis2

Beweis

Die Stetigkeit ergibt sich aus Fakt. Das Wachstumsverhalten wurde für die Potenzfunktionen in Fakt bewiesen. Für ${}x\geq 1$ ist ${}x^{n}\geq x$, woraus die Unbeschränktheit des Bildes nach oben folgt. Bei ${}n$ ungerade folgt ebenso die Unbeschränktheit des Bildes nach unten. Aufgrund des Zwischenwertsatzes ist das Bild daher ${}\mathbb {R}$ bzw. ${}\mathbb {R} _{\geq 0}$. Somit sind die angegebenen Potenzfunktionen surjektiv und die Umkehrfunktionen existieren. Das Wachstumsverhalten überträgt sich auf die Umkehrfunktionen. Die Stetigkeit der Umkehrfunktionen folgt aus Fakt.

Zur bewiesenen Aussage