CONJUNTOS

Prof. Alberto Escande

Conjunto es una palabra familiar, que conocemos de cursos anteriores. Una constelacin es un conjunto de estrellas; una circunferencia es un conjunto de puntos que verifican equidistar de otro punto llamado centro; el abecedario es el conjunto de todas las letras. Sin embargo, si queremos contestar a la pregunta: Qu es un conjunto? Responderamos: una coleccin de objetos? Una agrupacin? Tendramos a su vez que conocer la definicin de los conceptos coleccin, agrupacin, y otros similares, y entraramos en un crculo vicioso. Si afirmamos que toda reunin de objetos es un conjunto, el concepto participa circularmente de su propia definicin. En matemtica eludimos estos problemas, eligiendo algunos conceptos que llamamos conceptos primitivos, aceptndolos sin definicin. Los elegimos como punto de partida, suponiendo que todos tenemos una nocin intuitiva de lo que quieren decir. Entonces, a los efectos del desarrollo de este tema, vamos a partir de los siguientes conceptos primitivos: CONJUNTOELEMENTOPERTENECEPromediando la mitad del siglo XIX, el matemtico alemn Georg Cantor creaba la primera teora de conjuntos. Hasta fines de ese siglo nadie se haba preocupado por una definicin rigurosa de conjunto, hasta que en 1895 Cantor expresa: Un conjunto es la agrupacin en un todo, de objetos definidos y distintos de nuestra intuicin o de nuestro pensamiento. Esta definicin no clarifica el concepto de conjunto. Al hablar de objetos definidos Cantor quera expresar la idea de que dado un conjunto siempre es posible, ante un objeto cualquiera, decidir si dicho objeto pertenece o no al conjunto. Al exigir que estos elementos fuesen distintos Cantor quera significar que todos los elementos del mismo conjunto deban ser diferentes; es decir, un conjunto no deba tener elementos repetidos. Cantor nunca lleg a utilizar esta definicin. l mismo hizo una fuerte crtica a su teora en 1897 y 1899. En 1901 Bertrand Russell1 descubri la Paradoja de Russell, que agudiz algunos problemas de la teora de conjuntos y provoc una de las mayores crisis de la lgica. Qu dice la Paradoja de Russell? Es claro que un conjunto A de lpices no es un lpiz, y puesto que A contiene slo lpices, es inmediato que A no es elemento de A. Anlogamente, el conjunto N de los nmeros naturales no es un nmero natural. Dado que en N slo encontramos nmeros naturales, N no se pertenece a s mismo. Segn la definicin de Cantor, parecera acertado afirmar que si agrupamos todos los conjuntos que no son elementos de s mismos, como A y N, obtendramos un conjunto. Russell prob que no es cierto. Esto proviene de una definicin ingenua del concepto de conjunto. Dentro de esa ingenuidad con la que Cantor elabor y desarroll su teora, estaba planteada la llamada crisis de los fundamentos de la matemtica de comienzos del siglo XX.
Bertrand Russell: filsofo britnico nacido en el Pas de Gales, vivi entre 1872 y 1970, y es considerado el ltimo sabio universal. Gan el Premio Nobel de Literatura en 1950.
1

En 1908 el matemtico Ernst Zermelo (1871-1953) desarrolla un enfoque axiomtico que elimina lo del conjunto de los elementos que no se pertenecen a s mismos, y busca retener la riqueza operativa de la teora de Cantor. Pertenecer - Elemento Sea el conjunto de los ros del Uruguay. El Ro Negro es un ro del Uruguay. Entonces, este ro es un elemento del conjunto Ros del Uruguay. Se dice tambin: el Ro Negro pertenece al conjunto Ros del Uruguay. Todo esto se abrevia con el smbolo

Este smbolo (que se lee pertenece) se usar siempre en lugar de las frases es miembro del conjunto, es elemento del conjunto, pertenece al conjunto, est en el conjunto. Ejemplo 1 Sea el conjunto V = {a, e, i, o, u} Entonces se verifica: aV bV etc. A la derecha del smbolo tiene que estar el nombre del conjunto, y a su izquierda el nombre de alguno de sus elementos. Determinacin de los conjuntos Los conjuntos se determinan indicando claramente cules son sus elementos. Un conjunto est bien determinado si se sabe exactamente cules son los elementos que pertenecen a l y cules no. Hay dos maneras de determinar un conjunto: 1) Por extensin (o por enumeracin). Esta manera de determinar un conjunto consiste en nombrar cada uno de sus elementos. El conjunto V definido en el Ejemplo 1, fue determinado por extensin. Otro ejemplo: P = {2, 3, 5, 7} 2) Por comprensin. Esta forma consiste en indicar la caracterstica o propiedad comn a todos los elementos del conjunto. Los dos conjuntos citados en el caso anterior, se pueden determinar por comprensin del modo siguiente: V = {las vocales} P = {los nmeros primos menores que 11} Este segundo mtodo sirve para determinar cualquier conjunto, pero es especialmente til en el caso de conjuntos con muchos o infinitos elementos. Ejemplo 2 No podramos definir por extensin el conjunto formado por todos los naturales mayores que 7. Lo estamos haciendo del nico modo posible, es decir, por comprensin, expresando las

