B asica I Notas de Algebra

Carlos Ruiz de Velasco y Bellas Departamento de Matem aticas, Estad stica y Computaci on Facultad de Ciencias Universidad de Cantabria 14 de septiembre de 2006

Cap tulo 1

Conjuntos, Funciones, Relaciones

1.1.
1.1.1.

Conjuntos
Las relaciones de pertenencia, igualdad e inclusi on

Se supondr a que todos poseemos una idea intuitiva de la noci on de conjunto y, por tanto, se adopta un punto de vista un tanto ingenuo respecto de este concepto. Diremos que un conjunto es una colecci on bien determinada de objetos (posiblemente vac a). Si a es un objeto de un conjunto A, se escribe a A y se dice que a pertenece al conjunto A, o que a est a en el conjunto A o que a es un elemento del conjunto A; la negaci on de esta relaci on se indica a / A; que se lee a no pertenece al conjunto A, o a no est a en el conjunto A o a no es un elemento del conjunto A. Notas y ejemplos 1.1 1. En las matem aticas se utilizan conjuntos de objetos matem aticos tales como conjuntos de n umeros, conjuntos de polinomios, conjuntos de puntos o de rectas, etc; pero con el n de aclarar los conceptos al principiante, puede ser u til considerar en los ejemplos conjuntos integrados por objetos comunes en la vida diaria. 2. Los elementos de un conjunto pueden ser, a su vez, conjuntos de elementos de otros conjuntos. Por ejemplo, mediante un proceso elemental de abstracci on, podemos pensar que una biblioteca es un conjunto de libros, que un libro es el conjunto de sus p aginas, que una p agina de un libro es el conjunto de sus l neas de texto, etc. 3

CAP ITULO 1. CONJUNTOS, FUNCIONES, RELACIONES 3. Denotemos por Z el conjunto de (todos) los n umeros enteros. Se verican las relaciones 1492 Z, 307 Z, 3 Z, 2 Z 7

4. Consideremos el conjunto S de los n umeros reales x que satisfacen la ecuaci on x2 25 = 0. Se cumplen: 5 S, 5 S y si r S , entonces r = 5 o r = 5. Esto quiere decir que 5 y 5 son elementos del conjunto S , y que 5 y 5 son los u nicos elementos del conjunto S . 5. Consideremos el conjunto V de los n umeros reales x que verican la 2 relaci on x + 4 = 0. Cu ales son los elementos de V ? 6. Sea P el conjunto de los n umeros primos. Se verican las relaciones 7 P, 37 P, 12 P, 16 P Denici on 1.2 Un conjunto A es igual a un conjunto B si para todo x, la relaci on x A equivale a la relaci on x B . Esto viene a decir que dos conjuntos son iguales si, y s olo si, poseen los mismos elementos. La relaci on el conjunto A es igual al conjunto B se escribe A = B y la negaci on de dicha relaci on se escribe A = B . Por tanto, dados dos conjuntos A y B se tienen las equivalencias: A=B y A=B todo elemento de A pertenece a B y todo elemento de B pertenece a A alg un elemento de A no pertenece a B o alg un elemento de B no pertenece a A

Proposici on 1.3 La relaci on de igualdad entre conjuntos verica las siguientes propiedades: 1 para todo conjunto A, A = A (propiedad reexiva); 2 para todo conjunto A y todo conjunto B , si A = B , entonces B = A (propiedad sim etrica); 3 para todo conjunto A, todo conjunto B y todo conjunto C , si A = B y B = C , entonces A = C (propiedad transitiva).

1.1. CONJUNTOS

Denici on 1.4 Un conjunto A es subconjunto de un conjunto B si para todo x, la relaci on x A implica la relaci on x B . Tambi en se dice, en este caso, que A est a contenido en B o que A es una parte de B . La relaci on A es subconjunto de B se escribe A B . La relaci on B contiene a A, denotada B A, equivale a A B .

B A

Para todo x la relaci on x A x B es cierta

Notas y ejemplos 1.5 1. El conjunto P de los n umeros primos es un subconjunto del conjunto Z de los n umeros enteros; esto es, P Z. 2. El conjunto S de los n umeros reales x que satisfacen la ecuaci on x2 25 = 0 es un subconjunto del conjunto T de los n umeros reales y que 3 satisfacen la ecuaci on y 25y = 0; esto es, S T . Es cierta la relaci on S = T ? Por qu e? 3. El conjunto D de los n umeros enteros que son m ultiplos de 10 es un subconjunto del conjunto C de los n umeros enteros que son m ultiplos de 5; en s mbolos, D C . Lo que se est a diciendo es que todo entero que sea m ultiplo de 10 es m ultiplo de 5; en efecto, sup ongase que un n umero entero x es m ultiplo de 10, entonces existe un n umero entero z tal que x = 10z ; se tiene entonces x = 10z = 5(2z ) que es m ultiplo de 5. 4. N otese que AB equivale a: para todo x, la relaci on x / B implica la relaci on x / A. Esto es consecuencia de la equivalencia l ogica: [p q ] [( q ) ( p)] 5. Si A y B son conjuntos, las relaciones siguientes son equivalentes: a ) A B. b ) Para todo x, x A implica x B . (O bien, simb olicamente, x, x A x B )

CAP ITULO 1. CONJUNTOS, FUNCIONES, RELACIONES c ) Para todo x, x / B implica x / A. (x, x /B x / A) d ) B A. 6. La negaci on de la relaci on A B se escribe A B ; de modo que para dos conjuntos A y B se tiene: A B hay un objeto x tal que x A y x /B o bien, simb olicamente, A B x, x A y x /B

x A A x

7. El conjunto D de los n umeros enteros que son m ultiplos de 12 no es subconjunto del conjunto O de los n umeros enteros que son m ultiplos de 8; esto es, D O Por qu e? Sean A y B conjuntos. Si A B y A = B se pone A B o bien, si interesa hacer mayor enfasis, A = B . Se dice, en este caso, que el conjunto A est a estrictamente contenido en el conjunto B . Por tanto, AB todo elemento de A pertenece a B y alg un elemento de B no pertenece a A

Proposici on 1.6 La relaci on de inclusi on entre conjuntos verica las siguientes propiedades: 1 A A, para todo conjunto A (propiedad reexiva); 2 para todo conjunto A y todo conjunto B , si A B y B A, entonces A = B (propiedad antisim etrica); 3 para todo conjunto A, todo conjunto B y todo conjunto C , si A B y B C , entonces A C (propiedad transitiva). Demostraci on. Se deja como ejercicio muy sencillo.

1.1. CONJUNTOS Conjuntos notables.

Algunos conjuntos de objetos matem aticos son especialmente importantes y aparecen frecuentemente en diversas situaciones, por ello es conveniente representarlos mediante s mbolos especiales para poder referirse a ellos con comodidad y sin ambig uedades. Veamos, de modo un tanto informal, algunos ejemplos: 1. El conjunto de los n umeros naturales N = {0, 1, 2, 3, 4, . . .}. Se verican las relaciones: 7 N, 8 N. 2. El conjunto de los n umeros enteros Z = {. . . , 3, 2, 1, 0, 1, 2, 3, . . .}. Se cumplen las relaciones: 7 Z, 8 N, 3 5 Z. 3. El conjunto Q de los n umeros racionales 3 2 Q, 5 Q, 2 Q, 2 + 3i Q 4. El conjunto R de los n umeros reales 2 R, 3 2 R, 2 + 3i R 5 R, 5. El conjunto C de los n umeros complejos 3 2 C, 5 C, 2 C, 2 + 3i C Se cumplen las inclusiones siguientes NZQRC

1.1.2.

Conjuntos y propiedades. Conjunto complementario. El conjunto vac o

Admitimos el siguiente teorema que permite construir conjuntos de objetos extra dos de un conjunto dado y que veriquen alguna propiedad determinada. Teorema 1.7 Sea U un conjunto. Para cada propiedad R(x) (que tenga sentido para los elementos de U ) hay un u nico subconjunto UR de U tal que: x UR si, y s olo si, x U y x verica la propiedad R(x).

CAP ITULO 1. CONJUNTOS, FUNCIONES, RELACIONES

Se dice que UR es el conjunto de los elementos de U que verican la propiedad R(x) y que R(x) es la propiedad caracter stica del conjunto UR . Se escribe UR = {x | x U y R(x)} o bien UR = {x U | R(x)}. As , dado x U , se tiene x UR R(x) Ejemplos 1.8 1. Sean U = Z (el conjunto de los n umeros enteros) y R(x) la relaci on x > 0. Entonces ZR es el conjunto de los enteros positivos: ZR = {x | x Z y x > 0} = {x Z | x > 0}. 2. Sea U = R R (el conjunto de los puntos del plano real)1 y supongamos como propiedad R(x, y ) la relaci on 3x + 2y 5 = 0. Entonces (R R)R es lo que se conoce habitualmente como la recta de ecuaci on 3x + 2y 5 = 0: (R R)R = {(x, y ) | (x, y ) R R y 3x + 2y 5 = 0} = = {(x, y ) R R | 3x + 2y 5 = 0} 3. Supongamos U = R (el conjunto de los n umeros reales) y consideremos 3 2 como propiedad R(z ) la relaci on z +2z 5z 6 = 0. En este caso RR es el conjunto de las ra ces (ceros o soluciones) reales de la ecuaci on z 3 + 2z 2 5z 6 = 0: RR = {z R | z 3 + 2z 2 5z 6 = 0} 4. Pongamos U = R (el conjunto de los n umeros reales) y consideremos como propiedad R(y ) la relaci on y 2 + y + 1 = 0. En este caso RR es el conjunto de las ra ces reales de la ecuaci on y 2 + y + 1 = 0: RR = {y R | y 2 + y + 1 = 0} = ? 5. Supongamos que U es el conjunto de las letras del alfabeto espa nol; consideremos la propiedad R(v ) la relaci on v es una vocal. En este caso UR es el conjunto de las vocales del alfabeto espa nol.
1

V ease m as adelante el concepto de producto cartesiano de conjuntos.

1.1. CONJUNTOS

