Teorema: $F$ es cerrado $\iff \partial F \subseteq F$.

Teorema: $F$ es cerrado $\iff F = \bar{F}.$

Demostración:

[$\Leftarrow$] Supongamos que $F = \bar{F}$

[por demostrar: $F^c$ es abierto]

Sea $x \in F^c$. Sabemos que $\mathbb{R}^n =$ int $F \; \cup$ ext $F \cup \partial F$ y además sabemos que un punto no pude pertenecer a dos de estos conjuntos.

Entonces, tenemos que $x \notin F$ porque de estarlo $x \in F$. (CONTRADICCIÓN)

Además $x \notin \partial F$ porque si $x \in \partial F \Longrightarrow x \in \bar{F} = F$. (CONTRADICIÓN)

Por lo que la única posibilidad es que $x \in$ ext $F$.

Luego, $\exists$ bola contenida en el $F^c$ entonces $x$ es punto interior de $F^c \Longrightarrow F^c$ es abierto.

[$\Rightarrow$] Supongamos que $F^c$ es abierto.

[por demostrar: $F = \bar{F}$ ]

Sabemos que siempre ocurre que $F \subseteq \bar{F}$.

[por demostrar: $\bar{F} \subseteq F$ ]

Sea $x \in \bar{F} = F \cup \partial F.$

Caso 1) $x \in F$ $\checkmark$

Caso 2) $x \in \partial F$ [por demostrar: $x \in F$ ]

Supongamos que $x \notin F$ entonces $x \in F^c$, como $F^c$ es abierto, existe una bola $B_r(x) \subseteq F^c$ entonces en esa bola no hay puntos de $F$. (CONTRADICCIÓN)

$\therefore x \in F$

$\therefore F=\bar{F}$ $_\blacksquare$

Proposición: Sea $A \subseteq \mathbb{R}^n$ entonces $\partial A = \partial A^c$.

Demostración:

Sea $x \in \partial A$ $$\iff \forall r > 0 \; B_r(x) \cap A \neq \emptyset$$ y también $$B_r(x) \cap A^c \neq \emptyset$$ $$\forall x \in \partial A^c \; \; _{\blacksquare}$$

Observación:

1) int $A$ es abierto.

Demostración:

int $A$ es abierto $\iff$ int ( int $A$) ) = int $A$.

Sabemos que int ( int $A$) ) $\subseteq$ int $A$. $\checkmark$

[por demostrar: int $A$ $\subseteq$ int( int ( $A$) ) ]

Sea $B =$ int $A$

[por demostrar: $B \subseteq$ int $B$ ]

Sea $b \in B =$ int $A$

entonces $\exists B_r (b) \subseteq A$.

Sea $x \in B_r (b)$

Dibujo 4

entonces $\exists B_{r \prime} (x) \subseteq B_r (b) \subseteq A$.

Luego $x$ es punto interior de $A$, por lo que $x \in B$. Entonces $b$ es punto interior de $B$ $$\therefore b \subseteq \text{int} B.\; \; _\blacksquare$$

2) $\bar{F}$ es cerrado.

Demostración:

Sea $E = \bar{F}$

[por demostrar: $E$ es cerrado]

[por demostrar: $E = \bar{E}$ ]

[por demostrar: $\partial E \subseteq E$ ]

Sea $x \in \partial E$

$\forall \; r > 0$ $B_r (x) \cap E \neq \emptyset $ y $B_r (x) \cap E^c \neq \emptyset $.

[por demostrar: $x \in E$ ]

Si no fuera así, $x \in E^c =$ ext $F$ ya que $\mathbb{R}^n =$ int $F \cup \partial F \cup$ ext $F$. Pero int $F \cup \partial F = \bar{F}$, por lo que $\mathbb{R}^n = \bar{F} \; \cup$ ext $F$, lo que es lo mismo que $\mathbb{R}^n = E \; \cup$ ext $F$.

Luego, $\exists B_r (x)$ en la cual todos los puntos están en $F^c$. Allí no hay ningún punto de $E$, ya que $E = F \cup \partial F$.

