« Topologie générale/Continuité et homéomorphismes » : différence entre les versions
réécriture complète |
m →Limite : Style |
||
Ligne 22 : | Ligne 22 : | ||
Sous les hypothèses de la définition : |
Sous les hypothèses de la définition : |
||
*<math>\ell</math> est nécessairement adhérent à <math>f(A)</math> ; |
*<math>\ell</math> est nécessairement adhérent à <math>f(A)</math> ; |
||
*si <math>Y</math> est séparé et si une telle limite existe alors elle est unique, ce |
*si <math>Y</math> est séparé et si une telle limite existe alors elle est unique, ce légitime dans ce cas la notation <math>\lim_af=\ell</math>. |
||
}} |
}} |
||
Ligne 28 : | Ligne 28 : | ||
Pour tout voisinage <math>W</math> de <math>a</math>, <math>f(W\cap A)</math> est inclus dans <math>f(A)</math> et (puisque <math>a\in\overline A</math>) non vide, donc : |
Pour tout voisinage <math>W</math> de <math>a</math>, <math>f(W\cap A)</math> est inclus dans <math>f(A)</math> et (puisque <math>a\in\overline A</math>) non vide, donc : |
||
*pour tout voisinage <math>V</math> de <math>\ell</math>, <math>V\cap f(A)</math> est non vide ; |
*pour tout voisinage <math>V</math> de <math>\ell</math>, <math>V\cap f(A)</math> est non vide ; |
||
*pour tous voisinages <math>V_1</math> et <math>V_2</math> de deux limites, <math>V_1\cap V_2</math> est non vide |
*pour tous voisinages respectifs <math>V_1</math> et <math>V_2</math> de deux limites <math>\ell_1</math> et <math>\ell_2</math>, <math>V_1\cap V_2</math> est non vide (ce qui, si l'espace est séparé, prouve que <math>\ell_1=\ell_2</math>). En effet, il existe deux voisinages <math>W_1</math> et <math>W_2</math> de <math>a</math> tels que <math>f(W_i\cap A)\subset V_i</math> ; leur intersection <math>W</math> est alors un voisinage de <math>a</math> (donc <math>f(W\cap A)\ne\varnothing</math>) et <math>f(W\cap A)\subset{V_1\cap V_2}</math>. |
||
}} |
}} |
||
Version du 31 mars 2017 à 16:36
Au lycée, on dit d'une fonction qu'elle est continue si on peut la tracer sans lever le crayon. Mais considérons une courbe de longueur infinie : impossible de la tracer avec un crayon ! La notion de continuité s'est clarifiée au XIXe siècle, grâce notamment aux travaux de Cauchy.
Limite
Soient et deux espaces topologiques, une partie de , une application, un point adhérent à et un point de .
On dit que a pour limite au point si, pour tout voisinage de , il existe un voisinage de tel que .
Sous les hypothèses de la définition :
- est nécessairement adhérent à ;
- si est séparé et si une telle limite existe alors elle est unique, ce légitime dans ce cas la notation .
Pour tout voisinage de , est inclus dans et (puisque ) non vide, donc :
- pour tout voisinage de , est non vide ;
- pour tous voisinages respectifs et de deux limites et , est non vide (ce qui, si l'espace est séparé, prouve que ). En effet, il existe deux voisinages et de tels que ; leur intersection est alors un voisinage de (donc ) et .
Continuité en un point
Soient et deux espaces topologiques, une application et un point de . On dit que est continue au point si a pour limite au point .
est continue au point si et seulement si l'image réciproque par de tout voisinage de est un voisinage de :
.
Continuité globale
Soient et deux espaces topologiques et une application.
On dit que est
- continue (sur ) si elle est continue en tout point de ;
- un homéomorphisme lorsqu'elle est bijective et que et sont continues.
Les propriétés suivantes sont équivalentes :
- l'application est continue ;
- l'image réciproque par de tout ouvert de est un ouvert de ;
- l'image réciproque par de tout fermé de est un fermé de ;
- pour toute partie de , ;
- pour toute partie de , .
- 1 ⇔ 2 : d'après la définition locale, f est continue en a si et seulement si, pour tout ouvert O de Y tel que a appartienne à f–1(O), f–1(O) est voisinage de a. Donc f est continue en tout point si et seulement si, pour tout ouvert O de Y, f–1(O) est voisinage de chacun de ses points, c'est-à-dire est ouvert.
- 2 ⇔ 3 : par passage aux complémentaires.
- 3 ⇒ 5 : en posant G = B.
- 5 ⇒ 4 : en posant B = f(A) et en utilisant le fait que A est inclus dans f –1(f(A)).
- 4 ⇒ 3 : en posant A = f –1(G) et en utilisant le fait que f(f –1(G)) est inclus dans G.
Caractérisation séquentielle
Si tout point de admet une base de voisinages (finie ou) dénombrable — en particulier si est un espace métrique — on dispose d'une caractérisation plus intuitive :
Si tout point de admet une base dénombrable de voisinages, alors, pour tout point et toute partie de :
- est adhérent à (si et) seulement s'il est limite d'une suite d'éléments de ;
- si est adhérent à , une application a pour limite au point si (et seulement si) pour toute suite dans de limite , la suite a pour limite .
- par conséquent, une application est continue au point si (et seulement si) pour toute suite de limite , la suite a pour limite .
Soit une base de voisinages de , que l'on peut supposer décroissante (quitte à remplacer chaque par son intersection avec les précédents). Le principe est que toute suite telle que converge alors vers .
- Si est adhérent à , comme chaque rencontre , on peut choisir a.
- Raisonnons par contraposition. Si n'est pas limite de en , il existe un voisinage de dont l'image réciproque ne contient aucun . En choisissant dans chaque un tel que , on construit une suite de limite dont l'image n'admet pas pour limite.