Nota.Si un conjunto A es nito (y es peque no), entonces es posible enumerar, uno a uno, sus elementos; en este caso se suele representar expl citamente el conjunto A escribiendo entre llaves {. . .} sus elementos separados por comas. Ejemplos 1.9 1. El conjunto de las cinco vocales del alfabeto espa nol: {a, e, i, o, u} 2. El conjunto de los n umeros enteros primos menores que 10: {2, 3, 5, 7} 3. El conjunto de las ra ces reales del polinomio z 3 + 2z 2 5z 6 : {z R | z 3 + 2z 2 5z 6 = 0} = {3, 1, 2} 4. El conjunto de las ra ces reales del polinomio y 2 + y + 1 : {y R | y 2 + y + 1 = 0} = {} 5. El conjunto de las ra ces complejas del polinomio y 2 + y + 1 : 1 i 3 1 i 3 2 {y C | y + y + 1 = 0 } = + , 2 2 2 2 6. El conjunto de los enteros primos mayores que 23 y menores que 29: {n N | n es primo y 23 < n < 29} = {} 7. En este ejemplo se muestra un conjunto cuyos elementos son a su vez conjuntos: S = {{1, 2}, {1, 3}, {2, 6}} N otese que los elementos del conjunto S son {1, 2}, {1, 3} y {2, 6} Por tanto se verican las relaciones siguientes {1, 2} S, {1, 3} S, {2, 4} S, 1 / S, 2 / S, {{1, 2}, {2, 6}} S, {{1, 2}} S, {1, 2} S

10

CAP ITULO 1. CONJUNTOS, FUNCIONES, RELACIONES

Sea U un conjunto y sean R(x) y P (x) propiedades. En qu e casos el conjunto UR de los elementos de U que verican la propiedad R(x) coincide con el conjunto UP de los elementos de U que verican la propiedad P (x)? Dado x U se tienen las equivalencias x UR x UP UR = UP Por consiguiente UR = UP (R(x) P (x)) R(x), P (x), (x UR x UP )

Esto es, el conjunto UR de los elementos de U que verican la propiedad R(x) coincide con el conjunto UP de los elementos de U que verican la propiedad P (x) si, y s olo si, las propiedades R(x) y P (x) son equivalentes. Sea U un conjunto y sean R(x) y P (x) propiedades. En qu e casos el conjunto UR de los elementos de U que verican la propiedad R(x) est a contenido en el conjunto UP de los elementos de U que verican la propiedad P (x)? Dado x U se tienen las equivalencias x UR x UP UR UP Por consiguiente UR UP (R(x) P (x)) R(x), P (x), (x UR x UP )

Esto es, el conjunto UR de los elementos de U que verican la propiedad R(x) est a contenido en el conjunto UP de los elementos de U que verican la propiedad P (x) si, y s olo si, la propiedad R(x) implica la propiedad P (x). Ejemplos 1.10 1. Sea U = Z, el conjunto de los n umeros enteros. Sea R(x) la propiedad | x | 4, y sea P (x) la propiedad x2 16. Obviamente, las propiedades P (x) y R(x) son equivalentes, por tanto se cumple la igualdad {x Z | | x | 4} = {x Z | x2 16} Denici on 1.11 Sea A un subconjunto de un conjunto U ; el conjunto complementario de A respecto de U es el conjunto de los elementos x de U que verican la propiedad x / A; se denota este conjunto CU A.

CU A = {x U | x / A}

1.1. CONJUNTOS

11

En la gura se pretende ilustrar el concepto de conjunto complementario.

U

CUA
A

Notas y ejemplos 1.12 1. El conjunto CU A est a denido para subconjuntos (cualesquiera) A de un conjunto U . 2. Para todo subconjunto A de un conjunto U , el conjunto complementario de A respecto de U , CU A, es un subconjunto de U : A U = CU A U 3. Sea A un subconjunto de un conjunto U . Para todo x U se cumple x CU A x /A 4. Sea A un subconjunto de un conjunto U . Para todo x U se cumple x / CU A x A 5. Pongamos U = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}. Se cumplen las siguientes igualdades CU {0, 2, 4, 6, 8} = {1, 3, 5, 7, 9},

CU {0, 1} = {2, 3, 4, 5, 6, 7, 8, 9}, CU {5} = {0, 1, 2, 3, 4, 6, 7, 8, 9}

6. En el conjunto Z de los n umeros enteros sea Z+ el subconjunto de los enteros positivos: Z+ = {m Z | m > 0} El conjunto complementario de Z+ respecto de Z es

CZ (Z+ ) = {m Z | m 0}

12

CAP ITULO 1. CONJUNTOS, FUNCIONES, RELACIONES 7. En el conjunto R R de los puntos del plano real sea A (el conjunto de los puntos de) la recta de ecuaci on 3x + 2y 5 = 0; esto es, A = {(x, y ) R R | 3x + 2y 5 = 0} El complementario de A respecto de R R es el conjunto de los puntos del plano que no pertenecen a la recta A:

CRR A = {(x, y ) R R | 3x + 2y 5 = 0}
8. Sea D1 el disco de radio unidad (abierto) centrado en el origen: D1 = {(x, y ) R R | x2 + y 2 < 1} El complementario de D1 respecto de R R es

CRR (D1 ) = {(x, y ) R R | x2 + y 2 1}

Proposici on 1.13 Sean A y B subconjuntos de un conjunto U . 1 A B si, y s olo si, CU B CU A 2 CU (CU A) = A Demostraci on. 1 Consecuencia de la equivalencia entre las relaciones para todo x, si x A, entonces x B y para todo x, si x / B , entonces x / A . 2 Para todo x en U : x CU (CU A) x / CU A x A. Proposici on 1.14 Para conjuntos cualesquiera X e Y se tiene CX X = CY Y . Demostraci on. Consecuencia de la equivalencia: para todo x, x X y x /X para todo x, x Y y x /Y

Para todo conjunto X se pone = CX X . N otese que no depende del conjunto X escogido (por 1.14). Denici on 1.15 El conjunto se denomina el conjunto vac o. Proposici on 1.16 El conjunto vac o cumple las siguientes propiedades: 1 Para todo conjunto A se tiene A.

1.1. CONJUNTOS

13

2 Si B es un conjunto tal que B A para todo conjunto A, entonces B = . Demostraci on. 1 La relaci on para todo x, si x , entonces x A es verdadera, cualquiera que sea el conjunto A (Por qu e?). 2 Por 1 se tiene B . Por hip otesis B . En consecuencia, B = . Por tanto, el conjunto vac o es el u nico conjunto contenido en todo conjunto. El conjunto vac o cumple las dos propiedades siguientes: 1 Para todo x, la relaci on x es falsa. 2 Si H es un conjunto tal que la relaci on x H es falsa para todo x, entonces H = .

1.1.3.

Partes de un conjunto

Admitimos el siguiente Teorema 1.17 Para cada conjunto X existe un conjunto cuyos elementos son, precisamente, los subconjuntos de X . Se denota este conjunto por P (X ). En s mbolos: P (X ) = {A | A X } Por tanto, dado un conjunto X se verica: Y P (X ) Y X. Denici on 1.18 Si X es un conjunto, P (X ) se denomina el conjunto de las partes de X . Tambi en se dice que P (X ) es el conjunto de los subconjuntos de X . Notas y ejemplos 1.19 1 Para todo conjunto X se cumplen P (X ) y X P (X ). 2 Sea D = {0, 1}, se tiene P (D) = { , {0}, {1}, D} = { , {0}, {1}, {0, 1}} N otese que {1} P (D), {0, 1} P (D), 3 Sea T = {0, 1, 2}, se tiene P (T ) = { , {0}, {1}, {2}, {0, 1}, {0, 2}, {1, 2}, T } = = { , {0}, {1}, {2}, {0, 1}, {0, 2}, {1, 2}, {0, 1, 2}} N otese que {2} P (T ), {0, 1} P (T ), 4 P ({0}) = { , {0}} 5 P () = { } etc. etc.

14

CAP ITULO 1. CONJUNTOS, FUNCIONES, RELACIONES

1.1.4.

Uni on, intersecci on y diferencia

Se denen las tres operaciones b asicas entre conjuntos: uni on, intersecci on y diferencia conjuntistas. Posteriormente se estudian las propiedades formales m as importantes de estas operaciones. Denici on 1.20 Sean A y B subconjuntos de un conjunto U . La uni on de A y B es el conjunto, denotado A B , de los elementos (de U ) que pertenecen a A o a B. A B = {x U | x A o x B} La intersecci on de A y B es el conjunto, denotado A B , de los elementos (de U ) que pertenecen a A y a B . A B = {x U | x A y x B } La diferencia conjuntista o conjunto diferencia de A y B es el conjunto, denotado A B , de los elementos (de U ) que pertenecen a A y no pertenecen a B . A B = {x U | x A y x / B} Para todo x, x A B x A o x B. Notas y ejemplos 1.21 1 Las deniciones de la uni on, intersecci on y diferencia de dos conjuntos A y B , subconjuntos de un conjunto U , se pueden expresar en la forma: para todo x U , se tiene: x A B x A o x B; x A B x A y x B ; x A B x A y x /B 2 En la tabla de certeza adjunta se expone la interpretaci on de las conjunciones o e y y del adverbio no: p C C F F q C F C F poq C C C F pyq C F F F no p F F C C

As la conjunci on o debe entenderse siempre en sentido no excluyente: la validez de una proposici on compuesta de la forma p o q equivale a la validez de p, o a la validez de q o a la validez de ambas.

1.1. CONJUNTOS 3 Sean U = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, A = {1, 2, 3, 4, 5, 6} y B = {5, 6, 7, 8, 9} Se tiene: A B = {1, 2, 3, 4, 5, 6, 7, 8, 9}, A B = {5, 6}, A B = {1, 2, 3, 4}. 4 Suponer que U es el conjunto de los n umeros reales: U = R. Sean I1 = {x R | 1/2 x 1/2} = [1/2, 1/2], I2 = {x R | 0 < x < 7} = (0, 7) Entonces: I1 I2 I1 I2 I1 I2 CR (I1 ) = = = = = {x R | 1/2 x < 7} {x R | 0 < x 1/2} {x R | 1/2 x 0} {x R | x < 1/2 o x > 1/2} (, 1/2) (1/2, +) = = = = [1/2, 7) (0, 1/2] [1/2, 0]

