Conjuntos Parte 2

Relaciones y funciones
Una relación es un conjunto de pares ordenados.
Que , significa que está relacionado por con
El dominio de una relación R es el conjunto de todos los

primeros elementos de los pares ordenados que
pertenecen a R.
El rango es el conjunto de todos los segundos elementos

de los pares ordenados que pertenecen a R.

pertenecen a R.


pertenecen a R.


pertenecen a R.

Como todo conjunto, una relación puede ser definida por
extensión
extensión
donde es la relación sucesor en el conjunto

extensión
donde es la relación sucesor en el conjunto
Es una relación en porque:

O puede ser definida por comprensión
En general, si
Decimos que
Una relación contiene a todos los pares ordenados que cumplen

la condición que la define.
En general, si
Decimos que

En general, si
Decimos que

Toda relación de los elementos de A hacia los elementos de B es
un subconjunto de .
Esto significa que toda relación posible es un elemento de .

Supongamos que R es una relación que cumple la siguiente
condición:
Si y son elementos de R, entonces .

Supongamos que R es una relación que cumple la siguiente
condición:
Si y son elementos de R, entonces .
En este caso, y sólo en este caso, diremos que R es una función

Una función es una relación que asigna a cada elemento del
dominio un único elemento del rango.
Adoptaremos la convención de simbolizar las funciones con .
Si es una función, la expresión ‘’ es sinónima con la más familiar

‘’.
A los elementos del rango de una función se los llama imágenes

de los elementos del dominio.

‘’.


‘’.


‘’.

Tipos de funciones
Decimos que es una función de , que simbolizaremos , si el
dominio de la función es A y su codominio es B.
Tipos de funciones
A B
1 a
2 b
3 c
d
Tipos de funciones
A B
1 a
2 b
3 c
d
Tipos de funciones
A B
1 a
2 b
3 c
d
Tipos de funciones
Decimos que una función de , si B es el rango de . Es decir, si cada
elemento de B es imagen de algún elemento del dominio.
Tipos de funciones
Decimos que una función de , si B es el rango de . Es decir, si
cada elemento de B es imagen de algún elemento del dominio.
A B
1 a
2 b
3
Tipos de funciones
A B
1 a
2 b
3
Tipos de funciones
A B
1 a
2 b
3
Tipos de funciones
Decimos que una función , si a elementos diferentes del dominio le
corresponden elementos diferentes del rango.
Tipos de funciones
Decimos que una función , si a elementos diferentes del dominio
le corresponden elementos diferentes del rango.
A B
a
1 b
2 c
3 d
Tipos de funciones
Decimos que una función , si a elementos diferentes del dominio
le corresponden elementos diferentes del rango.
A B
a
1 b
2 c
3 d
Tipos de funciones
Decimos que una función , si es inyectiva y sobreyectiva. Cuando esto
ocurre escribiremos
A B
a
1 b
2 c
3 d
Tipos de funciones
Decimos que una función , si es inyectiva y sobreyectiva. Cuando esto
ocurre escribiremos
A B
a
1
b
2
c
3
Tipos de funciones
Decimos que una función , si es inyectiva y sobreyectiva.
Cuando esto ocurre escribiremos
A B
a
1
b
2
c
3
Tipos de funciones
Decimos que una función , si es inyectiva y sobreyectiva.
Cuando esto ocurre escribiremos
A B
a
1
b
2
c
3
Conjuntos finitos e infinitos
De acuerdo a la cantidad de elementos que contenga, un conjunto puede
ser finito o infinito. Para entender esta idea hay que entender qué significa
que un conjunto tenga una determinada cantidad de elementos, y esto nos
conduce a analizar el proceso de contar. ¿Qué hacemos al contar? Por
ejemplo: levanto el pie derecho y digo ‘uno’, luego el izquierdo y digo ‘dos’.
Como ya no puedo levantar ningún otro pie que no haya levantado antes,
afirmo ‘tengo dos pies’. Otro ejemplo: recorro con la mirada los dedos de mi
mano, y por cada dedo al que presto atención digo en voz alta un numero de
la serie ‘1, 2, 3…’, y me detengo en 5. Así, digo ‘tengo cinco dedos’. Lo que
hacemos al contar, entonces, es correlacionar objetos con números. Y tal
correlación, pensada como una relación funcional, es una biyección, ya que
cada objeto se relaciona con un único número y cada número con un único
objeto. Generalizando esta idea, diremos que un conjunto tiene n elementos
si puede ser biyectado con el conjunto de los números naturales de 1 a n.
Un conjunto A es finito si hay un número natural n tal que A tiene n
elementos.
Un conjunto tiene n elementos si puede ser biyectado con el conjunto de los

