SlideShare una empresa de Scribd logo
1 de 5
Descargar para leer sin conexión
UNIVERSIDAD VERACRUZANA


                      05 de Marzo a 09 de Marzo


                                 TOPOLOG´ I
                                        IA

MIRIAM J.
   Definici´n 1.14 Sean X un espacio m´trico y A ⊂ X
            o                           e
   Se dice que A es denso (en X) en cualquier parte, si: A− = X

TAREA 1.6
  Teorema Mostrar que Q es denso en              (con la m´trica usual)
                                                          e

Demostraci´n:   o
     P.D. Entre dos n´meros reales, existe un racional
                     u
     Sean x, y ∈ , y x < y
                                           1
     Como x < y ⇒ y − x > 0. Tomamos y−x
     Sabemos que ℵ no est´ acotado, entonces podemos asegurar que:
                          a
                            1
     ∃n ∈ ℵ tal que n > y−x (Propiedad arquimediana); es decir y − x >
1
n
  ..........(1)

Sea p ∈ Z la parte entera de nx. Entonces:
   p ≤ nx < p + 1 ⇒ n ≤ x.....(2) y x < p+1 .....(3)
                      p
                                         n


De las relaciones (1), (2) y (3) se tiene que:
   y = x + (y − x) > n + n = p+1 > x
                        p    1
                                  n


Es decir:
   x < p+1 < y, siendo
          n
                         p+1
                          n
                               racional.

Por lo tanto Q es denso en

Observaci´n: Q es numerable
         o


                                           1
SANDY.
   Definici´n 1.15 Sea X un espacio m´trico. Una funci´n
           o                         e               o
   U : ℵ −→ X se llama sucesi´n en X
                             o
   n −→ xn

Rangn = {x1 , x2 , x3 , ......., xn ....} = {xn }n∈ℵ

Llamamos subsucesi´n de {xn } (U : ℵ −→ X) a una funci´n ϕ : ℵ −→ ℵ
                      o                               o
estrictamente creciente tal que U ◦ ϕ es sucesi´n.
                                               o

Ejemplos:
   n −→ n Sucesi´n = 1, 1 , 1 , 1 , ..........
        1
                o       2 3 4
             1                     1 1 1
    n −→    2n
                 Subsucesi´n =
                          o         , , , ..........
                                   2 4 6



Definici´n 1.16 Dada una sucesi´n en un espacio m´trico X, un punto
         o                      o                e
l ∈ X es l´ ımite de la sucesi´n {xn } si dado > 0 ∃N ∈ ℵ tal que
                              o
{xn } ∈ B (l) ∀n > N

Decimos que xn − → →
                 n− −
                    −∞
   ie. {xn } converge a l cuando n crece indefinidamente



TAREA 1.7
   Lema Si {xn }n∈ℵ −→ l y {xnk }k∈ℵ es una subsucesi´n de {xn }n∈ℵ , en-
                                                     o
tonces {xnk }k∈ℵ −→ l

Demostraci´n:
           o
    Supongamos que {xn }n∈ℵ es una sucesi´n convergente con l´
                                         o                   ımite l.
    Entonces dado > 0 existe un n´mero natural p tal que si n > p se
                                    u
verifica que |xn − l| <

Sea {xnk }k∈ℵ una subsucesi´n de {xn }n∈ℵ
                            o
   Necesariamente para todo k ∈ ℵ se cumple que k ≤ nk , por tanto, dado
 > 0 y si k > p se tiene que |xnk − l| < lo cual significa que {xnk }k∈ℵ −→ l

MIRIAM J.
   Definici´n 1.17 Dada una sucesi´n {xn } en un espacio m´trico X, de-
          o                      o                       e


                                             2
cimos que un punto x ∈ X es punto de acumulaci´n de xn si dado
                                                 o                              >0
∃N ∈ ℵ tal que para alg´n n > N , entonces xn ∈ B (x)
                       u

TAREA 1.8
   Lema En un espacio m´trico X, todo punto adherente a la imagen de
                            e
una sucesi´n es, o un punto de ella o bien un punto de acumulaci´n (de ella).
          o                         ´                           o

Demostraci´n:
            o
    Supongamos que x es un punto adherente de xn
    Si x = xm ∀n ∈ ℵ, como x es adherente a {xn }, para V una vecindad de
