2.1.

Nociones bsicas a

Un conjunto es una coleccin de objetos. Usaremos letras may sculas como A, B, X para o u denotar conjuntos, y letras min sculas como a, b, c, x para denotar los objetos. Un objeto a que u pertenece a un conjunto X se dice que es un miembro o elemento de X. Escribiremos a X para indicar que a es un elemento del conjunto X. En caso que a no pertenezca a X escribiremos a X. La expresin a X puede leerse de varias maneras equivalentes: a pertenece a X, a es o un elemento de X, a est en X. a

ww

w.

En este cap tulo introduciremos el lenguaje de los conjuntos y estudiaremos sus propiedades haciendo uso de las herramientas de la lgica vistas en el cap o tulo 1. Enunciaremos las propiedades fundamentales de las operaciones entre conjuntos que constituyen lo que se conoce como lgebra a booleana en honor al matemtico irlands George Boole (1815-1864), quien las introdujo en sus a e estudios de lgica. Pero fu a comienzos del siglo XX con los trabajos del matemtico alemn o e a a Georg Cantor (1845-1918) cuando se inici el estudio sistemtico de los conjuntos. As que una o a parte importante de las matemticas se desarroll sin hacer uso de ellos. Sin embargo, hoy en a o d son imprescindibles. Se puede decir sin exagerar que todas las teor matemticas se pueden a as a expresar en trminos de la nocin de conjunto. e o En este cap tulo comenzaremos a hacer demostraciones. Demostrar es una forma muy especial de justicar una armacin. En una demostracin se debe dar un razonamiento lgicamente o o o correcto que tenga como conclusin la armacin en cuestin. Las demostraciones son similares o o o a las deducciones que estudiramos en la seccin 1.2.2. En matemticas, las armaciones, para a o a ser consideradas vlidas deben ser demostradas. Est fuera de los objetivos de este texto el a a dar una denicin precisa de esta nocin, sin embargo, al nal de este cap o o tulo haremos una aproximacin a una denicin de la nocin de demostracin en matemticas. Esperamos que los o o o o a numerosos ejemplos de demostraciones que veremos den una idea al lector de cmo hacerlas. o

at

em

at ic

a1

.c om

2.1.1.

Deniciones por comprensin y por extensin o o

Comenzaremos esta seccin presentando algunos ejemplos de conjuntos. o Ejemplos 2.1. 1. Consideremos el conjunto formado por los n meros 1,2,3 y 4. Denotaremos u este conjunto con el s mbolo {1, 2, 3, 4}. Las llaves { } se usarn siempre en las deniciones de conjuntos. Es indiferente el orden a en que se escriban los elementos de un conjunto. El conjunto anterior es igual a {3, 1, 4, 2}. Cuando un conjunto se dene dando la lista completa de todos sus miembros decimos que el conjunto est denido por extensin. a o 2. En muchos casos no es posible o no es fcil dar la lista completa de todos los elementos a de un conjunto y en su lugar se da una propiedad que satisfacen unica y exclusivamente los elementos del conjunto. Por ejemplo, consideremos el conjunto formado por todos los n meros naturales que dividen a 2346. Denotemos con la letra A este conjunto. Si u quisiramos, podr e amos dar la lista completa de todos los elementos de A, pero nos tomar a 1 alg n tiempo hacerlo. Por ejemplo 2 A, 6 A, 7 A, 4 A. Podemos expresar la u denicin de A de la manera siguiente o A = {n : n es un n mero natural que divide a 2346}. u

M at

Este tipo de deniciones, muy frecuentes en matemticas, se llaman deniciones por coma prensin. Todas ellas tienen la siguiente forma o

em

at
{:

Antes de los dos puntos : (que se leen tal que) se pone una variable (por ejemplo n, x) que denota los objetos que forman al conjunto que estamos deniendo. Despus de los e dos puntos se escribe la propiedad que satisfacen unica y exclusivamente los objetos que pertenecen al conjunto en cuestin. o 3. Consideremos el conjunto de todos los n meros naturales que al dividirlos por 5 dan resto u 2. Denotemos este conjunto con la letra A. Podemos vericar fcilmente que 7 A y 8 A. a Si alguien nos dice un n mero, podemos, despus de algunos clculos sencillos, determinar u e a si el n mero en cuestin pertenece o no al conjunto A. Sin embargo, no podemos dar la u o lista completa de los elementos de A, pues es innita. Podemos expresar la denicin de o A de la manera siguiente A = {n : n es un n mero natural que al dividirlo por 5 da resto 2}. u Ms adelante veremos otros ejemplos similares. a 2

ww w.

ic a1
}.

.c o

Algunos conjuntos en matemticas aparecen con tanta frecuencia y son de tal importancia a que han recibido una notacin especial. Veamos algunos de ellos: El conjunto de los nmeros o u naturales se denota con el s mbolo N. N = {0, 1, 2, 3, 4 }. El conjunto de los nmeros enteros u , 4, 3, 2, 1, 0, 1, 2, 3, 4, que est formado por los n meros naturales junto con sus opuestos y lo denotamos con Z. a u El conjunto de los nmeros racionales, denotado con el s u mbolo Q, consiste de los n meros u n fraccionarios, es decir, de las expresiones de la forma m donde n y m son enteros y m es distinto de cero. Por ejemplo, los siguiente n meros son racionales u 1 35 3 12 3 , , , , . 2 6 5 55 7 Los n meros racionales contienen a todos los enteros, pues la fraccin de la forma n representa u o 1 2 5 al entero n. Por ejemplo, 1 es el n mero 2 y 1 es el 5. u Los nmeros reales se representan con expresiones decimales nitas e innitas de la forma u

(por cierto, el primero es una aproximacin del famoso n mero que corresponde a la mitad o u de la longitud de una circunferencia de radio 1 y el segundo es una aproximacin de 2). El o conjunto de los n meros reales se denota por R. u Teniendo estos conjuntos a nuestra disposicin, ahora es ms fcil denir otros conjuntos o a a por comprensin. o Ejemplos 2.2. 1. El orden de los n meros enteros lo denotamos con el s u mbolo <. La expresin n < m se lee n es menor que m. Tambin escribiremos m > n para indicar o e lo mismo que n < m. En general, tambin usar el s e a mbolo < para el orden entre los n meros reales. El s u mbolo se lee menor o igual que. Por ejemplo, n m indica que n es menor que m o que n es igual a m. Esto tambin se escribe m n. e Podemos usar < para denir conjuntos. Por ejemplo: {m : m Z y 4 < m} que consiste de todos los enteros mayores que -4. Observe que despus de los dos puntos e se escribe la condicin que deben tener los elementos del conjunto que estamos deniendo. o En este caso pedimos dos condiciones: que sean enteros y que sean mayores que -4.

ww w.

M at

1, 414213562373095

em

at

3, 141592653589

ic a1

.c o

2. Consideremos el siguiente conjunto {m : m Q y 4 < m}. Notemos la similitud de esta denicin con la que aparece en el ejemplo anterior. Sin o embargo, estos dos conjuntos no son iguales, pues 7 pertenece al que acabamos de denir 2 pero no al que denimos en el ejemplo anterior (por qu?). e 3. Tambin es com n usar la siguiente notacin e u o {m Z : 4 < m} que de inmediato le indica al lector el tipo de objetos que forman el conjunto que se dene, en este caso, el conjunto contiene slo n meros enteros. Es importante que el o u lector comprenda que estas dos formas de describir los conjuntos son equivalentes. Es decir, {m : m Z y 4 < m} = {m Z : 4 < m}.

ww w.

5. El siguiente es otro ejemplo de un conjunto denido por compresin o {x N : 3 x < 8}.

En este caso es fcil dar una lista completa de sus elementos a {3, 4, 5, 6, 7}. 6. Recuerde que es irrelevante la letra usada para la variable en las deniciones por compresin. Por ejemplo o {x N : 3 x < 8} = {n N : 3 n < 8}. 2 Ejemplo 2.3. Considere el siguiente conjunto A = {x Z : x = n2 n para alg n n {1, 2, 3, 4}}. u

M at

Es decir, la denicin por comprensin consiste en separar una parte del conjunto X por o o medio de una propiedad: La parte de X que contiene exactamente todos los elementos de X con la propiedad en cuestin. o

em

at

{x X : x tiene la propiedad P }.

ic a1

4. En general la forma de denir conjuntos por comprensin es la siguiente: Tenemos un o conjunto X y una propiedad P . Denimos otro conjunto como sigue

.c o

El conjunto A est denido por comprensin. Sin embargo, en este caso podemos tambin dar a o e una descripcin de A por extensin, es decir, podemos dar una lista completa de todos sus o o elementos: n n2 n 1 0 2 2 3 6 4 12 En resumen, tenemos que Note que la frase para algn n {1, 2, 3, 4} indica que la variable n puede tomar cualquiera u de los valores 1, 2, 3 o 4, y adems, para hacer la lista completa de los elementos de A debemos a considerar todas esas alternativas. 2 El primer conjunto denido en los ejemplos 2.2 tambin suele representarse de la siguiente e manera {3, 2, 1, 0, 1, 2, 3, 4, }. A = {0, 2, 6, 12}.

Por ejemplo tenemos que 4 X, 6 X, 9 X, 7 X. Sin embargo, es ms frecuente usar la a siguiente notacin para describir al conjunto X o X = {m2 : m N}. Queremos resaltar que estas dos maneras de describir la coleccin de todos los cuadrados de o n meros naturales son equivalentes, es decir, u {n N : n = m2 para alg n n mero natural m} = {m2 : m N}. u u La ventaja que tiene la segunda descripcin, aparte de ser ms corta, es que se ala expl o a n citamente el procedimiento que debemos seguir para obtener todos los elementos del conjunto. En nuestro ejemplo, el procedimiento consiste en tomar el cuadrado de los n meros naturales. Podemos u tambin describir al conjunto X usando la notacin ambigua que mencionamos anteriormente e o {0, 1, 4, 9, 16, 25, 36, 49, 64, }.

ww w.

X = {n N : n = m2 para alg n n mero natural m}. u u

M at

Los 3 puntos es la manera de decir etctera en matemticas. El contexto debe aclarar el e a signicado de . Es importante tener presente que este tipo de notacin para conjuntos es o algo ambigua, pues presupone que el lector es capaz de inferir los otros elementos del conjunto. Ilustraremos ahora otra manera de presentar los conjuntos denidos por comprensin. Cono sidere el conjunto X de todos los n meros naturales que son el cuadrado de alg n natural. u u Podemos expresar la denicin de X de la siguiente forma: o

em

at

ic a1

.c o

Con esta notacin ambigua uno espera que el lector adivine cul es el procedimiento que debe o a seguirse para obtener todos los elementos del conjunto. Veamos otros ejemplos que usaremos con frecuencia. {0, 2, 4, 6, 8, 10, 12, 14, 16, } {1, 3, 5, 7, 9, 11, 13, 15, }.

El lector reconoci seguramente que el primero es el conjunto de los n meros naturales pares o u y el segundo es el de los n meros impares. Si quisiramos evitar la ambig edad de los u e u podemos describir estos conjuntos de la manera siguiente: {2n : n N} {2n + 1 : n N}.

A veces se usa o mas bin se abusa del s e mbolo de igualdad y se describen conjuntos de la siguiente manera {2n : n = 0, 1, 2, 3, 4}. Esta notacin quiere indicar que la variable n puede tomar los valores 0, 1, 2, 3 4. Tenemos o o entonces que {2n : n = 0, 1, 2, 3, 4} = {0, 2, 4, 6, 8}. A = {6, 10, 14, 18, 22, 26, 30, } Lo que observamos de los elementos que nos dan de A es que la diferencia entre dos consecutivos es 4. Por lo tanto, entre el primero 6 y el tercero 14, la diferencia es de 2 4. Esto sugiere lo siguiente: A = {4n + 2 : n N y n 1}

2.1.2.

Igualdad de conjuntos

