« Topologie générale/Continuité et homéomorphismes » : différence entre les versions

*si <math>Y</math> est séparé et si une telle limite existe alors elle est unique, ce quilégitime renddans alorsce légitimecas la notation <math>\lim_af=\ell</math>.

*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 car(ce qui, si l'espace est séparé, prouve que <math>\ell_1=\ell_2</math>). En effet, il contientexiste undeux voisinages <math>W_1</math> et <math>W_2</math> de <math>a</math> tels que <math>f(WW_i\cap A)\subset V_i</math> avec; leur intersection <math>W=W_1\cap W_2</math> (intersectionest dealors deux)un voisinage(s) 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>.