Couvre les concepts d'homéomorphismes locaux et de couvertures en multiples, en mettant l'accent sur les conditions dans lesquelles une carte est considérée comme un homéomorphisme local ou une couverture.
Discute des conditions nécessaires pour de multiples contraintes et trouve extreme sous contraintes à l'aide de multiplicateurs Lagrange et théorème implicite de fonction.