x, se tiene V ∩ {xn } = φ
    Sea Br (x) ⊂ V , si Br (x) ∩ {xn } = {x1 , x2 , x3 , ......, xk } entonces Bs (x)
donde s = inf d(x, xk ), tenemos que Bs (x) ∩ {xn } = φ, esto implica que ∃W
una vecindad de x tal que: W ∩ {xn } = φ.
    Por lo tanto x no es adherente a {xn }

Ejemplo:
   ℵ −→
   n −→ (−1)n

Corolario Si {xn } es una sucesi´n sin puntos de acumulaci´n, entonces {xn }
                                o                         o
es cerrada.

SANDY.
   Definici´n 1.18 Sean X un espacio m´trico y x ∈ X
            o                           e
   Se dice que x es punto de acumulaci´n de {xn } si dado
                                      o                               > 0, ∀m ∈ ℵ
∃n ∈ ℵ, n > m tal que xn ∈ B (x)

Observaciones:
   i) Si x ∈ X es punto de acumulaci´n de la sucesi´n {xn }, entonces ∀N
                                      o               o
vecindad de X, N {xn } = ∅
   ii) Cada V vecindad de X tiene una infinidad de t´rminos de {xn }.
                                                      e
   ie. {xn } tiene una subsucesi´n convergente a x
                                o
   iii) Si x es punto de acumulaci´n de {xn }, existe xϕ(n) ⊂ {xn } tal que
                                  o
         −→ → x
   xϕ(n) n −−
            −∞

Observaciones:
   i) A− = A ∪ Aa
   A = Rangu
   ii) Si {xn } es una sucesi´n sin puntos de acumulaci´n, entonces Rangu
                             o                         o


                                         3
es un conjunto cerrado


   Demostraci´n:  o
   Sea {xn } ={x}
   {1, 2, 3, ..., n, n + 1, ...}
   como x ∈{xn } ∃BEx tal que BEx ⊂{xn }c
   ⇒ {xn }c es abierto
   ⇒ {xn } es cerrado.

MIRIAM J. Y SANDY
    TAREA 1.9
    Teorema (Bolzano-Wiesstras)
    En el espacio m´trico n . Toda sucesi´n acotada tiene, al menos, un pun-
                   e                     o
to de acumulaci´n.
                 o

Demostraci´n:
           o
    Primero lo demostraremos para     . Sean {xn } una sucesi´n acotada y M
                                                             o
la cota.
    Sea Ak = {xn : n > k} la cola k
    Ak = φ, ∀y ∈ Ak , |y| < M

Sea Ck = supAk como Ak+1 ⊂ Ak , entonces {Ck } es una sucesi´n decre-
                                                                   o
ciente, pero tambi´n est´ acotada inferiormente, lo cual implica que existe la
                  e     a
m´xima cota inferior, es decir inf {Ck } = γ.
  a
    Dado > 0, {Ck } ∈ B (γ), para k suficientemente grande.
    Por lo tanto x es punto de acumulaci´n de xk
                                         o

Ahora demostremos para n
  Sea {xn }n∈ℵ una sucesi´n acotada
                         o
  Supongamos que {xn }n∈ℵ

Definici´n 1.19: Sea X un espacio m´trico. Una sucesi´n {xn }n∈ℵ en X
         o                        e                 o
es una sucesi´n de Cauchy si dado > 0, ∃N ∈ ℵ tal que d(xn , xm ) <
             o
para n, m > ℵ .

Observaci´n: Toda subsucesi´n de una sucesi´n de Cauchy es de Cauchy.
         o                 o               o

Sea {xn }n∈ℵ una sucesi´n de Cauchy
                       o
   Definici´n 1.20 Sea X un espacio m´trico, X se llama completo si toda
            o                       e
sucesi´n de Cauchy es convergente.
      o

                                      4
Observaciones:
  i) La propiedad de ser completo se llama plenitud.
  ii) es completo, Q no es completo
  iii) La propoiedad de ser de Cauchy es un criterio de convergencia.

Lema: En un espacio m´trico toda sucesi´n de Cauchy que tiene una sub-
                            e            o