Hemos usado el s mbolo de igualdad entre conjuntos de manera intuitiva: dos conjuntos son iguales cuando tienen los mismos elementos. El concepto de igualdad de conjuntos es muy simple pero sumamente importante en matemticas y por esta razn lo resaltamos a continuacin. a o o Denicin 2.5. Dos conjuntos A y B son iguales si tienen los mismos elementos. Es decir o A = B si se cumplen las siguientes dos condiciones: (i) Todo elemento de A tambin pertenece a B. e (ii) Todo elemento de B tambin pertenece a A. e Dos conjuntos A y B no son iguales si existe un elemento de A que no pertenece a B si o existe alg n elemento de B que no pertenece a A. Por ejemplo, si A es el conjunto {1, 4, 5} y u B es el conjunto {4, 5}, entonces A = B, pues 1 A pero 1 B. Cuando dos conjuntos no son iguales escribimos A = B.

ww w.

Insistimos que la ultima descripcin del conjunto A es mejor que la primera. o

M at

em

at

ic a1

Ejemplo 2.4. Considere el siguiente conjunto

.c o

Ejemplos 2.6.

1. Considere los conjuntos A y B denidos a continuacin o A = {2n3 : n N y 0 n 3} B = {2, 0, 16, 54}}

Queremos saber si A es igual a B. Por la forma en que A est denido podemos dar una a lista completa de sus elementos como lo hicimos en el ejemplo 2.3. Tenemos que A = {0, 2, 16, 54} Como A y B contienen los mismos elementos, entonces son iguales. 2. Considere ahora los siguientes conjuntos A = {1, 2} B = {1, 2, 3} Por inspeccin se obtiene que 3 B, pero 3 A. En consecuencia, A = B. o Observe que para mostrar que dos conjuntos no son iguales, basta conseguir un elemento de uno de ellos que no pertenece al otro conjunto.

2.1.3.

El conjunto vac o

em

Ahora introduciremos un conjunto muy especial. Consideremos los siguientes conjuntos:

at

Estos cuatro conjuntos tienen una propiedad en com n: no contienen elementos. As que todos u ellos son iguales (ntese que cada par de ellos satisfacen la denicin de igualdad de conjuntos o o dada en la denicin 2.5). Al conjunto que no tiene elementos se le llama conjunto vac y se o o denota por . El conjunto vac podr parecer in til, pero no lo es. El cumple un papel tan importante o a u en la teor de conjuntos como el n mero cero en la aritmtica. a u e

2.1.4.

Subconjuntos

Otro concepto que est muy relacionado con la igualdad de conjuntos es el de subconjunto. a Denicin 2.7. Sean A y B dos conjuntos, diremos que A es un subconjunto de B y eso cribiremos A B si todo elemento de A tambin pertenece a B. e Simblicamente, A B si para todo x A, se cumple que x B. o Ejemplos 2.8. 1. Por inspeccin se verica que {1, 3, 4} {1, 2, 3, 4, 5}. o

ww w.

M at

{n N : 1 < n < 2} {q Q : q < 0 y q > 7}

ic a1
{r R : r 2 < 0} {x R : x2 + 1 = 0}

.c o

2. Ya sabemos que N Z, Z Q y Q R. 3. Considere los conjuntos A = {n N : n(n 1)(n 2) = 0} B = {0, 1, 2, 3, 4}. Para determinar si A B B A debemos primero conocer los elementos de A. Por o simple inspeccin vemos que 0 A, 1 A y 2 A habr otros? Para que un n mero o a u natural n pertenezca a A, debe satisfacer la ecuacin o n(n 1)(n 2) = 0. Recordemos que el producto de varios enteros es igual a cero slo cuando alguno de ellos o es igual a cero. De esto obtenemos que n(n 1)(n 2) = 0, slo si n = 0, n 1 = 0 o o n 2 = 0. Por lo tanto los unicos elementos de A son 0, 1 y 2, es decir, A = {0, 1, 2}. Ahora es fcil vericar que A B. a

at

ic a1

Por otra parte, como 4 B y 4 A, entonces B no es un subconjunto de A. Esto usualmente se escribe B A.

.c o

La relacin de subconjunto satisface lo siguiente: o

ww w.

Para cualquier conjunto A: A A A

Puede el lector justicar estas armaciones? Observemos que dos conjuntos A y B son iguales si se cumple que A B y B A. Este hecho simple lo usaremos repetidamente y por esa razn lo resaltamos a continuacin o o

Para mostrar que dos conjuntos A y B son iguales, es suciente mostrar que AB yBA

M at

em

2.1.5.

El conjunto potencia
{{1}, {2, 3}, {1, 3, 6}}

Podemos formar conjuntos cuyos elementos sean a su vez conjuntos. Por ejemplo,

es un conjunto con tres elementos: {1}, {2, 3} y {1, 3, 6}. Otro ejemplo es {}, cuyo unico elemento es . Observemos que {} y como no contiene elementos, entonces tenemos que = {}. El conjunto formado por todos los subconjuntos de un conjunto dado A se llama el conjunto potencia o conjunto de partes de A, y lo denotamos por P(A). P(A) = {B : B A} Notemos que P(A) y tambin que A P(A) para cualquier conjunto A. e Ejemplos 2.9. 2. Consideremos el conjunto {1}. Los subconjuntos de {1} son y {1}. Por eso P({1}) = {, {1}}.

3. Si A = {1, 2}, entonces P(A) = {{1, 2}, {1}, {2}, }. 4. Considere ahora los siguientes conjuntos X = P({1, 2}) Y = P({1, 2, 3}) Por inspeccin se obtiene que {3} Y , pero {3} X, pues {3} {1, 2}. En consecuencia, o X =Y. 5. Si A tiene 3 elementos, digamos que A = {a, b, c}, entonces P({a, b, c}) = {{a, b, c}, {a, b}, {a, c}, {b, c}, {a}, {b}, {c}, }. 6. Notemos que P({a, b, c}) tiene 23 elementos. Un resultado general, que se ver ms adea a n lante, dice que si A tiene n elementos, entonces P(A) tiene 2 elementos. Por ejemplo, P({1, 2, 3, 4, 5}) tiene 25 elementos.

ww w.

M at

em

En general, si un conjunto A tiene un slo elemento, digamos, por ejemplo, A = {a}, o entonces los subconjuntos de A son y {a}. Es decir, P({a}) = {, {a}}.

at

ic a1

.c o

1. P() = {}

7. Podemos repetir la operacin de tomar el conjunto potencia. Por ejemplo, P(P({1})). o Para calcular todos sus elementos recordemos que P({1}) = {, {1}}. Por esto P(P({1})) = {{, {1}}, {}, {{1}}, } Observe que este conjunto tiene 22 elementos. 8. El tama o de los conjuntos obtenidos al tomar repetidamente el conjunto potencia crece n con mucha rapidez. Por ejemplo, P(P(P({1, 2}))) tiene 22 = 216 = 65.536 elementos. Si aplicamos una vez ms la operacin de tomar el a o conjunto potencia, tenemos P(P(P(P({1, 2})))) Este conjunto tiene 22 = 22 = 265536 elementos. Intente el lector calcular este n mero u (necesitar varias pginas para escribirlo). a a 2 Ejemplo 2.10. Recomendamos al lector que preste especial atencin al uso de los s o mbolos de pertenencia, , y de inclusin, . Con cierta frecuencia, los estudiantes, al comienzo, no los usan o correctamente. Por ejemplo, suponga que A N, las siguientes expresiones son equivalentes: Pero no tiene sentido decir que 3 A. En general, observe que decir que x A es equivalente a decir que {x} A. Pero puede ocurrir que no tenga ning n sentido escribir x A. u
2 22 16 22 1

2.1.6.

Las operaciones elementales

Comenzaremos deniendo la unin y la interseccin. o o A B = {x : x A x B} o A B = {x : x A y x B} Observemos que para cualquier par de conjuntos A y B se cumple lo siguiente AB A A A B. Dados dos conjuntos A, B, la diferencia de A menos B, denotada por A \ B, se dene de la siguiente manera:

ww w.

M at

em

3 A y {3} A.

at

ic a1

.c o

A \ B = {x : x A y x B} Ahora usaremos estas operaciones para denir otra. La diferencia simtrica, denotada por e AB, se dene de la siguiente manera AB = (A \ B) (B \ A) Observe que x pertenece a AB cuando ocurre que x A x B, pero no ocurre que x o pertenezca a ambos conjuntos A y B. En algunos textos se usa el s mbolo para denotar la diferencia simtrica. e Veamos ejemplos de todas las operaciones que hemos denido. Ejemplo 2.11. Sea A = {n N : n 7}, B = {2n : n N y n 8} y C = {n N : n es par}. Entonces tenemos que AB AB A\B B\A A B B\C C \B B C AC A C = = = = = = = = = = {0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 12, 14, 16} {0, 2, 4, 6} {1, 3, 5, 7} {8, 10, 12, 14, 16} {1, 3, 5, 7, 8, 10, 12, 14, 16} {2n : n > 8 y n N} {2n : n > 8 y n N} {0, 2, 4, 6} {1, 3, 5, 7} {2n : n 4 y n N}

ww w.

M at

em

at

ic a1

.c o

Ejemplo 2.12. Imag nese la siguiente situacin. Sobre una mesa hay 6 objetos dorados maro cados con las letras a, b, c, d, e y f . Hay cuatro personas A, B, C y D que deben determinar cules de esos objetos son realmente de oro y cules son imitaciones. La eleccin de cada persona a a o la expresaremos por un conjunto que contiene las letras correspondientes a los objetos que la persona considera son de oro. A = {a, b, c, e, f } C = {d} B = {a, b, c, d, e} D = {e, f }

Ahora bien, los objetos realmente de oro son a y f . Quin de las cuatro personas se acerc ms a e o a la respuesta correcta? Si slo nos interesara saber quienes eligieron los objetos correctos tenemos o que A ser el que se acerc ms a la respuesta. Sin embargo, si tambin queremos incluir la a o a e informacin adicional sobre los objetos incorrectos que cada persona eligi, entonces debemos o o escoger a D, pues D mostr tener mejor criterio que A, ya que eligi uno slo de los objetos o o o

de oro y adems eligi slo uno incorrecto. Por otro lado, A eligi 3 objetos incorrectos, C a o o o eligi solamente un objeto incorrecto, pero no eligi ninguno correcto. o o Veamos la diferencia simtrica de los conjuntos A, B, C y D con la respuesta correcta {a, f } e A{a, f } = {b, c, e} C {a, f } = {a, d, f} B {a, f } = {b, c, d, e, f} D {a, f} = {a, e}

Con este ejemplo vemos que la operacin de diferencia simtrica nos permite estimar qu tan o e e parecidos son dos conjuntos. El n mero de elementos que tiene la diferencia simtrica entre la u e respuesta de cada persona y la respuesta correcta provee de un criterio para decidir cul de a las personas es la ganadora. En nuestro caso vemos que D {a, f} tiene el menor n mero de u elementos, y por esa razn podemos decir que D es quien mostr poseer el mejor criterio. 2 o o Nuestro prximo ejemplo ilustra cmo se puede mostrar una propiedad general sobre las o o operaciones sobre conjuntos. El lector deber prestar bastante atencin a este ejemplo, pues el a o mtodo usado en l se repetir con frecuencia en todo el curso. e e a Ejemplo 2.13. Sean A y B conjuntos cualesquiera. Mostraremos que

Por lo dicho en la seccin 2.1.4, basta mostrar las siguientes armaciones: o

M at

A \ (A B) A \ B.

em

at

A \ B A \ (A B)

ic a1

.c o

A \ B = A \ (A B).

(2.1)

(2.2)

(2.3)

Veamos la primera armacin. Lo que deseamos hacer es mostrar que cualquier elemento de o A \ B tambin pertenece a A \ (A B). Para hacerlo, denotemos con x un elemento cualquiera e de A \ B. Entonces, por denicin de la diferencia, se tiene que x A y x B. Por lo tanto, o tambin se tiene que x A B. Como x se tom en A, hemos mostrado que x A \ (A B). Ya e o que x representa un elemento cualquiera de A \ B, podemos concluir que A \ B A \ (A B). La segunda armacin se trata de manera anloga. Tomemos un elemento cualquiera x en o a A \ (A B). Entonces, por denicin de la diferencia se tiene que x A y x A B. Por lo o tanto, se tiene que x B (pues, si no fuera as entonces x A B, lo que no puede ser). Como , x se tom en A, hemos mostrado que x A \ B. Ya que x representa un elemento cualquiera o de A \ (A B), podemos concluir que A \ (A B) A \ B. Lo dicho hasta ahora es una justicacin precisa de que las armaciones (2.2) y (2.3) son o vlidas. En otras palabras, los conjuntos A \ B y A \ (A B) tienen los mismos elementos. Es a decir, la armacin (2.1) es vlida. o a Este tipo de justicaciones precisas y apropiadas es lo que llamamos rigor matemtico, y a es la caracter stica principal de las demostraciones en matemticas. a 2

