Satz über implizite Abbildungen/R/Faser ist topologische Mannigfaltigkeit/Fakt
Es sei offen und sei
eine stetig differenzierbare Abbildung. Es sei die Faser über einem Punkt . Das totale Differential sei surjektiv für jeden Punkt .
Dann ist eine topologische Mannigfaltigkeit.