Satz über implizite Abbildungen/R/Stetige Beschreibung des Tangentialbündels der Faser/Fakt

Es sei offen und sei

eine stetig differenzierbare Abbildung. Es sei die Faser über , und sei in jedem Punkt der Faser regulär. Es seien und offen und es sei

eine lokale Beschreibung der Faser gemäß

dem Satz über implizite Abbildungen.

Dann ist die Abbildung

eine Homöomorphie, wobei die Menge rechts als Untervektorraum im aufgefasst wird.