Produit de variétés différentiables

Montrer que le groupe des matrices orthogonales de taille est une sous-variété de de dimension .

Somme connexe de variétés.

L’espace projectif par les cartes affines et par quotient

Le tore comme quotient et comme produit. Diffémorphisme entre les deux définitions.