Teoría de Conjuntos

María Manzano

Febrero 2008

María Manzano () TC Febrero 2008 1 / 12

1 Introducción

2 Conjuntos

3 Álgebra de conjuntos

4 Representación en Teoría de Conjuntos

María Manzano () TC Febrero 2008 2 / 12
Teoría de conjuntos

La teoría de conjuntos permite la fundamentación de las matemáticas y la

lógica modernas. Es también una herramienta imprescindible para la
fundamentación de la Informática, especialmente en los lenguajes de
programación. Asimismo es básica en la formalización de los sistemas de
lingüística.
La teoría de conjuntos contemporánea es una disciplina reciente, con
apenas un siglo de existencia a caballo entre las matemáticas y la lógica.
Objetivos en este apartado
Presentar las nociones básicas de la teoría: las relativas a los conjuntos y
sus operaciones.
Manejo de estos conceptos.
Formalizar enunciados sencillos expresados en español.

María Manzano () TC Febrero 2008 2 / 12

Idea intuitiva

Seguiremos la idea común de conjunto como una colección de objetos, ya

que es la más intuitiva. Es además la de…nición inicial de Cantor (el padre
de la teoría de conjuntos moderna): ”un conjunto es cualquier colección C
de objetos determinados y bien distintos x de nuestra percepción o nuestro
pensamiento (que se denominan elementos de C), reunidos en un todo”.
Podemos también considerar que un conjunto coincide con la la colección
de objetos que satisface un predicado (la extensión del un predicado).

María Manzano () TC Febrero 2008 3 / 12

Nociones básicas I
Hay diferentes maneras de especi…car un conjunto. La más común consiste
en el uso de llaves {} para delimitar la colección de objetos que forman el
conjunto. ¿Cómo se determina una colección?
Listando los objetos. De acuerdo con la de…nición intuitiva, un
conjunto queda de…nido si es posible describir completamente sus
elementos. El procedimiento más sencillo de descripción es nombrar
cada uno de sus elementos, se llama de…nición por extensión; es
conocida la notación de encerrar entre llaves los elementos del
conjunto.
¿Qué hacer cuando la colección es in…nita, o cuando es …nita pero
numerosa?
Describir los objetos. Cuando el número de elementos del conjunto es
in…nito o demasiado numeroso se utiliza el método de de…nición por
intensión, que consiste en la descripción de un conjunto como la
extensión de un predicado, esto es, mediante una o varias propiedades
(el predicado) que caracterizan a los elementos de ese conjunto.
María Manzano () TC Febrero 2008 4 / 12
Nociones básicas II
Los símbolos básicos son el de pertenencia 2 y el de igualdad = . Que x
es un elemento del conjunto C se expresa x 2 C (x pertenece a C) Dos
conjuntos son iguales si tienen los mismos elementos, y por ello un
elemento no se lista más de una vez en un conjunto
(fa, b, b, c g = fa, b, c g).
Cardinalidad. El número de elementos de un conjunto X se indica jX j
y se llama el cardinal de X.
Igualdad, inclusión y conjunto vacío
x2/ B es la abreviatura de "x no pertenece a B"
Inclusión, subconjunto: A B “A está incluido en B" (A es
subconjunto de B ), es una abreviación de todo elemento de A es
elemento de B.
Inclusión estricta: A B es una abreviación de que A B y A 6= B.
Conjunto vacío: ∅ es la notación para el conjunto que no posee
ningún elemento.
María Manzano () TC Febrero 2008 5 / 12
Unión, intersección, diferencia

