Captulo 1

Conjuntos, aplicaciones y relaciones

1.1.
1.1.1.

Conjuntos
Generalidades sobre conjuntos.

Comenzamos esta notas con una introduccin de algunos conceptos bsicos sobre conjuntos. La idea de conjunto es una de las ms importantes en matemticas, pues gran parte de ellas est escrita en lenguaje de teora de conjuntos. Un conjunto va a ser para nosotros una coleccin de objetos. En principio, estos objetos pueden tener cualquier naturaleza, y pueden ser de cualquier tamao, aunque esto podra dar lugar a algunas contradicciones. Nosotros no vamos a entrar en esos detalles, pues para ello habra que denir una axiomtica que se escapa de los objetivos de estas notas. A los objetos que forman parte de un conjunto, los llamaremos elementos del conjunto. Relacin de pertenencia. Cuando un elemento forma parte de un conjunto, diremos que ese elemento pertenece al conjunto, y lo representaremos mediante el smbolo . Es decir, si tenemos un conjunto X , y a es un elemento que pertenece al conjunto X , escribiremos a X . As, si llamamos X al conjunto de los nmeros naturales menores que 10 tenemos que 5 es un elemento de X , luego 5 X (se lee 5 pertenece a X ). Cuando tengamos que varios elementos a1 , a2 , , an tal que todos ellos pertenecen a un conjunto X escribiremos a1 , a2 , , an X . Por ejemplo, con el conjunto X que hemos descrito anteriormente, podramos escribir 2, 3, 5, 7 X , en lugar de 2 X , 3 X , 5 X y 7 X . Si hay algn objeto que no pertenece a un conjunto, emplearemos el smbolo . De esta forma tenemos que 13 X . Informalmente, cuando un elemento pertenezca a un conjunto diremos que dicho elemento est en el conjunto. Entre los conjuntos consideramos uno formado por la coleccin de cero objetos, es decir, un conjunto que no tiene elementos. Dicho conjunto lo llamaremos conjunto vaco y ser nombrado como . Descripcin de conjuntos. Un conjunto queda caracterizado por los elementos que tiene. Para determinar un conjunto entonces podemos hacerlo enumerando todos sus elementos. En tal caso, los elementos se escriben serparados por comas y entre llaves. Por ejemplo, el conjunto X que hemos nombrado antes sera X = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} Siguiendo esta notacin, el conjunto vaco lo podemos representar como {} (aunque preferimos la notacin ). Sin embargo, cuando el conjunto tiene muchos elementos, o bien cuando es un conjunto innito, esta forma no es til. Pensemos, por ejemplo, en el conjunto de nmeros naturales menores que 100000. Una forma para describir este conjunto podra ser Y = {0, 1, 2, 3, , 999998, 999999}. El siguiente conjunto 1

CAPTULO 1. CONJUNTOS, APLICACIONES Y RELACIONES {0, 1, 2, }

representa el conjunto de todos los nmeros naturales, y es denotado como N. Tambin podemos describir el conjunto de los nmeros enteros, que denotaremos como Z Z = { , 2, 1, 0, 1, 2, } Otros conjuntos innitos con los que trabajaremos a lo largo del curso son, por ejemplo, el conjunto de los nmeros racionales (Q), el conjunto de los nmeros reales (R), el conjunto de los nmeros complejos (C), etc. Hay otra forma de especicar un conjunto, y es a partir de una o varias propiedades que determinen de forma exclusiva los elementos de ese conjunto. Normalmente, en este caso, haremos referencia a un conjunto y especicaremos los elementos de este conjunto que verican la propiedad. Por ejemplo, el conjunto X podemos describirlo: X = {n N|n < 10} Y se leera X es el conjunto de todos los n N tal que n es menor que 10, o si preferimos, el conjunto de todos los nmeros naturales menores que 10. En este caso, hemos hecho referencia al conjunto de los nmeros naturales. Tambin podramos haberlo descrito haciendo referencia a los nmeros enteros como X = {n Z|0 n < 10} A esta forma de describir un conjunto la llamaremos implcita, en contraposicin a la que consiste en enumerar los elementos, que llamaremos explcita. Por ejemplo, si P es el conjunto de los nmeros pares, entonces podemos describirlo como sigue: P = { 6, 4, 2, 0, 2, 4, 6, } = {n Z|n es par } = {n Z|existe m Z : n = 2m} P = {n Z|n = 2m para algn m Z} Incluso, podramos escribir: P = {2n : n Z} = 2Z Con la notacin 2Z queremos decir el conjunto de todos los nmeros que se obtienen de multiplicar por 2 los elementos de Z. No interpretar como el producto de un nmero por un conjunto. Cmo podramos entonces especicar el conjunto de los nmeros impares? y el de los nmeros que dan resto 2 al dividirlos por 5? Igualdad e inclusin de conjuntos. Hemos dicho ms arriba que un conjunto queda determinado por los elementos que tiene. No inuye por tanto el orden en que estn dados esos elementos ni ningn otro factor. En tal caso, los conjuntos A = {3, 1, 5} y B = {1, 3, 5} son iguales, e iguales al conjunto {m N|m impar y m 6}. Tambin el conjunto A es igual al conjunto C = {1, 3, 3, 5, 5, 5, 3, 5, 5} pues todos los elementos que pertenecen a C pertenecen a A y todos los elementos que pertenecen a A pertenecen tambin a C . La igualdad de conjuntos, por tanto, podra denirse as: Denicin 1. Sean A y B dos conjuntos. Se dice que A y B son iguales (A = B ) si para cualquier x A se tiene que x B y viceversa, es decir, para cualquier x B se tiene que x A. Cuando todos los elementos de un conjunto A son tambin elementos de un conjunto B diremos que A es un subconjunto de B , y lo representaremos como A B . Tambin puede leerse esto como A est contenido en B o B contiene a A. Esto queda recogido en la siguiente denicin: Denicin 2. Sean A y B dos conjuntos. Diremos que A es un subconjunto de B , que A est contenido en B , o que B contiene a A, y escribiremos A B si para cualquier elemento x A se tiene que x B .
Departamento de lgebra

1.1. Conjuntos 3 Notemos que si X es un conjunto, es lo mismo decir a X que {a} X . De acuerdo con lo que hemos dicho antes, dos conjuntos A y B son iguales cuando A es subconjunto de B y B es subconjunto de A, pues en tal caso, todos los elementos de A estn en B y todos los elementos de B pertenecen a A. Normalmente, para demostrar que dos conjuntos son iguales, probaremos que cada uno es subconjunto del otro. AB BA = A = B

(de hecho, la anterior implicacin es una equivalencia) Esta propiedad se conoce como antisimtrica Si A es un subconjunto de B distinto de B y queremos hacer notar esta relacin escribiremos A B (algunos autores emplean la notacin A B ). En tal caso, diremos que A est contenido propiamente en B . Obviamente, A B si, y slo si, A B y existe un elemento b B tal que b A. Ejemplo 1.1.1. P Z, pues P Z (todo elemento de P es un nmero entero) y existe un nmero entero (de hecho existen muchos), por ejemplo, 1 que no pertenece a P (recordemos que P denotaba el conjunto de los nmeros pares). Dado cualquier conjunto X , el conjunto vaco es un subconjunto de X (es decir, X ), pues todos los elementos del vaco, absolutamente todos, sin excepcin, son elementos de X . Por ejemplo, tomamos A = {m N|m < 0}. Es claro que A es un subconjunto de N, pues en A hemos tomado todos los nmeros naturales que cumplen una propiedad. Adems, es claro que A = . Por tanto, N. El conjunto vaco es el conjunto de todos los crculos cuadrados, luego es un subconjunto del conjunto de todos los crculos, y es un subconjunto del conjunto de todos los cuadrados. El conjunto vaco es el conjunto de todos los hombres con 7 manos (creo que no hay ninguno) por tanto, el conjunto vaco es un subconjunto del conjunto de todos los hombres. El conjunto vaco es el conjunto de todos los nmeros racionales e irracionales, luego es un subconjunto de Q y del conjunto de todos los nmeros irracionales. Hemos visto que la inclusin de conjuntos es antisimtrica. Tambin es reexiva (todo conjunto es subconjunto de s mismo) y transitiva (si A es subconjunto de B y B es subconjunto de C entonces A es subconjunto de C ). Cuando hemos comenzado a hablar de conjuntos, hemos dicho que los elementos de un conjunto pueden ser de cualquier naturaleza. En particular pueden ser conjuntos. Por tanto, un conjunto puede ser elemento de otro conjunto (podra hasta ser elemento de s mismo). Un conjunto, podra ser entonces A = {1, N, {0, 1, 2, 3}}. Este conjunto tendra tres elementos. Estos son: 1, el conjunto de los nmeros naturales, y el conjunto {0, 1, 2, 3}. Si renombramos a los elementos de A, x1 = 1, x2 = N y x3 = {0, 1, 2, 3} tenemos entonces que A = {x1 , x2 , x3 }. Es decir, A, como conjunto tiene exactamente 3 elementos, que son x1 , x2 y x3 . A su vez, x1 x2 , x1 x3 y x3 x2 . El conjunto vaco, como conjunto que es, puede ser elemento de otro conjunto. As, el conjunto {} tiene exactamente un elemento: el conjunto vaco. Conjunto potencia. Denicin 3. Dado un conjunto X podemos formar el conjunto cuyos elementos son los subconjuntos de X . Este conjunto ser denotado como P (X ), y lo llamaremos el conjunto partes de X . Es decir: P (X ) = {A|A X } Como ya sabemos, para cualquier X , el conjunto vaco es un subconjunto de X , luego P (X ). Tambin se tiene que P (X ). Otro subconjunto de X es el propio X , es decir, X P (X ). Ejemplo 1.1.2. Sea X = {1, 2}. Entonces P (X ) = {, {1}, {2}, {1, 2}}. Por otra parte, P () = {} (tiene un elemento). P (P ()) = {, {}} (tiene 2 elementos) P (P (P (X ))) = {, {}, {{}}, {, {}}} (tiene 4 elementos)
Jess Garca Miranda

