TEORA DE CONJUNTOS

Definiciones Operaciones entre Conjuntos

Introduccin y definiciones
Las nociones de conjunto, elemento y pertenencia, constituyen las nociones
primitivas fundamentales de las matemticas. Precisamente, uno de los logros de
la matemtica del Siglo XX fue demostrar que con slo estas nociones, es posible
desarrollar toda la matemtica. Esto explica, por qu dichos conceptos penetran
tanto en la matemtica moderna, constituyndose en factor de cohesin y
unidad.
En estricto rigor, la nocin de conjunto es una nocin no definible, sin embargo,
no obstante su indefinidad explcita, la consideracin de todas las propiedades
que los axiomas le confieren permiten hacer una descripcin intuitiva de su
naturaleza.

La intuicin nos dice que: Un conjunto es una agrupacin de objetos, los cuales
pasan a llamarse elementos del conjunto. Si un objeto (elemento) se encuentra
en dicho conjunto, se dice que pertenece a l. De esto notamos, que un conjunto
est determinado cuando disponemos de algn medio para poder definir si un
objeto cualquiera est o no en l.

 Es importante notar que no existe un conjunto que contenga a todos los

conjuntos, pues el suponer su existencia significa una contradiccin denominada
Paradoja de Russell.
Ideas primitivas:
Conjunto: Nocin de coleccin o agrupacin. Se denominan a travs de letras
maysculas, por ejemplo, A, B, C, etc.
Elemento: nocin de objeto. Se denominan a travs de letras minsculas, por ejemplo, a,
b, c, etc.
Pertenencia: Es la relacin o vinculacin entre conjunto y elemento.

Cuantificadores
A diferencia de las proposiciones que hemos manejado hasta ahora, el enunciado
x>3 no es verdadero ni falso.
Cuando la variable x se reemplaza por ciertos valores, por ejemplo 7, la proposicin
resultante es verdadera, mientras que para otros valores de x, por ejemplo 2, la
proposicin que resulta es falsa.
ste es un ejemplo de un enunciado abierto, el cual viene a ser una proposicin slo
cuando las variables son reemplazadas por los nombres particulares de los objetos.
Si un enunciado abierto se llama P y depende de las variables x1, x2, , xn; escribimos
P(x1, x2, , xn), y en el caso de una sola variable, escribimos P(x).
Por ejemplo: El enunciado x es igual a x +x , es un enunciado abierto con tres
variables. Si denotamos el enunciado por P(x1, x2, x3), entonces P(7,3,4) es verdadero,
ya que 7=3+4, pero P(1,2,3) es falso.
1

 La coleccin de objetos que al emplearlos en lugar de las variables en un

enunciado abierto lo convierten en una proposicin verdadera se llama el
conjunto de verdad del enunciado.
Ejemplo
Sea Q(x) el enunciado x2 = 4
Si tomamos el conjunto de los nmeros reales como el universo de referencia, el
conjunto de verdad de Q(x) es 2, 2 .
Pero si el universo fuera el conjunto de nmeros naturales, entonces el conjunto de
verdad sera 2 .

En lo que sigue veremos cmo se tratan estas proposiciones y las posibilidades

que se nos abren haciendo uso de elementos de lgica y conjuntos.

Cuantificadores
Hay tres formas de cuantificar una funcin proposicional de una
variable, stas son: Existencial, Universal y de Unicidad.
a) Cuantificador Existencial (): Si p(x) es una funcin proposicional en U,
entonces la expresin que escribe x/p(x) es una proposicin.
Se lee Existe x tal que p(x), y significa que hay al menos un cierto elemento
a en el Universo de referencia, de modo que p(a) es V.
Tambin puede escribirse x U / p(x).
Ejemplo, escribir en lenguaje de cuantificadores la siguiente expresin:
En Chile existen autos de color rojo

b) Cuantificador Universal (): Si p(x) es una funcin proposicional en U, entonces la

expresin que escribe x/p(x) es una proposicin. Se lee Para todo x, p(x), y
significa que todos los elementos en el Universo de referencia hacen que p(x) sea
verdadera o satisfagan p(x). Tambin puede escribirse x U / p(x).
Esta ltima proposicin es falsa cuando al menos existe un elemento que no
cumple p(x). Lo anterior se simboliza x U / p(x).
Luego, hemos llegado a la siguiente equivalencia proposicional:
(x U / p(x)) (x U / p(x))