ww w.

Los problemas en matemticas tratan generalmente sobre las propiedades de alg n conjunto a u particular, por ejemplo, N, Z, Q, R o P(N). El conjunto en cuestin, usualmente se denomina o universo o conjunto universal. En relacin a un conjunto universal U prejado se dene el o complemento de un subconjunto A U, denotado por Ac , de la siguiente manera Ac = U \ A. Esta notacin es un poco ambigua, pues Ac depende obviamente del conjunto U que se use. o Tendremos el cuidado de que cada vez que usemos la operacin de complementacin el conjunto o o universal U est claramente especicado. e Ejemplo 2.14. Supongamos que nuestro universo son los n meros naturales y sea A el conjunto u de n meros pares, es decir, A = {2n : n N} y U = N. Entonces tenemos que Ac es el conjunto u de n meros impares, pues u N \ A = {2n + 1 : n N}. Ahora bien, si nuestro universo hubiese sido el de todos los n meros enteros, es decir, U = Z, u entonces tendr amos que

ic a1

Ac = {n Z : n 1} {2n + 1 : n N}.

.c o

Otra nocin que se usa con frecuencia es la siguiente. Diremos que dos conjuntos son diso juntos si no tienen elementos en com n. En s u mbolos, los conjuntos A y B son disjuntos, si A B = . Un ejemplo de dos conjuntos disjuntos son el conjunto de los n meros pares y el de u n meros impares. Veamos un ejemplo. Considere los siguientes conjuntos: u A = {x R : x < 0} y B = {x R : 1 < x < 2}. El lector debe convencerse de que A y B son disjuntos. Otro ejemplo de conjuntos disjuntos es el siguiente. Sean A y B dos conjuntos cualesquiera, entonces A y B \ A son disjuntos. En s mbolos: A (B \ A) = .

2.1.7.

Diagramas de Venn

Una manera de representar las operaciones entre conjuntos es a travs de los diagramas e de Venn. A continuacin presentaremos los diagramas correspondientes a las operaciones de o unin e interseccin: o o

ww w.

M at

em

Ejemplo 2.15. Sea A = {n N : n es divisible por 3 }. Y sea B = {n N : n no es divisible por 3 }. Si nuestro universo es N, entonces A = B c y B = Ac . 2

at

AB

AB

Los diagramas correspondientes a las operaciones de diferencia y complementacin, son los o siguientes:

Observemos que usando la operacin de complementacin podemos describir la diferencia o o de dos conjuntos de la manera siguiente: Suponga que A y B son subconjuntos de un conjunto universal U, entonces A \ B = A Bc. Esto lo podemos vericar fcilmente usando diagramas de Venn. Haremos un diagrama de Venn a c que represente A B y lo compararemos con el que hicimos arriba para A \ B.

ww w.

M at

em

A\B

at
B A Bc

ic a1
Ac

.c o

Vemos que ambos diagramas determinan el mismo conjunto. De lo anterior obtenemos otra forma de expresar la diferencia simtrica e AB = (A B c ) (Ac B).

AB

El siguiente diagrama indica la relacin de subconjunto o

M at

Por ultimo, tambin podemos representar 3 conjuntos usando diagramas de Venn. Por ejem e plo, la interseccin de tres conjuntos A, B y C se representa de la manera siguiente: o

ww w.

em
AB C A ABC B

at

ic a1
A

.c o

Ejercicios 2.1 1. D una lista completa de los elementos de cada uno de los siguientes conjuntos: e a) {x N : 3 x < 9}

b) {1/n2 : n N, n es par y 0 < n < 11} c) {z Q : 0 z 2 10 y z 3 N}

d ) {x Z : x = n2 n3 para alg n n {1, 2, 3, 4}} u e) P(P({1, 2})) 2. Lea cuidadosamente lo dicho en los ejemplos 2.2 y determine si las siguientes deniciones son correctas. En caso que lo sean, halle dos elementos del conjunto y en caso que no sean correctas, justique porqu no lo son. e a) A = {n N : 3n + 2}

d ) A = {z Q : z = y + 1 para alg n y Q con y 6} u

3. Halle 6 elementos de cada uno de los siguientes conjuntos: (i) (iii) (v) (vii) {2n + 1 : n N} {n2 : n N} {1 n2 : n Z} {r Q : 0 < r < 1} (ii) (iv) (vi) (viii) {2n : n N} {n3 4 : n Z} {2n : n N} P({1, 2, 3, 4, 5})

4. Determine si los conjuntos A y B son iguales (revise lo hecho en los ejemplos 2.6): a) A = {2n2 : n N y 0 n 3} B = {2, 0, 8, 18}

b) A = {n2 + 1 : n N y 0 n 3} B = {x Q : x = n2 + 1 para alg n n Q con 0 n 3} u c) A = {n N : n + 1 2} B = {n Z : n + 1 2}

d ) A = {n N : 3 n 6} B = {x : x N y 3 x 6}

ww w.

M at

em

f ) A = {y : y R}

at

e) A = {2x + 1 Q : x 6}.

ic a1

c) A = {x Q : y + 1 6}

.c o

b) A = {3n + 2 : n N}

e) A = {n Q : n N} B = {n N : n Q}

h) A = {} y B = {, {}} i ) A = {{}} y B = {} 5. Considere los conjuntos A = {n : n = 0, 1, 2, 3, 4} C = {n2 : n = 1, 2, 3} B = {4n + 1 : n = 0, 1, 2, 3} D = {0, 2, 4}

g) A = {} y B =

f ) A = P({1, 2}) B = {X P({1, 2, 3}) : 3 X}

Cul es subconjunto de cul? Considere las diecisis posibilidades. a a e 6. Considere los conjuntos A = {2n + 1 : n N} C = {n2 + 1 : n N} B = {4n + 1 : n N} D = {2n : n N}

8. Sean A = {1, 3, 5, 7, 9, 11}, B = {2, 3, 5, 7, 11}, C = {2, 3, 6, 12}, D = {2, 4, 8}. Determine por extensin los siguientes conjuntos. En las partes (iii) y (ix) considere primero que el o conjunto universal U es {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12} y despus resuelva las preguntas (iii) y (ix) usando como conjunto universal a N. e (i) A B (iv) A \ B (vii) (A C) B 9. (ii) A C (v) C \ D (viii) (A C) B (iii) (A B) (C c D) (vi) B D (ix) (B c D c )Ac

a) Muestre que {1, 3}{2} = {3, 4}

b) Halle un subconjunto C de {1, 2, 3, 4} tal que {1, 3}C = {3, 4}

10. Sea A un conjunto. Muestre que AA = y A = A 11. Muestre que A y Ac son disjuntos

ww w.

M at

(i) (iii) (v) (vii)

{0, 3, 6, 9, 12, 15, 18, 21, } {0, 5, 10, 15, 20, 25, 30, 35, } {2, 4, 8, 16, 32, 64, } {1, 8, 15, 22, 29, 36, 43, 50, }

em

at

7. Para cada uno de los siguientes conjuntos halle una propiedad que sirva para denirlos por comprensin: o
(ii) (iv) (vi) (viii) {1, 4, 7, 10, 13, 16, 19, 22, } {0, 1, 8, 27, 64, 125, 216, } {7, 11, 15, 19, 23, 27, 31, } {0, 1, 2, 3, 4, 5, 6, 7, }

ic a1

Cul es subconjunto de cul? Considere las diecisis posibilidades. a a e

.c o

12. Exprese los siguientes enunciados usando las operaciones elementales entre conjuntos a) Todos los elementos de A estn en B o estn en C a a b) Si un elemento de A est en C, entonces tambin est en B a e a c) Los elementos de A y los de B estn en C a d ) Todo elemento de A o de B pertenece a C o a D 13. a) Haga el diagrama de Venn de los siguientes conjuntos: (A B) C, A (B C). b) Halle tres conjuntos A, B y C no vac tales que os (A B) C = A (B C) y halle tambin tres conjuntos D, E y F tales que e (D E) F = D (E F ). (Sugerencia: No busque ejemplos complicados, todos los conjuntos pueden ser subconjuntos de N).

b) Use los diagramas anteriores para convencerse de que

b) A B A B

para cualquier par de conjuntos A y B. 16. De manera similar a como se hizo en el ejemplo 2.13, justique las siguientes armaciones: a) A = (A B) (A \ B)

b) A B = (A \ B) (A B) (B \ A) c) (A B) \ C = (A \ C) (B \ C)

d ) (A \ B) \ C = A \ (B C)

17. Las siguientes armaciones son falsas. Proporcione conjuntos A, B y C que no cumplan con lo expresado. a) A B = A B b) A B = AB

ww w.

a) A A B

M at

15. De manera similar a como se hizo en el ejemplo 2.13, justique las siguientes armaciones:

em

A (B C) = (A B) (A C).

at

ic a1

14.

a) Haga el diagrama de Venn de los siguientes conjuntos: A (B C), (A B) (A C).

.c o

c) (A B) C = (A C) B d ) (A \ B) \ C = A \ (B \ C) e) A(B C) = (AB) (AC) f ) A(B C) = (AB) (AC)

2.2.

La lgica y las operaciones sobre conjuntos o

En esta seccin presentaremos algunas analog entre los operadores o conectivos lgicos y o as o las operaciones sobre conjuntos. Mas adelante, en la seccin 2.4, continuaremos con este tema. o Las operaciones sobre conjuntos y los conectivos de la lgica proposicional son similares. En o la tabla que sigue se alamos la analog existente entre ambas n a

ww w.

M at

xAB xAB xAB xAB x Ac x Ac xA\B xA\B

em

Todas las expresiones que involucran la relacin de pertenencia y las operaciones elemeno tales entre conjuntos, se traducen en proposiciones lgicas: o

at

ic a1
xA xA xA xA xA xA xA xA y o o y xB xB xB xB y xB o xB

AB AB Ac

pq pq p

Es importante que el lector comprenda y recuerde esta tabla, pues es fundamental para trabajar con los conjuntos. En particular, observe el signicado de x AB y x AB. Como es costumbre en matemticas, no hemos mencionado el conjunto universal, pues el contexto debe a indicarlo.

.c o

2.2.1.

Cuanticadores

El lenguaje de la lgica proposicional es insuciente para expresar la mayor de los resultados o a de la matemtica. Hace falta introducir otros s a mbolos. Por ejemplo, la nocin de subconjunto o A B se dene diciendo que todo elemento de A debe pertenecer a B. La expresin todo o elemento de ocurre con mucha frecuencia en matemticas y reeja una de sus caracter a sticas ms importantes: la posibilidad de mostrar hechos generales sobre los elementos del universo a que se est analizando. El s e mbolo que se usa para abreviar esa expresin es , que se lee para o todo, y se llama cuanticador universal. Ahora podemos enunciar la denicin de la relacin de subconjunto usando el cuanticador o o universal: AB x(x A x B)

AB AB A=B A=B AB = AB =

La tabla anterior tambin sirve para ilustrar cmo se comportan los cuanticadores cuando e o se niega una expresin que los contiene. Al negar un cuanticador universal se obtiene uno o existencial, y, viceversa, al negar un cuanticador existencial se obtiene uno universal. x x x x

ww w.

M at

En la siguiente tabla veremos algunas relaciones entre conjuntos que se expresan usando cuanticadores. x (x A x B) x (x A x B) x (x A x B) x [(x A x B) (x A x B)] x (x A x B) x (x A x B)

em

at

AB

x (x A x B)

ic a1

.c o

Otro cuanticador que se usa en lgica es el cuanticador existencial que se denota o con el s mbolo y se lee existe. Este cuanticador ocurre, por ejemplo, al expresar que un subconjunto no est contenido en otro. En efecto, si A B, entonces debe existir un elemento a que pertenece a A y que no pertenece a B. En s mbolos:

Tambin escribiremos en lugar de . e Ejemplo 2.16. (i) Considere la siguiente frmula: o (x (x A x B)). Ella es equivalente a Ahora recordemos que (p q) es lgicamente equivalente a p q. Por lo tanto, la frmula o o original que estamos simplicando es equivalente a x (x A x B). (ii) Veamos otro ejemplo: (x (x A x B)) x (x A x B) x (x A x B) x (x A x B).

Todo n mero natural x cumple que x < x + 1. En s u mbolos:

em

x N (x < x + 1). 2

1. Considere la armacin o

ww w.

Ejemplos 2.18. Tambin es importante saber cuando una armacin cuanticada es verdadera e o o no.

M at

n N (n3 < 9)

at

ic a1

x R (x2 0).

.c o

Ejemplo 2.17. Las desigualdades con frecuencia se expresan usando . Veamos algunos ejemplos. Todo n mero real elevado al cuadrado no es negativo. En s u mbolos:

(2.4)

Para mostrar que ella no es vlida, basta observar que si sustituimos n por 3, obtenemos a una proposicin falsa. En efecto, 33 = 27 y 27 < 9. El 3 se dice que es un contraejemplo o de la armacin (volveremos ms adelante sobre este tema de los contraejemplos). Puede o a conseguir otro contraejemplo? 2. Ahora, considere la armacin o x R ((x + 1)2 x2 ). Vemos entonces que x = 1 es un contraejemplo (vericarlo) y, por lo tanto, esa armacin o es falsa. Dejamos a cargo del lector encontrar otros contraejemplos (Puede servir de contraejemplo cualquier n mero negativo?). u

3. Considere la armacin o n N (18 < n2 + 3 < 20). (2.5)

Para ver si es verdadera debemos hallar un natural que satisfaga la condicin especicada. o Si sustituimos en la expresin n2 + 3 la variable n por los valores 0, 1, 2, 3, 4 obtenemos o respectivamente 3, 4, 7, 12 y 19. Vemos entonces que al sustituir n por 4 obtenemos la siguiente proposicin verdadera 18 < 42 + 3 < 20. Por lo tanto, la armacin (2.5) es o o verdadera, pues al menos existe un natural n tal que 18 < n2 + 3 < 20. 4. Observemos que la negacin de la armacin (2.4) es o o n N (n3 9). Como (2.4) es falsa, entonces su negacin es verdadera. En efecto, vimos que 33 9. o 2 Ejemplos 2.19. En cada uno de los siguientes casos queremos hallar conjuntos A y B de n meros naturales que satisfagan la propiedad indicada. u 1. x N (x A x B).

x N (x A x B) x N (x A B) AB = Esto nos dice que cualquier par de conjuntos A y B tales que A B = satisfacen la propiedad indicada. 2. x N (x A x B).

En este caso, basta tomar dos conjuntos disjuntos, por ejemplo, A = {1, 2, 3} y B = {4, 5}. Tenemos que no existe x tal que x A y x B. De lo visto en el ejemplo anterior tenemos que x N (x A x B) A B =

3. x N (x A x B).

Por ejemplo, A = {1, 2, 3} y B = {4} satisface la propiedad indicada. Pues haciendo x igual a 1 se cumple que x A x B. En otras palabras, 1 es un ejemplo de que existe

ww w.

M at

Considere los conjuntos A = {1, 2, 3} y B = {2, 3, 4}. Este par de conjuntos satisface la propiedad indicada, pues, por ejemplo cuando x es igual a 2 se cumple que x A y x B. Qu podemos decir en general?, en otras palabras, cules pares de conjuntos A e a y B satisfacen esta propiedad? Veamos:

em

at

ic a1

.c o

un x con la propiedad indicada. Tambin 4 sirve como ejemplo. En general tenemos lo e siguiente x N (x A x B) x N (x A B) AB = Esto nos dice que cualquier par de conjuntos A y B tal que A B no sea vac es un o, ejemplo en que la propiedad indicada es verdadera. 4. x N (x A x B).

Considere A = {1, 2} y B = {4, 5}. Entonces, haciendo x igual a 6 se tiene que x A y x B. En general tenemos que x N (x A x B) x N (x Ac x B c ) x N (x Ac B c ) Ac B c =

5. x N (x A x B).

6. x N (x A x B).

En este caso, el unico ejemplo es A = B = . En efecto, x N (x A x B) x N (x A x B) x N (x A x B) x N (x Ac x B c ) x N (x Ac B c ) Ac B c = N 2

Ejemplo 2.20. Considere el siguiente conjunto A = {x N : y N (x 10 + y)}

ww w.

x N (x A x B) x N (x Ac x B c ) x N (x Ac B c ) Ac B c =

M at

em

Los mismos conjuntos A y B que en el ejemplo anterior satisfacen esta propiedad. En general, tenemos que

at

ic a1

Por lo tanto, un par de conjuntos A y B satisface la propiedad indicada si, y slo si, Ac B c o no es vac Observe que esto ocurri con el ejemplo que dimos antes: Si A = {1, 2} y o. o B = {4, 5}, entonces Ac B c = N \ {1, 2, 4, 5}.

.c o

Para que un n mero natural x pertenezca al conjunto A, debe cumplir cada una de las siguientes u condiciones x 10 + 0 x 10 + 1 x 10 + 2 x 10 + 3 x 10 + 4 x 10 + 5 x 10 + 6 . . . . Hemos colocado . pues el cuanticador y N impone una condicin para cada y N. Por . o inspeccin podemos convencernos que A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10}. o 2 Ejemplo 2.21. Tambin es frecuente usar expresiones en que aparecen ambos cuanticadores. e Por ejemplo, para expresar que todo n mero real positivo tiene una ra cuadrada, lo hacemos u z de la siguiente manera: x R [x > 0 y R (y 2 = x)]

Observacin 2.22. Hay algo ms sobre el uso de los cuanticadores que queremos mencionar o a brevemente. Las proposiciones que usan cuanticadores se enuncian referidas a un contexto. Por ejemplo, cuando escribimos x a qu no estamos reriendo la decir para todo x? Siempre e que se use el cuanticador debe haber un contexto (a veces llamado el universo del discurso) donde la variable x toma sus valores. Los mismo podemos decir acerca del cuanticador . En el ejemplo 2.19, el universo fue expl citamente mencionado, pues siempre escribimos x N o x N. Para evitar confusiones es conveniente indicar el universo. Sin embargo, por brevedad, se tiende a no mencionarlo expl citamente. Ejercicios 2.2 1. Vea el ejemplo 2.18 para responder este ejercicio. a) Muestre que n = 2 es un contraejemplo a la siguiente armacin o n N (n4 < 15) Puede conseguir otro?

ww w.

M at

Esta expresin usualmente se lee as Para todo x en R+ , existe un y en R tal que y 2 es igual a o : x. Observe que la expresin tal que no aparece y en su lugar usamos los parntesis ( ). o e 2

em

Se puede simplicar esta expresin introduciendo un s o mbolo para denotar los n meros reales u positivos. Normalmente se usa R+ . Podemos entonces escribir la armacin anterior de la sio guiente manera: x R+ y R (y 2 = x).

at

ic a1

.c o

b) Considere la proposicin o x R ((x 1)3 x3 ) Muestre que x = 0 es un contraejemplo y encuentre otro. c) Determine si la siguiente armacin es verdadera o n N (33 < n3 + 2n + 1 < 35) d ) Determine si la siguiente armacin es verdadera o n N (33 < n3 + 2n + 1 < 35) 2. Muestre que las siguientes armaciones son lgicamente equivalentes. o a) A B

b) x(x A x B)

3. Muestre que las siguientes armaciones son lgicamente equivalentes: o a) A B =

d ) x(x B x A)

c) x(x B x A)

4. Determine si la siguiente armacin es vlida. o a A B = x [ (x A x B) (x A x B)] 5. En cada uno de los ejercicios que siguen, halle conjuntos A, B, C todos ellos subconjuntos de N que cumplan con la propiedad indicada. a) x N (x A x B x C) b) x N (x A x B x C) c) x N (x A (x B x C))

d ) x N ((x A x B) (x A x C))

ww w.

b) x(x A x B)

M at

em

En otras palabras, muestre que (a) (b), (b) (c), (c) (d) y (d) (a). Sin embargo, se puede trabajar un poco menos mostrando la siguiente cadena de implicaciones: (a) (b) (c) (d) (a).

at

ic a1

.c o

d ) B c Ac

c) x(x B x A)

e) x N y N (x A y B)

g) x N y N (x A ((y B x C))

f ) x N y N [x A ( (y B A) (y = x)) ]

6. Determine cules de las siguientes proposiciones son verdaderas y en caso que sean falsas a d un contraejemplo. e a) x R y R (x + y 0) b) y R x R (x + y 0) c) x R y R (x2 + y 2 0)

d ) y R x R (x2 + y 2 > 0) e) y R x R (x2 + y 2 > 0)

7. Simplique las siguientes frmulas siguiendo el procedimiento que se ilustra en el ejemplo o 2.16.

a) {x N : z N (z 2 , z < x y z divide a x)} b) {x N : z N (2z divide a x)} c) {x R : y R (y > 0 xy > 0)}

d ) {x R : y R (y > 0 xy > 0)} 9. Considere los siguientes conjuntos A B C D = = = = {x N : {x N : {x R : {x R :

e) {x R : y R z R [y > 0 (x < z < x + y)]} Si x 9, entonces x es impar} Si x + 5 10, entonces x 20} x 10 y x 8} x 7 o x 22}

Determine cules de las siguientes proposiciones son verdaderas y cules son falsas. a a

ww w.

8. Determine al menos un elemento de cada uno de los siguientes conjuntos

M at

e) (x[ x C (y(x A y B)) ] )

f ) (x [ (y(x A y B)) x C ] )

em

d ) (x y [ (x A y B) x C] )

at

c) (y R z R [y > 0 (x < z < x + y)])

ic a1

b) (x R y R (x2 + y 2 0))

.c o

a) (y R x R (x2 + y 2 > 0))

(i) (ii) (iii) (iv)

5A 10 A 6B 16 B

(v) (vi) (vii) (viii)

9C 15/2 C D 35 D 7 BC

10. Sea A un subconjunto de N. Considere los siguientes conjuntos B = {x N : Si x A, entonces x es par} C = {x N : x A y x es impar} D = {x N : Si x A, entonces x es par} Muestre que las siguientes armaciones son verdaderas independientemente de quin sea e el conjunto A: a) N = B C

b) B D = {x N : x es par}

2.3.1.

Comenzaremos con una propiedad que se conoce por el nombre de propiedad transitiva. Si A B y B C, entonces A C. La forma como se enuncia la propiedad transitiva es un ejemplo de una armacin condio cional, pues ella arma que A C bajo la condicin de que A B y B C. En el enunciado o de la propiedad transitiva, la hiptesis consiste de dos armaciones: A B y B C. Y la o conclusin es A C. o Para mostrar la validez de la propiedad transitiva supongamos que tenemos tres conjuntos A, B y C tales que A B y B C. Mostraremos que entonces se cumple que A C. En s mbolos, lo que debemos mostrar es que: x (x A x C). Para ver esto, sea x un elemento de A arbitrario (pero jo). Queremos mostrar que x C. En efecto, una de nuestras suposiciones es que A B, y como x lo tomamos en A podemos

ww w.

Algunas propiedades de la relacin o

M at

em

En esta seccin estudiaremos algunas propiedades bsicas de las operaciones entre conjuno a tos. Pero a diferencia de las secciones anteriores presentaremos argumentos ms precisos para a justicar las propiedades de los conjuntos. Estos argumentos se llaman demostraciones y son la herramienta fundamental que tienen los matemticos para validar sus descubrimientos. a

at

ic a1

.c o

2.3.

Propiedades de las operaciones entre conjuntos

m

concluir que x B. La segunda suposicin es que B C, pero como ya mostramos que x B, o podemos nalmente concluir que x C. Si representamos con un diagrama de Venn que A B y B C tenemos el siguiente diagrama

C B A

Observacin 2.23. La propiedad transitiva de nos permite usar expresiones como la que o sigue sin que haya ninguna ambig edad u