propiedades comunes a todos los elementos del conjunto (ser nmeros naturales y mayores que siete). Muchas propiedades matemticas se expresan mediante frmulas simblicas para lograr brevedad y precisin. Convencionalmente, los conjuntos matemticos se definen o determinan del modo siguiente: una letra mayscula que indica el nombre del conjunto, y encerrado entre llaves {} escribimos los elementos que lo componen (si es por extensin) o las propiedades comunes a todos (si es por comprensin), precedidas por una letra (por ejemplo, la x) que designar genricamente a los elementos del conjunto. Si al conjunto del Ejemplo 2 lo llamamos A, definiramos del modo siguiente: A = {x xN, x>7 } Podramos leer as la expresin precedente: el conjunto A est formado por elementos x, tales que pertenecen al conjunto de los nmeros naturales y son mayores que 7. Ejemplo 3 El conjunto formado por los naturales cuyo cuadrado es menor que 60 se expresa: C = {x xN, x2<60 } Si queremos saber si un cierto nmero pertenece o no al conjunto, sustituimos la x por l, y verificamos el cumplimiento de todas las condiciones o propiedades. Analizaremos el caso de los nmeros 9, 2 y 7: 9N pero 92=81>60 entonces 9 C 2 N y 22=4<60 entonces 2 C -7 N entonces -7C (aunque (-7)2=49<60) Ejercicio 1 Lea los siguientes conjuntos y establezca por extensin cules son sus elementos: i) A = {x xN, x<3 } ii) B = {y yN, 0 < y < 7 } iii) C = {z zN 4.z < 30 } Ejercicio 2 Exprese con una variable los siguientes conjuntos: i) M = {nmeros naturales que divididos por 3 dan un cociente menor que 12} ii) P = {nmeros enteros cuya duplicacin sea menor o igual que 30} iii) H = {nmeros naturales a cuyo producto por 4 se le suma 2, den como resultado un divisor exacto de 30} Resumen: Hasta ahora vimos que conjunto, elemento, pertenece, son conceptos primitivos que no necesitan definicin. Un conjunto est bien determinado si dado un elemento cualquiera sabemos averiguar si pertenece a l o no. Hay dos formas de determinar un conjunto: por extensin (enumeracin) y por comprensin.

IGUALDAD DE CONJUNTOS Definicin 1 Dos conjuntos son iguales si y slo si tienen los mismos elementos, o sea si son el mismo conjunto. La notacin correspondiente es A = B, y significa el cumplimiento de las siguientes dos condiciones: i) todo elemento de A es elemento de B ii) todo elemento de B es elemento de A Esto tambin se puede expresar as: si aA entonces aB y si bB entonces bA. Para abreviar, introduciremos nuevos smbolos:

- que significa entonces o implica - que significa para todo - que significa si y slo si
La definicin de igualdad (definicin 1), entonces, puede escribirse en trminos simblicos del modo siguiente: A = B aA bA y bB bADefinicin 2 Dos conjuntos son diferentes cuando no son iguales. Eso quiere decir que basta que no se cumpla alguna de las condiciones establecidas en la definicin de igualdad, para que dos conjuntos sean diferentes. Es decir: AB aA / aB o bB / bANota 1 La conjuncin o la entendemos en sentido amplio, es decir: que suceda una cosa o la otra o las dos. Por ejemplo, si decimos quiero helados o caramelos significa quiero helados o quiero caramelos o quiero las dos cosas. EL CONJUNTO VACO Por lo general, la palabra conjunto evoca la idea de varios elementos. Cuando definimos un conjunto por una propiedad, sin saber cuntos objetos la poseen, puede ocurrir que haya varios, slo uno, o ninguno. Por eso la palabra conjunto se utiliza aunque exista slo un elemento o incluso ninguno. Por ejemplo, sea el conjunto J = {alumnos de esta clase que se llaman Aparicio}

J puede tener varios elementos, uno o ninguno. Si ningn alumno de esta clase se llama Aparicio, entonces J es un conjunto vaco. Expresaremos lo mismo mediante smbolos: J = Ejemplo 4 Sea H = {x xN , x + 5 < 2 } Ningn nmero natural satisface la segunda condicin, porque sta es equivalente a: x < -3 entonces podemos afirmar H= Observacin 1: Todos los conjuntos vacos son el mismo conjunto, que se representa con el smbolo . Cualquiera sea un elemento a, se cumple que no pertenece a : a a Si ahora expresamos el conjunto vaco por extensin, llegaremos a la siguiente representacin: ={} PARTES DE UN CONJUNTO Vamos a definir en primer lugar el concepto de inclusin. Consideremos antes el siguiente ejemplo: sea A el conjunto de los actuales habitantes de este pas. Los elementos de A son personas. Sea ahora B el conjunto de los habitantes de este pas que tienen menos de 50 aos. Todos los elementos de B son elementos de A, puesto que viven en este pas. En smbolos: pB pA Cuando eso sucede, decimos que el conjunto B es parte o subconjunto del conjunto A, o tambin que B est incluido, o contenido, en A. Ambas frases significan lo mismo, y se abrevian con el smbolo o segn los casos, como veremos a continuacin. Definicin 3 Decimos que un conjunto B est incluido (o contenido) en otro conjunto A si y slo si para todo elemento de B se cumple que es elemento de A. BA xB xA Esta definicin se refiere al sentido amplio de la inclusin, es decir, contempla la posibilidad de que B sea A. En la definicin siguiente, nos referiremos a la inclusin en sentido estricto. Definicin 4 Decimos que B est estrictamente incluido en A (o que B es parte propia de A) si B est incluido en A pero es diferente de A. BA BA y BA