CAPTULO 1. CONJUNTOS, APLICACIONES Y RELACIONES

1.1.2.

Operaciones con conjuntos.

Vamos a ver a continuacin cmo, a partir de algunos conjuntos podemos obtener otros nuevos. Unin de conjuntos. Dados dos conjuntos A y B , podemos formar un nuevo conjunto reuniendo los elementos que, bien pertenecen a A, bien pertenecen a B . Obtenemos as el conjunto denominado unin de A y B , y que representaremos como A B . Denicin 4. Sean A y B dos conjuntos. Denimos la unin de A y B como A B = {x|x A x B } Ejemplo 1.1.3. Si A es el conjunto de los nmeros naturales pares menores que 15, y B el conjunto de los nmeros primos menores que 15 entonces A B = {0, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14} Los elementos 0, 2, 4, 6, 8, 10, 12, 14 pertenecen a A B pues todos ellos pertenecen a A, mientras que 2, 3, 5, 7, 11, 13 pertenecen a A B pues todos ellos pertenecen a B . De la misma forma, podra denirse la unin de tres o ms conjuntos. As, si llamamos ahora C al conjunto {1, 5, 7, 11} entonces A B C = {0, 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14} Pues cada uno de los elementos que hemos indicado pertenece al menos a uno de los conjuntos A, B C . Tambin podra haberse denido la unin de tres conjuntos A, B , C como A B C = (A B ) C . Puede comprobarse fcilmente que (A B ) C = A (B C ). Notemos que si A y B son dos conjuntos, entonces tanto A como B son subconjuntos de A B , y A B es el menor conjunto que tiene esa propiedad (tener a A y B como subconjuntos). Dicho de otra forma: AAB B AB y si AC BC entonces A B C

es decir, A y B son subconjuntos de A B y si hubiera otro conjunto C que tuviera a A y a B como subconjuntos, entonces tambin tiene a A B como subconjunto (en este sentido decimos que A B es el menor conjunto con esa propiedad). Interseccin de conjuntos. Denicin 5. Dados dos conjuntos A y B se dene la interseccin de A y B como el conjunto formado por los elementos que pertenecen simultneamente a A y a B . Dicho conjunto se denota como A B . A B = {x|x A y x B } = {x A|x B } = {x B |x A} Cuando la interseccin de dos conjuntos es el conjunto vaco se dice que esos conjuntos son disjuntos. Ejemplo 1.1.4. Para los conjuntos A, B y C del ejemplo anterior se tiene que A B = {2} AC = B C = {5, 7, 11}

De forma anloga a como se hizo con la unin puede denirse la interseccin de tres o ms conjuntos. La interseccin de dos conjuntos A y B es un subconjunto de A y de B . De hecho es el mayor subconjunto comn de ambos. AB A AB B y si CA CB entonces C A B

Departamento de lgebra

1.1. Conjuntos Diferencia de conjuntos.

Denicin 6. Si A y B son dos conjuntos, se dene el conjunto diferencia A \ B como el conjunto formado por los elementos de A que no pertenecen a B (es decir, para formar A \ B le quitamos a A los elementos que estn en B ). A \ B = {x A|x B } Ejemplo 1.1.5. Para los conjuntos A y B del ejemplo anterior se tiene que A \ B = {0, 4, 6, 8, 10, 12, 14} (a A le quitamos el 2 que es el nico elemento que pertenece a B ), mientras que B \ A = {3, 5, 7, 11, 13}. Notemos que dados dos conjuntos cualesquiera A y B se tiene que A \ B = A \ (A B ), pues al quitarle a A un elemento que est en B en realidad estamos quitando un elemento que est en A B (si no estuviera en A no habra que quitarlo). Veamos una demostracin de esto. Como hemos dicho antes, para ver que dos conjuntos son iguales probaremos que uno est incluido en el otro y el otro en el uno. En primer lugar veamos que A \ B A \ (A B ), es decir, que todo elemento de A \ B pertenece a A \ (A B ). Sea x A \ B . Entonces x A y x B . Por tanto, x A B (pues no pertenece a B ). Tenemos entonces que x A y x A B , luego x A \ (A B ). Recprocamente, si x A \ (A B ) entonces x A y x A B . Como x A B , x no puede ser simultneamente elemento de A y de B , luego o no es elemento de A o no es elemento de B , es decir, x A x B . La primera opcin no puede darse, pues tenamos que x A, luego se da la segunda, es decir, x B . Y lo que tenemos ahora es que x A y x B , luego x A \ B . Diferencia simtrica. Denicin 7. Dados dos conjuntos A y B se dene la diferencia simtrica de A y B como el conjunto AB = (A \ B ) (B \ A). Es decir, en AB estn los elementos que pertenecen a uno de los dos conjuntos, A B , pero no a ambos. Podra entonces haberse denido como (A B ) \ (A B ). Queda como ejercicio demostrar que ambas deniciones son equivalentes. Para los conjuntos A y B de los ejemplos anteriores se tiene que AB = {0, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14}. Complementario. Normalmente, cuando estamos trabajando con conjuntos, jaremos un conjunto de referencia al que llamaremos universo, y todas las operaciones que realicemos sern entre subconjuntos del mismo. As, en los ejemplos que hemos visto, podramos haber trabajado con N como universo. Todos los conjuntos que intervienen son subconjuntos de N. Denicin 8. Si X es un universo, y A es un conjunto (un subconjunto de X ), se dene el complementario de A como el conjunto formado por todos los elementos (de X ) que no pertenecen a A. El complementario de un conjunto A ser denotado como A o A . Si X = N, y P es el subconjunto formado por los nmeros pares, entonces P es el conjunto de todos los nmeros impares. Notemos que el conjunto A es igual al conjunto X \ A, y que dados A y B dos subconjuntos de un conjunto X entonces A \ B = A B , pues A \ B son los elementos de A que no pertenecen a B , es decir, los elementos de A que pertenecen a B . Tablas de pertenencia. Si X es un conjunto que tomamos como universo, y A1 , A2 , An son subconjuntos de X , para cada conjunto C que podamos formar a partir de los conjuntos A1 , A2 , , An vamos a denir la denominada tabla de pertenencia. Esta tabla est formada por ceros y unos, y nos indica la posibilidad de que un
Jess Garca Miranda

CAPTULO 1. CONJUNTOS, APLICACIONES Y RELACIONES elemento pertenezca o no al conjunto C en funcin de que ese elemento pertenezca o no a cada uno de los conjuntos Ai . Un uno nos indica que el elemento pertenece, y un cero nos indica que no pertenece. Las tablas de pertenencia para las distintas operaciones que hemos denido seran:
6

A 0 0 1 1

B 0 1 0 1

AB 0 1 1 1

A 0 0 1 1

B 0 1 0 1

AB 0 0 0 1

A 0 0 1 1

B 0 1 0 1

A\B 0 0 1 0

A B 0 0 0 1 1 0 1 1

AB 0 1 1 0

A 0 1

A 1 0

En la primera tabla, la primera la nos dice que si un elemento no pertenece a A y no pertenece a B (eso est indicado con los dos ceros que hay debajo de A y B respectivamente), entonces no pertenece a A B (eso nos lo dice el cero que hay en la columna de A B ). La segunda la nos dice que si un elemento pertenece a B , pero no pertenece a A entonces pertenece a la unin de A y B . Y as, el resto. Vamos a calcular la tabla de pertenencia de (AB )C . Como partimos de tres conjuntos, esta tabla tendr 8 las, correspondientes a las 8 posibilidades que hay (que un elemento pertenezca o no a A, que pertenezca o no a B y que pertenezca o no a C ). A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 AB 0 0 1 1 1 1 0 0 (AB )C 0 1 1 0 1 0 0 1

Las tres primeras columnas nos indican las 8 posibilidades que tenemos y que hemos dicho antes. La columna cuarta se obtiene a partir de las columnas primera y segunda, y la tabla de pertenencia de la diferencia simtrica. La columna quinta se obtiene a partir de las columnas tercera y cuarta y la tabla de pertenencia de la diferencia simtrica. Vamos a calcular la tabla de pertenencia de A(B C ) A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 B C 0 1 1 0 0 1 1 0 A(B C ) 0 1 1 0 1 0 0 1

Vemos que las columnas correspondientes a (AB )C y A(B C ) coinciden. Eso signica que cualesquiera que sean los conjuntos A, B y C se tiene que (AB )C = A(B C ). Esto que acabamos de hacer es una forma de demostrar igualdades o identidades entre conjuntos. A continuacin enumeramos una serie de propiedades referentes a las operaciones que hemos visto entre conjuntos. Propiedades. Sea X un conjunto y A, B y C subconjuntos de X . Entonces: 1. A B = B A. 2. A B = B A.
Departamento de lgebra

