Gewöhnliche Differentialgleichung/Diffeomorphismus/Lösung/Fakt/Beweis
Beweis
Da mit auch die Umkehrabbildung ein Diffeomorphismus ist, genügt es, die eine Richtung zu zeigen. Es sei also eine Lösung des Anfangswertproblems zu . Dann gelten nach der Kettenregel für die Gleichheiten
Ferner gilt