Gut, dann c).
Erstens, warum gibt's diese Abbildung ? Für sie muss gelten , und wegen führt es zu . Also, muss auf jeden Fall durch diese letzte Gleichung definiert sein. Die nächste Frage ist - warum ist diese Abbildung wohldefiniert? Denn eigentlich gibt's mit , also theoretisch könnte es dazu führen, dass zwei unterschiedliche Werte und annehmen muss, was natürlich nicht geht bei eine wohldefinierten Abbildung. Also, wir müssen zeigen: => . Das folgt aus: => => . Damit ist durch definierte völlig ok. :-) Die letzte Frage ist: warum gibt's nur diese einzige Abbildung , die erfüllt? Nun, sei eine andere Abbildung mit . Dann haben also für alle . Also, für alle . Damit .
|