La topologie sur un ensemble quotient Y = X/∼ définie comme la topologie la plus coarse rendant la projection canonique q : X → Y continue ; un sous‑ensemble V ⊂ Y est ouvert si et seulement si q^{-1}(V) est ouvert dans X.

Principe

Doter Y de la topologie finale (coinduite) par rapport à q afin que les applications continues sur X constantes sur les classes d’équivalence se factorisent de manière unique par Y.

Démonstration

Construire le cercle S^1 comme quotient de l’intervalle [0,1] en identifiant 0 ∼ 1 ; un ensemble de S^1 est ouvert exactement lorsque son image réciproque dans [0,1] est ouverte, ce qui donne la topologie circulaire attendue.

Mauvaise application

Supposer que la projection quotient est automatiquement ouverte ou fermée ; si certaines le sont, cette propriété doit être vérifiée et ne découle pas en général de la définition.

Conséquence

Les espaces quotient encodent les identifications : les applications continues sortant du quotient correspondent bijectivement aux applications continues sur X constantes sur les classes d’équivalence ; les invariants topologiques doivent être évalués après identification.

Inversion

Donner à Y une topologie plus fine que la topologie quotient (par exemple qui sépare des classes d’équivalence) annule l’identification et rend en général la projection discontinue ou non universelle pour la factorisation.

Limite

La construction requiert une surjection q : X → Y (ou une relation d’équivalence sur X) ; elle n’indique pas comment choisir les identifications et exclut les topologies sur Y qui ne rendent pas q continue au sens final.

Tension sémantique

Tension entre constructions de quotient et de sous‑espace : la topologie de sous‑espace est une topologie initiale (par rapport à l’inclusion), tandis que la topologie quotient est finale ; confondre les deux conduit à des erreurs sur la continuité et l’extension.

Synthèse

La topologie quotient est la manière canonique d’équiper un ensemble de classes d’équivalence d’une topologie telle que la projection depuis l’espace d’origine soit continue et universelle pour la factorisation des applications constantes sur les classes : les ouverts en amont déterminent les ouverts en aval par image réciproque.