15

Proposici on 1.22 Sean A y B subconjuntos de un conjunto U . Se cumplen las siguientes propiedades: 1 A B es subconjunto de U . 2 A A B y B A B. 3 Si X es cualquier subconjunto de U tal que A X y B X , entonces A B X. Proposici on 1.23 Sean A y B subconjuntos de un conjunto U . Se cumplen: 1 A B es subconjunto de U . 2 A B A y A B B. 3 Si Y es cualquier subconjunto de U tal que Y A e Y B , entonces Y A B. Se pueden interpretar las proposiciones 1.22 y 1.23 en la forma: La uni on A B de dos conjuntos A y B es un conjunto que contiene a A y a B , y es el menor conjunto que contiene a A y a B .

16

CAP ITULO 1. CONJUNTOS, FUNCIONES, RELACIONES La intersecci on de dos conjuntos A y B es un conjunto contenido en A y en B , y es el mayor conjunto contenido en A y en B .
X A A I B

A U B

Proposici on 1.24 Sean A, B y C subconjuntos de un conjunto U . Se verican las siguientes propiedades: asociativas A (B C ) = (A B ) C conmutativas AB =BA idempotencia AA=A distributivas A (B C ) = (A B ) (A C ) unidades A=A absorbentes AU =U de Morgan A= AU =A A (B C ) = (A B ) (A C ) AA=A AB =BA A (B C ) = (A B ) C

CU (A B ) = (CU A) (CU B )
Demostraci on. Se deja como ejercicio.

CU (A B ) = (CU A) (CU B )

Denici on 1.25 Dos conjuntos A y B son disjuntos si no poseen elementos comunes. A y B son disjuntos A B = .

 1.2. EL CONCEPTO DE FUNCION

17

1.2.
1.2.1.

El concepto de funci on
Pares ordenados

A partir de dos objetos matem aticos cualesquiera a y b, iguales o distintos, dados en un cierto orden, se construye un nuevo objeto matem atico, representado (a, b) y denominado par ordenado de primera componente a y segunda componente b; esta construcci on est a regulada por el siguiente criterio de igualdad de pares ordenados: dos pares ordenados (a, b), (u, v ) son iguales si, y s olo si, a = u y b = v . En particular, (a, b) = (b, a) si, y s olo si, a = b. Sin embargo, n otese que {a, b} = {b, a}, para todo a y todo b. Se dice que a es la proyecci on primera del par (a, b) y que b es la proyecci on segunda del par (a, b). Se pone a = pr1 (a, b) y b = pr2 (a, b). El concepto de par ordenado se amplia al de terna (ordenada): (a, b, c), con el criterio de igualdad: (a, b, c) = (u, v, w) si, y s olo si, a = u, y b = v y c = w; y, en general, tupla (ordenada): (a1 , a2 , . . . , an ), con el correspondiente criterio de igualdad: dos tuplas ordenadas (a1 , a2 , . . . , an ) y (b1 , b2 , . . . , bm ) son iguales si, y s olo si, n = m y ai = bi pra todo i, 1 i n. Mediante el uso de pares ordenados se podr an realizar numerosas formalizaciones matem aticas que se ir an viendo a lo largo de estas lecciones. Entre ellas cabe citar los productos cartesianos, las funciones o aplicaciones entre conjuntos, las relaciones de equivalencia, las relaciones de orden, etc. Notas y ejemplos 1.26 La combinaci on de objetos simples con el n de crear objetos compuestos y, a su vez, la combinaci on de objetos (simples o compuestos) con el n de formar objetos de complejidad superior, mediante procesos de s ntesis, es una actividad intelectual com un. La construcci on de pares ordenados (y, en general, la de tuplas ordenadas) es una herramienta que posibilita el manejo matem atico de esa actividad mental. Para ilustrar estas ideas consid erese el siguiente ejemplo simple: Un punto en el plano est a representado (con respecto a una referencia o sistema de coordenadas) por un par ordenado (x, y ) de n umeros reales x e y ; un segmento est a representado por un par ordenado (p1 , p2 ) de puntos p1 = (x1 , y1 ) y p2 = (x2 , y2 ); una circunferencia est a representada por un par ordenado (p, r) donde p = (x, y ) es un punto (el centro) y r es un n umero real positivo (el radio); etc. La extracci on de entidades simples o de informaci on parcial de los objetos compuestos, mediante procesos de proyecci on, asignaci on o abstracci on, con el n de simplicar una realidad compleja es otra actividad mental frecuente. El concepto de aplicaci on o funci on, que

18

CAP ITULO 1. CONJUNTOS, FUNCIONES, RELACIONES ser a introducido m as adelante, es una herramienta que formaliza matem aticamente esta actividad. Ilustremos estas ideas generales mediante algunos ejemplos sencillos: La proyecci on de un cuerpo tridimensional sobre uno o varios planos bidimensionales es una herramienta utilizada en dibujo, en medicina (radiolog a), en fotograf a, etc. En todos estos procesos una cierta cantidad de informaci on se pierde y otra permanece, con ello se consigue simplicar una realidad compleja (digamos humanamente compleja) a trav es de im agenes m as sencilla. La asignaci on a cada persona de una poblaci on de su edad en a nos, o de su talla en cent metros, o de su peso en kilos son herramientas usadas en estudios sociol ogicos. El paso de una funci on f a su funci on derivada f . La derivada proporciona una informaci on parcial de la funci on original (informaci on que ya va impl cita en la funci on original): la rapidez de crecimiento o decrecimiento, las abscisas de los puntos de ordenada m axima o m nima; pero la funci on derivada pierde la informaci on relativa a, por ejemplo, los puntos de corte con el eje de abscisas. La clasicaci on y la ordenaci on de objetos con arreglo a determinados criterios con el n de controlar la complejidad estructural de la realidad percibida es, tambi en, una actividad humana frecuente. El concepto de relaci on (en particular los conceptos de relaci on de equivalencia y de orden) es una herramienta que facilita el uso matem atico de esta actividad. Veamos algunos ejemplos: Las palabras en un diccionario aparecen ordenadas (lexicogr acamente). - En una ocina los documentos se clasican por temas o asuntos poniendo en una misma carpeta todos los documentos relacionados con un determinado caso, las carpetas son adecuadamente etiquetadas mediante una clave o nombre y, nalmente, se disponen las carpetas en un archivador seg un orden alfab etico de las etiquetas. Con ello se consigue, entre otras cosas, un acceso r apido a los documentos.

1.2.2.

Producto cartesiano

Denici on 1.27 El producto cartesiano de dos conjuntos A y B es el conjunto de los pares ordenados cuya primera componente pertenece a A y cuya segunda componente pertenece a B . Se denota este conjunto A B . As A B = {(a, b) | a A y b B }.

 1.2. EL CONCEPTO DE FUNCION Notas y ejemplos 1.28

19

1 Un objeto p pertenece al producto cartesiano A B de dos conjuntos A y B si, y s olo si, existen elementos a A y b B tales que p = (a, b) p A B a A y b B, p = (a, b) 2 Considerar los conjuntos D = {0, 1} y T = {0, 1, 2}. El producto cartesiano de D y T es D T = {(0, 0), (0, 1), (0, 2), (1, 0), (1, 1), (1, 2)}. El producto cartesiano de T y D es T D = {(0, 0), (0, 1), (1, 0), (1, 1), (2, 0), (2, 1)}. Obs ervese que la construcci on de productos cartesianos de conjuntos no es conmutativa: D T = T D. 3 En la gura adjunta se ilustra, mediante una representaci on geom etrica, el producto cartesiano D T .
(0,2) 2 (1,2)

(0,1) 1

(1,1)

(0,0) 0

(1,0)

4 Para todo conjunto A se tiene A = = A 5 El producto cartesiano R R, donde R denota el conjunto de los n umeros reales, se puede interpretar como el plano. 6 Pongamos I = [1/2, 1/2] = {x R | 1/2 x 1/2}. Esto es, I es el intervalo cerrado de extremos 1/2 y 1/2. El producto cartesiano I I se puede interpretar como el cuadrado cerrado de lado 1, centrado en el origen y con lados paralelos a los ejes.

20

CAP ITULO 1. CONJUNTOS, FUNCIONES, RELACIONES

(-1/2, 1/2)

(1/2, 1/2)

(-1/2, -1/2)

(1/2, -1/2)

7 Pongamos S 1 = {(x, y ) R R | x2 + y 2 = 1} y J = [0, 1] = {x R | 0 x 1}. C omo se puede interpretar el producto cartesiano S 1 J ? (Se pide una interpretaci on geom etrica; imag nese J en una recta o eje perpen1 dicular al plano que contiene a S ). 8 Pongamos D1 = {(x, y ) R R | x2 + y 2 1} y J = [0, 1] = {x R | 0 x 1}. C omo se puede interpretar (en sentido geom etrico, como el caso anterior) el producto cartesiano D1 J ?

1.2.3.

El concepto de aplicaci on

Una aplicaci on o funci on de un conjunto A en un conjunto B es una regla, descripci on o procedimiento que a cada elemento de A asigna o asocia un u nico elemento de B . En la siguiente denici on se formaliza esta idea. N otese que para especicar una aplicaci on o funci on es preciso dar los tres ingredientes: el conjunto A, el conjunto B y la asignaci on. Denici on 1.29 Una aplicaci on o funci on es una terna f = (G, A, B ) donde A y B son conjuntos y G es un subconjunto del producto cartesiano A B , tal que para cada a A existe un u nico b B que cumpla (a, b) G. La condici on de la denici on relativa a G quiere decir: 1 Dado a A existe al menos un b B tal que (a, b) G, y

 1.2. EL CONCEPTO DE FUNCION 2 si (a, b) G y (a, b ) G, entonces b = b . Notas y ejemplos 1.30

21

