SlideShare una empresa de Scribd logo
1 de 6
Universidad Nacional de la Patagonia - Facultad de Ingenier´
                                                           ıa                        1




       Conjuntos finitos, numerables y no
                  numerables
                      Ms. Ana Mar´ Teresa Lucca
                                 ıa




 Conjuntos finitos, numerables y no numerables by Ana Mar´ Teresa Lucca is licensed
                                                        ıa
   under a Creative Commons Reconocimiento-No comercial-Sin obras derivadas 2.5
          Argentina License. Based on a work at matematics.wordpress.com.




    Se debe a Cantor el descubrimiento fundamental de diversos tipos de
infinito as´ como el an´lisis de los mismos. Para nuestros prop´sitos nos
           ı            a                                         o
conformaremos apenas con distinguir, en raz´n del n´mero de elementos,
                                               o        u
tres tipos de conjuntos: los finitos, los numerables y los no numerables.


0.1   Conjuntos Finitos e Infinitos


Definici´n: Sea In = {p ∈ N : 1 ≤ p ≤ n}. Un conjunto X se dice finito
         o
cuando es vac´ o cuando existe para alg´n n ∈ N una biyecci´n ϕ : In → X.
             ıo                        u                   o
En el primer caso se dice que X tiene cero elementos, y en el segundo que
n ∈ N es el n´mero de elementos de X.
             u

   Observaciones:

  1. Cada conjunto In es finito y posee n elementos.

  2. Si f : X → Y es una biyecci´n, uno de los conjuntos es finito si y s´lo
                                o                                       o
     si el otro lo es.

   Intuitivamente, una biyecci´n ϕ : In → X es un conteo de los elementos
                              o
de X, pues haciendo:

                     ϕ(1) = x1 , ϕ(2) = x2 , . . . , ϕ(n) = xn ,

tenemos
                             X = {x1 , x2 , . . . , xn },
2                                                   Ms. Ana Mar´ Teresa Lucca
                                                               ıa


que es la representaci´n ordinaria de un conjunto finito.
                      o

    Definici´n: Un conjunto X se dice infinito cuando no es finito. M´s
            o                                                         a
expl´
    ıcitamente, X es infinito cuando no es vac´ y, adem´s, sea cual fuere
                                             ıo       a
n ∈ N no existe una biyecci´n ϕ : In → X.
                           o

Ejemplo 1 El conjunto N de los n´meros naturales es infinito, pues dada
                                    u
cualquier funci´n ϕ : In → N, sea p = ϕ(1) + . . . + ϕ(n). Entonces p > ϕ(x),
               o
para todo x ∈ In , de modo que p ∈ ϕ(In ). Luego, ninguna funci´n ϕ : In →
                                  /                              o
N es sobre. ♦


    Definici´n: Un conjunto X ⊂ N se dice acotado cuando existe p ∈ N
            o
tal que p ≥ n, para todo n ∈ X.

Proposici´n 1 Sea X ⊂ N no vac´ Las siguientes condiciones son equiv-
         o                    ıo.
alentes:

a) X es finito;

b) X es acotado;

c) X posee ultimo elemento.
           ´

         Dem:
         a) → b)
         Sea X = {x1 , x2 , . . . , xn } (finito). Tomemos

                           p = x1 + x2 + . . . + xn .

     As´ p > x, ∀ x ∈ X, por lo que X est´ acotado.
        ı,                                 a
         b) → c)
         Sea X ⊂ N acotado. Sea A = {p ∈ N : p ≥ n, ∀ n ∈ X}.
     Como X es acotado, A = ∅, y adem´s A ⊂ N. Entonces, por el
                                          a
     Principio de Buena Ordenaci´n, A posee primer elemento. Sea
                                   o
     p0 ∈ A dicho elemento. Afirmamos que p0 ∈ X.
         Supongamos que p0 ∈ X. Entonces p0 > n, ∀ n ∈ X. Como
                              /
     X = ∅, p0 > 1 lo que implica que p0 = p1 + 1, para alg´n p1 ∈ N.
                                                           u
     Si existiera n ∈ X tal que p1 < n, entonces p1 + 1 < n + 1 y as´
                                                                    ı
     p0 = p1 + 1 ≤ n, lo cual es absurdo. Por tanto, p1 ≥ n, ∀ n ∈ X,
     es decir, p1 ∈ A, lo cual tambi´n es absurdo, pues resultar´
                                      e                            ıa
     p1 > p0 y p0 es el primer elemento de A. Luego p0 ∈ X.
         Como p0 ∈ X y verifica p0 ≥ n, ∀ n ∈ X (pues p0 ∈ A),
     entonces p0 es el ultimo elemento de X.
                       ´
Universidad Nacional de la Patagonia - Facultad de Ingenier´
                                                           ıa               3


         c) → a)
         Sea p ∈ X el ultimo elemento de X. Entonces X ⊂ Ip , por lo
                      ´
      que X es finito (por serlo Ip ).♦


   Definici´n: Un conjunto X ⊂ N se dice no acotado cuando no est´
            o                                                             a
acotado. Esto significa que dado cualquier p ∈ N, existe alg´n n ∈ X tal que
                                                           u
n > p.


0.2   Conjuntos Numerables


Definici´n 1: Un conjunto X se dice numerable cuando es finito o cuando
         o
existe una biyecci´n f : N → X. En este ultimo caso se dice que X es
                  o                     ´
infinito numerable y, haciendo

                    x1 = f (1), x2 = f (2), . . . , xn = f (n), . . . ,

se tiene
                             X = {x1 , x2 , . . . , xn , . . .}.
Cada biyecci´n f : N → X es una enumeraci´n (de los elementos) de X.
            o                            o

   Definici´n 2: Un conjunto X se dice numerable si es el rango de una
          o
sucesi´n.
      o

   Las definiciones 1 y 2 son equivalentes pues:

               i. Def. 1 → Def. 2
              Si el conjunto X es finito, existe una funci´n ϕ : In → X
                                                         o
              biyectiva. Definamos la siguiente sucesi´n:
                                                     o

                                        ϕ(m)       si m ≤ n
                             ym =
                                        ϕ(1)       en otro caso.

              As´ resulta ser X el rango de la sucesi´n yn .
                 ı                                   o
              Si el conjunto X es infinito, existe una funci´n ϕ : N → X
                                                           o
              biyectiva. Entonces X es el rango de una sucesi´n.
                                                              o
           ii. Def. 2 → Def. 1
               Si X es el rango de una sucesi´n, digamos X = {xn }n∈N ,
                                             o
               puede ser finito o infinito.
               Si X es finito nada hay que demostrar.
               Si X es infinito, veamos que puede ser puesto en correspon-
               dencia uno a uno con los naturales.