Esta definicin consta en realidad de dos partes. Veamos lo que implica cada una: BA quiere decir, por definicin: x, xB xA BA implica necesariamente, dada la condicin anterior: x, xA / xB Entonces podemos formular de otro modo la Definicin 4: BA x, xB xA y x, xA / xB Observacin 2: Aplicando simultneamente las definiciones 1 y 3, observaremos que A y B son iguales si y slo si se cumple, a la vez, que AB y que BA: AB y BA A = B Queda la demostracin como ejercicio para el estudiante. Observacin 3: Basta que no se cumpla la condicin establecida en la Definicin 3, para que podamos afirmar que un conjunto B no est incluido en otro conjunto A. Es decir: BA x, xB / xA Observacin 4: La Definicin 3 tambin puede formularse por la negativa, del modo siguiente: Un conjunto B est contenido en otro conjunto A, si todo elemento que no pertenece a A tampoco pertenece a B. Es decir: BA x, xA xB PROPIEDADES DE LA INCLUSIN Propiedad 1 Propiedad reflexiva: Todo conjunto es parte de s mismo: La demostracin es inmediata, a partir de la definicin: A, AA , dado que: x, xA xA Propiedad 2 Propiedad transitiva: Si un conjunto es parte de otro, que a su vez es parte de un tercer conjunto, el primero es parte del tercero. Es decir: sean A, B, C, conjuntos cualesquiera. La propiedad que acabamos de enunciar establece: Hiptesis: AB y BC Tesis: AC Demostracin: Por hiptesis AB, entonces, por definicin: x, xA xB Tambin por hiptesis BC, y por definicin: x, xB xC En consecuencia, podemos afirmar: x, xA xC lo que, por definicin es lo mismo que la tesis que queremos demostrar: AC-

Propiedad 3 Propiedad antisimtrica: Si un conjunto A es parte propia de otro conjunto B, entonces B no es parte de A. Hiptesis: AB Tesis: BA Demostracin: Por hiptesis, A est contenido estrictamente en B. Es decir que, aplicando la definicin 4: x, xA xB y x, xB / xA La segunda condicin nos dice que hay elementos de B que no pertenecen a A, por lo que, tal como vimos en la Observacin 3, se verifica la tesis: BAPropiedad 4 El conjunto vaco es parte de todo otro conjunto. Es decir, que: D, D Vamos a demostrar esta propiedad apelando a la va de definicin de la inclusin que vimos en la Observacin 4. En efecto, como no tiene ningn elemento, cualquier x que no pertenezca a D, tampoco va a pertenecer a . Es decir: x, xD x D Familia de partes de un conjunto Vamos a formularnos la siguiente pregunta: cuntas partes tiene un conjunto?. O, de otro modo, cuntos subconjuntos admite un conjunto dado? Comencemos por el conjunto vaco. De acuerdo a la primera propiedad, se cumple . El conjunto vaco (igual que todos los dems) es subconjunto de s mismo. Pero, en este caso particular, es el nico. Entonces la respuesta es 1. A continuacin analizaremos un conjunto unitario, es decir, con un nico elemento. Sea A={a}. De acuerdo a las propiedades 1 y 4 podemos afirmar: A AA Entonces en este caso nuestra respuesta es 2. Nos planteamos ahora la misma pregunta, pero para un conjunto de dos elementos. Sea B={a,b}. Ahora, adems de los dos subconjuntos que surgen de las propiedades 1 y 4, podemos observar que admite dos subconjuntos unitarios. Es decir: B {a} B 7