Razonando anlogamente, podemos ver que la proposicin x U / p(x) es falsa

toda vez que no exista algn elemento x en U que satisfaga p(x), lo cual es
equivalente a decir que todos los elementos de U no satisfacen p(x), en smbolos:
(x U / p(x)) (x U / p(x))

c) Cuantificador de Unicidad (!): Nos dice que existe un nico elemento en U que
cumple o satisface p(x).
Su negacin se escribe:
~[(!x A)p(x)] [((x A)~p(x)) ((x, y A)(p(x) p(y) x y))]

 Ejemplo: Encuentre una negacin de la proposicin abierta cada nmero real

positivo tiene un inverso multiplicativo.
Solucin: Sea el Universo de referencia el conjunto de todos los nmeros reales, entonces
el enunciado puede representarse por:
; > 0 ; = 1
As, la negacin de dicha proposicin se escribe: ~ ; > 0 ; = 1 :
Esto puede describirse de las siguientes maneras:
a) ; ~ > 0 ; = 1
b) ; > 0 ~ ; = 1
c) x; x > 0 y; xy 1
Esta ltima se lee; Existe un nmero positivo x para el cual no hay inverso
multiplicativo.

 Se acepta que, dados un elemento x y un conjunto cualquiera A, debemos ser

capaces de responder, sin ninguna duda, si la siguiente afirmacin es verdadera
falsa:
x A, es decir si x pertenece al conjunto A.
Si x no pertenece al conjunto A, lo anotaremos x A. En rigor, lo debisemos anotar
~(xA).

Notacin:
Conjunto: Letras maysculas, por ejemplo A, B, C
Elemento: Letras minsculas
Pertenencia:

lgebra de Conjuntos
Dado un conjunto de referencia U (E) cualquiera, al que llamaremos Universo o
Espacio de Referencia, y una funcin proposicional abierta p(x), definida para
elementos de U, podemos obtener un nuevo conjunto denotado A, que ser
aqul formado por todos los elementos x de U, que satisfagan p(x). As, podemos
definir el conjunto A como:
A = {x U/ p(x)}

Si x no satisface p(x), entonces x satisface ~p(x), entonces x se encuentra en el

conjunto denominado:
Ac = {x U/ ~p(x)}

Si consideramos la funcin proposicional p(x) y ~p(x), entonces el conjunto

formado por:
{x U/ p(x) ^ ~p(x)}

Es un conjunto que no tiene elementos y lo llamaremos conjunto vaco y lo

denotaremos por

Podemos observar que si consideramos la funcin proposicional:

~[p(x) ~p(x)] formamos el conjunto {x U/ ~[p(x) ~p(x)]}, ste sin duda es el
conjunto Universal, por qu?
Luego, concluimos que C = U

Los conjuntos pueden describirse de dos formas, a saber:

Por extensin, que consiste en listar todos y cada uno de los elementos del conjunto.
Por ejemplo:

A = {1, 2, 3, 4, 5, a, e, i, o, u}
Donde A es el nombre del conjunto, y 1, 2, 3, 4, 5, a, e, i, o, u, son sus elementos

Por comprensin, que consiste en se expresan todos y cada uno de los elementos por
medio de una regla general que los define a todos. Por ejemplo:
B = {p / p es nmero primo}

Axiomas de seleccin o especificacin

En base a la relacin existente entre la funcin proposicional y conjuntos, podemos
establecer analogas que asocien cada concepto estudiado en lgica proposicional, con un
anlogo en Teora de Conjuntos.
Si p(x), q(x), r(x), son funciones proposicionales de modo que:
A = {x U/ p(x)}
B = {x U/ q(x)}
C = {x U/ r(x)}

Entonces el conjunto de todos los elementos x de A, para los cuales p(x) es verdadera
est bien definido.
Observacin:
[x A / p(x)] [x A p(x) es V]
Ejemplos:
Sea A =
Sea B = {x A / 2 x 5}
Se puede escribir por extensin B = {2, 3, 4, 5}

