E

S P O L F C N M

N O C I O N E S D E T O P O L O G A

Espacios mtricos.
Elementos de los espacios mtricos.
Convergencia en espacios mtricos.

Espacios mtricos

Sea un conjunto no vaco
Sea la funcin
:
(, ) (, ) (E1)

, ,
i) , , > 0
= , , = 0
ii) Conmutatividad (C1)
, = (, )
iii) Desigualdad triangular
, , + (, )

Definicin 1) La funcin d que satisface i), ii), iii), la denominaremos mtrica.

Definicin 2) La estructura (, ) la denominaremos espacio mtrico.

Es decir, un espacio mtrico es cualquier conjunto no vaco en el cual se puede definir una
mtrica.

Propiedades

P1) , , se verifica (, ) 0

Demostracin directa

, , + , ; ,
, , + ,
0 2 , (DP1)
, , (, ) 0

P1 es verdadera.

P2) Si , = 0 =

Demostracin Por reduccin al absurdo

Sea , = 0
pero , > 0
esto contradice , = 0 (DP2)

P2 es verdadera.
Elaborado por @jobustam y @gbaqueri Pgina 1 de 8

 E S P O L F C N M


Ejemplos de mtricas:

1) = , , =

A
2) = ? , , A = A A ? + ? ? ?
? ?

A
3) = ? , , A = Max A A , ? ?
? ?

Actividad en clase

Determine si los ejemplos 1, 2 y 3 son mtricas.


Tarea 1
T 1.1) = , , =

a) (, ) es un espacio mtrico?
b) Qu propiedad s cumple y qu propiedad no cumple?


Elementos de los espacios mtricos

Definicin 2.1) Entorno
Sea (, ) un espacio mtrico, se denomina entorno, vecindad o bola al conjunto
= , , < , al punto "" lo denominamos centro y a "" lo
denominamos radio.

Caso particular:
M = , <

Ejemplos

Ej. 2.1) ? 3 = , 3 < 2

Ej. 2.2) OA 0 = , 0< 1
OA 0 =

Observamos que el radio debe ser positivo.

Observacin:
Otra notacin puede ser: , = ()


Elaborado por @jobustam y @gbaqueri Pgina 2 de 8

 E S P O L F C N M

Entorno "No Incluido".
Definicin 2.1.1). VU M = , 0 < , <
A este conjunto lo denominamos entorno "no incluido" por cuanto

M = M , es decir, no incluye el punto que denominamos centro.

Ejemplo:
Ej.2.3)





En adelante, con frecuencia tomaremos la mtrica euclidiana, es decir:
, =


Definicin 2.2) Punto de acumulacin o punto lmite.
Sea , , no necesariamente , se dice que es un punto de acumulacin
del conjunto si y slo si, > 0

M

Esto significa que siempre se puede encontrar un punto del conjunto tan cercano al
punto como se quiera.

Ejemplo:
Ej. 2.4) = , = 1, 3 , = 1

Se puede verificar > 0


M 1

Observamos que = 1

M 1 = 1, 1 + , > 0

Elaborado por @jobustam y @gbaqueri Pgina 3 de 8

 E S P O L F C N M

Definicin 2.3) Punto aislado.
Sea = , , se dice que es un punto aislado del conjunto si y slo si y
no es punto de acumulacin de .

Ej. 2.5) = , = 1, 2, 3
= 1 .
= 2 .
= 3 .

Definicin 2.4) Conjunto cerrado.
Sea , se dice que es cerrado si y slo si todos sus puntos lmites o de acumulacin
pertenecen a l.

Ej. 2.6) = , = 1, 3
No es cerrado, ya que 1 es el punto de acumulacin de y 1 .

Proposicin 2.1
Si no tiene puntos de acumulacin, entonces es cerrado.

Definicin 2.5) Punto interior.
Sea , se dice que es punto interior de si y slo si > 0, M ()
Observamos que, si es punto interior de entonces .

Definicin 2.6) Conjunto abierto.
Sea , se dice que es conjunto abierto si y slo si todos sus puntos son puntos
interiores.

Observaciones:
Decir "No Cerrado" no implica "Abierto".
Decir "No Abierto" no implica "Cerrado".
Existen conjuntos que son abiertos y cerrados a la vez.

Proposicin 2.2
Toda vecindad es un conjunto abierto.
Demostracin:
Sea M () ,
Pide demostrar que: es punto interior de () (DP2.1)
Si M , <
por propiedad de los nmeros reales > 0, tal que
, + <
, <
Ahora construimos (), tenemos que:
se verifica que
, , + , < + ,
Es decir , < ().
Por lo tanto M ,
esto significa () M ()
A la vez concluimos que es punto interior de M (),
Por lo tanto todos los puntos de M () son puntos interiores,
entonces M () es abierto.
Elaborado por @jobustam y @gbaqueri Pgina 4 de 8

 E S P O L F C N M

Proposicin 2.3
Si es un punto lmite de un conjunto , entonces cualquier vecindad de contiene
infinitos puntos de .
Esto quiere decir que cualquier vecindad de tiene cardinalidad infinita.
Demostracin:
Por construccin
(Actividad en clase)

