Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Conjuntos
Primera edicin Versin beta Noviembre de 2011
ii
Conjuntos
Matemticas! Conjuntos
Primera edicin Versin beta Noviembre de 2011
Algunas pginas de este documento electrnico se han dejado en blanco intencionalmente para efectos de impresin en papel.
En este documento casi no hay nada original. Quizs alguien note algn sutil rasgo de originalidad en mi visin de algunos aspectos de las matemticas, o en la forma de presentarlas. Pero lo cierto es que prcticamente todo lo que aqu escrib lo tom de, o se basa en, libros, apuntes, pginas de internet, etc. Quizs lo nico que finalmente logr fue efectuar una muy mala reproduccin de cosas bien planteadas en otras fuentes. Mis disculpas y mi reconocimiento a todos los autores de esas fuentes. Por lo anterior, y por otras razones, de ninguna manera presentar este documento para efectos de reconocimiento como productividad acadmica o produccin intelectual ante la universidad para la cual trabajo. En cambio, estar disponible como documento gratuito para todo aquel que desee conocerlo o utilizarlo, o ambos. Hacer las cosas de ese modo tiene su costo: No figurar en las bases de datos de mi universidad como autor de nada, nunca ser Profesor Titular, y mi sueldo no se incrementar como yo quisiera. Pero, por otro lado, hacer las cosas de ese modo tiene su recompensa: No tengo que presentar ningn proyecto de lo que quiero escribir y no estoy sometido a compromisos, plazos ni informes. Ningn evaluador secreto recomendar acogerme al manual de autores de algn medio de publicacin, ni escribir en estilo impersonal, ni modificar algn ttulo, ni cambiar alguna palabra que considere inapropiada, ni utilizar el usual estilo acadmico, muy elegante pero tambin muy acartonado. Tampoco tengo que aceptar las sugerencias de ninguna editorial como, por ejemplo, utilizar fuentes de 10 puntos o menos para bajar costos de impresin, o evitar el uso del color y procurar que las imgenes sean pequeas para economizar. Todo esto con el beneficio adicional de que no tengo que hacer ningn lanzamiento de mi obra, ni hacer tediosas gestiones de difusin aqu y all. Basta hacer un clic con el botn izquierdo del ratn y el material est de inmediato en la maravillosa internet, disponible para quien desee, como ya dije, conocerlo o utilizarlo, o ambos. La mejor recompensa es la de que puedo disfrutar del placer de escribir con plena libertad, en los momentos que escoja, en las condiciones que me plazca, sin estrs ni presiones.
iv
Conjuntos
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 anterior titulado Matemticas! Lgica. En particular, presupone el conocimiento de las reglas de inferencia, incluida su nomenclatura, presentadas all. Como una pequea novedad, utilizo la denominada Tumba de Halmos (un pequeo cuadrado que 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.
Contenido
Prefacio ................................................................................................................... v 1. El concepto de conjunto................................................................................... 1
1.1. 1.2. 1.3. 1.4. 1.5. 1.6. 1.7. 1.8. 1.9. 1.10. Conjuntos ............................................................................................................................................... 1 Elementos .............................................................................................................................................. 1 Formas de definir un conjunto ............................................................................................................... 2 Igualdad de conjuntos ............................................................................................................................ 4 El conjunto vaco ................................................................................................................................... 6 Conjuntos unitarios ................................................................................................................................ 7 Parejas .................................................................................................................................................... 7 Ternas .................................................................................................................................................... 8 Diagramas de Venn ................................................................................................................................ 8 Ejercicios ............................................................................................................................................... 9
2. Inclusin......................................................................................................... 15
2.1. 2.2. 2.3. 2.4. 2.5. 2.6. Inclusin .............................................................................................................................................. 15 Propiedades bsicas de la inclusin ..................................................................................................... 17 Inclusin propia ................................................................................................................................... 18 Pertenencia e inclusin ........................................................................................................................ 19 Conjuntos universales .......................................................................................................................... 20 Ejercicios ............................................................................................................................................. 21
3. Colecciones .................................................................................................... 23
3.1. Colecciones .......................................................................................................................................... 23
5. Unin ............................................................................................................. 31
5.1. 5.2. 5.3. 5.4. 5.5. Unin ................................................................................................................................................... 31 Propiedades bsicas de la unin ........................................................................................................... 34 Otras propiedades de la unin .............................................................................................................. 42 Uniones generalizadas ......................................................................................................................... 46 Ejercicios ............................................................................................................................................. 49
Contenido
vii
6. Interseccin ....................................................................................................51
6.1. 6.2. 6.3. 6.4. 6.5. Interseccin ..........................................................................................................................................51 Propiedades bsicas de la interseccin .................................................................................................54 Dos leyes distributivas ..........................................................................................................................59 Intersecciones generalizadas .................................................................................................................63 Ejercicios ..............................................................................................................................................66
7. Diferencia .......................................................................................................69
7.1. 7.2. Diferencia .............................................................................................................................................69 Ejercicios ..............................................................................................................................................76
9. Complementacin ..........................................................................................95
9.1. 9.2. 9.3. Complementacin .................................................................................................................................95 Propiedades de la complementacin .....................................................................................................98 Ejercicios ............................................................................................................................................107
1. El concepto de conjunto
1.1. Conjuntos
Los seres humanos adquirimos intuitivamente el concepto de conjunto cuando observamos un rebao de ovejas en una pradera, o una bandada de pjaros volando, o un banco de arenques en el mar, o un grupo de ciclistas pedaleando por una carretera, o una multitud de rboles en un bosque, o un grupo de estudiantes en un saln asistiendo a clase, etc. Intuitivamente, un conjunto es una agrupacin, o colectividad, o totalidad, o congregacin, de objetos de cualquier naturaleza. Letras como , , , representarn conjuntos. Eventualmente, otros tipos de smbolos podrn tambin representar conjuntos. Por ejemplo, un poco ms adelante usaremos letras como A ,B ,C, para representar cierto tipo de conjuntos.
1.2. Elementos
Cada uno de los objetos que constituyen un conjunto se denomina un elemento (o un miembro) de dicho conjunto. El smbolo
significa que
significa que no es un elemento de . La relacin entre objetos y conjuntos simbolizada por se denomina la relacin de pertenencia y el smbolo se llama el smbolo de pertenencia. En lugar de la expresin es un elemento de se usan tambin las siguientes: es un miembro de
Conjuntos
pertenece a est en posee a est contenido en contiene a No es muy recomendable el uso de las dos ltimas expresiones ya que ms adelante usaremos las palabras contenido y contiene con otro sentido.
Ortografa matemtica: El smbolo de pertenencia Observe con atencin el smbolo de pertenencia:
Correcto
Note que tiene la forma de una herradura abierta hacia la derecha con una barrita adicional en el centro. Es como la cabeza de un tridente. No debe confundirse con ninguno de los dos smbolos
Incorrectos
los cuales son dos versiones de la letra griega psilon que tambin se usa en matemticas pero con otros fines. Tampoco debe confundirse con la letra e mayscula:
Incorrecto
Si usted se est preguntando qu tienen que ver estas observaciones con el tema en discusin, considere lo siguiente: Qu tal si todos tuvisemos la libertad de escribir los smbolos matemticos como nos gustase a cada uno? Las matemticas se convertiran en una torre de Babel! Tenemos que procurar escribir los smbolos matemticos lo mejor que podamos, aproximndonos cuanto podamos a su forma correcta. En otras palabras, quizs le resulte inesperado pero el lenguaje escrito de las matemticas tiene su propia ortografa.
1.
El concepto de conjunto
es un conjunto definido por extensin. La segunda se denomina por comprensin o por abstraccin. Se dice que un conjunto se ha definido por comprensin cuando sus elementos, en lugar de listarse explcitamente, se especifican mediante una condicin que los caracteriza. Por ejemplo, es 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:
Note que la intuicin nos dice que el conjunto es en realidad el mismo conjunto . 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 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:
La idea es escribir explcitamente una cantidad suficiente de elementos del conjunto de tal manera que ellos sugieran cules son todos los elementos de dicho conjunto.
Ortografa matemtica: La notacin de los conjuntos El uso de parntesis en modalidad de llaves es obligatorio en la notacin de los conjuntos. As, el conjunto
Correcto
Conjuntos
Incorrecto
ni como
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
Incorrecto
en la que se han omitido las comas que separan los elementos del conjunto. Estas deben escribirse en todos los casos.
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
entonces
1.
El concepto de conjunto
El orden en que se escriban los elementos de un conjunto es irrelevante. As, tenemos que
es correcta. Los tres teoremas siguientes establecen propiedades fundamentales de la relacin de igualdad entre conjuntos.
Teorema (Propiedad reflexiva de la igualdad)
Demostracin
Si
Demostracin Si
posee exactamente los mismos elementos que exactamente los mismos elementos que .
Teorema (Propiedad transitiva de la igualdad)
Si
Demostracin
entonces posee y ,
Si posee exactamente los mismos elementos que y exactamente los mismos elementos que entonces los tres conjuntos, ,
Conjuntos
Lo cierto es que actualmente el smbolo es mucho ms utilizado que . Tan solo ocasionalmente, algunos autores prefieren . Resulta curioso observar que el smbolo no representa otra cosa sino la definicin por extensin! del conjunto vaco. Por otra parte, tambin es posible definirlo por comprensin en forma por dems ingeniosa como
Conjunto vaco? Es una broma? Cmo puede ser un conjunto si no posee elementos? El papel del conjunto vaco en matemticas se parece un poco al del nmero natural cero. Los nmeros naturales , , , ... , etc., se originaron en el proceso de contar. Podramos preguntarnos: Entonces, qu hace el nmero en la lista de nmeros naturales si l no se usa para contar? Bueno, la verdad es que, histricamente, al comienzo los nmeros naturales no incluyeron al cero. Pero ms adelante fue incluido para ciertos propsitos que tienen que ver con el proceso de contar. Por ejemplo, en el proceso de contar, comenzamos con 1, 2, 3, ... , etc., y despus del sigue el . Ah est el cero! 10 significa 1 decena y 0 unidades. El cero aqu est contando el nmero de unidades que llevamos cuando completamos la primera decena. Y, de ah en adelante, el cero est presente, por ejemplo, en cada mltiplo de . Se puede ver que, en tratamientos rigurosos del concepto de conjunto, el conjunto vaco est presente en la construccin de muchos conjuntos. Por otra parte, en matemticas el conjunto vaco no se entiende como nada (como podra sugerir la palabra vaco) sino como algo que simplemente no posee elementos. Quizs una analoga til es pensar en los conjuntos como en cajas (de cartn, si usted desea) que contienen a sus propios elementos. En el contexto de esta analoga podemos pensar en el conjunto vaco como en una caja ... vaca! De este modo, estamos pensando en el conjunto vaco como en un objeto concreto, una situacin muy diferente a la pensarlo como nada. (No obstante, conviene advertir que este tipo de analogas deben tomarse con cuidado. Por ejemplo, mientras que en el mundo real hay muchas cajas vacas diferentes, en el mundo de las matemticas hay un nico conjunto vaco.)
1.
El concepto de conjunto
donde
es su nico elemento.
Ejemplo
y afirmar que
es el
1.7. Parejas
Definicin Una pareja es un conjunto de la forma
Ejemplo
Note que todo conjunto unitario es, al mismo tiempo, una pareja! En efecto:
Conjuntos
1.8. Ternas
Definicin Una terna es un conjunto de la forma
Ejemplo
El conjunto
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.
El concepto de conjunto
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.
Para cada una de las afirmaciones siguientes determine si es verdadera o falsa y justifique su respuesta: a. d. g. j. 2. De nuevo sea b. e. h. k. c. f. i. l.
10
Conjuntos
Para cada una de las afirmaciones siguientes determine si es verdadera o falsa y justifique su respuesta: a. b. c. d. e. f. 3. Sea posee exactamente tres elementos que son , posee exactamente dos elementos que son posee un nico elemento que es . posee un nico elemento que es . y y . y . . y
posee exactamente cuatro elementos que son , , posee exactamente tres elementos que son ,
(Analice cuidadosamente este pequeo conjunto porque tiene una estructura complicada.) Para cada una de las afirmaciones siguientes, responda si es verdadera o falsa y justifique su respuesta: a. d. g. 4. De nuevo sea b. e. h. c. f. i.
Para cada una de las afirmaciones siguientes, responda si es verdadera o falsa y justifique su respuesta: a. b. c. d. e. tiene en realidad un nico elemento que es 1. tiene en realidad exactamente dos elementos distintos que son y . , , y y y tiene en realidad exactamente tres elementos distintos que son . tiene en realidad exactamente tres elementos distintos que son tiene exactamente cuatro elementos distintos que son . , ,
1.
El concepto de conjunto
11
John Venn
(1834 1923) Lgico y matemtico conocido ante todo por los diagramas que llevan su nombre. Naci y creci en el seno de una familia britnica con slida tradicin cristiana evanglica. Realiz su educacin secundaria primero en Sir Roger Cholmleys School in Highgate y luego en Islington Preparatory School. En cuanto a su educacin superior, en 1853 ingres al Gonville and Caius College Cambridge. No fue muy buena la primera impresin que caus ya que no pareca estar familiarizado con ningn libro en particular. No obstante, en el segundo ao obtuvo una beca en matemticas. Se gradu en 1857 destacndose como uno de los mejores estudiantes en matemticas. En 1859, continuando con la tradicin John Venn familiar, se orden sacerdote. Al parecer, por esta poca, comenz a interesarse en la filosofa, especialmente en la lgica y la metafsica. Entre otros autores, se familiariz con las obras de Boole y De Morgan. En 1862, retorn a Cambridge University, esta vez como catedrtico en ciencias de la moral. Paralelamente estudi y ense lgica y teora de la probabilidad. Venn contribuy a la ampliacin de las fronteras de la lgica matemtica creada por Boole. En 1866 escribi Logic of Chance, obra de la cual Keynes destac tanto su originalidad como su influencia en el desarrollo de la teora de la estadstica. En 1881 escribi Symbolic Logic tambin destacado por Keynes como probablemente su trabajo ms duradero en lgica. En 1889 public The Principles of Empirical Logic. En 1883 Venn fue elegido miembro de la Royal Society. Ese mismo ao Cambridge le otorg el ttulo de Sc. D. (Scientiae Doctor). Entonces ocurre un giro tan inesperado como sorprendente en la vida de Venn. En el mismo 1883, deja el sacerdocio. Sus intereses cambian radicalmente y se dedica, hasta el momento de su muerte, a la historia. Escribe varias obras relacionadas con la historia de Cambridge University y de su propia familia. Algunas de ellas representan un descomunal esfuerzo de cuidadosa y metdica investigacin.
Hacia 1913, con la ayuda de su hijo John Archibald, Venn se embarc en la gigantesca empresa de escribir Alumni Cantabrigienses, trabajo en el que compil una resea biogrfica de todos y cada uno de los estudiantes, graduados y empleados administrativos de Cambridge University desde el comienzo de la institucin hasta el ao 1900. El primer tomo contena 76 000 nombres correspondientes al
12
Conjuntos
periodo hasta 1751. El segundo tomo, en calidad de manuscrito a la muerte de Venn, correspondiente al periodo 17521900, contena ms de 60 000 nombres. Se cuenta que Venn posea, entre otras, una rara habilidad para construir mquinas. En cierta ocasin construy una para lanzar bolas de cricket. En 1909, la seleccin de cricket de Australia visit Cambridge y la mquina de Venn fue puesta a prueba contra uno de los bateadores estrella del equipo australiano. La mquina result ser formidable hasta el punto de eliminar limpiamente al bateador australiano cuatro veces.
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. Ortografa matemtica: El smbolo del conjunto vaco Observe con atencin el smbolo del conjunto vaco:
Correcto
Note que tiene la forma de una pequea elipse cruzada por una barra diagonal sin adornos. No debe confundirse con el smbolo
1.
El concepto de conjunto
13
Incorrecto
el cual es en realidad la letra griega fi mayscula. Por supuesto, tampoco debe confundirse con ninguno de los dos smbolos
Incorrectos
que son dos variantes de la letra griega fi minscula. Mucho menos con
Incorrectos
que es la letra griega psi en sus versiones minscula y mayscula, respectivamente. Por ltimo, aunque no ocurre con frecuencia, algunos creen que el smbolo del conjunto vaco es
Incorrecto
14
Conjuntos
2. Inclusin
2.1. Inclusin
Definicin Se dice que
es subconjunto de , y se escribe
si cada elemento de
es elemento de . El smbolo
significa que
no es subconjunto de .
es subconjunto de
La relacin entre conjuntos simbolizada por se llama la relacin de inclusin (o de contenencia). El smbolo se denomina el smbolo de inclusin (o de contenencia). En lugar de la expresin es subconjunto de se usan tambin las siguientes: est incluido en est contenido en
16
Conjuntos
Podemos expresar la definicin de la relacin de inclusin y su negacin mediante el lenguaje simbolizado de la lgica:
Los dos enunciados cuantificados involucrados son traducciones literales de las respectivas definiciones originales en lenguaje natural. En ocasiones resulta ms apropiado expresar estas mismas traducciones en forma menos literal:
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
17
Ejemplo
Sean
Entonces
es elemento de :
En cambio, pero .
Cuidado!
Algunos autores prefieren usar el smbolo en lugar de para representar la relacin de inclusin. En el presente documento usaremos el smbolo para representar otro concepto (la inclusin propia) que estudiaremos un poco ms adelante. Mi preferencia por el smbolo para la inclusin se basa en que, en un contexto apropiado, tanto como son smbolos que representan relaciones de orden dbil y, por su parte, tanto como son smbolos que representan las respectivas relaciones de orden fuerte. Me gusta la analoga tanto en el significado como en la forma de estos smbolos. Este desacuerdo en asuntos de notacin es un ejemplo de algo que desafortunadamente ocurre con alguna frecuencia en matemticas. No debera pasar algo as pero el hecho es que pasa y, en consecuencia, no nos queda otro camino que convivir con ello. Cuando usted consulte otras fuentes sobre el tema de los conjuntos deber tener la precaucin de indagar, en el momento oportuno, sobre las preferencias del autor en materia de conceptos, notaciones, etc.
18
Conjuntos
tal que
es elemento de .
Si
Demostracin Supongamos que
si y solo si
Demostracin (
) Supongamos . Entonces posee exactamente los mismos elementos que . En particular, cada elemento de es elemento de , esto es, . Por la misma razn, cada elemento de es elemento de , esto es, . Tenemos por consiguiente y . ( ) Supongamos y . Entonces cada elemento de es elemento de y cada elemento de es elemento de . Por tanto, posee exactamente los mismos elementos que , esto es, .
2. Inclusin
19
y El smbolo
significa que
no es subconjunto propio de .
Ejemplo
si y solo si
Demostracin (
posee
) Supongamos . Sea . Dado que el nico elemento que es entonces . Ahora bien, por hiptesis, . En consecuencia, . Esto prueba que . es elemento de . Pero
20
Conjuntos
Algunos resumen la implicacin de izquierda a derecha en el teorema anterior diciendo: Si en una relacin de pertenencia encerramos el elemento entre llaves, la relacin se convierte en inclusin.
Ejemplo
Como
entonces
Supongamos que nuestro tema de discusin es nmeros naturales. Como conjunto universal tomemos, precisamente, el conjunto de todos los nmeros naturales. (Generalmente, esto es lo que ocurre. Hay un conjunto que espontneamente todos coincidimos en tomar como el conjunto universal obvio.) Supongamos que mencionamos un conjunto, como por ejemplo,
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 como subconjunto del conjunto de todos los nmeros naturales.
Una de las ventajas de disponer de un conjunto universal de la discusin es simplificar la descripcin de muchos conjuntos. As, en el caso del Ejemplo anterior, si no hubisemos seleccionado un conjunto universal de la discusin entonces el conjunto tendra que describirse en forma ms explcita:
2. Inclusin
21
puesto que, de otro modo, no sabramos si la variable est representando nmeros naturales, o enteros, o racionales, o reales, o totales de alumnos reprobados en Matemticas Generales, etc. Es frecuente simbolizar el conjunto universal mediante la letra (algunos usan la letra griega ) y representarlo grficamente, en los diagramas de Venn, mediante una regin rectangular:
2.6. Ejercicios
Respuestas 1. Sea
Para cada una de las afirmaciones siguientes determine si es verdadera o falsa: a. e. i. m. q. 2. Sea b. f. j. n. c. g. k. o. d. h. l. p.
22
Conjuntos
h.
En particular, el conjunto unitario es un elemento de . Pero, al mismo tiempo, es tambin un subconjunto de puesto que ! El mismo conjunto 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 ocurre que es un elemento del conjunto unitario que, a su vez, es otro elemento de . (Esto es, es un elemento, de un elemento, del conjunto .) Y es, al mismo tiempo, un elemento del mismo !
3. Colecciones
3.1. Colecciones
Un conjunto se llama una coleccin si todos sus elementos son conjuntos. Letras como A ,B ,C, representarn colecciones.
Definicin
Ejemplo
El conjunto
Un momento. Usted logr confundirme. Entonces, cmo reconozco los elementos de una coleccin? Observemos nuevamente la coleccin
Los elementos de A se reconocen porque son los que estn separados por las comas ms externas. Volvamos a observar la coleccin A, esta vez un poco ms grande:
24
Conjuntos
Las dos comas en color rojo son las ms externas. Ellas estn separando los tres elementos de A :
Los nmeros 1, 2 y 3 no son, en este caso, elementos de A. Lo nico que podemos decir es que ellos son elementos de elementos! de A.
Tengo otra inquietud: Pienso que la coleccin es lo mismo que la coleccin porque el conjunto vaco es vaco, o sea que donde est el conjunto vaco es como si no hubiera nada. Estoy mal? Ests mal. No debes olvidar que el conjunto vaco no es lo mismo que nada. En realidad es algo que, por definicin, no posee elementos. Aqu de nuevo puede ser til la analoga de pensar en los conjuntos como cajas que contienen sus propios elementos. As, pensamos en la coleccin como en una caja que contiene tres cajas, una de las cuales est vaca. En cambio, pensamos en la coleccin como en una caja que contiene dos cajas ninguna de las cuales est vaca. En la caja hay algo (la caja vaca!) que no est en la caja . Por eso las dos colecciones son diferentes:
Ejemplo
El conjunto
El conjunto
3. Colecciones
25
es una coleccin muy particular. En primer lugar, se trata de una coleccin unitaria puesto que posee un nico elemento, a saber el conjunto :
Por consiguiente,
Me est costando entender este asunto. Yo hubiera jurado que es lo mismo que . . . Es porque sigues pensando en el conjunto vaco como en nada. Una vez ms la analoga de conjuntos con cajas te puede ayudar. Piensa en como en una caja que solo contiene en su interior otra caja y esta ltima est vaca. Entonces no es una caja vaca puesto que tiene algo adentro: una caja vaca!
Ejemplo
Conjuntos como
no son colecciones dado que contienen elementos que no son conjuntos como, por ejemplo, en el conjunto y en el conjunto .
26
Conjuntos
4. Conjuntos de partes
4.1. Conjuntos de partes
Definicin Se define el conjunto de partes de , notado
como la coleccin de todos los subconjuntos de . Tambin se llama el conjunto potencia de y se nota
El nombre conjunto potencia y el smbolo pueden parecer extraos para el concepto en cuestin. Pronto veremos que hay algo de razonable en ellos. Una definicin por comprensin del conjunto de partes de es:
Ejemplo
Sea donde los elementos , y son todos distintos entre s. Vamos a calcular el conjunto . [El trmino calcular significa aqu encontrar todos los elementos de y, si es posible, definir a por extensin.] Se trata entonces de hacer un listado completo de todos los elementos del conjunto o, en forma equivalente, de todos los subconjuntos del conjunto . Con el fin realizar esta tarea en una forma ordenada, comenzaremos por los subconjuntos ms sencillos e iremos avanzando hacia los ms complejos. Concretamente, como criterio de ordenamiento, tomaremos el tamao (el nmero de elementos) de los subconjuntos: iremos desde los ms pequeos hacia los ms grandes: El conjunto vaco. El conjunto es un subconjunto de conjunto vaco es subconjunto de todos los conjuntos.) . (Ya sabemos que el
28
Conjuntos
Subconjuntos de dos elementos (es decir, parejas de elementos distintos). Tambin encontramos exactamente tres:
Subconjuntos de tres elementos (es decir, ternas de tres elementos distintos). Hay exactamente uno:
Es obvio que no hay subconjuntos de cuatro elementos, ni de cinco, etc., de modo que hemos hecho una lista completa de todos los subconjuntos de . En consecuencia ya podemos definir por extensin el conjunto de partes de :
Esta coleccin posee exactamente elementos o, en forma equivalente, Es posible demostrar la siguiente afirmacin de carcter general: Si posee elementos entonces posee elementos
elementos.
Este puede ser el origen del nombre alternativo conjunto potencia para el conjunto de partes de y del smbolo para representarlo. Note que, por propiedades bsicas de la inclusin, y tambin . Esto significa que para todo conjunto , se tiene que y tambin . Dicho de otro modo, en cada conjunto de partes siempre tendremos dos elementos notables: el conjunto vaco y el conjunto original, los cuales, de paso, son, respectivamente, los subconjuntos ms pequeo y ms grande de .
4.2. Ejercicios
Respuestas 1. Sea
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 conjunto . c. Es cierto que , esto es el conjunto de partes, del conjunto de partes, del ? ?
4. Conjuntos de partes
29
d. Es cierto que
30
Conjuntos
5. Unin
Una prctica rutinaria en matemticas es, una vez definida una totalidad de objetos matemticos, definir operaciones con ellos. Por ejemplo, una operacin binaria en una totalidad de objetos matemticos es una regla o correspondencia o asociacin que a cada par de objetos y de la totalidad le hace corresponder un nico tercer objeto de la misma totalidad. As, por ejemplo, en la totalidad de los nmeros naturales, la operacin suma, representada por el smbolo , es una operacin binaria puesto que ella hace corresponder a cada par de nmeros naturales y un nico nmero natural denominado la suma de y . Las operaciones binarias se llaman as porque en cada caso son dos objetos los que se operan para obtener el tercero. De manera similar se describen las operaciones ternarias, cuaternarias y, en general, arias. Un caso especial son las operaciones unarias, las cuales solo operan sobre un objeto para obtener un nico segundo objeto. Las operaciones entre objetos matemticos son de gran importancia. Cuando comenzamos a estudiar una totalidad de objetos matemticos, rpidamente notamos la conveniencia de poder manipular, de diversas formas, grupos de ellos para obtener otros. Las operaciones ponen tales formas de manipulacin en un contexto preciso, mediante definiciones y simbologas apropiadas. De este modo, podemos explorar confiable y seguramente muchas propiedades de dichos objetos. En relacin con los conjuntos, discutiremos, en este y en los siguientes captulos, seis operaciones bsicas, cinco de las cuales son binarias (unin, interseccin, diferencia, diferencia simtrica y producto cartesiano) y solo una es unaria (complementacin).
5.1. Unin
Se define la unin de y como el conjunto de todos aquellos elementos que pertenecen a al menos uno de los dos conjuntos y . Se nota
Definicin
32
Conjuntos
cualquiera, la equivalencia
y :
Vamos calcular grficamente . Primero, coloreamos la regin que representa al conjunto . (En la figura siguiente he utilizado una tonalidad en amarillo para tal efecto.)
5. Unin
33
. De este modo, el
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
34
Conjuntos
Ejemplo
Sean
El clculo de es un procedimiento muy sencillo: Abrir un par de llaves, dentro de estas llaves escribir todos los elementos de separados por comas, a continuacin escribir todos los elementos de tambin separados por comas y, por ltimo, simplificar las repeticiones que se presenten de elementos en el conjunto resultante:
Entonces
La operacin unin tiene varias propiedades bsicas muy importantes que discutiremos mediante los teoremas siguientes.
Como mtodo de demostracin usaremos la caracterizacin de la igualdad en trminos de la inclusin. Esta caracterizacin se puede resumir como dos conjuntos son iguales si y solo si cada uno de ellos es subconjunto del otro. En consecuencia, probaremos las dos inclusiones
Demostracin
con lo cual quedar probada la igualdad . Para probar la inclusin aplicaremos la definicin de inclusin. Tomaremos, por tanto, un elemento arbitrario en el conjunto y probaremos que dicho elemento est en el conjunto .
5. Unin
35
Sea
Antes de proceder a demostrar formalmente este teorema, haremos una demostracin grfica del mismo. En el diagrama siguiente tenemos tres conjuntos , y :
36
Conjuntos
Enseguida agregamos el coloreado de la regin que representa a obtenemos coloreada la totalidad de la regin que representa a
. De este modo, :
Ahora, regresamos al diagrama original y reiniciamos el proceso de coloreado, comenzando esta vez con la regin que representa a :
5. Unin
37
Enseguida agregamos el coloreado de la regin que representa a entonces, coloreada en su totalidad, la regin que representa a
. Obtenemos :
Ambas regiones, la que representa a son exactamente la misma. Veamos ahora la demostracin del teorema.
y la que representa a
38
Conjuntos
la inclusin, de modo que procederemos, como en la demostracin del teorema anterior, a probar las dos inclusiones
Sea
De este modo, hasta aqu hemos demostrado la inclusin . La segunda inclusin, se demuestra en forma similar.
Seamos claros: Me gust ms la demostracin con diagramas de Venn. Esa otra demostracin me pareci enredada. No puedo hacer siempre las demostraciones con dibujitos? Pongmonos de acuerdo. La demostracin con diagramas de Venn no es realmente una demostracin por dos motivos. Primero, porque ese no es el formato adoptado por la comunidad de matemticos para las demostraciones matemticas. Tal formato consiste en una cadena de afirmaciones verdaderas cada una de las cuales resulta de aplicar una definicin o una regla de inferencia o un teorema ya demostrado, etc., de tal manera que la ltima afirmacin de la cadena es, precisamente, aquella que se pretende demostrar. Por el momento, este es el nico formato aceptado y es al que tendrs que acostumbrarte si deseas comunicarte con otros matemticos. Segundo, porque la demostracin, por diagramas de Venn, de la ley a
5. Unin
39
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
En consecuencia, este tipo de enunciados no pueden ser demostrados mediante casos particulares. Y, si observas con cuidado, notars que el diagrama de Venn con el que se inicia la demostracin corresponde precisamente a un caso particular puesto que solo se refiere a los tres conjuntos particulares dibujados. Existen infinitas ternas de conjuntos que no son consideradas en la demostracin.
A ver si entend bien. Me queda claro lo de los diagramas. Pero est usted diciendo que para demostrar una identidad como, por ejemplo, , no puedo reemplazar y por dos conjunticos como, por ejemplo, y , calcular = y = , verificar que y ya? Porque yo estaba convencidsimo de que as estaba bien. No puedes. Si eso se pudiera hacer, las matemticas seran muy distintas de como son en realidad. Por ejemplo, la identidad
sera verdadera puesto que reemplazando y obtendras que . Pero sabemos que dicha identidad es falsa porque existen contraejemplos. Por ejemplo, si reemplazas y obtienes . De modo que no te queda otra alternativa. Si quieres demostrar una afirmacin cuantificada universalmente, no puedes hacerlo mediante un caso particular. Tienes que elaborar tu demostracin en forma completamente general.
Demostracin La igualdad
40
Conjuntos
no posee elementos,
Ahora sea
5. Unin
41
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,
Teorema (Ley de idempotencia de la unin)
Demostracin Sea
42
Conjuntos
Luego,
Ahora, sea
Por tanto,
Si
Demostracin Supongamos
entonces
Sea
5. Unin
43
, la implicacin
tambin es verdadera por ser una tautologa. Luego, por dilema constructivo,
Ahora, sea
En consecuencia,
44
Conjuntos
Teorema
Si
Demostracin Supongamos
entonces
Sea
Teorema
Demostracin Sea
5. Unin
45
es elemento de
. En otras palabras,
Teorema
Demostracin Sea
entonces
es verdadera.
46
Conjuntos
De este modo, hemos demostrado que todo elemento de de . En otras palabras, hemos demostrado que
es elemento
, , , conjuntos. Se define la unin de los conjuntos , , , , como el conjunto de todos aquellos elementos que pertenecen a al menos uno de los conjuntos , , , , . Hay dos smbolos para representar esta unin. Uno que llamaremos expandido:
Ambos smbolos se utilizan dependiendo de las circunstancias. Si se desea abreviar las notaciones, naturalmente el smbolo compacto resulta apropiado. Pero, en ocasiones, el smbolo compacto esconde aspectos que queremos apreciar explcitamente. En tal caso, el smbolo expandido se adapta mejor a este ltimo propsito. El tipo de unin descrita en la Definicin anterior se llama generalizada. Evidentemente, se trata de una generalizacin de la unin binaria ya que se reduce a esta ltima cuando . Tambin, hay dos maneras de definir la unin generalizada por comprensin. Una en que se usa el conectivo generalizado de la disyuncin inclusiva:
5. Unin
47
48
Conjuntos
Ejemplo
Sean
Entonces
Ejemplo
Sean
Entonces
5. Unin
49
5.5. Ejercicios
Respuestas 1. Sean
Calcule
2. Demuestre las siguientes afirmaciones: a. b. Si c. Si d. Si e. Si f. g. y si y slo si entonces entonces entonces entonces si y solo si y
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
50
Conjuntos
6. Interseccin
6.1. Interseccin
Definicin Se define la interseccin de y como el conjunto de todos aquellos elementos que pertenecen simultneamente a ambos conjuntos y . Se nota
cualquiera, la equivalencia
son tambin ambas verdaderas. Consideremos ahora el siguiente diagrama de Venn en el que se muestran dos conjuntos y :
52
Conjuntos
Ahora coloreamos la regin que representa a . (La idea aqu es colorear esta segunda regin usando un color distinto del anterior).
6. Interseccin
53
Aquella regin en donde se superponen ambos colores (coloreada en un tono de amarillo en el diagrama anterior) es, precisamente, la regin que representa a . As, el diagrama de Venn para es entonces
Note que tiene la forma de una herradura, abierta hacia abajo, sin adornos. No se trata de la letra n minscula:
Incorrecto
n
:
Ejemplo
Sean
Seleccionar el conjunto ms pequeo. En este caso es . Abrir un par de llaves. Recorrer uno por uno los elementos de y verificar, para cada uno de ellos, si pertenece o no a . Escribir dentro de las llaves, separados por comas, aquellos elementos que, en el paso anterior, pertenezcan a .
54
Conjuntos
El procedimiento termina cuando termine el recorrido por los elementos de . Simplificar, si es necesario, las repeticiones en el conjunto resultante. El conjunto simplificado es . Aplicando este procedimiento a los dos conjuntos dados, obtenemos
Veamos una prueba grfica del teorema anterior. En el diagrama siguiente observamos tres conjuntos , y :
6. Interseccin
55
56
Conjuntos
6. Interseccin
57
Ambas regiones, la que representa a son exactamente la misma. Teorema (Ley modulativa de la interseccin)
y la que representa a
Demostracin La igualdad
se cumple por la ley conmutativa de la interseccin. Luego, ser suficiente demostrar que . Sea
Ahora, sea
entonces
58
Conjuntos
La igualdad se tiene por la ley conmutativa de la interseccin. Luego ser suficiente demostrar que . Sea
Demostracin
La segunda inclusin,
es una consecuencia inmediata del hecho de que el conjunto vaco es subconjunto de todo conjunto. Por consiguiente, hemos demostrado
6. Interseccin
59
unin.
Haremos primero una demostracin grfica de este teorema. En el diagrama siguiente tenemos tres conjuntos , y :
60
Conjuntos
A continuacin agregamos el coloreado de la regin que representa a modo obtenemos el coloreado de la regin que representa a :
. De este
Ahora, vamos a colorear la regin que representa a comenzamos coloreando la regin que representa a
. Para ello, :
6. Interseccin
61
Coloreamos tambin (por separado y con otro color) la regin que representa a
Finalmente coloreamos simultneamente las dos ltimas regiones. La regin en la que se superponen los dos colores (coloreada en amarillo en el siguiente diagrama), es entonces la que representa a :
62
Conjuntos
Esta es exactamente la misma regin que representa a Pasemos ahora a la demostracin del teorema en consideracin.
Demostracin Sea
y, a continuacin, la de interseccin,
6. Interseccin
63
con lo cual queda probada la identidad Teorema (Ley distributiva de la interseccin con respecto a la unin)
Debido a los dos ltimos teoremas, se dice que las operaciones de unin e interseccin son mutuamente distributivas.
Ambos smbolos se utilizan dependiendo de las circunstancias. Si se desea abreviar las notaciones, naturalmente el smbolo compacto es el ms apropiado. Pero, en ocasiones, el smbolo compacto esconde aspectos que queremos apreciar explcitamente. En tal caso, el smbolo expandido es preferible. El tipo de interseccin descrita en la definicin anterior se llama generalizada. Evidentemente, se trata de una generalizacin de la interseccin binaria ya que se reduce a esta ltima cuando . Tambin, hay dos maneras de definir la interseccin generalizada por comprensin. Una en que se usa el conectivo generalizado de la conjuncin:
64
Conjuntos
y en el siguiente tenemos coloreada en amarillo la regin que representa la interseccin generalizada respectiva:
6. Interseccin
65
Ejemplo
Sean
Entonces
66
Conjuntos
Ejemplo
Sean
Entonces
6.5. Ejercicios
Respuestas 1. Sean
calculando ambos lados de la igualdad por separado y verificando que en efecto son iguales.
6. Interseccin
67
2. Sean
Calcule
3. Sean
en donde se supone que los objetos Compruebe que en este caso se tiene a. 4. Demuestre las siguientes afirmaciones: a. b. c. d. Si e. Si f. Si g. Si h. Si
i.
y b.
5. Demuestre, mediante un contraejemplo, que la siguiente afirmacin es falsa: Si 6. Demuestre que si , , y entonces son conjuntos cualesquiera entonces
68
Conjuntos
7. Demuestre las siguientes generalizaciones de las leyes distributivas de la unin con respecto a la interseccin y de la interseccin con respecto a la unin: a.
b.
7. Diferencia
7.1. Diferencia
Definicin Se define la diferencia entre y como el conjunto de todos aquellos elementos que pertenecen a pero no pertenecen a . Se nota por cualquiera de los tres smbolos Entonces, por comprensin,
cualquiera, la equivalencia
70
Conjuntos
En el siguiente diagrama se ha coloreado en color amarillo la regin que representa la diferencia entre y :
La curva segmentada indica que los puntos sobre ella no forman parte de la diferencia entre y (puesto que pertenecen a ). As, el diagrama de Venn de dicha diferencia es
Ejemplo
Sean
Abrir un par de llaves. Recorrer uno por uno los elementos de y verificar, para cada uno de ellos, si pertenece o no a . Escribir dentro de las llaves, separados por comas, aquellos elementos que, en el paso anterior, no pertenezcan a . El procedimiento termina cuando termine el recorrido por los elementos de . Simplificar, si es necesario, las repeticiones en el conjunto resultante.
7. Diferencia
71
. dados, obtenemos
En comparacin con las operaciones unin e interseccin, la operacin diferencia no tiene, a primera vista, propiedades interesantes. Ella es el patito feo de las operaciones con conjuntos. (Lo cual no quiere decir que no sea una operacin importante para ciertos propsitos como, por ejemplo, su intervencin en la definicin de otras operaciones que s tienen propiedades interesantes.) Veamos: La diferencia no satisface la ley conmutativa. Esto significa que la identidad
72
Conjuntos
Vemos claramente que dichas dos regiones son distintas. Ahora, para demostrar con ms formalidad la afirmacin de que la operacin diferencia no satisface la ley conmutativa, bastar un contraejemplo. Sean
Entonces
As,
es falsa. Consideremos, por ejemplo, los tres conjuntos , siguiente: y representados en el diagrama
7. Diferencia
73
Ahora, retomamos el diagrama original y comenzamos por colorear la regin que representa a :
74
Conjuntos
Las regiones que representan a ya son distintas. Con esto concluimos una demostracin grfica de que la identidad es falsa, de modo que ciertamente la operacin diferencia no satisface la ley asociativa. Por otra parte, como una demostracin formal de la afirmacin anterior, aqu tambin ser suficiente exhibir un contraejemplo. Tomemos
7. Diferencia
75
Entonces
Tenemos as que, en este caso particular, operacin diferencia no satisface la ley asociativa.
. Por tanto, la
La diferencia no satisface la ley modulativa. En otras palabras, no existe un conjunto tal que
para todo conjunto . En efecto, supongamos que tal y (2) deben cumplirse para todo conjunto . En particular, (1) debe cumplirse para precisamente. Esto es lo cual dice que necesariamente . Pero entonces la identidad (2) se convierte en existe. Entonces las dos identidades (1)
y debe cumplirse tambin para todo conjunto ejemplo, para : Pero esto dice que
lo cual es un absurdo. Hemos demostrado que la suposicin de que existe conduce lgicamente a un absurdo. Por tanto, es imposible que exista y as queda demostrado que la operacin diferencia no satisface la ley modulativa.
76
Conjuntos
La diferencia no satisface la ley de absorcin. Es decir que no existe un conjunto tal que
para todo conjunto . Puede probarse esta afirmacin mediante un razonamiento completamente similar al que acabamos de hacer para el caso de la ley modulativa. La diferencia no satisface la ley de idempotencia. Esto es, la identidad
7.2. Ejercicios
Respuestas 1. Sean
Calcule
Para este caso particular, cul de las cuatro afirmaciones siguientes es verdadera?: a. c. b. d.
7. Diferencia
77
2. Sean
Calcule
Este ejercicio es muy fcil pero tenga cuidado! No se acelere y asegrese de escribir bien y en orden todo lo que debe escribir. Si no saba escribir llaves, aqu va a aprender. 3. Demuestre las siguientes identidades: a. c. e. f. g. 4. Compruebe la validez del argumento b. d.
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.
78
Conjuntos
7. Considere la identidad
Si es verdadera, demustrela. Si es falsa, exhiba un contraejemplo. 8. Demuestre las siguientes afirmaciones: a. b. Si c. Si d. Si e. Si f. Si g. Si h. Si entonces entonces entonces entonces y entonces entonces entonces
i.
8. Diferencia simtrica
8.1. Diferencia simtrica
Definicin Se define la diferencia simtrica entre y como el conjunto de todos aquellos elementos que pertenecen a alguno de los dos conjuntos y pero no pertenecen al otro. Se nota por el smbolo
cualquiera, la equivalencia
80
Conjuntos
8. Diferencia simtrica
81
Ejemplo
Sean
Abrir un par de llaves. Recorrer uno por uno los elementos de y verificar, para cada uno de ellos, si pertenece o no a . Escribir dentro de las llaves, separados por comas, aquellos elementos que, en el paso anterior, no pertenezcan a . Recorrer uno por uno los elementos de y verificar, para cada uno de ellos, si pertenece o no a . Continuar escribiendo dentro de las llaves, separados por comas, aquellos elementos que, en el paso anterior, no pertenezcan a . El procedimiento termina cuando termine el recorrido por los elementos de los dos conjuntos y . Simplificar, si es necesario, las repeticiones en el conjunto resultante. El conjunto simplificado es . Obtenemos
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,
82
Conjuntos
Incorrecto
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
83
Teorema
Demostracin Sea
tambin es verdadera. En consecuencia, El teorema siguiente justifica el nombre diferencia simtrica: Teorema
Demostracin Sea
84
Conjuntos
Por consiguiente,
Los siguientes teoremas muestran que la diferencia simtrica satisface por lo menos tres de las propiedades bsicas que satisfacen la unin y la interseccin.
Teorema (Ley conmutativa de la diferencia simtrica)
Demostracin
conjuncin
Demostracin
conjuncin
Resulta ilustrativo efectuar una demostracin grfica de esta ley. En el siguiente diagrama tenemos tres conjuntos , y :
8. Diferencia simtrica
85
A continuacin, coloreamos la regin que representa a . Haremos esto en tres pasos. Primero coloreamos la regin que representa a , luego la que representa a y, finalmente, la que representa a :
86
Conjuntos
A continuacin, coloreamos la regin que representa a . Lo haremos en cuatro pasos. Primero, coloreamos la regin que representa a , luego la que representa a , luego la que representa a y, finalmente la que representa a :
8. Diferencia simtrica
87
88
Conjuntos
que es exactamente la misma regin que representa a Teorema (Ley modulativa de la diferencia simtrica)
es
8. Diferencia simtrica
89
Ahora, sea
es
Entonces, por definicin de diferencia simtrica, (1) Ahora bien, por la ley del tercio excluido,
90
Conjuntos
Vamos a probar ahora que es imposible que (1), por modus ponendo tollens,
. Supongamos
. Entonces, de
es decir, por definicin de diferencia, Pero, por definicin de conjunto universal, Luego, y, en consecuencia, .
que es una contradiccin. Esto significa que, en realidad, es imposible que consiguiente, en virtud del modus tollendo ponens,
. Por
Por consiguiente, hasta aqu hemos demostrado que si Esto es, hemos demostrado la inclusin entonces
. Supongamos que
8. Diferencia simtrica
91
con lo cual queda demostrada la identidad Teorema (Ley de nilpotencia de la diferencia simtrica)
Pero, dado el significado de las disyunciones exclusivas, esta es una contradiccin. Por consiguiente, es imposible que posea elementos.
8.3. Ejercicios
Respuestas 1. Sean
Calcule
2. Sean
92
Conjuntos
3. Sean
4. Sean
Calcule
5. Sean
Calcule
se cumple. Por otra parte, el estudiante Pantalen dice que la frmula no es cierta porque tomando los conjuntos
no se cumple. Quin tiene la razn? (Explique su respuesta.) 7. Supngase que definimos una nueva operacin entre conjuntos, que representaremos con el smbolo , mediante la frmula
8. Diferencia simtrica
93
(Nota. Esta operacin no existe en el mundo de las matemticas. Es un invento de nacho, solamente para este ejercicio.) Sean
Calcule
Qu puede concluir sobre la conmutatividad de la operacin 8. Suponga que usted desea saber si la identidad
es verdadera o falsa. Examine lo que ocurre si toma un ejemplo particular, digamos que toma
Qu obtiene? Puede concluir algo acerca de la verdad o falsedad de la identidad? En caso afirmativo, qu es lo que puede concluir? 9. Suponga que se define una nueva operacin frmula entre conjuntos mediante la
(Nota. La operacin tampoco existe en el mundo de las matemticas. Se trata de otro invento de nacho, solamente para este ejercicio.) Dados
calcule
94
Conjuntos
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
cualquiera, la equivalencia
son verdaderas. En el siguiente diagrama se muestran el conjunto universal y uno de sus subconjuntos
96
Conjuntos
10. Complementacin
97
Ejemplo
Sean
Abrir un par de llaves. Recorrer uno por uno los elementos de y verificar, para cada uno de ellos, si pertenece o no a . Escribir dentro de las llaves, separados por comas, aquellos elementos que, en el paso anterior, no pertenezcan a . El procedimiento termina cuando termine el recorrido por los elementos de . Simplificar, si es necesario, las repeticiones en el conjunto resultante. El conjunto simplificado es . Obtenemos
Ortografa matemtica: El smbolo de la complementacin Observe el smbolo que representa el complemento de :
Correcto
La barrita, con forma de una pequea cua inclinada, que aparece como exponente de la es llamada por algunos una prima. (La verdad es que no parece tener un nombre oficial.) Note que se trata de una cua inclinada y no de una coma:
Incorrecto
La coma, en forma de exponente, s tiene un nombre oficial: es un apstrofo. Ocurre que el apstrofo prcticamente no se utiliza en smbolos matemticos. En cambio, se usa en el lenguaje natural aunque solo para ciertos propsitos muy particulares como, por ejemplo, indicar por escrito la supresin, frecuente en el habla vulgar, de algunas slabas:
98
Conjuntos
apstrofo
apstrofe
Mientras que un apstrofo es una coma pequea escrita como si fuera un exponente, un apstrofe es una cierta figura retrica que, en su versin ms sencilla, se refiere al tipo de interrupcin que se hace en el discurso o narracin para hacer un llamado vehemente, en segunda persona, a alguien o a algo: El conjunto vaco ... Johncito, ponga atencin! ... no posee elementos
Me permito presentarle un ejemplo de apstrofe! Tambin se llaman apstrofes a ciertas expresiones que se usan a modo de insulto o provocacin.
Demostracin Sea
10. Complementacin
99
Ahora, sea
Por consiguiente,
Teorema
posea elementos,
100
Conjuntos
Demostracin Sea
Por definicin de complementacin, (1) La siguiente es una secuencia de afirmaciones lgicamente equivalentes que se sustenta en la definicin de complementacin, una de las leyes de De Morgan y la ley de la doble negacin:
Esto muestra que la proposicin es lgicamente equivalente a la proposicin . Sustituyendo la primera por la segunda en (1), resulta
10. Complementacin
101
posea elementos:
Teorema
Demostracin Sea
Supongamos
. Entonces, como
, se tiene
. En otras palabras,
Supongamos . Por definicin de la complementacin, se tiene En particular, por la ley de simplificacin, . Es decir,
102
Conjuntos
Ahora, sea
Supongamos
. Luego, tenemos
Supongamos . Entonces por ley de la conjuncin, , y por la ley de adicin, . Esto es,
, esto es
En conclusin, hemos demostrado Los dos teoremas siguientes se conocen como las leyes de De Morgan:
10. Complementacin
103
Teorema
Veamos primero una demostracin grfica de este teorema. Comenzamos con un par de subconjuntos y del conjunto universal:
104
Conjuntos
. Comenzamos con
y, enseguida,
10. Complementacin
105
Esta es exactamente la misma regin que representa a Pasemos ahora a la demostracin formal del teorema.
106
Conjuntos
Demostracin Sea
10. Complementacin
107
9.3. Ejercicios
Respuestas 1. Sean el conjunto universal y , y los subconjuntos de definidos como
Calcule
2. Sean
3. Sean
Calcule
4. Sean
calculando el lado izquierdo de la igualdad y verificando que en efecto es igual a . 5. El granjero Joaqun posee los siguientes animales: Araminta (una vaca), Procopio (un perro), Yisleivis (una gallina), Eleuterio (un conejo) y Filiberto (un caballo). Un vecino de Joaqun, llamado Euler, sabe de matemticas y le encanta molestar a Joaqun plantendole problemas. Euler le dice a Joaqun: Llamemos al conjunto
108
Conjuntos
de tus animales que son cuadrpedos, al conjunto de tus animales que ponen huevos, al conjunto de tus animales que no tienen plumas y al conjunto de tus animales que poseen escamas y cada diciembre emigran volando hacia el polo norte. A que no puedes demostrar que ninguno de los animales del conjunto
posee dientes. Para sorpresa de Euler, Joaqun hizo la demostracin correctamente. Comenz representando cada uno de sus animales por la inicial del respectivo nombre en minscula. Por ejemplo, represent a Araminta por . Suponga que usted es Joaqun y resuelva el problema. (Sea claro y ordenado en sus clculos y no utilice diagramas de Venn.) 6. Demuestre la siguientes generalizaciones de las leyes de De Morgan:
7. Suponga que definimos una nueva operacin entre conjuntos, que llamaremos unin externa, la cual representaremos con el smbolo y estar definida mediante la frmula
donde es la unin usual y es el complemento usual de con respecto al universo . (Nota. La operacin no existe en el mundo de las matemticas. Se trata de un invento ms de nacho, solo para este ejercicio.) Suponga ahora que definimos una operacin ms entre conjuntos, que llamaremos unin externa simtrica, la cual representaremos con el smbolo y estar definida mediante la frmula
donde es la unin externa que acabamos de definir e es la interseccin usual. (Nota. La operacin tampoco existe en el mundo de las matemticas. Se trata de un invento del inventor nacho, solo para este ejercicio.) De las seis opciones siguientes determine cules son verdaderas y cules son falsas: a. d. b. e. c. f.
10.1.
Parejas ordenadas
Definicin Una pareja ordenada (o un par ordenado) es una lista ordenada de objetos no necesariamente distintos. El objeto es la primera componente o primera coordenada de la pareja ordenada. El objeto es la segunda componente o segunda coordenada de la pareja ordenada. El smbolo
y cuya segunda
Ejemplo
La pareja ordenada
es una pareja ordenada de nmeros naturales. Su primera componente es el nmero y su segunda componente es el nmero .
Ejemplo
La pareja ordenada
110
Conjuntos
es una pareja ordenada de mascotas. Su primera componente es el gato Motas y su segunda componente es el perro Kaiser.
Ortografa matemtica: La notacin de pareja ordenada En la notacin de pareja ordenada los parntesis deben ser redondos o angulares:
Correctos
si y solo si y . Es decir que dos parejas ordenadas son iguales si y solo si sus primeras componentes son iguales entre s y sus segundas componentes tambin son iguales entre s. Entonces, de acuerdo con esta definicin, se tiene que o .
Ejemplo
si y solo si si
Se tiene que
porque
111
Ejemplo
Ocurre que
porque
.
Parejas ordenadas y parejas no ordenadas
Observe que la diferencia conceptual entre la pareja y la pareja ordenada tiene que ver esencialmente con el orden entre sus elementos. En efecto, tenemos que
puesto que el orden en que se escriban los elementos de un conjunto es irrelevante. En cambio, la igualdad
. En efecto, cuando
, se tiene
10.2.
Producto cartesiano
Definicin Se define el producto cartesiano de y como el conjunto de todas las parejas ordenadas cuya primera componente est en y cuya segunda componente est en . Se nota
Esto significa que las dos implicaciones siguientes son vlidas: si si entonces entonces
112
Conjuntos
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
De acuerdo con la definicin de producto cartesiano, para calcular tenemos que encontrar todas las parejas ordenadas cuya primera componente est en y cuya segunda componente est en . Conviene hacer esto en forma ordenada. As, por ejemplo, podemos comenzar con las parejas ordenadas cuya primera componente es . Dado que posee exactamente dos elementos, es claro que solamente podemos obtener dos parejas ordenadas cuya primera componente es . Escribimos entonces los dos primeros elementos del conjunto :
Continuamos con las parejas ordenadas cuya primera componente es . De nuevo, solamente hay dos parejas ordenadas cuya primera componente es . Las agregamos a las dos anteriores y, de este modo, completamos los primeros cuatro elementos de :
Finalmente, hay otras dos parejas ordenadas, a saber, aquellas cuya primera componente es . Las agregamos a las que ya tenamos en el conjunto :
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
113
agotado los elementos de que actan como segunda componente. En consecuencia, hemos definido por extensin la totalidad del conjunto .
Observe que en el ejemplo anterior el conjunto posee elementos, el conjunto posee elementos y el conjunto posee elementos (comprubelo: cuente el nmero total de parejas ordenadas que obtuvimos en !). Note ahora que . Todo esto no es ms que un caso particular del hecho siguiente: Si posee elementos y elementos posee elementos entonces posee
Ejemplo
De nuevo tomemos
y calculemos esta vez el producto cartesiano . Ahora las primeras componentes deben estar en y las segundas en . Obtenemos entonces
Notamos que posee tambin, como era de esperarse, elementos, esto es, elementos. Pero es un conjunto muy diferente de ! (De hecho, en este caso particular, ni siquiera tienen elementos en comn.) En otras palabras, la operacin binaria producto cartesiano no satisface la ley conmutativa. El producto cartesiano es una operacin muy particular. A pesar de su indiscutible importancia en matemticas, ella, a diferencia de la mayora de las otras operaciones que hemos estudiado hasta el momento, no exhibe propiedades como las leyes asociativa, conmutativa y modulativa. No obstante, exhibe algunas propiedades de otro tipo como, por ejemplo, la: Teorema (Ley distributiva del producto cartesiano con respecto a la unin)
Demostracin Sea
114
Conjuntos
10.3.
tuplas ordenadas
Definicin Una tupla ordenada es una lista ordenada de objetos no necesariamente distintos entre s. Se nota por cualquiera de los dos smbolos
El objeto es la primera componente o primera coordenada de la tupla ordenada, el objeto es la segunda componente o segunda coordenada de la tupla ordenada, y as as sucesivamente hasta el objeto que es la sima componente o sima coordenada de la tupla ordenada. Las tuplas ordenadas se llaman tambin duplas ordenadas y no son otra cosa sino las parejas ordenadas discutidas anteriormente. Las tuplas ordenadas se llaman tambin ternas ordenadas o triplas ordenadas. Las tuplas ordenadas se llaman tambin cudruplas ordenadas. A continuacin tenemos las quntuplas ordenadas, las sxtuplas ordenadas y as sucesivamente.
115
Ejemplo
La terna ordenada
es una terna ordenada de nmeros reales. Su primera componente es el nmero real , su segunda componente es el nmero real y su tercera componente es el nmero real .
Ejemplo
La cudrupla ordenada
es una cudrupla ordenada de superhroes. Su primera componente es Superman, su segunda componente es Batman, su tercera componente es Spiderman y su cuarta componente es Ironman.
es igual a la
si y solo si
Es decir que la igualdad entre dos tuplas ordenadas es equivalente a las igualdades simultneas entre las componentes respectivas de las tuplas ordenadas. Entonces, de acuerdo con esta definicin, se tiene que
si y solo si
116
Conjuntos
Ortografa matemtica: La notacin de tupla ordenada En la notacin de tupla ordenada los parntesis deben ser redondos o angulares:
Correcto Correcto
Incorrecto
Incorrecto
10.4.
Definicin Se define el producto cartesiano de los conjuntos como el conjunto de todas las tuplas ordenadas cuya sima componente est en para todo . Se nota, en forma expandida, por el smbolo
o, abreviadamente,
117
Ejemplo
Sean
Entonces
Ortografa matemtica: el smbolo del producto cartesiano generalizado El smbolo del producto cartesiano generalizado es la letra griega pi mayscula:
Correcto
Note que este smbolo es grande y sus trazos son rectos. No debe confundirse con la versin minscula de la misma letra,
Incorrecto
Ejemplo
Sean
Entonces
118
Conjuntos
(Colore las diferentes cudruplas resultantes, en total cuatro, para distinguirlas con mayor claridad.)
que es, por definicin, el conjunto de todas las tuplas ordenadas cuya nica componente est en . Aqu es costumbre identificar cada tupla ordenada con su nica componente. Esto es, se adopta la convencin de que la tupla ordenada es en realidad el mismo objeto . De esta manera resulta que
10.5.
1. Sea
Ejercicios
Respuestas
Calcule
2. Sean
3. Dados
calcule
119
4. Dados
Calcule
5. Sean
(Asegrese de que sus clculos son correctos.) De acuerdo con los resultados que obtuvo en este caso particular, se puede concluir que la identidad
es verdadera o es falsa en general? Explique su respuesta. 6. Demuestre las siguientes identidades: a. b. c. d. e. f. 7. Demuestre las siguientes afirmaciones: a. Si b. Si y entonces entonces o
120
Conjuntos
Seccin 2.6
1. a. Verdadera d. Falsa g. Verdadera j. Verdadera m. Verdadera p. Falsa 2. a. Verdadera d. Verdadera
122
Conjuntos
g. Verdadera
h. Falsa Regresar
Seccin 4.2
1. a. tiene exactamente los siguientes elementos:
b. 16
c. S
d. No Regresar
Seccin 5.5
1.
Seccin 6.5
2.
Regresar
123
Seccin 7.2
1. b 2. tiene exactamente 16 elementos que son:
Regresar
Seccin 8.3
1. 4. 6. Pantalen 7. 8. Se obtiene , , la operacin no es conmutativa 2. 3. 5.
Regresar
S se puede concluir algo acerca de la verdad o falsedad de la identidad: Se puede concluir que es falsa. 9.
Seccin 9.3
1. 2. No es cierta 3.
Regresar
124
Conjuntos
Seccin 10.5
1.
Regresar
2.
3. 4. 5. No se puede concluir nada en general acerca de la verdad o falsedad de la identidad. Solo se puede decir que ella es verdadera en este caso particular.