1. Para determinar una aplicaci on concreta es necesario especicar los tres ingredientes que intervienen en su denici on: un conjunto, digamos A; un conjunto, digamos B ; y un subconjunto, digamos G, del producto cartesiano A B que cumpla las condiciones exigidas en la denici on. 2. Pongamos A = B = Z (el conjunto de los n umeros enteros), C = {(z, z 2 ) | z Z} Z Z. La terna c = (C, Z, Z) es una aplicaci on. 3. Sean A = R (el conjunto de los n umeros reales), B = [1, 1] = {r R | 1 r 1}, S = {(x, sen(x)) | x R} R [1, 1]. La terna sen = (S, R, [1, 1]) es una aplicaci on o funci on. 4. Sean A = {a, e, i, o, u} (el conjunto de las vocales de la lengua espa nola), B = {0, 1}, F = {(a, 1), (e, 1), (i, 0), (o, 1), (u, 0)} A B . La terna f = (F, A, B ) es una aplicaci on. 5. Sean A = {a, e, i, o, u}, B = {0, 1}, K = {(a, 1), (e, 1), (i, 0), (o, 1), (u, 0), (y, 0)}. La terna k = (K, A, B ) no es una aplicaci on porque K no es subconjunto de A B : y / A. 6. Sean

22

CAP ITULO 1. CONJUNTOS, FUNCIONES, RELACIONES A = {a, e, i, o, u}, B = {0, 1}, G = {(a, 1), (e, 1), (i, 0), (o, 1), (u, 0)}. La terna g = (G, A, B ) no es una aplicaci on porque G no es subconjunto de A B : 1 / B. 7. Sean A = {a, e, i, o, u}, B = {0, 1}, H = {(a, 1), (i, 0), (o, 1), (u, 0)} A B . La terna h = (H, A, B ) no es una aplicaci on porque no hay un par en H de primera componente e, y e es un elemento de A. 8. Sean A = {a, e, i, o, u}, B = {0, 1}, H = {(a, 1), (a, 0), (e, 1), (i, 0), (o, 1), (u, 0)} A B . La terna h = (H , A, B ) no es una aplicaci on por qu e? Veamos algunas deniciones u tiles.

Denici on 1.31 Sea f = (G, A, B ) una aplicaci on. El conjunto A se denomina el dominio o conjunto de salida de la aplicaci on f . El conjunto B se denomina el codominio, o el conjunto de llegada, o el rango de la aplicaci on f . El conjunto G se denomina el grafo de la aplicaci on f . Se dice que f es la aplicaci on del conjunto A en el conjunto B de grafo G. Si a es un elemento de A, el u nico elemento b de B tal que (a, b) G se denomina la imagen de a por la aplicaci on f , o el valor de f en a, y se pone b = f (a); resulta as que G = {(a, f (a)) A B | a A}

 1.2. EL CONCEPTO DE FUNCION

23

Para indicar que f es una aplicaci on de un conjunto A en un conjunto f B se pone f : A B , o bien A B ; y para indicar que f es la aplicaci on de un conjunto A en un conjunto B que aplica un elemento gen erico a de A en el elemento f (a) de B se escribe f : A a B f (a)

Conviene hacer notar el criterio de igualdad de aplicaciones: Dos aplicaciones f1 = (G1 , A1 , B1 ) y f2 = (G2 , A2 , B2 ) son iguales (f1 = f2 ) si, y s olo si, G1 = G2 y A1 = A2 y B1 = B2 ; es decir, si, y s olo si, tienen el mismo dominio, el mismo codominio y el mismo grafo. En particular, para que f1 = f2 es necesario (pero no suciente) que A1 = A2 y B1 = B2 . Si f1 : A B y f2 : A B son aplicaciones con el mismo dominio A y el mismo codominio B , entonces f1 = f2 equivale a G1 = G2 , lo que, a su vez, equivale a f1 (a) = f2 (a), para todo a A. En resumen: Proposici on 1.32 Sean f1 : A B y f2 : A B aplicaciones de un conjunto A en un conjunto B . Para que f1 = f2 es necesario y suciente que f1 (a) = f2 (a), para todo a A. Veamos algunos ejemplos de aplicaciones. Ejemplos 1.33 1 Si A es un subconjunto de un conjunto X , la inclusi on can onica iA de A en X es la aplicaci on iA : A X tal que iA (a) = a para todo a A. Es decir, iA es la aplicaci on de A en X de grafo {(a, a) A X | a A}. iA : A X a a 2 En particular, para cualquier conjunto A, la inclusi on can onica de A en A se denomina la aplicaci on identidad (o simplemente identidad) de A y se denota 1A . Por tanto, 1A : A A cumple 1A (a) = a para todo a A. 1A : A A a a 3 Sea M2 (Q) el conjunto de matrices cuadradas 2 2 con coecientes en el cuerpo Q de los n umeros racionales. La aplicaci on determinante det : M2 (Q) Q asocia a cada matriz A M2 (Q) su determinante det(A). det : M2 (Q) Q a b c d ad bc

24

CAP ITULO 1. CONJUNTOS, FUNCIONES, RELACIONES 4 Pongamos M (S ) para denotar el conjunto de todas las aplicaciones de un conjunto S en s mismo. Consideremos un elemento jo s S ; la aplicaci on vs : M (S ) S tal que vs () = (s), ( M (S )) es un ejemplo simple de una aplicaci on en la que la variable es una aplicaci on; es decir, el dominio de denici on de vs es un conjunto cuyos elementos son aplicaciones. vs : M (S ) S (s)

5 Sea R el conjunto de los n umeros reales. La aplicaci on f : R R R, f (x, y ) = x2 + y 2 , ((x, y ) R R) es un ejemplo de funci on en el que el dominio R R es un producto cartesiano, por simplicidad se comete el abuso de notaci on de escribir f (x, y ) en lugar de f ((x, y )). Se dice (por ser respetuosos con la tradici on) que f es una funci on de dos variables (en realidad la variable es (x, y ), un elemento gen erico del dominio R R de f ). 6 Cada vector v R R, digamos v = (v1 , v2 ), determina la traslaci on tv : R R R R de vector v en el plano R R, denida por tv (u) = v + u, para todo u R R ; esto es, tv ((u1 , u2 )) = (v 1 + u1, v 2 + u2), para todo u1 , u2 R Por tanto queda determinada una aplicaci on t de R R en el conjunto M (R R) de las aplicaciones del plano R R en s mismo, t : R R M (R R) v tv

Es este un ejemplo simple en el que se pone de maniesto que los valores (i.e., los elementos del conjunto de llegada) de una aplicaci on pueden ser, a su vez, aplicaciones. 7 Si A = , entonces, cualquiera que sea el conjunto B (incluso si B = ), hay una u nica aplicaci on de A en B . Justicaci on: N otese que es el grafo de una aplicaci on de en B y que es el u nico subconjunto del producto cartesiano B = . 8 Si A = y B = , no hay ninguna aplicaci on de A en B (justicaci on?).

 1.2. EL CONCEPTO DE FUNCION

25

1.2.4.

Familias de elementos y sucesiones

Denici on 1.34 Una familia de elementos de un conjunto A con ndices en un conjunto I es el grafo de una aplicaci on a : I A. La imagen de un elemento cualquiera i I se escribe ai en lugar de a(i); y la familia se denota (ai )iI , en lugar de {(i, ai ) | i I }. En particular, una sucesi on de elementos de un conjunto A es una familia de elementos de A con ndices en el conjunto N de los n umeros naturales, o en una parte de N. Deber a ponerse especial cuidado en no confundir una familia (ai )iI de elementos de un conjunto A con ndices en I , con el conjunto {ai | i I } de los elementos de la familia: puede ocurrir que i = j pero ai = aj . Ejemplos 1.35 1 La sucesi on (i)iN = (0, 1, 2, 3, . . . , i, . . .) de los n umeros naturales. 2 La sucesi on (m2 )mN = (0, 1, 4, 9, . . . , m2 , . . .) de los cuadrados de los n umeros naturales. 3 La sucesi on ((1)n )nN = (1, 1, 1, 1, . . . , (1)n , . . .) 4 Sean a y d n umeros enteros, racionales, etc, la sucesi on (ai )iN tal que a0 ai+1 = a = ai + d, (i N)

se denomina progresi on aritm etica de t ermino inicial a y diferencia d. 5 Sean t y r n umeros enteros, racionales, ..., la sucesi on (ti )iN tal que t0 ti+1 = t = ti r, (i N)

se denomina progresi on geom etrica de t ermino inicial t y raz on r. 6 La sucesi on (ai )iN tal que a0 a1 ai+2 = 0 = 1 = ai + ai+1 , (i N)

se denomina la sucesi on de Fibonacci.

26

CAP ITULO 1. CONJUNTOS, FUNCIONES, RELACIONES 7 Sea I un conjunto (de ndices) y sea X un conjunto cualquiera. Una familia de subconjuntos o de partes de X con ndices en I es una familia de elementos de P (X ) con ndices en I . As , suponer que (Ai )iI es una familia de partes de X equivale a suponer que, para cada ndice i I , esta determinado (de alg un modo) un subconjunto Ai de X .

1.2.5.

Im agenes directas y rec procas

Denici on 1.36 Sea f una aplicaci on de un conjunto X en un conjunto Y ; sean A un subconjunto de X , y B un subconjunto de Y . 1 La imagen o imagen directa de A por la aplicaci on f es el conjunto de los elementos de Y que son im agenes por f de los elementos de A. Se denota este conjunto f (A); por tanto f (A) = {f (a) | a A} 2 La imagen rec proca o imagen inversa de B por la aplicaci on f es el conjunto de los elementos de X cuya imagen por f pertenece a B . Se denota este conjunto f 1 (B ); por tanto f 1 (B ) = {x X | f (x) B } 3 El conjunto f (X ) = {f (x) | x X } se denomina imagen de la aplicaci on f . Se pone Im(f ) = f (X ) Usando notaci on simb olica, los conjuntos denidos arriba se caracterizan en la forma: 1 Para todo elemento y de Y , se tiene y f (A) y = f (a), para alg un a A 2 Para todo elemento x de X , se tiene x f 1 (B ) f (x) B 3 Para todo elemento y de Y , se tiene y Im(f ) y = f (a), para alg un a X Ejemplos 1.37

 1.2. EL CONCEPTO DE FUNCION

