Está en la página 1de 128

Notas de clase

del profe nacho

Conjuntos
Primera edicin
Versin beta.3
Enero de 2013

ii

Lgica

Notas de clase
del profe nacho

Conjuntos
Primera edicin
Versin beta.3
Enero de 2013

Documento gratuito
www.nacho.unicauca.edu.co
nacho@unicauca.edu.co

Algunas pginas de este documento electrnico se han dejado en blanco


intencionalmente para efectos de impresin en papel.

Prefacio
La discusin matemtica de los conjuntos puede considerarse como una muestra
elemental e ilustrativa, entre varias posibles, de la naturaleza de las matemticas. En
efecto, tal discusin le dar a usted la oportunidad de experimentar un primer
acercamiento a la forma bastante particular en que los matemticos tratan los asuntos
que les conciernen. En particular, tendr la ocasin de familiarizarse con los aspectos
tcnicos del mtodo estndar de las matemticas. Desde el comienzo, reconocer el
lenguaje con el cual se comunican los matemticos y confirmar que no es otro sino
el lenguaje de la lgica. De hecho, constatar el uso intensivo de ciertos tipos de
argumentos vlidos en la elaboracin continua de razonamientos propios de las
matemticas. Todo esto se revelar ante usted como una asombrosa fuente de
complejas ideas construidas a partir de conceptos extremadamente elementales.
Desde otra perspectiva, el tema es de carcter fundamental puesto que en la
actualidad prcticamente todas las reas de las matemticas hacen uso, ms o menos
extenso, del lenguaje, la notacin y los resultados bsicos en relacin con los
conjuntos.
La forma en que presento el tema en este documento presupone el conocimiento del
documento titulado Lgica. En particular, presupone el conocimiento de las reglas de
inferencia, incluida su nomenclatura, presentadas all.
Como un pequea recurso tipogrfico, utilizo la denominada tumba de Halmos (un
pequeo cuadrado que tradicionalmente indica la finalizacin de la demostracin
de un teorema) en forma un tanto liberal: indicar la finalizacin de todo bloque de
texto que, a semejanza de las demostraciones de teoremas, exprese la justificacin
total no solo de teoremas sino tambin de ejemplos.

iv

Lgica

Contenido
Prefacio ................................................................................................................. iii
1. El concepto de conjunto ...................................................................................1
1.1.

Conjuntos ...............................................................................................................................................1

1.2.

Elementos ...............................................................................................................................................1

1.3.

Formas de definir un conjunto ................................................................................................................2

1.4.

Igualdad de conjuntos .............................................................................................................................4

1.5.

El conjunto vaco ....................................................................................................................................6

1.6.

Conjuntos unitarios.................................................................................................................................7

1.7.

Parejas ....................................................................................................................................................7

1.8.

Ternas .....................................................................................................................................................8

1.9.

Diagramas de Venn ................................................................................................................................8

1.10.

Ejercicios ................................................................................................................................................9

El smbolo del conjunto vaco ............................................................................................................................. 11

2. Inclusin .........................................................................................................13
2.1.

Inclusin ............................................................................................................................................... 13

2.2.

Propiedades bsicas de la inclusin ...................................................................................................... 15

2.3.

Inclusin propia .................................................................................................................................... 16

2.4.

Pertenencia e inclusin ......................................................................................................................... 17

2.5.

Conjuntos universales ........................................................................................................................... 18

2.6.

Ejercicios .............................................................................................................................................. 19

Aunque usted no lo crea ..................................................................................................................................... 20

3. Colecciones ....................................................................................................21
3.1.

Colecciones .......................................................................................................................................... 21

4. Conjuntos de partes ........................................................................................25


4.1.

Conjuntos de partes .............................................................................................................................. 25

4.2.

Ejercicios .............................................................................................................................................. 26

5. Unin ..............................................................................................................29
5.1.

Unin .................................................................................................................................................... 29

5.2.

Propiedades bsicas de la unin ........................................................................................................... 32

5.3.

Otras propiedades de la unin............................................................................................................... 40

5.4.

Uniones generalizadas .......................................................................................................................... 44

5.5.

Ejercicios .............................................................................................................................................. 47

vi

Lgica

6. Interseccin .................................................................................................... 49
6.1.

Interseccin .......................................................................................................................................... 49

6.2.

Propiedades bsicas de la interseccin ................................................................................................. 52

6.3.

Dos leyes distributivas ......................................................................................................................... 57

6.4.

Intersecciones generalizadas ................................................................................................................ 61

6.5.

Ejercicios ............................................................................................................................................. 64

7. Diferencia....................................................................................................... 67
7.1.

Diferencia ............................................................................................................................................ 67

7.2.

Ejercicios ............................................................................................................................................. 74

8. Diferencia simtrica ....................................................................................... 77


8.1.

Diferencia simtrica ............................................................................................................................. 77

8.2.

Propiedades de la diferencia simtrica ................................................................................................. 80

8.3.

Ejercicios ............................................................................................................................................. 89

9. Complementacin .......................................................................................... 93
9.1.

Complementacin ................................................................................................................................ 93

9.2.

Propiedades de la complementacin .................................................................................................... 96

9.3.

Ejercicios ........................................................................................................................................... 105

10. Producto cartesiano ...................................................................................... 107


10.1.

Parejas ordenadas ............................................................................................................................... 107

10.2.

Producto cartesiano ............................................................................................................................ 109

10.3.

tuplas ordenadas ............................................................................................................................ 112

10.4.
10.5.

Producto cartesiano generalizado ....................................................................................................... 114


Ejercicios ........................................................................................................................................... 116

Respuestas a los ejercicios.................................................................................. 119

1. El concepto de
conjunto
1.1.

Conjuntos

Los seres humanos adquirimos intuitivamente el concepto de conjunto cuando


observamos un rebao de ovejas en una pradera, o una bandada de pjaros volando, o
un banco de arenques en el mar, o un grupo de ciclistas pedaleando por una carretera,
o una multitud de rboles en un bosque, o un grupo de estudiantes en un saln
asistiendo a clase, etc.
Intuitivamente, un conjunto es una agrupacin, o colectividad, o totalidad, o
congregacin, de objetos de cualquier naturaleza.
Letras como , , , representarn conjuntos. Eventualmente, otros tipos de
smbolos podrn tambin representar conjuntos. Por ejemplo, un poco ms adelante
usaremos letras como A ,B ,C, para representar cierto tipo de conjuntos.

1.2.

Elementos

Cada uno de los objetos que constituyen un conjunto se denomina un elemento (o un


miembro) de dicho conjunto. El smbolo

significa que es un elemento de . Por su parte, el smbolo

significa que no es un elemento de . La relacin entre objetos y conjuntos


simbolizada por se denomina la relacin de pertenencia y el smbolo se llama el
smbolo de pertenencia.
En lugar de la expresin es un elemento de se usan tambin las siguientes:
es un miembro de

Lgica

pertenece a
est en

posee a

est contenido en
contiene a

No es muy recomendable el uso de las dos ltimas expresiones ya que ms adelante


usaremos las palabras contenido y contiene con otro sentido.
Ortografa matemtica: El smbolo de pertenencia
Observe con atencin el smbolo de pertenencia:

Correcto

Note que tiene la forma de una herradura abierta hacia la derecha con una barrita adicional
en el centro. Es como la cabeza de un tridente. No debe confundirse con ninguno de los
dos smbolos

Incorrectos

los cuales son dos versiones de la letra griega psilon que tambin se usa en matemticas
pero con otros fines. Tampoco debe confundirse con la letra e mayscula:

Incorrecto

Si usted se est preguntando qu tienen que ver estas observaciones con el tema en
discusin, considere lo siguiente: Qu tal si todos tuvisemos la libertad de escribir los
smbolos matemticos como nos gustase a cada uno? Las matemticas se convertiran en
una torre de Babel! Tenemos que procurar escribir los smbolos matemticos lo mejor que
podamos, aproximndonos cuanto podamos a su forma correcta. En otras palabras, quizs
le resulte inesperado pero el lenguaje escrito de las matemticas tiene su propia ortografa.

1.3.

Formas de definir un conjunto

Hay dos formas de definir un conjunto. La primera se denomina por extensin. Se


dice que un conjunto se define por extensin cuando se hace un listado explcito de
todos sus elementos. Estos se escriben entre llaves separados por comas. Por ejemplo,

2. Inclusin

{Mateo, Marcos, Lucas, Juan}

es un conjunto definido por extensin. La segunda se denomina por comprensin o


por abstraccin. Se dice que un conjunto se ha definido por comprensin cuando sus
elementos, en lugar de listarse explcitamente, se especifican mediante una condicin
que los caracteriza. Por ejemplo,
{ es uno de los evangelistas}

es un conjunto definido por comprensin. Observe la forma en que est escrito este
smbolo: Dentro de un par de llaves se escriben sucesivamente una variable (en este
caso ), dos puntos y, finalmente, la condicin que caracteriza los elementos del
conjunto escrita en forma de proposicin abierta en dicha variable (en este caso x es
uno de los evangelistas). En lugar de los dos puntos tambin se usa una barrita
vertical:
{ es uno de los evangelistas}

Note que la intuicin nos dice que el conjunto { es uno de los evangelistas} es
en realidad el mismo conjunto {Mateo, Marcos, Lucas, Juan}. En efecto, se trata del
mismo conjunto definido de dos maneras distintas. Algo as no siempre es posible. Lo
cierto es que la mayora de conjuntos solo pueden definirse por comprensin. Por
ejemplo, el conjunto
{ es un nmero natural}

es un conjunto definido por comprensin, pero que no puede definirse por extensin
por la sencilla razn de que posee una cantidad infinita de elementos! y por tanto es
imposible para nosotros hacer un listado explcito de todos esos elementos. No
obstante, en casos como este se hace uso de una notacin que parece por extensin
pero que en realidad no lo es y, adems, tampoco es por comprensin:
{0, 1, 2, 3, 4, 5, 6, 7, }

La idea es escribir explcitamente una cantidad suficiente de elementos del conjunto


de tal manera que ellos sugieran cules son todos los elementos de dicho conjunto.
Ortografa matemtica: La notacin de los conjuntos
El uso de parntesis en modalidad de llaves es obligatorio en la notacin de los conjuntos.
As, el conjunto
Correcto

no debe escribirse como

{0, 1, 2, 3}

Lgica

(0, 1, 2, 3)

Incorrecto

ni como

[0, 1, 2, 3]

Incorrecto

ya que estas notaciones, adems de ser incorrectas en el caso de los conjuntos, se usan
para otros fines. Igualmente incorrecta es la notacin

{0 1 2 3}

Incorrecto

en la que se han omitido las comas que separan los elementos del conjunto. Estas deben
escribirse en todos los casos.

1.4.

Igualdad de conjuntos

Dado que lo que finalmente caracteriza a un conjunto son sus elementos y nada ms,
la igualdad de conjuntos se define precisamente con base en ese hecho.
Definicin Se dice que es igual a , y se escribe

si posee exactamente los mismos elementos que . En caso contrario, se dice que
es diferente de , o que es distinto de , y se escribe

Ejemplo

Puesto que el conjunto


{Mateo, Marcos, Lucas, Juan}

posee exactamente los mismos elementos que el conjunto

{ es uno de los evangelistas}

2. Inclusin

entonces
{Mateo, Marcos, Lucas, Juan} = { es uno de los evangelistas}

El orden en que se escriban los elementos de un conjunto es irrelevante. As, tenemos


que
{, } = {, }

Tambin son irrelevantes las repeticiones de elementos:


{, } = {, , } = {, , } = {, , , } = {, , , , , , }

etc. En consecuencia, una igualdad como

es correcta.

{, , , , , , , , , } = {, }

Los tres teoremas siguientes establecen propiedades fundamentales de la relacin de


igualdad entre conjuntos.
Teorema (Propiedad reflexiva de la igualdad)

Demostracin posee exactamente los mismos elementos que .

Teorema (Propiedad simtrica de la igualdad)

Si = entonces =

Demostracin Si posee exactamente los mismos elementos que entonces posee

exactamente los mismos elementos que .

Teorema (Propiedad transitiva de la igualdad)

Si = y = entonces =

Si posee exactamente los mismos elementos que y posee


exactamente los mismos elementos que entonces los tres conjuntos, , y ,
Demostracin

Lgica

poseen exactamente los mismos elementos. En particular, posee exactamente los


mismos elementos que .

1.5.

El conjunto vaco

Definicin El conjunto vaco es aquel que no posee elementos. Se nota por

cualquiera de los dos smbolos

{ }

Lo cierto es que actualmente el smbolo es mucho ms utilizado que { }. Tan solo


ocasionalmente, algunos autores prefieren { }. Resulta curioso observar que el
smbolo { } no representa otra cosa sino la definicin por extensin! del conjunto
vaco. Por otra parte, tambin es posible definirlo por comprensin en forma por
dems ingeniosa como
{: }

Conjunto vaco? Es una broma? Cmo puede ser un conjunto si