Entre dos reales hay infinitos reales, por tanto, este conjunto no representa la
funcin proposicional definida.
La respuesta correcta es muy larga para entregarla por extensin.

C = {x / (x + 2)(x+3) = 0}
C=

 Para dos con juntos A y B no vacos se tiene que:

= s y slo si ,
,
, , entonces A y B son disjuntos

Dados dos conjuntos no vacos A y B, si , entonces es posible que = . Si

, pero , entonces se dice que A es un subconjunto propio de B.
Para dos conjuntos cualesquiera A y B se tiene que:
a)
b)
c)
d)

Si y B , entonces
A y B son disjuntos

Operaciones entre conjuntos

Smbolo

Definicin

AB

Interseccin:

AB

Unin:

AB

Se lee

Descripcin

A intersectado con B

Corresponde al conjunto formado

por los elementos que estn en A y
tambin estn en B.

A unido con B

Corresponde al conjunto formado

por los elementos que estn en A o
estn B.

Inclusin:

A es subconjunto de B

Significa que si un elemento est en

A, entonces, est en B.

A=B

Igualdad:

A es igual a B

Significa que todos los elementos

de A est en B, y a su vez, todo
elemento de B est en A.

A-B

Diferencia:

A menos B

Corresponde al conjunto formado

por los elementos de A que no
estn en B.

AB

Diferencia Simtrica:

A delta B

Corresponde al conjunto formado

por los elementos que estn en A o
en B, pero que no estn en A y en
B.

{x U / p(x) q(x)}

{x U / p(x) q(x)}

{x U / p(x) q(x)}

{x U / p(x) q(x)}

{x U / p(x) q(x)}

{x U / p(x) q(x)}

Demostraciones
Anlogamente a lo visto en lgebra proposicional, las definiciones de los
operadores y sus propiedades nos servirn para demostrar, es decir, probar la
veracidad de proposiciones abiertas que definen a los conjuntos.
Definiremos:
Problemas de Primer Orden (PPO): Son aquellos en los cuales la demostracin est
centrada en una sola implicancia o equivalencia. Este tipo de problemas se debe resolver
partiendo de un lado y llegando al otro.
Problemas de Segundo Orden (PSO): Son aquellos en los cuales debe demostrarse la
veracidad de una proposicin compuesta en la que aparezcan ms de una implicancia o
equivalencia.

Ejemplo problema de primer orden

Demostrar por lgebra de conjuntos que: E F E G E F G
PD. E F E G E F G
C
EE. E F E G E F E G /Por definicin de

E F E C G C /Por Ley De Morgan

E F E C E F G C /Por distribucin de /
E E C F E F G C /Por asociatividad de
F E F G C /Por asociatividad de
E F G C /C C C
E F G /Por definicin de
E F G
QED

/Por definicin de

Ejemplo problema segundo orden

Demostrar que AB C AC B
Dado AB C , PD.: AC B
EE AC A AB / Hipot .
A A B B A / Def

A A BC B AC / Def

A A BC B AC A BC B AC A / Def

A A B B A A B B A A / Morgan

A A BC B AC A BC B AC AC / Def
C

C C

C C

A A B B A A B A B A A / Asoc / Dist .Der

A A A B B A A A B A A B / Conmut / Asoc / Dist .Izq
A AC B BC A A BC B AC AC / Morgan
C

A B B
A B B

A A B / Abs A A / Abs A
A A B / Abs A A

A B BC A BC AC B / Abs A AC / Idemp A A A
C

A B B B A A

A B BC A AC B / Asoc .
C

A B A A
B A A A

B / Dist Izq.

A B A AC B / Abs B BC
C

B / Abs A A

B / Conmut / Asoc

A B AC B / Idemp A A A
A AC B / Def .Distr Izq
E B / Abs A AC E
B / Abs E B B
AC B

 Definicin de Diferencia Simtrica: (A B) = (A B) (B A)

Propiedades de la Diferencia Simtrica (Propuestas para demostrar por lgebra de
conjuntos)

a)
b)
c)
d)
e)
f)
g)
h)

AB=B A
[(A B) C]= [(A C) (B C)]
[(A B) C]= [A (B C)]
AA=
A=A
A U = AC
A AC = U
[A B = ] A = B