27

1 Considerar los conjuntos X = {, , , }, Y = {1, 2, 3, 4, 5} y la aplicaci on f de X en Y dada por f () = f ( ) = 1, f ( ) = f ( ) = 2. Se tienen: La imagen por f del subconjunto {, , } de X es f ({, , }) = {f (), f ( ), f ( )} = {1, 2} La imagen inversa por f del subconjunto {2, 3, 5} de Y es f 1 ({2, 3, 5}) = {, } La imagen de la aplicaci on f es Im(f ) = f (X ) = f ({, , }) = {1, 2} La imagen rec proca por f del subconjunto {3, 4, 5} de Y es f 1 ({3, 4, 5}) = 2 Sea f la aplicaci on del conjunto Z de los n umeros enteros en el conjunto N de los n umeros naturales tal que f (z ) = z 2 , (z Z). f : Z z N z2

La imagen por f del subconjunto {5, 2, 0, 2, 4, 5, 9} de Z es f ({5, 2, 0, 2, 4, 5, 9}) = {f (5), f (2), f (0), f (2), f (4), f (5), f (9)} = = {0, 4, 16, 25, 81}. La imagen inversa por f del subconjunto B = {0, 4, 16, 25, 81, 82, 90} de N es f 1 ({0, 4, 16, 25, 81, 82, 90}) = {9, 5, 4, 2, 0, 2, 4, 5, 9}. La imagen inversa por f del subconjunto C = {2, 3, 6, 12} de N es f 1 ({2, 3, 6, 12}) = 3 Sea p1 la aplicaci on del plano real R R en la recta real R tal que p1 (x, y ) = x, ((x, y ) R R). p1 : RR (x, y ) R x

N otese que la funci on p1 se interpreta geom etricamente como la proyecci on del plano sobre el eje de abscisas.

28

CAP ITULO 1. CONJUNTOS, FUNCIONES, RELACIONES Pongamos C = {(x, y ) R R | x2 + y 2 = 1} (la circunferencia de radio unidad centrada en el origen). La imagen por p1 del subconjunto C de R R es p1 (C ) = {x R | 1 x 1} = [1, 1] (el intervalo cerrado de extremos -1 y 1).
(x,y) C

p 1(C )

Pongamos I = [1, 1]. Se tiene

1 p 1 (I ) = {(x, y ) R R | 1 x 1}

p1-1([-1,1])

[-1,1]

4 Considerar la funci on g : R R tal que g (x) = x2 , (x R).

 1.2. EL CONCEPTO DE FUNCION Sea A el intervalo abierto (3, 8) de la recta real: A = {r R | 3 < r < 8}. La imagen por g del subconjunto A de R es g (A) = {y R | 9 < y < 64},

29

esto es, g (A) es el intervalo abierto (9, 64). La imagen rec proca por g del intervalo (9, 64) es el conjunto g 1 ((9, 64)) = {x R | 8 < x < 3 o 3 < x < 8} (que es la uni on de los intervalos (8, 3) y (3, 8) ). Sea B el intervalo (3, 4): B = {r R | 3 < r < 4}. La imagen rec proca por g del subconjunto B de R es g 1 (B ) = {x R | 2 < x < 2}, y la imagen por g de este conjunto es g (g 1 (B )) = {y R | 0 y < 4} = [0, 4) Proposici on 1.38 Sea f una aplicaci on de un conjunto X en un conjunto Y. 1 Si A1 , A2 son subconjuntos de X tales que A1 A2 , entonces f (A1 ) f (A2 ). 2 Si B1 , B2 son subconjuntos de Y tales que B1 B2 , entonces f 1 (B1 ) f 1 (B2 ). 3 Para todo subconjunto A de X , A f 1 (f (A)). En general no se cumple la igualdad. 4 Para todo subconjunto B de Y , f (f 1 (B )) B . En general no se cumple la igualdad. Demostraci on. Las demostraciones son sencillas, ya que se reducen a simples comprobaciones a partir de las deniciones de los conceptos que intervienen (inclusi on conjuntista [ver denici on 1.4], im agenes directas y rec procas [ver denici on 1.36]); el estudiante debe intentar hacerlas por su cuenta con el n de ir adquiriendo la t ecnica de las demostraciones matem aticas.

30

CAP ITULO 1. CONJUNTOS, FUNCIONES, RELACIONES 1 Debemos probar que si A1 es subconjunto de A2 , entonces f (A1 ) es subconjunto de f (A2 ); para ello veamos que todo elemento de f (A1 ) pertenece a f (A2 ). Sea y un elemento de f (A1 ). Por denici on de imagen directa, hay un elemento x A1 tal que y = f (x). Dado que A1 A2 , se tiene que x pertenece a A2 . Por tanto y = f (x) pertenece a f (A2 ). 2 Debemos probar que si B1 es subconjunto de B2 , entonces f 1 (B1 ) es subconjunto de f 1 (B2 ); para ello veamos que todo elemento de f 1 (B1 ) pertenece a f 1 (B2 ). Sea x un elemento de f 1 (B1 ). Por denici on de imagen inversa se tendr a f (x) B1 . Dado que B1 B2 , se tiene f (x) B2 . Por denici on de imagen inversa resulta que x f 1 (B2 ). 3 Debemos probar que si A es subconjunto del dominio X de la aplicaci on f , entonces todo elemento de A pertenece al subconjunto f 1 (f (A)) de X . Sea a un elemento de A. Por denici on de imagen directa, f (a) pertenece a f (A). Ahora, por denici on de imagen inversa, dado que f (a) f (A), se concluye que a pertenece a f 1 (f (A)). Consideremos la aplicaci on f : Z N z z2

y el subconjunto A = {1, 2} de Z. Se tiene: f (A) = {1, 4} y f 1 (f (A)) = {2, 1, 1, 2}. 4 Debemos probar que si B es subconjunto del conjunto de llegada Y de la aplicaci on f , entonces todo elemento de f (f 1 (B )) pertenece a B . Sea y un elemento de f (f 1 (B )). Por denici on de imagen directa, hay un elemento x en f 1 (B ) que verica f (x) = y . Por denici on 1 de imagen inversa, dado que x pertenece a f (B ) se concluye que y = f (x) pertenece a B . Consideremos la aplicaci on f : Z N z z2

y el subconjunto B = {1, 2, 3, 4, 5, 6} de N. Se tiene: f 1 (B ) = {2, 1, 1, 2} y f (f 1 (B )) = {1, 4}. Proposici on 1.39 Sea f una aplicaci on de un conjunto X en un conjunto Y.

 1.2. EL CONCEPTO DE FUNCION 1 Para todo A1 , A2 X se cumplen: f (A1 A2 ) = f (A1 ) f (A2 ) f (A1 A2 ) f (A1 ) f (A2 ) 2 Para todo B1 , B2 Y se cumplen: f 1 (B1 B2 ) = f 1 (B1 ) f 1 (B2 ) f 1 (B1 B2 ) = f 1 (B1 ) f 1 (B2 ) Demostraci on.

31

1.2.6.

Composici on de aplicaciones

Denici on 1.40 La restricci on de una aplicaci on f de un conjunto X en un conjunto Y a un subconjunto A de X es la aplicaci on f |A : A Y tal que f |A (a) = f (a), para todo a de A. Ejemplos 1.41 1. Sea f la aplicaci on del conjunto Z de los n umeros enteros en s mismo tal que f (x) = x2 , (x Z); para el subconjunto N de Z, la restricci on f |N : N Z de f a N est a dada por f |N (x) = x2 , (x N). N otese que las aplicaciones f y f |N son distintas. 2. Sea h : R R R la funci on tal que h(x, y ) = x2 y 2 , (x, y ) R R; pongamos D = {(x, y ) R R | x = y } = {(x, x) | x R} (D es la diagonal del primer y tercer cuadrantes). La restricci on de h a D es la aplicaci on h|D : D R tal que h|D (x, x) = 0, ((x, x) D). Denici on 1.42 Sean X, X , Y, Y conjuntos tales que X X e Y Y , y sean f : X Y y f : X Y aplicaciones. Se dice que f es una extensi on de f si f (x) = f (x) para todo x de X .

32

CAP ITULO 1. CONJUNTOS, FUNCIONES, RELACIONES