4                                                    Ms. Ana Mar´ Teresa Lucca
                                                                ıa


          Intuitivamente los xn podr´ repetirse en la sucesi´n, por
                                      ıan                           o
          lo tanto, si quiero establecer una biyecci´n de N sobre X,
                                                      o
          deber´ eliminar las repeticiones. Por ejemplo, imaginemos
                e
          a X como el conjunto de los naturales pares. Este es in-
          finito numerable, pues es el rango de la sucesi´n de t´rmino
                                                           o        e
          general xn = 2n. Esta sucesi´n es una biyecci´n, pero X
                                         o                    o
          es tambi´n el rango de la sucesi´n 2, 4, 2, 6, 4, 8, 6, 10, 8, . . .
                   e                      o
          que no establece una biyecci´n con los naturales. Definamos
                                       o
          entonces una nueva sucesi´n de la siguiente forma:
                                     o

            y1 = xϕ(1)         , ϕ(1) = 1
            y2 = xϕ(2)         , ϕ(2) = m´ın{n : xn = x1 }
            y3 = xϕ(3)         , ϕ(3) = m´ın{n : xn = x1 , xϕ(2) }
            .
            .                    .
                                 .
            .                    .
            yj+1 = xϕ(j+1) , ϕ(j + 1) =
                             = m´ın{n : xn = x1 , xϕ(2) , . . . , xϕ(j) }

          Debemos probar ahora que esta sucesi´n establece una biyecci´n
                                              o                       o
          entre N y X.
            • es uno a uno, pues sean n, m ∈ N tales que n = m. A
              ellos les corresponder´ (por construcci´n) yn = xϕ(n) y
                                    a                o
              ym = xϕ(m) . Pero como n = m, xϕ(n) = xϕ(m) , con lo
              cual yn = ym .
            • es sobre, pues sea x ∈ X. Entonces x es de la forma
              xn para alg´n n (por ser X el rango de la sucesi´n
                            u                                     o
               xn ). Consideremos entonces m = m´    ın{n : xn = x}.
              Entonces x = xϕ(m) = ym = y(m).
          Luego existe una biyecci´n y : N → X.
                                  o

As´ queda demostrada la equivalencia.
  ı

Ejemplo 1 La biyecci´n f : N → P, f (n) = 2n, muestra que el conjunto P
                       o
de los n´meros pares es infinito numerable. An´logamente, g(n) = 2n − 1
        u                                      a
define una biyecci´n de N sobre el conjunto de los n´meros impares el cual
                  o                                u
es, por tanto, infinito numerable. Tambi´n el conjunto Z de los n´meros
                                        e                          u
enteros es numerable. Basta notar que h : Z → N definida por h(n) = 2n
cuando n es positivo y h(n) = −2n+1 cuando n es negativo es una biyecci´n.
                                                                       o
Luego, h−1 : N → Z es una enumeraci´n de Z.♦
                                     o

Proposici´n 1 Todo subconjunto de un conjunto numerable es numerable.
         o

        Dem: Sea E un conjunto numerable. Entonces es el rango de
     una sucesi´n; esto es E = {xn }. Sea A ⊂ E.
               o
Universidad Nacional de la Patagonia - Facultad de Ingenier´
                                                           ıa                     5


         Si A es vac´ por definici´n resulta ser numerable.
                    ıo,          o
         Si A es no vac´ elijamos x0 ∈ A (existe por el Axioma de
                        ıo,
      Elecci´n). Definamos entonces la sucesi´n yn haciendo:
            o                               o

                                     xn para xn ∈ A
                          yn =
                                     x0 para xn ∈ A
                                                /

      Entonces A es el rango de la sucesi´n yn y as´ resulta numerable.♦
                                         o         ı

Proposici´n 2 Sea A un conjunto numerable. Entonces el conjunto de to-
           o
das las n-uplas de elementos de A es tambi´n numerable.
                                          e

         Dem: Puesto que A es numerable, puede ser puesto en cor-
      respondencia uno a uno con un subconjunto del conjunto N
      de los n´meros naturales. As´ es suficiente probar que el con-
              u                                ı
      junto S de todas las n-uplas de n´meros naturales es numerable.
                                                 u
      Sea 2, 3, 5, 7, 11, . . . , pk , . . . la sucesi´n de n´meros primos. En-
                                                      o      u
      tonces cada n ∈ N tiene una unica factorizaci´n de la forma
                                              ´               o

                                 n = 2x1 3x2 . . . pxk ,
                                                    k

      donde xi ∈ N0 = N ∪ {0}, y xk > 0. Sea f la funci´n en No
      que asigna a cada n´mero natural n la k-upla x1 , . . . , xk de
                           u
      elementos de N0 . Esta funci´n es una correspondencia uno a
                                    o
      uno, de lo que resulta que el conjunto de todas las n-uplas de
      elementos de N0 es numerable. Como S es un subconjunto del
      conjunto de todas las n-uplas de elementos de N0 , resulta que S
      es numerable (por Proposici´n 0.2.1).♦
                                  o

Proposici´n 3 El conjunto Q de los n´meros racionales es numerable.
         o                          u

   La demostraci´n de esta proposici´n se deja como ejercicio.
                o                   o

Proposici´n 4 La uni´n de una colecci´n numerable de conjuntos numer-
           o          o              o
ables es tambi´n numerable.
              e

          Dem: Sea C una colecci´n numerable de conjuntos numerables.
                                o
      Si todos los conjuntos en C son vac´ la uni´n es vac´ y as´
                                          ıos,       o         ıa    ı
      numerable. Podemos entonces asumir que C contiene conjuntos
      no vac´ y, puesto que los conjuntos vac´ no contribuyen en
             ıos                                ıos
      nada a la uni´n de C, podemos considerar que todos los conjuntos
                   o
      C son no vac´ As´ C (por ser numerable) es el rango de una
                    ıos.  ı
                     ∞
      sucesi´n An n=1 , y cada An (por ser numerable) es el rango
            o
