📘 Espaces vectoriels normés
Norme
Une norme sur un -espace vectoriel est une application vérifiant :
- (inégalité triangulaire)
Un EVN est un espace vectoriel muni d'une norme.
🔓 Ouverts, fermés, intérieur, adhérence
Ouvert et fermé
Une partie est ouverte si pour tout , il existe tel que .
Une partie est fermée si son complémentaire est ouvert, équivalent : toute suite de qui converge a sa limite dans .
Boule ouverte vs fermée
Montrer que est ouverte.
🎯 Compacts
Compact (Borel-Lebesgue)
Une partie est compacte si de toute suite de , on peut extraire une sous-suite convergente dans .
En dimension finie
En dimension finie, une partie est compacte fermée bornée. C'est le théorème de Borel-Lebesgue version EVN.
Attention : en dimension infinie, "fermée bornée" n'implique plus "compact". C'est là qu'apparaissent les différences avec .
📐 Continuité des applications
Caractérisations de la continuité
Soit . Équivalences :
- est continue en (définition -)
- Pour toute suite ,
- L'image réciproque de tout ouvert est ouverte
La caractérisation séquentielle (suites) est la plus utilisée en pratique — simple et puissante.