Denici on 1.43 La composici on de dos aplicaciones f : X Y y g : Y Z es la aplicaci on g f : X Z tal que (g f )(x) = g (f (x)), para todo x de X . Notas y ejemplos 1.44 1 Sea f la aplicaci on de Z Z en Z tal que f (x, y ) = 3x + 4y 1, (x, y ) Z Z; sea g la aplicaci on de Z en N tal que g (t) = | t |, (t Z); la composici on g f es la aplicaci on de Z Z en N tal que (g f )(x, y ) = | 3x + 4y 1 |, ((x, y ) R R). 2 Considerar las aplicaciones f : R R, f (x) = sen(x), (x R); y g : R R, g (x) = x2 , (x R). La composici on f g es la aplicaci on de R en R tal que (f g )(x) = f (g (x)) = sen(x2 ), (x R); la composici on g f es la aplicaci on de R en R tal que (g f )(x) = g (f (x)) = (sen(x))2 , (x R) [por convenio se pone ((sen(x))2 = sen2 (x)]; la composici on f f es la aplicaci on de R en R tal que (f f )(x) = sen(sen(x)), (x R); y la composici on g g es la aplicaci on de R en R tal que (g g )(x) = x4 , (x R). 3 La composici on g f de dos aplicaciones f : X Y y g : U Z est a denida si, y s olo si, el conjunto de llegada (codominio) de f coincide con el conjunto de salida (dominio) de g ; esto es, si, y s olo si, Y = U . Y =U f X g f g Z

 1.2. EL CONCEPTO DE FUNCION

33

Proposici on 1.45 La composici on de aplicaciones verica las siguientes propiedades: 1 Es asociativa: Si f : X Y, g : Y Z y h : Z V son aplicaciones, entonces h(g f ) = (hg )f . 2 Si f : X Y es una aplicaci on, 1X la aplicaci on identidad de X , y 1Y la aplicaci on identidad de Y , entonces 1Y f = f y f 1X = f . 3 Si f : X Y es una aplicaci on, A un subconjunto de X , e iA la inclusi on can onica de A en X , se verica f iA = f |A . Demostraci on. Es una simple comprobaci on directa (se deja como ejercicio). Teorema 1.46 Sean X, Y, Z conjuntos y f : X Y, h : X Z aplicaciones. Las condiciones siguientes son equivalentes: (a) Hay una aplicaci on g : Y Z tal que h = g f ; (b) Para todo x1 , x2 X , la relaci on f (x1 ) = f (x2 ) implica la relaci on h(x1 ) = h(x2 ). Y f X h g Z

Demostraci on. Veamos que (a) implica (b). Suponer que existe una aplicaci on g : Y Z tal que h = g f ; si x1 , x2 son elementos de X y f (x1 ) = f (x2 ), entonces g (f (x1 )) = g (f (x2 )); esto es, (g f )(x1 ) = (g f )(x2 ); de donde h(x1 ) = h(x2 ). Veamos que (b) implica (a). Suponer que se cumple la condici on (b). Para probar la existencia de una aplicaci on g : Y Z que cumpla g f = h, construyamos una tal aplicaci on. Para que se cumpla la condici on impuesta se debe tener g (f (x)) = h(x) para todo x X ; y esta relaci on nos indica la forma de proceder: Dado y Y , si existe x X tal que y = f (x), pongamos g (y ) = h(x); debemos probar que, en este caso, g (y ) est a un vocamente determinado; en efecto, si x es un elemento de X tal que y = f (x ), entonces f (x) = y = f (x ) y, por hip otesis, h(x) = h(x ).

34

CAP ITULO 1. CONJUNTOS, FUNCIONES, RELACIONES Si no existe x X que cumpla y = f (x), entonces escojamos un elemento z0 Z jo y pongamos h(y ) = z0 . N otese que este caso puede no darse.

Hemos denido as una aplicaci on g : Y Z g (y ) = h(x), g (y ) = z0 Z, y se tiene, para todo x X , (g f )(x) = g (f (x)) = h(x) Por tanto, g f = h. Esto completa la demostraci on. si si y = f (x) y = f (x) para alg un para todo xX xX

1.2.7.

Aplicaciones inyectivas, suprayectivas y biyectivas

Denici on 1.47 Una aplicaci on f de un conjunto X en un conjunto Y es inyectiva si para todo x, x X , la relaci on f (x) = f (x ) implica la relaci on x = x ; suprayectiva si para todo y Y existe alg un x X tal que f (x) = y ; biyectiva si es inyectiva y suprayectiva. N otese que una aplicaci on f : X Y es inyectiva si, y s olo si, para todo x, x X la relaci on x = x implica la relaci on f (x) = f (x ); suprayectiva si, y s olo si, Im(f ) = Y ; biyectiva si, y s olo si, para cada elemento y Y hay un u nico elemento x X tal que f (x) = y . Ejemplos 1.48 1 Sea B un subconjunto de un conjunto A; la inclusi on can onica iB : B A, iB (b) = b, (b B ), es inyectiva. La aplicaci on iB es suprayectiva si, y s olo si, B = A; en cuyo caso iB es la aplicaci on identidad de B (o de A, es igual). 2 Sean A y B conjuntos no vac os. Considerar la proyecci on del producto cartesiano A B sobre A; prA : AB (a, b) A a

Esta aplicaci on es suprayectiva.

 1.2. EL CONCEPTO DE FUNCION 3.

35

La aplicaci on f : Z Z, tal que f (z ) = z 2 , (z Z) no es inyectiva (porque f (1) = f (1)), y no es suprayectiva (porque no existen enteros z tales que z 2 = 1). La aplicaci on g : Z N, g (z ) = z 2 , (z Z), no es inyectiva y no es suprayectiva. (Por qu e?) La aplicaci on h : N N, h(z ) = z 2 , (z Z), es inyectiva y no es suprayectiva. (Por qu e?) Veamos algunas caracterizaciones u tiles de las aplicaciones inyectivas, suprayectivas y biyectivas. Proposici on 1.49 Sean X e Y conjuntos 1 Una aplicaci on f : X Y es inyectiva si, y s olo si, hay una aplicaci on g : Y X tal que g f = 1X . 2 Una aplicaci on f : X Y es suprayectiva si, y s olo si, hay una aplicaci on h : Y X tal que f h = 1Y . 3 Una aplicaci on f : X Y es biyectiva si, y s olo si, existen aplicaciones g : Y X y h : Y X tales que g f = 1X y f h = 1Y . En este caso s olo hay una aplicaci on g : Y X que cumpla g f = 1X , s olo hay una aplicaci on h : Y X que cumpla f h = 1Y , y se tiene g = h. Demostraci on. 1 Suponer que f : X Y es una aplicaci on inyectiva. Se busca una aplicaci on g : Y X que cumpla la condici on g f = 1X ; por tanto se debe tener g (f (x)) = x, para todo x X . Esto indica que si un elemento y del conjunto Y es de la forma y = f (x) para alg un x X , entonces debe ser g (y ) = g (f (x)) = x. En consecuencia, denamos la aplicaci on g en la forma: elijamos un elemento x0 X ; para cada y Y pongamos g (y )
= x,

si y = f (x) para alg un x X (y Im f )

= x0 , si no hay x X tal que y = f (x) (y Im f )

Debemos probar que g es una aplicaci on de Y en X : dado y Y , si x1 , x2 X cumplen y = f (x1 ) = f (x2 ), entonces x1 = x2 porque f es inyectiva (por hip otesis). En consecuencia, para cada y Y, g (y ) est a bien denido, con lo que queda establecida una aplicaci on g de Y en X . La aplicaci on g cumple la condici on exigida: g f = 1X pues g (f (x)) = x = 1X (x), para todo x X.

36

CAP ITULO 1. CONJUNTOS, FUNCIONES, RELACIONES Rec procamente, suponer que hay una aplicaci on g : Y X tal que g f = 1X . Si x1 , x2 X cumplen f (x1 ) = f (x2 ), entonces x1 = 1X (x1 ) = g (f (x1 )) = g (f (x2 )) = 1X (x2 ) = x2 Por tanto la aplicaci on f es inyectiva. 2 Suponer que f : X Y es una aplicaci on suprayectiva. Para cada y Y elijamos un elemento x X tal que f (x) = y (esto, en principio, es posible ya que se supone f suprayectiva), pongamos h(y ) = x. Queda as denida una aplicaci on h de Y en X . Se tiene, f (h(y )) = f (x) = y = 1Y (y ) para todo y Y Rec procamente, suponer que hay una aplicaci on h : Y X tal que f h = 1Y . Para todo y Y se tiene y = 1Y (y ) = (f h)(y ) = f (h(y )) de donde se concluye que la aplicaci on f es suprayectiva. 3 Por los apartados 1 y 2 se tiene: la aplicaci on f : X Y es biyectiva si, y s olo si, existen aplicaciones g : Y X y h : Y X tales que g f = 1X y f h = 1Y . Suponer ahora que f es biyectiva (o, de forma equivalente, suponer que hay aplicaciones g : Y X y h : Y X tales que g f = 1X y f h = 1Y ). Se tiene: g = g 1Y = g (f h)) = (g f )h = 1X h = h Esto prueba que g = h y, en particular, prueba la unicidad de g y la unicidad de h.

Ejemplos y Ejercicios 1.50 1 Consideremos los conjuntos X = {a, e, o}, Y = {1, 2, 3, 4, 5}, y la aplicaci on f : X Y dada por f (a) = 1, f (e) = 3, f (o) = 4 Evidentemente, la aplicaci on f es inyectiva; por tanto hay (al menos) una aplicaci on g : Y X tal que g f = 1X ; las aplicaciones g1 : Y X y g2 : Y X dadas por g1 (1) = a, g1 (2) = a, g1 (3) = e, g1 (4) = o, g1 (5) = a y g2 (1) = a, g2 (2) = e, g2 (3) = e, g2 (4) = o, g2 (5) = o cumplen g1 f = 1X y g2 f = 1X ; y

 1.2. EL CONCEPTO DE FUNCION

37

Puedes encontrar otras aplicaciones g de Y en X que cumplan la condici on g f = 1Y ? 2 Sea f una aplicaci on inyectiva de un conjunto X en un conjunto Y , y sea g cualquier aplicaci on de Y en X tal que g f = 1X . Entonces g es, necesariamente, suprayectiva. Por qu e? 3 Si, para una aplicaci on f : X Y , se sabe que hay una aplicaci on g : Y X que cumple la propiedad g f = 1X , entonces se sabe que f es inyectiva. Por ejemplo, consideremos: el conjunto N = {0, 1, 2, 3, . . .} de los n umeros naturales, el conjunto Z = {. . . , 3, 2, 1, 0, 1, 2, 3, . . .} de los n umeros enteros, y la aplicaci on i : N Z, i(n) = n, (n N). Para la aplicaci on v : Z N, v (z ) = | z |, (z Z), se tiene (v i)(n) = v (i(n)) = v (n) = n = 1N (n), (n N); por tanto v i = 1N y, en consecuencia, la aplicaci on i es inyectiva (y la aplicaci on v es suprayectiva). 4 Sea R el conjunto de los n umeros reales. La aplicaci on p1 : R R R, p1 (x, y ) = x, para todo (x, y ) R R es, obviamente, suprayectiva. Las aplicaciones h1 : R R R, h1 (x) = (x, 0), para todo x R y h2 : R R R, h2 (x) = (x, 1), para todo x R cumplen p1 h1 = 1R = p1 h2 Puedes encontrar otras aplicaciones h de R en R R que cumplan la condici on p1 h = 1R ? 5 Sea f una aplicaci on suprayectiva de un conjunto X en un conjunto Y , y sea h cualquier aplicaci on de Y en X tal que f h = 1Y . Entonces h es, necesariamente, inyectiva. Por qu e? 6 Si, para una aplicaci on f : X Y , se sabe que hay una aplicaci on h : Y X que cumple la propiedad f h = 1Y , entonces se sabe que f es suprayectiva. Por ejemplo, sea s la aplicaci on de Z Z en Z tal que