{b} B BB Entonces un conjunto de dos elementos admite cuatro partes o subconjuntos. Dejamos como ejercicio para el estudiante la verificacin de que un conjunto de tres elementos admite ocho partes. La observacin que surge inmediatamente es que cada vez que agregamos un elemento al conjunto, duplicamos la cantidad de subconjuntos que admite: 1, 2, 4, 8, y as sucesivamente. Estos nmeros son las sucesivas potencias de 2: 1 = 20 2 = 21 4 = 22 8 = 23 ....... ....... Entonces, podramos generalizar y decir que Un conjunto con n elementos admite 2n partes o subconjuntos Definicin 5 Llamamos familia de partes de un conjunto, al conjunto formado por todos sus subconjuntos. Ejemplo 5 Sea B = {a,b}. Entonces, si llamamos F a la familia de partes, podemos expresarla por extensin: F (B) = {, {a}, {b}, {a,b}} Ejercicio 3 Dados los siguientes conjuntos, exprese mediante smbolos todas las inclusiones posibles: D = {divisores de 12} A = {personas argentinas} M = {personas latinoamericanas} V = {vertebrados} S = {naturales mltiplos de 6} B = {ballenas} R = {rectngulos} H = {mamferos} } N = {x xnaturales} T = {x xN, x = 3 P = {naturales pares} C = {cuadrados} Ejercicio 4 Indique las familias de partes de los siguientes conjuntos: C = {letras de la palabra CASA} D = {divisores de 6} E = {x xN, 1<x<5} F = {rosa, clavel} G = {colores de la bandera francesa}

OPERACIONES ENTRE CONJUNTOS 1. UNIN DE CONJUNTOS La conjuncin o se usa, en nuestro idioma, en dos sentidos distintos: en sentido excluyente y en sentido inclusivo. Se utiliza en sentido excluyente cuando se considera vlida slo una de dos alternativas: Compro ese libro, o no lo compro. En cambio, en sentido inclusivo, la conjuncin o considera vlida a cualquiera de las dos alternativas e incluso a ambas a la vez. Por ejemplo: Para entrar gratis al estadio hay que ser socio del club o menor de 8 aos. Claramente, un nio de seis aos, que sea socio del club, entrar gratis. En las definiciones y demostraciones que siguen a continuacin, utilizaremos o en sentido inclusivo, y lo simbolizaremos . Definicin 6 Llamaremos unin de dos conjuntos A y B al conjunto formado por todos los elementos que pertenecen a A o pertenecen a B. AB = {x xA xB} = {x xA xB} Ejemplo 6 Sea A el conjunto de los objetos que son amarillos, y B el conjunto de objetos blandos. En ese caso, AB es el conjunto de los objetos que son amarillos o blandos, es decir, los que son amarillos, los que son blandos, y tambin los que son amarillos y blandos a la vez. Nota 2 Evidentemente, cada conjunto de los que se unen est incluido en la unin: A AB y B AB Nota 3 La unin de tres o ms conjuntos puede definirse de un modo anlogo. Si los conjuntos son A, B, C: ABC = {x xA xB xC } Tambin podramos generalizar del modo siguiente: La unin de dos o ms conjuntos es el conjunto formado por los elementos que pertenecen por lo menos a uno de ellos. Nota 4 Un conjunto cualquiera es la unin de todas sus partes. La unin de todas las partes de A, se simboliza: U{B BA } Entonces: A = U{B BA }

PROPIEDADES DE LA UNIN Propiedad 1 La unin de un conjunto consigo mismo, es el propio conjunto original. AA = A Para demostrarla: AA = {x xA xA} = {x xA } = A AA = A Propiedad 2 La unin de conjuntos es una operacin conmutativa. AB = BA Lo demostraremos aplicando la definicin. En ambos casos llegamos al mismo conjunto: AB = {x xA xB } BA = {x xB xA } AB = BA Propiedad 3 La unin de conjuntos es una operacin asociativa. (AB)C = A(BC) Demostracin: Aplicando sucesivamente la definicin de unin de conjuntos: (AB)C = {x x(AB) xC } AB = {x xA xB } Entonces: (AB)C = {x xA xB xC } Por otro lado, y aplicando la misma definicin: A(BC) = {x xA x(BC } BC = {x xB xC } O sea: A(BC) = {x xA xB xC }

[1]

[2]

Como los segundos miembros de las igualdades [1] y [2] son iguales entre s, entonces tambin son iguales los primeros miembros, lo que demuestra la propiedad: (AB)C = A(BC) Propiedad 4 El conjunto vaco es neutro de la operacin unin. Es decir: A = A

10

Para demostrarlo, volvemos a aplicar la definicin de unin: A = {x xA x } Como no existe ningn elemento que pertenezca a (por su propia definicin), entonces nos queda: A = {x xA } A = A Definicin 7 Llamamos conjunto universal a un conjunto U que verifica: x U x Propiedad 5 La unin de cualquier conjunto con el conjunto universal, es el conjunto universal. A U =U La demostracin queda como ejercicio para el estudiante. Vamos a ver, ahora, algunos teoremas referidos a la unin de conjuntos. Teorema 1 Un conjunto A est contenido en otro conjunto B, si y slo si la unin de A y B es B. AB AB = B Directo Hiptesis: AB Tesis: AB = B Demostracin: Partimos del primer miembro de la tesis, aplicndole la definicin de unin: AB = {x xA xB } Aplicando la definicin de inclusin, como por hiptesis AB, entonces se cumple: x, xA xB Entonces, sustituyendo, nos queda: AB = {x xB xB } AB = {x xB } AB = B Recproco Hiptesis: AB = B Tesis: AB Demostracin: A partir de la hiptesis, y aplicando la definicin de unin, podemos afirmar: {x xA xB } = B {x xA xB } = {x xB } Es decir, que todo x que pertenezca a A, pertenece a B: x, xA xB 11

Y eso es la definicin de inclusin, por lo que se demuestra la tesis: AB Teorema 2 Si dos conjuntos, A y B, estn incluidos en un mismo conjunto C, entonces la unin de ambos tambin est incluida en C. Hiptesis: AC BC Tesis: (AB)C Demostracin: Aplicando la definicin de inclusin a ambos puntos de la hiptesis: AC implica que: x: xA xC BC implica que: x: xB xC Entonces, podemos afirmar: x: xA xB xC Y aplicando la definicin de unin: x: x(AB) xC Aplicando otra vez la definicin de inclusin llegamos a la tesis: (AB)C 2. INTERSECCIN DE CONJUNTOS La interseccin de dos conjuntos es el conjunto de sus elementos comunes, los elementos que estn a la vez en los dos, que pertenecen a ambos. La interseccin se simboliza con el signo . Definicin 8 Llamaremos interseccin de dos conjuntos A y B al conjunto formado por los elementos que pertenecen a A y a B. AB = {x xA y xB } = {x xA xB } De un modo anlogo se define la interseccin de tres o ms conjuntos: es el conjunto formado por los elementos comunes a todos los conjuntos dados. Ejemplo 7 Sean los conjuntos: D = {das del mes de marzo} S = {das soleados} M = {das del ao 2003} SDM es el conjunto de los das soleados del mes de marzo de 2003. Ejercicio 5 i) Determine por extensin y por comprensin la interseccin de los conjuntos M={divisores de 30} y D={divisores de 12}

12

ii)

