Cardinalidad

Conjuntos de Funciones
Hans Muller Santa Cruz
http://hansmullersantacruz.blogspot.com

Carreras de Matematica Universidad Mayor de San Simon

Cardinalidad, 15 de noviembre de 2012 p. 1/20

Introduccin

Introduccin
Intuitivamente:

Introduccin
Intuitivamente: la Cardinalidad de un conjunto

Introduccin
Intuitivamente: la Cardinalidad de un conjunto se relaciona con el nmero de elementos del conjunto.

Introduccin
Intuitivamente: la Cardinalidad de un conjunto se relaciona con el nmero de elementos del conjunto. El concepto es claro para conjuntos nitos,

Introduccin
Intuitivamente: la Cardinalidad de un conjunto se relaciona con el nmero de elementos del conjunto. El concepto es claro para conjuntos nitos, pero no lo es para conjuntos no nitos.

Cardinalidad, 15 de noviembre de 2012 p. 2/20

Introduccin

Introduccin
Una de las primeras cosas que el Hombre ha aprendido es:

Introduccin
Una de las primeras cosas que el Hombre ha aprendido es: Contar.

Introduccin
Una de las primeras cosas que el Hombre ha aprendido es: Contar. Y contar un conjunto A es encontrar

Introduccin
Una de las primeras cosas que el Hombre ha aprendido es: Contar. Y contar un conjunto A es encontrar un conjunto {1, 2, . . . , n} N y una biyeccin f : {1, 2, . . . , n} A.

Introduccin
Una de las primeras cosas que el Hombre ha aprendido es: Contar. Y contar un conjunto A es encontrar un conjunto {1, 2, . . . , n} N y una biyeccin f : {1, 2, . . . , n} A. De esta manera, se dice que A tiene n elementos o su cardinal, card(A) = |A| = n

Cardinalidad, 15 de noviembre de 2012 p. 3/20

Introduccin
Una de las primeras cosas que el Hombre ha aprendido es: Contar.

Introduccin
Una de las primeras cosas que el Hombre ha aprendido es: Contar. Decidir si un conjunto A es ms numeroso que un conjunto B

Introduccin
Una de las primeras cosas que el Hombre ha aprendido es: Contar. Decidir si un conjunto A es ms numeroso que un conjunto B y un conjunto A es menos numeroso que B, si se puede encontrar una inyeccin f : A B

Introduccin
Una de las primeras cosas que el Hombre ha aprendido es: Contar. Decidir si un conjunto A es ms numeroso que un conjunto B y un conjunto A es menos numeroso que B, si se puede encontrar una inyeccin f : A B
Ao
f

/ {1, 2, . . . , n}  / {1, 2, . . . , m}

 Bo

Introduccin
Una de las primeras cosas que el Hombre ha aprendido es: Contar. Decidir si un conjunto A es ms numeroso que un conjunto B y un conjunto A es menos numeroso que B, si se puede encontrar una inyeccin f : A B
Ao
f

/ {1, 2, . . . , n}  / {1, 2, . . . , m}

 Bo es decir, card(A) card(B).

Cardinalidad, 15 de noviembre de 2012 p. 4/20

Introduccin

Introduccin
En esta exposicin se abordar:

Introduccin
En esta exposicin se abordar: la cardinalidad de conjuntos de funciones

Introduccin
En esta exposicin se abordar: la cardinalidad de conjuntos de funciones AB = {f : B A} =
iB

Introduccin
En esta exposicin se abordar: la cardinalidad de conjuntos de funciones AB = {f : B A} =
iB

para A o B conjuntos no nitos.

Cardinalidad, 15 de noviembre de 2012 p. 5/20

Historia

Historia

Georg Cantor

Historia
(San Petersburgo, 3 de marzo de 1845 - Halle, 6 de enero de 1918) fue un matemtico alemn, inventor con Dedekind y Frege de la teora de conjuntos, que es la base de las matemticas modernas. Gracias a sus atrevidas investigaciones sobre los conjuntos innitos fue el primero capaz de formalizar la nocin de innito bajo la forma de los nmeros transnitos (cardinales y ordinales).

Georg Cantor

Cardinalidad, 15 de noviembre de 2012 p. 6/20

