TOPOLOGIETopologie générale

On a vu que, pour définir les notions de limite et de continuité, on devait donner un moyen de savoir si deux points sont voisins (resp. assez voisins). Pour cela, il est assez naturel de mesurer la distance de ces deux points. On peut donc parler de continuité ou de limites pour les applications de X dans Y, si l'on a défini la distance entre les points de X et la distance entre les points de Y, c'est-à-dire si X et Y sont des espaces métriques (cf.  : espaces métriques).

Ce point de vue est suffisant tant que X et Y sont R, R^p, les surfaces de R³, etc., et, plus généralement, pour tous les problèmes géométriques. C'est l'analyse qui a mis ses lacunes en évidence ; il arrive, en effet, que l'on dispose d'applications de R^p dans un ensemble de fonctions E qui, pour des raisons propres au problème à résoudre, doivent être considérées comme continues, mais qu'il n'existe aucune métrique sur E qui les rende continues. Il faut donc donner un moyen, autre que la distance, pour savoir si deux éléments a et b de E sont voisins.

Pour cela, on se donne une famille Va de sous-ensembles de E que l'on appelle les voisinages de a dans E ; pour dire « comment b est voisin de a », on dit dans quel voisinage de a il se trouve. Si, pour tout élément a de E, on a défini les voisinages de a dans E, on dit que E est un espace topologique ; les éléments de E sont alors appelés des points. Si E et F sont deux espaces topologiques et si f est une application de E dans F, on dit que f est continue au point a de E si : Pour tout voisinage V de f (a) dans F, il existe un voisinage W de a dans E tel que, pour tout point b de W, le point f (b) soit dans V. On dit que f est continue si elle est continue en chaque point de E. Tout espace métrique X devient naturellement un espace topologique si l'on choisit pour voisinages d'un point x les sous-ensembles de X qui contiennent une boule de centre x et de rayon strictement positif. On vérifie alors que, si X et Y sont métriques, pour une application f de X [...]