38

CAP ITULO 1. CONJUNTOS, FUNCIONES, RELACIONES s(x, y ) = x + y, para todo (x, y ) Z Z; consideremos la aplicaci on j : Z Z Z, j (z ) = (z, 0), para todo z Z. Se tiene (sj )(z ) = s(j (z )) = s(z, 0) = z + 0 = z = 1Z (z ), para todo z Z ; por tanto sj = 1Z y, en consecuencia, la aplicaci on s es suprayectiva (y la aplicaci on j es inyectiva). 7 Se considera la aplicaci on f : RR (x, y ) RR (x + 2y, 2x + 3y )

Hallar (si existe) una aplicaci on g : R R R R tal que f g = 1RR = g f y concluir que f es biyectiva. Denici on 1.51 Sea f : X Y una aplicaci on biyectiva. La u nica aplicaci on g : Y X tal que g f = 1X [y f g = 1Y ], se denomina la aplicaci on inversa o rec proca de f , y se escribe g = f 1 . Proposici on 1.52 1 Para todo conjunto X , la aplicaci on identidad 1X : X X es biyec1 tiva, y se tiene 1X = 1X . 2 Si f : X Y es biyectiva, entonces la aplicaci on inversa f 1 : Y X 1 1 es tambi en biyectiva, y se tiene (f ) = f . 3 Si f : X Y y g : Y Z son biyectivas, entonces la aplicaci on compuesta g f : X Z es tambi en biyectiva y se tiene (g f )1 = f 1 g 1 . Demostraci on 1 1X 1X = 1X 2 Suponer f : X Y biyectiva, entonces existe la aplicaci on inversa 1 f : Y X y se tiene f 1 f = 1X y f f 1 = 1Y

3 Suponer que f : X Y y g : Y Z son biyectivas, entonces existen las respectivas aplicaciones inversas f 1 : Y X y g 1 : Z Y y se tiene (f 1 g 1 )(g f ) = f 1 (g 1 g )f = f 1 1Y f = f 1 f = 1X (g f )(f 1 g 1 ) = g (f f 1 )g 1 = g 1Y g 1 = g g 1 = 1Z

1.3. UNIONES E INTERSECCIONES DE FAMILIAS DE CONJUNTOS39 Denici on 1.53 Una funci on de elecci on de un conjunto X es una aplicaci on r del conjunto P (X ) de las partes no vac as de X en el conjunto X r : P (X ) X tal que r(A) A para todo A P (X ). Axioma 1.54 [El axioma de la elecci on]. Todo conjunto posee una funci on de elecci on.

1.3.

Uniones e intersecciones de familias de conjuntos

En esta secci on supondremos que I es un conjunto (de ndices), que U es un conjunto (universal), y que las familias de conjuntos consideradas son familias de subconjuntos del conjunto U . Denici on 1.55 La uni on de una familia de conjuntos (Ai )iI es el conjunto de los elementos que pertenecen a alg un Ai ; se denota este conjunto Ai .
iI

La intersecci on de una familia de conjuntos (Ai )iI es el conjunto de los elementos que pertenecen a todos los Ai ; se denota este conjunto Ai .
iI

Por tanto, dada una familia (Ai )iI (de subconjuntos de U ), para todo x U , se tienen: x
iI

Ai existe alg un j I tal que x Aj

y x
iI

Ai x Ai para todo i I.

Si I es un conjunto nito, digamos I = {i1 , i2 , . . . , in }, se tiene Ai1 Ai2 . . . Ain =

iI

Ai ;

y analogamente, Ai1 Ai2 . . . Ain =

iI

Ai .

40

CAP ITULO 1. CONJUNTOS, FUNCIONES, RELACIONES

Ejemplos 1.56

1 Tomemos U = R, el conjunto de los n umeros reales y, como conjunto + I de ndices, el conjunto Z de los enteros positivos. Para cada entero n > 0 consideremos el intervalo cerrado Jn = [1/n, 1/n] = {x R | 1/n x 1/n} Se tiene as una familia (Jn )nZ+ de subconjuntos de R con ndices en Z+ . Es f acil comprobar las igualdades: Jn = [1, 1] = J1
nZ+

y Jn = {0} = [0, 0]
nZ+

2 Tomemos U = R, el conjunto de los n umeros reales y, como conjunto I de ndices, el conjunto R+ de los n umeros reales positivos. Para cada n umero real > 0 consideremos el intervalo abierto H = (1 , 1 + ) = {x R | 1 < x < 1 + } Se tiene as una familia (H )R+ de subconjuntos de R con ndices en R+ . Es f acil comprobar las igualdades: H = (, +) = R
R+

y Hn = [1, 1]
R+

1.4.
1.4.1.

Relaciones de equivalencia
Concepto y ejemplos

Denici on 1.57 Una relaci on (binaria) en un conjunto X es (o queda especicada por) un subconjunto R del producto cartesiano X X . Introduzcamos una notaci on adecuada para trabajar con relaciones binarias en un conjunto: Sea R una relaci on binaria en un conjunto X , y sean a, b elementos de X .

1.4. RELACIONES DE EQUIVALENCIA

41

Si (a, b) R, entonces se dice que a est a R-relacionado con b (o simplemente que a est a relacionado con b, si la alusi on a R es clara), y se escribe aRb. Si (a, b) / R, entonces se dice que a no est a R-relacionado con b (o simplemente que a no est a relacionado con b, si la alusi on a R es clara), y se escribe aR /b . Denici on 1.58 Una relaci on R en un conjunto X es de equivalencia si cumple las propiedades reexiva, sim etrica y transitiva: 1 xRx, para todo x X (propiedad reexiva); 2 para todo x, y X , si xRy , entonces yRx (propiedad sim etrica); y 3 para todo x, y, z X , si xRy , e yRz , entonces xRz (propiedad transitiva). Ejemplos 1.59 1. La relaci on de igualdad entre los elementos de un conjunto cualquiera X es una relaci on de equivalencia en X . N otese que el concepto de relaci on de equivalencia generaliza el concepto de igualdad o identidad =. 2. La relaci on de paralelismo en el conjunto L de las rectas de un plano ordinario es una relaci on de equivalencia en L. Dos rectas r y s son paralelas (r s) si r = s o r y s no poseen puntos comunes. 3. En el conjunto Z de los n umeros enteros escojamos un entero m que llamaremos m odulo; queda denida una relaci on m en Z llamada congruencia m odulo m en la forma: x m y si, y s olo si, x y es m ultiplo de m; esto es, x m y existe z Z tal que x y = mz La congruencia m odulo m en Z es una relaci on de equivalencia en Z, y ser a estudiada detenidamente m as adelante. 4. Sean A y B conjuntos. Una aplicaci on f : A B determina una relaci on binaria Rf en el conjunto A (dominio de la aplicaci on f ) en la forma: xRf y f (x) = f (y ), (x, y A) Es f acil comprobar que Rf es una relaci on de equivalencia en A. Se dice que Rf es la relaci on de equivalencia (en A) asociada a la aplicaci on f .

42

CAP ITULO 1. CONJUNTOS, FUNCIONES, RELACIONES 5. Dados (x, y ), (u, v ) R R, pongamos (x, y )R(u, v ) x2 + y 2 = u2 + v 2 La relaci on R as denida en el conjunto R R es una relaci on de equivalencia. (Interpretaci on geom etrica: dos puntos del plano est an relacionados si, y s olo si, equidistan del origen). La comprobaci on de que R es una relaci on de equivalencia en R R se puede hacer de una cualquiera de las dos formas siguientes: a ) directamente, comprobando que R es reexiva, sim etrica y transitiva (lo cual puede resultar algo pesado); o b ) indirectamente, usando el ejemplo 4 anterior: basta tener en cuenta que R es la relaci on de equivalencia asociada a la aplicaci on d : RR (x, y ) x2 R + y2

1.4.2.

Clases de equivalencia y conjunto cociente

Denici on 1.60 Sea R una relaci on de equivalencia en un conjunto X . La clase de equivalencia de un elemento a X es el conjunto de los elementos de X relacionados con a; se denota este conjunto mediante [a]R o [a] o a. Por tanto, [a]R = [a] = a = {x X | xRa}. Ejemplos 1.61 1. Si X es un conjunto y a X , la clase de equivalencia [a]= es {a}.(Ver ejemplo 1.59.1) 2. La clase de equivalencia de una recta r es el haz de rectas paralelas que contiene a r. (Ver ejemplo 1.59.2) 3. En el ejemplo 1.59.3 tomemos como m odulo m el entero 5. La clase de equivalencia del entero 3 en la congruencia m odulo 5 en Z es [3]5 = 3 = {3 + 5k | k Z} = {. . . , 7, 2, 3, 8, 13, 18, . . .}. Hay exactamente cinco clases de equivalencia que denotaremos para abreviar 0, 1, 2, 3, 4; estas son: 0 = {5k | k Z} ..., = {. . . , 10, 5, 0, 5, 10, 15, . . .} = 5 = 10 =

1 = {1 + 5k | k Z} = {. . . , 9, 4, 1, 6, 11, 16, . . .} = 6 = 11 = ...,

1.4. RELACIONES DE EQUIVALENCIA

43