Para demostrar una armacin condicional o suponga que la hiptesis se cumple o y muestre que la conclusin tambin se cumple. o e 2 Observacin 2.25. Usualmente, la demostracin de una armacin como A C comienza o o o con frases como Fijemos un elemento arbitrario x de A.... o tambin Sea x un elemento e arbitrario, pero jo, de A... Recomendamos al lector que use estas expresiones o alguna otra equivalente cuando est demostrando armaciones como la anterior. e 2 Otra propiedad de la relacin de subconjunto es la siguiente: o

ww w.

Observacin 2.24. La justicacin de la propiedad transitiva que acabamos de ver es un o o ejemplo de lo que en Matemticas se llama una demostracin. Este es adems un ejemplo de a o a una demostracin de una armacin condicional. El lector debe tomar nota de lo que hicimos, o o pues lo encontraremos con bastante frecuencia. A continuacin lo resaltamos. o

M at

em

Esta expresin abrevia la conjuncin de tres armaciones: A B, B C y A C. Por o o ejemplo, N Z Q. Algo similar estamos acostumbrados a hacer con n meros, pues escribimos u x y z en lugar de escribir la expresin ms larga: x y, y z y x z. o a

at

ic a1

ABC

.c o

Ejemplo 2.26. Sean A y B conjuntos cualesquiera. Mostraremos que: Si A B, entonces B c Ac . (2.6)

Para mostrar (2.6) haremos uso de una de las equivalencias lgicas vistas en el cap o tulo 1. Recordemos que una proposicin condicional es lgicamente equivalente a su contrarre-c o o proca. En s mbolos: ( ) ( ). Por eso, la armacin (2.6) es equivalente a la siguiente armacin: o o Si B c Ac , entonces A B. (2.7)

Ejemplo 2.27. Sean A y B dos conjuntos. Entonces se cumple que

En este ejemplo tenemos las proposiciones:

ww w.

Si A B = A, entonces A B

M at

A B = A si, y slo si, A B. o

em

at

ic a1

Por lo tanto, para demostrar que (2.6) es vlida, basta que mostremos que (2.7) lo es. Supongaa c mos que A y B son conjuntos tales que B Ac y mostremos que A B. Como, por hiptesis, o B c Ac , entonces existe un elemento x que pertenece a B c pero no a Ac . Es decir, existe x tal que x B c y x Ac . En otras palabras, existe x tal que x B y x A. Esto precisamente dice que A B y as hemos mostrado (2.7). 2 Otra manera de enunciar la equivalencia lgica de dos proposiciones es a travs de la expreo e sin si, y slo si. Es decir, dice lo mismo que si, y slo si . Recordemos adems que o o o a esto ultimo tambin es equivalente a decir que se cumple simultneamente que y que e a . El siguiente ejemplo ilustra el uso del si, y slo si. o

.c o

(2.8)

(2.9)

y Si A B, entonces A B = A. (2.10)

Recordemos que cuando decimos que Q si, y slo si P estamos armando que las proposiciones o Q y P son equivalentes. Esto signica que Q se cumple, si P se cumple y viceversa, P se cumple, si Q se cumple. Ahora demostraremos (2.8). Primero veremos la armacin (2.9). Nuestra hiptesis es que o o A B = A. Sabemos que A B B. Luego, sustituyendo iguales por iguales (es decir, sustituyendo A B por A) obtenemos que A B. La armacin (2.10) se demuestra de manera similar. Nuestra hiptesis ahora es que A B o o y queremos mostrar que A B = A. Ya sabemos que A B A (por qu?), as que queda e mostrar que A A B. Tomemos x A, por hiptesis A B, luego x B y en consecuencia o x A B. 2

El ejemplo anterior nos dice que desde el punto de vista de la lgica, armar que un conjunto o A es subconjunto de otro conjunto B es equivalente a armar que A B = A. El esquema que hemos usado en la demostracin anterior se repetir con mucha frecuencia o a y es importante que el lector le preste atencin: o

Para demostrar una armacin del tipo o Q si, y slo si, P o se deben mostrar las siguientes armaciones condicionales: (1) Si P , entonces Q. (2) Si Q, entonces P .

ww w.

Por lo visto anteriormente sabemos que un conjunto A cumple con esta ecuacin si, y slo si, o o satisface la siguiente condicin o A {1, 3, 5}. Por lo tanto, los unicos conjuntos que cumplen con la ecuacin indicada son o , {1}, {3}, {5}, {1, 3}, {1, 5}, {3, 5}, {1, 3, 5}. 2 Por ultimo, recordemos que la expresin o P , slo si Q o dice que Q es una condicin necesaria para que P ocurra. En otras palabras, esa expresin o o equivale a decir que Si P , entonces Q.

M at

A {1, 3, 5} = A.

em

Ejemplo 2.28. Queremos determinar todos los conjuntos A que cumplan con la siguiente ecuacin o

at

ic a1

Las equivalencias (lgicas) facilitan con frecuencia la b squeda de la respuesta a una preo u gunta. Considere el siguiente ejemplo.

.c o

2.3.2.

Unin e interseccin o o

Comenzaremos con algunas de las propiedades de la unin y de la interseccin. En lo que o o sigue, A, B y C denotarn conjuntos. a

1a 1b 2a 2b 3a 3b 4a 4b 4c 4d

AB =BA AB =BA A (B C) = (A B) C A (B C) = (A B) C A (B C) = (A B) (A C) A (B C) = (A B) (A C) AA=A AA=A A=A A=

Leyes conmutativas

Leyes asociativas

Leyes distributivas

Leyes de idempotencia Leyes de la identidad

Estas leyes (junto con otras que veremos ms adelante) se conocen como las leyes del a lgebra de conjuntos o tambin como las leyes del lgebra boolena. a e a Las leyes conmutativas dicen que el orden en que se unan o intersecten dos conjuntos es irrelevante, lo cual es bastante evidente observando las deniciones de la unin y la interseccin. o o Las leyes asociativas son importantes, pues garantizan que el uso de los parntesis no es e necesario en las expresiones que usan slo uniones o slo intersecciones. Es decir, ya que A o o (BC) = (AB)C, entonces podemos denir un conjunto a travs de la expresin ABC sin e o que haya ninguna ambig edad acerca de cul conjunto estamos deniendo. De manera similar u a podemos escribir A B C sin problemas de ambig edad. Esto no sucede, por ejemplo, si u tenemos una expresin como la siguiente o

ww w.

M at

En este caso no queda claro a qu conjunto nos referimos, pues tenemos dos alternativas e (A B) C y A (B C). Estas dos expresiones no denotan en general el mismo conjunto (vea el ejercicio 13 de la seccin o 2.1.6). Por esto, el uso de los parntesis es necesario. e

em

A B C.

at

ic a1

.c o

Todav nos queda por justicar la validez de las leyes distributivas. La demostracin de a o esta ley no es tan directa y recurriremos a un argumento un poco ms elaborado. Pero antes de a hacerlo queremos comentar el signicado de las propiedades de las operaciones sobre conjuntos. En general, las leyes del lgebra de conjuntos permiten manejar las operaciones entre cona juntos y en muchos casos se puede simplicar el clculo al usarlas. Veamos, por ejemplo, lo a que dice la ley distributiva 3b: A (B C) = (A B) (A C). Observe que en el lado derecho de esta igualdad se realizan 3 operaciones: Primero A B, despus A C y por ultimo la unin de los dos conjuntos obtenidos. En cambio, en el lado e o izquierdo, solamente hay que efectuar dos operaciones: Primero B C y despus este conjunto e se intersecta con A. Una situacin anloga se presenta con la operaciones de la aritmtica + y o a e . Por ejemplo, considere la siguiente igualdad: (3 + 5) 4 = 3 4 + 5 4. Podr amos decir que la expresin en el lado izquierdo de la igualdad es ms simple que la del o a lado derecho, pues para calcularla es necesario efectuar menos operaciones.

A (B C) = (A B) (A C).

ic a1

.c o

Ejemplo 2.29. Veamos la primera ley distributiva:

(2.11)

Ahora comenzaremos la demostracin de la ecuacin (2.11). Mostraremos que el conjunto A o o (B C) tiene los mismos elementos que el conjunto (A B) (A C), y por lo tanto, por la denicin de igualdad de conjuntos, concluiremos que A (B C) = (A B) (A C). o Comencemos mostrando que A (B C) (A B) (A C). En s mbolos, queremos mostrar x [x A (B C) x (A B) (A C)]. Para verlo, tomemos un elemento x, arbitrario pero jo, perteneciente a A(B C) y mostremos que x tambin pertenece a (A B) (A C). Por denicin de unin de conjuntos tenemos e o o que hay slo dos casos posibles: x A o x B C. Mostraremos que x (A B) (A C) o en ambos casos.
1 En el libro Mquinas lgicas y Diagramas de Martin Gardner [5] se estudian otros tipos de diagramas. Por a o ejemplo, cuando se trabaja con cuatro conjuntos, Venn propuso usar elipses en lugar de c rculos.

ww w.

M at

Antes de dar una demostracin sugerimos al lector que haga los diagramas de Venn correspono dientes a A (B C) y (A B) (A C) y observe que en ambos diagramas obtenemos la misma regin sombreada. Los diagramas de Venn como herramientas para guiarnos en nuestros o razonamientos, son utiles pero tienen limitaciones. Por ejemplo, cuando se est trabajando con a 1 ms de tres conjuntos los diagramas se vuelven muy engorrosos . a

em

at

Caso a: Supongamos que x A. Entonces x A B y tambin x A C. Luego x e (A B) (A C). Caso b: Supongamos que x B C. Entonces x B y por lo tanto x A B. Pero tambin e tenemos que x C, luego x A C. En consecuencia, x (A B) (A C). Hemos mostrado que dado cualquier x A (B C), independientemente de si x A o si x BC, se tiene que x (AB)(AC). Esto demuestra que A(BC) (AB)(AC). Ya hemos probado la mitad de lo que quer amos. Nos falta mostrar que (A B) (A C) A (B C). En s mbolos, queremos mostrar x [x (A B) (A C) x A (B C)]. Es decir, queremos mostrar que si x (A B) (A C), entonces x A (B C). Para esto, sea x (A B) (A C) un elemento arbitrario. Por denicin de interseccin de conjuntos o o tenemos que x A B y tambin que x A C. Consideraremos dos casos: x A o x A. e Mostraremos que x A (B C) en ambos casos. En efecto:

Hemos mostrado de que dado cualquier x (AB)(AC), independientemente de si x A o si x A, se tiene que x A (B C). Esto demuestra que (A B) (A C) A (B C). 2 Observacin 2.30. Notemos que la demostracin tiene dos partes. La primera consisti en o o o mostrar que A (B C) (A B) (A C) y en la segunda parte mostramos que (A B) (A C) A (B C). El lector debe prestar mucha atencin al esquema de esta demostracin, pues lo repetiremos o o cada vez que queramos demostrar la igualdad de dos conjuntos.

ww w.

Caso b: Supongamos que x A. Entonces como x A B, necesariamente se tiene que x B. De igual manera, ya que x A C, entonces x C. Con esto hemos mostrado que x B C y por lo tanto x A (B C).

M at

em

Caso a: Supongamos que x A. Entonces x A (B C).

at

ic a1

.c o

Observacin 2.31. (Prueba por casos) La demostracin anterior tiene otra peculiaridad o o que deseamos resaltar. El argumento usado se separ en casos. Lo que ocurri fue lo siguiente. o o En la primera parte de la demostracin, una vez jado un elemento arbitrario x, se separ el o o argumento en dos casos: x A o x B C. Considere entonces las siguientes proposiciones: P Q R S x A (B C) xA xBC x (A B) (A C) P S El caso a) consisti en demostrar que Q S y el caso b) mostr que R S. Ahora, la o o regla prueba por casos (ver la seccin 1.2.1) precisamente dice que o (q s) (r s) (q r) s.

Lo que quer amos demostrar era la siguiente proposicin: o

Ejemplo 2.32. Sean A y B conjuntos. Armamos que: Si P(A) = P(B), entonces A = B. En efecto, mostraremos la contrapositiva, es decir: Si A = B, entonces P(A) = P(B). (2.13) (2.12)

