Unidad II

Conjuntos

Conjunto: Colección de objetos.

Cuando se estudian conjuntos normalmente se restringe la discusión a elementos y subconjuntos

de un conjunto U llamado Conjunto universal o universo.

Si a es elemento del conjunto A escribimos a Î A , en caso contrario escribimos a Ï A .

Podemos describir un conjunto listando sus elementos, esto es por extensión, en forma explícita,
({1,2,3,4,5}, {1,2,3,…,10}) o enunciando las propiedades de los elementos por comprensión, en
forma implícita ({x|x es entero positivo menor que 10}).

La cardinalidad de un conjunto es el número de elementos del conjunto.

El conjunto que no tiene elementos (vacío) se denota como {} o Æ

Un conjunto A es infinito contable o numerable si existe una correspondencia uno a uno entre
los elementos de A y los elementos de N.

La cardinalidad de un conjunto infinito contable es À0 (Aleph sub cero)

Un conjunto A es subconjunto de B ( A Í B ) si todo elemento de A es elemento de B. En otras

palabras ( A Í B) Û ( x Î A ® x Î B) .

Dos conjuntos A y B son iguales (A=B) si ( A Í B) Ù ( B Í A) , o en otras palabras

( A = B) Û ( x Î A « x Î B) , es decir, si tienen los mismos elementos.

A es subconjunto propio de B ( A Ì B ) si ( A Í B) Ù ( A ¹ B)

Si A es cualquier conjunto:
1. Todo conjunto A Í A , en particular Æ Í Æ .
2. Æ Í A .
3. En general Æ Ï A .
4. {Æ} Î {{Æ}} pero {Æ} Ë {{Æ}} .

Los elementos de un conjunto no tienen restricciones:

Ej.1 A={a, {a},{a,b}} cadinalidad=3, B={ Æ ,{ Æ }} cardinalidad=2.
Ej. 2 A={a,b}, B={{a,b}}, C={{{a,b}}}. Aquí a Î A, a Ï B, A Î B, A Ï C .

1
Operaciones entre conjuntos
A È B = {x | ( x Î A) Ú ( x Î B)} Unión.
A Ç B = {x | ( x Î A) Ù ( x Î B)} Intersección.
A Å B = {x | ( x Î A) Å ( x Î B)} Diferencia simétrica.
A ´ B = {( x, y ) | ( x Î A) Ù ( x Î B)} Producto Cartesiano.
A - B = {x | ( x Î A) Ù ( x Ï B)} Diferencia o complemento relativo.
A = U - A = {x | ( x Î U ) Ù ( x Ï A)} Complemento de A
P(A)=2A= {B | B Í A} Conjunto potencia de A

Ej. P({a,b})={ Æ ,{a},{b},{a,b}}

P( Æ )={ Æ }
Dos conjuntos A y B son disjuntos si A Ç B = Æ
Equivalencias entre conjuntos (Álgebra de conjuntos):
A = A Doble complemento
( A È B) = ( B È A)
Leyes conmutativas
( A Ç B) = ( B Ç A)
( A È B) È C = A È (B È C)
Leyes asociativas
( A Ç B) È C = A Ç (B Ç C)
A È (B Ç C) = ( A È B) Ç ( A È C )
Leyes distributivas
A Ç (B È C) = ( A Ç B) È ( A Ç C )
AÈ A = A
Leyes de idempotencia
AÇ A = A
AÈÆ
= A
A ÈU = U Leyes de identidad (y
AÇÆ = Æ dominación)
= A
A ÇU
AÈ(AÇB) = A
Absorción
AÇ(AÈB) = A
AÈ A = U
Inversas
AÇ A = Æ
AÈ B AÇ B
n n
" Ai = " Ai
i =1 = i =1
Leyes de De’Morgan
AÇ B = AÈ B
n = n
! Ai ! Ai
i =1 i =1

U = Æ
Æ = U

2
Georg Cantor (1845-1918) fue quien prácticamente formuló de manera individual la teoría de conjuntos a
finales del siglo XIX y principios del XX. Su objetivo era el de formalizar las
matemáticas como ya se había hecho con el cálculo cien años antes. Cantor
comenzó esta tarea por medio del análisis de las bases de las matemáticas y
explicó todo basándose en los conjuntos (por ejemplo, la definición de función se
hace estrictamente por medio de conjuntos). Este monumental trabajo logró
unificar a las matemáticas y permitió la comprensión de nuevos conceptos.

El problema apareció cuando se comenzaron a encontrar paradojas en esta teoría,