6                                                 Ms. Ana Mar´ Teresa Lucca
                                                             ıa


      de una sucesi´n xnm ∞ . Consideremos la aplicaci´n n, m →
                    o        m=1                            o
      xnm del conjunto de los pares ordenados de n´meros naturales
                                                        u
      sobre la uni´n de C. Es f´cil ver que es una correspondencia uno a
                  o            a
      uno y, puesto que el conjunto de los pares ordenados de n´meros
                                                                 u
      naturales es numerable (por la Proposici´n 0.2.2), resulta que la
                                                 o
      uni´n de la colecci´n C es tambi´n numerable.♦
         o               o               e




    Bibliograf´
              ıa:

    • Royden, H. L. (1968) Real Analysis. Second Edition, The Macmillan
      Company, New York.

    • Lima, E. L. (1976) Curso de an´lise. Vol 1, Projeto Euclides, IMPA,
                                    a
      Rio de Janeiro.

Más contenido relacionado

La actualidad más candente

Lgica de predicados y sistemas formales
Lgica de predicados y sistemas formalesLgica de predicados y sistemas formales
Lgica de predicados y sistemas formalesMiguel Angel Zamora
 
Derivadas parciales. Funciones diferenciables. Derivadas direccionales
Derivadas parciales. Funciones diferenciables. Derivadas direccionalesDerivadas parciales. Funciones diferenciables. Derivadas direccionales
Derivadas parciales. Funciones diferenciables. Derivadas direccionalesJIE MA ZHOU
 
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
 
Calculo estocastico
Calculo estocasticoCalculo estocastico
Calculo estocasticoedgarvillca
 
Recetas de ecuaciones diferenciales elementales
Recetas  de ecuaciones diferenciales elementalesRecetas  de ecuaciones diferenciales elementales
Recetas de ecuaciones diferenciales elementalesjcalguien
 
Recetas para la resolución de ed os
Recetas para la resolución de ed osRecetas para la resolución de ed os
Recetas para la resolución de ed osEmiliano Tuti
 
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
 
Cuantificador existencial
Cuantificador existencialCuantificador existencial
Cuantificador existencialemperador09
 
LI-T6: Sintaxis y semántica de la lógica de primer orden
LI-T6: Sintaxis y semántica de la lógica de primer ordenLI-T6: Sintaxis y semántica de la lógica de primer orden
LI-T6: Sintaxis y semántica de la lógica de primer ordenJosé A. Alonso
 
LI2011-T7: Deducción natural en lógica de primer orden
LI2011-T7: Deducción natural en lógica de primer ordenLI2011-T7: Deducción natural en lógica de primer orden
LI2011-T7: Deducción natural en lógica de primer ordenJosé A. Alonso
 
LI2011-T11: Resolución en lógica de primer orden
LI2011-T11: Resolución en lógica de primer ordenLI2011-T11: Resolución en lógica de primer orden
LI2011-T11: Resolución en lógica de primer ordenJosé A. Alonso
 
Guía de estructuras
Guía de estructurasGuía de estructuras
Guía de estructurasObidioquesada
 
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
 
Analisis de Algoritmos tarea 1
Analisis de Algoritmos tarea 1Analisis de Algoritmos tarea 1
Analisis de Algoritmos tarea 1Velmuz Buzz
 

La actualidad más candente (20)

Cadenas de markov
Cadenas de markovCadenas de markov
Cadenas de markov
 
Teoría de números
Teoría de númerosTeoría de números
Teoría de números
 
Lgica de predicados y sistemas formales
Lgica de predicados y sistemas formalesLgica de predicados y sistemas formales
Lgica de predicados y sistemas formales
 
Cálculo de Predicados
Cálculo de PredicadosCálculo de Predicados
Cálculo de Predicados
 
Derivadas parciales. Funciones diferenciables. Derivadas direccionales
Derivadas parciales. Funciones diferenciables. Derivadas direccionalesDerivadas parciales. Funciones diferenciables. Derivadas direccionales
Derivadas parciales. Funciones diferenciables. Derivadas direccionales
 
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 ...
 
Calculo estocastico
Calculo estocasticoCalculo estocastico
Calculo estocastico
 
Recetas de ecuaciones diferenciales elementales
Recetas  de ecuaciones diferenciales elementalesRecetas  de ecuaciones diferenciales elementales
Recetas de ecuaciones diferenciales elementales
 
Recetas para la resolución de ed os
Recetas para la resolución de ed osRecetas para la resolución de ed os
Recetas para la resolución de ed os
 
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)
 
Sucesiones y series
Sucesiones y seriesSucesiones y series
Sucesiones y series
 
Cuantificador existencial
Cuantificador existencialCuantificador existencial
Cuantificador existencial
 
LI-T6: Sintaxis y semántica de la lógica de primer orden
LI-T6: Sintaxis y semántica de la lógica de primer ordenLI-T6: Sintaxis y semántica de la lógica de primer orden
LI-T6: Sintaxis y semántica de la lógica de primer orden
 
LI2011-T7: Deducción natural en lógica de primer orden
LI2011-T7: Deducción natural en lógica de primer ordenLI2011-T7: Deducción natural en lógica de primer orden
LI2011-T7: Deducción natural en lógica de primer orden
 
LI2011-T11: Resolución en lógica de primer orden
LI2011-T11: Resolución en lógica de primer ordenLI2011-T11: Resolución en lógica de primer orden
LI2011-T11: Resolución en lógica de primer orden
 
Guía de estructuras
Guía de estructurasGuía de estructuras
Guía de estructuras
 
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)
 
Matematicas seis segunda parte
Matematicas seis segunda parteMatematicas seis segunda parte
Matematicas seis segunda parte
 
Analisis de Algoritmos tarea 1
Analisis de Algoritmos tarea 1Analisis de Algoritmos tarea 1
Analisis de Algoritmos tarea 1
 
Matematicas seis tercer parte
Matematicas seis tercer parteMatematicas seis tercer parte
Matematicas seis tercer parte
 

Destacado

Contexto Social, Cultural, y Poíitico
Contexto Social, Cultural, y PoíiticoContexto Social, Cultural, y Poíitico
Contexto Social, Cultural, y Poíiticoguestff0566
 
Guía de Administración sitios web Bibliotecas y Laboratorios Programa BiblioR...
Guía de Administración sitios web Bibliotecas y Laboratorios Programa BiblioR...Guía de Administración sitios web Bibliotecas y Laboratorios Programa BiblioR...
Guía de Administración sitios web Bibliotecas y Laboratorios Programa BiblioR...Carmen Baeza
 
Diagnostigo informatica
Diagnostigo informaticaDiagnostigo informatica
Diagnostigo informaticakukunem
 