Qu es la interseccin de dos semiplanos de distinto borde?Y la de tres semiplanos? PROPIEDADES DE LA INTERSECCIN

Propiedad 1 La interseccin de conjuntos es una operacin conmutativa. AB = BA La demostracin queda a cargo del estudiante. Propiedad 2 La interseccin de conjuntos es una operacin asociativa. (AB)C = A(BC) Demostracin: Aplicando sucesivamente la definicin de interseccin de conjuntos: (AB)C = {x x(AB) xC } AB = {x xA xB } Entonces: (AB)C = {x xA xB xC } [1] Por otro lado, y aplicando la misma definicin: A(BC) = {x xA x(BC } BC = {x xB xC } O sea: A(BC) = {x xA xB xC } [2] Como los segundos miembros de las igualdades [1] y [2] son iguales entre s, entonces tambin son iguales los primeros miembros, lo que demuestra la propiedad: (AB)C = A(BC) Propiedad 3 La interseccin de cualquier conjunto con el conjunto vaco, es el conjunto vaco. A = La demostracin queda como ejercicio para el estudiante. A continuacin, presentaremos algunos teoremas referidos a la interseccin de conjuntos: Teorema 3 Si un conjunto est contenido en otros dos, est contenido en la interseccin de ambos. Hiptesis: CA y CB Tesis: C (AB) 13

Demostracin: Por hiptesis, y aplicando la definicin de inclusin, se cumple a la vez: x, xC xA (porque CA) x, xC xB (porque CB) Entonces, todos los elementos de C pertenecen a A y a B: x, xC xA xB O sea: x, xC x(AB) Y, por la definicin de inclusin: C (AB) Teorema 4 Es condicin necesaria y suficiente para que un conjunto A est incluido en otro conjunto B, que la interseccin de A y B sea A. AB = A A B Directo Hiptesis: AB = A Tesis: AB Demostracin: De acuerdo con la hiptesis, x, xA xA xB Entonces: x, xA xB Lo que, por la definicin de inclusin, nos lleva directamente a la tesis: AB Recproco Hiptesis: A B Tesis: AB = A Demostracin: Por hiptesis, x, xA xB Entonces: x, xA xA xB x(AB) Adems es evidente que x, x(AB) xA Entonces, se verifican las dos condiciones de la igualdad de conjuntos (Definicin 1), as que se cumple la tesis: AB = A Definicin 9 Decimos que A y B son conjuntos disjuntos, si su interseccin es vaca, es decir, si AB =

14

Propiedades distributivas de la unin y la interseccin Vamos a ver, a continuacin, que las operaciones unin e interseccin de conjuntos verifican dos propiedades distributivas: i) ii) A(BC) = (AB)(AC) A(BC) = (AB)(AC)

Propiedad distributiva de la interseccin respecto de la unin A(BC) = (AB)(AC) Hay que demostrar, de acuerdo con la definicin de igualdad de conjuntos (Def. 1), que todo elemento del primer miembro pertenece al segundo y viceversa. Comenzaremos de izquierda a derecha: x, x A(BC) xA x(BC) xA (xB xC) La ltima afirmacin implica necesariamente una de estas dos alternativas (o ambas a la vez): xA xB o xA xC Es decir, entonces, que se cumple x, x A(BC): x(AB) x(AC) O sea: x, x A(BC) x[(AB)(AC)] Es decir: A(BC) [(AB)(AC)] [1] Veamos ahora el sentido recproco: z, z[(AB)(AC)] z(AB) z(AC) (zA zB) (zA zC) zA (zB zC) Entonces se cumple que: z, z[(AB)(AC)] zA(BC) Que es lo mismo que decir: [(AB)(AC)]A(BC) [2] La verificacin simultnea de las inclusiones [1] y [2] nos permite afirmar, de acuerdo con lo que habamos visto al comienzo del tema, en la Observacin 3, que ambos conjuntos son iguales, es decir: A(BC) = (AB)(AC) Propiedad distributiva de la unin respecto de la interseccin A(BC) = (AB)(AC) Siendo la demostracin muy similar a la de la propiedad anterior, la dejamos a cargo del estudiante.

15

