Une application continue surjective q : X -> Y qui dote Y de la topologie quotient : un sous-ensemble U de Y est ouvert si et seulement si q^{-1}(U) est ouvert dans X. Autrement dit, q est finale pour les applications continues depuis X, identifiant des points selon une relation d'équivalence et faisant de Y l'espace le plus grossier rendant q continue.

Principe

Le principe organisateur est la finalité : Y reçoit la topologie la plus fine rendant q continue, de sorte que la topologie sur Y est entièrement déterminée par les ouverts saturés en amont. Les applications quotient réalisent des identifications et constituent l'image catégorique du transport de la structure topologique le long d'une surjection.

Démonstration

Un exemple standard est la projection canonique [0,1] -> S^1 qui identifie 0 et 1 ; un autre est l'application envoyant un espace sur l'ensemble de ses classes d'équivalence sous une action de groupe, muni de la topologie quotient ; ces constructions créent de nouveaux espaces en effondrant ou en recollant des sous-ensembles.

Mauvaise application

Supposer que toute application continue surjective est une application quotient, ou que les applications quotient préservent des propriétés de séparation (par exemple l'hausdorffité) est une erreur : la surjectivité seule n'assure pas la propriété de topologie finale, et les quotients d'espaces de Hausdorff ne sont pas nécessairement de Hausdorff sauf si la relation d'équivalence est fermée ou si d'autres conditions sont satisfaites.

Conséquence

L'utilisation correcte des applications quotient permet de construire de nouveaux espaces, former des espaces d'orbites et d'identification, et transférer des structures continues ; elle clarifie quand des fonctions descendent au quotient et fournit la propriété universelle pour les applications sortant du quotient.

Inversion

Le concept inverse met l'accent sur les plongements et injections : au lieu d'effondrer des points pour obtenir une topologie plus grossière, un plongement produit une topologie relative plus fine en insérant un espace dans un autre sans identification.

Limite

Les applications quotient appartiennent à la topologie générale et exigent seulement continuité et surjectivité ; elles ne requièrent pas de trivialité locale, de structure de variété ou de bonnes propriétés de séparation, et des topologies quotient pathologiques peuvent apparaître sur des espaces quelconques.

Tension sémantique

L'application quotient est en tension avec les projections en catégorie lisse et avec les revêtements : tandis que les quotients créent des topologies plus grossières par identification, les projections différentiables peuvent être des submersions ou des fibrés avec une structure lisse supplémentaire que les applications quotient n'ont pas nécessairement.

Synthèse

Une application quotient est le mécanisme topologique pour former des espaces par identification : elle pousse les ouverts via la condition sur les images réciproques afin d'équiper la cible de la topologie finale, permettant des opérations systématiques de recollement et d'effondrement et déterminant quand structures et fonctions descendent par l'identification.