siendo la más célebre la paradoja de Russell, y más tarde varios matemáticos
encontraron más paradojas, incluyendo al mismo Cantor. Russell descubrió su
paradoja en 1901, y la publicó en un apéndice de su libro "Principios de las
matemáticas". Cuando los matemáticos supieron de esta paradoja, muchos se
preguntaron si las matemáticas en realidad eran consistentes, y sobre todo verdaderas, ya que cualquier
suposición matemática podía basarse en una teoría inconsistente.

La primera propuesta para solucionar el problema de las paradojas provino de

un matemático holandés llamado Brouwer, quien propuso una redefinición
radical de todas las matemáticas y prometió una solución al conflicto. El
programa de Brouwer se basaba en lo más simple de la intuición: el aceptaba los
conceptos que son aparentes a la intuición general. Esta filosofía rechazaba
muchos principios fundamentales de las matemáticas, pero en cambio,
solucionaba satisfactoriamente el problema de las paradojas. A esta corriente de
pensamiento se le llamó intuicionismo.

Luitz Brouwer

Por otro lado, David Hilbert se opuso al intuicionismo y aunque no toleraba las paradojas, no estaba
dispuesto a ver las matemáticas mutiladas. En 1904 propuso la teoría de la prueba,
la cuál era una teoría de la lógica independiente del contexto y podría ser aplicada a
las matemáticas sin encontrar paradojas. Russell a su vez desarrolló su teoría de los
tipos para evitar las paradojas. El proponía que los enunciados se acomodaran
jerárquicamente. Russell publicó sus resultados en 1908 con la colaboración de
Alfred North Whitehead.

David Hilbert

La cuarta respuesta a la paradoja fue de Ernst Zermelo en 1908 con la

axiomatización de la teoría de conjuntos.

Bertrand Arthur William Russell (18 de mayo, 1872 - 2 de febrero, 1970), Tercer Conde de Russell, Orden
del Mérito OM, Fellow de la Royal Society FRS, Premio Nobel de Literatura
1950. Bertrand Russell fue uno de los más distinguidos filósofos y matemáticos
del siglo XX. Escribió sobre una amplia gama de temas, desde los fundamentos
de las matemáticas y la teoría de la relatividad al matrimonio, los derechos de las
mujeres y el pacifismo. La vida de Russell fue apasionada, intensa y larga y se
fraguó un nombre tanto en los círculos de especialistas como entre las multitudes
que o lo seguían con fervor o lo odiaban con intensidad. En matemáticas su gran
contribución es la indudablemente importante Principia Mathematica con Alfred
North Whitehead, libro en tres volúmenes en donde a partir de ciertas nociones

3
básicas de la lógica y la teoría de conjuntos se deduce la totalidad de las matemáticas. Mostrando así el
poder de los lenguajes formales, la posibilidad de modelar las matemáticas y la fertilidad de la lógica. Un
libro profundamente influyente e importante que contribuyó al desarrollo de la lógica, la teoría de
conjuntos, la inteligencia artificial y la computación así como la formación de pensadores de la talla de
David Hilbert, Ludwig Wittgenstein, Alan Turing, Willard Van Orman Quine y Kurt Gödel.

DEFINICIÓN DE PARADOJA

El concepto de paradoja puede entenderse como uno de los siguientes:

1. Una declaración contradictoria que parece ser cierta.

2. Aquello que exhibe aspectos o cualidades contradictorias o inexplicables.
3. Una declaración esencialmente contradictoria basada en un razonamiento válido de suposiciones
lógicas.

Las paradojas han existido en las matemáticas desde sus comienzos y han sido fundamentales para una
formalización más cuidadosa de sus teoremas y leyes. Un ejemplo muy antiguo es la paradoja de Zenón, la
cuál cobró importancia en el desarrollo del cálculo; las paradojas de la teoría de conjuntos han hecho que
los matemáticos cuestionen la consistencia de las matemáticas y vean más allá de lo que hasta ahora se ha
formulado.

PARADOJA DE CANTOR: EL CONJUNTO DE TODOS LOS CONJUNTOS Sea C el conjunto

de todos los conjuntos. Entonces todo subconjunto de C es así mismo un elemento de C; luego, el
conjunto potencia de C es un subconjunto de C; pero esto implica que la cardinalidad del conjunto
potencia es menor o igual a la cardinalidad de C. Pero entonces, según el teorema de Cantor, la
cardinalidad de C debe ser menor a la cardinalidad del conjunto potencia. Así pues, el concepto de
conjunto de todos los conjuntos lleva a una contradicción.

PARADOJA DE RUSSELL Sea Z el conjunto de todos los conjuntos que no son elementos de sí
mismos. Se pregunta ¿Z es o no elemento de sí mismo? Si Z no pertenece a Z, entonces, por la definición
de Z, Z pertenece a sí mismo. Pero si Z pertenece a Z, entonces por la definición de Z, Z no pertenece a sí
mismo. En cualquiera de los dos casos hay contradicción.

Bertran Russell