Documentos de Académico
Documentos de Profesional
Documentos de Cultura
6 Topologia-Nociones 252B 2525282 252529
6 Topologia-Nociones 252B 2525282 252529
I) Espacios Metricos
Sea X un conjunto no vaco
Sea la funcin
:
(, ) (, )
(E1)
, ,
i) ,
(, ) > 0
= ,
(, ) = 0
ii) Conmutatividad
(, ) = (, )
iii) Desigualdad triangular
(, ) (, ) + (, )
(C1)
, , se verifica (, ) 0
Demostracin
(, ) (, ) + (, ), ,
0 2 (, )
, ,
(, ) 0
P2) Si (, ) = 0 =
Demostracin Por reduccin al absurdo
Sea (, ) = 0
pero (, ) > 0
esto contradice (, ) = 0
P2 es verdadero
(DP1)
(DP2)
Ejemplos de mtricas:
_____________________________________________________________________________
Mat. Edgar Johni Bustamnte Romero
ESPOL FCNM-ICM
1)
= , (, ) = | |
2)
= 2 , (( ) , ( 1 )) = (1 1 )2 + (2 2 )2
2
2
3)
= 2 , (( ) , ( 1 )) = Max{|1 1 |, |2 2 |}
2
2
Actividad en clase
Determinar que 1,2,3 son mtricas.
Tarea 1
T 1.1)
= , (, ) = [| |]
a) (, ) es un espacio mtrico?
b) Qu propiedad s cumple y qu propiedad no cumple?
2 (3) = { , | 3| < 2}
Observacin:
Otra notacin puede ser: (, ) = ()
_____________________________________________________________________________
Mat. Edgar Johni Bustamnte Romero
ESPOL FCNM-ICM
Esto significa que siempre se puede encontrar un punto del conjunto tan cercano
al punto como se quiera.
Ejemplo:
Ej. 2.4)
= , = (1
Se puede verificar > 0
3], = 1
_____________________________________________________________________________
Mat. Edgar Johni Bustamnte Romero
ESPOL FCNM-ICM
que = 1
Observamos
= , = {1,2,3}
= 1
= 2
= 3
(DP2.1)
_____________________________________________________________________________
Mat. Edgar Johni Bustamnte Romero
ESPOL FCNM-ICM
Si () (, ) <
por propiedad de los nmeros reales > 0, tal que
(, ) + <
(, ) <
Ahora construimos (), tenemos que
(, ) (, ) + (, ) < ( ) + ,
Es decir (, ) < ().
Por lo tanto () (),
esto significa () ()
A la vez concluimos que es punto interior de (),
Por lo tanto todos los puntos de () son puntos interiores,
entonces () es abierto.
Proposicin 2.2
Si es un punto lmite de un conjunto , entonces toda vecindad de contiene
infinitos puntos de .
Demostracin:
Por construccin
(Actividad en clase)
Def 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.
Def 2.8) Clausura de
= { }
Proposicin 2.3
El conjunto es conjunto cerrado.
Observacin: Se evidencia que:
Def 2.9)
Sea ,
A es cerrado si y solo si =
conjunto derivado.
= { }
_____________________________________________________________________________
Mat. Edgar Johni Bustamnte Romero
ESPOL FCNM-ICM
(0 1)
(0 1]
[0 1]
(0 1] {2 }
[0 1] {2 }
{0,1,2}
1 2
{0, , , }
2 3
1
{(1) + }
{1}
[0 1]
[0 1]
[0 1]
[0 1] {2}
[0 1] {2}
{0,1,2}
{1}
{0,1}
{0,1}
{0,1}
{0,1}
{0,1,2}
{0,1,2}
{1}
{1,1}
{1,1}
{1,1}
[0
[0
[0
[0
[0
1]
1]
1]
1]
1]
Abierto
Cerrado
Si
No
No
No
No
No
No
No
Si
No
Si
Si
No
No
No
No
Actividad.
Teorema.- Un conjunto es abierto si y solo si 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
_____________________________________________________________________________
Mat. Edgar Johni Bustamnte Romero
ESPOL FCNM-ICM
Demostracin:
Tomamos
Esto implica que , adems es cerrado entonces p no puede ser punto
de acumulacin, esto es:
( > 0,
Equivalente: > 0
, adems , entonces
) {} = ,
Entonces () = ()
Esto significa que p es punto interior de E, por lo tanto todos los puntos de E
son interiores y en consecuencia E es conjunto Abierto. LQQD.
Demostracin:
Sea p cualquier punto de acumulacin del conjunto , entonces tenemos dos
posibilidades
1.-
2.-
Demostraremos que la primera posibilidad no es posible.
En efecto si , pero E es conjunto abierto por consiguiente
p es punto interior de E, lo cual significa que:
> 0, () () () =
Por tanto p no es punto de acumulacin de lo cual es contradictorio,
Solo queda la segunda posibilidad: ,
Es decir todos los puntos de acumulacin del conjunto pertenecen al
conjunto , entonces por definicin es un conjunto cerrado. LQQD.
Observacin.
La existencia del lmite de una funcin tiene sentido en un punto de acumulacin
o punto lmite, llamado as por cuanto se lo usa especialmente para definir el
lmite.
Continuidad de funciones.
Def 2-13.- (, ), (, ) espacios mtricos , y :
Se dice que es contnua en si y solo 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
: (0 1)
( ) =
1)
sen
Calcular:
lim () = 1
0
_____________________________________________________________________________
Mat. Edgar Johni Bustamnte Romero
ESPOL FCNM-ICM