números naturales de 1 a n.
Si tal número n no existe, el conjunto A es infinito.
La segunda idea que podemos extraer es que dos conjuntos A y B tienen la

misma cantidad de elementos si entre ellos existe una biyección. Esto es
particularmente importante, ya que permite comparar el tamaño de los
conjuntos utilizando funciones. Para ver cómo, empecemos diciendo que la
cantidad de elementos de A es su número cardinal, representado con ‘’.
Entonces, dados dos conjuntos cualesquiera A y B
Comparación de tamaño
¿Todos los infinitos tienen el mismo tamaño?
El cardinal de los números naturales se conoce como
¿El conjunto de los pares es ?

¿Y el de los impares?

intuitivamente, NO
¿Y el de los impares?
Cardinal de los pares
1 → 2
2 → 4
→¿2𝑛¿
3 → 6
… ¿ ¿
1 → 2
2 → 4
→¿2𝑛¿
3 → 6
… ¿ ¿
Así, el cardinal de los pares es

Cardinal de los impares
1 → 1
2 → 3
→¿2𝑛−1¿
3 → 5
… ¿ ¿
1 → 1
2 → 3
→¿2𝑛−1¿
3 → 5
… ¿ ¿
El cardinal de los impares es

A partir de lo anterior, podemos inferir las siguientes igualdades








¿Es el infinito más grande?

Consideremos el intervalo de números reales
El cardinal de cualquier intervalo de reales se conoce como el

continuo,
es un conjunto infinito

continuo,

continuo,
¿?
1 ¿0, 𝑥1,1 𝑥1,2 𝑥1,3 … 𝑥1,𝑛 …

2 ¿0, 𝑥2,1 𝑥2,2 𝑥2,3 … 𝑥2,𝑛 …
𝑥𝑛,2 ¿𝑥𝑛,3 ¿…¿𝑥𝑛,𝑛 ¿…¿…¿¿¿¿¿¿¿¿¿
3 ¿0, 𝑥3,1 𝑥3,2 𝑥3,3 … 𝑥3,𝑛 …
… ¿ ¿ ¿ ¿ 𝑛 ¿0, ¿
¿Hay algún número real entre 0 y 1 que no esté en la lista?

1 ¿0, 𝑥1,1 𝑥1,2 𝑥1,3 … 𝑥1,𝑛 …

2 ¿0, 𝑥2,1 𝑥2,2 𝑥2,3 … 𝑥2,𝑛 …
𝑥𝑛,2 ¿𝑥𝑛,3 ¿…¿𝑥𝑛,𝑛 ¿…¿…¿¿¿¿¿¿¿¿¿
3 ¿0, 𝑥3,1 𝑥3,2 𝑥3,3 … 𝑥3,𝑛 …
… ¿ ¿ ¿ ¿ 𝑛 ¿0, ¿
Se obtiene al menos un número real que no está en la lista.

Teorema de Cantor
Teorema de Cantor
La prueba tiene dos pasos. Siendo A un conjunto cualquiera:
Paso 1: probar que
Paso 2: probar que

Teorema de Cantor
La prueba tiene dos pasos. Siendo A un conjunto cualquiera:
Paso 1: probar que
Paso 2: probar que

Teorema de Cantor
Teorema de Cantor
Paso 1:
Sea A un conjunto cualquiera, finito o infinito.

Para todo , hay un conjunto , definido como . Así, la función ,
definida como es inyectiva. Por lo tanto,
Teorema de Cantor
Paso 1:

Teorema de Cantor
Paso 1:

Teorema de Cantor
Paso 2:
Supongamos que
Luego, debe haber una biyección entre A y .
El conjunto de todos los miembros de A que no pertenecen a su imagen es un subconjunto de A.
Por nuestro supuesto, hay un b tal miembro, entonces .
¿b pertenece a su imagen?
Dado que es un miembro de , tiene sentido preguntarse si pertenece a . Y pueden ocurrir dos cosas:
que , o que –pero no ambas –. Si suponemos lo primero, que , tenedo, que , tenemos que cumple
con la condición que deben cumplir los miembros de . Así, . Por lo tanto, si , entonces , y si ,
entonces . Pero esto es absurdo. Luego, el s
Teorema de Cantor
Paso 2:
Supongamos que
El conjunto de todos los miembros de A que no pertenecen a su imagen es un

