Définition d'une carte locale
soit M une variété topologique de dimension n et soit x un point de M
si U est un ouvert de M contient x
donc
il existe un homéomorphisme f de U dans f(U) . f(U) est un ensemble de R^n
Par conséquent , le couple (U,f) s'appelle "carte locale " sur M