no posee elementos?
El papel del conjunto vaco en matemticas se parece un poco al
del nmero natural cero. Los nmeros naturales 0, 1, 2, ... , etc., se
originaron en el proceso de contar. Podramos preguntarnos:
Entonces, qu hace el nmero 0 en la lista de nmeros naturales si
l no se usa para contar? Bueno, la verdad es que, histricamente,
al comienzo los nmeros naturales no incluyeron al cero. Pero ms
adelante fue incluido para ciertos propsitos que tienen que ver con el proceso de contar.
Por ejemplo, en el proceso de contar, comenzamos con 1, 2, 3, ... , etc., y despus del 9
sigue el 10. Ah est el cero! 10 significa 1 decena y 0 unidades. El cero aqu est
contando el nmero de unidades que llevamos cuando completamos la primera decena. Y,
de ah en adelante, el cero est presente, por ejemplo, en cada mltiplo de 10. Se puede
ver que, en tratamientos rigurosos del concepto de conjunto, el conjunto vaco est
presente en la construccin de muchos conjuntos.
Por otra parte, en matemticas el conjunto vaco no se entiende como nada (como podra
sugerir la palabra vaco) sino como algo que simplemente no posee elementos. Quizs
una analoga til es pensar en los conjuntos como en cajas (de cartn, si usted desea) que
contienen a sus propios elementos. En el contexto de esta analoga podemos pensar en el
conjunto vaco como en una caja ... vaca! De este modo, estamos pensando en el
conjunto vaco como en un objeto concreto, una situacin muy diferente a la pensarlo
como nada. (No obstante, conviene advertir que este tipo de analogas deben tomarse
con cuidado. Por ejemplo, mientras que en el mundo real hay muchas cajas vacas
diferentes, en el mundo de las matemticas hay un nico conjunto vaco.)

2. Inclusin

1.6.

Conjuntos unitarios

Definicin Un conjunto se llama unitario (o singular) si posee un nico elemento.

Por consiguiente, todo conjunto unitario es de la forma

donde es su nico elemento.

{}

Ejemplo

{3} es un conjunto unitario. Entonces podemos escribir 3 {3} y afirmar que 3 es el


nico elemento del conjunto {3}.

1.7.

Parejas

Definicin Una pareja es un conjunto de la forma

{, }

donde los objetos y no necesariamente son distintos.


Ejemplo

{2 , 6} es una pareja que posee exactamente dos elementos:


2 {2 , 6}

6 {2 , 6}

Note que todo conjunto unitario es, al mismo tiempo, una pareja! En efecto:
{} = { , }

Aqu no hay ninguna contradiccin. La definicin de pareja incluye esta posibilidad.

Lgica

1.8.

Ternas

Definicin Una terna es un conjunto de la forma

{ , , }

donde los objetos , y no necesariamente son todos distintos entre s.


Ejemplo

El conjunto {4 , 6 , 8} es una terna que posee exactamente tres elementos:


4 {4 , 6 , 8}
6 {4 , 6 , 8}

8 {4 , 6 , 8}

Note que todo conjunto unitario es, al mismo tiempo, una terna. En efecto:
{} = {, , }

Note tambin que toda pareja es, al mismo tiempo una terna:

1.9.

{, } = {, , }

Diagramas de Venn

Resulta til disponer de una forma general de representar grficamente los conjuntos.
La posibilidad de visualizarlos, por medio de dibujos, constituye un valioso apoyo a
la intuicin. En ocasiones, un dibujo es capaz de sugerir, en forma instantnea y con
claridad meridiana, una idea abstracta, difcil de captar de otra manera, acerca de los
conjuntos.
Un diagrama de Venn (o de VennEuler) es una representacin grfica de un
conjunto mediante una regin plana limitada por una curva cerrada. Lo usual es que
dicha curva cerrada sea una circunferencia, o una elipse o un rectngulo. Cada punto
de la regin plana representa un elemento del conjunto. En particular, cada punto de
la curva que limita dicha regin representa un elemento del conjunto. Se acostumbra
escribir la letra que identifica al conjunto en el interior o fuera de la regin plana. As

2. Inclusin

mismo, las letras que representan elementos del conjunto se escriben cerca de los
puntos respectivos.
La figura siguiente muestra algunos diagramas de Venn:

y
B
x
A

D
w
z
C
Diagramas de Venn

1.10.

Ejercicios
Respuestas

1. Sea

A = {1 , {2 , 3}}

Para cada una de las afirmaciones siguientes determine si es verdadera o falsa y


justifique su respuesta:
a. 1

b. 2

c. {1}

g.

h. {}

i. {}

d. {2}
j. {2 , 2 , 3}

2. De nuevo sea

e. {2 , 3}
k. {3 , 3}

f. {{2 , 3}}
l. {1 , 2}

10

Lgica

= {1 , {2 , 3}}

Para cada una de las afirmaciones siguientes determine si es verdadera o falsa y


justifique su respuesta:
a. posee exactamente tres elementos que son 1, 2 y 3.

b. posee exactamente cuatro elementos que son , 1, 2 y 3.


c. posee exactamente dos elementos que son 1 y {2 , 3}.

d. posee exactamente tres elementos que son 1, {2 , 3} y


e. posee un nico elemento que es 1.

f. posee un nico elemento que es {2 , 3}.

3. Sea

= {1 , {1} , {1 , {1}}}

(Analice cuidadosamente este pequeo conjunto porque tiene una estructura


complicada.) Para cada una de las afirmaciones siguientes, responda si es
verdadera o falsa y justifique su respuesta:
a. 1

b. {1}

c. {{1}}

g. {1}, {1}

h. 11

i. {{1 , 1}}

d. {1 , {1}}
4. De nuevo sea

e. {1} , 1 , {1}

f. {1 , 1}

= {1 , {1}, {1 , {1}}}

Para cada una de las afirmaciones siguientes, responda si es verdadera o falsa y


justifique su respuesta:
a. tiene en realidad un nico elemento que es 1.

b. tiene en realidad exactamente dos elementos distintos que son 1 y {1}.

c. tiene en realidad exactamente tres elementos distintos que son 1, {1} y


{{1}}.
d. tiene en realidad exactamente tres elementos distintos que son 1, {1} y
{1 , {1}}

e. tiene exactamente cuatro elementos distintos que son 1, {1}, {1 , {1}} y


{{1} , {1}}.

2. Inclusin

f. A tiene exactamente cuatro elementos distintos que son 1, {1}, {{1}} y


{1,{1}}

El smbolo del conjunto vaco


Aunque oficialmente hay dos smbolos para representar el conjunto vaco, la verdad es que el
uso de uno de ellos es prcticamente universal y por eso nos referimos a l como el smbolo
del conjunto vaco. Se trata de la letra . Letra? En efecto, es una letra de los alfabetos de
lenguas de pases del norte de Europa como Noruega y Dinamarca.

El smbolo del conjunto vaco en el campeonato mundial


de ftbol de Sudfrica 2010

El primer uso registrado de este smbolo para representar el conjunto vaco data de 1939 en
una pequea obra sobre teora de conjuntos publicada por el seminario Bourbaki en Francia.
Uno de sus integrantes, el famoso matemtico Andr Weil (1906 1998), afirma en su
autobiografa haber sido l precisamente quien sugiri al seminario la adopcin del smbolo.

11

12

Lgica

Ortografa matemtica: El smbolo del conjunto vaco


Observe con atencin el smbolo del conjunto vaco:

Correcto

Note que tiene la forma de una pequea elipse cruzada por una barra diagonal sin
adornos. No debe confundirse con el smbolo

Incorrecto

el cual es en realidad la letra griega fi mayscula. Por supuesto, tampoco debe


confundirse con ninguno de los dos smbolos

Incorrectos

que son dos variantes de la letra griega fi minscula. Mucho menos con

Incorrectos

que es la letra griega psi en sus versiones minscula y mayscula, respectivamente. Por
ltimo, aunque no ocurre con frecuencia, algunos creen que el smbolo del conjunto
vaco es

Incorrecto

que en realidad es la letra griega omega mayscula.

2. Inclusin

13

2. Inclusin
2.1.

Inclusin

Definicin Se dice que es subconjunto de , y se escribe

si cada elemento de es elemento de . El smbolo

significa que no es subconjunto de .

es subconjunto de

La relacin entre conjuntos simbolizada por se llama la relacin de inclusin (o de


contenencia). El smbolo se denomina el smbolo de inclusin (o de contenencia).
En lugar de la expresin es subconjunto de se usan tambin las siguientes:
est incluido en

est contenido en
es una parte de

14

Lgica

Adems, el smbolo

significa lo mismo que , en cuyo caso se usan las expresiones siguientes:


es superconjunto de
incluye a

contiene a

Podemos expresar la definicin de la relacin de inclusin y su negacin mediante el


lenguaje simbolizado de la lgica:
,
,

Los dos enunciados cuantificados involucrados son traducciones literales de las


respectivas definiciones originales en lenguaje natural. En ocasiones resulta ms
apropiado expresar estas mismas traducciones en forma menos literal:
,
,

Ortografa matemtica: El smbolo de la inclusin


Observe con atencin el smbolo de la inclusin:
Correcto

Note que tiene la forma de una pequea herradura, abierta hacia la derecha, con una
rayita horizontal en su parte inferior. La herradura no es una letra c (como creen
algunos que piensan que proviene de la inicial de la palabra contenido), ni minscula
ni mayscula:

Incorrectos

2. Inclusin

15

Ejemplo

Sean
4
= , 9 , 1 + 3
2

= {0 , 1 , 2 , 3 , 4 , 5 , 6}

Entonces puesto que cada elemento de es elemento de :


4
=2
2

9 = 3

1+3=4

En cambio, porque hay elementos en que no estn en . Por ejemplo, 0


pero 0 .

Cuidado!

Algunos autores prefieren usar el smbolo en lugar de para


representar la relacin de inclusin. En el presente documento
usaremos el smbolo para representar otro concepto (la inclusin
propia) que estudiaremos un poco ms adelante. Mi preferencia por el
smbolo para la inclusin se basa en que, en un contexto apropiado,
tanto como son smbolos que representan relaciones de orden dbil y, por su parte,
tanto < como son smbolos que representan las respectivas relaciones de orden
fuerte. Me gusta la analoga tanto en el significado como en la forma de estos smbolos.

Este desacuerdo en asuntos de notacin es un ejemplo de algo que desafortunadamente


ocurre con alguna frecuencia en matemticas. No debera pasar algo as pero el hecho es
que pasa y, en consecuencia, no nos queda otro camino que convivir con ello. Cuando
usted consulte otras fuentes sobre el tema de los conjuntos deber tener la precaucin de
indagar, en el momento oportuno, sobre las preferencias del autor en materia de
conceptos, notaciones, etc.

2.2.

Propiedades bsicas de la inclusin

Vamos a discutir ahora algunas propiedades bsicas importantes de la relacin de


inclusin. La primera de ellas establece un hecho sorprendente: El conjunto vaco es
subconjunto de cada conjunto:
Teorema (Propiedad minimal del conjunto vaco)

16

Lgica

Demostracin Supongamos que para algn se tiene . Entonces existe

tal que . Pero esto es absurdo puesto que no posee elementos.

Teorema (Propiedad reflexiva de la inclusin)

Demostracin Cada elemento de es elemento de .

Teorema (Propiedad transitiva de la inclusin)

Si y entonces

Demostracin Supongamos que y . Sea . Como entonces

y como entonces . Esto muestra que cada elemento de es


elemento de . Por tanto, .

Teorema (Caracterizacin de la igualdad en trminos de la inclusin)

= si y solo si y

Demostracin () Supongamos = . Entonces posee exactamente los mismos


elementos que . En particular, cada elemento de es elemento de , esto es, .
Por la misma razn, cada elemento de es elemento de , esto es, . Tenemos
por consiguiente y .

() Supongamos y . Entonces cada elemento de es elemento de y


cada elemento de es elemento de . Por tanto, posee exactamente los mismos
elementos que , esto es, = .

2.3.

Inclusin propia

Definicin Se dice que es subconjunto propio de , y se escribe

o tambin

si se cumple que

2. Inclusin

El smbolo

17

significa que no es subconjunto propio de .


Entonces, en el lenguaje simbolizado de la lgica, tenemos

=

Ejemplo

{0 , 1 , 2} porque {0 , 1 , 2} y {0 , 1 , 2}

{0 , 1 , 2 , 3 , 4} {0 , 2 , 4} porque {0 , 1 , 2 , 3 , 4} {0 , 2 , 4}
4

2.4.

2 , 9, 1 + 3 {2 , 3 , 4} porque 2 , 9, 1 + 3 = {2 , 3 , 4}

Pertenencia e inclusin

El teorema siguiente formula una caracterizacin de la relacin de pertenencia en


trminos de la relacin de inclusin:
Teorema (Caracterizacin de la pertenencia en trminos de la inclusin)

si y solo si {}

Demostracin () Supongamos . Sea {}. Dado que el nico elemento que

posee {} es entonces = . Ahora bien, por hiptesis, . En consecuencia,


. Esto prueba que {} .

() Supongamos {} . Entonces cada elemento de {} es elemento de . Pero


es elemento de {}. Por consiguiente, .

18

Lgica

Algunos resumen la implicacin de izquierda a derecha en el teorema anterior


diciendo: Si en una relacin de pertenencia encerramos el elemento entre llaves, la
relacin se convierte en inclusin.
Ejemplo

Como 2 {0 , 1 , 2 , 3} entonces {2} {0 , 1 , 2 , 3}.

2.5.

Conjuntos universales

En cada tema de discusin en matemticas normalmente hay un cierto conjunto


