Cours : Topologie
Fiche de Cours : Topologie (MP - Deuxième année)
Section titled “Fiche de Cours : Topologie (MP - Deuxième année)”Cette fiche s’adresse aux étudiants de classes préparatoires scientifiques (filière MP). La rigueur y est de mise : les quantificateurs doivent être maniés avec une précision absolue.
I. Espaces Vectoriels Normés (EVN)
Section titled “I. Espaces Vectoriels Normés (EVN)”1. Définitions fondamentales
Section titled “1. Définitions fondamentales”Soit un -espace vectoriel ( ou ).
Définition (Norme) : Une application , notée , est une norme si elle vérifie :
- Séparation : .
- Homogénéité : .
- Inégalité triangulaire : .
Définition (Distance induite) : Tout EVN est muni d’une distance canonique définie par .
2. Topologie associée à une norme
Section titled “2. Topologie associée à une norme”Soit un EVN, et .
- Boule ouverte : .
- Boule fermée : .
- Sphère : .
Définition (Partie ouverte) : Une partie est dite ouverte si :
Définition (Partie fermée) : Une partie est dite fermée si son complementaire est un ouvert.
Définition (Voisinage) : Soit . Une partie est un voisinage de s’il existe tel que .
II. Suites dans un EVN
Section titled “II. Suites dans un EVN”1. Convergence
Section titled “1. Convergence”Définition : Une suite d’éléments de converge vers si : On note ou .
2. Caractérisation topologique des fermés
Section titled “2. Caractérisation topologique des fermés”Théorème : Soit . est fermé si et seulement si toute suite d’éléments de qui converge dans a sa limite dans .
III. Continuité des applications
Section titled “III. Continuité des applications”1. Définitions et caractérisations
Section titled “1. Définitions et caractérisations”Soient et deux EVN, et .
Définition (Continuité en un point) : est continue en si :
Théorème de caractérisation : Les assertions suivantes sont équivalentes :
- est continue sur .
- Pour tout ouvert de , est un ouvert de .
- Pour tout fermé de , est un fermé de .
- Pour toute suite convergeant vers dans , la suite converge vers dans .
IV. Compacité
Section titled “IV. Compacité”1. Définitions
Section titled “1. Définitions”Définition (Séquentiellement compact) : Une partie de est dite compacte (ou séquentiellement compacte en dimension finie) si de toute suite d’éléments de on peut extraire une sous-suite qui converge vers un élément de .
2. Propriétés des compacts
Section titled “2. Propriétés des compacts”- Théorème de Heine : Toute application continue d’un compact vers un EVN est uniformément continue.
- Théorème des bornes atteintes (Weierstrass) : Toute application continue d’un compact non vide vers est bornée et atteint ses bornes.
- Propriété de Borel-Lebesgue (Admis en dimension quelconque) : De tout recouvrement ouvert d’un compact, on peut extraire un sous-recouvrement fini.
V. Topologie en Dimension Finie
Section titled “V. Topologie en Dimension Finie”1. Équivalence des normes
Section titled “1. Équivalence des normes”Théorème fondamental : Soit un -espace vectoriel de dimension finie. Alors toutes les normes sur sont équivalentes.
Définition de l’équivalence : Deux normes et sur sont équivalentes s’il existe des constantes et telles que :
Conséquence majeure : Les notions d’ouverts, de fermés, de convergence, de continuité et de compacité ne dépendent pas du choix de la norme en dimension finie.
2. Théorème de Bolzano-Weierstrass et Caractérisation
Section titled “2. Théorème de Bolzano-Weierstrass et Caractérisation”Théorème (Bolzano-Weierstrass) : De toute suite bornée d’un EVN de dimension finie, on peut extraire une sous-suite convergente.
Théorème de Borel-Weierstrass (Caractérisation des compacts en dimension finie) : Dans un EVN de dimension finie, une partie est compacte si et seulement si elle est fermée et bornée.
VI. Connexité pararcs
Section titled “VI. Connexité pararcs”Définition : Un arc continu dans est une application continue .
Définition (Connexité par arcs) : Un partie de est dite connexe par arcs si pour tout , il existe un arc continu tel que et .
Théorème (Valeurs intermédiaires) : L’image d’une partie connexe par arcs par une application continue est connexe par arcs. En particulier, l’image d’un connexe par arcs par une fonction à valeurs dans est un intervalle.
VII. Méthodes
Section titled “VII. Méthodes”-
Montrer qu’un ensemble est ouvert :
- Soit utiliser la définition (exhiber une boule ouverte).
- Soit dire que c’est l’image réciproque d’un ouvert par une application continue (ex: avec continue).
- Soit utiliser les opérations algébriques (intersections finies d’ouverts : non, unions quelconques d’ouverts).
-
Montrer qu’un ensemble est fermé :
- Soit passer par le complémentaire (montrer qu’il est ouvert).
- Soit utiliser la caractérisation séquencielle : prendre une suite telle que , et montrer que .
- Soit dire que c’est l’image réciproque d’un fermé par une application continue (ex: avec continue).
-
Montrer qu’un ensemble est compact (en dimension finie) :
- Montrer que l’ensemble est fermé ET borné.
VIII. Pièges à éviter (Attention aux errements classiques)
Section titled “VIII. Pièges à éviter (Attention aux errements classiques)”- ⚠️ Attention à la dimension infinie ! En dimension infinie, un fermé borné n’est pas nécessairement compact (ex: la boule unitée fermée de ou n’est pas compacte). De plus, les normes n’y sont pas toutes équivalentes.
- ⚠️ Attention aux confusions de limites : Pour montrer qu’une suite converge, on ne peut pas utiliser la continuité d’une fonction avant d’avoir prouvé que la suite converge (sauf application du théorème de convergence dominée ou équivalents, mais topologiquement, c’est circulaire).
- ⚠️ Intersection infinie d’ouverts : Une intersection infinie d’ouverts n’est pas un ouvert en général (penser à , qui est fermé).
- ⚠️ Union infinie de fermés : Une union infinie de fermés n’est pas un fermée en général (penser à , qui est ouvert).