Historia
En cuanto al estudio de los conjuntos innitos, que fue considerado por su maestro Kronecker como una locura matemtica, Cantor descubri que aquellos no tienen siempre el mismo tamao, o sea el mismo cardinal: por ejemplo, el conjunto de los racionales es enumerable, es decir, del mismo tamao que el conjunto de los naturales, mientras que el de los reales no lo es: existen, por lo tanto, varios innitos, ms grandes los unos que los otros. Entre estos innitos, los hay tan grandes que no tienen correspondencia en el mundo real, asimilado al espacio vectorial R3 .

Georg Cantor

Cardinalidad, 15 de noviembre de 2012 p. 7/20

Historia
Su mente luch contra varias paradojas de la teora de los conjuntos, que parecan invalidar toda su teora (tornarla inconsistente o contradictoria en el sentido de que una cierta propiedad podra ser a la vez cierta y falsa). Adems, trat durante muchos aos de probar la hiptesis del continuo, lo que se sabe hoy que es imposible, y que tiene que ser aceptada (o rehusada) como axioma adicional de la teora. El constructivismo negar este axioma, entre otras cosas, desarrollando toda una teora matemtica alternativa a la matemtica moderna.

Georg Cantor

Cardinalidad, 15 de noviembre de 2012 p. 8/20

Elementos Tericos

Elementos Tericos
Sean A y B conjuntos, se dice:

Elementos Tericos
Sean A y B conjuntos, se dice: A es equipotente a B, A B, si existe f : A B biyectiva. Si es el caso, A y B tienen el mismo cardinal card(A) = card(B)

Elementos Tericos
Sean A y B conjuntos, se dice: A es equipotente a B, A B, si existe f : A B biyectiva. Si es el caso, A y B tienen el mismo cardinal card(A) = card(B) A es menos numeroso que B, A inyectiva. B, si existe f : A B

Elementos Tericos
Sean A y B conjuntos, se dice: A es equipotente a B, A B, si existe f : A B biyectiva. Si es el caso, A y B tienen el mismo cardinal card(A) = card(B) A es menos numeroso que B, A inyectiva. B, si existe f : A B

A es contable si E {1, 2, . . . , n}, para cierto n N.

Elementos Tericos
Sean A y B conjuntos, se dice: A es equipotente a B, A B, si existe f : A B biyectiva. Si es el caso, A y B tienen el mismo cardinal card(A) = card(B) A es menos numeroso que B, A inyectiva. B, si existe f : A B