Definicin 2.7) Punto de adherencia.
Un punto es punto de adherencia del conjunto si todo () es tal que
()


Se hace evidente que todo punto interior y todo punto lmite del conjunto es punto de
adherencia, esto incluye a los puntos de frontera (ms adelante se define punto de
frontera).


Definicin 2.8) Conjunto clausura de .
Simblicamente se representa por y se define as:
Sea ,
=

Proposicin 2.4
El conjunto es un conjunto cerrado.
Observacin: Se evidencia que: A es cerrado si y slo si =

Definicin 2.9) Conjunto derivado de .
Simblicamente se representa por y se define as:
Sea ,
m =

Definicin 2.10) Punto de frontera.
Sea , (donde no necesariamente pertenece a )
Se dice que: es punto de frontera de si y slo si
> 0, () p

Definicin 2.11) Conjunto frontera de .
Simblicamente se representa por y se define as:
=

Proposicin 2.5
El conjunto es un conjunto cerrado.

Proposicin 2.6
Todo punto aislado de un conjunto es punto de frontera y tambin es punto de
adherencia del conjunto.



Elaborado por @jobustam y @gbaqueri Pgina 5 de 8

 E S P O L F C N M

= ;
Abierto Cerrado
(0, 1) 0, 1 0, 1 0, 1 S No
0, 1 0, 1 0, 1 0, 1 No No
0, 1 0, 1 0, 1 0, 1 No S
0, 1 2 0, 1 0, 1 2 0, 1, 2 No No
0, 1 2 0, 1 0, 1 2 0, 1, 2 No S
0,1,2 0, 1, 2 0, 1, 2 No S
1 2
0, , , 1 1 1 No No
2 3
1
(1)w + 1, 1 1, 1 1, 1 No No


Actividad.
Teorema.- Un conjunto es abierto si y slo si p es cerrado.
Sea =
1) Proposicin. es abierto,
2) Proposicin. es cerrado,
3) Proposicin. es abierto,
4) Proposicin. es cerrado,
5) Proposicin. =

Procedemos a la demostracin del teorema

Demostracin: p
Tomamos
Esto implica que y , adems y es cerrado entonces no puede ser punto de
acumulacin, esto es:
( > 0, M y )
Equivalente: > 0 M y = , adems y , entonces
(M y ) = ,
Entonces, M y = M
Esto significa que es punto interior de E, por lo tanto todos los puntos de son
interiores y en consecuencia es conjunto Abierto. LQQD.

Demostracin: p
Sea cualquier punto de acumulacin del conjunto p , entonces tenemos dos
posibilidades
1.- y
2.- y
Demostraremos que la primera opcin no es posible.
En efecto si y , pero es conjunto abierto por consiguiente
es punto interior de , lo cual significa que:
> 0, VU{ VU{ y =
Por tanto, no es punto de acumulacin de y , lo cual es contradictorio,
slo queda la segunda posibilidad: y ,
Es decir, todos los puntos de acumulacin del conjunto y pertenecen al conjunto
y , entonces por definicin y es un conjunto cerrado. LQQD.

Elaborado por @jobustam y @gbaqueri Pgina 6 de 8

 E S P O L F C N M

Convergencia en espacios mtricos

Sea , un espacio mtrico, = w ,
lim w = si y slo si > 0 , , w , <
w

Para un espacio mtrico euclidiano , =

Si existe decimos que w converge, caso contrario diverge.

Lmite de Funciones.

Definicin 2.12.- Sean , , (, ) espacios mtricos, sea y : y
punto lmite de , decimos:
lim = > 0, > 0, VU M () () ()


Su equivalente en un espacio mtrico euclidiano
> 0, > 0, , 0 < < <

Observacin.
La existencia del lmite de una funcin tiene sentido en un punto de acumulacin
o punto lmite, denominado as por cuanto se lo usa especialmente para definir el
lmite.

Continuidad de funciones.

Definicin 2.13.- , , , espacios mtricos , y :
Se dice que es contnua en si y slo si
> 0, > 0, , (, ) < ( , ()) <
Su equivalente en un espacio euclidiano
> 0, > 0, , < <

Observacin.
* En el lmite, debe ser punto de acumulacin del conjunto, no
necesariamente debe pertenecer al conjunto.
* En el lmite, los acercamientos se realizan por todos los lados posibles.

Ej.
= , = (0, 1)
: 0, 1

=

Calcular:
lim = 1


En efecto lim = 1 no se tiene en cuenta los acercamientos por la izquierda del

punto cero, por cuanto no son parte del dominio.

Elaborado por @jobustam y @gbaqueri Pgina 7 de 8

 E S P O L F C N M


Observaciones:
Proposicin: Toda funcin es continua en los puntos aislados de su dominio.
Esta proposicin se la puede demostrar por la definicin de
continuidad.
Proposicin Si es un punto lmite o de acumulacin, entonces es contnua en
si y slo si:
lim = ()

Elaborado por @jobustam y @gbaqueri Pgina 8 de 8