subconjunto de A.
Dado que es un miembro de , tiene sentido preguntarse si pertenece a . Y pueden
ocurrir dos cosas: que , o que –pero no ambas –. Si suponemos lo primero, que ,
tenedo, que , tenemos que cumple con la condición que deben cumplir los miembros
de . Así, . Por lo tanto, si , entonces , y si , entonces . Pero esto es absurdo. Luego, el s
Teorema de Cantor
Paso 2:
Supongamos que
El conjunto de todos los miembros de A que no pertenecen a su imagen es un

subconjunto de A.
Dado que es un miembro de , tiene sentido preguntarse si pertenece a . Y pueden
ocurrir dos cosas: que , o que –pero no ambas –. Si suponemos lo primero, que ,
tenedo, que , tenemos que cumple con la condición que deben cumplir los miembros
de . Así, . Por lo tanto, si , entonces , y si , entonces . Pero esto es absurdo. Luego, el s
Teorema de Cantor
Paso 2:
Supongamos que
El conjunto de todos los miembros de A que no pertenecen a su imagen es un subconjunto de

A.
Dado que es un miembro de , tiene sentido preguntarse si pertenece a . Y pueden ocurrir dos cosas:
que , o que –pero no ambas –. Si suponemos lo primero, que , tenedo, que , tenemos que cumple con la
condición que deben cumplir los miembros de . Así, . Por lo tanto, si , entonces , y si , entonces . Pero esto es
absurdo. Luego, el s
Teorema de Cantor
Paso 2:
Supongamos que

A.
Por nuestro supuesto, hay un b en A tal que .
Dado que es un miembro de , tiene sentido preguntarse si pertenece a . Y pueden ocurrir dos cosas: que ,
o que –pero no ambas –. Si suponemos lo primero, que , tenedo, que , tenemos que cumple con la
condición que deben cumplir los miembros de . Así, . Por lo tanto, si , entonces , y si , entonces . Pero esto
es absurdo. Luego, el s
Teorema de Cantor
Paso 2:
Supongamos que
Dado que es un miembro de , tiene sentido preguntarse si pertenece a . Y pueden ocurrir dos
cosas: que , o que –pero no ambas –. Si suponemos lo primero, que , tenedo, que , tenemos que
cumple con la condición que deben cumplir los miembros de . Así, . Por lo tanto, si , entonces , y
si , entonces . Pero esto es absurdo. Luego, el s
Teorema de Cantor
Paso 2:
Supongamos que
Por el tercero excluido tenemos que: , o que –pero no ambas –. Si suponemos lo primero, que ,
tenemos que . Luego, . Si suponemos lo segundo, que , tenemos que cumple con la condición
que deben cumplir los miembros de . Así, . Por lo tanto, si , entonces , y si , entonces . Pero esto
es absur, el supuesto inicial que nos hizo llegar a este absurdo, , es falso. Esto es lo que
queríamos demostrar.
Teorema de Cantor
Paso 2:
Supongamos que
Si , tenemos que . Luego, .
Si , tenemos que cumple con la condición que deben cumplir los miembros de . Así, . Por lo tanto,
si , entonces , y si , entonces . Pero esto es absurdo. Luego, el supuesto inicial que nos hizo llegar a
este absurdo, , es falso. Esto es lo que queríamos demostrar.
Teorema de Cantor
Paso 2:
Supongamos que
Teorema de Cantor
Paso 2:
Supongamos que
Teorema de Cantor
Paso 2:
Supongamos que
Por lo tanto,
y si , entonces . Pero esto es absurdo. Luego, el supuesto inicial que nos hizo llegar a este absurdo, ,
es falso. Esto es lo que
queríamosdemostrar.hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh
h
Teorema de Cantor
Paso 2:
Supongamos que

A.
Pero esto es absurdo. Luego,
Q.E.D
Teorema de Cantor
A partir de los pasos 1 y 2 podemos concluir
Teorema de Cantor:
Hipótesis del continuo
Ya sabíamos que hay al menos dos cardinales infinitos distintos,
porque
porque
El teorema de Cantor muestra que hay infinitos cardinales infinitos