3. DIFERENCIA DE CONJUNTOS Definicin 10 Se denomina diferencia de A y B (en ese orden), y se representa A-B, al conjunto formado por todos los elementos de A que no son elementos de B. A-B = {x xA xB } Complemento de un conjunto Dado un conjunto de referencia, toda vez que una cierta propiedad determina un subconjunto, formado por los elementos que la verifican, determina al mismo tiempo otro subconjunto, que es el de los elementos que no la verifican. A este subconjunto se le llama complemento del primero, respecto del conjunto de referencia. Por ejemplo, si tomamos como referencia el conjunto de todos los animales, y dentro de l llamamos M al conjunto de los mamferos, veremos que automticamente queda configurado otro conjunto, al que llamaremos N, de los animales no mamferos. Diremos que N es complemento de M, y la notacin ser: N = M o tambin N = M Al conjunto de referencia lo llamaremos referencial, designndolo con la letra griega omega (), o tambin universal, como ya vimos. Dndole ahora rigor a la definicin de complemento: Definicin 11 Llamaremos complemento de un conjunto A respecto de un referencial , al conjunto de todos los elementos de que no pertenecen a A. Es decir: A = - A Como ya vimos en la definicin de diferencia, esto mismo se podra escribir: A = {x x xA} O directamente, si el referencial est sobreentendido: A = {x xA} Propiedades del complemento Las siguientes propiedades estn, todas ellas, basadas en la definicin de complemento. Queda su demostracin, entonces, a cargo del estudiante. Propiedad 1 A A = Propiedad 2 (A) = A Propiedad 3 () = Propiedad 4 = 16

Propiedad 5 AA = Vamos a ver ahora algunos teoremas de importancia: Teorema 5 Si un conjunto A est contenido en B, el complemento de B est contenido en el complemento de A. Hiptesis: A B Tesis: B A Demostracin: Aplicando la definicin de inclusin a la hiptesis, podemos afirmar: x, xA xB Como todo elemento de A est en B, podemos afirmar que ningn elemento de A pertenecer a B. Es decir entonces: x, xB xA Eso es lo mismo que decir: x, xB xA O sea, aplicando la definicin de inclusin: B A LEYES DE MORGAN Teorema 6 Primera Ley de Morgan: El complemento de la unin es la interseccin de los complementos. Hiptesis: A y B son conjuntos de un cierto referencial (AB) = AB Tesis: Demostracin: Seguiremos el camino habitual para demostrar que dos conjuntos son iguales (es decir, que cada uno de ellos est contenido en el otro). En primer lugar: x, x(AB) x(AB) xA xB xA xB xAB Entonces, si x, x(AB) xAB, llegamos a: (AB) AB [1] Ahora, razonaremos en el sentido inverso: x, x AB xA x B Como xA xA, y esto puede implicar dos alternativas: x(B-A) o xB 17

La primera es falsa, porque ya vimos que xB (por pertenecer a B). As que se cumple, a la vez: xA xB Entonces podemos asegurar que x, x AB x(AB) o, lo que es lo mismo, x, x AB x(AB) lo que nos lleva a: AB (AB) [2] Y la verificacin simultnea de las inclusiones [1] y [2] nos permite afirmar: (AB) = AB Teorema 7 Segunda Ley de Morgan: El complemento de la interseccin es la unin de los complementos. Hiptesis: A y B son conjuntos de un cierto referencial Tesis: (AB) = AB Demostracin: Razonaremos del mismo modo que en el caso anterior. As que partimos del primer miembro de la tesis: x, x (AB) x(A-B) x(B-A) (xA xB) Analizaremos cada una de esas alternativas: x(A-B) xA xB xB x(B-A) xB xA xA xA xB x(AB) Es decir: x, x (AB) xA xB x(AB) x, x (AB) x(AB) (AB) (AB) [1] Trabajando ahora con el segundo miembro: x, x AB xA xB Si xA, hay dos alternativas: que x pertenezca a B o que no. Entonces: xA x(B-A) x(AB) Anlogamente: xB x(A-B) x(AB) Entonces podemos afirmar ahora: x, x AB x(A-B) x(B-A) x(AB) x(A-B) xA xB x(AB) x(B-A) xB xA x(AB) x(AB) xA xB x(AB) De modo que x, x AB x(AB) x (AB) AB (AB) [2]

18

Y otra vez, las inclusiones simultneas [1] y [2] nos permiten afirmar la igualdad de ambos conjuntos: (AB) = AB 4. PRODUCTO CARTESIANO DE CONJUNTOS Antes de estudiar esta nueva operacin entre conjuntos, debemos debemos definir su componente fundamental: el par ordenado. Definicin 12 Un par ordenado es un conjunto formado por dos elementos que se distinguen segn su ubicacin en el mismo: primer componente y segundo componente. Su notacin es (a,b), siendo a el primer componente y b el segundo. Los pares ordenados responden al siguiente criterio de igualdad: (a,b) = (c,d) a = c b = d Definicin 13 Dados dos conjuntos, A y B, llamamos producto cartesiano de A y B (notacin: AxB) al conjunto de todos los pares ordenados cuyo primer componente es elemento de A y cuyo segundo componente es elemento de B. AxB = {(a,b) aA bB} Ejemplo 8 Sean los conjuntos: A = {a,b,c} y B = {1,2} Entonces podemos hacer dos productos cartesianos diferentes: AxB = {(a,1),(a,2),(b,1),(b,2),(c,1),(c,2)} BxA = {(1,a),(1,b),(1,c),(2,a),(2,b),(2,c)} Teorema 8 Es condicin necesaria y suficiente para que un producto cartesiano AxB no sea vaco, que ni A ni B lo sean. Es decir: AxB A B Directo Hiptesis: AxB Tesis: AB Demostracin: Como por hiptesis AxB no es vaco, existe algn par ordenado que pertenece a dicho producto: (x,y) / (x,y)AxB Por definicin de producto cartesiano: xA yB x / xA A y / yB B AB 19