denominado conjunto universal o conjunto referencial de la discusin. (Algunos lo
llaman tambin el universo de la discusin.) Este conjunto tiene la propiedad de que
muchos de los conjuntos que se mencionan en la discusin, si no se dice otra cosa, se
entienden como subconjuntos de l.
Ejemplo

Supongamos que nuestro tema de discusin es nmeros naturales. Como conjunto


universal tomemos, precisamente, el conjunto de todos los nmeros naturales.
(Generalmente, esto es lo que ocurre. Hay un conjunto que espontneamente todos
coincidimos en tomar como el conjunto universal obvio.) Supongamos que
mencionamos un conjunto, como por ejemplo,
{: es mayor que 5}

Este conjunto puede entenderse como subconjunto del conjunto de todos los nmeros
naturales pero tambin puede entenderse como subconjunto de todos los nmeros
enteros, o racionales, o reales, etc. Incluso puede entenderse como subconjunto del
conjunto de los totales, ao por ao, de alumnos que reprobaron Matemticas
Generales en los ltimos diez aos en la Universidad de la Vida. Sin embargo, como
ya hemos seleccionado un conjunto universal, a saber el conjunto de todos los
nmeros
naturales,
entonces
solamente
entendemos
el
conjunto
{: es mayor que 5} como subconjunto del conjunto de todos los nmeros
naturales.

Una de las ventajas de disponer de un conjunto universal de la discusin es


simplificar la descripcin de muchos conjuntos. As, en el caso del Ejemplo anterior,
si no hubisemos seleccionado un conjunto universal de la discusin entonces el
conjunto {: es mayor que 5} tendra que describirse en forma ms explcita:
{: es un nmero natural mayor que 5}

2. Inclusin

19

puesto que, de otro modo, no sabramos si la variable est representando nmeros


naturales, o enteros, o racionales, o reales, o totales de alumnos reprobados en
Matemticas Generales, etc.
Es frecuente simbolizar el conjunto universal mediante la letra (algunos usan la
letra griega ) y representarlo grficamente, en los diagramas de Venn, mediante una
regin rectangular:

2.6.

El conjunto universal y algunos de sus subconjuntos

Ejercicios
Respuestas

1. Sea
A = {1 , {2 , 3}}

Para cada una de las afirmaciones siguientes determine si es verdadera o falsa:


a. {1}

b. {1}

c. {2}

d. {2}

i.

j.

k. {}

l. {}

e. {2 , 3}
m.

q. {1 , 2}

f. {2 , 3}

n.

g. {{2 , 3}}

o. {}

2. Sea

= {1 , {1} , {1 , {1}}}

h. {{2 , 3}}

p. {1 , 2}

20

Lgica

Para cada una de las afirmaciones siguientes determine si es verdadera o falsa:


a. {1}

e. {{1 , {1}}}

b. {1}

f. {{1 , {1}}}

h. {1 , {1} , {1 , {1}}}

c. {1 , {1}}

d. {1 , {1}}

g. {1 , {1} , {1 , {1}}}

Aunque usted no lo crea


El concepto matemtico de conjunto parece inocente pero en ocasiones puede
burlarse de nuestra intuicin. Por ejemplo: Es posible que un elemento de un
conjunto sea, al mismo tiempo, un subconjunto del mismo conjunto? La intuicin de
muchas personas les dice que no es posible. Pero examinemos el conjunto
= 2 , {2}

Observamos que este conjunto posee exactamente dos elementos:


2

{2}

En particular, el conjunto unitario {2} es un elemento de . Pero, al mismo tiempo,


{2} es tambin un subconjunto de puesto que 2 !

El mismo conjunto = 2 , {2} ilustra otro hecho que a primera vista podra parecer
improbable: Un elemento, de un elemento, de un conjunto puede ser, al mismo
tiempo, elemento de dicho conjunto? (Asegrese de que ley correctamente.
Principalmente, note que la pregunta comienza diciendo: Un elemento, de un
elemento, ...) La respuesta es s. En efecto, en el conjunto = 2 , {2} ocurre que
2 es un elemento del conjunto unitario {2} que, a su vez, es otro elemento de . (Esto
es, 2 es un elemento, de un elemento, del conjunto .) Y 2 es, al mismo tiempo, un
elemento del mismo !

3. Colecciones
3.1.

Colecciones

Un conjunto se llama una coleccin si todos sus elementos son


conjuntos. Letras como A ,B ,C, representarn colecciones.
Definicin

Ejemplo

El conjunto
A = {1,2}, {3},

es una coleccin. Ella posee exactamente tres elementos:


{1,2} A

{3} A

1A

2A

3A

Es importante observar que

Un momento. Usted logr confundirme. Entonces, cmo


reconozco los elementos de una coleccin?
Observemos nuevamente la coleccin
A = {1,2}, {3},

Los elementos de A se reconocen porque son los que estn


separados por las comas ms externas. Volvamos a observar la
coleccin A, esta vez un poco ms grande:

A = {1,2}, {3},

22

Lgica

Las dos comas en color rojo son las ms externas. Ellas estn separando los tres
elementos de A :
{1,2}

{3}

Los nmeros 1, 2 y 3 no son, en este caso, elementos de A. Lo nico que podemos decir
es que ellos son elementos de elementos! de A.

Tengo otra inquietud: Pienso que la coleccin {1,2}, {3}, es lo


mismo que la coleccin {1,2}, {3} porque el conjunto vaco es
vaco, o sea que donde est el conjunto vaco es como si no hubiera
nada. Estoy mal?
Ests mal. No debes olvidar que el conjunto vaco no es lo mismo
que nada. En realidad es algo que, por definicin, no posee
elementos. Aqu de nuevo puede ser til la analoga de pensar en
los conjuntos como cajas que contienen sus propios elementos. As,
pensamos en la coleccin {1,2}, {3}, como en una caja que contiene tres cajas, una de
las cuales est vaca. En cambio, pensamos en la coleccin {1,2}, {3} como en una caja
que contiene dos cajas ninguna de las cuales est vaca. En la caja {1,2}, {3}, hay
algo (la caja vaca!) que no est en la caja {1,2}, {3}. Por eso las dos colecciones son
diferentes:
{1,2}, {3}, {1,2}, {3}
Ejemplo

El conjunto
B = {1}, {2}, {1,2}, {1,2}

es otra coleccin. Ella posee exactamente cuatro elementos:

Ejemplo

{1} B

{2} B

{1,2} B

El conjunto

C = {}

{1,2} B

3. Colecciones

23

es una coleccin muy particular. En primer lugar, se trata de una coleccin unitaria
puesto que posee un nico elemento, a saber el conjunto :

{}

Por consiguiente, C es una coleccin no vaca!:

{}

{} ? Me est costando entender este asunto. Yo hubiera


jurado que {} es lo mismo que . . .

Es porque sigues pensando en el conjunto vaco como en nada.


Una vez ms la analoga de conjuntos con cajas te puede ayudar.
Piensa en {} como en una caja que solo contiene en su interior
otra caja y esta ltima est vaca. Entonces {} no es una caja
vaca puesto que tiene algo adentro: una caja vaca!

Ejemplo

Conjuntos como
= {1 , 2 , 3}

= 0 , {1} , 2 , {3 , 4} , 5 , {6}

no son colecciones dado que contienen elementos que no son conjuntos como, por
ejemplo, 1 en el conjunto y 0 en el conjunto .

24

Lgica

4. Conjuntos de partes
4.1.

Conjuntos de partes

Definicin Se define el conjunto de partes de , notado

P ()

como la coleccin de todos los subconjuntos de . Tambin se llama el conjunto


potencia de y se nota
2

El nombre conjunto potencia y el smbolo 2 pueden parecer extraos para el


concepto en cuestin. Pronto veremos que hay algo de razonable en ellos.
Una definicin por comprensin del conjunto de partes de es:
Ejemplo

P () = {: }

Sea = {, , } donde los elementos , y son todos distintos entre s. Vamos a


calcular el conjunto P (). [El trmino calcular significa aqu encontrar todos los
elementos de P () y, si es posible, definir a P () por extensin.] Se trata
entonces de hacer un listado completo de todos los elementos del conjunto P () o,
en forma equivalente, de todos los subconjuntos del conjunto . Con el fin realizar
esta tarea en una forma ordenada, comenzaremos por los subconjuntos ms sencillos
e iremos avanzando hacia los ms complejos. Concretamente, como criterio de
ordenamiento, tomaremos el tamao (el nmero de elementos) de los subconjuntos:
iremos desde los ms pequeos hacia los ms grandes:
El conjunto vaco. El conjunto es un subconjunto de . (Ya sabemos que el
conjunto vaco es subconjunto de todos los conjuntos.)

Subconjuntos de un elemento (es decir, subconjuntos unitarios). Tenemos


exactamente tres:

26

Lgica

{}

{}

{}

Subconjuntos de dos elementos (es decir, parejas de elementos distintos).


Tambin encontramos exactamente tres:
{, }

{, }

{, }

Subconjuntos de tres elementos (es decir, ternas de tres elementos distintos). Hay
exactamente uno:
{, , }

Es obvio que no hay subconjuntos de cuatro elementos, ni de cinco, etc., de modo que
hemos hecho una lista completa de todos los subconjuntos de . En consecuencia ya
podemos definir por extensin el conjunto de partes de :
P () = , {}, {}, {}, {, }, {, }, {, }, {, , }

Esta coleccin posee exactamente 8 elementos o, en forma equivalente, 23 elementos.


Es posible demostrar la siguiente afirmacin de carcter general:
Si posee elementos entonces P () posee 2 elementos

Este puede ser el origen del nombre alternativo conjunto potencia para el conjunto

de partes de y del smbolo 2 para representarlo.

Note que, por propiedades bsicas de la inclusin, y tambin . Esto


significa que para todo conjunto , se tiene que P (A) y tambin P (A).
Dicho de otro modo, en cada conjunto de partes siempre tendremos dos elementos
notables: el conjunto vaco y el conjunto original, los cuales, de paso, son,
respectivamente, los subconjuntos ms pequeo y ms grande de .

4.2.

Ejercicios

Respuestas
1. Sea
= {1,2}

Para cada uno de los literales siguientes, encuentre lo que se pide o responda la
pregunta respectiva. Explique sus respuestas a las preguntas de modo que todo
quede bien claro.
a. Calcule P (P ()), esto es el conjunto de partes, del conjunto de partes, del
conjunto .
b. Cuntos elementos tiene P (P ())?
c. Es cierto que P () P (P ())?

4. Conjuntos de partes

d. Es cierto que P () P (P ())?

27

28

Lgica

5. Unin
Una prctica rutinaria en matemticas es, una vez definida una totalidad de objetos
matemticos, definir operaciones con ellos. Por ejemplo, una operacin binaria en
una totalidad de objetos matemticos es una regla o correspondencia o asociacin
que a cada par de objetos y de la totalidad le hace corresponder un nico tercer
objeto de la misma totalidad. As, por ejemplo, en la totalidad de los nmeros
naturales, la operacin suma, representada por el smbolo +, es una operacin binaria
puesto que ella hace corresponder a cada par de nmeros naturales y un nico
nmero natural + denominado la suma de y . Las operaciones binarias se
llaman as porque en cada caso son dos objetos los que se operan para obtener el
tercero. De manera similar se describen las operaciones ternarias, cuaternarias y, en
general, arias. Un caso especial son las operaciones unarias, las cuales solo operan
sobre un objeto para obtener un nico segundo objeto.
Las operaciones entre objetos matemticos son de gran importancia. Cuando
comenzamos a estudiar una totalidad de objetos matemticos, rpidamente notamos la
conveniencia de poder manipular, de diversas formas, grupos de ellos para obtener
otros. Las operaciones ponen tales formas de manipulacin en un contexto preciso,
mediante definiciones y simbologas apropiadas. De este modo, podemos explorar
confiable y seguramente muchas propiedades de dichos objetos.
En relacin con los conjuntos, discutiremos, en este y en los siguientes captulos, seis
operaciones bsicas, cinco de las cuales son binarias (unin, interseccin, diferencia,
diferencia simtrica y producto cartesiano) y solo una es unaria (complementacin).

5.1.

Unin

Se define la unin de y como el conjunto de todos aquellos


elementos que pertenecen a al menos uno de los dos conjuntos y . Se nota

Definicin

Entonces, por comprensin,

= {: }

30

Lgica

En otras palabras, tenemos que, dado cualquiera, la equivalencia


es verdadera y, en consecuencia, las implicaciones

son tambin ambas verdaderas.

El siguiente diagrama de Venn muestra dos conjuntos y :

Vamos calcular grficamente . Primero, coloreamos la regin que representa


al conjunto . (En la figura siguiente he utilizado una tonalidad en amarillo para tal
efecto.)

5. Unin

31

Ahora, coloreamos la respectiva regin que representa al conjunto :

La regin coloreada total representa entonces al conjunto . De este modo, el


diagrama de Venn para es

Ortografa matemtica: El smbolo de la unin


Observe con atencin el smbolo de la unin:
Correcto

Note que tiene la forma de una herradura, abierta hacia arriba, sin adornos. No se trata de
la letra u (como creen algunos que piensan que proviene de la inicial de la palabra
unin), ni minscula ni mayscula,
Incorrectos

32

Lgica

Ejemplo

Sean
= {0 , 1 , 2 , 3 , 4}