sucesi´n convergente es convergente.
      o
   Demostraci´n:
               o
   Como xϕ(u)             −→ , dado > 0 ∃N ∈ ℵ tal que
                 n−→∞
   d(xϕn , ) < /2 para n > ℵ.
   d(xn , ) ≤ d(xn , xϕn ) + d(xϕn , )
   d(xn , ) < /2 + /2
   d(xn , ) <
   ie: xn→
   Por lo tanto se prob´ que es convergente.
                          o

Lema: n con la m´trica euclidiana es completo.
                e
  Demostraci´n:
            o

                                                 n                n
Q.P.Q Dada una sucesi´n de Cauchy {xn } en
                     o                               existe x ∈       tal que
   −→ → x
xn n−−
     −∞

Como {xn } es de Cauchy, para = 1 ∃N1 ∈ ℵ tal que
  |xn − xm | < 1 n, m > N1
  K = max {|xi |, 1} donde 1 ≤ i ≤ N1
  |xr | = |xr − xN1 + xN1 |
  |xr | ≤ |xr − xN1 | + |xN1 |
  |xr | ≤ 1 + K

Por lo tanto est´ acotada.
                a

Por el T. de BW como est´ acotada, tiene un punto de acumulaci´n, co-
                           a                                       o
mo tiene punto de acumulaci´n, tiene una subsucesi´n que converge (por un
                            o                     o
corolario anterior)
    Y como toda sucesi´n de Cauchy que tiene una subsucesi´n es convergen-
                      o                                   o
te, hemos probado que converge.

               n
Por lo tanto       es completo.



                                    5

Más contenido relacionado

La actualidad más candente

Bitácora N°2 (07 Feb - 10 Feb) Topología I
Bitácora N°2 (07 Feb - 10 Feb) Topología IBitácora N°2 (07 Feb - 10 Feb) Topología I
Bitácora N°2 (07 Feb - 10 Feb) Topología IMiriJaneth
 
Art8 lucca
Art8 luccaArt8 lucca
Art8 luccaamtlucca
 
Analisis funcional expo
Analisis funcional expoAnalisis funcional expo
Analisis funcional exponloayza17
 
Desarrollos En Serie De Taylor
Desarrollos En Serie De TaylorDesarrollos En Serie De Taylor
Desarrollos En Serie De TaylorERICK CONDE
 
Articulo de Variable Compleja: Un Paseo a través de lo Inédito
Articulo de Variable Compleja: Un Paseo a través de lo InéditoArticulo de Variable Compleja: Un Paseo a través de lo Inédito
Articulo de Variable Compleja: Un Paseo a través de lo InéditoMynorRios
 
Olimpiada internacional de física 21
Olimpiada internacional de física 21Olimpiada internacional de física 21
Olimpiada internacional de física 21KDNA71
 
Espacios vectoriales
Espacios vectorialesEspacios vectoriales
Espacios vectorialesBoris Tello
 
Ecuación de Euler-Lagrange: Deducción utilizando Cálculo Básico
Ecuación de Euler-Lagrange: Deducción utilizando Cálculo BásicoEcuación de Euler-Lagrange: Deducción utilizando Cálculo Básico
Ecuación de Euler-Lagrange: Deducción utilizando Cálculo Básicoguest6f168da
 
Art10 lucca
Art10 luccaArt10 lucca
Art10 luccaamtlucca
 
Modelos de probabilidad
Modelos de probabilidadModelos de probabilidad
Modelos de probabilidadRicardo Nunfio
 
Series Numericas
Series NumericasSeries Numericas
Series NumericasERICK CONDE
 
Derivadas de orden superior. Derivadas segundas. Matriz Hessiana. Derivación ...
Derivadas de orden superior. Derivadas segundas. Matriz Hessiana. Derivación ...Derivadas de orden superior. Derivadas segundas. Matriz Hessiana. Derivación ...
Derivadas de orden superior. Derivadas segundas. Matriz Hessiana. Derivación ...JIE MA ZHOU
 
Teoria aditiva de numeros
Teoria aditiva de numerosTeoria aditiva de numeros
Teoria aditiva de numeroslgbarrerav
 
Ecuación de Euler-Lagrange: Deducción utilizando Cálculo Básico
Ecuación de Euler-Lagrange: Deducción utilizando Cálculo BásicoEcuación de Euler-Lagrange: Deducción utilizando Cálculo Básico
Ecuación de Euler-Lagrange: Deducción utilizando Cálculo BásicoRené Gastelumendi Dargent
 