Si hubiera un $w \in \partial F$, $w \in B_r (x)$ entonces $\exists \; r\prime > 0$ tal que $B_{r \prime} (w) \subset B_r (x) \subset F^c$.

Por lo que $w$ no puede ser punto frontera de $F$ pues tiene una vecindad contenida en $F^c$. Luego $B_r (x) \cap E = \emptyset$. (CONTRADICCIÓN)

Entonces para cualquier $A \subseteq \mathbb{R}^n$ se tiene que int $A \subseteq A \subseteq \bar{A}$. $_{\blacksquare}$

Proposición: $\emptyset$ es abierto y cerrado.

Demostración:

int $\emptyset \subseteq \emptyset \Longrightarrow$ int $\emptyset = \emptyset.$

$$\therefore \emptyset \text{ es abierto}$$

Además, $\partial \emptyset = \emptyset$ y también $\emptyset = \emptyset \; \cup \partial \emptyset = \bar{\emptyset}.$ $$\therefore \emptyset \text{ es cerrado}_{\blacksquare}$$

Observación: $\mathbb{R}^n$ es abierto y cerrado.

Luego, $(X, \mathcal{T})$ es un espacio topológico si $\mathcal{T}$ tiene estas tres propiedades.

($\mathbb{R}^n, \mathcal{T})$ es un espacio topológico.

Esto pasa para cualquier espacio métrico $(X, d)$ y la que hemos definido sería la topología inducida por la métrica. $(X, \mathcal{T}_d )$

Demostración:

1) se cumple. $\checkmark$

2) Sea $\{A_i \}_{i \in I} $ una familia de abiertos.

$A_i \in \mathcal{T} \; \; \forall i \in I$. Además $a_i \subseteq \mathbb{R}^n \; \; \forall i \in I.$

[por demostrar: $\bigcup\limits_{i \in I}A_i$ es abierta]

[por demostrar: $\bigcup\limits_{i \in I}A_i \in \mathcal{T}$ ]

Sea $x \in \bigcup\limits_{i \in I}A_i \iff x \in A_i$ para algún $i \in I$ pero como $A_i$ es abierto, $\exists B_r (x) \subseteq A_i \subseteq \bigcup\limits_{j \in I}A_j$

Dibujo 5

3) Sean $A_1, \; A_2,\; \dotsc,\; A_n \in \mathcal{T}$ abiertos.

[por demostrar: $\bigcap\limits_{i=1}^{n} A_i \in \mathcal{T}$ es abierta]

Dibujo 6

Sea $x \in A_1\bigcap\limits A_2 \bigcap\limits \dotsc \bigcap\limits A_n$.

Dado que $x \in A_1$ y como $A_1$ es abierto, $\exists \; r_1\; >\; 0$ tal que $B_{r_1}(x) \subseteq A_1.$

De igual manera $x \in A_2$ y como $A_2$ es abierto, $\exists \; r_2\; >\; 0$ tal que $B_{r_2}(x) \subseteq A_2.$

Y así sucesivamente hasta el último conjunto, de modo que, como

$x \in A_n$ y como $A_n$ es abierto, $\exists \; r_n\; >\; 0$ tal que $B_{r_n}(x) \subseteq A_n.$

Sea $\varepsilon = \text{mín} \{r_1, r_2, \dotsc, r_n\}$ tenemos que para $\varepsilon > 0 \; B_{\varepsilon} (x) \subseteq A_i \; \; \forall \; i=1, 2, \dotsc , n$, por lo que $B_{\varepsilon} (x) \subseteq \bigcap\limits_{i=1}^{n} A_i.$ $_{\blacksquare}$

$\mathcal{T}$ recibe el nombre de Topología.

Definiciones: Sea $(X, d)$ un espacio métrico; en nuestro curso consideramos el espacio métrico$(\mathbb{R}^n, \| \; \|_2)$:

Decimos que un punto $x$ es un punto de adherencia de un conjunto $A$ si cualquier vecindad (bola abierta) suya contiene al menos un punto de $A$. $$\forall \; r > 0, B_r (x) \cap A \neq \emptyset$$

El conjunto de puntos de acumulación de $A$ se denota por $A’$.

Decimos que $x$ es un punto de acumulación de un conjunto $A$ si para todo $r > 0$ la bola perforada con centro en $x$ y radio $r$ contiene elementos de $A$. $$\mathring{B}_r (x) \cap A \neq \emptyset$$

El conjunto de los puntos de adherencia de $A$ se denota por $[A]$.

Observación 1: Todo punto de acumulación de $A$ es un punto de adherencia de $A$.

Sea $x$ punto de acumulación de $A$, entonces $\forall \; r > 0 $ se tiene que $$\mathring{B}_r (x) \cap A \neq \emptyset \Longrightarrow B_r (x) \cap A \neq \emptyset$$

En consecuencia $A’ \subseteq [A] \; _\blacksquare$.

Observación 2: Si $a$ es un punto aislado de $A$, $a$ es punto de adherencia de $A$ que NO es punto de acumulación de $A$.

¿Cuál es la diferencia entre $\bar{A}$ y $[A]$?

• si $x \in \bar{A} \iff x \in A \lor x \in \partial A$ pero $\partial A \subseteq A$ y $A \subseteq [A]$ por lo que $\bar{A} \subseteq [A]$.
• si $x \in [A] = A \cup ([A] \setminus A)$ entonces $$x \in A \Longrightarrow x \in \bar{A}$$ o $$x \in [A] \setminus A \Longrightarrow x \in \partial A \Longrightarrow x \in \bar{A}$$ $$ \therefore \bar{A} = [A] \; _{\blacksquare}$$

Recordemos, en $\mathbb{R}$, sea $\{x_n\}_{n \in \mathbb{N}}$ una sucesión de números reales, es decir una función $$x : \mathbb{N} \longrightarrow \mathbb{R}.$$

Notación: $$x (1) = x_1$$ $$x (2) = x_2$$ $$x (3) = x_3$$ $$\vdots$$

Geométricamente, puntos en la recta $\mathbb{R}$.

Ejemplo: sucesión $\{ \frac{1}{n} \}$ para $n \in \mathbb{N}$.

https://www.geogebra.org/m/gwet39b2

https://www.geogebra.org/classic/jyzgsg63

Decimos que un número $L \in \mathbb{R}$ es el límite de la sucesión $\{x_n\}_{n \, \in \mathbb{N}}$, si $\forall \epsilon > 0, \exists N \in \mathbb{N}$ tal que para toda $n > N$ se cumple que $|x_n – L| < \epsilon$.

Decimos que $\overrightarrow{L} \in \mathbb{R}^2$ es el límite de la sucesión $\{\overrightarrow{x_n}\}_{n \, \in \mathbb{N}}$, si $\forall \epsilon > 0, \exists N \in \mathbb{N}$ tal que $\forall n > N$ se cumple que $\| \overrightarrow{x_n} – \overrightarrow{L}\| < \epsilon.$

Teorema: Si una sucesión tiene dos límites $\overrightarrow{L_1}$ y $\overrightarrow{L_2}$ entonces $\overrightarrow{L_1} = \overrightarrow{L_2}.$

Demostración:

Sea $\{\overrightarrow{x_n} \}_{n \in \mathbb{N}}$ una sucesión en $\mathbb{R}^2$ supongamos que tiene dos límites $\overrightarrow{L_1} \neq \overrightarrow{L_2}.$

Sea $\epsilon_0 = \frac{\overrightarrow{L_1}-\overrightarrow{L_2}}{2}$.

Como $\overrightarrow{L_1}$ es límite entonces a partir de un momento $N_1$ todos los $\overrightarrow{x_n} \in B_{\epsilon_0} (\overrightarrow{L_1}).$