2 = {2 + 5k | k Z} = {. . . , 8, 3, 2, 7, 12, 17, . . .} = 7 = 12 = ..., 3 = {3 + 5k | k Z} = {. . . , 7, 2, 3, 8, 13, 18, . . .} = 8 = 13 = ..., 4 = {4 + 5k | k Z} = {. . . , 6, 1, 4, 9, 14, 19, . . .} = 9 = 14 = .... 4. Consid erese la aplicaci on f : Z N, f (x) = | x |, (x Z), y la relaci on de equivalencia Rf en Z asociada a f (ver ejemplo 1.59.4). La clase de equivalencia de 2 es [2]Rf = {2, 2}; la clase de equivalencia de 0 es [0]Rf = {0}. Para cualquier a Z, la clase de equivalencia de a es [a]Rf = {a, a}. 5. Consid erese el ejemplo 1.59.5. La clase de equivalencia de un punto (a, b) R R es el conjunto de los puntos (u, v ) R R que distan del origen (0, 0) lo mismo que (a, b); esto es, [(a, b)]R = {(u, v ) R R | u2 + v 2 = a2 + b2 } Veamos algunas propiedades de las clases de equivalencia. Notas 1.62 Sea R una relaci on de equivalencia en un conjunto X . 1. Si x es un elemento de X , entonces xRx y, por tanto, x [x]R . 2. Toda clase de equivalencia con respecto a R es un subconjunto de X . 3. Si un subconjunto S de X es una clase de equivalencia con respecto a R, entonces (por denici on de clase de equivalencia) hay (al menos) un elemento x X tal que S = [x]R . 4. Sean x, y elementos de X . a ) Si xRy , entonces yRx, y se tiene y [x]R y x [y ]R . Rec procamente, si y [x]R , entonces xRy . b ) Si xR /y , entonces yR /x, y se tiene y / [x]R y x / [y ]R . Rec procamente, si y / [x]R , entonces xR /y . 5. Sean x e y elementos de X . a ) Si xRy , entonces [x]R = [y ]R . Efectivamente, suponer que xRy y sea z un elemento de [x]R , entonces zRx, por la propiedad transitiva zRy , de donde z [y ]R ; con lo que queda probada la inclusi on [x]R [y ]R . An alogamente se prueba la inclusi on [y ]R [x]R .

44

CAP ITULO 1. CONJUNTOS, FUNCIONES, RELACIONES b ) Si xR /y , entonces [x]R [y ]R = . Efectivamente, suponer que xR /y y que hay un elemento z [x]R [y ]R , entonces xRz y zRy , y por la propiedad transitiva se obtiene la contradicci on xRy . Por tanto no hay elementos en la intersecci on [x]R [y ]R .

Proposici on 1.63 Sea R una relaci on de equivalencia en un conjunto X . Se cumplen: 1. Toda clase de equivalencia es un subconjunto no vac o de X . 2. Dos clases de equivalencia coinciden o son disjuntas. 3. La uni on de todas las clases de equivalencia es igual a X . Denici on 1.64 Suponer denida una relaci on de equivalencia en un conjunto. Un representante de una clase de equivalencia es cualquier elemento de dicha clase. Un sistema completo de representantes de las clases de equivalencia es un conjunto obtenido escogiendo exactamente un representante en cada clase de equivalencia. Notas y ejemplos 1.65 1. Obviamente, dos elementos son representantes de una misma clase de equivalencia si, y s olo si, est an relacionados. 2. La elecci on de un representante de una clase de equivalencia es un proceso arbitrario: no hay raz on especial para elegir un elemento en lugar de otro en una misma clase. Sin embargo hay situaciones en las que se conviene en elegir ciertos representantes especialmente destacados (representantes can onicos). 3. El conjunto {0, 1, 2, 3, 4} constituye un sistema completo de representantes de las clases de equivalencia en Z con respecto a la congruencia m odulo 5 (v ease 1.61.3). 4. Consid erese el ejemplo 1.61.4. En este caso hay innitas clases de equivalencia. El conjunto de los n umeros naturales constituye un sistema completo de representantes de las clases de equivalencia de Z m odulo Rf . Denici on 1.66 Una partici on de un conjunto X es una familia = (Ai )iI de subconjuntos de X tal que: 1. Ai = , para todo i I ; 2. para todo i, k I , Ai Ak = o Ai = Ak ;

1.4. RELACIONES DE EQUIVALENCIA 3.

iI

45

Ai = X .

Esto es, una partici on de un conjunto X es una colecci on de subconjuntos no vac os de X , disjuntos dos a dos y cuya uni on es X . Sea R una relaci on de equivalencia en un conjunto X . El conjunto X/R de las distintas clases de equivalencia [x]R constituye una partici on del conjunto X , llamado el conjunto cociente de X por (o m odulo) la relaci on de equivalencia R: cada elemento x de X est a en alguna clase de equivalencia (x [x]R ); dos clases de equivalencia distintas son disjuntas; ninguna clase de equivalencia es vac a. Reciprocamente, una partici on en un conjunto X determina [de modo natural] una relaci on de equivalencia R en X : deniendo, para x, y X , x R y si, y s olo si, x e y est an en un mismo miembro de la partici on . Una relaci on de equivalencia R en un conjunto X determina [de modo natural] una aplicaci on de X en el conjunto cociente X/R, dada por : X X/R, (x) = [x]R , (x X ). Reciprocamente, una aplicaci on f : X B (de X en un conjunto B ) determina [de modo natural] una relaci on de equivalencia Rf en X , dada por x Rf y si, y s olo si, f (x) = f (y ), (x, y X ).

1.4.3.

Descomposici on can onica de una aplicaci on.

Una aplicaci on f : X Y , de un conjunto X en un conjunto Y , determina una relaci on de equivalencia Rf en X (la relaci on de equivalencia asociada a f ); considerar el conjunto cociente X/Rf correspondiente, y el conjunto imagen Im(f ) = {f (x) | x X } de la aplicaci on f . Quedan denidas [de modo natural] tres aplicaciones: : X X/Rf , tal que (x) = x , (x X ); : X/Rf Im(f ), tal que f ( f x) = f (x), ( x X/Rf ), donde x es cualquier representante de x ; y j : Im(f ) Y, j (y ) = y, (y Im(f )); j es simplemente la inclusi on can onica del subconjunto Im(f ) de Y en Y . est ( Se comprueba que es suprayectiva; f a bien denida [f x) no depende del representante x de x elegido] y es biyectiva; j es inyectiva. Adem as ; f = j f esta es la descomposici on can onica o natural de la aplicaci on dada f . En particular se tiene: Teorema 1.67 Sea f : X Y una aplicaci on de un conjunto X en un conjunto Y . Hay una biyecci on del conjunto cociente X/Rf en el conjunto imagen Im(f ).

46

CAP ITULO 1. CONJUNTOS, FUNCIONES, RELACIONES

1.5.

Relaciones de orden

Denici on 1.68 Una relaci on R en un conjunto X es de orden si cumple las propiedades reexiva, antisim etrica y transitiva: (r) xRx para todo x X ; (a) para todo x, y X , si xRy e yRx, entonces x = y ; (t) para todo x, y, z X , si xRy , e yRz , entonces xRz . Denici on 1.69 Un conjunto ordenado es un par (X, R) donde X es un conjunto y R es una relaci on de orden en X . Notaci on. Una relaci on de orden R en un conjunto X se suele representar mediante el s mbolo . Usando esta notaci on las condiciones de la denici on anterior se expresan: (r) x x para todo x X ; (a) para todo x, y X , si x y e y x, entonces x = y ; (t) para todo x, y, z X , si x y , e y z , entonces x z . Si x y y x = y , se pone x < y , en este caso se dice que x es estrictamente menor que y . N otese que si es una relaci on de orden en un conjunto X y A es una parte de X , entonces la restricci on de a A es una relaci on de orden en A. De este modo, todo subconjunto A de un conjunto ordenado (X, ) es un conjunto ordenado. Ejemplos 1.70 1 (N, |), el conjunto de los n umeros naturales N con la relaci on | (divide a). 2 Para un conjunto cualquiera A, (P (A), ), el conjunto de las partes de A con la relaci on de inclusi on. 3 (N, ), el conjunto de los n umeros naturales con la relaci on usual. 4 (Z, ), el conjunto de los n umeros enteros con la relaci on de orden usual. 5 (Q, ), el conjunto de los n umeros racionales con la relaci on de orden usual.

1.5. RELACIONES DE ORDEN

47

6 (R, ), el conjunto de los n umeros reales con la relaci on de orden usual. Denici on 1.71 Sea (X, ) un conjunto ordenado. Dos elementos x e y de X son comparables si x y o y x. Se dice que un conjunto ordenado (X, ) es linealmente ordenado si dos elementos cualesquiera de X son comparables. Denici on 1.72 Sea (X, ) un conjunto ordenado. Un elemento m de X es un elemento maximal de X si, para todo x X, m x implica m = x. Un elemento n de X es un elemento minimal de X si, para todo x X, x n implica x = n. Un elemento a de X es el elemento m aximo de X si x a, para todo x X . Un elemento b de X es el elemento m nimo de X si b x, para todo x X. Es claro que si X posee elemento m aximo, s olo posee uno; y si X posee elemento m nimo, s olo posee uno. Denici on 1.73 Sea A un subconjunto de un conjunto ordenado (X, ). Una cota superior de A en X es un elemento c X tal que y c para todo y A. Una cota inferior de A en X es un elemento d X tal que d y para todo y A. Se dice que A es acotado superiormente si hay una cota superior de A en X . Se dice que A es acotado inferiormente si hay una cota inferior de A en X . Se dice que A es acotado si es acotado superior e inferiormente. Si el conjunto de las cotas superiores de A en X posee elemento m nimo m, se dice que m es la m nima cota superior de A en X o el supremo de A en X . Se pone m = supX A. Si el conjunto de las cotas inferiores de A en X posee elemento m aximo n, se dice que n es la m axima cota inferior de A en X o el nmo de A en X . Se pone n = inf X A.

48

CAP ITULO 1. CONJUNTOS, FUNCIONES, RELACIONES

Es claro que el supremo de A en X , si existe, es u nico; y el nmo de A en X , si existe, es u nico. Denici on 1.74 Un conjunto ordenado X = (X, ) es bien ordenado por la relaci on si todo subconjunto no vac o de X posee elemento m nimo. Proposici on 1.75 Todo conjunto ordenado bien ordenado es linealmente ordenado. Denici on 1.76 En un cojunto ordenado X = (X, ) un elemento b X es sucesor inmediato de un elemento a X si a < b y no existe x X tal que a < x < b. Proposici on 1.77 En un conjunto ordenado bien ordenado cada elemento (salvo el elemento m aximo, si existe) posee un sucesor inmediato. Axioma 1.78 El Principio o Axioma de la Buena Ordenaci on (Equivalente al Axioma de la Elecci on). Todo conjunto puede ser bien ordenado. Esto es, para cada conjunto X existe una relaci on de orden en X tal que el conjunto ordenado (X, ) es bien ordenado.