Met iterativos
Met iterativosMet iterativos
Met iterativosaressu
 

La actualidad más candente (19)

Bitácora N°2 (07 Feb - 10 Feb) Topología I
Bitácora N°2 (07 Feb - 10 Feb) Topología IBitácora N°2 (07 Feb - 10 Feb) Topología I
Bitácora N°2 (07 Feb - 10 Feb) Topología I
 
Art8 lucca
Art8 luccaArt8 lucca
Art8 lucca
 
Analisis funcional expo
Analisis funcional expoAnalisis funcional expo
Analisis funcional expo
 
Desarrollos En Serie De Taylor
Desarrollos En Serie De TaylorDesarrollos En Serie De Taylor
Desarrollos En Serie De Taylor
 
Articulo de Variable Compleja: Un Paseo a través de lo Inédito
Articulo de Variable Compleja: Un Paseo a través de lo InéditoArticulo de Variable Compleja: Un Paseo a través de lo Inédito
Articulo de Variable Compleja: Un Paseo a través de lo Inédito
 
Olimpiada internacional de física 21
Olimpiada internacional de física 21Olimpiada internacional de física 21
Olimpiada internacional de física 21
 
Espacios vectoriales
Espacios vectorialesEspacios vectoriales
Espacios vectoriales
 
Ecuación de Euler-Lagrange: Deducción utilizando Cálculo Básico
Ecuación de Euler-Lagrange: Deducción utilizando Cálculo BásicoEcuación de Euler-Lagrange: Deducción utilizando Cálculo Básico
Ecuación de Euler-Lagrange: Deducción utilizando Cálculo Básico
 
Apuntes cap5
Apuntes cap5Apuntes cap5
Apuntes cap5
 
Matematicas seis segunda parte
Matematicas seis segunda parteMatematicas seis segunda parte
Matematicas seis segunda parte
 
Art10 lucca
Art10 luccaArt10 lucca
Art10 lucca
 
Modelos de probabilidad
Modelos de probabilidadModelos de probabilidad
Modelos de probabilidad
 
Series Numericas
Series NumericasSeries Numericas
Series Numericas
 
Derivadas de orden superior. Derivadas segundas. Matriz Hessiana. Derivación ...
Derivadas de orden superior. Derivadas segundas. Matriz Hessiana. Derivación ...Derivadas de orden superior. Derivadas segundas. Matriz Hessiana. Derivación ...
Derivadas de orden superior. Derivadas segundas. Matriz Hessiana. Derivación ...
 
Aclase0802
Aclase0802Aclase0802
Aclase0802
 
Teoria aditiva de numeros
Teoria aditiva de numerosTeoria aditiva de numeros
Teoria aditiva de numeros
 
Matematicas seis tercer parte
Matematicas seis tercer parteMatematicas seis tercer parte
Matematicas seis tercer parte
 
Ecuación de Euler-Lagrange: Deducción utilizando Cálculo Básico
Ecuación de Euler-Lagrange: Deducción utilizando Cálculo BásicoEcuación de Euler-Lagrange: Deducción utilizando Cálculo Básico
Ecuación de Euler-Lagrange: Deducción utilizando Cálculo Básico
 
Met iterativos
Met iterativosMet iterativos
Met iterativos
 

Destacado

Bitácora n° 10 (16 de abril a 20 de abril)
Bitácora n° 10 (16 de abril a 20 de abril)Bitácora n° 10 (16 de abril a 20 de abril)
Bitácora n° 10 (16 de abril a 20 de abril)MiriJaneth
 
Bitácora n° 7 (19 mar a 23 mar)
Bitácora n° 7 (19 mar a 23 mar)Bitácora n° 7 (19 mar a 23 mar)
Bitácora n° 7 (19 mar a 23 mar)MiriJaneth
 
Bitácora N° 4 (20 feb a 24 feb) Topología I
Bitácora N° 4 (20 feb a 24 feb) Topología IBitácora N° 4 (20 feb a 24 feb) Topología I
Bitácora N° 4 (20 feb a 24 feb) Topología IMiriJaneth
 