Recproco Hiptesis: A B Tesis: AxB Demostracin: Por hiptesis, podemos afirmar que existen elementos a y b, por lo menos uno de cada conjunto: aA bB (a,b)AxB AxB Nota 5 Como todo teorema es equivalente a su contrarrecproco, podemos afirmar: A = B = AxB = Ejercicio 6 1. Se considera los conjuntos A = {1,2,3} y B = {a,b} Halla: i) BxB ii) AxA iii) AxB iv) BxA 2. Del conjunto AxA se conocen los elementos (a,b) y (c,d). Adems se sabe que AxA tiene 16 elementos. Halla AxA. 3. Un alumno dice haber hallado el siguiente producto cartesiano: AxB = {(a,1),(a,2),(b,1),(c,1),(c,2)} Tiene razn? Fundamenta tu respuesta. 4. Halla todos los subconjuntos de AxB (es decir, su familia de partes), siendo A = {0,1} y B = {2}

RELACIONES Y FUNCIONES
RELACIN BINARIA Definicin 14 Dados dos conjuntos A y B, llamamos relacin binaria de A en B a cualquier subconjunto del producto cartesiano AxB. Si R es una relacin de A en B, y un par (x,y) pertenece a ella, diremos que x est en la relacin R con y, lo que se expresa simblicamente xRy. Es decir: Sea R / R AxB entonces (x,y)R x R Ejemplo 9 Sean los conjuntos A = {a,b,c} y B 0 {1,2} y la relacin R = {(a,1),(a,2),(b,1)}. Representamos AxB en el grfico llamado diagrama cartesiano, y tambin all marcamos R como subconjunto de AxB: y

20

a est en relacin con 1 a R 1 a est en relacin con 2 a R 2 b est en relacin con 1 b R 1 c no est en relacin con 1 c R / 1 Otra manera corriente de visualizar una relacin es el diagrama sagital:

Ejemplo 10 Sea ahora el conjunto C = {1,2,3,4,5,6} y R una relacin de C en C (o sea, R CxC) tal que R = {(2,1),(4,2),(6,3)} La relacin R est compuesta por los pares ordenados de la forma (2x,x) donde xC y adems es x 3. Es decir, R est compuesta por todos los pares ordenados de CxC que verifican que su primer componente es el doble del segundo. Expresaremos la relacin R por comprensin: R CxC / xRy y = x/2 CLASIFICACIN DE RELACIONES BINARIAS Veremos a continuacin ciertos tipos de relaciones binarias que tienen gran importancia: las relaciones de equivalencia, las de orden, y las funciones. 1. Relacin de equivalencia Definicin 15 Sea A un conjunto cualquiera. Decimos que una relacin R en AxA es una relacin de equivalencia en A, si es reflexiva, simtrica y transitiva. Precisando los trminos: i. Reflexiva: xA xRx ii. Simtrica: (x,y)AxA xRy yRx iii. Transitiva: xA, yA, zA xRy yRz xRz Ejemplo 11 La relacin de paralelismo E definida en el conjunto de las rectas del plano es una relacin de equivalencia en dicho plano. x E y xy Efectivamente, sean a, b, c, rectas cualesquiera del plano : 21

i. a aa (toda recta es paralela a s misma) ii. a,b ab ba iii. a,b,c ab bc ac Ejemplo 12 Para un recital de rock se ha habilitado tres clases de localidades, con diferente precio: 1) csped 2) platea 3) tribuna Los asistentes al recital tienen la opcin de elegir entre tres precios distintos. Indirectamente queda definida una relacin de equivalencia R (tener el mismo precio), en el conjunto E de todas las entradas del recital. Es decir: Siendo a y b dos entradas cualesquiera: aRb si a tiene el mismo precio que b Como ejercicio, verifique el estudiante que R cumple con las tres propiedades de una relacin de equivalencia. A continuacin, observaremos: i) En el conjunto E, la relacin R permiti formar los siguientes subconjuntos: * el subconjunto de todas las entradas de csped * el subconjunto de todas las entradas de platea * el subconjunto de todas las entradas de tribuna Dos entradas cualesquiera, que pertenecen a un mismo subconjunto de E son equivalentes, es decir, valen lo mismo. Y puesto que son equivalentes, toda entrada a puede servirnos de representante de su subconjunto, que llamaremos clase de equivalencia de a mdulo R. ii) Ninguna de las clases es vaca. iii) Dos clases de equivalencia cualesquiera, son iguales o son disjuntas. iv) La unin de las clases de equivalencia mencionadas es igual al conjunto de todas las localidades: E. Decimos, en ese caso, que la relacin R produjo una particin en E. Definicin 16 Una relacin de equivalencia en un conjunto A, produce en A una particin en subconjuntos, llamados clases de equivalencia, tales que: i) Ninguna clase es vaca: Ci iA ii) Dos clases de la particin son siempre disjuntas: Ci Cj iA, jA iii) La unin de todas las clases es el conjunto A en el que est definida la relacin 2. Relacin de orden Definicin 17 Sea A un conjunto cualquiera. Decimos que una relacin R en AxA es una relacin de orden en A, si es antisimtrica y transitiva. Precisando los trminos: i. Antisimtrica: (x,y)AxA x R y y R / x Si xRy yRx x = y ii. Transitiva: xA, yA, zA xRy yRz xRz