porque
El teorema de Cantor muestra que hay infinitos cardinales infinitos
Si
Se puede probar que
Se puede probar que
y que
Se puede probar que
y que
De modo que
¿Hay algún cardinal entre y ?

¿Hay algún cardinal entre y ?

Hipótesis del continuo (de Cantor):

No hay un cardinal , tal que

1938: Gödel mostró que no podía ser refutada a partir de los axiomas
de la teoría de conjuntos.
1938: Gödel mostró que no podía ser refutada a partir de los axiomas
de la teoría de conjuntos.
1963: Cohen mostró que no podía ser demostrada

Paradoja de Cantor
Paradoja de Cantor
Dados dos conjuntos cualesquiera A y B,
Si , entonces
Prueba:
1) Supongamos que
2) Dado que todo miembro de A es un miembro de B, la función

identidad está definida y es inyectiva. Por lo tanto, .
Paradoja de Cantor
Dados dos conjuntos cualesquiera A y B,
Si , entonces
Prueba:
1) Supongamos que
2) Dado que todo miembro de A es un miembro de B, la función

identidad está definida y es inyectiva. Por lo tanto, .
Paradoja de Cantor
Ahora sí tenemos todo lo necesario para probar la paradoja de
Cantor.
1) Supongamos que existe el conjunto de todos los conjuntos, .

2) Dado que contiene conjuntos, . Luego .
3) Pero el Teorema de Cantor nos asegura que .
4) Dado que tenemos una contradicción, concluimos que no
existe U.
Paradoja de Cantor
Cantor.

existe U.
Paradoja de Cantor
Cantor.

existe U.
Paradoja de Cantor
Cantor.

existe U.
Paradoja de Cantor
Cantor.

existe U.
Paradoja de Russell
Paradoja de Russell
Paradoja de Russell
Paradoja de Russell
Paradoja de Russell
Paradoja de la predicación
El predicado ‘x es un predicado unario’ es un predicado unario;
en cambio, ‘x es un predicado binario’ no es un predicado binario,
sino unario. Así, algunos predicados se predican de sí mismos y
otros no. Sea Hx el predicado que expresa la propiedad que
tienen en común todos los predicados que no se predican de sí
mismos. Lo anterior se expresa formalmente diciendo que, para
todo predicado P
Dado que esto vale para todo predicado, vale para H. Por lo tanto
Teoría de tipos
Axiomas de ZF
Axiomas de ZF
Intuitivamente, este axioma nos permite afirmar que existe a partir de

la existencia de A y de B.
Axiomas de ZF
Intuitivamente, este axioma nos permite afirmar que existe a partir de

la existencia de A y de B.
Axiomas de ZF
Axiomas de ZF
Existencia de conjunto vacío

Axiomas de ZF

Axiomas de ZF

Axiomas de ZF
Este conjunto es
Por el axioma de extensionalidad es único

Axiomas de ZF
Este conjunto es
Por el axioma de extensionalidad es único

Axiomas de ZF
Este axioma permite derivar la existencia del conjunto unión de

todos los miembros de un conjunto dado. Si el conjunto dado
es , su conjunto unión es .
EJERCICIO: ¿Cuál es la diferencia entre el Axioma 2 y el 4?

Axiomas de ZF
Este axioma permite derivar la existencia del conjunto unión de

todos los miembros de un conjunto dado. Si el conjunto dado
es , su conjunto unión es .
EJERCICIO: ¿Cuál es la diferencia entre el Axioma 2 y el 4?

Axiomas de ZF
En lenguaje natural, el axioma afirma que, dado cualquier

conjunto, existe el conjunto de todos sus subconjuntos.
Es decir, si tenemos un conjunto A, tenemos también .

Axiomas de ZF
En lenguaje natural, el axioma afirma que, dado cualquier

conjunto, existe el conjunto de todos sus subconjuntos.
Es decir, si tenemos un conjunto A, tenemos también .

Axiomas de ZF
Este axioma, aunque en apariencia complejo, nos dice que si es

una función (EJERCICIO: ¿Por qué?), entonces, dado cualquier
conjunto, existe el conjunto de imágenes de sus elementos.
Al igual que el axioma de separación, el axioma de reemplazo es
un axioma esquema. Su importancia reside en permitirnos
separar del codominio el rango de una función. En este sentido,
también presenta analogías con el axioma de separación.
Axiomas de ZF
Este axioma, aunque en apariencia complejo, nos dice que si es