Supongamos que A = B. Entonces, A B B A. Consideraremos estas dos alternativas por o separado. Caso 1: Supongamos que A B. Entonces por denicin del conjunto potencia, tenemos que o A P(B). Pero claramente A P(A). Por lo tanto P(A) = P(B). Caso 2: Supongamos que B A. Entonces, al igual que en el caso 1 se concluye que B P(A). Pero B P(B). Por lo tanto P(A) = P(B).

ww w.

M at

En consecuencia, concluimos que P S. Y esto es lo que quer amos demostrar. En situaciones como la anterior se dice que se ha hecho una prueba por casos. La introduccin de los casos es un recurso que con frecuencia facilita las demostraciones. Este tipo de o demostracin es bastante com n en matemticas. o u a

em

at

((p (q r)) ((q r) s)) (p s).

ic a1

Por consiguiente, concluimos que (Q R) S. Por otra parte, por denicin de unin se tiene o o que P (Q R). Y nalmente, la ley del silogismo hipottico nos asegura que e

.c o

Como en ambos casos se mostr que P(A) = P(B), entonces podemos concluir que la o armacin (2.13) es verdadera y por lo tanto la armacin original (2.12) tambin lo es. o o e 2 Es importante vericar que los casos considerados cubran todas las posibilidades. Por ejemplo, dados dos conjuntos A y B, hay tres alternativas posibles: (i) A B, (ii) BA y (iii) A = B.

En el ejemplo anterior, la tercera alternativa no se considera, pues la hiptesis precisamente o dice que A = B. Por esto slo quedan las alternativas (i) y (ii), las cuales son los casos que hay o que analizar. En el prximo ejemplo ilustramos otra manera de escribir las demostraciones en la que queda o ms claro cul es la justicacin de cada paso de la demostracin. a a o o Ejemplo 2.33. Ahora veremos una generalizacin de las leyes distributivas. Mostraremos que o para cada cuatro conjuntos A, B, C y D cualesquiera se cumple que (A B) (C D) = (A C) (A D) (B C) (B D).

ww w.

M at

(A B) (C D) = = =

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

em

at

La manera en que presentaremos la demostracin de esta armacin ser diferente de la que o o a hemos venido usando. Ahora haremos usos de las leyes del lgebra de conjuntos que hemos visto a anteriormente. Distributiva 3b Distributiva 3b Asociativa 2

El lector puede preguntarse por qu la demostracin hecha en el ejemplo anterior es distinta e o a la hecha en el ejemplo 2.29. En realidad se puede hacer de otra manera. Le sugerimos que d otra demostracin de (2.14) mostrando las siguientes dos armaciones e o (A B) (C D) (A C) (A D) (B C) (B D) y (A C) (A D) (B C) (B D) (A B) (C D).

2.3.3.

Complementacin o

Ahora enunciaremos las propiedades bsicas de la complementacin. Las letras A y B denoa o tarn subconjuntos de un conjunto universal U. a

ic a1

.c o

(2.14)

5a 5b 6a 6b 7a 7b 7c 7d 7e

(A B)c = Ac B c (A B)c = Ac B c AU =U AU =A (Ac )c = A A Ac = A Ac = U Uc = c = U

Leyes de De Morgan

Leyes de la identidad

Observemos que decir que es equivalente a decir que x Ac

x (A B)c Esto demuestra que

En consecuencia, por la denicin de la igualdad de conjuntos, (A B)c = Ac B c . o 7a Mostremos que A (Ac )c y que (Ac )c A. En efecto, sea x A, entonces x Ac , es decir, x (Ac )c . Ahora veamos que (Ac )c A. Tomemos x (Ac )c , es decir x Ac y por lo tanto x A. 7b Veamos que A Ac = . Por denicin de Ac vemos que ning n elemento de A puede o u c c pertenecer a A , as que A A no tiene elementos, y por lo tanto A Ac es el conjunto vac o. 2

ww w.

x [x (A B)c x Ac B c ]

M at

5a Fijemos un elemento x U arbitrario. Tenemos entonces xAB Denicin de complemento o xAxB Denicin de unin o o c c x A x B Denicin de complemento o x Ac B c Denicin de interseccin o o

em

Demostraremos algunas de estas leyes y las otras las dejaremos a cargo del lector.

at

Sin embargo, el conjunto universal U estar usualmente impl a cito y por consiguiente escribiremos simplemente x A.

ic a1

.c o

x U y x A.

Ejemplo 2.34. Mostraremos que Ac (A B) B. En efecto, Ac (A B) = (Ac A) (Ac B) = (B Ac ) = B Ac Distributiva 3b ley conmutativa 1b y 7b ley de identidad 4c 2

Por ultimo, de la denicin de es inmediato que B Ac B. o

Ejemplo 2.35. Sean A, B y C conjuntos. Queremos determinar si la siguiente armacin es o vlida a A [ (B \ C)c \ A ]c (2.15)

La primera propiedad de

es que para dos conjuntos cualesquiera A y B se cumple que AB = B A.

Esto se deduce inmediatamente de la denicin de . En efecto, o AB = (A B c ) (B Ac ) = (B Ac ) (A B c ) = B A. La segunda igualdad est justicada por la ley conmutativa 1a para la unin. Esta propiedad a o de usualmente se expresa diciendo que es conmutativa. Veremos ahora que es una operacin asociativa. Es decir, mostraremos que dados tres o conjuntos A, B y C cualesquiera se cumple que (AB)C = A(B C). Como la demostracin es un poco larga, la dividiremos en partes. Primero observemos que de o la denicin de tenemos que: o

ww w.

M at

2.3.4.

Diferencia simtrica e

em

at

De la ultima igualdad se deduce inmediatamente que la armacin (2.15) es verdadera. o

ic a1

[ (B \ C)c \ A ]c = [ (B C c )c Ac ]c Denicin de diferencia o c = (B C ) A Ley de De Morgan 5b y regla 7a 2

.c o

Para responder esta pregunta, primero simplicaremos la expresin de la derecha y para ello o usaremos las reglas del lgebra booleana. a

(AB)C = ((AB) C c ) (C (AB)c )

(2.16)

Esto sugiere que antes de continuar es conveniente conocer una expresin sencilla para o (AB)c . Armamos que (AB)c = (Ac B c ) (B A) En efecto, (AB)c = = = = [(A B c ) (B Ac )]c (A B c )c (B Ac )c (Ac B) (B c A) (Ac B c ) (Ac A) (B B c ) (B A) (Ac B c ) (B A) (Ac B c ) (B A) Denicin de o 5a 5b (2.17)

Ejemplo 2.33 7b 6a

Ahora armamos que

En efecto, sustituyendo en (2.16) lo que vimos en (2.17), obtenemos

y usando la ley distributiva 3b obtenemos lo buscado: (AB)C = (A B c C c ) (B Ac C c ) (C Ac B c ) (C B A).

Ya casi llegamos al nal. Veamos ahora como calculamos A(B C). Para esto observemos que es una operacin conmutativa, por esto o A(B C) = (B C)A Pero (2.18) nos permite tambin calcular (B C)A. En efecto, sustituyendo A por B, B por e C y C por A en (2.18) obtenemos (B C)A = (B C c Ac ) (C B c Ac ) (A B c C c ) (A C B) Comparando (2.18) y (2.19) podemos concluir (por n!) que (AB)C = A(B C). (2.19)

ww w.

(AB)C

( [(A B c ) (B Ac )] C c ) ( C [(Ac B c ) (B A)] )

M at

(AB)C = (A B c C c ) (B Ac C c ) (C Ac B c ) (C B A)

em

at

ic a1

= =

.c o

(2.18)

2.3.5.

Contraejemplos

Hasta ahora nos hemos concentrado en ilustrar algunos de los mtodos usados para demostrar e la validez de una armacin. Ahora veremos cmo podemos mostrar que una armacin general o o o no es vlida. Es importante saber mostrar que algo no es vlido, pues esto nos puede llevar a a a intuir o sospechar qu es lo vlido. e a Ejemplo 2.36. Supongamos que alguien arma que A AB para cualquier par de conjuntos A y B. Es esta armacin correcta? Veamos dos ejemplos concretos: o (1) A = {1, 2} y B = {1, 2, 3}. En este caso tenemos que {1, 2} {1, 2} {1, 2, 3}. (2) A = {1, 2} y B = {2, 3}. Entonces {1, 2} {2, 3} = {2} pero {1, 2} {2}. Vemos entonces que la armacin no es vlida en general, pues se cumple para algunos o a conjuntos pero para otros no. 2 Los ejemplos donde falla una proposicin (como la anterior) son llamados contraejemplos. o En el caso que analizamos los conjuntos {1, 2} y {2, 3} (para A y B respectivamente) son un contraejemplo a la armacin inicial. o

(b) Veamos otro caso, dejemos A igual, es decir, A = {1, 2, 3} pero hagamos B ms peque o, a n digamos {n N : n 4}. En este caso tenemos que {1, 2, 3} {n N : n 4} = y adems ninguno de ellos es vac As A = {1, 2, 3} y B = {n N : n 4} son un a o. , contraejemplo a la armacin. o Por lo tanto la armacin (2.20) es falsa. o Ejemplo 2.38. Dados tres conjuntos cualesquiera A, B y C, Ser cierto que a Si A B C, entonces A B A C ?. o Pongamos A = {1, 3, 5}, B = {0, 1, 2, 3} y C = {4, 5, 6}. Vemos entonces que {1, 3, 5} {0, 1, 2, 3} {4, 5, 6}. Pero {1, 3, 5} {0, 1, 2, 3} y {1, 3, 5} {4, 5, 6}. Por lo tanto la armacin (2.21) es falsa. o 2 (2.21) 2

ww w.

(a) Si A = {1, 2, 3} y B = N tenemos que A y B no son vac y adems que A B = {1, 2, 3} os a no es vac Pero eso no es suciente para garantizar que la armacin se cumple en o. o general, pues slo la vericamos en un caso particular. o

M at

em

Veamos algunos ejemplos que aclaren la pregunta.

at

Si A = y B = , entonces A B = ?

ic a1

Ejemplo 2.37. Tambin podemos conseguir contraejemplos para armaciones condicionales. e Ser cierto que para cualquier par de conjuntos A y B se cumple que a

.c o

(2.20)

A continuacin daremos algunas indicaciones generales sobre cmo refutar una armacin: o o o 1. Para refutar la frmula o pq debemos hallar un ejemplo donde valga (p q). Como (p q) p q, entonces debemos conseguir un ejemplo donde valga p q. Es decir, un ejemplo donde valga p o donde valga q. 2. Para refutar una proposicin de la forma o pq debemos hallar un ejemplo donde valga (p q). Como (p q) p q, entonces debemos conseguir un ejemplo donde valga p q. Es decir, un ejemplo donde valga p y tambin q. e 3. Para refutar una frmula condicional o pq

debemos hallar un ejemplo donde valga p y no valga q. Recuerde que (p q) p q.

2. Muestre la ley distributiva: A (B C) = (A B) (A C). Sugerencia: Demuestre las siguientes dos armaciones: A (B C) (A B) (A C) y (A B) (A C) A (B C). 3. Muestre la ley de De Morgan 5b: (A B)c = Ac B c . 4. Muestre las siguientes armaciones donde U es el conjunto universal y A, B U a) A Ac = U b) U c = y c = U

5. Muestre que A A B y A B A B para cualquier par de conjuntos A y B.

ww w.

1. Escriba las demostraciones de la propiedades 7a y 7b como se hizo en la demostracin de o la parte (ii) de 5a (hechas en la seccin 2.3.3). o

M at

Ejercicios 2.3

em

at

ic a1

.c o

6. Muestre la siguiente generalizacin de la ley de De Morgan o (A B C)c = Ac B c C c . (Sugerencia: Use las leyes de De Morgan 5a con los conjuntos A y B C). 7. Demuestre lo siguiente a) A B = B si, y slo si, A B o

b) A C y B C si, y slo si, A B C o

c) Si A B, B C y C A, entonces A = B y B = C (A B) (C D) = (A C) (A D) (B C) (B D)

8. Demuestre la siguiente generalizacin de la ley distributiva 3a o

9. Revise el ejemplo 2.32 y d una demostracin directa de la siguiente armacin: e o o

a) Considere la siguiente armacin: o