De igual modo, $\overrightarrow{L_2}$ es límite entonces a partir de un momento $N_2$ todos los $\overrightarrow{x_n} \in B_{\epsilon_0} (\overrightarrow{L_2}).$ (CONTRADICCIÓN) ya que todas las bolas son ajenas.

$$\therefore \; \overrightarrow{L_1} = \overrightarrow{L_2} \; _{\blacksquare}$$

Teorema: Sea $\{(\overrightarrow{x_n}, \overrightarrow{y_n})\}_{n\, \in \mathbb{N}}$ una sucesión de puntos en $\mathbb{R}^2$. Esta sucesión converge a un punto $(\overrightarrow{L}, \overrightarrow{M})$ si y sólo si los límites de las coordenadas convergen. Es decir, $$\{\overrightarrow{x_n}\}_{n\, \in \mathbb{N}} \longrightarrow \overrightarrow{L}$$ $$\{\overrightarrow{y_n}\}_{n\, \in \mathbb{N}} \longrightarrow \overrightarrow{M}$$

Demostración:

[$\Rightarrow$] Si $(\overrightarrow{x_n}, \overrightarrow{y_n}) \longrightarrow (\overrightarrow{L}, \overrightarrow{M})$ entonces $$\overrightarrow{x_n} \longrightarrow \overrightarrow{L}$$ $$\overrightarrow{y_n} \longrightarrow \overrightarrow{M}$$

[por demostrar: $\{\overrightarrow{x_n}\} \longrightarrow \overrightarrow{L}$]

Sea $\epsilon > 0.$

$\exists \, N > 0$ tal que $n \geq N \Rightarrow |\overrightarrow{x_n} – \overrightarrow{L}| < \epsilon$.

Como $\{ (\overrightarrow{x_n}, \overrightarrow{y_n})\} \longrightarrow (\overrightarrow{L}, \overrightarrow{M})$ para $\epsilon > 0$ dada existe $n \geq Ñ \Rightarrow \| (\overrightarrow{x_n}, \overrightarrow{y_n}) – (\overrightarrow{L}, \overrightarrow{M}) \| < \epsilon$ entonces $$\sqrt{(\overrightarrow{x_n} – \overrightarrow{L})^2+(\overrightarrow{y_n} – \overrightarrow{M})^2 } < \epsilon$$ $$|\overrightarrow{x_n} – \overrightarrow{L}| \leq \sqrt{(\overrightarrow{x_n} – \overrightarrow{L})^2+(\overrightarrow{y_n} – \overrightarrow{M})^2 } < \epsilon$$ $$\Rightarrow |\overrightarrow{x_n} – \overrightarrow{L}| < \epsilon$$

Entonces $N=Ñ$ sirve.

Análogamente la sucesión de $\{\overrightarrow{y_n}\}_{n \, \in \mathbb{N}} \longrightarrow \overrightarrow{M}$.

[$\Leftarrow$] Si las sucesiones $\{\overrightarrow{x_n}\} \Longrightarrow \overrightarrow{L}$ y $\{\overrightarrow{y_n}\} \Longrightarrow \overrightarrow{M}$ entonces la sucesión $\{(\overrightarrow{x_n}, \overrightarrow{y_n})\}_{n\, \in \mathbb{N}} \longrightarrow (\overrightarrow{L}, \overrightarrow{M})$.

Sea $\epsilon > 0$

[por demostrar: existe $N$ tal que si $n > N$ entonces $\| (\overrightarrow{x_n}, \overrightarrow{y_n}) – (\overrightarrow{L}, \overrightarrow{M})\| < \epsilon$]

Dada la circunferencia $(x-L)^2+(y-M)^2=\epsilon^2$, queremos saber cuales son las coordenadas del cuadrado con lados paralelos a los ejes coordenados que está inscrito en la circunferencia.

Como $\{\overrightarrow{x_n}\} \longrightarrow \overrightarrow{L}$ para $\delta = \frac{\epsilon}{\sqrt{2}}$ existe $N_1$ tal que $n \geq N_1 \rightarrow |\overrightarrow{x_n} – \overrightarrow{L}| < \delta$…..$(1)$

