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

PDF
Capitulo2
PDF
Numeros naturales y enteros
PDF
Art10 lucca
PDF
Bitácora n° 5 (05 mar a 09 mar)
PDF
Expohelmuth
DOCX
Induccion matematica
PDF
Teoria aditiva de numeros
PDF
Implicit
Capitulo2
Numeros naturales y enteros
Art10 lucca
Bitácora n° 5 (05 mar a 09 mar)
Expohelmuth
Induccion matematica
Teoria aditiva de numeros
Implicit

La actualidad más candente (20)

PDF
Cadenas de markov
PDF
Teoría de números
PDF
Lgica de predicados y sistemas formales
PPTX
Cálculo de Predicados
PDF
Derivadas parciales. Funciones diferenciables. Derivadas direccionales
PDF
Derivadas de orden superior. Derivadas segundas. Matriz Hessiana. Derivación ...
PDF
Calculo estocastico
PDF
Recetas de ecuaciones diferenciales elementales
PDF
Recetas para la resolución de ed os
PDF
Bitácora n° 7 (19 mar a 23 mar)
PDF
Sucesiones y series
PDF
Cuantificador existencial
PDF
LI-T6: Sintaxis y semántica de la lógica de primer orden
PDF
LI2011-T7: Deducción natural en lógica de primer orden
PDF
LI2011-T11: Resolución en lógica de primer orden
PDF
Guía de estructuras
PDF
Bitácora n° 9 (09 abril a 13 de abril)
PDF
Matematicas seis segunda parte
PDF
Analisis de Algoritmos tarea 1
PDF
Matematicas seis tercer parte
Cadenas de markov
Teoría de números
Lgica de predicados y sistemas formales
Cálculo de Predicados
Derivadas parciales. Funciones diferenciables. Derivadas direccionales
Derivadas de orden superior. Derivadas segundas. Matriz Hessiana. Derivación ...
Calculo estocastico
Recetas de ecuaciones diferenciales elementales
Recetas para la resolución de ed os
Bitácora n° 7 (19 mar a 23 mar)
Sucesiones y series
Cuantificador existencial
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-T11: Resolución en lógica de primer orden
Guía de estructuras
Bitácora n° 9 (09 abril a 13 de abril)
Matematicas seis segunda parte
Analisis de Algoritmos tarea 1
Matematicas seis tercer parte
Publicidad

Destacado (20)

PPT
Contexto Social, Cultural, y Poíitico
PPT
Guía de Administración sitios web Bibliotecas y Laboratorios Programa BiblioR...
ODT
Diagnostigo informatica
PPT
Powertp3
PPTX
Laura21
PDF
Tareonomía del web quest
KEY
APRENDIZAJE COMUNITARIO EN ESCUELA TIC2.0
DOCX
Smgp dwbs (diccionario wbs)-v1-docx
KEY
PDF
tecnoautobiografia
PDF
Uso del correo_interno
PPS
Suma y resta 2 hasta 20
PPS
Repasamos
PDF
Art12 lucca
PPS
La Diferencia Que Hace La Diferencia(Ce Ce)
PPTX
La Informática Educativa en los Estudios de Postgrado : De la Teoría a la Prá...
ODP
2009 03 29 (08) Marena Y Taro En La Cesta
PDF
Inmunodeficiencias
ODP
Talleres de reciclaje
PPT
La Flauta
Contexto Social, Cultural, y Poíitico
Guía de Administración sitios web Bibliotecas y Laboratorios Programa BiblioR...
Diagnostigo informatica
Powertp3
Laura21
Tareonomía del web quest
APRENDIZAJE COMUNITARIO EN ESCUELA TIC2.0
Smgp dwbs (diccionario wbs)-v1-docx
tecnoautobiografia
Uso del correo_interno
Suma y resta 2 hasta 20
Repasamos
Art12 lucca
La Diferencia Que Hace La Diferencia(Ce Ce)
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
Inmunodeficiencias
Talleres de reciclaje
La Flauta
Publicidad

Similar a Art8 lucca (20)

PDF
Reporte de topologia 5 y tarea
PDF
Reporte de topologia 5 y tareas
PDF
Analisis funcional expo
PDF
Reporte de topologia 5 y tareas
PDF
Reporte de topologia 5 y tareas
PDF
Art5
PDF
1 4
PDF
Art9 lucca
PDF
Bitácora n° 6 (12 mar a 16 mar)
PDF
Bitácora n° 6 (12 mar a 16 mar)
PDF
Practico1
PDF
Guía de Cálculo (Microeconomía UNAB)
PDF
Tema taylorhermite
PDF
Bitácora n° 7 (19 mar a 23 mar)
PDF
PDF
Practico3
PDF
Tr bases 3
PDF
Formulario De Distribuciones De Probabilidad
PDF
Cálculo Diferencial - Slides 1.pdf
PDF
Monotonas
Reporte de topologia 5 y tarea
Reporte de topologia 5 y tareas
Analisis funcional expo
Reporte de topologia 5 y tareas
Reporte de topologia 5 y tareas
Art5
1 4
Art9 lucca
Bitácora n° 6 (12 mar a 16 mar)
Bitácora n° 6 (12 mar a 16 mar)
Practico1
Guía de Cálculo (Microeconomía UNAB)
Tema taylorhermite
Bitácora n° 7 (19 mar a 23 mar)
Practico3
Tr bases 3
Formulario De Distribuciones De Probabilidad
Cálculo Diferencial - Slides 1.pdf
Monotonas