Tareonomía del web quest
Tareonomía del web questTareonomía del web quest
Tareonomía del web questEduardo Caldas
 
APRENDIZAJE COMUNITARIO EN ESCUELA TIC2.0
APRENDIZAJE COMUNITARIO EN ESCUELA TIC2.0APRENDIZAJE COMUNITARIO EN ESCUELA TIC2.0
APRENDIZAJE COMUNITARIO EN ESCUELA TIC2.0Blas Segovia Aguilar
 
Smgp dwbs (diccionario wbs)-v1-docx
Smgp dwbs (diccionario wbs)-v1-docxSmgp dwbs (diccionario wbs)-v1-docx
Smgp dwbs (diccionario wbs)-v1-docxJose Farias
 
tecnoautobiografia
tecnoautobiografiatecnoautobiografia
tecnoautobiografiaboasdi
 
Uso del correo_interno
Uso del correo_internoUso del correo_interno
Uso del correo_internoUNAD Ibagué
 
Suma y resta 2 hasta 20
Suma y resta 2 hasta 20Suma y resta 2 hasta 20
Suma y resta 2 hasta 20ACTILUDIS.COM
 
Repasamos
RepasamosRepasamos
Repasamosgrace70
 
Art12 lucca
Art12 luccaArt12 lucca
Art12 luccaamtlucca
 
La Diferencia Que Hace La Diferencia(Ce Ce)
La Diferencia Que Hace La Diferencia(Ce Ce)La Diferencia Que Hace La Diferencia(Ce Ce)
La Diferencia Que Hace La Diferencia(Ce Ce)monpirri
 
La Informática Educativa en los Estudios de Postgrado : De la Teoría a la Prá...
La Informática Educativa en los Estudios de Postgrado : De la Teoría a la Prá...La Informática Educativa en los Estudios de Postgrado : De la Teoría a la Prá...
La Informática Educativa en los Estudios de Postgrado : De la Teoría a la Prá...Keyla Arévalo González
 
2009 03 29 (08) Marena Y Taro En La Cesta
2009 03 29 (08) Marena Y Taro En La Cesta2009 03 29 (08) Marena Y Taro En La Cesta
2009 03 29 (08) Marena Y Taro En La CestaMaria Calero
 
Inmunodeficiencias
InmunodeficienciasInmunodeficiencias
InmunodeficienciasBernardoOro
 
Talleres de reciclaje
Talleres de reciclajeTalleres de reciclaje
Talleres de reciclajeLorenMartin
 
La Flauta
La FlautaLa Flauta
La Flautaglaly
 

Destacado (20)

Contexto Social, Cultural, y Poíitico
Contexto Social, Cultural, y PoíiticoContexto Social, Cultural, y Poíitico
Contexto Social, Cultural, y Poíitico
 
Guía de Administración sitios web Bibliotecas y Laboratorios Programa BiblioR...
Guía de Administración sitios web Bibliotecas y Laboratorios Programa BiblioR...Guía de Administración sitios web Bibliotecas y Laboratorios Programa BiblioR...
Guía de Administración sitios web Bibliotecas y Laboratorios Programa BiblioR...
 
Diagnostigo informatica
Diagnostigo informaticaDiagnostigo informatica
Diagnostigo informatica
 
Powertp3
Powertp3Powertp3
Powertp3
 
Laura21
Laura21Laura21
Laura21
 
Tareonomía del web quest
Tareonomía del web questTareonomía del web quest
Tareonomía del web quest
 
APRENDIZAJE COMUNITARIO EN ESCUELA TIC2.0
APRENDIZAJE COMUNITARIO EN ESCUELA TIC2.0APRENDIZAJE COMUNITARIO EN ESCUELA TIC2.0
APRENDIZAJE COMUNITARIO EN ESCUELA TIC2.0
 
Smgp dwbs (diccionario wbs)-v1-docx
Smgp dwbs (diccionario wbs)-v1-docxSmgp dwbs (diccionario wbs)-v1-docx
Smgp dwbs (diccionario wbs)-v1-docx
 
Star wars
Star warsStar wars
Star wars
 
tecnoautobiografia
tecnoautobiografiatecnoautobiografia
tecnoautobiografia
 
Uso del correo_interno
Uso del correo_internoUso del correo_interno
Uso del correo_interno
 
Suma y resta 2 hasta 20
Suma y resta 2 hasta 20Suma y resta 2 hasta 20
Suma y resta 2 hasta 20
 
Repasamos
RepasamosRepasamos
Repasamos
 
Art12 lucca
Art12 luccaArt12 lucca
Art12 lucca
 
La Diferencia Que Hace La Diferencia(Ce Ce)
La Diferencia Que Hace La Diferencia(Ce Ce)La Diferencia Que Hace La Diferencia(Ce Ce)
La Diferencia Que Hace La Diferencia(Ce Ce)
 
La Informática Educativa en los Estudios de Postgrado : De la Teoría a la Prá...
La Informática Educativa en los Estudios de Postgrado : De la Teoría a la Prá...La Informática Educativa en los Estudios de Postgrado : De la Teoría a la Prá...
La Informática Educativa en los Estudios de Postgrado : De la Teoría a la Prá...
 
2009 03 29 (08) Marena Y Taro En La Cesta
2009 03 29 (08) Marena Y Taro En La Cesta2009 03 29 (08) Marena Y Taro En La Cesta
2009 03 29 (08) Marena Y Taro En La Cesta
 
Inmunodeficiencias
InmunodeficienciasInmunodeficiencias
Inmunodeficiencias
 
Talleres de reciclaje
Talleres de reciclajeTalleres de reciclaje
Talleres de reciclaje
 
La Flauta
La FlautaLa Flauta
La Flauta
 

Similar a Art8 lucca

Reporte de topologia 5 y tarea
Reporte de topologia 5 y tareaReporte de topologia 5 y tarea
Reporte de topologia 5 y tareatopologia1
 
Reporte de topologia 5 y tareas
Reporte de topologia 5 y tareasReporte de topologia 5 y tareas
Reporte de topologia 5 y tareastopologia1
 
Analisis funcional expo
Analisis funcional expoAnalisis funcional expo
Analisis funcional exponloayza17
 
Reporte de topologia 5 y tareas
Reporte de topologia 5 y tareasReporte de topologia 5 y tareas
Reporte de topologia 5 y tareastopologia1
 