Como $\{\overrightarrow{y_n}\} \Longrightarrow \overrightarrow{M}$ para $\delta = \frac{\epsilon}{\sqrt{2}}$ existe $N_2$ tal que $n \geq N_2 \rightarrow |\overrightarrow{y_n} – \overrightarrow{M}| < \delta$…..$(2)$

Por $(1)$ y $(2)$, para $n \geq máx \{N_1, N_2\}$ tenemos que $$|\overrightarrow{x_n} – \overrightarrow{L}| < \delta \wedge |\overrightarrow{y_n} – \overrightarrow{M}| < \delta \Longrightarrow (\overrightarrow{x_n}, \overrightarrow{y_n}) \text{ está en el cuadrado con vértices} (\overrightarrow{L}\pm \delta , \overrightarrow{M} \pm \delta)$$

Entonces $(\overrightarrow{x_n}, \overrightarrow{y_n})$ está en el círculo.$_{\blacksquare}$

Dado un conjunto $A \subseteq \mathbb{R}^n$ decimos que un punto $x_0$ es punto interior de $A$ si $\exists \; r>0$ tal que la bola de radio $r$ con centro en $x_0$ está contenida en $A$. $$\{ x \in \mathbb{R}^n |\; \| x-x_0\| < r \} \subseteq A$$

https://www.geogebra.org/classic/frqfnkeq

Observación: esta definición vale en un espacio métrico $(X, d)$. $x_0$ es punto interior de $A$ si $\exists \; r\; >\; 0$ tal que $$\{ x \in X |\; d( x,x_0) < r \} \subseteq A$$

Decimos que un punto $x_0$ es punto exterior de $A$ si existe $r>0$ tal que la bola de radio $r$ con centro en $x_0$ está contenida en $A^c$. $$\{ x \in \mathbb{R}^n |\; \| x-x_0\| < r \} \subseteq \mathbb{R}^n \setminus A = A^c$$

https://www.geogebra.org/classic/bmvvkaqd

Observación: en un espacio métrico $(X, d)$,$x_0$ es punto exterior de $A$ si $\exists \; r\; >\; 0$ tal que $$\{x \in X | d(x,x_0) < r \} \subseteq X\setminus A$$

Decimos que un punto $x_0$ es un punto frontera de $A$ si $\forall r > 0$ la bola de radio $r$ con centro en $x_0$ tiene puntos tanto de $A$ como de $A^c.$ $$\{x \in \mathbb{R}^n |\; \| x-x_0\| < r \} \cap A \neq \emptyset $$ $$\land \{\| x-x_0\| < r \} \cap A^c \neq \emptyset $$

El conjunto cuyos elementos son los puntos interiores de $A$ recibe el nombre de interior de $A$. $$\{x \in \mathbb{R}^n | x \; \text{es punto interior de}\; A \}= int A = A^0$$

El conjunto de los puntos frontera de $A$ es la frontera de $A$. $$\{ x \in \mathbb{R}^n | x \; \text{es punto frontera de}\; A \} = \partial A = Fr A$$

Observación: int$A \subseteq A$ $$x \in \text{int} A \Rightarrow \exists B_r (x) \subseteq A$$ $$\Rightarrow x \in B_r(x) \subseteq A$$ $$\Rightarrow x \in A$$

Definición: decimos que un conjunto $A$ es abierto $\iff$ int$A=A$.

Definición: decimos que un conjunto $F$ es cerrado $\iff$ $F^c$ es abierto.

Definición: decimos la cerradura de $F$ es $\bar{F} = F \cup \partial F$.

Definición 1: (en términos de sucesiones)

Sea $f: A\subseteq \mathbb{R}^n \longrightarrow \mathbb{R}^m$.

Sea $\overrightarrow{x_0}$ un punto de acumulación de $A$. Sea $\overrightarrow{L} \in \mathbb{R}^m.$

