IIC 2252 - Matemtica Discreta a

L. Dissett Clase 13 Funciones. Cardinalidad. El argumento de Cantor.

c Luis Dissett V.

P.U.C. Chile, 2003

Funciones
Denicin 1. Una relacin f A B es llamada una funcin de A en B (en o o o s mbolos, f : A B) si , dado cualquier x A, existe un unico y B tal que (x, y) f . Notacin. Dado x A, denotamos por f (x) al unico y B tal que (x, y) f . o

Tipos de funciones
Una funcin f : A B es: o Inyectiva (o 1-1) si, dados x, y A, f (x) = f (y) x = y. Epiyectiva (o sobreyectiva, o simplemente sobre) si, dado cualquier y B, existe algn x A tal que y = f (x). u Biyectiva (o biyeccin, o correspondencia biun o voca) si es inyectiva y epiyectiva. Estamos especialmente interesado en las biyecciones.
c Luis Dissett.

P.U.C. Chile, 2003

Cardinalidad
Intuitivamente, contar los elementos de un conjunto A signica poner en correspondencia el conjunto A con los elementos de un conjunto de referencia. Formalmente, diremos lo siguiente: Denicin 2. Dados dos conjuntos A y B, stos tienen la misma cantidad de o e elementos si existe una biyeccin f : A B. o En este caso tambin se dice que A y B son equinumerosos, o equipotentes, lo e que denotaremos por A B. Teorema. La relacin es una relacin de equivalencia. o o Denicin 3. Sea A un conjunto cualquiera. El cardinal de A (que anotamos |A|) o es su clase de equivalencia por la relacin de equinumerosidad. o T picamente, usamos algn miembro de |A| para denotar la clase entera. u

c Luis Dissett.

P.U.C. Chile, 2003

Conjuntos nitos e innitos

Recordemos que un elemento de N es de la forma n = {0, 1, 2, . . . , n 1} . Denicin 4. Un conjunto se dice nito si es equinumeroso con algn n N. En o u este caso, diremos que la cardinalidad de A es n: |A| = n. Un conjunto que no es nito se dice (sorpresa) innito.

c Luis Dissett.

P.U.C. Chile, 2003

Caracterizando los conjuntos nitos

Sea A un conjunto nito, y sea f : A A. Es posible demostrar que: si f es 1-1 entonces es sobre. si f es sobre entonces es 1-1. Ms an: si A es un conjunto cualquiera, tal que toda funcin 1-1 f : A A a u o es sobre (o que toda funcin sobre f : A A es 1-1), entonces A es nito. o

Conjunto numerables
Un conjunto equinumeroso con N se dice numerable. Claramente, todo conjunto numerable es innito. Ser verdad el rec a proco?

c Luis Dissett.

P.U.C. Chile, 2003

Ejemplos de conjuntos numerables

Algunos de los conjuntos que pueden ser puestos en correspondencia biun voca con N: P, el conjunto de los naturales pares: P = {2n : n N} . I, el conjunto de los naturales impares: P = {2n + 1 : n N} . , el conjunto de los nmeros primos: u = {2, 3, 5, 7, 11, 13, 17, 19, 23, . . . } . Estos ejemplos pueden aparecer anti-intuitivos a primera vista, ya que estos conjuntos son todos subconjuntos propios de N. Esperar amos que tuvieran cardinalidad menor que la de N.
c Luis Dissett.

P.U.C. Chile, 2003

Caracterizaciones de numerabilidad
Una manera de caracterizar los conjuntos numerables es la siguiente: Un conjunto A es numerable si y slo si es posible escribir A como una o lista innita: A = {a1, a2, a3, . . . } . En otras palabras, existe una sucesin o (a1, a2, a3, . . . ) de elementos de A con la propiedad de que todo elemento de A aparece en algn u momento en dicha sucesin. o En trminos algor e tmicos, podemos pensar esto como que existe un algoritmo1 que genera un elemento de A, luego otro, y as sucesivamente, de modo que todo elemento de A es generado en algn momento por este algoritmo. u
1

Aunque este algoritmo nunca termina . . .

c Luis Dissett.

P.U.C. Chile, 2003

Los racionales
Es Q numerable? Argumento (intuitivo) en contra: Parece haber demasiados racionales ms que naturales. Entre dos naturales a consecutivos siempre hay una cantidad innita de racionales! Sin embargo, es posible hacer una lista (innita) en que cada racional aparezca (exactamente) una vez: Q= 1 1 2 1 3 1 2 3 4 , , , , , , , , ,... 1 2 1 3 1 4 3 2 1 .

O sea, Q es numerable.

c Luis Dissett.

P.U.C. Chile, 2003

Los reales
Ser verdad que R es numerable? a Se puede demostrar que ni siquiera el intervalo cerrado [0, 1] es numerable . . .

Demostracin o
Supongamos que [0, 1] es numerable. Entonces, es posible escribir [0, 1] = {r0, r1, r2, . . . } donde: r0 = 0.c00c01c02c03c04 r1 = 0.c10c11c12c13c14 r2 = 0.c20c21c22c23c24 r3 = 0.c30c31c32c33c34 . . donde cij {0, . . . , 9}.
c Luis Dissett.

P.U.C. Chile, 2003

Demostracin (cont.) o
Pero entonces el real r := 0.d0d1d2d3d4 donde di := (cii + 5) mod 10 no aparece en la lista . . . Ejercicio. Dnde falla el argumento aqu presentado al tratar de demostrar de o la misma manera que Q [0, 1] no es numerable?

c Luis Dissett.

P.U.C. Chile, 2003

El argumento de Cantor
El argumento presentado antes es llamado la diagonalizacin de Cantor o o argumento diagonal de Cantor . El teorema presentado es un caso particular del siguiente: Teorema (Cantor). Sea A un conjunto cualquiera. Entonces no hay ninguna biyeccin entre A y P(A). o

c Luis Dissett.

10

P.U.C. Chile, 2003

El problema de la detencin o
El argumento diagonal de Cantor tiene aplicaciones a Ciencia de la Computacin. o Por ejemplo, se le usa para probar que es imposible escribir un programa cuya entrada sea un par (P, A) (donde P es un programa y A un archivo de datos) y decida si el programa P se detendr al ser ejecutado con entrada A. a

c Luis Dissett.

11

P.U.C. Chile, 2003