Reporte de topologia 5 y tareas
Reporte de topologia 5 y tareasReporte de topologia 5 y tareas
Reporte de topologia 5 y tareastopologia1
 
Art9 lucca
Art9 luccaArt9 lucca
Art9 luccaamtlucca
 
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
 
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
 
Practico1
Practico1Practico1
Practico1orestes
 
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 帕夏
 
Tema taylorhermite
Tema taylorhermiteTema taylorhermite
Tema taylorhermitetaker85
 
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
 
Practico3
Practico3Practico3
Practico3orestes
 
Tr bases 3
Tr bases 3Tr bases 3
Tr bases 304921
 
Cálculo Diferencial - Slides 1.pdf
Cálculo Diferencial - Slides 1.pdfCálculo Diferencial - Slides 1.pdf
Cálculo Diferencial - Slides 1.pdfOmarEnriqueGarciaCai
 

Similar a Art8 lucca (20)

Reporte de topologia 5 y tarea
Reporte de topologia 5 y tareaReporte de topologia 5 y tarea
Reporte de topologia 5 y tarea
 
Reporte de topologia 5 y tareas
Reporte de topologia 5 y tareasReporte de topologia 5 y tareas
Reporte de topologia 5 y tareas
 
Analisis funcional expo
Analisis funcional expoAnalisis funcional expo
Analisis funcional expo
 
Reporte de topologia 5 y tareas
Reporte de topologia 5 y tareasReporte de topologia 5 y tareas
Reporte de topologia 5 y tareas
 
Reporte de topologia 5 y tareas
Reporte de topologia 5 y tareasReporte de topologia 5 y tareas
Reporte de topologia 5 y tareas
 
Art5
Art5Art5
Art5
 
1 4
1 41 4
1 4
 
Art9 lucca
Art9 luccaArt9 lucca
Art9 lucca
 
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)
 
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)
 
Practico1
Practico1Practico1
Practico1
 
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)
 
Tema taylorhermite
Tema taylorhermiteTema taylorhermite
Tema taylorhermite
 
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)
 
Tema3
Tema3Tema3
Tema3
 
Practico3
Practico3Practico3
Practico3
 
Tr bases 3
Tr bases 3Tr bases 3
Tr bases 3
 
Formulario De Distribuciones De Probabilidad
Formulario De Distribuciones De ProbabilidadFormulario De Distribuciones De Probabilidad
Formulario De Distribuciones De Probabilidad
 
Cálculo Diferencial - Slides 1.pdf
Cálculo Diferencial - Slides 1.pdfCálculo Diferencial - Slides 1.pdf
Cálculo Diferencial - Slides 1.pdf
 
Monotonas
MonotonasMonotonas
Monotonas
 

Más de amtlucca

Jornadas2018
Jornadas2018Jornadas2018
Jornadas2018amtlucca
 
Geometria 3
Geometria 3Geometria 3
Geometria 3amtlucca
 
Geometria 2
Geometria 2Geometria 2
Geometria 2amtlucca
 
Geometria 1
Geometria 1Geometria 1
Geometria 1amtlucca
 
Un tetraedro
Un  tetraedroUn  tetraedro
Un tetraedroamtlucca
 
De trapecios
De trapeciosDe trapecios
De trapeciosamtlucca
 
De cuadrados
De cuadradosDe cuadrados
De cuadradosamtlucca
 
Nc cuarto cuadrante
Nc cuarto cuadranteNc cuarto cuadrante
Nc cuarto cuadranteamtlucca
 
Nc tercer cuadrante
Nc tercer cuadranteNc tercer cuadrante
Nc tercer cuadranteamtlucca
 
Nc segundo cuadrante
Nc segundo cuadranteNc segundo cuadrante
Nc segundo cuadranteamtlucca
 
Nc primer cuadrante
Nc primer cuadranteNc primer cuadrante
Nc primer cuadranteamtlucca
 
De radianes a grados
De radianes a gradosDe radianes a grados
De radianes a gradosamtlucca
 
De grados a radianes
De grados a radianesDe grados a radianes
De grados a radianesamtlucca
 
Cuadrante iv
Cuadrante ivCuadrante iv
Cuadrante ivamtlucca
 

Más de amtlucca (20)

Jornadas2018
Jornadas2018Jornadas2018
Jornadas2018
 
Clase 6
Clase 6Clase 6
Clase 6
 
Tp 1
Tp 1Tp 1
Tp 1
 
Geometria 3
Geometria 3Geometria 3
Geometria 3
 
Geometria 2
Geometria 2Geometria 2
Geometria 2
 
Geometria 1
Geometria 1Geometria 1
Geometria 1
 
Numeros 3
Numeros 3Numeros 3
Numeros 3
 
Numeros 2
Numeros 2Numeros 2
Numeros 2
 
Numeros 1
Numeros 1Numeros 1
Numeros 1
 
Un tetraedro
Un  tetraedroUn  tetraedro
Un tetraedro
 
De trapecios
De trapeciosDe trapecios
De trapecios
 
De rombos
De rombosDe rombos
De rombos
 
De cuadrados
De cuadradosDe cuadrados
De cuadrados
 
Nc cuarto cuadrante
Nc cuarto cuadranteNc cuarto cuadrante
Nc cuarto cuadrante
 
Nc tercer cuadrante
Nc tercer cuadranteNc tercer cuadrante
Nc tercer cuadrante
 
Nc segundo cuadrante
Nc segundo cuadranteNc segundo cuadrante
Nc segundo cuadrante
 
Nc primer cuadrante
Nc primer cuadranteNc primer cuadrante
Nc primer cuadrante
 
De radianes a grados
De radianes a gradosDe radianes a grados
De radianes a grados
 
De grados a radianes
De grados a radianesDe grados a radianes
De grados a radianes
 
Cuadrante iv
Cuadrante ivCuadrante iv
Cuadrante iv
 

Último

BROCHURE EXCEL 2024 FII.pdfwrfertetwetewtewtwtwtwtwtwtwtewtewtewtwtwtwtwe
BROCHURE EXCEL 2024 FII.pdfwrfertetwetewtewtwtwtwtwtwtwtewtewtewtwtwtwtweBROCHURE EXCEL 2024 FII.pdfwrfertetwetewtewtwtwtwtwtwtwtewtewtewtwtwtwtwe
BROCHURE EXCEL 2024 FII.pdfwrfertetwetewtewtwtwtwtwtwtwtewtewtewtwtwtwtwealekzHuri
 
