Le 18 juin 2022 à 15:05:06 :
Toi tas jamais fait prepa
Soit (X, tau) une topologie et f : X ---> E . On note V = { X in E, f^{-1} (X) est un ouvert de tau }. Alors (E, V) est une topologie, c'est la plus grosse topologie rendant une fonction de X ---> E continue et de plus, si (Y, H) est une topo et g : E ---> Y une application, ( E, V) est la seule topologie qui vérifie f continue <---> g rond f continue. En particulier, si E = X / R ou R est une relation d'équivalence et f la projection canonique, on obtient une topologie qui rende l'application f continue tout en définissant des ouverts de X / R compatibles avec les ouverts de X.
https://image.noelshack.com/fichiers/2021/53/7/1609712085-216901-full-gigapixel-scale-4-00x.png
Putain j'ai rien rate...
Toutes les forumeuses sont jalouses de toi
La chaîne alimentaire