Bitácora n° 9 (09 abril a 13 de abril)
Bitácora n° 9 (09 abril a 13 de abril)Bitácora n° 9 (09 abril a 13 de abril)
Bitácora n° 9 (09 abril a 13 de abril)MiriJaneth
 
Bitácora n° 6 (12 mar a 16 mar)
Bitácora n° 6 (12 mar a 16 mar)Bitácora n° 6 (12 mar a 16 mar)
Bitácora n° 6 (12 mar a 16 mar)MiriJaneth
 
Octava semana (26 mar a 30 mar)
Octava semana (26 mar a 30 mar)Octava semana (26 mar a 30 mar)
Octava semana (26 mar a 30 mar)MiriJaneth
 
Em busca de uma trilha interpretativista para a Pesquisa do Consumidor
Em busca de uma trilha interpretativista para a Pesquisa do ConsumidorEm busca de uma trilha interpretativista para a Pesquisa do Consumidor
Em busca de uma trilha interpretativista para a Pesquisa do ConsumidorDeborah Tazima
 

Destacado (8)

Bitácora n° 10 (16 de abril a 20 de abril)
Bitácora n° 10 (16 de abril a 20 de abril)Bitácora n° 10 (16 de abril a 20 de abril)
Bitácora n° 10 (16 de abril a 20 de abril)
 
Bitácora n° 7 (19 mar a 23 mar)
Bitácora n° 7 (19 mar a 23 mar)Bitácora n° 7 (19 mar a 23 mar)
Bitácora n° 7 (19 mar a 23 mar)
 
Bitácora N° 4 (20 feb a 24 feb) Topología I
Bitácora N° 4 (20 feb a 24 feb) Topología IBitácora N° 4 (20 feb a 24 feb) Topología I
Bitácora N° 4 (20 feb a 24 feb) Topología I
 
Bitácora n° 9 (09 abril a 13 de abril)
Bitácora n° 9 (09 abril a 13 de abril)Bitácora n° 9 (09 abril a 13 de abril)
Bitácora n° 9 (09 abril a 13 de abril)
 
Bitácora n° 6 (12 mar a 16 mar)
Bitácora n° 6 (12 mar a 16 mar)Bitácora n° 6 (12 mar a 16 mar)
Bitácora n° 6 (12 mar a 16 mar)
 
Octava semana (26 mar a 30 mar)
Octava semana (26 mar a 30 mar)Octava semana (26 mar a 30 mar)
Octava semana (26 mar a 30 mar)
 
Clase 3
Clase 3Clase 3
Clase 3
 
Em busca de uma trilha interpretativista para a Pesquisa do Consumidor
Em busca de uma trilha interpretativista para a Pesquisa do ConsumidorEm busca de uma trilha interpretativista para a Pesquisa do Consumidor
Em busca de uma trilha interpretativista para a Pesquisa do Consumidor
 

Similar a Bitácora n° 5 (05 mar a 09 mar)

Guía de Cálculo (Microeconomía UNAB)
Guía de Cálculo (Microeconomía UNAB)Guía de Cálculo (Microeconomía UNAB)
Guía de Cálculo (Microeconomía UNAB)Mauricio Vargas 帕夏
 
Expohelmuth
ExpohelmuthExpohelmuth
Expohelmuthorestes
 
Cálculo Diferencial - Slides 1.pdf
Cálculo Diferencial - Slides 1.pdfCálculo Diferencial - Slides 1.pdf
Cálculo Diferencial - Slides 1.pdfOmarEnriqueGarciaCai
 
Probabilidades ii 2021 a semana 3
Probabilidades ii 2021 a semana 3Probabilidades ii 2021 a semana 3
Probabilidades ii 2021 a semana 3aaroncuriaupamedina
 
calculo estocastico.pdf
calculo estocastico.pdfcalculo estocastico.pdf
calculo estocastico.pdfEnkelStyrket
 
Bitácora N°3 (13 Feb - 17 Feb) Topología I
Bitácora N°3 (13 Feb - 17 Feb) Topología IBitácora N°3 (13 Feb - 17 Feb) Topología I
Bitácora N°3 (13 Feb - 17 Feb) Topología IMiriJaneth
 
Tarea3( reporte)
Tarea3( reporte)Tarea3( reporte)
Tarea3( reporte)topologia1
 