plan-de-trabajo-colegiado en una institucion educativa
plan-de-trabajo-colegiado en una institucion educativaplan-de-trabajo-colegiado en una institucion educativa
plan-de-trabajo-colegiado en una institucion educativafiorelachuctaya2
 
Plan Año Escolar Año Escolar 2023-2024. MPPE
Plan Año Escolar Año Escolar 2023-2024. MPPEPlan Año Escolar Año Escolar 2023-2024. MPPE
Plan Año Escolar Año Escolar 2023-2024. MPPELaura Chacón
 
Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...
Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...
Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...fcastellanos3
 
Heinsohn Privacidad y Ciberseguridad para el sector educativo
Heinsohn Privacidad y Ciberseguridad para el sector educativoHeinsohn Privacidad y Ciberseguridad para el sector educativo
Heinsohn Privacidad y Ciberseguridad para el sector educativoFundación YOD YOD
 
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...Carlos Muñoz
 
programa dia de las madres 10 de mayo para evento
programa dia de las madres 10 de mayo  para eventoprograma dia de las madres 10 de mayo  para evento
programa dia de las madres 10 de mayo para eventoDiegoMtsS
 
Día de la Madre Tierra-1.pdf día mundial
Día de la Madre Tierra-1.pdf día mundialDía de la Madre Tierra-1.pdf día mundial
Día de la Madre Tierra-1.pdf día mundialpatriciaines1993
 
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxOLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxjosetrinidadchavez
 
Identificación de componentes Hardware del PC
Identificación de componentes Hardware del PCIdentificación de componentes Hardware del PC
Identificación de componentes Hardware del PCCesarFernandez937857
 
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIARAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIACarlos Campaña Montenegro
 
La Función tecnológica del tutor.pptx
La  Función  tecnológica  del tutor.pptxLa  Función  tecnológica  del tutor.pptx
La Función tecnológica del tutor.pptxJunkotantik
 
Introducción:Los objetivos de Desarrollo Sostenible
Introducción:Los objetivos de Desarrollo SostenibleIntroducción:Los objetivos de Desarrollo Sostenible
Introducción:Los objetivos de Desarrollo SostenibleJonathanCovena1
 
LA ECUACIÓN DEL NÚMERO PI EN LOS JUEGOS OLÍMPICOS DE PARÍS. Por JAVIER SOLIS ...
LA ECUACIÓN DEL NÚMERO PI EN LOS JUEGOS OLÍMPICOS DE PARÍS. Por JAVIER SOLIS ...LA ECUACIÓN DEL NÚMERO PI EN LOS JUEGOS OLÍMPICOS DE PARÍS. Por JAVIER SOLIS ...
LA ECUACIÓN DEL NÚMERO PI EN LOS JUEGOS OLÍMPICOS DE PARÍS. Por JAVIER SOLIS ...JAVIER SOLIS NOYOLA
 

Último (20)

BROCHURE EXCEL 2024 FII.pdfwrfertetwetewtewtwtwtwtwtwtwtewtewtewtwtwtwtwe
BROCHURE EXCEL 2024 FII.pdfwrfertetwetewtewtwtwtwtwtwtwtewtewtewtwtwtwtweBROCHURE EXCEL 2024 FII.pdfwrfertetwetewtewtwtwtwtwtwtwtewtewtewtwtwtwtwe
BROCHURE EXCEL 2024 FII.pdfwrfertetwetewtewtwtwtwtwtwtwtewtewtewtwtwtwtwe
 
Repaso Pruebas CRECE PR 2024. Ciencia General
Repaso Pruebas CRECE PR 2024. Ciencia GeneralRepaso Pruebas CRECE PR 2024. Ciencia General
Repaso Pruebas CRECE PR 2024. Ciencia General
 
plan-de-trabajo-colegiado en una institucion educativa
plan-de-trabajo-colegiado en una institucion educativaplan-de-trabajo-colegiado en una institucion educativa
plan-de-trabajo-colegiado en una institucion educativa
 
Plan Año Escolar Año Escolar 2023-2024. MPPE
Plan Año Escolar Año Escolar 2023-2024. MPPEPlan Año Escolar Año Escolar 2023-2024. MPPE
Plan Año Escolar Año Escolar 2023-2024. MPPE
 
Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...
Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...
Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...
 
Heinsohn Privacidad y Ciberseguridad para el sector educativo
Heinsohn Privacidad y Ciberseguridad para el sector educativoHeinsohn Privacidad y Ciberseguridad para el sector educativo
Heinsohn Privacidad y Ciberseguridad para el sector educativo
 
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
Plan Refuerzo Escolar 2024 para estudiantes con necesidades de Aprendizaje en...
 
programa dia de las madres 10 de mayo para evento
programa dia de las madres 10 de mayo  para eventoprograma dia de las madres 10 de mayo  para evento
programa dia de las madres 10 de mayo para evento
 
Día de la Madre Tierra-1.pdf día mundial
Día de la Madre Tierra-1.pdf día mundialDía de la Madre Tierra-1.pdf día mundial
Día de la Madre Tierra-1.pdf día mundial
 
La Trampa De La Felicidad. Russ-Harris.pdf
La Trampa De La Felicidad. Russ-Harris.pdfLa Trampa De La Felicidad. Russ-Harris.pdf
La Trampa De La Felicidad. Russ-Harris.pdf
 
Sesión de clase: Defendamos la verdad.pdf
Sesión de clase: Defendamos la verdad.pdfSesión de clase: Defendamos la verdad.pdf
Sesión de clase: Defendamos la verdad.pdf
 
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxOLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
 
Identificación de componentes Hardware del PC
Identificación de componentes Hardware del PCIdentificación de componentes Hardware del PC
Identificación de componentes Hardware del PC
 
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIARAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
 
La Función tecnológica del tutor.pptx
La  Función  tecnológica  del tutor.pptxLa  Función  tecnológica  del tutor.pptx
La Función tecnológica del tutor.pptx
 
Introducción:Los objetivos de Desarrollo Sostenible
Introducción:Los objetivos de Desarrollo SostenibleIntroducción:Los objetivos de Desarrollo Sostenible
Introducción:Los objetivos de Desarrollo Sostenible
 
