4.1. NOTION ABSTRAITE D’ESPACE TOPOLOGIQUE 81
La notion d’adhérence introduite au chapître précédent permet de définir
sur tout espace de dimension finie Eune topologie naturelle, appelée « topolo-
gie usuelle » de E. Les espaces R2et R3, qui supportent l’intuition géométrique
et autorisent des représentations graphiques 2D ou 3D de leurs parties, sont les
exemples fondamentaux de la théorie, qui doivent servir de modèles et de guides
dans le marais des définitions abstraites de ce chapître, qui introduit la topolo-
gie usuelle des espaces de dimension finie et le vocabulaire associé : intérieur ,
adhérence ,frontière ,ouverts ,fermés ,voisinages d’un point, parties compactes .
On y analyse la relation entre topologie et structure Euclidienne, puis entre
topologie et continuité, et on y démontre un théorème clé de l’Optimisation, le
théorème de Weierstrass(2), qui assure que toute fonction f ∶D⊂E↦Rà valeurs
réelles, définie et continue sur une partie D d’un espace de dimension finie E,
atteint son minimum et son maximum sur toute partie compacte de E contenue
dans D .
4.1 Notion abstraite d’espace topologique
Commençons (ce sera utile pour la suite) par prendre un peu de hauteur en
posant quelques définitions abstraites :
Définition 4.1.1 Un « espace topologique »est le couple (E,O(E)))formé par un
ensemble E quelconque, et par une « topologie » sur E, c’est-à-dire une collection
O(E)de parties de E, appelés « ouverts », vérifiant :
(O1)E et l’ensemble vide sont des ouverts de E :
E∈O(E),et : ∅∈O(E)(4.1)
(O2)Toute réunion d’ouverts de E est un ouvert de E
Oi∈O(E) (i∈I)⇒
i∈I
Oi∈O(E)(4.2)
(O3)Toute intersection finie d’ouverts de E est un ouvert de E :
Oi∈O(E) (1≤i≤n)⇒n
i=1
Oi∈O(E)(4.3)
On dit qu’une partie de E est « ouverte » si c’est un ouvert de E.
2. - Karl Theodor Wilhem Weierstrass, 1815-1897, le Weierstrass du théorème de Bolzano-
Weierstrass. Pour découvrir sa biographie :
http://www-groups.dcs.st-andrews.ac.uk/history/Mathematicians/Weierstrass.html.