= { 3 , 4 , 5 , 6 , 7 , 8}

El clculo de es un procedimiento muy sencillo: Abrir un par de llaves, dentro


de estas llaves escribir todos los elementos de separados por comas, a continuacin
escribir todos los elementos de tambin separados por comas y, por ltimo,
simplificar las repeticiones que se presenten de elementos en el conjunto resultante:
{

{0 , 1 , 2 , 3 , 4 ,

{0 , 1 , 2 , 3 , 4, 3 , 4 , 5 , 6 , 7 , 8}
{0 , 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8}

Entonces

= {0 , 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8}

La operacin unin tiene varias propiedades bsicas muy importantes que


discutiremos mediante los teoremas siguientes.

5.2.

Propiedades bsicas de la unin

Teorema (Ley conmutativa de la unin)

Como mtodo de demostracin usaremos la caracterizacin de la


igualdad en trminos de la inclusin. Esta caracterizacin se puede resumir como
dos conjuntos son iguales si y solo si cada uno de ellos es subconjunto del otro. En
consecuencia, probaremos las dos inclusiones

Demostracin

con lo cual quedar probada la igualdad = . Para probar la inclusin


aplicaremos la definicin de inclusin. Tomaremos, por tanto, un
elemento arbitrario en el conjunto y probaremos que dicho elemento est
en el conjunto .

5. Unin

33

Sea

Entonces, por la definicin de unin,

Ahora bien, por la ley conmutativa de la disyuncin inclusiva,


Finalmente, de nuevo por la definicin de unin,


As, queda probada la inclusin . Anlogamente se prueba la inclusin


.

Teorema (Ley asociativa de la unin)

( ) = ( )

Antes de proceder a demostrar formalmente este teorema, haremos una


demostracin grfica del mismo. En el diagrama siguiente tenemos tres conjuntos
, y :

Primero coloreamos la regin que representa a :

34

Lgica

Enseguida agregamos el coloreado de la regin que representa a . De este modo,


obtenemos coloreada la totalidad de la regin que representa a ( ):

( )

Ahora, regresamos al diagrama original y reiniciamos el proceso de coloreado,


comenzando esta vez con la regin que representa a :

5. Unin

35

Enseguida agregamos el coloreado de la regin que representa a . Obtenemos


entonces, coloreada en su totalidad, la regin que representa a ( ) :

( )

Ambas regiones, la que representa a ( ) y la que representa a ( ) ,


son exactamente la misma.
Veamos ahora la demostracin del teorema.

36

Lgica

Demostracin Usaremos nuevamente la caracterizacin de la igualdad en trminos de

la inclusin, de modo que procederemos, como en la demostracin del teorema


anterior, a probar las dos inclusiones

Sea

( ) ( )

( ) ( )

( )

Entonces, por la definicin de unin,

y, nuevamente por la misma definicin,

( )

Aplicando ahora la ley asociativa de la disyuncin inclusiva, obtenemos


( )

De nuevo, por la definicin de unin:

y una vez ms por la definicin de unin:

( )

De este modo, hasta aqu hemos demostrado la inclusin ( ) ( )


. La segunda inclusin, ( ) ( ) se demuestra en forma
similar.

Seamos claros: Me gust ms la demostracin con diagramas de


Venn. Esa otra demostracin me pareci enredada. No puedo
hacer siempre las demostraciones con dibujitos?
Pongmonos de acuerdo. La demostracin con diagramas de
Venn no es realmente una demostracin por dos motivos.
Primero, porque ese no es el formato adoptado por la comunidad
de matemticos para las demostraciones matemticas. Tal formato
consiste en una cadena de afirmaciones verdaderas cada una de las
cuales resulta de aplicar una definicin o una regla de inferencia o
un teorema ya demostrado, etc., de tal manera que la ltima afirmacin de la cadena es,
precisamente, aquella que se pretende demostrar. Por el momento, este es el nico formato
aceptado y es al que tendrs que acostumbrarte si deseas comunicarte con otros
matemticos. Segundo, porque la demostracin, por diagramas de Venn, de la ley
a

5. Unin

asociativa de la unin, aunque quisiramos aceptarla en contra del resto del mundo
matemtico, tiene el inconveniente de que se tratara de una demostracin, mediante un
caso particular, de un enunciado cuantificado universalmente. En efecto, los matemticos
sabiamente acostumbran a omitir los cuantificadores universales con el fin de simplificar.
As el enunciado

( ) = ( )

es realmente una abreviatura del enunciado triplemente cuantificado


, , , ( ) = ( )

En consecuencia, este tipo de enunciados no pueden ser demostrados mediante casos


particulares. Y, si observas con cuidado, notars que el diagrama de Venn con el que se
inicia la demostracin corresponde precisamente a un caso particular puesto que solo se
refiere a los tres conjuntos particulares dibujados. Existen infinitas ternas de conjuntos que
no son consideradas en la demostracin.

A ver si entend bien. Me queda claro lo de los diagramas. Pero


est usted diciendo que para demostrar una identidad como, por
ejemplo, = , no puedo reemplazar y por dos
conjunticos como, por ejemplo, = {1} y = {2,3}, calcular
={1,2,3} y ={2,3,1}, verificar que {1,2,3} = {2,3,1}
y ya? Porque yo estaba convencidsimo de que as estaba bien.
No puedes. Si eso se pudiera hacer, las matemticas seran muy
distintas de como son en realidad. Por ejemplo, la identidad

sera verdadera puesto que reemplazando = {1,2} y = {2} obtendras que =


{1,2} = . Pero sabemos que dicha identidad es falsa porque existen contraejemplos. Por
ejemplo, si reemplazas = {1} y = {2} obtienes = {1,2} . De modo que

no te queda otra alternativa. Si quieres demostrar una afirmacin cuantificada


universalmente, no puedes hacerlo mediante un caso particular. Tienes que elaborar tu
demostracin en forma completamente general.

Teorema (Ley modulativa de la unin)


==

Demostracin La igualdad = se tiene por la ley conmutativa de la unin.

Luego, ser suficiente probar que = . Sea

37

38

Lgica

Por definicin de unin,

Pero, dado que no posee elementos,

Entonces, por modus tollendo ponens,

Esto prueba la inclusin

Ahora sea

Por la ley de adicin,

y, por la definicin de unin,

Queda as demostrada la segunda inclusin

y, en consecuencia, hemos demostrado la igualdad


=

Teorema (Ley de absorcin de la unin)

= =

La igualdad = se tiene por la ley conmutativa de la


unin. Luego ser suficiente demostrar que = . Sea

Demostracin

Por definicin de unin,

5. Unin

39

Ahora bien, la implicacin

es verdadera por ser una tautologa. Por otra parte, dado que es el conjunto
universal, se tiene que . Entonces, por definicin de inclusin, la implicacin

tambin es verdadera. Por consiguiente, en virtud del dilema constructivo,


de donde, por simplificacin trivial,


Esto prueba la inclusin

Ahora sea

Entonces, por la ley de adicin,

y, por la definicin de unin,

Queda as demostrada la inclusin

Por consiguiente,

Teorema (Ley de idempotencia de la unin)

Demostracin Sea

Por definicin de unin,

40

Lgica

y, por simplificacin trivial,

Luego,

Ahora, sea

Entonces, por la ley de redundancia,

y, por la definicin de unin,

Por tanto,

De este modo, hemos probado que

5.3.

Otras propiedades de la unin

Adems de las bsicas, discutidas en la seccin anterior, hay muchas otras


propiedades interesantes y tiles de la unin. Los teoremas siguientes ilustran este
aspecto.
Teorema

Demostracin Supongamos

Sea

Si entonces =

5. Unin

41

Entonces, por definicin de unin,


Ahora bien, puesto que hemos supuesto , la implicacin

es verdadera. Adems, la implicacin

tambin es verdadera por ser una tautologa. Luego, por dilema constructivo,

y, por simplificacin trivial,

Esto prueba la inclusin

Ahora, sea

Entonces, por ley de adicin,

As, por definicin de unin,

Se tiene por tanto la inclusin

En consecuencia,

con lo cual queda demostrada la implicacin enunciada.

42

Lgica

Teorema

Si y entonces

Demostracin Supongamos

Sea

Entonces, por definicin de unin,

Ahora bien, dado que ,


y, dado que ,

Luego, por dilema constructivo,

de modo que, por definicin de unin,

Esto prueba la inclusin

As queda demostrada la implicacin propuesta.

Teorema

Demostracin Sea

5. Unin

43

Entonces, por ley de adicin,

y, por definicin de unin,

Esto demuestra que todo elemento de es elemento de . En otras palabras,


Teorema

Demostracin Sea

P () P () P ( )

X P () P ()

Entonces, por definicin de unin

X P () P ()

y, por definicin de conjunto de partes,

X X

Supongamos que X . Como, por el teorema anterior, A entonces


tenemos

Luego, por la propiedad transitiva de la inclusin,

y, por la definicin de conjunto de partes,

X P ( )

Por tanto, tenemos que la implicacin

es verdadera.

X X P ( )

44

Lgica

Anlogamente tenemos que la implicacin

X X P ( )

es verdadera. En consecuencia, por dilema constructivo,

X P ( ) X P ( )

y, por simplificacin trivial,

X P ( )

De este modo, hemos demostrado que todo elemento de P () P () es elemento


de P ( ). En otras palabras, hemos demostrado que

5.4.

P () P () P ( )

Uniones generalizadas

Definicin Sean 1 , 2 , 3 , , conjuntos. Se define la unin de los conjuntos

1 , 2 , 3 , , como el conjunto de todos aquellos elementos que pertenecen a


al menos uno de los conjuntos 1 , 2 , 3 , , . Hay dos smbolos para
representar esta unin. Uno que llamaremos expandido:
1 2 3

y otro que llamaremos compacto:


=1

Ambos smbolos se utilizan dependiendo de las circunstancias. Si se desea abreviar


las notaciones, naturalmente el smbolo compacto resulta apropiado. Pero, en
ocasiones, el smbolo compacto esconde aspectos que queremos apreciar
explcitamente. En tal caso, el smbolo expandido se adapta mejor a este ltimo
propsito.
El tipo de unin descrita en la Definicin anterior se llama generalizada.
Evidentemente, se trata de una generalizacin de la unin binaria ya que se reduce a
esta ltima cuando = 2.

Tambin, hay dos maneras de definir la unin generalizada por comprensin. Una en
que se usa el conectivo generalizado de la disyuncin inclusiva:
1 2 3 = {: 1 2 3 }

5. Unin

45

y otra en que se usa el cuantificador existencial:

= {: para algn }
=1

En el diagrama siguiente tenemos cuatro conjuntos 1 , 2 , 3 y 4 :


2
4

y en el siguiente tenemos la unin generalizada respectiva:


=1

46

Lgica

Ejemplo

Sean
1 = {0, 1, 2, 3, 4, 5}

2 = {2 , 4 , 6, 8}

3 = {1, 2, 4, 7}

Entonces

4 = {2 , 4}

= {0, 1, 2 , 3, 4, 5, 6, 7, 8}

=1

Ejemplo

Sean
A1 = , {1}, {1,2}, {3,4,5}
Entonces

A2 = {1}, {2}, {1,2}, {1,3}

A3 = , {}, {1}, {5}, {1,2}

A = , {1}, {1,2} , {3,4,5}, {2}, {1,3}, {}, {5}

=1

Un caso especial importante de unin generalizada es la representada por el smbolo


1


=1

que evidentemente no significa otra cosa sino 1 :


1

= 1
=1

5. Unin

5.5.

47

Ejercicios
Respuestas

1. Sean
A1 =
Calcule

A = , {}

A = , {} , , {}

A = , {} , , {}, , {} , , {}
4

A
=1

2. Demuestre las siguientes afirmaciones:


a.

b. Si entonces

c. Si entonces

d. Si entonces

e. Si y entonces
f. { , } si y solo si {} y {}
g. si y slo si P () P ()

3. Demuestre que la identidad

P ( ) = P () P ()

es falsa. Esto es, encuentre un contraejemplo (en este caso un par de conjuntos
particulares y que no satisfagan la identidad). Para su informacin, hay
contraejemplos muy pequeos que usted puede encontrar rpidamente.
4. Considere la identidad
P () = P ()

Si es verdadera, demustrela. Si es falsa, exhiba un contraejemplo.

48

Lgica

6. Interseccin
6.1.

Interseccin

Definicin Se define la interseccin de y como el conjunto de todos aquellos


elementos que pertenecen simultneamente a ambos conjuntos y . Se nota

Entonces, por comprensin,

= {: }

En otras palabras, tenemos que, dado cualquiera, la equivalencia


es verdadera y, en consecuencia, las implicaciones

son tambin ambas verdaderas.

Consideremos ahora el siguiente diagrama de Venn en el que se muestran dos


conjuntos y :

50

Lgica

Vamos a calcular grficamente . Primero coloreamos la regin que representa


a .

Ahora coloreamos la regin que representa a . (La idea aqu es colorear esta
segunda regin usando un color distinto del anterior).

6. Interseccin

51

Aquella regin en donde se superponen ambos colores (coloreada en un tono de


amarillo en el diagrama anterior) es, precisamente, la regin que representa a .
As, el diagrama de Venn para es entonces

Ortografa matemtica: El smbolo de la interseccin


Observe con atencin el smbolo de la interseccin:
Correcto

Note que tiene la forma de una herradura, abierta hacia abajo, sin adornos. No se trata de
la letra n minscula:

Incorrecto

Ejemplo

Sean
= {0 , 1 , 2 , 3 , 4}

= { 3 , 4 , 5 , 6 , 7 , 8}

El siguiente es un procedimiento para efectuar el clculo de :

Seleccionar el conjunto ms pequeo. En este caso es .


Abrir un par de llaves.
Recorrer uno por uno los elementos de y verificar, para cada uno de ellos, si
pertenece o no a .
Escribir dentro de las llaves, separados por comas, aquellos elementos que, en el
paso anterior, pertenezcan a .

52

Lgica

El procedimiento termina cuando termine el recorrido por los elementos de .


Simplificar, si es necesario, las repeticiones en el conjunto resultante.
El conjunto simplificado es .
Aplicando este procedimiento a los dos conjuntos dados, obtenemos

6.2.

= {3 , 4}

Propiedades bsicas de la interseccin

La operacin interseccin tiene tambin varias propiedades bsicas importantes.


Algunos de los enunciados como las respectivas demostraciones son muy parecidos a
los correspondientes en el caso de la unin.
Teorema (Ley conmutativa de la interseccin)
=

Demostracin Similar a la del Teorema que establece la ley conmutativa de la unin.

Teorema (Ley asociativa de la interseccin)


( ) = ( )

Demostracin Similar a la del Teorema que establece la ley asociativa de la unin.

Veamos una prueba grfica del teorema anterior. En el diagrama siguiente


observamos tres conjuntos , y :

6. Interseccin

53

Comenzamos coloreando la regin que representa a :

Enseguida coloreamos la regin que representa a ( ):

54

Lgica

Ahora, reiniciamos el proceso de coloreado comenzando esta vez con :

Finalmente coloreamos la regin que representa a ( ) :

6. Interseccin

55

Ambas regiones, la que representa a ( ) y la que representa a ( ) ,


son exactamente la misma.
Teorema (Ley modulativa de la interseccin)
= =

Demostracin La igualdad = se cumple por la ley conmutativa de la

interseccin. Luego, ser suficiente demostrar que = . Sea


Por definicin de interseccin,

y, por ley de simplificacin,

Esto prueba la primera inclusin:

Ahora, sea

Dado que, por definicin del conjunto universal, entonces

56

Lgica

Ahora bien, por la ley de la conjuncin,

de donde, por la definicin de interseccin,

Esto prueba la inclusin

y, de este modo, hemos probado

Teorema (Ley de absorcin de la interseccin)

= =

La igualdad = se tiene por la ley conmutativa de la


interseccin. Luego ser suficiente demostrar que = . Sea

Demostracin

Por definicin de interseccin,

y, por ley de simplificacin,

Esto prueba la inclusin

La segunda inclusin,

es una consecuencia inmediata del hecho de que el conjunto vaco es subconjunto de


todo conjunto. Por consiguiente, hemos demostrado
=

6. Interseccin

57

Teorema (Ley de idempotencia de la interseccin)


=

Demostracin Similar a la del Teorema que establece la ley de idempotencia para la

unin.

6.3.

Dos leyes distributivas

Los dos teoremas siguientes formulan identidades que relacionan entre s las
operaciones de unin e interseccin.
Teorema (Ley distributiva de la unin con respecto a la interseccin)
( ) = ( ) ( )

Haremos primero una demostracin grfica de este teorema. En el diagrama


siguiente tenemos tres conjuntos , y :

Primero coloreamos la regin que representa a :

58

Lgica

A continuacin agregamos el coloreado de la regin que representa a . De este


modo obtenemos el coloreado de la regin que representa a ( ):

( )

Ahora, vamos a colorear la regin que representa a ( ) ( ). Para ello,


comenzamos coloreando la regin que representa a :

6. Interseccin

Coloreamos tambin (por separado y con otro color) la regin que representa a :

Finalmente coloreamos simultneamente las dos ltimas regiones. La regin en la que


se superponen los dos colores (coloreada en amarillo en el siguiente diagrama), es
entonces la que representa a ( ) ( ):

59

60

Lgica

( ) ( )

Esta es exactamente la misma regin que representa a ( ).


Pasemos ahora a la demostracin del teorema en consideracin.

Demostracin Sea

( )

Por definicin de unin,

( )

y, por definicin de interseccin,

( )

Ahora, aplicando la ley distributiva de la disyuncin inclusiva con respecto a la


conjuncin,
( ) ( )

Enseguida aplicamos la definicin de unin,

( ) ( )

y, a continuacin, la de interseccin,

Esto prueba la inclusin

( ) ( )
( ) ( ) ( )

6. Interseccin

61

Mediante el mismo razonamiento en reversa se prueba la inclusin


( ) ( ) ( )

con lo cual queda probada la identidad

( ) = ( ) ( )

Teorema (Ley distributiva de la interseccin con respecto a la unin)


( ) = ( ) ( )

Demostracin Similar a la del Teorema anterior.

Debido a los dos ltimos teoremas, se dice que las operaciones de unin e
interseccin son mutuamente distributivas.

6.4.

Intersecciones generalizadas

Definicin Sean 1 , 2 , 3 , , conjuntos. Se define la interseccin de los


conjuntos 1 , 2 , 3 , , como el conjunto de todos aquellos elementos que
pertenecen simultneamente a todos los conjuntos 1 , 2 , 3 , , . Hay dos
smbolos para representar esta interseccin. Uno que llamaremos expandido:
1 2 3

y otro que llamaremos compacto:


=1

Ambos smbolos se utilizan dependiendo de las circunstancias. Si se desea abreviar


las notaciones, naturalmente el smbolo compacto es el ms apropiado. Pero, en
ocasiones, el smbolo compacto esconde aspectos que queremos apreciar
explcitamente. En tal caso, el smbolo expandido es preferible.
El tipo de interseccin descrita en la definicin anterior se llama generalizada.
Evidentemente, se trata de una generalizacin de la interseccin binaria ya que se
reduce a esta ltima cuando = 2.

Tambin, hay dos maneras de definir la interseccin generalizada por comprensin.


Una en que se usa el conectivo generalizado de la conjuncin:

62

Lgica

1 2 3 = {: 1 2 3 }

y otra en que se usa el cuantificador universal:

= {: para todo }
=1

En el diagrama siguiente tenemos cuatro conjuntos 1 , 2 , 3 y 4 :


4

y en el siguiente tenemos coloreada en amarillo la regin que representa la


interseccin generalizada respectiva:

6. Interseccin

63


=1

As, el siguiente es el diagrama de Venn de dicha interseccin generalizada:


4


=1

Ejemplo

Sean
1 = {0, 1, 2, 3, 4, 5}
Entonces

3 = {1, 2, 4, 7}
4

= {2 , 4}
=1

2 = {2 , 4 , 6, 8}

4 = {2, 4}

64

Lgica

Ejemplo

Sean
A1 = , {1}, {1,2}, {3,4,5}

A2 = {1}, {2}, {1,2}, {1,3}

A3 = , {}, {1}, {5}, {1,2}

Entonces

A = {1}, {1,2}
=1

Un caso especial importante de interseccin generalizada es la representada por el


smbolo
1


=1

que evidentemente no significa otra cosa sino 1 :


1

= 1

6.5.

=1

Ejercicios

Respuestas
1. Sean
= {, , , }

= {, , }

= {, , , }

= {, , }

Demuestre que en este caso se tiene


3

=1

=1

= ( )

calculando ambos lados de la igualdad por separado y verificando que en efecto


son iguales.

6. Interseccin

65

2. Sean
= {1 , 2}

Calcule

3. Sean

P ()

P ()

= {2 , 3 , 4}
P ( )

= {, }

P ( )

= {, }

en donde se supone que los objetos , y son todos distintos entre s.


Compruebe que en este caso se tiene
a. P () P () P ( )

b. P ( ) = P () P ()

4. Demuestre las siguientes afirmaciones:


a.

b.

c.

d. Si entonces y

e. Si y entonces

f. Si entonces

g. Si y entonces
h. Si entonces =
i. P ( ) = P () P ()

5. Demuestre, mediante un contraejemplo, que la siguiente afirmacin es falsa:


Si = entonces =

6. Demuestre que si , , y son conjuntos cualesquiera entonces


3

=1

=1

= ( )

66

Lgica

7. Demuestre las siguientes generalizaciones de las leyes distributivas de la unin


con respecto a la interseccin y de la interseccin con respecto a la unin:
a.

b.

=1

=1

= ( )

= ( )
=1

=1

7. Diferencia
7.1.

Diferencia

Definicin Se define la diferencia entre y como el conjunto de todos aquellos


elementos que pertenecen a pero no pertenecen a . Se nota por cualquiera de los
tres smbolos

Entonces, por comprensin,


= {: }

En otras palabras, tenemos que, dado cualquiera, la equivalencia


es verdadera y, en consecuencia, las implicaciones

son tambin ambas verdaderas.

El siguiente diagrama muestra dos conjuntos y :

68

Lgica

En el siguiente diagrama se ha coloreado en color amarillo la regin que representa la


diferencia entre y :

La curva segmentada indica que los puntos sobre ella no forman parte de la diferencia
entre y (puesto que pertenecen a ). As, el diagrama de Venn de dicha
diferencia es

Ejemplo

Sean
= {0 , 1 , 2 , 3 , 4}

= { 3 , 4 , 5 , 6 , 7 , 8}

El siguiente es un procedimiento para efectuar el clculo de :

Abrir un par de llaves.


Recorrer uno por uno los elementos de y verificar, para cada uno de ellos, si
pertenece o no a .
Escribir dentro de las llaves, separados por comas, aquellos elementos que, en el
paso anterior, no pertenezcan a .
El procedimiento termina cuando termine el recorrido por los elementos de .
Simplificar, si es necesario, las repeticiones en el conjunto resultante.

7. Diferencia

69

El conjunto simplificado es .

En el caso de los conjuntos y dados, obtenemos

= {0 , 1 , 2}

En comparacin con las operaciones unin e interseccin, la operacin diferencia no


tiene, a primera vista, propiedades interesantes. Ella es el patito feo de las
operaciones con conjuntos. (Lo cual no quiere decir que no sea una operacin
importante para ciertos propsitos como, por ejemplo, su intervencin en la
definicin de otras operaciones que s tienen propiedades interesantes.) Veamos:
La diferencia no satisface la ley conmutativa. Esto significa que la identidad
=

no es vlida.

En efecto, consideremos los dos conjuntos y del siguiente diagrama:

Coloreamos (con colores diferentes) las regiones que representan, respectivamente, a


y a :

70

Lgica

Vemos claramente que dichas dos regiones son distintas.


Ahora, para demostrar con ms formalidad la afirmacin de que la operacin
diferencia no satisface la ley conmutativa, bastar un contraejemplo. Sean
= {1}

Entonces

= {1} = {1}
As, .

= {1} =

La diferencia no satisface la ley asociativa. En otras palabras, la identidad


( ) = ( )

es falsa.

Consideremos, por ejemplo, los tres conjuntos , y representados en el diagrama


siguiente:

Comenzamos por colorear la regin que representa a :

7. Diferencia

71

y, a continuacin coloreamos la regin que representa a ( ):

( )

Ahora, retomamos el diagrama original y comenzamos por colorear la regin que


representa a :

72

Lgica

Finalmente, coloreamos la regin que representa a ( ) :

( )

Las regiones que representan a ( ) y a ( ) son distintas. Con esto


concluimos una demostracin grfica de que la identidad ( ) =
( ) es falsa, de modo que ciertamente la operacin diferencia no satisface la
ley asociativa.
Por otra parte, como una demostracin formal de la afirmacin anterior, aqu tambin
ser suficiente exhibir un contraejemplo. Tomemos
= {0 , 1 , 2}

= {1 , 2}

= {1}

7. Diferencia

73

Entonces
( ) = {0 , 1 , 2} ({ 1 , 2} {1}) = {0 , 1 , 2} {2} = {0 , 1}
( ) = ({0 , 1 , 2} { 1 , 2}) {1} = {0} {1} = {0}

Tenemos as que, en este caso particular, ( ) ( ) . Por tanto, la


operacin diferencia no satisface la ley asociativa.

La diferencia no satisface la ley modulativa. En otras palabras, no existe un


conjunto tal que
para todo conjunto .

==

En efecto, supongamos que tal existe. Entonces las dos identidades


y

(1)
(2)

deben cumplirse para todo conjunto . En particular, (1) debe cumplirse para =
precisamente. Esto es
=

lo cual dice que necesariamente = . Pero entonces la identidad (2) se convierte en


=

y debe cumplirse tambin para todo conjunto . En particular, debe cumplirse, por
ejemplo, para = {1}:
{1} = {1}
Pero esto dice que

= {1}

lo cual es un absurdo. Hemos demostrado que la suposicin de que existe conduce


lgicamente a un absurdo. Por tanto, es imposible que exista y as queda
demostrado que la operacin diferencia no satisface la ley modulativa.

74

Lgica

La diferencia no satisface la ley de absorcin. Es decir que no existe un conjunto


tal que
==

para todo conjunto .

Puede probarse esta afirmacin mediante un razonamiento completamente similar al


que acabamos de hacer para el caso de la ley modulativa.
La diferencia no satisface la ley de idempotencia. Esto es, la identidad
=

no es vlida.

Como contraejemplo, basta tomar = {1}. En efecto:

= {1} {1} =

de modo que, en este caso particular,

y queda demostrado que la operacin diferencia no satisface la ley de idempotencia.

7.2.

Ejercicios
Respuestas

1. Sean

Calcule

= {1, 2 , 3}
P ( )

= {1 , 2}
P () P ()

Para este caso particular, cul de las cuatro afirmaciones siguientes es


verdadera?:
a. P ( ) = P () P ()
c. P ( ) P () P ()

b. P ( ) P () P ()

d. P () P () P ( )

7. Diferencia

75

2. Sean

Calcule

= {0, 1 , 2}

= {1 , 2}

P (P () P ())

Este ejercicio es muy fcil pero tenga cuidado! No se acelere y asegrese de


escribir bien y en orden todo lo que debe escribir. Si no saba escribir llaves, aqu
va a aprender.
3. Demuestre las siguientes identidades:
a. = ( )

b. = ( ) ( )

c. ( ) =

e. ( ) = ( ) ( )

d. ( ) ( ) =

f. ( ) = ( )

g. ( ) = ( ) ( )

4. Compruebe la validez del argumento

y selo en algn momento para demostrar la identidad


( ) = ( ) ( )

5. Compruebe la validez del argumento

y selo en algn momento para demostrar la identidad

6. Demuestre que la identidad

( ) =

( ) = ( ) ( )

es falsa. Esto es, encuentre un contraejemplo (en este caso un par de conjuntos
particulares y que no satisfagan la identidad). Para su informacin, hay
contraejemplos muy pequeos que usted puede encontrar rpidamente.

76

Lgica

7. Considere la identidad
P ( ) = P () P ()

Si es verdadera, demustrela. Si es falsa, exhiba un contraejemplo.


8. Demuestre las siguientes afirmaciones:
a.

b. Si entonces

c. Si y entonces
d. Si = entonces =

e. Si entonces

f. Si entonces ( )
g. Si = entonces

h. Si entonces =

i. P ( ) P ()

8. Diferencia simtrica
8.1.

Diferencia simtrica

Definicin Se define la diferencia simtrica entre y como el conjunto de todos


aquellos elementos que pertenecen a alguno de los dos conjuntos y pero no
pertenecen al otro. Se nota por el smbolo

Entonces, por comprensin,

= {: }

En otras palabras, tenemos que, dado cualquiera, la equivalencia


es verdadera y, en consecuencia, las implicaciones

son tambin ambas verdaderas.

En el siguiente diagrama se muestran dos conjuntos y :

78

Lgica

y en el siguiente se ha coloreado la regin que representa la diferencia simtrica entre


y :

As, el diagrama de Venn de dicha diferencia simtrica es

8. Diferencia simtrica

79

Ejemplo

Sean
= {0 , 1 , 2 , 3 , 4}

= { 3 , 4 , 5 , 6 , 7 , 8}

El siguiente es un procedimiento para efectuar el clculo de :

Abrir un par de llaves.


Recorrer uno por uno los elementos de y verificar, para cada uno de ellos, si
pertenece o no a .
Escribir dentro de las llaves, separados por comas, aquellos elementos que, en el
paso anterior, no pertenezcan a .
Recorrer uno por uno los elementos de y verificar, para cada uno de ellos, si
pertenece o no a .
Continuar escribiendo dentro de las llaves, separados por comas, aquellos
elementos que, en el paso anterior, no pertenezcan a .
El procedimiento termina cuando termine el recorrido por los elementos de los
dos conjuntos y .
Simplificar, si es necesario, las repeticiones en el conjunto resultante.
El conjunto simplificado es .
Obtenemos

= {0 , 1, 2 , 5 , 6 , 7 , 8}
Ortografa matemtica: El smbolo de la diferencia simtrica
Observe con atencin el smbolo de la diferencia simtrica:

Correcto

Note que tiene la forma de un pequeo tringulo issceles. Se trata de la letra griega delta
mayscula (cuya minscula es ). La letra delta mayscula corresponde, en espaol, a la
letra D, inicial de la palabra Diferencia. El smbolo no debe confundirse con otro
smbolo parecido, llamado nabla,

80

Lgica

Incorrecto

que se usa con otros fines en otras reas de las matemticas.

8.2.

Propiedades de la diferencia simtrica

En contraste con la operacin diferencia (que, como ya vimos, es el patito feo de


las operaciones con conjuntos), la diferencia simtrica es una operacin muy bonita
debido a que posee varias propiedades interesantes.

Diferencia

Diferencia simtrica

En primer lugar, los dos teoremas siguientes muestran formas alternativas de entender
la diferencia simtrica. Dependiendo de las circunstancias y el propsito, una de las
tres formas (la original y las dos alternativas) puede resultar ms apropiada que las
otras dos.

8. Diferencia simtrica

81

Teorema
= ( ) ( )

Demostracin Sea

Entonces, por la definicin de diferencia simtrica,

y, por las leyes del significado de los conectivos,

( ) ( )

As, por las definiciones de unin e interseccin,

Luego, por definicin de diferencia,

Esto prueba la inclusin

( ) ( )
( ) ( )

El mismo razonamiento anterior, aplicado en reversa, muestra que la inclusin


( ) ( )

tambin es verdadera. En consecuencia,

= ( ) ( )

El teorema siguiente justifica el nombre diferencia simtrica:


Teorema

Demostracin Sea

= ( ) ( )

Entonces, por la definicin de diferencia simtrica,

82

Lgica

y, por las leyes del significado de los conectivos,

( ) ( )

Ahora bien, por las definiciones de diferencia y unin,

( ) ( )

Tenemos as demostrada la inclusin

( ) ( )

El mismo razonamiento, aplicado en reversa, prueba la inclusin

Por consiguiente,

( ) ( )
= ( ) ( )

Los siguientes teoremas muestran que la diferencia simtrica satisface por lo


menos tres de las propiedades bsicas que satisfacen la unin y la interseccin.
Teorema (Ley conmutativa de la diferencia simtrica)

Demostracin

conjuncin

Similar a la del teorema que establece la ley conmutativa de la

Teorema (Ley asociativa de la diferencia simtrica)

Demostracin

conjuncin

( ) = ( )

Similar a la del teorema que establece la ley asociativa de la

Resulta ilustrativo efectuar una demostracin grfica de esta ley. En el siguiente


diagrama tenemos tres conjuntos , y :

8. Diferencia simtrica

83

Coloreamos primero la regin que representa a :

A continuacin, coloreamos la regin que representa a ( ). Haremos esto en


tres pasos. Primero coloreamos la regin que representa a ( ), luego la que
representa a ( ) y, finalmente, la que representa a [ ( )]
[( ) ]:

84

Lgica

( )

( )

[ ( )] [( ) ]
= ( )

A continuacin, coloreamos la regin que representa a ( ) . Lo haremos en


cuatro pasos. Primero, coloreamos la regin que representa a , luego la que
representa a ( ) , luego la que representa a ( ) y, finalmente la que
representa a [( ) ] [ ( )]:

8. Diferencia simtrica

85

( )

( )

86

Lgica

[( ) ] [ ( )]
= ( )

que es exactamente la misma regin que representa a ( ).


Teorema (Ley modulativa de la diferencia simtrica)
==

Demostracin Por la ley conmutativa de la diferencia simtrica, la igualdad =


es verdadera. Luego, ser suficiente demostrar que la identidad = es
verdadera.

Sea

Por definicin de diferencia simtrica,

Pero, por definicin del conjunto vaco,

Entonces, por modus tollendo ponens,

Esto prueba la inclusin

8. Diferencia simtrica

87

Ahora, sea

Como, por definicin del conjunto vaco,

entonces, por la ley de la conjuncin,

y, por la ley de adicin,

( ) ( )

De este modo, por la ley del significado de la disyuncin exclusiva,


y, por definicin de diferencia simtrica,

Esto prueba la inclusin

De este modo, queda probada la identidad

Teorema

==

Demostracin Por la ley conmutativa de la diferencia simtrica, la igualdad =

es verdadera. Luego, basta demostrar que la identidad = es


verdadera. Sea

Entonces, por definicin de diferencia simtrica,

Ahora bien, por las leyes del significado de la disyuncin exclusiva,

88

Lgica

( ) ( )

(1)

Pero, dado que estamos en presencia de un conjunto universal , se tiene

y, por tanto, no puede ocurrir que un elemento que pertenezca a no pertenezca a .


En particular,
( )

As, de (1) y (2), por la ley del modus tollendo ponens,


y, por la definicin de la operacin diferencia,

Por consiguiente, hasta aqu hemos demostrado que


si entonces

Esto es, hemos demostrado la inclusin

Ahora, vamos a probar la inclusin . Supongamos que


Entonces, por definicin de diferencia,

y, por la ley de adicin,


( ) ( )

As, por la ley del significado de la disyuncin exclusiva,


Luego, de acuerdo con la definicin de diferencia simtrica,


De este modo, hemos demostrado la inclusin

con lo cual queda demostrada la identidad

(2)

8. Diferencia simtrica

89

Teorema (Ley de nilpotencia de la diferencia simtrica)


=

Demostracin Basta probar que el conjunto no posee elementos. Supongamos

que posee alguno:

Entonces, por definicin de diferencia simtrica,


Pero, dado el significado de las disyunciones exclusivas, esta es una contradiccin.


Por consiguiente, es imposible que posea elementos.

8.3.

Ejercicios

Respuestas
1. Sean

Calcule

= {1, 2 , {2}}

= {2 , , 3}

= {1, {2} , 3}

[( ) ] [( ) ]

2. Sean

= {, , , }

= {, , , }

= {, , , }

donde los objetos , , , , , y se suponen todos diferentes entre s. Calcule


[( ) ( )] ( )

3. Sean
= { , , {}}

= {{ , } , {} , }

= { , , {}}

donde los objetos , , y se suponen todos diferentes entre s. Calcule


[( ) ] [( ) ]

4. Sean A, B y C las colecciones definidas as:


A = { , {5} , {0 , 1 ,2}}

B = { , {} , {1, 2} , {0 , 2 , 3 , 4}}

90

Lgica

Calcule

C = { , {} , {5, 1 , 3}}

[(A B ) (B C )] [A B C ]

5. Sean A, B y C las colecciones definidas as:


A = { , {1 , 2} , {0 ,1 , 3}}

B = {{} , {1 , 2} , {0 , 2 , 3}}

C = { , {} , {1 , 3}}

Calcule

[(A B ) (B C )] [A C ]

6. La estudiante Porcincula sostiene que la frmula

( ) = ( ) ( )

es cierta porque tomando los conjuntos


= {1 , 2}

= {3 , 4}

= {4 , 5}

= {1 , 2}

= {1 , 3}

= {2 , 4}

se cumple. Por otra parte, el estudiante Pantalen dice que la frmula no es cierta
porque tomando los conjuntos

no se cumple. Quin tiene la razn? (Explique su respuesta.)

7. Supngase que definimos una nueva operacin entre conjuntos, que


representaremos con el smbolo , mediante la frmula
= ( ) ( )

(Nota. Esta operacin no existe en el mundo de las matemticas. Es un invento de


nacho, solamente para este ejercicio.) Sean

Calcule

= {0 , 1}

= {1 , 2}

Qu puede concluir sobre la conmutatividad de la operacin ?

8. Suponga que usted desea saber si la identidad

P ( ) = P () P ()

8. Diferencia simtrica

91

es verdadera o falsa. Examine lo que ocurre si toma un ejemplo particular,


digamos que toma
= {1 , 2}

= {2 , 3}

Qu obtiene? Puede concluir algo acerca de la verdad o falsedad de la


identidad? En caso afirmativo, qu es lo que puede concluir?
9. Suponga que se define una nueva operacin entre conjuntos mediante la
frmula
= P ( )

(Nota. La operacin tampoco existe en el mundo de las matemticas. Se trata


de otro invento de nacho, solamente para este ejercicio.) Dados

calcule

= {1 , 2}

= {2 , 3}

( ) ( )

10. Demuestre las siguientes afirmaciones:


a.

b. Si entonces =
c. Si = entonces =

d. Si P ( ) entonces =

92

Lgica

9. Complementacin
9.1.

Complementacin

Esta es una operacin diferente de las que hemos discutido hasta el momento. En
primer lugar, se trata de una operacin unaria, esto es, ella se aplica a un solo
conjunto para obtener otro conjunto, y, en segundo lugar, es una operacin que se
define siempre en presencia de un conjunto universal.
Definicin Dado , se define el complemento de como el conjunto de todos
aquellos elementos que pertenecen a pero no pertenecen a . Se nota por
cualquiera de los smbolos

Entonces, por comprensin,

Ac

= {: }

En otras palabras, tenemos que, dado cualquiera, la equivalencia


es verdadera y, en consecuencia, las implicaciones


son verdaderas.

En el siguiente diagrama se muestran el conjunto universal y uno de sus subconjuntos

94

Lgica

En el siguiente se ha coloreado en amarillo la regin que representa el complemento


de .

10. Complementacin

95

Ejemplo

Sean
= {0 , 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 }

= { 1 , 3 , 5 , 7 , 9}

El siguiente es un procedimiento para efectuar el clculo de :

Abrir un par de llaves.


Recorrer uno por uno los elementos de y verificar, para cada uno de ellos, si
pertenece o no a .
Escribir dentro de las llaves, separados por comas, aquellos elementos que, en el
paso anterior, no pertenezcan a .
El procedimiento termina cuando termine el recorrido por los elementos de .
Simplificar, si es necesario, las repeticiones en el conjunto resultante.
El conjunto simplificado es .
Obtenemos

= {0 , 2 , 4 , 6 , 8}
Ortografa matemtica: El smbolo de la complementacin
Observe el smbolo que representa el complemento de :
Correcto

La barrita, con forma de una pequea cua inclinada, que aparece como exponente de
la es llamada por algunos una prima. (La verdad es que no parece tener un nombre
oficial.) Note que se trata de una cua inclinada y no de una coma:
Incorrecto

La coma, en forma de exponente, s tiene un nombre oficial: es un apstrofo. Ocurre que


el apstrofo prcticamente no se utiliza en smbolos matemticos. En cambio, se usa en el
lenguaje natural aunque solo para ciertos propsitos muy particulares como, por ejemplo,
indicar por escrito la supresin, frecuente en el habla vulgar, de algunas slabas:

96

Lgica

Padnde va mijo?
Qu limporta?
Ah s? Pues tome paque afine!
A propsito, la palabra apstrofo tampoco debe confundirse con la palabra apstrofe:

apstrofo apstrofe

Mientras que un apstrofo es una coma pequea escrita como si fuera un exponente, un
apstrofe es una cierta figura retrica que, en su versin ms sencilla, se refiere al tipo de
interrupcin que se hace en el discurso o narracin para hacer un llamado vehemente, en
segunda persona, a alguien o a algo:
El conjunto vaco ... Johncito, ponga atencin! ... no posee elementos

Me permito presentarle un ejemplo de apstrofe!


Tambin se llaman apstrofes a ciertas expresiones que se usan a modo de insulto o
provocacin.

9.2.

Propiedades de la complementacin

En los teoremas siguientes se enuncian y demuestran algunas propiedades bsicas de


la operacin complementacin.
Teorema

Demostracin Sea

Entonces, por definicin de complementacin,


10. Complementacin

97

y, por ley de simplificacin,

Esto muestra que

Ahora, sea

Puesto que la afirmacin

es evidentemente verdadera entonces, por la ley de la conjuncin,


Luego, por la definicin de complementacin,

As, hemos demostrado la inclusin

Por consiguiente,

Teorema

Demostracin Basta demostrar que no posee elementos. En efecto, supongamos

que posee algn elemento :

Entonces, por definicin de diferencia,

que evidentemente es una contradiccin. As, es imposible que posea elementos,


de modo que

98

Lgica

Teorema (Ley involutiva de la complementacin)


( ) =

Demostracin Sea

Por definicin de complementacin,

( )

Eliminando la abreviatura de notacin de la negacin,


~( )

Por definicin de complementacin,

~( )

Eliminando de nuevo la abreviatura de notacin de la negacin,


~[ ~( )]

Aplicando las leyes de De Morgan,

[~( ) ~~( )]

Introduciendo una abreviatura de notacin de la negacin y aplicando la ley de la


doble negacin,
( )

Por la ley distributiva de la conjuncin con respecto a la disyuncin inclusiva,


( ) ( )

Ahora bien, la proposicin es una contradiccin. Luego, por la ley


modulativa de la disyuncin inclusiva,
y, por la ley de simplificacin,

Esto demuestra la inclusin

( )

10. Complementacin

99

El mismo razonamiento, aplicado en reversa muestra que la inclusin


( )

tambin es verdadera. Por consiguiente,

( ) =

Teorema

Demostracin Basta demostrar que no posee elementos. Supongamos que


posee algn elemento :
Por definicin de interseccin,

y, por definicin de complementacin,

Entonces, por la ley de simplificacin,

que es una contradiccin. Luego, es imposible que posea elementos:


Teorema

Demostracin Sea

Por definicin de unin,

Supongamos . Entonces, como , se tiene . En otras palabras,

100

Lgica

Supongamos . Por definicin de la complementacin, se tiene .


En particular, por la ley de simplificacin, . Es decir,

En conclusin, por la ley del dilema constructivo,

y, por ley de simplificacin trivial,

Esto demuestra la inclusin

Ahora, sea

Por la ley del tercio excluido,

Supongamos . Entonces, por la ley de adicin, . Luego, tenemos


Supongamos . Entonces por ley de la conjuncin, , esto es


, y por la ley de adicin, . Esto es,

Luego, de nuevo por dilema constructivo,

y, por la definicin de unin,

De este modo queda probada la inclusin,

En conclusin, hemos demostrado

Los dos teoremas siguientes se conocen como las leyes de De Morgan:

10. Complementacin

101

Teorema
( ) =

Veamos primero una demostracin grfica de este teorema. Comenzamos con un


par de subconjuntos y del conjunto universal:

El diagrama siguiente muestra la regin que representa a ( ):

102

Lgica

( )

Ahora vamos a representar el conjunto . Comenzamos con :

y, enseguida, :

10. Complementacin

Finalmente coloreamos la regin que representa a :

Esta es exactamente la misma regin que representa a ( ).


Pasemos ahora a la demostracin formal del teorema.

103

104

Lgica

Demostracin Sea

( )

Entonces, tenemos sucesivamente que, por definicin de complementacin,


por definicin de unin,

~( )

por una de las leyes de De Morgan (de la lgica),

( )

por las leyes de redundancia,

( ) ( )

por la definicin de complementacin,

y, por definicin de interseccin,

Esto demuestra la inclusin



( )

El mismo razonamiento, aplicado en reversa, demuestra la inclusin

Por tanto, queda demostrado que

Teorema

( )
( ) =
( ) =

Demostracin Similar a la del teorema anterior.

10. Complementacin

9.3.

105

Ejercicios
Respuestas

1. Sean el conjunto universal y , y los subconjuntos de definidos como


= {0 , 1 , 2 , 3 , 4 , 5 , 6}

= {: 1 3}

= {: 2 < 5}

= {: }

Calcule

( ) ( )

2. Sean
= {1 , 2 , 3 , 4 , 5}

= {1 , 4}

= {1 , 3 , 5}

Compruebe si la siguiente igualdad es cierta o no:

3. Sean

( ) = ( ) ( )
= {1, 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 , 10}

Calcule

= {1, 2 , 3 , 7 , 9}

= {1 , 3 , 7 , 8}

= {7 , 8 , 9 , 10}

[ ( )] [( ) ]

4. Sean
= {0 , 1 , 2 , , 9}

= {0 , 2 , 6}

= {1 , 8 , 9}

Demuestre que, en este caso particular,

= {0 , 2 , 5 , 7}

[( ) ( )] ( ) =

calculando el lado izquierdo de la igualdad y verificando que en efecto es igual a


.

5. El granjero Joaqun posee los siguientes animales: Araminta (una vaca), Procopio
(un perro), Yisleivis (una gallina), Eleuterio (un conejo) y Filiberto (un caballo).
Un vecino de Joaqun, llamado Euler, sabe de matemticas y le encanta molestar a

106

Lgica

Joaqun plantendole problemas. Euler le dice a Joaqun: Llamemos al conjunto


de tus animales que son cuadrpedos, al conjunto de tus animales que ponen
huevos, al conjunto de tus animales que no tienen plumas y al conjunto de tus
animales que poseen escamas y cada diciembre emigran volando hacia el polo
norte. A que no puedes demostrar que ninguno de los animales del conjunto
[( ) ( )]

posee dientes. Para sorpresa de Euler, Joaqun hizo la demostracin


correctamente. Comenz representando cada uno de sus animales por la inicial del
respectivo nombre en minscula. Por ejemplo, represent a Araminta por .
Suponga que usted es Joaqun y resuelva el problema. (Sea claro y ordenado en
sus clculos y no utilice diagramas de Venn.)
6. Demuestre la siguientes generalizaciones de las leyes de De Morgan:

= ( )
=1

=1

= ( )
=1

=1

7. Suponga que definimos una nueva operacin entre conjuntos, que llamaremos
unin externa, la cual representaremos con el smbolo y estar definida
mediante la frmula
=

donde es la unin usual y es el complemento usual de con respecto al


universo . (Nota. La operacin no existe en el mundo de las matemticas. Se
trata de un invento ms de nacho, solo para este ejercicio.) Suponga ahora que
definimos una operacin ms entre conjuntos, que llamaremos unin externa
simtrica, la cual representaremos con el smbolo y estar definida mediante la
frmula

= ( ) ( )

donde es la unin externa que acabamos de definir e es la interseccin usual.


(Nota. La operacin tampoco existe en el mundo de las matemticas. Se trata
de un invento del inventor nacho, solo para este ejercicio.) De las seis opciones
siguientes determine cules son verdaderas y cules son falsas:
a. =
d. =

b. = =

e. = =

c. = =

f. = =

10. Producto cartesiano


Vamos a discutir ahora una ltima operacin binaria entre conjuntos. Como veremos,
ella resulta ser un tanto diferente de las operaciones binarias que hemos estudiado
hasta ahora. Al mismo tiempo, es una operacin que reviste gran importancia desde el
punto de vista matemtico. Para definirla, se hace necesario introducir previamente el
concepto de pareja ordenada.

10.1.

Parejas ordenadas

Definicin Una pareja ordenada (o un par ordenado) es una lista ordenada , de


objetos no necesariamente distintos. El objeto es la primera componente o
primera coordenada de la pareja ordenada. El objeto es la segunda componente o
segunda coordenada de la pareja ordenada. Cualquiera de los smbolos
,

(, )

representa la pareja ordenada cuya primera componente es y cuya segunda


componente es .
Ejemplo

La pareja ordenada
(3 , 5)

es una pareja ordenada de nmeros naturales. Su primera componente es el nmero 3


y su segunda componente es el nmero 5.

Ejemplo

La pareja ordenada
(Motas , Kaiser)

108

Lgica

es una pareja ordenada de mascotas. Su primera componente es el gato Motas y su


segunda componente es el perro Kaiser.

Ortografa matemtica: La notacin de pareja ordenada


En la notacin de pareja ordenada los parntesis deben ser redondos o angulares:

(, )

Correctos

No son correctos los parntesis rectangulares y mucho menos las llaves:

[, ]

Incorrectos

Tampoco es correcto omitir la coma:

( )

Incorrectos

{, }

Definicin Se dice que la pareja ordenada (, ) es igual a la pareja ordenada


(, ), y se escribe
(, ) = (, )

si y solo si = y = . Es decir que dos parejas ordenadas son iguales si y solo


si sus primeras componentes son iguales entre s y sus segundas componentes
tambin son iguales entre s. En caso contrario, se dice que son diferentes o
distintas y se escribe
(, ) (, )

Entonces, de acuerdo con esta definicin, se tiene:

(, ) = (, ) = =
Ejemplo

(, ) (, )

Se tiene que

porque

6
(3 , 2) = ( , 4)
2

10. Producto cartesiano

3=2

2 = 4

109

Ejemplo

Ocurre que
(5 , 8) (8 , 5)

porque 5 8.

Parejas ordenadas y parejas no ordenadas


Observe que la diferencia conceptual entre la pareja {, } y la pareja ordenada (, )
tiene que ver esencialmente con el orden entre sus elementos. En efecto, tenemos que
{, } = {, }

puesto que el orden en que se escriban los elementos de un conjunto es irrelevante. En


cambio, la igualdad
(, ) = (, )

ocurre solamente cuando = . En efecto, cuando , se tiene


(, ) (, )

Es por esto que algunos tambin llaman al conjunto {, } una pareja no ordenada.

10.2.

Producto cartesiano

Definicin Se define el producto cartesiano de y como el conjunto de todas


las parejas ordenadas cuya primera componente est en y cuya segunda
componente est en . Se nota
Entonces, por comprensin,

= {(, ): }

Esto significa que las dos implicaciones siguientes son vlidas:


si (, ) entonces

110

Lgica

si entonces (, )
Ortografa matemtica: El smbolo de la operacin producto cartesiano
El smbolo que representa la operacin producto cartesiano no es otra cosa sino el mismo
smbolo por (o cruz, como lo llaman algunos) de la operacin multiplicacin entre
nmeros naturales:

Una de las razones por las cuales se adopt este smbolo para el producto cartesiano es que
si posee elementos y posee elementos entonces posee elementos.
Ejemplo

Sean
= {1 , 2 , 3}

= {4 , 5}

De acuerdo con la definicin de producto cartesiano, para calcular tenemos


que encontrar todas las parejas ordenadas cuya primera componente est en y cuya
segunda componente est en . Conviene hacer esto en forma ordenada. As, por
ejemplo, podemos comenzar con las parejas ordenadas cuya primera componente es
1. Dado que posee exactamente dos elementos, es claro que solamente podemos
obtener dos parejas ordenadas cuya primera componente es 1. Escribimos entonces
los dos primeros elementos del conjunto :
= {(1 , 4) , (1 , 5) ,

= {(1 , 4) , (1 , 5) , (2 , 4) , (2,5),

Continuamos con las parejas ordenadas cuya primera componente es 2. De nuevo,


solamente hay dos parejas ordenadas cuya primera componente es 2. Las agregamos
a las dos anteriores y, de este modo, completamos los primeros cuatro elementos de
:
Finalmente, hay otras dos parejas ordenadas, a saber, aquellas cuya primera
componente es 3. Las agregamos a las que ya tenamos en el conjunto :
= {(1 ,4) , (1 , 5) , (2 , 4) , (2 , 5) , (3 , 4) , (3 , 5)}

10. Producto cartesiano

Y eso es todo. No hay ms parejas ordenadas en puesto que hemos agotado los
elementos de que actan como primera componente y para cada uno de ellos hemos
agotado los elementos de que actan como segunda componente. En consecuencia,
hemos definido por extensin la totalidad del conjunto .

Observe que en el ejemplo anterior el conjunto posee 3 elementos, el conjunto


posee 2 elementos y el conjunto posee 6 elementos (comprubelo: cuente el
nmero total de parejas ordenadas que obtuvimos en !). Note ahora que
6 = 3 2. Todo esto no es ms que un caso particular del hecho siguiente:
Si posee elementos y posee elementos entonces posee
elementos

Ejemplo

De nuevo tomemos
= {1 , 2 , 3}

= {4 , 5}

y calculemos esta vez el producto cartesiano . Ahora las primeras componentes


deben estar en y las segundas en . Obtenemos entonces
= {(4 , 1) , (4 , 2) , (4 , 3) , (5 , 1) , (5 , 2) , (5 , 3)}

Notamos que posee tambin, como era de esperarse, 6 elementos, esto es,
2 3 elementos. Pero es un conjunto muy diferente de ! (De hecho, en
este caso particular, ni siquiera tienen elementos en comn.) En otras palabras, la
operacin binaria producto cartesiano no satisface la ley conmutativa.

El producto cartesiano es una operacin muy particular. A pesar de su indiscutible


importancia en matemticas, ella, a diferencia de la mayora de las otras operaciones
que hemos estudiado hasta el momento, no exhibe propiedades como las leyes
asociativa, conmutativa y modulativa. No obstante, exhibe algunas propiedades de
otro tipo como, por ejemplo, la:
Teorema (Ley distributiva del producto cartesiano con respecto a la unin)

Demostracin Sea

( ) = ( ) ( )
(, ) ( )

Entonces, por definicin de producto cartesiano,

111

112

Lgica

En consecuencia, por definicin de unin,

( )

Aplicando ahora la ley distributiva de la conjuncin con respecto a la disyuncin


inclusiva,
( ) ( )

De este modo, por definicin de producto cartesiano,

( , ) ( , )

y, por definicin de unin,

Esto demuestra la inclusin

( , ) ( ) ( )

( ) ( ) ( )

Los pasos anteriores son todos reversibles, lo cual demuestra la inclusin


( ) ( ) ( )

Tenemos as demostrada la identidad

10.3.

( ) = ( ) ( )

tuplas ordenadas

Definicin Una tupla ordenada es una lista ordenada 1 , 2 , 3 , , de


objetos no necesariamente distintos entre s. Se nota por cualquiera de los dos
smbolos

( 1 , 2 , 3 , , )

1 , 2 , 3 , ,

El objeto 1 es la primera componente o primera coordenada de la tupla


ordenada, el objeto 2 es la segunda componente o segunda coordenada de la
tupla ordenada, y as as sucesivamente hasta el objeto que es la sima
componente o sima coordenada de la tupla ordenada. Las 2tuplas
ordenadas se llaman tambin duplas ordenadas y no son otra cosa sino las parejas
ordenadas discutidas anteriormente. Las 3tuplas ordenadas se llaman tambin
ternas ordenadas o triplas ordenadas. Las 4tuplas ordenadas se llaman tambin
cudruplas ordenadas. A continuacin tenemos las quntuplas ordenadas, las
sxtuplas ordenadas y as sucesivamente.

10. Producto cartesiano

Ejemplo

La terna ordenada
(

2
, 5 , )
3

es una terna ordenada de nmeros reales. Su primera componente es el nmero real


2
3 , su segunda componente es el nmero real 5 y su tercera componente es el
nmero real .

Ejemplo

La cudrupla ordenada
(Superman , Batman , Spiderman , Ironman)

es una cudrupla ordenada de superhroes. Su primera componente es Superman, su


segunda componente es Batman, su tercera componente es Spiderman y su cuarta
componente es Ironman.

Definicin Se dice que la tupla ordenada (1 , 2 , 3 , , ) es igual a la


tupla ordenada (1 , 2 , 3 , , ), y se escribe
si y solo si

( 1 , 2 , 3 , , ) = ( 1 , 2 , 3 , , )

1 = 1 2 = 2 3 = 3 =

Es decir que la igualdad entre dos tuplas ordenadas es equivalente a las


igualdades simultneas entre las componentes respectivas de las tuplas
ordenadas.
Entonces, de acuerdo con esta definicin, se tiene que

si y solo si

( 1 , 2 , 3 , , ) ( 1 , 2 , 3 , , )
1 1 2 2 3 3

113

114

Lgica

Ortografa matemtica: La notacin de tupla ordenada

En la notacin de tupla ordenada los parntesis deben ser redondos o angulares:

(1 , 2 , 3 , , )

Correcto

1 , 2 , 3 , ,

Correcto

No son correctos los parntesis rectangulares y mucho menos las llaves:

[1 , 2 , 3 , , ]
{1,2,3,,}

Incorrecto

Incorrecto

Tampoco es correcto omitir las comas:

(1 2 3 )

Incorrecto

1 2 3

Incorrecto

10.4.

Producto cartesiano generalizado

Definicin Se define el producto cartesiano de los conjuntos 1 , 2 , 3 , ,


como el conjunto de todas las tuplas ordenadas cuya sima componente est
en para todo = 1, 2, 3, , . Se nota, en forma expandida, por el smbolo
1 2 3

y, en forma compacta, por el smbolo


=1

Entonces, por comprensin,

= {(1 , 2 , 3 , , ): 1 1 2 2 }
=1

o, abreviadamente,

10. Producto cartesiano

115

= { (1 , 2 , 3 , , ): }
=1

Ejemplo

Sean
1 = {0, 1, 2}

Entonces

2 = {2}

3 = {2, 4}

= {(0,2,2), (0,2,4), (1,2,2), (1,2,4), (2,2,2), (2,2,4)}

=1

Ortografa matemtica: el smbolo del producto cartesiano generalizado


El smbolo del producto cartesiano generalizado es la letra griega pi mayscula:

Correcto

Note que este smbolo es grande y sus trazos son rectos. No debe confundirse con la
versin minscula de la misma letra,

Incorrecto

que es un smbolo ms pequeo y de trazos curvados.

Ejemplo

Sean
A1 = , {1,2}

Entonces

A3 = , {}

A2 = {1}

A4 = {}

116

Lgica

A = {(, {1}, , {}), (, {1}, {}, {}), ({1,2}, {1}, , {}), ({1,2}, {1}, {}, {})}
=1

(Colore las diferentes cudruplas resultantes, en total cuatro, para distinguirlas con
mayor claridad.)

Un caso especial importante de producto cartesiano generalizado es el representado


por el smbolo
1


=1

que es, por definicin, el conjunto de todas las 1tuplas ordenadas cuya nica
componente est en 1 . Aqu es costumbre identificar cada 1tupla ordenada con su
nica componente. Esto es, se adopta la convencin de que la 1tupla ordenada ()
es en realidad el mismo objeto . De esta manera resulta que
1

= 1
=1

10.5.

Ejercicios
Respuestas

1. Sea
= {1 , 2}

Calcule

2. Sean

A = {{1 , 2} , {3}}

B = {{}}

C = {{} , }

donde los objetos 1, 2, 3, y son todos distintos entre s. Calcule


ABC

3. Dados

calcule

ABA

= {1 , 2}

BCC

= {1}

BBB

10. Producto cartesiano

117

P ( ) P ( )

4. Dados

= {1 , 2}

Calcule

= {2 , 3 , 4 , 5}

P (( ) ( ))

5. Sean
= {1 , 2}

Calcule por separado los conjuntos

= {2 , 3}

( )

= {3 , 4}
( ) ( )

(Asegrese de que sus clculos son correctos.) De acuerdo con los resultados que
obtuvo en este caso particular, se puede concluir que la identidad
( ) = ( ) ( )

es verdadera o es falsa en general? Explique su respuesta.


6. Demuestre las siguientes identidades:
a. =

b. =

c. ( ) = ( ) ( )

d. ( ) = ( ) ( )

e. ( ) = ( ) ( )
f. ( ) = ( ) ( )

7. Demuestre las siguientes afirmaciones:

a. Si = entonces = o =

b. Si y entonces

118

Lgica

Respuestas a los ejercicios


Seccin 1.10

Regresar

1. a. Verdadera

b. Falsa

c. Falsa

d. Falsa

e. Verdadera

f. Falsa

g. Falsa

h. Falsa

i. Verdadera

j. Verdadera

k. Falsa

l. Falsa

2. a. Falsa

b. Falsa

c. Verdadera

d. Falsa

e. Falsa

f. Falsa

3. a. Verdadera

b. Verdadera

c. Falsa

d. Verdadera

e. Falsa

f. Verdadera

g. Falsa

h. Falsa

i. Falsa

4. a. Falsa

b. Falsa

c. Falsa

e. Falsa

f. Falsa

d. Verdadera

Seccin 2.6
1. a. Verdadera

Regresar
b. Verdadera

c. Falsa

d. Falsa

e. Falsa

f. Falsa

g. Verdadera

h. Verdadera

i. Verdadera

j. Verdadera

k. Falsa

l. Falsa

m. Verdadera

n. Falsa

o. Falsa

p. Falsa

q. Falsa

2. a. Verdadera

b. Verdadera

c. Verdadera

d. Verdadera

e. Verdadera

f. Verdadera

120

Lgica

g. Verdadera

h. Falsa

Seccin 4.2

Regresar

1. a. P (P ()) tiene exactamente los siguientes elementos:

{}

{{1}}

{{2}}

{{1}, {2}}

{{1}, {1,2}}

{{2}, {1,2}}

{, {1}, {2}}

{{1,2}}

{, {1}, {1,2}}

{, {1}, {2}, {1,2}}

b. 16

{, {1}}

{, {2}}

{, {2}, {1,2}}

{{1}, {2}, {1,2}}

c. S

{, {1,2}}

d. No

Seccin 5.5

Regresar

1. A

Seccin 6.5

Regresar

2. P () = {, {1}, {2}, {1,2}}

P () = {, {2}, {3}, {4}, {2,3}, {2,4}, {3,4}, {2,3,4}}


P ( ) = {, {2}}

P ( ) tiene exactamente 16 elementos que son:

{1}

{2}

{3}

{4}

{3,4}

{1,2,3}

{1,2,4}

{1,3,4}

{2,3,4}

{1,2}
{1,2,3,4}

{1,3}

{1,4}

{2,3}

{2,4}

Respuestas a los ejercicios

121

Seccin 7.2

Regresar

1. b
2. P [P () P ()] tiene exactamente 16 elementos que son:

{{0}}

{{0,1}}

{{0}, {0,2}}

{{0}, {0,1,2}}

{{0,1}, {0,2}}

{{0,2}}

{{0,1,2}}

{{0,1}, {0,1,2}}

{{0,2}, {0,1,2}}

{{0}, {0,1}, {0,1,2}}

{{0}, {0,2}, {0,1,2}}

{{0,1}, {0,2}, {0,1,2}}

{{0}, {0,1}, {0,2}}

{{0}, {0,1}, {0,2}, {0,1,2}}

Seccin 8.3
1. {, 3}

{{0}, {0,1}}

2. {, , , }

4. {{5}, {1,2}, {0,1,2}, {0,2,3,4}}

6. Pantalen

Regresar

3. {{}}

5. {{0,2,3}}

7. = {0}, = {2}, la operacin no es conmutativa


8. Se obtiene

P ( ) = {, {1}, {3}, {1,3}}

P () P () = {{1}, {3}, {1,2}, {2,3}}

S se puede concluir algo acerca de la verdad o falsedad de la identidad: Se puede


concluir que es falsa.
9. {{1}, {3}}

Seccin 9.3
1. {4,5}

Regresar
2. No es cierta

3. {2,10}

122

Lgica

Seccin 10.5
1.

Regresar

= {(1,1), (1,2), (2,1), (2,2)}

= {(1,1,1), (1,1,2), (1,2,1), (1,2,2), (2,1,1), (2,1,2), (2,2,1), (2,2,2)}

2. A B C = {({1,2}, {}, {}), ({1,2}, {}, ), ({3}, {}, {}), ({3}, {}, )}
ABA =
{({1,2}, {}, {1,2}), ({1,2}, {}, {3}), ({3}, {}, {1,2}), ({3}, {}, {3})}

B C C = {({}, {}, {}), ({}, {}, ), ({}, , {}), ({}, , )}

3.
4.

B B B = {({}, {}, {})}


{{(2,1)}, {(1,1), (2,1)}}

{, {(1,3)}, {(1,4)}, {(1,5)}, {(1,3), (1,4)}, {(1,3), (1,5)}, {(1,4), (1,5)}, {(1,3), (1,4), (1,5)}}

5. ( ) = ( ) ( ) = {(1,2), (1,4), (2,2), (2,4)}

No se puede concluir nada en general acerca de la verdad o falsedad de la


identidad. Solo se puede decir que ella es verdadera en este caso particular.