Tabla de integrales (integrales trigonometricas)
Tabla de integrales (integrales trigonometricas)Tabla de integrales (integrales trigonometricas)
Tabla de integrales (integrales trigonometricas)waltergomez627
 
Demostraciones probabilidad
Demostraciones probabilidadDemostraciones probabilidad
Demostraciones probabilidadRaul Aguirre
 
Teoria de distribuciones discretas
Teoria de distribuciones discretasTeoria de distribuciones discretas
Teoria de distribuciones discretascarlosaaron6
 
Probabilidades ii 2021 a semana 6 clase 1
Probabilidades ii 2021 a semana 6 clase 1Probabilidades ii 2021 a semana 6 clase 1
Probabilidades ii 2021 a semana 6 clase 1aaroncuriaupamedina
 
Tr bases 3
Tr bases 3Tr bases 3
Tr bases 304921
 
Probabilidades ii 2021 a semana 2
Probabilidades ii 2021 a semana 2Probabilidades ii 2021 a semana 2
Probabilidades ii 2021 a semana 2aaroncuriaupamedina
 
Tipos de funciones
Tipos de funcionesTipos de funciones
Tipos de funcionesAnibal
 

Similar a Bitácora n° 5 (05 mar a 09 mar) (20)

Guía de Cálculo (Microeconomía UNAB)
Guía de Cálculo (Microeconomía UNAB)Guía de Cálculo (Microeconomía UNAB)
Guía de Cálculo (Microeconomía UNAB)
 
Expohelmuth
ExpohelmuthExpohelmuth
Expohelmuth
 
Monotonas
MonotonasMonotonas
Monotonas
 
Cálculo Diferencial - Slides 1.pdf
Cálculo Diferencial - Slides 1.pdfCálculo Diferencial - Slides 1.pdf
Cálculo Diferencial - Slides 1.pdf
 
Probabilidades ii 2021 a semana 3
Probabilidades ii 2021 a semana 3Probabilidades ii 2021 a semana 3
Probabilidades ii 2021 a semana 3
 
calculo estocastico.pdf
calculo estocastico.pdfcalculo estocastico.pdf
calculo estocastico.pdf
 
Bitácora N°3 (13 Feb - 17 Feb) Topología I
Bitácora N°3 (13 Feb - 17 Feb) Topología IBitácora N°3 (13 Feb - 17 Feb) Topología I
Bitácora N°3 (13 Feb - 17 Feb) Topología I
 
Tema3
Tema3Tema3
Tema3
 
Tarea3( reporte)
Tarea3( reporte)Tarea3( reporte)
Tarea3( reporte)
 
02.6 varianza
02.6   varianza02.6   varianza
02.6 varianza
 
02.6 varianza
02.6   varianza02.6   varianza
02.6 varianza
 
Tabla de integrales (integrales trigonometricas)
Tabla de integrales (integrales trigonometricas)Tabla de integrales (integrales trigonometricas)
Tabla de integrales (integrales trigonometricas)
 
Demostraciones probabilidad
Demostraciones probabilidadDemostraciones probabilidad
Demostraciones probabilidad
 
Grupo de homología
Grupo de homologíaGrupo de homología
Grupo de homología
 
Teoria de distribuciones discretas
Teoria de distribuciones discretasTeoria de distribuciones discretas
Teoria de distribuciones discretas
 
Probabilidades ii 2021 a semana 6 clase 1
Probabilidades ii 2021 a semana 6 clase 1Probabilidades ii 2021 a semana 6 clase 1
Probabilidades ii 2021 a semana 6 clase 1
 
Tr bases 3
Tr bases 3Tr bases 3
Tr bases 3
 
Probabilidades ii 2021 a semana 2
Probabilidades ii 2021 a semana 2Probabilidades ii 2021 a semana 2
Probabilidades ii 2021 a semana 2
 
Tipos de funciones
Tipos de funcionesTipos de funciones
Tipos de funciones
 
Examen
ExamenExamen
Examen
 

