Reelle Exponentialfunktion/Bijektiver Gruppenhomomorphismus/Fakt/Beweis
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
was die Surjektivität bedeutet.