Decimos que $\overrightarrow{L}$ es el límite de $f$ cuando $\overrightarrow{x} \longrightarrow \overrightarrow{x_0}$ con $\overrightarrow{x} \in A$ si para toda sucesión $\{ \overrightarrow{x_n} \} \longrightarrow \overrightarrow{x_0}$ con puntos $\overrightarrow{x_n} \in A$, con $\overrightarrow{x_n} \neq \overrightarrow{x_0}$ resulta que la sucesión $\{f(\overrightarrow{x_n})\} \longrightarrow \overrightarrow{L}$

Observación: como la noción de convergencia de una sucesión vale en espacios métricos, esta será nuestra definición de límite de una función $f : X \longrightarrow Y$ con $(X, d_x)$ y $(Y, d_y)$ espacios métricos.

El concepto de límite nos permite dar un concepto de continuidad de una función en un punto.

Sea $f : A \subseteq \mathbb{R}^n \longrightarrow \mathbb{R}^m$.

Sea $\overrightarrow{x_0} \in A$.

Decimos que $f$ es continua en $\overrightarrow{x_0}$ si para toda sucesión $\{ \overrightarrow{x_n}\} \in A$ tal que $\{ \overrightarrow{x_n}\}$ converge a $\overrightarrow{x_0}$ resulta que $\{ f ( \overrightarrow{x_n})\} \longrightarrow f (\overrightarrow{x_0}).$ En otras palabras, $f$ es continua $ \overrightarrow{x_0}$ si existe el límite de $f$ cuando $\overrightarrow{x}$ tiende a $\overrightarrow{x_0}$ y este límite es igual a $f(\overrightarrow{x_0}).$

Decimos que $f$ es continua en $\overrightarrow{x_0}$ si $\forall \, \epsilon > 0 \; \exists\, \delta > 0$ tal que $ \|\overrightarrow{x}\, -\, \overrightarrow{x_0}\| < \delta$ implica que $\|f ( \overrightarrow{x}) \, – \, f(\overrightarrow{x_0})\| < \epsilon.$

Definición 3: (en términos de bolas abiertas)

$\overrightarrow{L}$ es el límite de $f$ cuando $\overrightarrow{x} \longrightarrow \overrightarrow{x_0}$ si para toda bola de radio $\epsilon > 0$ centrada en $\overrightarrow{L}$ existe una bola perforada de radio $\delta > 0$ centrada en $\overrightarrow{x_0}$ tal que $\overrightarrow{x} \in \mathring{B}_{\delta} (\overrightarrow{x_0})$implica que $f(\overrightarrow{x}) \in B_{\epsilon} (\overrightarrow{L}).$

Decimos que $f$ es continua en $\overrightarrow{x_0}$ $\iff$ para toda bola de radio $\epsilon > 0$ centrada en $\overrightarrow{L}$ existe una bola de radio $\delta > 0$ centrada en $\overrightarrow{x_0}$ tal que $\overrightarrow{x} \in B_{\delta} ( \overrightarrow{x_0}) \Longrightarrow f ( \overrightarrow{x}) \in B_{\epsilon} ( f (\overrightarrow{x_0})).$

Lema: definición (3) es equivalente a la definición (2).

Clave para la demostración:

$f (\overrightarrow{x}) \in B_{\epsilon} (\overrightarrow{L}) \iff \|\, f(\overrightarrow{x}) \, – \, \overrightarrow{L}\| < \epsilon$

$\overrightarrow{x} \in B_{\delta} (\overrightarrow{x_0}) \iff \, \| \overrightarrow{x}\, – \, \overrightarrow{x_0} \| < \delta$

Basta probar que la definición (1) es equivalente con la definición (3).

Teorema: la definición (1) es equivalente a la definición (3).

Demostración:

[definición (1) $\longrightarrow$ definición (3)]

Hipótesis: $\forall \, \{\overrightarrow{x_n}\} \longrightarrow \overrightarrow{x_0} , \; \text{con } \overrightarrow{x_n} \neq \overrightarrow{x_0}$ se tiene que $\{ f ( \overrightarrow{x_n}) \} \longrightarrow \overrightarrow{L}$

