Vecindades (p97)

Se introducir ahora algunos conceptos adicionales de topologa que

resultaran tiles y harn posible la caracterizacin de conjuntos abiertos y

cerrados en otros trminos.

Definicin

a) , entonces cualquier conjunto que contenga un conjunto

abierto contenido en x se llama vecindad de x.

b) A un punto se le llama punto interior de un conjunto

cuando hay una vecindad de x enteramente contenida en A.

c) A un punto se le llama punto frontera de un conjunto

cuando toda vecindad contiene puntos en A y puntos en .

d) A un punto se le llama punto exterior de un conjunto

cuando existe una vecindad una vecindad de x enteramente contenida

en .

Se debe observar que dados y , hay tres posibilidades

mutuamente excluyentes:

i. x es un punto interior de A

ii. x es un punto frontera de A

iii. x es un punto exterior de A

Teorema de intercepcin de Cantor (p99)

Segn el teorema de Heine-Borel se obtiene el siguiente resultado que se debe

a cantor. Es un reforzamiento del teorema de celdas nidificadas, ya que en

este caso se toma en cuenta a los conjuntos cerrados en general y no solamente

a las celdas cerradas.

Entonces segn el teorema de intercepcin de Cantor: sea F1 un subconjunto

no vacio, cerrado y acotado de Rp y sea una sucesin de conjuntos no vacios.

Entonces, existe un punto que pertenece a todos los conjuntos { }.

Demostracion.

Teorema de cobertura de LEBESGUE (p100)

Conjuntos conexos (p103)

Introduccin a las sucesiones (p113)

Criterio de convergencia de Cauchy (p136)

Limites de secuencia

Convergencia
Sucesiones

A pesar de que la teora de convergencia se puede dar a un nivel muy

abstracto es preferible estudiar la convergencia de sucesiones en un espacio

cartesiano Rp, prestando especial atencin al caso de la recta real. El lector

deber interpretar las ideas dibujando diagramas en R y R2.

Definicin

Si S es cualquier conjunto, una sucesin en S es una funcin sobre el conjunto

N={ } de nmeros naturales y cuyo rango esta en S. en particular una

sucesin en Rp es una funcin cuyo dominio es N y cuyo rango esta contenido

en Rp.

Cola de secuencia

producto infinito contable

En matemticas, un conjunto numerable es un conjunto con la misma

cardinalidad (nmero de elementos) que un subconjunto del conjunto de

nmeros naturales. Un conjunto numerable es o bien un conjunto finito o un

conjunto infinito numerable. Por ejemplo, un conjunto T es numerable o

contable cuando entre este conjunto y el conjunto de todos los nmeros

naturales se puede establecer una biyeccin. De modo que el conjunto

{\displaystyle T} {\displaystyle T} tiene la misma cardinalidad que el

conjunto N.

Algunos autores toman una definicin alternativa de conjunto numerable que

incluye tambin a los conjuntos finitos. Esta definicin establece que un

conjunto es numerable cuando existe correspondencia uno a uno entre el

conjunto y algn subconjunto de los nmeros naturales y es por esto que en

ocasiones se especifica conjunto infinito numerable o a lo sumo numerable

para evitar ambigedades, refiriendo la primera expresin nicamente a

conjuntos infinitos y la segunda permitiendo conjuntos finitos.

En 1874 Georg Cantor introdujo el trmino conjunto numerable, contrastando

conjuntos que son contables con los que son incontables. Hoy en da, los

conjuntos numerables forman la base de una rama de las matemticas llamada

matemtica discreta.

producto infinito incontable

Unicidad de limites