Offene Menge/C/Logarithmus/Aspekte/Fakt/Beweis

Beweis

Von (1) nach (2). Es sei , wobei die gleiche Eigenschaft besitzt. Wir betrachten die Bedingung

Für einen beliebigen Punkt legt diese über

ein (nicht eindeutiges) fest. Es gilt dann

und

Also ist

konstant auf jeder offenen zusammenhängenden Umgebung von und damit ist

und wegen der durch festgelegten Bedingung ist . Von (2) nach (1). Wenn

gilt, so ist

Also ist

und damit

Von (1) nach (3). Wenn

ist, so ist die Ableitung von gleich

Also ist

mit auf jeder offenen zusammenhängenden Teilmenge von . Von (3) nach (1). Wenn

gilt, so ergibt sich durch ableiten

also

Da die Exponentialfunktion alle Werte annimmt, ist