Catalogue Licence
L3 • Topologie
Recherche L3

Topologie générale

Ouverts comme structure primitive, continuité par images réciproques, compacité de Borel-Lebesgue, connexité, séparation et topologie produit

Fils Rouges :Fil 6 — Compacité : forcer l'infini à se comporter comme du fini
Point d'entrée intuitif

Que reste-t-il de la continuité, de la compacité et de la convergence quand on retire la distance — et pourquoi les suites cessent-elles alors de suffire ?

Idée en une phrase :
Une topologie est le choix de ce qu'on appelle « voisinage » : tout le reste — continuité, compacité, connexité — se définit à partir de ce seul choix.
Généalogie historique du concept :

Fréchet introduit en 1906 les espaces métriques abstraits ; Hausdorff dégage en 1914 l'axiomatique des ouverts, dans un livre qui fonde la discipline. La motivation est double : d'une part les espaces de fonctions, où plusieurs notions de convergence coexistent sans distance commune ; d'autre part la géométrie, où l'on veut distinguer les propriétés invariantes par déformation. Borel et Lebesgue avaient dégagé vers 1900 la propriété des recouvrements finis, qui deviendra la définition même de la compacité — celle qui se généralise, contrairement à l'extraction de sous-suites.

Pourquoi CETTE définition formelle :

Pourquoi définir la compacité par les RECOUVREMENTS OUVERTS plutôt que par l'extraction de sous-suites ? Parce que l'extraction ne se généralise pas : il existe des espaces compacts au sens des recouvrements où certaines suites n'admettent aucune sous-suite convergente. Les recouvrements, eux, n'utilisent que les ouverts et se comportent bien par produit — c'est le théorème de Tychonoff. La définition est choisie pour ce qu'elle permet de démontrer, non pour son évidence intuitive.

Images Mentales & Modèles d'Intuition (3)

Modèle #1

Une topologie est un réglage de myopie : les ouverts disent ce qu'on peut distinguer. Une topologie grossière voit tout confondu, une topologie discrète sépare tout.

Ce qu'elle capture :

Plus il y a d'ouverts, plus l'espace est « fin » : la topologie discrète rend toute application continue, la topologie grossière n'en rend continues que les constantes vers un espace séparé.

⚠️ Où l'analogie ment :

L'image suggère un ordre total entre topologies. Faux : deux topologies peuvent être incomparables, aucune n'étant plus fine que l'autre. L'ensemble des topologies sur un ensemble forme un treillis, non une chaîne.

Modèle #2

La compacité de Borel-Lebesgue est un principe d'économie : toute couverture infinie peut être remplacée par une couverture finie.

Ce qu'elle capture :

C'est ce qui permet de passer du local au global : une propriété vraie au voisinage de chaque point devient vraie uniformément, en prenant le pire des cas parmi un nombre FINI.

⚠️ Où l'analogie ment :

L'image ne dit pas que cette définition est strictement plus forte que l'extraction en général. Les deux coïncident dans les espaces métriques — c'est un théorème non trivial — mais divergent ailleurs.

Modèle #3

La connexité, c'est l'impossibilité de découper en deux morceaux ouverts disjoints : l'espace tient d'un seul tenant.

Ce qu'elle capture :

Le théorème des valeurs intermédiaires devient une conséquence : l'image continue d'un connexe est connexe, et les connexes de sont les intervalles.

⚠️ Où l'analogie ment :

L'image visuelle échoue pour la connexité par arcs, notion plus forte. Le graphe de complété par un segment vertical est connexe sans être connexe par arcs : on ne peut pas relier les deux parties par un chemin continu.

Les Pièges Conceptuels Classiques

1
Les suites suffisent à caractériser la topologie.

Correction :

Faux en général. Dans un espace non métrisable, un point peut être adhérent à une partie sans être limite d'aucune SUITE de cette partie. Il faut alors les filtres ou les suites généralisées. C'est la limitation la plus importante à retenir : tout ce qui a été appris en L2 sur les caractérisations séquentielles cesse d'être automatique.

2
Compacité équivaut à fermé et borné.

Correction :

« Borné » n'a même pas de sens sans distance. La compacité se définit par les recouvrements, et la caractérisation par fermé borné est spécifique à . En dimension infinie, elle échoue déjà — c'est le théorème de Riesz du module L2-05.

3
Une application continue transforme les ouverts en ouverts.

Correction :

La continuité porte sur les IMAGES RÉCIPROQUES : est continue si l'image réciproque de tout ouvert est un ouvert. L'image directe d'un ouvert n'a aucune raison d'être ouverte — le sinus envoie sur , fermé. Les applications transformant les ouverts en ouverts s'appellent applications ouvertes, notion distincte.

4
Toute topologie sépare les points.

Correction :

La topologie grossière ne sépare rien : les seuls ouverts sont l'ensemble vide et l'espace entier. Dans un tel espace, toute suite converge vers TOUS les points, et l'unicité de la limite est perdue. C'est la propriété de Hausdorff qui garantit cette unicité, et elle doit être supposée.

Glossaire des Notations Mathématiques

topologie

famille des ouverts ; structure PRIMITIVE, non déduite d'une distance

adhérence

plus petit fermé contenant $A$ ; ne se caractérise plus par les suites en général

topologie produit

ouverts de base : produits d'ouverts dont TOUS SAUF UN NOMBRE FINI sont l'espace entier