LA ECUACIÓN DEL NÚMERO PI EN LOS JUEGOS OLÍMPICOS DE PARÍS. Por JAVIER SOLIS ...
LA ECUACIÓN DEL NÚMERO PI EN LOS JUEGOS OLÍMPICOS DE PARÍS. Por JAVIER SOLIS ...LA ECUACIÓN DEL NÚMERO PI EN LOS JUEGOS OLÍMPICOS DE PARÍS. Por JAVIER SOLIS ...
LA ECUACIÓN DEL NÚMERO PI EN LOS JUEGOS OLÍMPICOS DE PARÍS. Por JAVIER SOLIS ...
 
Power Point: "Defendamos la verdad".pptx
Power Point: "Defendamos la verdad".pptxPower Point: "Defendamos la verdad".pptx
Power Point: "Defendamos la verdad".pptx
 
Tema 7.- E-COMMERCE SISTEMAS DE INFORMACION.pdf
Tema 7.- E-COMMERCE SISTEMAS DE INFORMACION.pdfTema 7.- E-COMMERCE SISTEMAS DE INFORMACION.pdf
Tema 7.- E-COMMERCE SISTEMAS DE INFORMACION.pdf
 
Earth Day Everyday 2024 54th anniversary
Earth Day Everyday 2024 54th anniversaryEarth Day Everyday 2024 54th anniversary
Earth Day Everyday 2024 54th anniversary
 