22

Ejemplo 13 La inclusin de conjuntos (en sentido estricto) es una relacin de orden. Para demostrarlo, veremos que cumple las propiedades antisimtrica y transitiva. AB x, xA xB, zB / zA zB / zA BA Es decir, la inclusin estricta es antisimtrica. Veremos ahora que es tambin transitiva, es decir: AB BC AC A B x , x A x B x , x A x C B C x, x B x C Por lo tanto, la inclusin estricta es una relacin transitiva. Y entonces, es una relacin de orden. 3. Funcin Definicin 18 Sean A y B dos conjuntos. Decimos que una relacin de AxB es una funcin de A en B (se expresa f : AB) si para cada elemento a del conjunto A existe un nico b perteneciente a B, tal que (a,b) pertenece a f (se expresa f(a) = b). Sea f : AB, una funcin de A en B. En ese caso diremos: A es el dominio de f, y se simboliza D(f) B es el codominio de f, y se simboliza C(f) Si (x,y)f se dice que: i) x es la preimagen de y al aplicar f. ii) y es la imagen de x al aplicar f. El conjunto de todas las imgenes al aplicar f se llama recorrido de f, y se simboliza R(f) CLASIFICACIN DE FUNCIONES Veremos a continuacin algunos tipos de funciones, cuya descripcin resulta de importancia: las funciones inyectivas, las sobreyectivas y las biyectivas. La clasificacin no es exhaustiva, por lo que hay funciones que no integran ninguna de las tres categoras. Definicin 19 Una funcin f : AB se dice inyectiva si para todo par de elementos de su dominio, x1 y x2, distintos entre s, las imgenes f(x1) y f(x2) tambin son diferentes. Es decir: x1 x2 f(x1) f(x2) x1A, x2A Ejemplo 14 Sea A = {a,b,c} y B = {1,2,3,4,5}. Sea f : AB tal que f = {(a,1),(b,3),(c,4)} Sea g : AB tal que g = {(a,3),(b,3),(c,4)}

23

Observemos que la funcin f es inyectiva, mientras que g no lo es. Si las representamos en forma sagital:

Definicin 20 Una funcin f : AB se dice sobreyectiva si el recorrido de la funcin es igual al codominio. Es decir, si todo elemento del codominio es una imagen. yB xA / f(x) = y Ejemplo 15 Sea A = {a,b,c} y B = {1,2}. Sea f : AB tal que f = {(a,1),(b,2),(c,2)} Sea g : AB tal que g = {(a,1),(b,1),(c,1)} Indique el estudiante cul es sobreyectiva y cul no lo es. A continuacin dibuje la representacin sagital de cada una de las funciones. Definicin 21 Una funcin f : AB se dice biyectiva si es, a la vez, inyectiva y sobreyectiva. Es decir, si todo elemento del codominio es imagen de un nico elemento del dominio. En ese caso se dice que la funcin f es una biyeccin. Es decir, que f : AB es biyectiva si: i) x1 x2 f(x1) f(x2) x1A, x2A ii) yB xA / f(x) = y Funcin inversa Sea f : AB una biyeccin. Puesto que f es sobreyectiva, para todo elemento y perteneciente a B, existe un x perteneciente a A, tal que f(x) = y. Adems, x es nico puesto que f es inyectiva y una misma imagen no puede corresponder a dos preimgenes diferentes. Es decir que f(x1) = f(x2) x1 = x2 Entonces, existe una nueva funcin h : BA tal que h(y) = x y = f(x) A esta funcin la llamaremos funcin inversa.

24

Definicin 22 Sea f : AB una biyeccin. Se llama funcin inversa de f a la funcin f 1: BA tal que: f 1(y) = x f(x) = y Hemos visto, entonces, que para poder definir una funcin inversa tenemos que estar en presencia de una funcin biyectiva. Veremos ahora que tambin la funcin inversa es biyectiva. Partiremos de la funcin f 1: BA aludida en la definicin precedente, y demostraremos que es a la vez sobreyectiva e inyectiva. f 1 es sobreyectiva x, xA yB / f(x) = y (porque f es una funcin), por lo tanto x, x A yB / f 1(y) = x f 1 es inyectiva Como f es inyectiva, x1 x2 f(x1) f(x2) y1 y2 Como f es funcin, y1 y2 x1 x2 Es decir: y1 y2 x1 x2 que es lo mismo que decir f 1(y1) f 1(y2) y1 y2 Ejemplo 16 Sea A = {a,b,c} y B = {1,2,3}. Sea f : AB tal que f = {(a,2),(b,3),(c,1)} De acuerdo a la definicin, como f es biyectiva, podemos encontrar f 1: BA tal que: f 1 = {(1,c),(2,a),(3,b)} Sabiendo que sta a su vez es biyectiva, debe tener una funcin inversa. Quin ser (f 1)-1?

Prof. Alfredo Escande

25