Unión. A [ B = fx j x 2 A o bien x 2 B g Se lee A unión B, y está

formado por los elementos que están en A o en B. Tanto A como B
son subconjuntos de A [ B.
Intersección A \ B = fx j x 2 A y x 2 B g A intersección B está
formado por los elementos que están en A y también en B. Es un
subconjunto de A y también de B
Diferencia A B = fx j x 2 A y x 2 / B g A menos B está formado
por los elementos que están en A pero no en B
Dos conjuntos A y B se llaman disjuntos si su intersección es el
conjunto vacío (A \ B = ∅), es decir si no tienen ningún elemento en
común. Aquí se ve un ejemplo de la necesidad formal de disponer del
conjunto vacío, ya que A \ B = ∅ es una forma no ambigua de
expresar esta importante relación entre conjuntos.
Si A y B son disjuntos y si jAj = n y jB j = m entonces
jA [ B j = n + m
María Manzano () TC Febrero 2008 6 / 12
Conjunto potencia, o de las partes

Partes de un conjunto. } (A) = fX j X Ag , partes de A está

formado por los subconjuntos de A
Universo. Normalmente no estamos interesados en todos los
conjuntos posibles, sino en una colección delimitada de objetos, que
constituyen nuestro universo de discurso. Está claro que el universo de
discurso varía en razón del estudio a realizar, pero que para cada caso
podemos …jar un universo U .
Complementario de un conjunto. A = U A. El complemetario de
A está formado por todos los elementos que no son de A (pero que
son elementos de U .)

María Manzano () TC Febrero 2008 7 / 12

Propiedades I
A, B, C son variables que se re…eren a conjuntos cualesquiera.
Asociatividad:
((A \ B ) \ C ) = (A \ (B \ C ))
((A [ B ) [ C ) = (A [ (B [ C ))
Commutatividad:
(A \ B ) = (B \ A)
(A [ B ) = (B [ A)
Distributividad:
((A \ B ) [ C ) = ((A [ C ) \ (B [ C ))
((A [ B ) \ C ) = ((A \ C ) [ (B \ C ))
Idempotencia:
(A \ A) = A
(A [ A) = A
Absorción:
((A \ B ) [ A) = A
((A [ B ) \ A) = A
María Manzano () TC Febrero 2008 8 / 12
Propiedades II

Fijemos un dominio U . Ahora podemos de…nir complementarios. Los

conjuntos de los que hablemos serán subconjuntos del universo o dominio.
Leyes de De Morgan:
(A \ B ) = ( A[ B )
(A [ B ) = ( A\ B )
Doble negación:
A A
Cero y Uno
Tomemos : ∅ y U (el cero y el uno):
(A \ U ) = A
(A \ ∅ ) = ∅
(A [ U ) = U
(A [ ∅ ) = A

María Manzano () TC Febrero 2008 9 / 12

Ejemplos I
Como clave de formalización usamos la inicial de las palabras.
1 Las raposas no son salmanquesas.
R S también R \ S = ∅
2 Todos los ruidosos están sordos.
R S también R S = ∅
3 Algunos saltamontes son radioactivos.
R \ S 6= ∅ también R * S
4 Algunos niños respetuosos no saludan.
R \ S 6= ∅
5 No todos los reptiles son serpientes.
R * S también R \ S 6= ∅
6 No todos los remeros son silenciosos.
R \ S 6= ∅ también R * S
7 Algunos no rebuznan, pero silban.
R \ S 6= ∅ también R S 6= ∅
María Manzano () TC Febrero 2008 10 / 12
Ejemplos II

Como en el ejercicio anterior, formalizaremos en Teoría de Conjuntos

1 Ningún renacuajo es un saltamontes.R \ S = ∅
2 Todo son refranes o sermones . (R [ S ) = ∅
3 No todos los que repiten saben. R * S
4 Algunos no son sacristanes o no son racistas.
S [ R 6= ∅
5 Los roedores no todos son simpáticos. R * S
6 Todos los radicales son solemnes. R * S
7 Ningún rebelde es si…lítico. R \ S = ∅

María Manzano () TC Febrero 2008 11 / 12

Ejemplos III
Como claves de formalización usaremos las indicadas entre paréntesis.
1 El hombre (H ) es el único animal (A) que tropieza dos veces en la
misma piedra (T ).
T \A H
2 Los tigres (T ) y los armadillos (A) huyen del fuego (H ).
T [A H
3 Sólo los tontos (T ) y los analfabetos (A) hacen quinielas (H ).
H T [A
4 Los huracanes (H ) arrancan los árboles (A) y tumban las casas (T ).
H T \A
5 Ningún tiburón (T ) está seguro de su buena preparación (A) a menos
que tenga tres …las de dientes (H ).
T\ H A
6 Ningún animal (A) sin cuernos (H ) puede lanzarlo a uno contra una
puerta (T ).
A\ H \ T = ∅
María Manzano () TC Febrero 2008 12 / 12