1.1. Conjuntos 3. A (B C ) = (A B ) C = A B C . 4. A (B C ) = (A B ) C = A B C . 5. A A = A. 6. A A = A. 7. A (A B ) = A. 8. A (A B ) = A. 9. A (B C ) = (A B ) (A C ). 10. A (B C ) = (A B ) (A C ). 11. A = A. 12. A = . 13. Si A B entonces A B = B (comparar con 7. y 11.). 14. Si A B entonces A B = A (comparar con 8. y 12.). 15. A = A. 16. X = . 17. = X . 18. A A = X . 19. A A = . 20. A B = A B . 21. A B = A B . 22. A \ (B C ) = (A \ B ) (A \ C ). 23. A \ (B C ) = (A \ B ) (A \ C ). 24. A = A 25. AA = . 26. (AB )C = A(B C ). 27. AB = B A. 28. AC = B C = A = B . 29. A (B C ) = (A B )(A C ). 30. A B A C y A B A C entonces B C .

Podramos enumerar muchas propiedades ms. Las dos tcnicas de demostracin vistas en esta seccin pueden usarse para probarlas. Vamos a ver algunos ejemplos. Ejemplo 1.1.6. 1. Vamos a comprobar que A \ (B C ) = (A \ B ) (A \ C ) para cualesquiera conjuntos A, B , C .
Jess Garca Miranda

CAPTULO 1. CONJUNTOS, APLICACIONES Y RELACIONES Doble inclusin. Demostremos que A \ (B C ) (A \ B ) (A \ C ). Para eso, veremos que todo elemento de A \ (B C ) es un elemento de (A \ B ) (A \ C ). Sea x A \ (B C ). Entonces, x A y x B C . Puesto que x B C entonces x no puede perteneces a B y x no puede perteneces a C ; es decir, x B y x C . Por tanto, tenemos por una parte que x A y x B , luego x A \ B ; y por otra que x A y x C , de donde x A \ C . Deducimos entonces que x (A \ B ) (A \ C ) Demostremos ahora que (A \ B ) (A \ C ) A \ (B C ). Sea x (A \ B ) (A \ C ). Entonces x A \ B y x A \ C . Es decir, x A, x B y x C . Por tanto, x A y x B C (pues no pertenece a B ni a C ). Entonces x A \ (B C ), como queramos. Tablas de pertenencia. A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 BC 0 1 1 1 0 1 1 1 A \ (B C) A \ B 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 A\C 0 0 0 0 1 0 1 0 (A \ B) (A \ C) 0 0 0 0 1 0 0 0

Al ver que las columnas correspondientes a A \ (B C ) y (A \ B ) (A \ C ) son iguales, concluimos que ambos conjuntos son siempre iguales. Identidades entre conjuntos. A \ (B C ) = A (B C ) = A (B C ) Propiedad 20. Ley de "de Morgan" = ABC Propiedad 4. Asociativa. = ABAC Propiedad 6. Idempotencia. = (A B ) (A C ) Propiedad 4. Asociativa = (A \ B ) (A \ C ) Supongamos que nos piden estudiar qu relacin existe entre los conjuntos A (B \ C ) y (A B ) \ (A C ). En primer lugar, tomamos tres conjuntos A, B y C y vemos si podemos encontrar alguna relacin. Por ejemplo: Sean A = {1, 2, 3, 4, 5}, B = {3, 4, 6, 7, 8} y C = {4, 7, 8, 9, 10}. Entonces B \ C = {3, 6}, luego A (B \ C ) = {1, 2, 3, 4, 5, 6}, mientras que A B = {1, 2, 3, 4, 5, 6, 7, 8}, A C = {1, 2, 3, 4, 5, 7, 8, 9, 10} y (A B ) \ (A C ) = {6}. Vemos entonces que los conjuntos no son iguales. Pero podra darse el caso de que (A B ) \ (A C ) A (B \ C ). Vamos a comprobar que efectivamente, se tiene esa inclusin. Supongamos que x (A B ) \ (A C ). Entonces, x (A B ) y x A C . Por tanto, x no puede pertences a A y tampoco a C . Es decir, x C , y claramente x B , de donde deducimos que x B \ C . Entonces se tiene que x A (B \ C ). Tambin podemos comprobarlo usando las tablas de pertenencia. A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 AB 0 0 1 1 1 1 1 1 AC 0 1 0 1 1 1 1 1 (A B) \ (A C) B \ C 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 A (B \ C) 0 0 1 0 1 1 1 1

Departamento de lgebra