b) Demuestre directamente la contrarrec proca de la armacin anterior, es decir, o Si A B = , entonces A B c . 11. Sean A y B dos conjuntos. Muestre que a) AB = (A B) \ (A B) 12. Demuestre lo siguiente a) A(AB) = B (Sugerencia: Use la ley asociativa para ). b) Si A B = AC, entonces B = C (Sugerencia: Use la parte (a)). 13. a) Halle un conjunto C tal que {1, 2, 3, 6, 8} C = {2, 3, 8, 9, 10}. (Sugerencia: Si no consigue la respuesta, siga a la parte (b)).

b) A B = (A \ B) (A B) (B \ A)

ww w.

Demustrela directamente, es decir, suponga que A B c y demuestre que se cumple e lo siguiente x U [x A B].

M at

em

Si A B c , entonces A B = .

at

ic a1

10. Sean A y B subconjuntos de un conjunto universal U.

.c o

Si P(A) = P(B), entonces A = B.

b) En este problema resolveremos de manera general una pregunta similar a la hecha en (a). Sean A, B {1, 2, 3, 4, 5, 6, 7, 8, 9, 10} dos subconjuntos cualesquiera. Muestre que existe un subconjunto C de {1, 2, 3, 4, 5, 6, 7, 8, 9, 10} tal que AC = B. (Sugerencia: Use el ejercicio 12 y razone como si estuviera despejando una ecuacin, es o decir, piense que C es la incgnita). o 14. En este ejercicio, no olvide que los elementos de P(A) son tambin conjuntos. Demuestre e lo siguiente a) A B si, y slo si P(A) P(B) o b) P(A B) = P(A) P(B) c) P(A) P(B) P(A B)

15. Diga cules de las siguientes armaciones son verdaderas y cules falsas. Para las vera a daderas d una demostracin y para las falsas proporcione un ejemplo en el que la are o macin no se cumpla. o a) Si A = o B = , entonces A B = b) Si A = o B = , entonces A B = c) Si A B C, entonces A C o B C

16. En los siguientes ejercicios haremos una armacin y propondremos una demostracin. o o Diga si la demostracin es correcta. En caso que no lo sea, si es posible d una demostracin o e o correcta, o de los contrario, d un contraejemplo que muestre que la armacin es falsa. e o a) Armacin: Si A y B son conjuntos tales que P(A) P(B), entonces A B. o Demostracin: o x A {x} A {x} P(A) {x} P(B) {x} B xB b) Armacin: Sean A, B y C conjuntos. Si A B, B C, entonces A C. o Demostracin: Si x C, entonces, como B C, tenemos que x B. Ya que o A B y x B, entonces x A. Esto muestra que si x C, entonces x A. Por lo tanto A C. Esto muestra que si x A, entonces x B. Por lo tanto A B.

ww w.

M at

f ) P(A) P(B) = P(A B)

em

e) Si A B o A C, entonces A B C

at

d ) Si A B = A B, entonces A = B

ic a1

.c o

d ) Armacin: Si X = {x N : x2 < 14} y Y = {0, 1, 2, 3}, entonces X = Y . o Demostracin: Como 02 = 0 y 0 < 14, 12 = 1 y 1 < 14; 22 = 4 y 4 < 14; y 32 = 9 o y 9 < 14. Entonces X = Y . e) Armacin: A = A. o Demostracin: Sabemos que x A si, y slo si, x A y x . Como x es o o falso, entonces x A y x si, y slo si, x A . Esto muestra que A = A. o

c) Armacin: Si A, B y C conjuntos tales que A B, B C, entonces A C. o Demostracin: Considere los siguientes conjuntos: A = {1, 5, 8}, B = {1, 4, 5, 8, 10} o y C = {1, 2, 4, 5, 6, 8, 10}. Entonces A B, B C y A C.

En esta seccin continuaremos la presentacin de las similitudes de las leyes de la lgica y o o o las del lgebra booleana que comenzramos en la seccin 2.2. Al nal de esta seccin usarea a o o mos los conjuntos como herramientas para estudiar un tipo de razonamiento llamado silogismo categrico. o Ya hemos dicho que las operaciones del lgebra de conjuntos y de la lgica proposicional a o son similares. Las leyes del lgebra booleana se pueden traducir a leyes de la lgica proposia o cional sustituyendo por , por y c por . Y viceversa, cada una de las leyes del clculo a proposicional se puede traducir al lgebra booleana. Veamos un ejemplo. Una de las leyes de a De Morgan dice que (A B)c = Ac B c . La correspondiente ley del clculo proposicional, que tambin se llama ley de De Morgan, es la a e siguiente: (p q) p q. Es decir, la igualdad entre conjuntos = se traduce en equivalencia lgica y viceversa. o Ejemplo 2.39. Considere la siguiente equivalencia lgica: o [p (q r)] [(p q) (p r)].

ww w.

M at

em

2.4.

Lgica y lgebra booleana (continuacin) o a o

at

ic a1

g) Armacin: Si A B = A C, entonces B C. o Demostracin: Sea x B. Consideraremos dos casos: x A o x C. o Caso 1: Supongamos que x A. Entonces x A B. Como por hiptesis A B = o A C, concluimos que x A C. Por lo tanto x C. Caso 2: Supongamos que x C. En este caso no hay nada que probar. 2

f ) Armacin: P(A \ B) \ {} P(A) \ P(B). o Demostracin: Sea x P(A \ B) \ {}. Entonces x P(A) \ P(B). Por lo tanto o P(A \ B) P(A) \ P(B). 2

.c o

Al traducirla al lenguaje del lgebra de Boole, obtenemos lo siguiente: a [A (B C)] = [(A B) (A C)]. Es decir, una ley distributiva de la lgica se traduce en una ley distributiva del lgebra de Boole. o a 2 Ejemplo 2.40. La implicacin lgica se puede interpretar como la relacin de subconjunto. o o o Por ejemplo, la regla modus ponens dice [p (p q)] q. Veamos qu dice esta regla al traducirla al lgebra de conjuntos. Recordemos que para traducir e a p q usamos su equivalente p q. La traduccin del modus ponens es: o [A (Ac B)] B. Veamos que esta ultima armacin es vlida. En efecto, o a A (Ac B) = = = (A Ac ) (A B) (A B) AB B.

En esta seccin usaremos las propiedades que hemos visto de los conjuntos para estudiar o un tipo de razonamiento muy sencillo conocido como silogismo categrico. Comenzaremos o presentando un ejemplo que es sin duda el ms conocido de todos los silogismos categricos. a o (1) Todos los hombres son mortales (2) Scrates es hombre o (3) Scrates es mortal o Si aceptamos como verdaderas las proposiciones (1) y (2), entonces necesariamente (3) tambin lo es. Por eso el razonamiento anterior es vlido. Qu tiene que ver esto con las propiedades e a e de los conjuntos? Como veremos a continuacin, la validez de razonamientos de este tipo se puede o justicar a travs de los conjuntos. e Denotemos por M al conjunto de todos los seres mortales, por s a Scrates y por H al o conjunto de todos los hombres. Entonces, el silogismo anterior puede ser expresado usando el lenguaje de los cuanticadores de la manera siguiente:

ww w.

2.4.1.

Silogismos categricos o

M at

En la primera igualdad hemos usado una de las leyes distributivas; en la segunda, el hecho de que A Ac = y la ultima armacin se deduce de la denicin de . o o 2

em

at

ic a1

.c o

(1) x (x H x M). (2) s H. (3) s M. Lo primero que debemos notar es que este razonamiento es vlido independientemente del a lo que representen las variables H, M y s. Por ejemplo, el siguiente razonamiento tambin es e vlido. a (1) Todos los burros son trabajadores (2) Platero es un burro (3) Platero es trabajador Los silogismos categricos usan las expresiones todos, algunos y ninguno. Veamos o otros ejemplos. Ejemplo 2.41. Considere el siguiente razonamiento (1) Todos los perros son animales (2) Algunos perros son equilibristas (3) Algunos animales son equilibristas

(1) x (x P x A) (2) x (x P x E) (3) x (x A x E) O de manera equivalente: (1) P A (2) P E = (3) A E =

Para mostrar la validez de este argumento notemos que (2) nos dice que P E = , por lo tanto podemos escoger un elemento de P E que denotaremos con la letra a. En particular, a P . En consecuencia, por (1), sabemos que a A. As hemos mostrado que a E A. Esto dice que E A = . 2

ww w.

M at

Al igual que en el ejemplo anterior, podemos ver que si las dos primeras proposiciones son verdaderas, entonces la tercera tambin lo es. Pues la segunda dice que al menos existe un perro e equilibrista y por la primera sabemos que ese perro es tambin un animal equilibrista. e Denotemos por P al conjunto de todos los perros, por A al de los animales y por E al de los seres vivos que son equilibristas. En forma simblica podemos representar este razonamiento de o la manera siguiente.

em

at

ic a1

.c o

Los silogismos categricos usan solamente proposiciones del siguiente tipo: o (1) (2) (3) (4) Todos los hombres son honestos Ning n hombre es honesto u Alg n hombre es honesto u Alg n hombre no es honesto u

La forma general de estas proposiciones es la siguiente: (1) (2) (3) (4) x (x A x B) x (x A x B) x (x A x B) x (x A x B)

Note que hemos traducido ning n por no existe y alg n por existe. u u Como antes, podemos expresar estas proposiciones de manera equivalente como sigue: (1) (2) (3) (4) AB AB = AB = A Bc =

M at

em

En muchos casos la vericacin de que un silogismo categrico es vlido se simplica cono o a siderablemente observando que las siguientes tres armaciones son lgicamente equivalentes: o AB = A Bc B Ac .

Observacin 2.42. Ya hemos mencionado (ver la observacin 2.22) que para evitar confusiones o o al usar cuanticadores conviene mencionar el contexto o universo sobre el cual se est trabaa jando. En el ejemplo 2.41 podemos tomar como contexto el conjunto de todos los seres vivos. Esperamos que el lector pueda reconocer sin dicultad un contexto adecuado para cada uno de los razonamientos que aparezcan ms adelante. No haremos ms comentarios sobre este aspecto, a a pero aseguramos al lector que esta aparente ambig edad no causa ning n problema a la hora u u de determinar la validez de los razonamientos que presentaremos. Ejemplo 2.43. Considere el siguiente razonamiento: (1) Algunos profesores son personas atlticas e (2) Ning n profesor desprecia el estudio u (3) Algunas personas que aprecian el estudio son atlticas e Denotemos por P al conjunto de los profesores, por A al de las personas atlticas y por E al e de las personas que aprecian el estudio. Entonces el silogismo anterior tiene la siguiente forma:

ww w.

at

ic a1

.c o

(1) x (x P x A) (2) x (x P x E) (3) x (x E x A) O de manera equivalente: (1) P A = (2) P E c = (3) E A = Ya hemos dicho que P E c = es lgicamente equivalente a P E. Por eso remplazaremos o (2) por su equivalente que donotaremos por (2) (que se lee dos prima). As obtenemos el siguiente silogismo. (1) P A = (2) P E (3) E A = Este razonamiento es vlido. Pues por (2) sabemos que P E y por consiguiente P A a E A (verif quelo!). Por (1) sabemos que P A = . En consecuencia, E A = . 2 Veamos un ejemplo de un silogismo invlido a

Este razonamiento es invlido, pues las premisas son verdaderas y la conclusin es falsa. La a o forma general de este razonamiento invlido es la siguiente: a (1) x (x A x B) (2) x (x C x B) (3) x (x C x A) Vemos en este ejemplo que la premisa (2) garantiza que existe un elemento, que denotaremos por a, en C B. Pero no tenemos informacin que nos permita concluir que a A, pues la o premisa (1) slo dice que aquellos que estn en A tambin estn en B. Es sencillo conseguir o e e a un contraejemplo, es decir, queremos tres conjuntos que satisfagan las premisas pero no la conclusin. Por ejemplo, tome A = {1}, B = {1, 2} y C = {2}. o 2 Para concluir, veremos otro tipo de razonamientos, similar al silogismo categrico, pero que o involucra ms de 2 premisas (y por esto no son llamados silogismos). a

ww w.

(1) Todos los venados son mam feros (2) Algunos animales acuticos son mam a feros (3) Algunos venados son animales acuticos a

M at

em

Ejemplo 2.44. Considere el siguiente razonamiento:

at

ic a1

.c o