Art8 lucca

  • 1. Universidad Nacional de la Patagonia - Facultad de Ingenier´ ıa 1 Conjuntos finitos, numerables y no numerables Ms. Ana Mar´ Teresa Lucca ıa Conjuntos finitos, numerables y no numerables by Ana Mar´ Teresa Lucca is licensed ıa under a Creative Commons Reconocimiento-No comercial-Sin obras derivadas 2.5 Argentina License. Based on a work at matematics.wordpress.com. Se debe a Cantor el descubrimiento fundamental de diversos tipos de infinito as´ como el an´lisis de los mismos. Para nuestros prop´sitos nos ı a o conformaremos apenas con distinguir, en raz´n del n´mero de elementos, o u tres tipos de conjuntos: los finitos, los numerables y los no numerables. 0.1 Conjuntos Finitos e Infinitos Definici´n: Sea In = {p ∈ N : 1 ≤ p ≤ n}. Un conjunto X se dice finito o cuando es vac´ o cuando existe para alg´n n ∈ N una biyecci´n ϕ : In → X. ıo u o En el primer caso se dice que X tiene cero elementos, y en el segundo que n ∈ N es el n´mero de elementos de X. u Observaciones: 1. Cada conjunto In es finito y posee n elementos. 2. Si f : X → Y es una biyecci´n, uno de los conjuntos es finito si y s´lo o o si el otro lo es. Intuitivamente, una biyecci´n ϕ : In → X es un conteo de los elementos o de X, pues haciendo: ϕ(1) = x1 , ϕ(2) = x2 , . . . , ϕ(n) = xn , tenemos X = {x1 , x2 , . . . , xn },
  • 2. 2 Ms. Ana Mar´ Teresa Lucca ıa que es la representaci´n ordinaria de un conjunto finito. o Definici´n: Un conjunto X se dice infinito cuando no es finito. M´s o a expl´ ıcitamente, X es infinito cuando no es vac´ y, adem´s, sea cual fuere ıo a n ∈ N no existe una biyecci´n ϕ : In → X. o Ejemplo 1 El conjunto N de los n´meros naturales es infinito, pues dada u cualquier funci´n ϕ : In → N, sea p = ϕ(1) + . . . + ϕ(n). Entonces p > ϕ(x), o para todo x ∈ In , de modo que p ∈ ϕ(In ). Luego, ninguna funci´n ϕ : In → / o N es sobre. ♦ Definici´n: Un conjunto X ⊂ N se dice acotado cuando existe p ∈ N o tal que p ≥ n, para todo n ∈ X. Proposici´n 1 Sea X ⊂ N no vac´ Las siguientes condiciones son equiv- o ıo. alentes: a) X es finito; b) X es acotado; c) X posee ultimo elemento. ´ Dem: a) → b) Sea X = {x1 , x2 , . . . , xn } (finito). Tomemos p = x1 + x2 + . . . + xn . As´ p > x, ∀ x ∈ X, por lo que X est´ acotado. ı, a b) → c) Sea X ⊂ N acotado. Sea A = {p ∈ N : p ≥ n, ∀ n ∈ X}. Como X es acotado, A = ∅, y adem´s A ⊂ N. Entonces, por el a Principio de Buena Ordenaci´n, A posee primer elemento. Sea o p0 ∈ A dicho elemento. Afirmamos que p0 ∈ X. Supongamos que p0 ∈ X. Entonces p0 > n, ∀ n ∈ X. Como / X = ∅, p0 > 1 lo que implica que p0 = p1 + 1, para alg´n p1 ∈ N. u Si existiera n ∈ X tal que p1 < n, entonces p1 + 1 < n + 1 y as´ ı p0 = p1 + 1 ≤ n, lo cual es absurdo. Por tanto, p1 ≥ n, ∀ n ∈ X, es decir, p1 ∈ A, lo cual tambi´n es absurdo, pues resultar´ e ıa p1 > p0 y p0 es el primer elemento de A. Luego p0 ∈ X. Como p0 ∈ X y verifica p0 ≥ n, ∀ n ∈ X (pues p0 ∈ A), entonces p0 es el ultimo elemento de X. ´
  • 3. Universidad Nacional de la Patagonia - Facultad de Ingenier´ ıa 3 c) → a) Sea p ∈ X el ultimo elemento de X. Entonces X ⊂ Ip , por lo ´ que X es finito (por serlo Ip ).♦ Definici´n: Un conjunto X ⊂ N se dice no acotado cuando no est´ o a acotado. Esto significa que dado cualquier p ∈ N, existe alg´n n ∈ X tal que u n > p. 0.2 Conjuntos Numerables Definici´n 1: Un conjunto X se dice numerable cuando es finito o cuando o existe una biyecci´n f : N → X. En este ultimo caso se dice que X es o ´ infinito numerable y, haciendo x1 = f (1), x2 = f (2), . . . , xn = f (n), . . . , se tiene X = {x1 , x2 , . . . , xn , . . .}. Cada biyecci´n f : N → X es una enumeraci´n (de los elementos) de X. o o Definici´n 2: Un conjunto X se dice numerable si es el rango de una o sucesi´n. o Las definiciones 1 y 2 son equivalentes pues: i. Def. 1 → Def. 2 Si el conjunto X es finito, existe una funci´n ϕ : In → X o biyectiva. Definamos la siguiente sucesi´n: o ϕ(m) si m ≤ n ym = ϕ(1) en otro caso. As´ resulta ser X el rango de la sucesi´n yn . ı o Si el conjunto X es infinito, existe una funci´n ϕ : N → X o biyectiva. Entonces X es el rango de una sucesi´n. o ii. Def. 2 → Def. 1 Si X es el rango de una sucesi´n, digamos X = {xn }n∈N , o puede ser finito o infinito. Si X es finito nada hay que demostrar. Si X es infinito, veamos que puede ser puesto en correspon- dencia uno a uno con los naturales.
  • 4. 4 Ms. Ana Mar´ Teresa Lucca ıa Intuitivamente los xn podr´ repetirse en la sucesi´n, por ıan o lo tanto, si quiero establecer una biyecci´n de N sobre X, o deber´ eliminar las repeticiones. Por ejemplo, imaginemos e a X como el conjunto de los naturales pares. Este es in- finito numerable, pues es el rango de la sucesi´n de t´rmino o e general xn = 2n. Esta sucesi´n es una biyecci´n, pero X o o es tambi´n el rango de la sucesi´n 2, 4, 2, 6, 4, 8, 6, 10, 8, . . . e o que no establece una biyecci´n con los naturales. Definamos o entonces una nueva sucesi´n de la siguiente forma: o y1 = xϕ(1) , ϕ(1) = 1 y2 = xϕ(2) , ϕ(2) = m´ın{n : xn = x1 } y3 = xϕ(3) , ϕ(3) = m´ın{n : xn = x1 , xϕ(2) } . . . . . . yj+1 = xϕ(j+1) , ϕ(j + 1) = = m´ın{n : xn = x1 , xϕ(2) , . . . , xϕ(j) } Debemos probar ahora que esta sucesi´n establece una biyecci´n o o entre N y X. • es uno a uno, pues sean n, m ∈ N tales que n = m. A ellos les corresponder´ (por construcci´n) yn = xϕ(n) y a o ym = xϕ(m) . Pero como n = m, xϕ(n) = xϕ(m) , con lo cual yn = ym . • es sobre, pues sea x ∈ X. Entonces x es de la forma xn para alg´n n (por ser X el rango de la sucesi´n u o xn ). Consideremos entonces m = m´ ın{n : xn = x}. Entonces x = xϕ(m) = ym = y(m). Luego existe una biyecci´n y : N → X. o As´ queda demostrada la equivalencia. ı Ejemplo 1 La biyecci´n f : N → P, f (n) = 2n, muestra que el conjunto P o de los n´meros pares es infinito numerable. An´logamente, g(n) = 2n − 1 u a define una biyecci´n de N sobre el conjunto de los n´meros impares el cual o u es, por tanto, infinito numerable. Tambi´n el conjunto Z de los n´meros e u enteros es numerable. Basta notar que h : Z → N definida por h(n) = 2n cuando n es positivo y h(n) = −2n+1 cuando n es negativo es una biyecci´n. o Luego, h−1 : N → Z es una enumeraci´n de Z.♦ o Proposici´n 1 Todo subconjunto de un conjunto numerable es numerable. o Dem: Sea E un conjunto numerable. Entonces es el rango de una sucesi´n; esto es E = {xn }. Sea A ⊂ E. o
  • 5. Universidad Nacional de la Patagonia - Facultad de Ingenier´ ıa 5 Si A es vac´ por definici´n resulta ser numerable. ıo, o Si A es no vac´ elijamos x0 ∈ A (existe por el Axioma de ıo, Elecci´n). Definamos entonces la sucesi´n yn haciendo: o o xn para xn ∈ A yn = x0 para xn ∈ A / Entonces A es el rango de la sucesi´n yn y as´ resulta numerable.♦ o ı Proposici´n 2 Sea A un conjunto numerable. Entonces el conjunto de to- o das las n-uplas de elementos de A es tambi´n numerable. e Dem: Puesto que A es numerable, puede ser puesto en cor- respondencia uno a uno con un subconjunto del conjunto N de los n´meros naturales. As´ es suficiente probar que el con- u ı junto S de todas las n-uplas de n´meros naturales es numerable. u Sea 2, 3, 5, 7, 11, . . . , pk , . . . la sucesi´n de n´meros primos. En- o u tonces cada n ∈ N tiene una unica factorizaci´n de la forma ´ o n = 2x1 3x2 . . . pxk , k donde xi ∈ N0 = N ∪ {0}, y xk > 0. Sea f la funci´n en No que asigna a cada n´mero natural n la k-upla x1 , . . . , xk de u elementos de N0 . Esta funci´n es una correspondencia uno a o uno, de lo que resulta que el conjunto de todas las n-uplas de elementos de N0 es numerable. Como S es un subconjunto del conjunto de todas las n-uplas de elementos de N0 , resulta que S es numerable (por Proposici´n 0.2.1).♦ o Proposici´n 3 El conjunto Q de los n´meros racionales es numerable. o u La demostraci´n de esta proposici´n se deja como ejercicio. o o Proposici´n 4 La uni´n de una colecci´n numerable de conjuntos numer- o o o ables es tambi´n numerable. e Dem: Sea C una colecci´n numerable de conjuntos numerables. o Si todos los conjuntos en C son vac´ la uni´n es vac´ y as´ ıos, o ıa ı numerable. Podemos entonces asumir que C contiene conjuntos no vac´ y, puesto que los conjuntos vac´ no contribuyen en ıos ıos nada a la uni´n de C, podemos considerar que todos los conjuntos o C son no vac´ As´ C (por ser numerable) es el rango de una ıos. ı ∞ sucesi´n An n=1 , y cada An (por ser numerable) es el rango o
  • 6. 6 Ms. Ana Mar´ Teresa Lucca ıa de una sucesi´n xnm ∞ . Consideremos la aplicaci´n n, m → o m=1 o xnm del conjunto de los pares ordenados de n´meros naturales u sobre la uni´n de C. Es f´cil ver que es una correspondencia uno a o a uno y, puesto que el conjunto de los pares ordenados de n´meros u naturales es numerable (por la Proposici´n 0.2.2), resulta que la o uni´n de la colecci´n C es tambi´n numerable.♦ o o e Bibliograf´ ıa: • Royden, H. L. (1968) Real Analysis. Second Edition, The Macmillan Company, New York. • Lima, E. L. (1976) Curso de an´lise. Vol 1, Projeto Euclides, IMPA, a Rio de Janeiro.