Bitácora n° 5 (05 mar a 09 mar)

  • 1. UNIVERSIDAD VERACRUZANA 05 de Marzo a 09 de Marzo TOPOLOG´ I IA MIRIAM J. Definici´n 1.14 Sean X un espacio m´trico y A ⊂ X o e Se dice que A es denso (en X) en cualquier parte, si: A− = X TAREA 1.6 Teorema Mostrar que Q es denso en (con la m´trica usual) e Demostraci´n: o P.D. Entre dos n´meros reales, existe un racional u Sean x, y ∈ , y x < y 1 Como x < y ⇒ y − x > 0. Tomamos y−x Sabemos que ℵ no est´ acotado, entonces podemos asegurar que: a 1 ∃n ∈ ℵ tal que n > y−x (Propiedad arquimediana); es decir y − x > 1 n ..........(1) Sea p ∈ Z la parte entera de nx. Entonces: p ≤ nx < p + 1 ⇒ n ≤ x.....(2) y x < p+1 .....(3) p n De las relaciones (1), (2) y (3) se tiene que: y = x + (y − x) > n + n = p+1 > x p 1 n Es decir: x < p+1 < y, siendo n p+1 n racional. Por lo tanto Q es denso en Observaci´n: Q es numerable o 1
  • 2. SANDY. Definici´n 1.15 Sea X un espacio m´trico. Una funci´n o e o U : ℵ −→ X se llama sucesi´n en X o n −→ xn Rangn = {x1 , x2 , x3 , ......., xn ....} = {xn }n∈ℵ Llamamos subsucesi´n de {xn } (U : ℵ −→ X) a una funci´n ϕ : ℵ −→ ℵ o o estrictamente creciente tal que U ◦ ϕ es sucesi´n. o Ejemplos: n −→ n Sucesi´n = 1, 1 , 1 , 1 , .......... 1 o 2 3 4 1 1 1 1 n −→ 2n Subsucesi´n = o , , , .......... 2 4 6 Definici´n 1.16 Dada una sucesi´n en un espacio m´trico X, un punto o o e l ∈ X es l´ ımite de la sucesi´n {xn } si dado > 0 ∃N ∈ ℵ tal que o {xn } ∈ B (l) ∀n > N Decimos que xn − → → n− − −∞ ie. {xn } converge a l cuando n crece indefinidamente TAREA 1.7 Lema Si {xn }n∈ℵ −→ l y {xnk }k∈ℵ es una subsucesi´n de {xn }n∈ℵ , en- o tonces {xnk }k∈ℵ −→ l Demostraci´n: o Supongamos que {xn }n∈ℵ es una sucesi´n convergente con l´ o ımite l. Entonces dado > 0 existe un n´mero natural p tal que si n > p se u verifica que |xn − l| < Sea {xnk }k∈ℵ una subsucesi´n de {xn }n∈ℵ o Necesariamente para todo k ∈ ℵ se cumple que k ≤ nk , por tanto, dado > 0 y si k > p se tiene que |xnk − l| < lo cual significa que {xnk }k∈ℵ −→ l MIRIAM J. Definici´n 1.17 Dada una sucesi´n {xn } en un espacio m´trico X, de- o o e 2
  • 3. cimos que un punto x ∈ X es punto de acumulaci´n de xn si dado o >0 ∃N ∈ ℵ tal que para alg´n n > N , entonces xn ∈ B (x) u TAREA 1.8 Lema En un espacio m´trico X, todo punto adherente a la imagen de e una sucesi´n es, o un punto de ella o bien un punto de acumulaci´n (de ella). o ´ o Demostraci´n: o Supongamos que x es un punto adherente de xn Si x = xm ∀n ∈ ℵ, como x es adherente a {xn }, para V una vecindad de x, se tiene V ∩ {xn } = φ Sea Br (x) ⊂ V , si Br (x) ∩ {xn } = {x1 , x2 , x3 , ......, xk } entonces Bs (x) donde s = inf d(x, xk ), tenemos que Bs (x) ∩ {xn } = φ, esto implica que ∃W una vecindad de x tal que: W ∩ {xn } = φ. Por lo tanto x no es adherente a {xn } Ejemplo: ℵ −→ n −→ (−1)n Corolario Si {xn } es una sucesi´n sin puntos de acumulaci´n, entonces {xn } o o es cerrada. SANDY. Definici´n 1.18 Sean X un espacio m´trico y x ∈ X o e Se dice que x es punto de acumulaci´n de {xn } si dado o > 0, ∀m ∈ ℵ ∃n ∈ ℵ, n > m tal que xn ∈ B (x) Observaciones: i) Si x ∈ X es punto de acumulaci´n de la sucesi´n {xn }, entonces ∀N o o vecindad de X, N {xn } = ∅ ii) Cada V vecindad de X tiene una infinidad de t´rminos de {xn }. e ie. {xn } tiene una subsucesi´n convergente a x o iii) Si x es punto de acumulaci´n de {xn }, existe xϕ(n) ⊂ {xn } tal que o −→ → x xϕ(n) n −− −∞ Observaciones: i) A− = A ∪ Aa A = Rangu ii) Si {xn } es una sucesi´n sin puntos de acumulaci´n, entonces Rangu o o 3
  • 4. es un conjunto cerrado Demostraci´n: o Sea {xn } ={x} {1, 2, 3, ..., n, n + 1, ...} como x ∈{xn } ∃BEx tal que BEx ⊂{xn }c ⇒ {xn }c es abierto ⇒ {xn } es cerrado. MIRIAM J. Y SANDY TAREA 1.9 Teorema (Bolzano-Wiesstras) En el espacio m´trico n . Toda sucesi´n acotada tiene, al menos, un pun- e o to de acumulaci´n. o Demostraci´n: o Primero lo demostraremos para . Sean {xn } una sucesi´n acotada y M o la cota. Sea Ak = {xn : n > k} la cola k Ak = φ, ∀y ∈ Ak , |y| < M Sea Ck = supAk como Ak+1 ⊂ Ak , entonces {Ck } es una sucesi´n decre- o ciente, pero tambi´n est´ acotada inferiormente, lo cual implica que existe la e a m´xima cota inferior, es decir inf {Ck } = γ. a Dado > 0, {Ck } ∈ B (γ), para k suficientemente grande. Por lo tanto x es punto de acumulaci´n de xk o Ahora demostremos para n Sea {xn }n∈ℵ una sucesi´n acotada o Supongamos que {xn }n∈ℵ Definici´n 1.19: Sea X un espacio m´trico. Una sucesi´n {xn }n∈ℵ en X o e o es una sucesi´n de Cauchy si dado > 0, ∃N ∈ ℵ tal que d(xn , xm ) < o para n, m > ℵ . Observaci´n: Toda subsucesi´n de una sucesi´n de Cauchy es de Cauchy. o o o Sea {xn }n∈ℵ una sucesi´n de Cauchy o Definici´n 1.20 Sea X un espacio m´trico, X se llama completo si toda o e sucesi´n de Cauchy es convergente. o 4
  • 5. Observaciones: i) La propiedad de ser completo se llama plenitud. ii) es completo, Q no es completo iii) La propoiedad de ser de Cauchy es un criterio de convergencia. Lema: En un espacio m´trico toda sucesi´n de Cauchy que tiene una sub- e o sucesi´n convergente es convergente. o Demostraci´n: o Como xϕ(u) −→ , dado > 0 ∃N ∈ ℵ tal que n−→∞ d(xϕn , ) < /2 para n > ℵ. d(xn , ) ≤ d(xn , xϕn ) + d(xϕn , ) d(xn , ) < /2 + /2 d(xn , ) < ie: xn→ Por lo tanto se prob´ que es convergente. o Lema: n con la m´trica euclidiana es completo. e Demostraci´n: o n n Q.P.Q Dada una sucesi´n de Cauchy {xn } en o existe x ∈ tal que −→ → x xn n−− −∞ Como {xn } es de Cauchy, para = 1 ∃N1 ∈ ℵ tal que |xn − xm | < 1 n, m > N1 K = max {|xi |, 1} donde 1 ≤ i ≤ N1 |xr | = |xr − xN1 + xN1 | |xr | ≤ |xr − xN1 | + |xN1 | |xr | ≤ 1 + K Por lo tanto est´ acotada. a Por el T. de BW como est´ acotada, tiene un punto de acumulaci´n, co- a o mo tiene punto de acumulaci´n, tiene una subsucesi´n que converge (por un o o corolario anterior) Y como toda sucesi´n de Cauchy que tiene una subsucesi´n es convergen- o o te, hemos probado que converge. n Por lo tanto es completo. 5