1.1. Conjuntos 9 Y vemos como en las las en las que hay un uno en la columna correspondiente a (A B ) \ (A C ) (en este caso, slo la tercera la), tambin hay un uno en la columna a A (B \ C ). Vamos a jarnos un poco ms en esta tabla, y en los conjuntos que hemos puesto como ejemplo. Vemos que el conjunto (A B ) \ (A C ) tena un solo elemento, el 6. Este elemento se corresponde con el nico elemento que pertenece a B , y que no pertenece ni a A y a C . Esto es as porque el nico uno de la columna (A B ) \ (A C ) se encuentra en la tercera la, en la que tenemos un cero en la columna A, un uno en la columna B y un cero en la columna C . En cambio, el conjunto A (B \ C ) tiene seis elementos, que son el 1, el 2, el 3, el 4, el 5 y el 6. El 1 y el 2 pertenecen slo a A (no pertenecen ni a B ni a C , y se corresponden con el 1 que aparece en la quinta la. El 5 se corresponde con el uno de la sexta la (el 5 pertenece a A y a C , pero no a B ). El 3 se corresponde con el uno de la sptima la (pertenece a A y B , pero no a C . Y el 4 se corresponde con el uno de la ltima la (pertenece a A, a B y a C ).

1.1.3.

Producto cartesiano

Denicin 9. Dados dos conjuntos A y B denimos el conjunto producto cartesiano A B como el conjunto cuyos elementos son parejas, donde la primera componente pertenece a A y la segunda componente pertenece a B . Es decir: A B = {(a, b) : a A; b B } Ejemplo 1.1.7. Por ejemplo, si A = {0, 2, 4} y B = {1, 2} entonces A B = {(0, 1), (2, 1), (4, 1), (0, 2), (2, 2), (4, 2)} De forma anloga puede denirse el producto cartesiano de tres o ms conjuntos. Incluso podra denirse el producto cartesiano de innitos conjuntos. Normalmente, el producto cartesiano de un conjunto A por s mismo ser denotado como A2 ; el producto A A A como A3 , y Ak el producto cartesiano de A consigo mismo k veces. Por ejemplo: A2 = {(0, 0), (0, 2), (0, 4), (2, 0), (2, 2), (2, 4), (4, 0), (4, 2), (4, 4)} B 3 = {(1, 1, 1), (1, 1, 2), (1, 2, 1), (1, 2, 2), (2, 1, 1), (2, 1, 2), (2, 2, 1), (2, 2, 2)} Si X = o Y = entonces X Y = . Si A es un conjunto, consideramos el producto cartesiano A2 = A A. Denimos la diagonal como el subconjunto de A2 siguiente: A = {(a, a) : a A} Es decir, A es el conjunto de parejas de A donde las dos coordenadas son iguales. Por ejemplo, si A = {1, 2, 3, 5, 7} entonces A = {(1, 1), (2, 2), (3, 3), (5, 5), (7, 7)}. Cuando no haya lugar a la confusin, escribiremos en lugar de A . Algunas propiedades referentes al producto cartesiano de conjuntos: Propiedades: Sean X e Y dos conjuntos, y A, C X , y B, D Y . Entonces: 1. A B X Y . 2. (A C ) Y = (A Y ) (B Y ) y X (B D) = (X B ) (X D). 3. (A B ) (C D) (A C ) (B Y ). 4. (A C ) Y = (A Y ) (C Y ) y X (B D) = (X B ) (X D) 5. (A B ) (C D) = (A C ) (B D). La inclusin del apartado tercero puede ser estricta. Da un ejemplo en el que no se de la igualdad.
Jess Garca Miranda

10

CAPTULO 1. CONJUNTOS, APLICACIONES Y RELACIONES

1.2.
1.2.1.

Aplicaciones
Denicin y ejemplos.

Supongamos que tenemos dos conjuntos X e Y , y que para cada elemento x X , hemos elegido un elemento (y slo uno) y Y . Eso es lo que vamos a llamar una una aplicacin de X en Y . Denicin 10. Una aplicacin de X en Y es una forma de asignar, a cada elemento de X , un elemento (y slo uno) de Y . Si llamamos f a una aplicacin de X en Y , y x X , el elemento y Y que le asignamos a este elemento lo denotaremos como f (x), y leeremos f de x. Diremos que este elemento es la imagen por (la aplicacin) f del elemento x. Cuando tengamos una aplicacin f , de X en Y , escribiremos f : X Y , o X Y . Al conjunto X se le llama dominio de la aplicacin, mientras que al conjunto Y codominio. Ejemplo 1.2.1. Cuando somos pequeitos, y nos bautizan, o nos inscriben en el registro civil, nos asignan una (o ms) palabras que dicen que es nuestro nombre (vamos a suponer que todos tenemos nombres simples). Esta asignacin, salvo casos excepcionales, nos marca de por vida. Tenemos de esta forma una aplicacin del conjunto de las personas en el conjunto de palabras. Ms adelante, se nos asigna un nmero natural que ser el que nos identique. As tenemos una aplicacin del conjunto de los espaoles mayores de 18 aos en el conjunto de los nmeros naturales. A cada nmero natural le vamos a asignar su doble. Vamos a llamar f a esta asignacin. Tenemos entonces que f es una aplicacin N N. Para cada nmero natural n su imagen por f es 2n, es decir, f (n) = 2n. Podramos haber descrito esta aplicacin como sigue: Sea f : N N la aplicacin dada por (o denida por) f (n) = 2n (o denida por n 2n). Podemos ver entonces f como una regla, o como una mquina, que transforma cada elemento de X en un elemento de Y (en el ejemplo precedente cada nmero natural en un nmero natural). Sobre las posibles reglas no hay restriccin alguna. Podemos elegir una regla, como la de asignar a cada nmero su doble, o simplemente, ir eligiendo una a una la imagen de cada elemento, sin ningn criterio aparente. As, podemos tener la aplicacin que asigne al cero el valor 35, al uno el valor 26, al dos el valor 99, al tres el valor 638, al cuatro el valor 2411. Y as podramos seguir deniendo la imagen de cualquier otro nmero. Claro, que de esta forma nicamente tenemos denida la aplicacin para aquellos valores de los que hemos dicho explcitamente su imagen.
Podra decirse que la aplicacin anterior es la que asigna a cada nmero natural n menor o igual que cuatro, el nmero 16n4 32n3 + 25n2 18n + 35. En tal caso, podramos considerar la aplicacin f N N dada por f (n) = 16n4 32n3 + 25n2 18n + 35 o cualquier otra expresin que satisfaga las cinco condiciones dadas (habra en este caso que comprobar que si n N entonces 16n4 32n3 + 25n2 18n + 35 N). Tambin podra haberse denido la aplicacin como f (0) = 35, f (1) = 26, f (2) = 99, f (3) = 638, f (4) = 2411 y f (n) = n si n 5.
f

Para dar una aplicacin X Y , podemos, bien dar explcitamente la imagen de cada uno de los elementos X , bien dando una regla (o varias) que nos digan cmo calcular la imagen de cada elemento del dominio. Ejemplo 1.2.2. 1. Sea X = {1, 2, 3, 4, 5}, Y = {1, 2, 3, 4, 5} y f : X Y la aplicacin dada por f (1) = 5, f (2) = 2, f (3) = 1, f (4) = 2 y f (5) = 5. En este caso, hemos dado explcitamente la imagen de cada uno de los elementos del dominio. Tambin podramos haberlo escrito diciendo que f es la aplicacin denida por 1 5, 2 2, 3 1, 4 2, 5 5. 2. La misma aplicacin que acabamos de dar, la podramos haber descrito como la aplicacin f : X Y dada por f (x) = x2 6x + 10. En este caso, hemos dado la aplicacin mediante una regla que nos permite calcular f (x) a partir de cualquier elemento x X .
Departamento de lgebra

1.2. Aplicaciones 3. Sea G : N N la aplicacin g (n) = n+1 n1 si n es par. si n es impar.

11

Es decir, g (0) = 1, g (1) = 0, g (2) = 3, g (3) = 2, etc. En este caso, la aplicacin la hemos denido mediante dos reglas. Una que nos permite calcular la imagen de los nmeros pares, y otra que nos permite calcular la imagen de los nmeros impares. Esta misma aplicacin la podramos haber denido mediante una nica regla, que sera g (n) = n + (1)n . Denicin 11. Si f : X Y es una aplicacin, se dene el grafo de f como el conjunto: G(f ) = {(x, f (x)) : x X } es decir, las parejas formadas por un elemento y su imagen. Notemos que G(f ) es un subconjunto de X Y . Muchos autores denen una aplicacin a partir de su grafo. Una aplicacin de X en Y sera un subconjunto G de X Y de forma que para cualquier x X existe un nico elemento y Y tal que (x, y ) G. Ejemplo 1.2.3. Por ejemplo, si X = {1, 2, 3}, Y = {a, b, c, d} y f : X Y es la aplicacin dada por f (1) = b, f (2) = c y f (3) = b, entonces G(f ) = {(1, b), (2, c), (3, b)}. Notemos que el conjunto {(1, b), (2, c), (3, b)} determina totalmente a la aplicacin f . Para cualquier conjunto X tenemos una aplicacin X X dada por x x. Esta aplicacin se conoce como aplicacin identidad, y se denota como IdX o 1X . En este caso, el grafo de la aplicacin es el conjunto diagonal X . Si A es un subconjunto de un conjunto X , tenemos la aplicacin i : A X denida como i(x) = x. Esta aplicacin se conoce como aplicacin inclusin. Como caso especial, consideramos que para cualquier conjunto X hay una aplicacin X . Su grafo es el nico subconjunto de X = . La siguiente regla a b a + b no dene ninguna aplicacin Q Z, ya que no determina de forma 1 2 nica la imagen de un elemento. Por ejemplo, 1 2 podra tener como imagen a 3, a 6 (pues 2 = 4 ), a 3 y en general a cualquier mltiplo no nulo de 3. El nico elemento que tendra determinada su imagen es 1.

1.2.2.

Imagen directa e imagen inversa.

Denicin 12. Sea f : X Y . Denimos entonces dos nuevas aplicaciones. f : P ( X ) P ( Y ) f : P (Y ) P (X )

f (A) = {f (x) : x A} f (B ) = {x X |f (x) B }

Es decir, si A es un subconjunto de X , entonces f (A) es el conjunto formado por todas las imgenes de los elementos de A, mientras que f (B ) est formado por todos los elementos de X cuyas imgenes pertenecen a B . Las aplicaciones f y f se conocen como aplicaciones imagen directa e imagen iversa respectivamente. Al conjunto f (X ) se le conoce como la imagen de f . Ser denotado como Im(f ). Algunos autores escriben f (A) en lugar de f (A) y f 1 (B ) en lugar de f (B ). Ejemplo 1.2.4. 1. Sea E el conjunto de todos los ciudadanos espaoles, y f : E N la aplicacin que asocia a cada persona su edad en aos. Sea B = {18, 19, , 111}. Entonces f (B ) es el conjunto de todos los espaoles cuya edad est comprendida entre 18 y 111 aos. Si suponemos que no hay nadie que tenga 112 aos o ms, entonces f (B ) es el conjunto de todos los espaoles mayores de edad, y por tanto que tienen derecho a voto.
Jess Garca Miranda

12

CAPTULO 1. CONJUNTOS, APLICACIONES Y RELACIONES 2. Sea g : Z N la aplicacin dada por g (x) = x2 . Sean A1 = {0, 1, 2}, A2 = {3, 1, 0, 3}, B1 = {1, 2, 3, 4} y B2 = {3, 5, 7}. Entonces: g (A1 ) = {0, 1, 4}, pues g (0) = 0, g (1) = 1 y g (2) = 4. g (A2 ) = {0, 1, 9}, pues g (0) = 0, g (1) = 1 y g (3) = g (3) = 9. g (B1 ) = {1, 1, 2, 2} pues g (1) = g (1) = 1 B1 , g (2) = g (2) = 4 B1 , y no hay ningn otro nmero entero cuya imagen por g pertenezca a B1 . g (B2 ) = , pues no hay ningn nmero entero cuyo cuadrado sea 3, 5 7. Propiedades. Sean X e Y dos conjuntos, A1 , A2 X y B1 , B2 Y y f : X Y una aplicacin. Entonces: 1. f (A1 A2 ) = f (A1 ) f (A2 ). 2. f (A1 A2 ) f (A1 ) f (A2 ). 3. f (B1 B2 ) = f (B1 ) f (B2 ). 4. f (B1 B2 ) = f (B1 ) f (B2 ). 5. f (B1 ) = f (B1 ). 6. A1 f (f (A1 )). 7. f (f (B1 )) B1 .

Vamos a demostrar, por ejemplo, la nmero 4. Como es una igualdad lo haremos por doble inclusin. Sea x f (B1 B2 ). Entonces f (x) B1 B2 , luego f (x) B1 y f (x) B2 . Ahora bien, si f (x) B1 entonces x f (B1 ) (pues su imagen est en B1 ), y de la misma forma x f (B2 ), luego x pertenece a la interseccin de ambos, es decir, x f (B1 ) f (B2 ). Recprocamente, si x f (B1 ) f (B2 ) entonces x f (B1 ) y x f (B2 ), luego f (x) B1 y f (x) B2 , es decir, f (x) B1 B2 lo que nos dice que x f (B1 B2 ). En los casos en que se ha puesto una inclusin es porque la otra inclusin no tiene porqu darse. As, si consideramos la aplicacin del ejemplo anterior, tenemos que

A1 A2 = {0};

f (A1 A2 ) = {0} mientras que f (A1 ) f (A2 ) = {0, 1, 9} {0, 1, 4} = {0, 1}

Aunque vemos en el ejemplo que la inclusin es estricta, no podemos poner como propiedad que f (A1 A2 ) f (A1 ) f (A2 ), ya que hay casos en los que s se da la igualdad (toma el mismo ejemplo, pero incluyendo en A2 el elemento 1).

1.2.3.

Composicin de aplicaciones.

Supongamos que tenemos una aplicacin f : X Y y otra aplicacin g : Y Z . Si tomamos un elemento x X , por la aplicacin f le asignamos el elemento y = f (x). Como este elemento pertenece a Y , por la aplicacin g se le asigna el elemento g (y ) = g (f (x)) Z . Tenemos entonces una forma de hacerle corresponder a cada elemento de X un elemento de Z , es decir, tenemos una aplicacin X Z . Esta aplicacin se conoce como la composicin de f y g . Formalmente: Denicin 13. Sean X , Y , Z conjuntos, y f : X Y y g : Y Z dos aplicaciones. Se dene la aplicacin composicin de f y g como la aplicacin g f : X Z dada por (g f )(x) = g (f (x)). Ejemplo 1.2.5. Por ejemplo. Sean f : N N y g : N N las aplicaciones dadas por f (n) = n + 1, y g (n) = n2 . Entonces (g f )(n) = g (f (n)) = g (n + 1) = (n + 1)2 , mientras que (f g )(n) = f (n2 ) = n2 + 1. Como en general n2 + 1 = (n + 1)2 podemos concluir que g f = f g .
Departamento de lgebra

1.2. Aplicaciones 13 Vemos con el ejemplo anterior que la composicin de aplicaciones no es conmutativa. De hecho, pudiera ocurrir que g f existiera, pero que f g no estuviera denida. Por ejemplo, si f : X Y y g : Y Z y X = Z , entonces la composicin f g no tiene sentido. Tambin puede ocurrir que existiendo ambas, dominio y codominio fueran diferentes. Por ejemplo, tenemos f : X Y y g : Y X . En tal caso, tenemos g f : X X y f g : Y Y . Si Y = X , el dominio y codominio de g f es distinto del dominio y codominio de f g . Pero an en el caso de que existan ambas composiciones, y que dominio y codominio coincidieran, las dos composiciones pueden ser diferentes, como hemos visto en el ejemplo precedente. Propiedades. Para cualquier aplicacin f : X Y se verica que f IdX = IdY f = f . La composicin de aplicaciones es asociativa, es decir, si tenemos f : X Y , g : Y Z y h : Z W entonces h (g f ) = (h g ) f . Ejemplo 1.2.6. Sean f : N Z, g : Z N y h : N N las aplicaciones dadas por f (n) = n2 5, g (n) = n2 + 1 y h(n) = n + 1. Entonces: - (g f )(n) = g (f (n)) = g (n2 5) = (n2 5)2 + 1 = n4 10n2 + 25 + 1 = n4 10n2 + 26. - (h (g f ))(n) = h((g f )(n)) = h(n4 10n2 + 26) = n4 10n2 + 27. - (h g )(n) = h(n2 + 1) = n2 + 2. - ((h g ) f )(n) = (h g )(f (n)) = (h g )(n2 5) = (n2 5)2 + 2 = n4 10n2 + 25 + 2 = n4 10n2 + 27. Dada una aplicacin f : X X , denotaremos como f 2 a la composicin f f . Ms en general, denimos: f 0 = IdX f n+1 = f n f

Ejemplo 1.2.7. Si f : N N es la aplicacin dada por f (n) = 2n + 1, entonces f 2 (n) = f (f (n)) = f (2n + 1) = 2(2n + 1) + 1 = 4n + 3, f 3 (n) = f 2 (f (n)) = f 2 (2n + 1) = 4(2n + 1) + 3 = 8n + 7. En general, puede verse que f k (n) = 2k n + 2k 1. Comprueba esta armacin por induccin.

1.2.4.

Aplicaciones inyectivas, sobreyectivas y biyectivas.

Aplicaciones inyectivas. Denicin 14. Una aplicacin f : X Y se dice inyectiva cuando elementos distintos del dominio dan lugar a imgenes distintas. Es decir, dados x1 , x2 X , x1 = x2 = f (x1 ) = f (x2 ). O lo que es lo mismo, f (x1 ) = f (x2 ) = x1 = x2 . Tambin podra haberse denido una aplicacin inyectiva como aquella aplicacin tal que para cada y Y el conjunto f ({y }) tiene a lo sumo un elemento. Ejemplo 1.2.8. 1. La aplicacin f : N N dada por f (n) = 2n es inyectiva, pues dos nmeros distintos no pueden tener el mismo doble. Es decir, n = n = 2n = 2n . 2. La aplicacin f : N N dada por f (n) = n2 es inyectiva, mientras que g : Z Z dada por g (n) = n2 no lo es, pues g (1) = g (1) (es decir, dos elementos distintos tienen la misma imagen). 3. Sea B el conjunto de todos los estudiantes matriculados en la asignatura ALEM de 1o B del grado en Ingeniera Informtica en la Universidad de Granada, y D el conjunto de los 366 das del ao. Sea n : B D la aplicacin que a cada estudiante le hace corresponder el da que naci. Apostara 20 euros a que la aplicacin n no es inyectiva, es decir, hay dos estudiantes que han nacido el mismo da (aunque posiblemente de distinto ao). Propiedades. Para cualquier conjunto X , la aplicacin IdX es inyectiva. La composicin de aplicaciones inyectivas es inyectiva. Si g f es inyectiva, entonces podemos asegurar que f lo es, pero g podra serlo o no.
Jess Garca Miranda

CAPTULO 1. CONJUNTOS, APLICACIONES Y RELACIONES Ejemplo 1.2.9. Sean X = {1, 2, 3}, Y = {a, b, c, d} y Z = {0, 2, 4, 6, 8}. Consideramos las aplicaciones f : X Y dada por f (1) = a, f (2) = c y f (3) = d y g : Y Z dada por g (a) = 0, g (b) = 4, g (c) = 4, g (d) = 8. Entonces g f es inyectiva (la imagen de 1 es 0, la imagen de 2 es 4 y la imagen de 3 es 8), mientras que g no lo es, ya que g (b) = g (c).
14

Aplicaciones sobreyectivas. Denicin 15. Sea f : X Y . Se dice que f es sobreyectiva si para cualquier y Y existe x X tal que f (x) = y (es decir, para cualquier y Y el conjunto f ({y }) tiene al menos un elementos - es distinto del conjunto vaco -). Ejemplo 1.2.10. 1. La aplicacin f : Z N dada por f (x) = |x| es sobreyectiva, pues para cualquier nmero natural n hay un nmero entero (el propio n, o n) cuyo valor absoluto es n. Esta aplicacin no es inyectiva, pues f (2) = f (2). 2. La aplicacin f : Z Z x x + 1 es sobreyectiva, pues dado un nmero entero y , hay otro nmero entero x = y 1 tal que f (x) = y . Sin embargo, la aplicacin f : N N dada por f (n) = n + 1 no es sobreyectiva, pues no hay ningn nmero natural que al sumarle 1 nos de 0. 3. La aplicacin n : B D denida en el ejemplo 1.2.8 no es sobreyectiva, pues al ser el nmero de estudiantes de primero B menor de 366, tiene que haber das del ao en que no haya nacido ninguno de estos estudiantes. Propiedades. Para cualquier conjunto X , la aplicacin IdX es sobreyectiva. La composicin de aplicaciones sobreyectivas es sobreyectiva. Si f : X Y , g : Y Z son aplicaciones tales que g f es sobreyectiva, entonces tambin lo es g , pues dado z Z sabemos que existe x X tal que g (f (x)) = z . Basta tomar y = f (x) y se tiene que g (y ) = z . Ejemplo 1.2.11. Tomamos, por ejemplo, f : N N la aplicacin n 2n, y g : N N la aplicacin n E (n/2) (donde E (x) denota la parte entera de x). Entonces (g f )(n) = g (f (n)) = g (2n) = E (2n/2) = E (n) = n, luego g f = IdN que es sobreyectiva. Es claro que f no lo es. Aplicaciones biyectivas. Aplicacin inversa. Denicin 16. Una aplicacin f : X Y se dice que es biyectiva si es inyectiva y sobreyectiva. O lo que es lo mismo, para cada y Y , el conjunto f ({y }) tiene exactamente un elemento. Ejemplo 1.2.12. La aplicacin f : Z Z dada por f (x) = x + 2 es biyectiva, mientras que la aplicacin f : N N n n + 2 no lo es, pues no es sobreyectiva. La aplicacin f : Q Q denida como f (x) = 2x es biyectiva. La misma expresin, pero tomando como dominio y codominio Z dene una aplicacin que no es biyectiva (pues no es sobreyectiva). Propiedades. Para cualquier conjunto X la aplicacin IdX es biyectiva. La composicin de aplicaciones biyectivas es una aplicacin biyectiva. Si f : X Y y g : Y Z son aplicaciones tales que g f es biyectiva, lo ms que podemos asegurar es que f es inyectiva y que g es sobreyectiva. Denicin 17. Sea f : X Y una aplicacin. Se dice que f tiene inversa si existe g : Y X tal que g f = IdX y f g = IdY . Ejemplo 1.2.13. La aplicacin f : Z Z x x + 2 tiene como inversa la aplicacin g : Z Z x x 2. Para cualquier conjunto X la aplicacin IdX : X X tiene como inversa a ella misma.
Departamento de lgebra

1.2. Aplicaciones 15 Propiedad. Dada una aplicacin f : X Y se tiene que f tiene inversa si, y slo si, f es biyectiva. Vamos a demostrarlo. Supongamos que f tiene inversa. Sea g : Y X una inversa. Entonces f g = IdY , luego f g es sobreyectiva. Vimos antes que en ese caso f es sobreyectiva. Tambin g f = IdX , luego g f es inyectiva, lo que implica que f es inyectiva. Por tanto, f es inyectiva y sobreyectiva. Recprocamente, supongamos ahora que f es biyectiva. Vamos a denir g : Y X . Para esto, sea y Y . Por ser f sobreyectiva, f ({y }) es distinto del vaco, y por ser f inyectiva, f ({y }) tiene a lo sumo un elemento, luego f ({y }) tiene exactamente un elemento. Denimos g (y ) como el nico elemento que pertenece a f ({y }). Es fcil comprobar que g , as denida, es una inversa para f . Ejemplo 1.2.14. Consideramos f : N N la aplicacin denida como f (n) = 2n. Esta aplicacin es inyectiva, pero no sobreyectiva (pues el 1 no pertenece a la imagen de f ). Vimos que si tomamos la aplicacin g : N N n E (n/2) se tiene que g f = IdN . Esta aplicacin no es una inversa para f , aunque g f = IdN , ya que f g = IdN (por ejemplo, (f g )(3) = f (g (3)) = f (1) = 2). La aplicacin g se dice que es una inversa por la izquierda de f . De la misma forma se dice que la aplicacin f es una inversa por la derecha de g . Puede demostrarse que una aplicacin f es inyectiva si, y slo si, tiene inversas por la izquierda, y es sobreyectiva si, y slo si, tiene inversas por la derecha. Una aplicacin f : X Y puede tener varias inversas por la izquierda o varias inversas por la derecha. Pero si tiene inversa por la izquierda y por la derecha, entonces ambas deben coincidir, pues si g : Y X es una inversa por la derecha y h : Y X es una inversa por la izquierda, se tiene que g = IdX g = (h f ) g = h (f g ) = h IdY = h. De aqu deducimos que si una aplicacin tiene inversa, entonces slo puede tener una. A esta aplicacin la denotaremos como f 1 . Ejemplo 1.2.15. Sean X = {1, 2} e Y = {a, b, c}, y f : X Y la aplicacin dada por f (1) = b, f (2) = a. Entonces f es inyectiva, y por lo dicho antes tiene inversa por la izquierda. En este caso tiene 2 inversas por la izquierda, que son: Y X a2 b1 c1
g1

Y X a2 b1 c2

g2

La aplicacin g1 es sobreyectiva. Por tanto tiene inversa por la derecha. Una de ellas es f , pero tiene otra, que es la dada por 1 c, 2 a. Tambin g2 tiene dos inversas por la derecha. Aparte de f , la dada por 1 b, 2 c. La aplicacin f : N N denida como f (n) = 2n tiene innitas inversas por la izquierda (y por tanto no puede tener inversa por la derecha). Supongamos que f : X Y y g : Y Z son dos aplicaciones biyectivas. Sabemos entonces que tanto f como g tienen inversa. Sabemos tambin que la composicin g f es biyectiva, luego tiene inversa. En tal caso se tiene que (g f )1 = f 1 g 1 Ejemplo 1.2.16. Sea f : Q Q la aplicacin f (x) = x 2, y g : Q Q la aplicacin dada por g (x) = 3x. Tanto f como g son biyectivas, y sus inversas vienen dadas por f 1 (x) = x + 2 y g 1 (x) = x 3. Si realizamos la composicin g f nos queda que (g f )(x) = g (x 2) = 3x 6. Esta aplicacin es biyectiva, y su inversa es la aplicacin x x+6 3 . Por otra parte, se tiene que x x+6 (f 1 g 1 )(x) = f 1 (g 1 (x)) = f 1 ( x 3) = 3 + 2 = 3 1 1 es decir, f g es la aplicacin inversa de g f . Si realizamos la composicin en el otro sentido, nos queda (g 1 f 1 )(x) = g 1 (x + 2) = x+2 3 que no es la inversa de g f . Dado un conjunto X , denimos la aplicacin f : P (X ) P (X ) como f (A) = A. En ese caso, se tiene que (f f )(A) = f (f (A)) = f (A) = A = A. Por tanto, f f = IdP (X ) , y por tanto f es una biyeccin cuya inversa es ella misma.
Jess Garca Miranda

16

CAPTULO 1. CONJUNTOS, APLICACIONES Y RELACIONES Si X es un conjunto y A un subconjunto de X , denimos la aplicacin fA : P (X ) P (X ) como fA (B ) = AB . Entonces f es una biyeccin. Como ejercicio, encuentra su inversa.

1.2.5.

Cardinales.

Sea f : X Y una aplicacin inyectiva. Eso signica que dos elementos distintos de X dan lugar (por la aplicacin f ) a dos elementos distintos de Y . Por tanto, el conjunto Y debe tener ms elementos (o quiz los mismos) que X . De la misma forma, si f : X Y es una aplicacin sobreyectiva, entonces el nmero de elementos de X debe ser mayor o igual que el nmero de elementos de Y , pues por cada elemento y Y tenemos uno o ms elementos de X (los que pertenecen a f ({y })). Por tanto, si f : X Y es una aplicacin biyectiva, el nmero de elementos de X debe ser igual al nmero de elementos de Y . Sea n un nmero natural. Vamos a llamar n al conjunto n = {0, 1, 2, , n 1} (el conjunto 0 es el conjunto vaco). El nmero de elementos de n es n. Denicin 18. Sea X un conjunto. Diremos que X tiene cardinal n (es decir, que X tiene n elementos) si existe una biyeccin n X . En tal caso escribiremos |X | = n. Notemos que cuando damos una biyeccin n X lo que estamos haciendo es contar los elementos de X (empezando por cero) tal y como nosotros hemos contado siempre los elementos de un conjunto. Esta denicin es coherente, en el sentido que si tuviramos dos biyecciones m X y n X entonces m = n (es decir, a la hora de contar los elementos de un conjunto da igual por cual empecemos y el orden en que los contemos. Siempre llegaremos al mismo resultado). La armacin anterior, aunque intuitivamente muy clara tiene una demostracin un poco complicada. Cardinal de la unin de conjuntos. Si A y B son dos conjuntos disjuntos, entonces |A B | = |A| + |B |. La idea est clara. Al contar los elementos de A B , y no haber ninguno en comn, sale exactamente la suma del nmero de elementos de A y el nmero de elementos de B . Si m es el cardinal de A y n el cardinal de B , cuando contamos los elementos de la unin, primero contamos los de A (y llegamos hasta m 1), y a continuacin contamos los de B (pero siguiendo por m). LLegaremos entonces hasta m + n 1. Luego |A B | = m + n = |A| + |B |. Ms formalmente, si f : m A y g : n B son dos biyecciones. Entonces la aplicacin h : m + n AB h(x) = f (x) g (x m) si x < m si x m

es una biyeccin. Vamos ahora a calcular cuando vale |A B | sin que necesariamente A B sea igual al conjunto vaco. Intuitivamente, si sumamos el cardinal de A y el cardinal de B , los elementos de A B los estamos contando dos veces, luego habr que restarlos una vez para haber contado todos los elementos de A B exactamente una vez. Por tanto, |A B | = |A| + |B | |A B |. Una demostracin de esto podra ser como sigue. En primer lugar, se tiene que es fcil comprobar que A = (A \ B ) (A B ), y que (A \ B ) (A B ) = . Por tanto, |A| = |A \ B | + |A B |, luego |A \ B | = |A| |A B |. De la misma forma, |B \ A| = |B | |A B |. Puesto que A B = (A \ B ) (B \ A) (A B ) y la interseccin de dos cualesquiera de estos conjuntos es el conjunto vaco se tiene que |A B | = |A \ B | + |B \ A| + |A B | = |A| |A B | + |B | |A B | + |A B | = |A| + |B | |A B | Cardinal del producto cartesiano. En cuanto al producto cartesiano, se tiene que |A B | = |A| |B |. Si A = {a1 , , am } y B = {b1 , , bn }, por cada elemento ai A tenemos n elementos (ai , b1 ), , (ai , bn ) de A B . Por tanto, el cardinal del producto cartesiano debe ser el producto de cada uno de los factores, es decir: |A B | = |A| |B |
Departamento de lgebra

1.2. Aplicaciones Para comprobarlo, vamos a ver que existe una biyeccin f : m n p, donde p = m n. Esta biyeccin viene dada por f (x, y ) = x + m y . f (0, 0) = 0 f (0, 1) = m ..................... f (0, n 1) = mn m f (1, 0) = 1 f (1, 1) = m + 1 ......................... f (1, n 1) = mn m + 1 f (m 1, 0) = m 1 f (m 1, 1) = 2m 1 ......................... f (m 1, n 1) = mn 1

17

La inversa de f sera la aplicacin g : p m n z (z md m, z div m) Cardinal de un conjunto de aplicaciones. Por ltimo vamos a calcular el nmero de aplicaciones de X en Y en funcin del nmero de elementos de X y de Y . Supongamos que X = {a1 , , am } e Y = {b1 , , bn }. Entonces, para dar una aplicacin X Y debemos elegir el valor de f (a1 ), para lo cual tenemos n posibilidades; el valor de f (a2 ), para lo cual tenemos otras n posibilidades, y as hasta f (am ), para lo cual volvemos a tener n posibilidades. En total, podemos hacer un total de n n n = nm posibles aplicaciones. Una forma de demostrar esto, sera dar una biyeccin entre el conjunto Z = { : m n| es aplicacin} y el conjunto p, donde p = nm . Esta biyeccin podra ser: h() = (0) + (1) n + + (m 1) nm1 La inversa vendra dada como sigue: para un elemento x tal que 0 x < p, calculamos su expresin en base n, y nos quedara x = (am1 a1 a0 )n (donde am1 podra valer 0). Al elemento x le haramos corresponder la aplicacin : m n dada por (i) = ai . En base a esto, es usual, dado dos conjuntos X e Y , denotar como Y X al conjunto de todas las aplicaciones f : X Y . Cardinal del conjunto potencia. Finalmente, vamos a calcular el cardinal del conjunto P (X ) en funcin del cardinal de X . Sea X un conjunto de cardinal n. Supongamos que X = {a1 , a2 , , an }. Para cada subconjunto A X denimos la aplicacin caracterstica A : X {0, 1} como: A (ai ) = 1 0 si ai A si ai A

Por ejemplo, es la aplicacin constante 0, mientras que X es la aplicacin constante 1. Se tiene que A B si, y slo si, para cualquier a X , A (a) B (a). De esta forma, hemos denido una aplicacin P (X ) {0, 1}X A A que es biyectiva. Es inyectiva pues dos subconjuntos de X diferentes dan lugar a aplicaciones caractersticas diferentes, y es sobreyectiva pues cualquier aplicacin X {0, 1} es la aplicacin caracterstica de algn subconjunto de X (basta tomar la imagen inversa de {1}). Por tanto, ambos conjuntos tienen igual cardinal. Como el cardinal del segundo conjunto es 2|X | deducimos que |P (X )| = 2|X | . Por ejemplo, vamos a tomar X = {a, b, c}. Vamos a escribir todas las aplicaciones X {0, 1}, y el subconjunto de X con el que se corresponden: a0 b0 c0 A= a0 b0 c1 A = {c} a0 b1 c0 A = {b} a0 b1 c1 A = {b, c} a1 b0 c0 A = {a} a1 b0 c1 A = {a, c} a1 b1 c0 A = {a, b} a1 b1 c1 A = {a, b, c}

Jess Garca Miranda

18

CAPTULO 1. CONJUNTOS, APLICACIONES Y RELACIONES

1.3.

Relaciones

Denicin 19. Sea X un conjunto. Una relacin en X es un subconjunto de X X . Si R es una relacin en X , y (x, y ) R, escribiremos normalmente xRy , y diremos x est relacionado con y (con la relacin R). Si el elemento (x, y ) no pertenece a R, escribiremos x Ry . Para dar una relacin en un conjunto X , podemos, bien enumerar las parejas de elementos que estn relacionados, bien dar las condiciones que deben cumplir dos elementos para estar relacionados. Ejemplo 1.3.1. 1. Sea X = {0, 1, 2, 3, 4}, y la relacin R = {(0, 0), (0, 2), (0, 4), (2, 1), (2, 3), (4, 0), (4, 2), (4, 4)}. Entonces 0R0, 2R1, 1 R2, 3 R2, 4R2, 4 R3. En este caso que 0 est relacionado con 0, 2 est relacionado con 1, pero 1 no est relacionado con 2. Tambin podramos haber denido R como xRy si x + 2y es mltiplo de 4. De la primera forma hemos enumerado todas las parejas que estn relacionadas, mientras que en la segunda hemos dicho la condicin que deben cumplir dos elementos para estar relacionados. 2. En el mismo conjunto X , denimos la relacin R como xR y si x y . O si queremos, R = {(0, 0), (0, 1), (0, 2), (0, 3), (0, 4), (1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (3, 4), (4, 4)} Denicin 20. Si X es un conjunto, denimos la relacin como = {(x, x) : x X }. O si preferimos: xy si, y slo si, x = y . Si X es un conjunto y R una relacin en X , denimos la relacin inversa R1 como xR1 y si yRx. Si X es un conjunto, y R y S dos relaciones en X , denimos la relacin R S como x(R S )Y si existe z tal que xRz y zRy . Ejemplo 1.3.2. 1. Si R es la relacin del ejemplo anterior, entonces R1 = {(0, 0), (2, 0), (4,0), (1, 2), (3, 2), (0, 4), (2, 4), (4, 4)} R R = {(0, 0), (0, 1), (0, 3), (0, 2), (0, 4), (4, 0), (4, 1), (4, 2), (4, 3), (4, 4)}. Por ejemplo, 0(R R)2 pues 0R0 y 0R2 (hemos tomado z = 0). 4(R R)1 ya que 4R2 y 2R1 (aqu hemos tomado z = 2). 2. En el caso de la relacin R , se tiene que (R )1 = {(0, 0), (1, 0), (2, 0), (3, 0), (4, 0), (1, 1), (2, 1), (3, 1), (4, 1), (2, 2), (3, 2), (4, 2), (3, 3), (4, 3), (4, 4)} Mientras que R R = R. Denicin 21. Sea X un conjunto y R una relacin en X . Para cada x X denimos la clase de x como [x] = {y X : xRy }. Ejemplo 1.3.3. 1. Para la relacin R del ejemplo anterior tenemos que [0] = [4] = {0, 2, 4}. [1] = [3] = .
Departamento de lgebra

1.3. Relaciones [2] = {1, 3}. 2. Para la relacin R , se tiene: [0] = {0, 1, 2, 3, 4}. [1] = {1, 2, 3, 4}. [2] = {2, 3, 4}. [3] = {3, 4}. [4] = {4}. 3. Si X es un conjunto, y consideramos la relacin , entonces, para cada x X , [x] = {x}. Denicin 22. Sea X un conjunto. Una relacin R sobre X se dice: Reexiva: si para cualquier x X se tiene que xRx (o equivalentemente, R). Simtrica: si siempre que xRy se tiene que yRx (es decir, R R1 ) Antisimtrica: si xRy e yRx implica que x = y (es decir, R R1 ). Transitiva: si xRy e yRz implica que xRz (es decir, R R R). Ejemplo 1.3.4. 1. La relacin R del ejemplo anterior no es reexiva, pues 1 R1 ((1, 1) pero (1, 1) R). No es simtrica, pues 1R2 pero 2 R1 ((1, 2) R pero (1, 2) R1 ) No es antisimtrica, pues 0R4 y 4R0 y sin embargo, 0 = 4 ((0, 4) R R1 y (0, 4) ). No es transitiva, pues 0R2, 2R3 y sin embargo, 0 R3 ((0, 3) R R pero (0, 3) R).

19

2. Para cualquier conjunto X , la relacin es una relacin reexiva, simtrica, antisimtrica y transitiva. 3. En N, la relacin xRy si x + y es par es: - Reexiva, pues para cualquier x, x + x = 2x es par. - Simtrica, pues si x + y es par tambin lo es y + x. - Transitiva, pues si x + y es par e y + z es par, entonces x + z = (x + y ) + (y + z ) 2y , que es par. No es antisimtrica, pues 2R4 y 4R2. Podemos ver que [0] = {0, 2, 4, 6, } = 2N, y esta clase es igual a la de cualquier nmero par, y si x es un nmero impar, entonces [x] = {1, 3, 5, 7, }. 4. En N la relacin xRy si x < y es transitiva y antisimtrica, pero no es ni reexiva, ni simtrica. Para cualquier nmero natural x, la clase de x est formada por todos los nmeros mayores que x. 5. Si X es un conjunto, la relacin en P (X ) denida como ARB si A B es reexiva, antisimtrica y transitiva. Propiedad. Una relacin que sea simtrica y transitiva es reexiva, pues si xRy , por ser simtrica se tiene que yRx, y al ser transitiva deducimos que xRx. Ejemplo 1.3.5. En N denimos la relacin mRn si m n = 0. Esta relacin es simtrica (pues si m n = 0 entonces n m = 0) y es transitiva (ya que si m n = 0 y n p = 0 entonces m = 0 y p = 0, luego m p = 0. Sin embargo no es reexiva. Cuestin: Este ejemplo no es coherente con lo que acabamos de decir. Qu falla?. Vamos a centrarnos ahora en las llamadas relaciones de equivalencia. La relacin de equivalencia es una generalizacin del concepto de igualdad.
Jess Garca Miranda

CAPTULO 1. CONJUNTOS, APLICACIONES Y RELACIONES Denicin 23. Sea X un conjunto. Una relacin de equivalencia en X es una relacin reexiva, simtrica y transitiva.
20

Ejemplo 1.3.6. Para cualquier conjunto X , la relacin de igualdad (xRy si x = y ) es una relacin de equivalencia. La relacin xRy si x + y es par denida en N es una relacin de equivalencia. Sea m un nmero natural. Denimos en Z la relacin m como: x m y si m|(y x) Esta relacin es de equivalencia, pues es: Reexiva. Ya que para cualquier x Z se tiene que x m x, pues m|0. Simtrica. Pues si x m y signica que m|(y x), luego m| (y x), es decir, m|(x y ), y por tanto, y m x. Transitiva. Si x m y e y m z signica que tanto y x como z y son mltiplos de m, luego tambin lo es (y x) + (z y ) = z x. Es decir, x m z . Esta es la relacin de congruencia mdulo m. Si f : X Y es una aplicacin, denimos en X la relacin Rf como sigue: xRf y si f (x) = f (y ). Esta relacin es una relacin de equivalencia. En R2 se dene la relacin (x, y )R(x , y ) si |x| + |y | = |x | + |y |. Esta relacin es de equivalencia. Sea X = {1, 2, 3, 4, 5}. La relacin R = {(1, 1), (1, 2), (2, 1), (2, 2), (3, 3), (3, 4), (3, 5), (4, 3), (4, 4), (4, 5), (5, 3), (5, 4), (5, 5)} es de equivalencia. Si X es un conjunto y R una relacin de equivalencia en X , a la clase de un elemento x X la llamaremos clase de equivalencia del elemento x. Una relacin de equivalencia en un conjunto X clasica a los elementos del conjunto X . Esta clasicacin viene dada por las clases de equivalencia. Ejemplo 1.3.7. 1. Para cualquier relacin de equivalencia en un conjunto X , la clase de equivalencia de un elemento es distinta del vaco (pues el propio elemento pertenece a su clase, al ser la relacin reexiva). 2. Consideramos la relacin de igualdad en un conjunto X , que vimos que es de equivalencia. Entonces, para cualquier x X se tiene que [x] = {x}. 3. Vamos a calcular las clases de equivalencia para la relacin de congruencia mdulo m. Vamos a escribir [a]m para denotar la clase de equivalencia de a bajo la relacin m . Empezamos para m = 2. Tenemos que 0 2 x 2|(x 0) 2|x x es par Por tanto, [0]2 = {x Z : 0 2 x} = { , 4, 2, 0, 2, 4, 6, }. De la misma forma se comprueba que [1]2 = {x Z : 1 2 x} = { , 5, 3, 1, 1, 3, 5, }. Podemos ver que si x Z y x es par, entonces [x]2 = [0]2 , mientras que si x es impar entonces [x]2 = [1]2 .
Departamento de lgebra

1.3. Relaciones Si ahora lo hacemos para m = 3 tenemos que 0 3 x 3|(x 0) x = 3k para algn k Z Luego [0]3 = { , 6, 3, 0, 3, 6, }. De la misma forma se comprueba que [1]3 = { , 8, 5, 2, 1, 4, 7, } y que [2]3 = { , 7, 4, 1, 2, 5, 8, }. Para cualquier n Z, su clase de equivalencia coincide con alguna de estas tres. En general, se tiene que [0]m = { , 3m, 2m, m, 0, m, 2m, } = {n Z|n md m = 0} [1]m = { , 3m + 1, 2m + 1, m + 1, 1, m + 1, 2m + 1, } = {n Z|n md m = 1} [2]m = { , 3m + 2, 2m + 2, m + 2, 2, m + 2, 2m + 2, } = {n Z|n md m = 2}

21

[m 1]m = { , 2m 1, m 1, 1, m 1, 2m 1, 3m 1, } = {n Z|n md m = m 1} [n]m = [n md m]m . 4. Si X = {1, 2, 3, 4, 5} y R la relacin dada en el ejemplo 1.3.6 entonces se tiene que [1] = [2] = {1, 2} y [3] = [4] = [5] = {3, 4, 5}. Podemos considerar la aplicacin f : X X dada por 1 1, 2 1, 3 3, 4 3, 5 3. Entonces R = Rf . 5. Para la relacin R denida en R2 como (x, y )R(x , y ) si |x| + |y | = |x | + |y |, la clase de equivalencia de un elemento (x, y ) R2 es un cuadrado que tiene los vrtices en los ejes coordenados, concretamente en los puntos (z, 0), (0, z ), (z, 0), (0, z ), donde z = |x| + |y |. Vemos en estos ejemplos que si tenemos un conjunto X y una relacin de equivalencia en X , dados dos elementos de X , o sus clases de equivalencia no tienen ningn elemento en comn, o los tienen todos (es decir, o son disjuntas o son iguales). Proposicin 1.3.1. Sea X un conjunto, y R una relacin de equivalencia en X . Sean x, y X . Entonces: 1. Si xRy se tiene que [x] = [y ]. 2. Si x Ry entonces [x] [y ] = . Demostracin: Para demostrarlo, vamos a ver, en primer lugar, que ocurre si xRy . Sea z [x]. Entonces xRz . Puesto que xRy y R es simtrica tenemos que yRx. Y al ser R transitiva, podemos deducir que yRz , es decir z [y ]. Por tanto hemos probado que [x] [y ]. De la misma forma se prueba que [y ] [x]. En el caso de que x Ry , si hubiera un elemento z [x] [y ] tendramos xRz e yRz , luego zRy y por tanto xRy lo cual es imposible. Por tanto, ese elemento no existe y la interseccin es vaca. Denicin 24. Sea X un conjunto, y R una relacin de equivalencia. Denimos el conjunto cociente X/R como el conjunto formado por las clases de equivalencia, es decir: X/R = {[x] : x X } Ejemplo 1.3.8. Vamos a llamar Zm al conjunto Z/ m . Entonces: Z2 = {[0]2 , [1]2 }. Tiene exactamente 2 elementos. Z3 = {[0]3 , [1]3 , [2]3 }. Tiene exactamente 3 elementos. Zm = {[0]m , [1]m , [m 1]m }. Tiene exactamente m elementos. Puesto que [0]3 = [12]3 , [1]3 = [25]3 y [2]3 = [50]3 , podemos escribir que Z3 = {[12]3 , [25]3 , [50]3 }. En general, para abreviar la notacin escribiremos a en lugar de [a]m . El contexto nos aclarar si estamos considerando a como un nmero entero o como un elemento de Zm . Con esta notacin tenemos que Zm = {0, 1, 2, , m 1}.
Jess Garca Miranda

22

CAPTULO 1. CONJUNTOS, APLICACIONES Y RELACIONES En la relacin denida sobre el conjunto X = {1, 2, 3, 4, 5} que hemos visto en los ejemplos anteriores, se tiene que el conjunto cociente tiene cardinal 2. Sus dos elementos son [1] y [3]. Denimos en X = {0, 1, 2, 3, 4} la relacin R = {(0, 0), (3, 0), (4, 0), (1, 1), (3, 1), (0, 2), (3, 2), (4, 2), (0, 4), (1, 4), (4, 4)} Esta relacin no es de equivalencia. No es reexiva pues (3, 3) R, no es simtrica pues (3, 0) R pero (0, 3) R, y tampoco es transitiva pues (3, 1) R, (1, 4) R pero (3, 4) R. Las clases de los distintos elementos son: [0] = {0, 2, 4} [1] = {1, 4} [2] = . [3] = {0, 1, 2}. [4] = {0, 2, 4}. Vemos como hay una clase que es vaca. Las clases [0] y [1] no son disjuntas ni iguales. Igual ocurre con [0] y [3], con [1] y [3], con [1] y [4] o con [3] y [4]. El 3 no pertenece a ninguna clase. Las clases [0] y [4] s son iguales.

Si X es un conjunto, y R es una relacin de equivalencia en X , tenemos una aplicacin p : X X/R denida como p(x) = [x]. Esta aplicacin se conoce como la proyeccin cannica. Esta aplicacin es siempre sobreyectiva Ejemplo 1.3.9. Consideramos en Z la relacin de congruencia mdulo 3. En tal caso, el conjunto cociente es Z3 . La proyeccin canncia Z Z3 es la aplicacin x x md 3. Para terminar el tema, vamos a ver la descomposicin cannica de una aplicacin. Sea f : X Y una aplicacin. Entonces f se escribe como composicin de tres aplicaciones de la forma f = i b p, donde p es sobreyectiva, b es biyectiva e i es inyectiva. Veamos ahora cuales son estas aplicaciones. La aplicacin p es la proyeccin p : X X/Rf . La aplicacin b tiene como dominio X/Rf y codominio Imag (f ). Esta aplicacin viene dada por b([x]) = f (x). Es fcil comprobar que b est bien denida (si [x] = [x ], b([x]) = b([x ]), y que es una biyeccin. Por ltimo, la aplicacin i : Imag (f ) Y es la inclusin (ya que Imag (f ) es un subconjunto de Y ). Ejemplo 1.3.10. Sea f : {0, 1, 2, 3, 4, 5} {0, 1, 2, 3, 4, 5} la aplicacin dada por f (x) = 2x md 6. Vamos a dar la descomposicin cannica de f . Podemos ver que f (0) = f (3) = 0, f (1) = f (4) = 2 y f (2) = f (5) = 4. Por tanto, X/Rf tiene tres elementos, que son: [0] = {0, 3}; [1] = {1, 4}; [2] = {2, 5}

Por otra parte, Imag (f ) = {f (0), f (1), f (2), f (3), f (4), f (5)} = {0, 2, 4}. Entonces, las tres aplicaciones que aparecen en la descomposicin de f son: p : {0, 1, 2, 3, 4, 5} {[0], [1], [2]} denida como p(0) = [0], p(1) = [1], p(2) = [2], p(3) = [0], p(4) = [1], p(5) = [2]. b : {[0], [1], [2]} {0, 2, 4} denida como b([0]) = f (0) = 0, b([1]) = f (1) = 2, b([2]) = f (2) = 4. i : {0, 2, 4} {0, 1, 2, 3, 4, 5} denida como i(0) = 0, i(2) = 2, i(4) = 4. Es fcil comprobar que f = i b p, que p es sobreyectiva, que b es biyectiva y que i es inyectiva.

Departamento de lgebra