[por demostrar: $\forall \, \epsilon > 0 \; \exists \, \delta > 0$ tal que si $\overrightarrow{x} \in \mathring{B}_{\delta} (\overrightarrow{x_0}), \text{ entonces } f (\overrightarrow{x}) \in B_{\epsilon} (\overrightarrow{L})$]

Supongamos que $f$ no tiene límite $\overrightarrow{L}$ con la definición de bolas.

Vamos a tratar de contradecir el hecho de que cumpla la definición de sucesiones.

$\exists \; \epsilon_0 > 0$ tal que $\forall\, \delta > 0 \; \exists \, \overrightarrow{x} \in \mathring{B}_{\delta} (\overrightarrow{x_0}) \, \land \, f(\overrightarrow{x}) \notin B_{\epsilon} (\overrightarrow{L})$

Esto sucede en particular para $\delta = \frac{1}{n}$, entonces $\exists \, \overrightarrow{x_n} \in \mathring{B}_{\frac{1}{n}} (\overrightarrow{x_0}) \, \land \, f(\overrightarrow{x_n}) \notin B_{\epsilon} (\overrightarrow{L}).$ Entonces existe una sucesión $\{\overrightarrow{x_n}\} \longrightarrow \overrightarrow{x_0}$ para la cual $\{ f (\overrightarrow{x_n}) \}$ no converge.

[definición (3) $\longrightarrow$ definición (1)]

Hipótesis: $\forall \, \epsilon > 0 \; \exists \, \delta > 0$ tal que $\overrightarrow{x} \in \mathring{B}_{\delta} (\overrightarrow{x_0}) \Longrightarrow f (\overrightarrow{x}) \in B_{\epsilon} (\overrightarrow{L})$

[por demostrar: $\forall \, \{\overrightarrow{x_n}\} \longrightarrow \overrightarrow{x_0} , \; \text{con } \overrightarrow{x_n} \neq \overrightarrow{x_0}$ se cumple que $\{ f ( \overrightarrow{x_n}) \} \longrightarrow \overrightarrow{L}$]

Sea $\{\overrightarrow{x_n}\} \longrightarrow \overrightarrow{x_0}$ con $\overrightarrow{x_n} \neq \overrightarrow{x_0}$

[por demostrar: $\{f (\overrightarrow{x_n})\} \longrightarrow \overrightarrow{L}$]

Sea $\epsilon > 0$

[por demostrar: $\exists \, N \in \mathbb{N}$ tal que $n \geq N \Rightarrow f(\overrightarrow{x_n}) \in B_{\epsilon} (\overrightarrow{L})$]

Dada la $\epsilon > 0$ (por hipótesis), existe $\delta > 0$ tal que $\overrightarrow{x} \in \mathring{B}_{\delta} (\overrightarrow{x_0}) \Longrightarrow f(\overrightarrow{x}) \in B_{\epsilon}(\overrightarrow{L}).$

Luego la sucesión $\{ \overrightarrow{x_n}\} \longrightarrow \overrightarrow{x_0}$ entonces para la $\delta > 0$ recién dada $\exists \; Ñ \in \mathbb{N}$ tal que $n \geq Ñ \Rightarrow \overrightarrow{x_n} \in B_{\delta} (\overrightarrow{x_0})$.

Más aún, como $\overrightarrow{x_n} \neq \overrightarrow{x_0}, \text{ se cumple que } \; \overrightarrow{x_n} \in \mathring{B}_{\delta} (\overrightarrow{x_0}) \text{ podemos concluir que } f(\overrightarrow{x_n}) \in B_{\epsilon}(\overrightarrow{L}).$

Sirve $N=Ñ$ por lo que $\exists \; N \in \mathbb{N}$ tal que para toda $n > N$ se cumple que $f (\overrightarrow{x_n}) \in B_{\epsilon}(\overrightarrow{L}).\; _{\blacksquare}$