Ejemplo 2.45. Considere el siguiente razonamiento: (1) (2) (3) (4) Todas las personas mentalmente maduras pueden entender la lgica o Ninguna persona mentalmente inmadura puede ser parte de un jurado Ninguno de tus hijos puede entender la lgica o Ninguno de tus hijos puede ser parte de un jurado

Denotaremos por M el conjunto de las personas mentalmente maduras, por L al de las personas que entienden la lgica, por H al conjunto de tus hijos y por J al de los que pueden o ser parte de un jurado. El razonamiento anterior se puede expresar de la siguiente forma: (1) (2) (3) (4) M L Mc J = H L= H J =

Reemplazando (2), (3) y (4) por frmulas equivalentes obtenemos: o (1) (2) (3) (4) M L J M L Hc J Hc

El lector interesado en profundizar el estudio de los silogismo categricos puede consultar o los libros [2] y [3]. Ejercicios 2.4 1. Imite lo hecho en el ejemplo 2.39 y traduzca las siguientes leyes sobre la equivalencia lgica o en leyes del lgebra booleana. a a) [p (q r)] [(p q) (p r)]

b) [(p q) r] [(p r) (q r)] c) [(p q) r] [(p r) (q r)]

2. Imite lo hecho en el ejemplo 2.40 y traduzca las siguientes leyes sobre la implicacin lgica o o en leyes del lgebra booleana: a

ww w.

La justicacin de la validez de este razonamiento es simplemente el hecho que la relacin o o de subconjunto es transitiva. En efecto, ordenando las premisas de otra manera tenemos que J M, M L y L H c . Por consiguiente, J H c . Finalmente, observemos que (4) es equivalente a J H = que es lo que quer amos demostrar. 2

M at

em

at

ic a1

.c o

a) b) c) d)

p (p q) (p q) p (p q) q p [(p q) (q r) (p r)

3. Los ejercicios que presentaremos a continuacin fueron tomados de [2] y [3]. Exprese los o siguientes razonamientos usando el lenguaje de los cuanticadores y de los conjuntos. Determine si son vlidos. a a) Algunos mam feros no son caballos porque ning n caballo es centauro y todos los u centauros son mam feros. b) Nig n m sico es boxeador, todos los m sicos son acionados al arte; en consecuencia, u u u nig n boxeador es acionado al arte. u c) Nadie que tenga como principal inters ganar las elecciones es un verdadero demcrae o ta y todos los pol ticos activos son personas cuyo principal inters es ganar las elece ciones; en consecuencia, nig n verdadero demcrata es un pol u o tico activo. d ) A todos los chivos jvenes les gusta brincar. Ning n animal joven es saludable, a o u menos que le guste dar brincos. En consecuencia, todos los chivos jvenes son saluo dables. e) Todos los ladrones son deshonestos. Algunas personas deshonestas son descubiertas. En consecuencia, algunos ladrones son descubiertos. f ) El az car es dulce. La sal no es dulce. Por lo tanto, la sal no es az car. u u g) Todas las guilas pueden volar. Algunos elefantes no pueden volar. En consecuencia, a algunos elefantes no son guilas. a h) Todos los bebs son ilgicos. Nadie que sea despistado puede enfrentar un cocodrilo. e o Las personas ilgicas son despistadas. Por lo tanto, los bebs no pueden enfrentar o e cocodrilos. i ) Ning n pjaro, excepto los pavos reales, se siente orgulloso de su cola. Algunos u a pjaros, que se sienten orgullosos de sus colas, no pueden cantar. Por lo tanto, algunos a pavos reales no pueden cantar. j ) Ninguna de las papas, excepto las ultimas que compramos, han sido cocidas. Todas las papas que estn en el plato estn listas para comer. Ninguna papa cruda se puede a a comer. En consecuencia, algunas papas en el plato son de las ultimas que compramos.

2.5.

Demostraciones

Como dijramos en la introduccin, est fuera de los objetivos de este texto dar una denicin e o a o precisa de lo que se entiende por demostracin. En esta seccin haremos una aproximacin o o o a una denicin de esta nocin. Primero recordaremos brevemente algunos de los tipos de o o demostracin vistos hasta ahora. o

ww w.

M at

em

at

ic a1

.c o

2.5.1.

Armaciones condicionales

2.5.2.

Armaciones universales

en la cual P (x) signica que el elemento x tiene la propiedad P . Este tipo de proposiciones aparecieron con frecuencia al demostrar las propiedades de los conjuntos. Recordemos que normalmente, la demostracin de una armacin universal comienza con frase: Sea x un elemento o o arbitrario. Mostraremos que x tiene la propiedad P ...

2.5.3.

Demostraciones por reduccin al absurdo o

Otro tipo de demostraciones, que hasta ahora no hemos usado, son las que utilizan el llamado mtodo de reduccin al absurdo. Lo ilustraremos con un ejemplo. e o Es fcil conseguir tres enteros consecutivos a, b, c que cumplan con la ecuacin a2 + b2 = c2 . a o Por ejemplo, 32 + 42 = 52 . Sin embargo, mostraremos que NO existen tres enteros consecutivos a, b, c que satisfagan la ecuacin a3 + b3 = c3 . o Razonaremos indirectamente. Supondremos que existen enteros consecutivos a, b, c tales que a3 + b3 = c3 y mostraremos que esto conduce a una contradiccin. o
2

ww w.

M at

em

Las armaciones universales son las que tienen la forma siguiente x P (x)

Una locha es una moneda fuera de circulacin que val o a

at

ic a1
1 8

de un Bol var.

.c o

Ya hemos dicho que para demostrar una armacin condicional R Q, lo usual es suponer o que R se cumple y mostrar que Q tambin se cumple. El mtodo descrito se llama una dee e mostracin directa de P Q. Un ejemplo t o pico de este tipo de demostracin ocurre cuando o queremos mostrar que un conjunto est contenido en otro. Es un buen ejercicio para el lector a revisar de nuevo los resultados vistos y determinar cules demostraciones son de este tipo. a Ahora bien, tambin se puede demostrar una proposicin condicional R Q demostrando e o su contrarrec proca Q R. Pues como vimos ellas son lgicamente equivalentes. En este o caso, uno tratar de conseguir una demostracin directa de Q R suponiendo que Q se a o cumple y mostrando que R tambin se cumple. e Cmo podemos saber cundo es ms fcil mostrar la contrarrec o a a a proca de una armacin o condicional que la armacin misma? Esta pregunta podr o amos incluirla en la lista de las pre2 guntas de las sesenta y cuatro mil lochas . No podemos ofrecer al lector una receta que permita decidir cundo es conveniente demostrar la contrarrec a proca de una proposicin condicional. o Sin embargo, s podemos aconsejarle que cada vez que quiera demostrar una proposicin condi o cional y no vea cmo hacerlo, entonces enuncie la contrarrec o proca de la proposicin que quiere o demostrar e intente probarla. En muchos casos, la prueba de la contrarrec proca es clara y transparente.

Como los enteros a, b y c son consecutivos, entonces son de la forma x 1, x y x + 1. Es decir, a = x 1, b = x y c = x + 1 para alg n entero x. Nuestra suposicin es que u o (x 1)3 + x3 = (x + 1)3 . Efectuando las operaciones obtenemos x3 3x2 + 3x 1 + x3 = x3 + 3x2 + 3x + 1. Agrupando tenemos 2x3 3x2 + 3x 1 = x3 + 3x2 + 3x + 1. Agrupando las potencias de x de un lado de la igualdad, obtenemos x3 6x2 = 2. Factorizando obtenemos

En particular, de esta ultima igualdad se concluye que el producto x2 (x 6) es positivo. Como 2 x es positivo, entonces x 6 tambin lo es y por lo tanto x 6 es mayor o igual que 1. Luego e x es mayor o igual que 7 y as x2 es mayor o igual que 49. Luego x2 (x 6) es mayor o igual que 49, lo cual contradice la igualdad (2.22). Digmoslo con precisin. Por una parte, a partir de a o las condiciones de nuestro problema junto con la negacin de lo que queremos mostrar, hemos o establecido la validez de la ecuacin 2.22. Y por otra parte tambin hemos establecido que la o e ecuacin 2.22 no puede ser vlida. Esto es una contradiccin. o a o El haber deducido una contradiccin (a partir de la suposicin de que si exist tres enteros o o an a, b y c consecutivos tales que a3 + b3 = c3 ) nos garantiza que la suposicin inicial no puede o ser verdadera. En consecuencia, tales enteros no existen y con esto hemos demostrado lo que quer amos3 . En trminos generales, si queremos demostrar de manera indirecta que P implica lgicamente e o a Q, lo que debemos hacer es motrar que a partir de P Q se deduce una contradiccin. Pues o en este caso es fcil convencerse de que P Q tambin es una contradiccin y por consiguiente a e o (P Q) es una tautolog Es decir, P Q es una tautolog Pero P Q es lgicamente a. a. o equivalente a P Q y por lo tanto P Q es una tautolog Esto ultimo dice que P Q. a. Ms adelante tendremos oportunidad de ver otros ejemplos en los que se usa el mtodo de a e reduccin al absurdo. o
3 Es natural preguntarse si es imprescindible razonar indirectamente. El lector interesado puede tratar de hacerlo directamente. Muestre que si x3 + (x + 1)3 = (x + 2)3 , entonces lo mismo ocurre si en lugar de x colocamos x 1. Ahora reexione si este hecho es suciente para justicar la armacin. o

ww w.

M at

em

at

ic a1

x2 (x 6) = 2.

.c o

(2.22)

2.5.4.

Demostraciones de igualdades

Ahora bien, no todas las demostraciones que hemos hecho han sido exactamente de alguno de los tipos descritos anteriormente. Pedimos al lector que vea de nuevo la demostracin de la o asociatividad de dada en la seccin 2.3.4. Nos referimos a la demostracin de lo siguiente: o o (AB)C = A(B C). El lector observar que la demostracin consisti en ir transformando la expresin (AB)C a o o o (el lado izquierdo de la igualdad) hasta que se convirti en A(B C) (el lado derecho de la o igualdad). En en el transcurso de esa demostracin se usaron algunas de las leyes del lgebra o a de conjuntos (5a, 5b, 7b y 6a) y tambin un resultado que se hab demostrado previamente e a (ejemplo 2.33). Las leyes del lgebra de conjuntos estipulan la igualdad de algunos conjuntos. a Algunas demostraciones como la mencionada arriba consisten en usar esas igualdades para ir paso a paso transformando una expresin en otra. En cada paso, la regla bsica es que uno puede o a sustituir una expresin por cualquier otra que sea igual a ella (sustituir iguales por iguales). o Este tipo de argumentos es muy frecuente en el contexto del lgebra. a

Las demostraciones son similares a las deducciones o derivaciones que vimos en el contexto del clculo proposicional. Podemos decir que una demostracin de una armacin P consiste a o o de una sucesin de armaciones P1 , P2 , , Pn tales que cada armacin Pi se deduce de o o las anteriores usando alg n razonamiento vlido y adems la ultima de ellas, Pn , debe ser la u a a armacin P que se quer demostrar. Las proposiciones P1 , , Pn1 se llaman las premisas y o a Pn se llama la conclusin. Las premisas pueden ser resultados ya demostrados anteriormente o o proposiciones que se deducen de las deniciones bsicas de la teor de conjuntos (es decir, de a a la relacin , conjunto potencia, , etc.). Ahora bien, cuando decimos que se deducen de las o anteriores queremos decir que

En otras palabras, la proposicin Pi+1 es una consecuencia lgica de las proposiciones ya deo o mostradas. Insistimos en que esto no es una denicin precisa de la nocin de demostracin. En el o o o curso de la lectura de estas notas el lector estudiar muchas demostraciones de resultados muy a variados que le ayudarn a formarse una idea ms precisa de lo que se entiende por demostracin; a a o y algo a n ms importante, ir aprendiendo a cmo hacerlas y cmo escribirlas para que otros u a a o o las entiendan. Es com n en los textos de Matemticas indicar el comienzo y el nal de las demostraciones de u a la siguiente manera: Demostracin.......2. De ahora en adelante lo haremos as Otra costumbre o . es llamar Teorema a las proposiciones que se demuestran.

ww w.

P1 P2 Pi Pi+1

M at

em

at

ic a1

.c o

2.5.5.

Resumen