Professional Documents
Culture Documents
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
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.
1.4.
1.5.
1.6.
Conjuntos unitarios.................................................................................................................................7
1.7.
Parejas ....................................................................................................................................................7
1.8.
Ternas .....................................................................................................................................................8
1.9.
1.10.
Ejercicios ................................................................................................................................................9
2. Inclusin .........................................................................................................13
2.1.
Inclusin ............................................................................................................................................... 13
2.2.
2.3.
2.4.
2.5.
2.6.
Ejercicios .............................................................................................................................................. 19
3. Colecciones ....................................................................................................21
3.1.
Colecciones .......................................................................................................................................... 21
4.2.
Ejercicios .............................................................................................................................................. 26
5. Unin ..............................................................................................................29
5.1.
Unin .................................................................................................................................................... 29
5.2.
5.3.
5.4.
5.5.
Ejercicios .............................................................................................................................................. 47
vi
Lgica
6. Interseccin .................................................................................................... 49
6.1.
Interseccin .......................................................................................................................................... 49
6.2.
6.3.
6.4.
6.5.
Ejercicios ............................................................................................................................................. 64
7. Diferencia....................................................................................................... 67
7.1.
Diferencia ............................................................................................................................................ 67
7.2.
Ejercicios ............................................................................................................................................. 74
8.2.
8.3.
Ejercicios ............................................................................................................................................. 89
9. Complementacin .......................................................................................... 93
9.1.
Complementacin ................................................................................................................................ 93
9.2.
9.3.
10.2.
10.3.
10.4.
10.5.
1. El concepto de
conjunto
1.1.
Conjuntos
1.2.
Elementos
Lgica
pertenece a
est en
posee a
est contenido en
contiene a
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.
2. Inclusin
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, }
{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
2. Inclusin
entonces
{Mateo, Marcos, Lucas, Juan} = { es uno de los evangelistas}
es correcta.
{, , , , , , , , , } = {, }
Si = entonces =
Si = y = entonces =
Lgica
1.5.
El conjunto vaco
{ }
2. Inclusin
1.6.
Conjuntos unitarios
{}
Ejemplo
1.7.
Parejas
{, }
6 {2 , 6}
Note que todo conjunto unitario es, al mismo tiempo, una pareja! En efecto:
{} = { , }
Lgica
1.8.
Ternas
{ , , }
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}}
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}}
3. Sea
= {1 , {1} , {1 , {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}}}
2. Inclusin
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
Correcto
Note que tiene la forma de una pequea elipse cruzada por una barra diagonal sin
adornos. No debe confundirse con el smbolo
Incorrecto
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
2. Inclusin
13
2. Inclusin
2.1.
Inclusin
es subconjunto de
est contenido en
es una parte de
14
Lgica
Adems, el smbolo
contiene a
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}
9 = 3
1+3=4
Cuidado!
2.2.
16
Lgica
Si y entonces
= si y solo si y
2.3.
Inclusin propia
o tambin
si se cumple que
2. Inclusin
El smbolo
17
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
si y solo si {}
18
Lgica
2.5.
Conjuntos universales
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.
2. Inclusin
19
2.6.
Ejercicios
Respuestas
1. Sea
A = {1 , {2 , 3}}
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
e. {{1 , {1}}}
b. {1}
f. {{1 , {1}}}
h. {1 , {1} , {1 , {1}}}
c. {1 , {1}}
d. {1 , {1}}
g. {1 , {1} , {1 , {1}}}
{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
Ejemplo
El conjunto
A = {1,2}, {3},
{3} A
1A
2A
3A
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.
El conjunto
B = {1}, {2}, {1,2}, {1,2}
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 :
{}
{}
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
P ()
P () = {: }
26
Lgica
{}
{}
{}
{, }
{, }
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 () = , {}, {}, {}, {, }, {, }, {, }, {, , }
Este puede ser el origen del nombre alternativo conjunto potencia para el conjunto
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
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
Definicin
= {: }
30
Lgica
5. Unin
31
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}
{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}
5.2.
Demostracin
5. Unin
33
Sea
( ) = ( )
34
Lgica
( )
5. Unin
35
( )
36
Lgica
Sea
( ) ( )
( ) ( )
( )
( )
( )
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
( ) = ( )
37
38
Lgica
Ahora sea
= =
Demostracin
5. Unin
39
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
Ahora sea
Por consiguiente,
Demostracin Sea
40
Lgica
Luego,
Ahora, sea
Por tanto,
5.3.
Demostracin Supongamos
Sea
Si entonces =
5. Unin
41
tambin es verdadera por ser una tautologa. Luego, por dilema constructivo,
Ahora, sea
En consecuencia,
42
Lgica
Teorema
Si y entonces
Demostracin Supongamos
Sea
Teorema
Demostracin Sea
5. Unin
43
Teorema
Demostracin Sea
P () P () P ( )
X P () P ()
X P () P ()
X X
X P ( )
es verdadera.
X X P ( )
44
Lgica
X X P ( )
X P ( ) X P ( )
X P ( )
5.4.
P () P () P ( )
Uniones generalizadas
=1
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
= {: para algn }
=1
=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
=1
=1
= 1
=1
5. Unin
5.5.
47
Ejercicios
Respuestas
1. Sean
A1 =
Calcule
A = , {}
A = , {} , , {}
A = , {} , , {}, , {} , , {}
4
A
=1
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 ()
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 ()
48
Lgica
6. Interseccin
6.1.
Interseccin
= {: }
50
Lgica
Ahora coloreamos la regin que representa a . (La idea aqu es colorear esta
segunda regin usando un color distinto del anterior).
6. Interseccin
51
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}
52
Lgica
6.2.
= {3 , 4}
6. Interseccin
53
54
Lgica
6. Interseccin
55
Ahora, sea
56
Lgica
= =
Demostracin
La segunda inclusin,
6. Interseccin
57
unin.
6.3.
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)
( ) = ( ) ( )
58
Lgica
( )
6. Interseccin
Coloreamos tambin (por separado y con otro color) la regin que representa a :
59
60
Lgica
( ) ( )
Demostracin Sea
( )
( )
( )
( ) ( )
y, a continuacin, la de interseccin,
( ) ( )
( ) ( ) ( )
6. Interseccin
61
( ) = ( ) ( )
Debido a los dos ltimos teoremas, se dice que las operaciones de unin e
interseccin son mutuamente distributivas.
6.4.
Intersecciones generalizadas
=1
62
Lgica
1 2 3 = {: 1 2 3 }
= {: para todo }
=1
6. Interseccin
63
=1
=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}
Entonces
A = {1}, {1,2}
=1
=1
= 1
6.5.
=1
Ejercicios
Respuestas
1. Sean
= {, , , }
= {, , }
= {, , , }
= {, , }
=1
=1
= ( )
6. Interseccin
65
2. Sean
= {1 , 2}
Calcule
3. Sean
P ()
P ()
= {2 , 3 , 4}
P ( )
= {, }
P ( )
= {, }
b. P ( ) = P () P ()
b.
c.
d. Si entonces y
e. Si y entonces
f. Si entonces
g. Si y entonces
h. Si entonces =
i. P ( ) = P () P ()
=1
=1
= ( )
66
Lgica
b.
=1
=1
= ( )
= ( )
=1
=1
7. Diferencia
7.1.
Diferencia
68
Lgica
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}
7. Diferencia
69
El conjunto simplificado es .
= {0 , 1 , 2}
no es vlida.
70
Lgica
Entonces
= {1} = {1}
As, .
= {1} =
es falsa.
7. Diferencia
71
( )
72
Lgica
( )
= {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}
==
(1)
(2)
deben cumplirse para todo conjunto . En particular, (1) debe cumplirse para =
precisamente. Esto es
=
y debe cumplirse tambin para todo conjunto . En particular, debe cumplirse, por
ejemplo, para = {1}:
{1} = {1}
Pero esto dice que
= {1}
74
Lgica
no es vlida.
= {1} {1} =
7.2.
Ejercicios
Respuestas
1. Sean
Calcule
= {1, 2 , 3}
P ( )
= {1 , 2}
P () P ()
b. P ( ) P () P ()
d. P () P () P ( )
7. Diferencia
75
2. Sean
Calcule
= {0, 1 , 2}
= {1 , 2}
P (P () P ())
b. = ( ) ( )
c. ( ) =
e. ( ) = ( ) ( )
d. ( ) ( ) =
f. ( ) = ( )
g. ( ) = ( ) ( )
( ) =
( ) = ( ) ( )
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 ()
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
= {: }
78
Lgica
8. Diferencia simtrica
79
Ejemplo
Sean
= {0 , 1 , 2 , 3 , 4}
= { 3 , 4 , 5 , 6 , 7 , 8}
= {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
8.2.
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
( ) ( )
( ) ( )
( ) ( )
= ( ) ( )
Demostracin Sea
= ( ) ( )
82
Lgica
( ) ( )
( ) ( )
( ) ( )
Por consiguiente,
( ) ( )
= ( ) ( )
Demostracin
conjuncin
Demostracin
conjuncin
( ) = ( )
8. Diferencia simtrica
83
84
Lgica
( )
( )
[ ( )] [( ) ]
= ( )
8. Diferencia simtrica
85
( )
( )
86
Lgica
[( ) ] [ ( )]
= ( )
Sea
8. Diferencia simtrica
87
Ahora, sea
( ) ( )
Teorema
==
88
Lgica
( ) ( )
(1)
( ) ( )
(2)
8. Diferencia simtrica
89
8.3.
Ejercicios
Respuestas
1. Sean
Calcule
= {1, 2 , {2}}
= {2 , , 3}
= {1, {2} , 3}
[( ) ] [( ) ]
2. Sean
= {, , , }
= {, , , }
= {, , , }
3. Sean
= { , , {}}
= {{ , } , {} , }
= { , , {}}
B = { , {} , {1, 2} , {0 , 2 , 3 , 4}}
90
Lgica
Calcule
C = { , {} , {5, 1 , 3}}
[(A B ) (B C )] [A B C ]
B = {{} , {1 , 2} , {0 , 2 , 3}}
C = { , {} , {1 , 3}}
Calcule
[(A B ) (B C )] [A C ]
( ) = ( ) ( )
= {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
Calcule
= {0 , 1}
= {1 , 2}
P ( ) = P () P ()
8. Diferencia simtrica
91
= {2 , 3}
calcule
= {1 , 2}
= {2 , 3}
( ) ( )
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
Ac
= {: }
son verdaderas.
94
Lgica
10. Complementacin
95
Ejemplo
Sean
= {0 , 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 }
= { 1 , 3 , 5 , 7 , 9}
= {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
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
9.2.
Propiedades de la complementacin
Demostracin Sea
10. Complementacin
97
Ahora, sea
Por consiguiente,
Teorema
98
Lgica
Demostracin Sea
( )
~( )
[~( ) ~~( )]
( )
10. Complementacin
99
( ) =
Teorema
Demostracin Sea
100
Lgica
Ahora, sea
10. Complementacin
101
Teorema
( ) =
102
Lgica
( )
y, enseguida, :
10. Complementacin
103
104
Lgica
Demostracin Sea
( )
~( )
( )
( ) ( )
( )
Teorema
( )
( ) =
( ) =
10. Complementacin
9.3.
105
Ejercicios
Respuestas
= {: 1 3}
= {: 2 < 5}
= {: }
Calcule
( ) ( )
2. Sean
= {1 , 2 , 3 , 4 , 5}
= {1 , 4}
= {1 , 3 , 5}
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}
= {0 , 2 , 5 , 7}
[( ) ( )] ( ) =
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
= ( )
=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
=
= ( ) ( )
b. = =
e. = =
c. = =
f. = =
10.1.
Parejas ordenadas
(, )
La pareja ordenada
(3 , 5)
Ejemplo
La pareja ordenada
(Motas , Kaiser)
108
Lgica
(, )
Correctos
[, ]
Incorrectos
( )
Incorrectos
{, }
(, ) = (, ) = =
Ejemplo
(, ) (, )
Se tiene que
porque
6
(3 , 2) = ( , 4)
2
3=2
2 = 4
109
Ejemplo
Ocurre que
(5 , 8) (8 , 5)
porque 5 8.
Es por esto que algunos tambin llaman al conjunto {, } una pareja no ordenada.
10.2.
Producto cartesiano
= {(, ): }
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}
= {(1 , 4) , (1 , 5) , (2 , 4) , (2,5),
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 .
Ejemplo
De nuevo tomemos
= {1 , 2 , 3}
= {4 , 5}
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.
Demostracin Sea
( ) = ( ) ( )
(, ) ( )
111
112
Lgica
( )
( , ) ( , )
( , ) ( ) ( )
( ) ( ) ( )
10.3.
( ) = ( ) ( )
tuplas ordenadas
( 1 , 2 , 3 , , )
1 , 2 , 3 , ,
Ejemplo
La terna ordenada
(
2
, 5 , )
3
Ejemplo
La cudrupla ordenada
(Superman , Batman , Spiderman , Ironman)
( 1 , 2 , 3 , , ) = ( 1 , 2 , 3 , , )
1 = 1 2 = 2 3 = 3 =
si y solo si
( 1 , 2 , 3 , , ) ( 1 , 2 , 3 , , )
1 1 2 2 3 3
113
114
Lgica
(1 , 2 , 3 , , )
Correcto
1 , 2 , 3 , ,
Correcto
[1 , 2 , 3 , , ]
{1,2,3,,}
Incorrecto
Incorrecto
(1 2 3 )
Incorrecto
1 2 3
Incorrecto
10.4.
=1
= {(1 , 2 , 3 , , ): 1 1 2 2 }
=1
o, abreviadamente,
115
= { (1 , 2 , 3 , , ): }
=1
Ejemplo
Sean
1 = {0, 1, 2}
Entonces
2 = {2}
3 = {2, 4}
=1
Correcto
Note que este smbolo es grande y sus trazos son rectos. No debe confundirse con la
versin minscula de la misma letra,
Incorrecto
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.)
=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 = {{} , }
3. Dados
calcule
ABA
= {1 , 2}
BCC
= {1}
BBB
117
P ( ) P ( )
4. Dados
= {1 , 2}
Calcule
= {2 , 3 , 4 , 5}
P (( ) ( ))
5. Sean
= {1 , 2}
= {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
( ) = ( ) ( )
b. =
c. ( ) = ( ) ( )
d. ( ) = ( ) ( )
e. ( ) = ( ) ( )
f. ( ) = ( ) ( )
a. Si = entonces = o =
b. Si y entonces
118
Lgica
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}}
{{2}}
{{1}, {2}}
{{1}, {1,2}}
{{2}, {1,2}}
{, {1}, {2}}
{{1,2}}
{, {1}, {1,2}}
b. 16
{, {1}}
{, {2}}
{, {2}, {1,2}}
c. S
{, {1,2}}
d. No
Seccin 5.5
Regresar
1. A
Seccin 6.5
Regresar
{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}
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}}
Seccin 8.3
1. {, 3}
{{0}, {0,1}}
2. {, , , }
6. Pantalen
Regresar
3. {{}}
5. {{0,2,3}}
Seccin 9.3
1. {4,5}
Regresar
2. No es cierta
3. {2,10}
122
Lgica
Seccin 10.5
1.
Regresar
2. A B C = {({1,2}, {}, {}), ({1,2}, {}, ), ({3}, {}, {}), ({3}, {}, )}
ABA =
{({1,2}, {}, {1,2}), ({1,2}, {}, {3}), ({3}, {}, {1,2}), ({3}, {}, {3})}
3.
4.
{, {(1,3)}, {(1,4)}, {(1,5)}, {(1,3), (1,4)}, {(1,3), (1,5)}, {(1,4), (1,5)}, {(1,3), (1,4), (1,5)}}