A es contable si E {1, 2, . . . , n}, para cierto n N. A es enumerable si A N y card((N ) = 0

Elementos Tericos
Sean A y B conjuntos, se dice: A es equipotente a B, A B, si existe f : A B biyectiva. Si es el caso, A y B tienen el mismo cardinal card(A) = card(B) A es menos numeroso que B, A inyectiva. B, si existe f : A B

A es contable si E {1, 2, . . . , n}, para cierto n N. A es enumerable si A N y card((N ) = 0 A es a lo ms enumerable si A es contable o A es enumerable.

Cardinalidad, 15 de noviembre de 2012 p. 9/20

Elementos Tericos

Elementos Tericos
Se muestra para conjuntos enumerables:

Elementos Tericos
Se muestra para conjuntos enumerables: A y B enumerables, entonces A B enumerable

Elementos Tericos
Se muestra para conjuntos enumerables: A y B enumerables, entonces A B enumerable {Ai }iN familia enumerable de conjuntos enumerables, entonces

An N
n=1 n

N N N y
k=1

N N, para n N.

Elementos Tericos
Se muestra para conjuntos enumerables: A y B enumerables, entonces A B enumerable {Ai }iN familia enumerable de conjuntos enumerables, entonces

An N
n=1 n

N N N y
k=1

N N, para n N. NNN

Pero, NN =
kN

Cardinalidad, 15 de noviembre de 2012 p. 10/20

Elementos Tericos
Para el tratamiento de conjuntos no nitos, son equivalentes:

Elementos Tericos
Para el tratamiento de conjuntos no nitos, son equivalentes:
Axioma de la Eleccin.- Toda familia no vacia {Ai }iI de subconjuntos no vacios de un conjunto A admite una funcin de eleccin f :IA i ai Ai . Lema de Zorn.- Todo conjunto no vacio con orden inductivo admite un elemento maximal. Teorema del Buen Orden.- Todo conjunto puede ser dotado de una relacin de buen orden

Elementos Tericos
Para el tratamiento de conjuntos no nitos, son equivalentes:
Axioma de la Eleccin.- Toda familia no vacia {Ai }iI de subconjuntos no vacios de un conjunto A admite una funcin de eleccin f :IA i ai Ai . Lema de Zorn.- Todo conjunto no vacio con orden inductivo admite un elemento maximal. Teorema del Buen Orden.- Todo conjunto puede ser dotado de una relacin de buen orden

Estos tres enunciados son las herramientas bsicas para construir la teora de los nmeros cardinales transnitos

Cardinalidad, 15 de noviembre de 2012 p. 11/20

Elementos Tericos
Otras herramientas tiles:

Elementos Tericos
Otras herramientas tiles:
Teorema de Equivalencia de Bernstein.- Sean A y B conjuntos f : A B, g : B A funciones inyectivas; entonces, existe una biyeccin entre A y B

Elementos Tericos
Otras herramientas tiles:
Teorema de Equivalencia de Bernstein.- Sean A y B conjuntos f : A B, g : B A funciones inyectivas; entonces, existe una biyeccin entre A y B Caracterizacin de conjuntos innitos.- Son equivalentes las siguientes condiciones para un conjunto innito A: N A, A, tal que A A. Para todo n N, A {1, 2, . . . , n} Existe A

Cardinalidad, 15 de noviembre de 2012 p. 12/20

Elementos Tericos

Elementos Tericos
Se muestra para conjuntos innitos:

Elementos Tericos
Se muestra para conjuntos innitos: A B, entonces A B B

Elementos Tericos
Se muestra para conjuntos innitos: A B, entonces A B B A, entonces

{Ai }iA familia de conjuntos con Ai Ai

iA n

AAA

y
k=1

A A, para n N.

Cardinalidad, 15 de noviembre de 2012 p. 13/20

Cardinales de Conjuntos Potencia

Cardinales de Conjuntos Potencia

Para un conjunto innito E, E P(E) = {E |E E}

Cardinales de Conjuntos Potencia

Para un conjunto innito E, E P(E) = {E |E E}
Demostacin.- Por el absurdo, suponemos que existe una biyeccin f : E P(E)

Cardinales de Conjuntos Potencia

Para un conjunto innito E, E P(E) = {E |E E}
Demostacin.- Por el absurdo, suponemos que existe una biyeccin f : E P(E) Construimos el subconjunto E de E, bajo la siguiente regla: x E si x f (x), x E si x f (x).

Cardinales de Conjuntos Potencia

Para un conjunto innito E, E P(E) = {E |E E}
Demostacin.- Por el absurdo, suponemos que existe una biyeccin f : E P(E) Construimos el subconjunto E de E, bajo la siguiente regla: x E si x f (x), x E si x f (x).

Por construccin no existe x E, tal que f (x) = E , lo que contradice la hipteis que f es biyectiva.

Cardinalidad, 15 de noviembre de 2012 p. 14/20

Conjuntos de Funciones

Conjuntos de Funciones
Sea E un conjunto, consideramos 2E = {0, 1}E

Conjuntos de Funciones
Sea E un conjunto, consideramos 2E = {0, 1}E Sea A E, recordamos 1 si x A A (x) = 0 si x A la funcin caracterstica del subconjunto A.

Conjuntos de Funciones
Sea E un conjunto, consideramos 2E = {0, 1}E Sea A E, recordamos 1 si x A A (x) = 0 si x A la funcin caracterstica del subconjunto A. Deducimos que 2E P(E).

Cardinalidad, 15 de noviembre de 2012 p. 15/20

Conjuntos de Funciones

Conjuntos de Funciones
Sean A, E conjuntos con A E.

Conjuntos de Funciones
Sean A, E conjuntos con A E. Tenemos P(E) 2E AE EE .

Conjuntos de Funciones
Sean A, E conjuntos con A E. Tenemos P(E) 2E AE EE .

Ahora bien E E G(E) = { E E| grafo funcin}

Conjuntos de Funciones
Sean A, E conjuntos con A E. Tenemos P(E) 2E AE EE .

Ahora bien E E G(E) = { E E| grafo funcin} G(E) P(E E) P(E).

Conjuntos de Funciones
Sean A, E conjuntos con A E. Tenemos P(E) 2E AE EE .

Ahora bien E E G(E) = { E E| grafo funcin} G(E) P(E E) P(E). E, 2E AE E E P(E).

Por lo tanto, para A

Cardinalidad, 15 de noviembre de 2012 p. 16/20

Conjuntos de funciones

Conjuntos de funciones
2N es el conjunto de sucesiones que toman valores 1 o 0. Sea x 2N , consideramos la aplicacin 2N [0, 1] R
+

k=1

x(k) . k 2

Conjuntos de funciones
2N es el conjunto de sucesiones que toman valores 1 o 0. Sea x 2N , consideramos la aplicacin 2N [0, 1] R
+

k=1

x(k) . k 2

Esto muestra que [0, 1] P(N) y

Conjuntos de funciones
2N es el conjunto de sucesiones que toman valores 1 o 0. Sea x 2N , consideramos la aplicacin 2N [0, 1] R
+

k=1

x(k) . k 2

Esto muestra que [0, 1] P(N) y como [0, 1] R, tenemos R P(N).

Conjuntos de funciones
2N es el conjunto de sucesiones que toman valores 1 o 0. Sea x 2N , consideramos la aplicacin 2N [0, 1] R
+

k=1

x(k) . k 2

Esto muestra que [0, 1] P(N) y como [0, 1] R, tenemos R P(N). card(N) = 0 , card(R) = 1

Cardinalidad, 15 de noviembre de 2012 p. 17/20

Hiptesis del Continuo

Hiptesis del Continuo

Hiptesis del Continuo.- Sea E un conjunto, si N E R, entonces E N o E R.

Hiptesis del Continuo

Hiptesis del Continuo.- Sea E un conjunto, si N E R, entonces E N o E R. Hiptesis del Continuo General.- Sean A y E conjuntos, si E A P(E), entonces A E o A P(E).

Cardinalidad, 15 de noviembre de 2012 p. 18/20

Ms Conjuntos de Funciones

Ms Conjuntos de Funciones
Sea E un conjunto, supongamos que existe E tal que ) EE E P(E

Ms Conjuntos de Funciones
Sea E un conjunto, supongamos que existe E tal que ) EE E P(E B otro conjunto, con B E

Ms Conjuntos de Funciones
Sea E un conjunto, supongamos que existe E tal que ) EE E P(E B otro conjunto, con B E Por la hiptesis del continuo general, B E

Ms Conjuntos de Funciones
Sea E un conjunto, supongamos que existe E tal que ) EE E P(E B otro conjunto, con B E Por la hiptesis del continuo general, B Ahora bien, EB (E E )B

E EE

(E B) E

E.

Ms Conjuntos de Funciones
Sea E un conjunto, supongamos que existe E tal que ) EE E P(E B otro conjunto, con B E Por la hiptesis del continuo general, B Ahora bien, EB (E E )B

E EE

(E B) E

E.

Ms Conjuntos de Funciones
Sea E un conjunto, supongamos que existe E tal que ) EE E P(E B otro conjunto, con B E Por la hiptesis del continuo general, B Ahora bien, EB (E E )B

E EE

(E B) E

E.

Ms Conjuntos de Funciones
Sea E un conjunto, supongamos que existe E tal que ) EE E P(E B otro conjunto, con B E Por la hiptesis del continuo general, B Ahora bien, EB (E E )B

E EE

(E B) E

E.

B E E B , cuando E = P(E ).

Cardinalidad, 15 de noviembre de 2012 p. 19/20

Finalmente
Esta presentacin ha sido hecha con Prosper

Finalmente
Esta presentacin ha sido hecha con Prosper

Muchas Gracias

Finalmente
Esta presentacin ha sido hecha con Prosper

Muchas Gracias
Alguna Pregunta

Cardinalidad, 15 de noviembre de 2012 p. 20/20