una función (EJERCICIO: ¿Por qué?), entonces, dado cualquier
conjunto, existe el conjunto de imágenes de sus elementos.
Al igual que el axioma de separación, el axioma de reemplazo es
un axioma esquema. Su importancia reside en permitirnos
separar del codominio el rango de una función. En este sentido,
también presenta analogías con el axioma de separación.
Axiomas de ZF
Es decir: todo conjunto no vacío tiene un elemento con el que no

comparte elementos.
La razón por la que se plantea tal axioma es que impide la

existencia de conjuntos que pertenezcan a sí mismos.
Axiomas de ZF
Es decir: todo conjunto no vacío tiene un elemento con el que no

comparte elementos.
La razón por la que se plantea tal axioma es que impide la

existencia de conjuntos que pertenezcan a sí mismos.
Axiomas de ZF
Este axioma nos asegura la existencia de al menos un conjunto

infinito en acto. La similitud con el principio de inducción debe
resultar evidente; de hecho, se puede afirmar que el axioma
expresa que hay un conjunto inductivo.
Axiomas de ZF

Conjuntos Parte 2

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Conjuntos Parte 2

Uploaded by

Copyright:

Available Formats

Relaciones y funciones

Que , significa que está relacionado por con

El dominio de una relación R es el conjunto de todos los

El rango es el conjunto de todos los segundos elementos

Que , significa que está relacionado por con

El dominio de una relación R es el conjunto de todos los

El rango es el conjunto de todos los segundos elementos

Que , significa que está relacionado por con

El dominio de una relación R es el conjunto de todos los

El rango es el conjunto de todos los segundos elementos

Que , significa que está relacionado por con

El dominio de una relación R es el conjunto de todos los

El rango es el conjunto de todos los segundos elementos

donde es la relación sucesor en el conjunto

donde es la relación sucesor en el conjunto

Es una relación en porque:

Una relación contiene a todos los pares ordenados que cumplen

Una relación contiene a todos los pares ordenados que cumplen

Una relación contiene a todos los pares ordenados que cumplen

Esto significa que toda relación posible es un elemento de .

Si y son elementos de R, entonces .

Si y son elementos de R, entonces .

En este caso, y sólo en este caso, diremos que R es una función

Adoptaremos la convención de simbolizar las funciones con .

Si es una función, la expresión ‘’ es sinónima con la más familiar

A los elementos del rango de una función se los llama imágenes

Adoptaremos la convención de simbolizar las funciones con .

Si es una función, la expresión ‘’ es sinónima con la más familiar

A los elementos del rango de una función se los llama imágenes

Adoptaremos la convención de simbolizar las funciones con .

Si es una función, la expresión ‘’ es sinónima con la más familiar

A los elementos del rango de una función se los llama imágenes

Adoptaremos la convención de simbolizar las funciones con .

Si es una función, la expresión ‘’ es sinónima con la más familiar

A los elementos del rango de una función se los llama imágenes

Un conjunto tiene n elementos si puede ser biyectado con el conjunto de los

Si tal número n no existe, el conjunto A es infinito.

La segunda idea que podemos extraer es que dos conjuntos A y B tienen la

¿El conjunto de los pares es ?

¿El conjunto de los pares es ?

¿El conjunto de los pares es ?

Así, el cardinal de los pares es

El cardinal de los impares es

A partir de lo anterior, podemos inferir las siguientes igualdades

A partir de lo anterior, podemos inferir las siguientes igualdades

A partir de lo anterior, podemos inferir las siguientes igualdades

A partir de lo anterior, podemos inferir las siguientes igualdades

A partir de lo anterior, podemos inferir las siguientes igualdades

A partir de lo anterior, podemos inferir las siguientes igualdades

A partir de lo anterior, podemos inferir las siguientes igualdades

A partir de lo anterior, podemos inferir las siguientes igualdades

¿Es el infinito más grande?

¿Es el infinito más grande?

Consideremos el intervalo de números reales

El cardinal de cualquier intervalo de reales se conoce como el

¿Es el infinito más grande?

Consideremos el intervalo de números reales

El cardinal de cualquier intervalo de reales se conoce como el

¿Es el infinito más grande?

Consideremos el intervalo de números reales

El cardinal de cualquier intervalo de reales se conoce como el

¿Es el infinito más grande?

1 ¿0, 𝑥1,1 𝑥1,2 𝑥1,3 … 𝑥1,𝑛 …