Reelle Exponentialfunktion/Bijektiver Gruppenhomomorphismus/Fakt/Beweis

Aus Wikiversity
Beweis

Die Homomorphieeigenschaft folgt direkt aus der Funktionalgleichung, die Injektivität folgt aus der der Monotonieeigenschaft in Zusammenhang mit Fakt. Zum Nachweis der Surjektivität sei vorgegeben. Nach Fakt gibt es ganze Zahlen mit

Aufgrund des Zwischenwertsatzes, den wir wegen der in Fakt bewiesenen Stetigkeit der Exponentialfunktionen anwenden können, gibt es ein mit

Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „http://localhost:6011/de.wikiversity.org/v1/“:): {\displaystyle {{}} b^x = y \, , }

was die Surjektivität bedeutet.