Más de amtlucca (20)

PPTX
Jornadas2018
PPTX
Clase 6
PDF
Tp 1
PPTX
Geometria 3
PPTX
Geometria 2
PPTX
Geometria 1
PPTX
Numeros 3
PPTX
Numeros 2
PPTX
Numeros 1
PPTX
Un tetraedro
PPTX
De trapecios
PPTX
De rombos
PPTX
De cuadrados
PDF
Nc cuarto cuadrante
PDF
Nc tercer cuadrante
PDF
Nc segundo cuadrante
PDF
Nc primer cuadrante
PDF
De radianes a grados
PDF
De grados a radianes
PDF
Cuadrante iv
Jornadas2018
Clase 6
Tp 1
Geometria 3
Geometria 2
Geometria 1
Numeros 3
Numeros 2
Numeros 1
Un tetraedro
De trapecios
De rombos
De cuadrados
Nc cuarto cuadrante
Nc tercer cuadrante
Nc segundo cuadrante
Nc primer cuadrante
De radianes a grados
De grados a radianes
Cuadrante iv

Último (20)

PDF
Aqui No Hay Reglas Hastings-Meyer Ccesa007.pdf
DOC
4°_GRADO_-_SESIONES_DEL_11_AL_15_DE_AGOSTO.doc
PDF
Modelo Educativo SUB 2023versión final.pdf
PDF
ciencia_tecnologia_sociedad Mitcham Carl. (1994)..pdf
PDF
El Genero y Nuestros Cerebros - Gina Ripon Ccesa007.pdf
PDF
MODULO I ENFERMERIA BASICA.pdf HIstoria en enfermeria
PPTX
BIZANCIO. EVOLUCIÓN HISTORICA, RAGOS POLÍTICOS, ECONOMICOS Y SOCIALES
PDF
Jodorowsky, Alejandro - Manual de Psicomagia.pdf
PDF
Texto Digital Los Miserables - Victor Hugo Ccesa007.pdf
PDF
Introduccion a la Investigacion Cualitativa FLICK Ccesa007.pdf
PDF
Los hombres son de Marte - Las mujeres de Venus Ccesa007.pdf
PPTX
RESUMENES JULIO - QUIRÓFANO HOSPITAL GENERAL PUYO.pptx
PDF
Uso de la Inteligencia Artificial en la IE.pdf
PDF
E1 Guía_Matemática_5°_grado.pdf paraguay
PDF
RM2025 - FUNDAMENTOS TEÓRICOS - PEDIATRÍA.pdf
PDF
Lo que hacen los Mejores Profesores de la Universidad - Ken Bain Ccesa007.pdf
PPTX
4. Qué es un computador PARA GRADO CUARTO.pptx
PDF
LIBRO 2-SALUD Y AMBIENTE-4TO CEBA avanzado.pdf
DOCX
Programa_Sintetico_Fase_4.docx 3° Y 4°..
PDF
Las Matematicas y el Pensamiento Cientifico SE3 Ccesa007.pdf
Aqui No Hay Reglas Hastings-Meyer Ccesa007.pdf
4°_GRADO_-_SESIONES_DEL_11_AL_15_DE_AGOSTO.doc
Modelo Educativo SUB 2023versión final.pdf
ciencia_tecnologia_sociedad Mitcham Carl. (1994)..pdf
El Genero y Nuestros Cerebros - Gina Ripon Ccesa007.pdf
MODULO I ENFERMERIA BASICA.pdf HIstoria en enfermeria
BIZANCIO. EVOLUCIÓN HISTORICA, RAGOS POLÍTICOS, ECONOMICOS Y SOCIALES
Jodorowsky, Alejandro - Manual de Psicomagia.pdf
Texto Digital Los Miserables - Victor Hugo Ccesa007.pdf
Introduccion a la Investigacion Cualitativa FLICK Ccesa007.pdf
Los hombres son de Marte - Las mujeres de Venus Ccesa007.pdf
RESUMENES JULIO - QUIRÓFANO HOSPITAL GENERAL PUYO.pptx
Uso de la Inteligencia Artificial en la IE.pdf
E1 Guía_Matemática_5°_grado.pdf paraguay
RM2025 - FUNDAMENTOS TEÓRICOS - PEDIATRÍA.pdf
Lo que hacen los Mejores Profesores de la Universidad - Ken Bain Ccesa007.pdf
4. Qué es un computador PARA GRADO CUARTO.pptx
LIBRO 2-SALUD Y AMBIENTE-4TO CEBA avanzado.pdf
Programa_Sintetico_Fase_4.docx 3° Y 4°..
Las Matematicas y el Pensamiento Cientifico SE3 Ccesa007.pdf

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.