Anda di halaman 1dari 48

a Notas de Algebra Bsica I

Carlos Ruiz de Velasco y Bellas Departamento de Matemticas, Estad a stica y Computacin o 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 inclusin o

Se supondr que todos poseemos una idea intuitiva de la nocin de cona o junto y, por tanto, se adopta un punto de vista un tanto ingenuo respecto de ste concepto. Diremos que un conjunto es una coleccin bien determinada e o 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 en el conjunto A o que a es un a elemento del conjunto A; la negacin de esta relacin se indica a A; o o / que se lee a no pertenece al conjunto A, o a no est en el conjunto a A o a no es un elemento del conjunto A. Notas y ejemplos 1.1 1. En las matemticas se utilizan conjuntos de objetos matemticos tales a a como conjuntos de nmeros, conjuntos de polinomios, conjuntos de u puntos o de rectas, etc; pero con el n de aclarar los conceptos al principiante, puede ser util 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 abstraccin, podemos pensar que una biblioteca es un conjunto o de libros, que un libro es el conjunto de sus pginas, que una pgina a a 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 nmeros enteros. Se veriu can las relaciones 1492 Z, 307 Z, 3 Z, 2 Z 7

4. Consideremos el conjunto S de los nmeros reales x que satisfacen la u ecuacin x2 25 = 0. Se cumplen: o 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 unicos elementos del conjunto S. 5. Consideremos el conjunto V de los nmeros reales x que verican la u 2 + 4 = 0. Cules son los elementos de V ? relacin x o a 6. Sea P el conjunto de los nmeros primos. Se verican las relaciones u 7 P, 37 P, 12 P, 16 P Denicin 1.2 Un conjunto A es igual a un conjunto B si para todo x, la o relacin x A equivale a la relacin x B. o o Esto viene a decir que dos conjuntos son iguales si, y slo si, poseen los o mismos elementos. La relacin el conjunto A es igual al conjunto B se o escribe A = B y la negacin de dicha relacin se escribe A = B. Por tanto, o o 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 algn elemento de A no pertenece a B o u algn elemento de B no pertenece a A u

Proposicin 1.3 La relacin de igualdad entre conjuntos verica las sio o guientes 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 simtrica); e 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

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

B A

Para todo x la relacin x A x B es cierta o

Notas y ejemplos 1.5 1. El conjunto P de los nmeros primos es un subconjunto del conjunto u Z de los nmeros enteros; esto es, P Z. u 2. El conjunto S de los nmeros reales x que satisfacen la ecuacin x2 u o 25 = 0 es un subconjunto del conjunto T de los nmeros reales y que u satisfacen la ecuacin y 3 25y = 0; esto es, S T . Es cierta la o relacin S = T ? Por qu? o e 3. El conjunto D de los nmeros enteros que son mltiplos de 10 es un u u subconjunto del conjunto C de los nmeros enteros que son mltiplos u u de 5; en s mbolos, D C. Lo que se est diciendo es que todo entero a que sea mltiplo de 10 es mltiplo de 5; en efecto, supngase que un u u o nmero entero x es mltiplo de 10, entonces existe un nmero entero u u u z tal que x = 10z; se tiene entonces x = 10z = 5(2z) que es mltiplo u de 5. 4. Ntese que o AB equivale a: para todo x, la relacin x B implica la relacin x A. o / o / Esto es consecuencia de la equivalencia lgica: o [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, simblicamente, o 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 negacin de la relacin A B se escribe A B; de modo que para o o dos conjuntos A y B se tiene: A B hay un objeto x tal que x A y x B / o bien, simblicamente, o A B x, x A y x B /

x A A x

7. El conjunto D de los nmeros enteros que son mltiplos de 12 no es u u subconjunto del conjunto O de los nmeros enteros que son mltiplos u u 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 nfasis, A B. Se dice, en este caso, que el conjunto A e = est estrictamente contenido en el conjunto B. Por tanto, a AB todo elemento de A pertenece a B y algn elemento de B no pertenece a A u

Proposicin 1.6 La relacin de inclusin entre conjuntos verica las sio o o guientes 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 antisimtrica); e 3 para todo conjunto A, todo conjunto B y todo conjunto C, si A B y B C, entonces A C (propiedad transitiva). Demostracin. Se deja como ejercicio muy sencillo. o

1.1. CONJUNTOS Conjuntos notables.

Algunos conjuntos de objetos matemticos son especialmente importana tes y aparecen frecuentemente en diversas situaciones, por ello es conveniente representarlos mediante s mbolos especiales para poder referirse a ellos con comodidad y sin ambigedades. Veamos, de modo un tanto informal, algunos u ejemplos: 1. El conjunto de los nmeros naturales u N = {0, 1, 2, 3, 4, . . .}. Se verican las relaciones: 7 N, 8 N. 2. El conjunto de los nmeros enteros u Z = {. . . , 3, 2, 1, 0, 1, 2, 3, . . .}. Se cumplen las relaciones: 7 Z, 8 N, 3 Z. 5 3. El conjunto Q de los nmeros racionales u 3 2 Q, 5 Q, 2 Q, 2 + 3i Q 4. El conjunto R de los nmeros reales u 2 R, 3 R, 2 R, 2 + 3i R 5 5. El conjunto C de los nmeros complejos u 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 unico subconjunto UR de U tal que: x UR si, y slo si, x U y x verica la propiedad R(x). o

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 nmeros enteros) y R(x) la relacin u o 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 relacin 3x + 2y 5 = 0. Entonces o (R R)R es lo que se conoce habitualmente como la recta de ecuacin o 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 nmeros reales) y consideremos u 3 +2z 2 5z 6 = 0. En este caso R como propiedad R(z) la relacin z o R es el conjunto de las ra ces (ceros o soluciones) reales de la ecuacin o 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 nmeros reales) y consideremos u como propiedad R(y) la relacin y 2 + y + 1 = 0. En este caso RR es o el conjunto de las ra ces reales de la ecuacin y 2 + y + 1 = 0: o RR = {y R | y 2 + y + 1 = 0} = ? 5. Supongamos que U es el conjunto de las letras del alfabeto espaol; n consideremos la propiedad R(v) la relacin v es una vocal. En este o caso UR es el conjunto de las vocales del alfabeto espaol. n
1

Vase ms adelante el concepto de producto cartesiano de conjuntos. e a

1.1. CONJUNTOS

Nota.Si un conjunto A es nito (y es pequeo), entonces es posible enun merar, 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 espaol: n {a, e, i, o, u} 2. El conjunto de los nmeros enteros primos menores que 10: u {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}} Ntese que los elementos del conjunto S son o {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 casos el e 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 slo si, las propiedades R(x) y P(x) son equivalentes. o Sea U un conjunto y sean R(x) y P(x) propiedades. En qu casos el e conjunto UR de los elementos de U que verican la propiedad R(x) est cona tenido 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 contenido en el conjunto UP de los elementos de U que verican a la propiedad P(x) si, y slo si, la propiedad R(x) implica la propiedad P(x). o Ejemplos 1.10 1. Sea U = Z, el conjunto de los nmeros enteros. Sea R(x) la propiedad u |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} Denicin 1.11 Sea A un subconjunto de un conjunto U; el conjunto o 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 denido para subconjuntos (cualesquiera) A de a 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 nmeros enteros sea Z+ el subconjunto de los u 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 ecuacin 3x + 2y 5 = 0; esto es, o A = {(x, y) R R | 3x + 2y 5 = 0} El complementario de A respecto de RR 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}


Proposicin 1.13 Sean A y B subconjuntos de un conjunto U. o 1 A B si, y slo si, CU B CU A o 2 CU (CU A) = A Demostracin. o 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. / Proposicin 1.14 Para conjuntos cualesquiera X e Y se tiene CX X = o CY Y . Demostracin. Consecuencia de la equivalencia: o para todo x, x X y x X / para todo x, x Y y x Y /

Para todo conjunto X se pone = CX X. Ntese que no depende del o conjunto X escogido (por 1.14). Denicin 1.15 El conjunto se denomina el conjunto vac o o. Proposicin 1.16 El conjunto vac cumple las siguientes propiedades: o o 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 = . Demostracin. o 1 La relacin para todo x, si x , entonces x A es verdadera, o cualquiera que sea el conjunto A (Por qu?). e 2 Por 1 se tiene B. Por hiptesis B . En consecuencia, B = . o Por tanto, el conjunto vac es el unico conjunto contenido en todo cono junto. El conjunto vac cumple las dos propiedades siguientes: o 1 Para todo x, la relacin x es falsa. o 2 Si H es un conjunto tal que la relacin x H es falsa para todo x, o 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. Denicin 1.18 Si X es un conjunto, P(X) se denomina el conjunto de o las partes de X. Tambin se dice que P(X) es el conjunto de los sube conjuntos 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}} Ntese que {1} P(D), {0, 1} P(D), o 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}} Ntese que {2} P(T ), {0, 1} P(T ), o 4 P({0}) = { , {0}} 5 P() = { } etc. etc.

14

CAP ITULO 1. CONJUNTOS, FUNCIONES, RELACIONES

1.1.4.

Unin, interseccin y diferencia o o

Se denen las tres operaciones bsicas entre conjuntos: unin, interseca o cin y diferencia conjuntistas. Posteriormente se estudian las propiedades o formales ms importantes de estas operaciones. a Denicin 1.20 Sean A y B subconjuntos de un conjunto U. o La unin de A y B es el conjunto, denotado A B, de los elementos o (de U) que pertenecen a A a B. o A B = {x U | x A x B} o La interseccin de A y B es el conjunto, denotado A B, de los o 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 x B. o Notas y ejemplos 1.21 1 Las deniciones de la unin, interseccin y diferencia de dos conjuntos o o 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 x B; o 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 interpretacin de las o 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 conjuncin o debe entenderse siempre en sentido no exclu o yente: la validez de una proposicin compuesta de la forma p o q o 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 nmeros reales: U = R. Sean u 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 x > 1/2} o (, 1/2) (1/2, +) = = = = [1/2, 7) (0, 1/2] [1/2, 0]

15

Proposicin 1.22 Sean A y B subconjuntos de un conjunto U. Se cumplen o 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. Proposicin 1.23 Sean A y B subconjuntos de un conjunto U. Se cumplen: o 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 unin A B de dos conjuntos A y B es un conjunto que contiene o 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 interseccin de dos conjuntos A y B es un conjunto contenido en o A y en B, y es el mayor conjunto contenido en A y en B.
X A A I B

A U B

Proposicin 1.24 Sean A, B y C subconjuntos de un conjunto U. Se veo rican 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)
Demostracin. Se deja como ejercicio. o

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

Denicin 1.25 Dos conjuntos A y B son disjuntos si no poseen elemeno tos comunes. A y B son disjuntos A B = .

1.2. EL CONCEPTO DE FUNCION

17

1.2.
1.2.1.

El concepto de funcin o
Pares ordenados

A partir de dos objetos matemticos cualesquiera a y b, iguales o disa tintos, dados en un cierto orden, se construye un nuevo objeto matemtico, a representado (a, b) y denominado par ordenado de primera componente a y segunda componente b; esta construccin est regulada por el siguieno a te criterio de igualdad de pares ordenados: dos pares ordenados (a, b), (u, v) son iguales si, y slo si, a = u y b = v. En particular, (a, b) = (b, a) si, y slo o o si, a = b. Sin embargo, ntese que {a, b} = {b, a}, para todo a y todo b. o Se dice que a es la proyeccin primera del par (a, b) y que b es la o proyeccin segunda del par (a, b). Se pone a = pr1 (a, b) y b = pr2 (a, b). o 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 slo si, a = u, y b = v y o 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 slo si, n = m y ai = bi pra todo i, 1 i n. o Mediante el uso de pares ordenados se podrn realizar numerosas fora malizaciones matemticas que se irn viendo a lo largo de estas lecciones. a a 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 combinacin de objetos simples con el n de crear objetos compueso tos y, a su vez, la combinacin de objetos (simples o compuestos) con o el n de formar objetos de complejidad superior, mediante procesos de s ntesis, es una actividad intelectual comn. La construccin de pares u o ordenados (y, en general, la de tuplas ordenadas) es una herramienta que posibilita el manejo matemtico de esa actividad mental. Para a ilustrar estas ideas considrese el siguiente ejemplo simple: e Un punto en el plano est representado (con respecto a una refea rencia o sistema de coordenadas) por un par ordenado (x, y) de nmeu ros reales x e y; un segmento est representado por un par ordenado a (p1 , p2 ) de puntos p1 = (x1 , y1 ) y p2 = (x2 , y2 ); una circunferencia est representada por un par ordenado (p, r) donde p = (x, y) es un a punto (el centro) y r es un nmero real positivo (el radio); etc. u La extraccin de entidades simples o de informacin parcial de los o o objetos compuestos, mediante procesos de proyeccin, asignacin o o o abstraccin, con el n de simplicar una realidad compleja es otra o actividad mental frecuente. El concepto de aplicacin o funcin, que o o

18

CAP ITULO 1. CONJUNTOS, FUNCIONES, RELACIONES ser introducido ms adelante, es una herramienta que formaliza maa a temticamente esta actividad. Ilustremos estas ideas generales mediana te algunos ejemplos sencillos: La proyeccin de un cuerpo tridimensional sobre uno o varios planos o bidimensionales es una herramienta utilizada en dibujo, en medicina (radiolog en fotograf etc. En todos estos procesos una cierta cana), a, tidad de informacin se pierde y otra permanece, con ello se consigue o simplicar una realidad compleja (digamos humanamente compleja) a travs de imgenes ms sencilla. e a a La asignacin a cada persona de una poblacin de su edad en aos, o o n o de su talla en cent metros, o de su peso en kilos son herramientas usadas en estudios sociolgicos. o El paso de una funcin f a su funcin derivada f . La derivada proo o porciona una informacin parcial de la funcin original (informacin o o o que ya va impl cita en la funcin original): la rapidez de crecimieno to o decrecimiento, las abscisas de los puntos de ordenada mxima o a m nima; pero la funcin derivada pierde la informacin relativa a, por o o ejemplo, los puntos de corte con el eje de abscisas. La clasicacin y la ordenacin de objetos con arreglo a determinados o o criterios con el n de controlar la complejidad estructural de la realidad percibida es, tambin, una actividad humana frecuente. El concepto e de relacin (en particular los conceptos de relacin de equivalencia y o o de orden) es una herramienta que facilita el uso matemtico de esta a actividad. Veamos algunos ejemplos: Las palabras en un diccionario aparecen ordenadas (lexicogrcaa mente). - 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 segn orden alfabtico de las etiquetas. Con ello se u e consigue, entre otras cosas, un acceso rpido a los documentos. a

1.2.2.

Producto cartesiano

Denicin 1.27 El producto cartesiano de dos conjuntos A y B es el o 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 slo si, existen elementos a A y b B tales que p = (a, b) o 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)}. Obsrvese que la construccin de productos cartesianos de conjuntos e o no es conmutativa: D T = T D. 3 En la gura adjunta se ilustra, mediante una representacin geomtrio e ca, 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 nmeros reales, se puede interpretar como el plano. u 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}. Cmo se puede interpretar el producto cartesiano S 1 J? (Se pide o una interpretacin geomtrica; imag o e 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}. Cmo se puede interpretar (en sentido geomtrico, como el caso ano e terior) el producto cartesiano D1 J?

1.2.3.

El concepto de aplicacin o

Una aplicacin o funcin de un conjunto A en un conjunto B es una o o regla, descripcin o procedimiento que a cada elemento de A asigna o asocia o un unico elemento de B. En la siguiente denicin se formaliza esta idea. o Ntese que para especicar una aplicacin o funcin es preciso dar los tres o o o ingredientes: el conjunto A, el conjunto B y la asignacin. o Denicin 1.29 Una aplicacin o funcin es una terna f = (G, A, B) o o o donde A y B son conjuntos y G es un subconjunto del producto cartesiano A B, tal que para cada a A existe un unico b B que cumpla (a, b) G. La condicin de la denicin relativa a G quiere decir: o o 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 aplicacin concreta es necesario especicar los o tres ingredientes que intervienen en su denicin: o 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 denicin. o 2. Pongamos A = B = Z (el conjunto de los nmeros enteros), u C = {(z, z 2 ) | z Z} Z Z. La terna c = (C, Z, Z) es una aplicacin. o 3. Sean A = R (el conjunto de los nmeros reales), u 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 aplicacin o funcin. o o 4. Sean A = {a, e, i, o, u} (el conjunto de las vocales de la lengua espaola), n B = {0, 1}, F = {(a, 1), (e, 1), (i, 0), (o, 1), (u, 0)} A B. La terna f = (F, A, B) es una aplicacin. o 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 aplicacin porque K no es subcono junto 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 aplicacin porque G no es subcono junto 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 aplicacin porque no hay un par en o 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 aplicacin por qu? o e Veamos algunas deniciones utiles.

Denicin 1.31 Sea f = (G, A, B) una aplicacin. o o El conjunto A se denomina el dominio o conjunto de salida de la aplicacin f . o El conjunto B se denomina el codominio, o el conjunto de llegada, o el rango de la aplicacin f . o El conjunto G se denomina el grafo de la aplicacin f . o Se dice que f es la aplicacin del conjunto A en el conjunto B de grafo o G. Si a es un elemento de A, el unico elemento b de B tal que (a, b) G se denomina la imagen de a por la aplicacin f , o el valor de f en a, o 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 aplicacin de un conjunto A en un conjunto o f B se pone f : A B, o bien A B; y para indicar que f es la aplicacin o de un conjunto A en un conjunto B que aplica un elemento genrico a de A e 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 slo si, G1 = G2 y A1 = A2 y B1 = B2 ; es decir, si, y slo si, tienen el o o 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: Proposicin 1.32 Sean f1 : A B y f2 : A B aplicaciones de un cono junto 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 inclusin cannica o o iA de A en X es la aplicacin iA : A X tal que iA (a) = a para o todo a A. Es decir, iA es la aplicacin de A en X de grafo {(a, a) o A X | a A}. iA : A X a a 2 En particular, para cualquier conjunto A, la inclusin cannica de A en o o A se denomina la aplicacin identidad (o simplemente identidad) o 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 nmeros racionales. La aplicacin determinante u o 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 aplicacin vs : M (S) S tal que vs () = (s), ( M (S)) o es un ejemplo simple de una aplicacin en la que la variable es una o aplicacin; es decir, el dominio de denicin de vs es un conjunto cuyos o o elementos son aplicaciones. vs : M (S) S (s)

5 Sea R el conjunto de los nmeros reales. La aplicacin u o f : R R R, f (x, y) = x2 + y 2 , ((x, y) R R) es un ejemplo de funcin en el que el dominio R R es un producto o cartesiano, por simplicidad se comete el abuso de notacin de escribir o f (x, y) en lugar de f ((x, y)). Se dice (por ser respetuosos con la tradicin) que f es una funcin de dos variables (en realidad la variable o o es (x, y), un elemento genrico del dominio R R de f ). e 6 Cada vector v R R, digamos v = (v1 , v2 ), determina la traslacin o 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 )) = (v1 + u1, v2 + u2), para todo u1 , u2 R Por tanto queda determinada una aplicacin t de RR en el conjunto o 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 aplicacin o pueden ser, a su vez, aplicaciones. 7 Si A = , entonces, cualquiera que sea el conjunto B (incluso si B = ), hay una unica aplicacin de A en B. Justicacin: Ntese que es o o o el grafo de una aplicacin de en B y que es el unico subconjunto o del producto cartesiano B = . 8 Si A = y B = , no hay ninguna aplicacin de A en B (justicao cin?). o

1.2. EL CONCEPTO DE FUNCION

25

1.2.4.

Familias de elementos y sucesiones

Denicin 1.34 Una familia de elementos de un conjunto A con o ndices en un conjunto I es el grafo de una aplicacin a : I A. La imagen de o 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 sucesin de o elementos de un conjunto A es una familia de elementos de A con ndices en el conjunto N de los nmeros naturales, o en una parte de N. u Deber ponerse especial cuidado en no confundir una familia (ai )iI de a 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 sucesin o (i)iN = (0, 1, 2, 3, . . . , i, . . .) de los nmeros naturales. u 2 La sucesin o (m2 )mN = (0, 1, 4, 9, . . . , m2 , . . .) de los cuadrados de los nmeros naturales. u 3 La sucesin o ((1)n )nN = (1, 1, 1, 1, . . . , (1)n , . . .) 4 Sean a y d nmeros enteros, racionales, etc, la sucesin (ai )iN tal que u o a0 ai+1 = a = ai + d, (i N)

se denomina progresin aritmtica de trmino inicial a y difeo e e rencia d. 5 Sean t y r nmeros enteros, racionales, ..., la sucesin (ti )iN tal que u o t0 ti+1 = t = ti r, (i N)

se denomina progresin geomtrica de trmino inicial t y razn o e e o r. 6 La sucesin (ai )iN tal que o a0 a1 ai+2 = 0 = 1 = ai + ai+1 , (i N)

se denomina la sucesin de Fibonacci. o

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 algn modo) un subconjunto Ai de X. u

1.2.5.

Imgenes directas y rec a procas

Denicin 1.36 Sea f una aplicacin de un conjunto X en un conjunto Y ; o o sean A un subconjunto de X, y B un subconjunto de Y . 1 La imagen o imagen directa de A por la aplicacin f es el conjunto o de los elementos de Y que son imgenes por f de los elementos de A. 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 aplicacin f es o 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 aplicacin f . Se pone o Im(f ) = f (X) Usando notacin simblica, los conjuntos denidos arriba se caracterizan o o en la forma: 1 Para todo elemento y de Y , se tiene y f (A) y = f (a), para algn a A u 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 algn a X u Ejemplos 1.37

1.2. EL CONCEPTO DE FUNCION

27

1 Considerar los conjuntos X = {, , , }, Y = {1, 2, 3, 4, 5} y la aplicacin f de X en Y dada por o 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 aplicacin f es o 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 aplicacin del conjunto Z de los nmeros enteros en el conjunto o u N de los nmeros naturales tal que f (z) = z 2 , (z Z). u 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 aplicacin del plano real R R en la recta real R tal que o p1 (x, y) = x, ((x, y) R R). p1 : RR (x, y) R x

Ntese que la funcin p1 se interpreta geomtricamente como la proo o e yeccin del plano sobre el eje de abscisas. o

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

p1(C)

Pongamos I = [1, 1]. Se tiene p1 (I) = {(x, y) R R | 1 x 1} 1

p1-1([-1,1])

[-1,1]

4 Considerar la funcin g : R R tal que o 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 3 < x < 8} o (que es la unin de los intervalos (8, 3) y (3, 8) ). o 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) Proposicin 1.38 Sea f una aplicacin de un conjunto X en un conjunto o o 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. Demostracin. Las demostraciones son sencillas, ya que se reducen a simo ples comprobaciones a partir de las deniciones de los conceptos que intervienen (inclusin conjuntista [ver denicin 1.4], imgenes directas y rec o o a procas [ver denicin 1.36]); el estudiante debe intentar hacerlas por su cuenta con o el n de ir adquiriendo la tcnica de las demostraciones matemticas. e a

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 denicin de o 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 denicin de imagen inversa se tendr f (x) B1 . Dado que B1 B2 , o a se tiene f (x) B2 . Por denicin de imagen inversa resulta que x o f 1 (B2 ). 3 Debemos probar que si A es subconjunto del dominio X de la aplicacin f , entonces todo elemento de A pertenece al subconjunto f 1 (f (A)) o de X. Sea a un elemento de A. Por denicin de imagen directa, f (a) o pertenece a f (A). Ahora, por denicin de imagen inversa, dado que o f (a) f (A), se concluye que a pertenece a f 1 (f (A)). Consideremos la aplicacin o 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 aplicacin f , entonces todo elemento de f (f 1 (B)) pertenece a o B. Sea y un elemento de f (f 1 (B)). Por denicin de imagen directa, o hay un elemento x en f 1 (B) que verica f (x) = y. Por denicin o 1 (B) se concluye que de imagen inversa, dado que x pertenece a f y = f (x) pertenece a B. Consideremos la aplicacin o 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}. Proposicin 1.39 Sea f una aplicacin de un conjunto X en un conjunto o o 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 ) Demostracin. o

31

1.2.6.

Composicin de aplicaciones o

Denicin 1.40 La restriccin de una aplicacin f de un conjunto X en o o o un conjunto Y a un subconjunto A de X es la aplicacin f|A : A Y tal o que f|A (a) = f (a), para todo a de A. Ejemplos 1.41 1. Sea f la aplicacin del conjunto Z de los nmeros enteros en s mismo o u tal que f (x) = x2 , (x Z); para el subconjunto N de Z, la restriccin f|N : N Z de f a N o est dada por f|N (x) = x2 , (x N). Ntese que las aplicaciones f y a o f|N son distintas. 2. Sea h : R R R la funcin tal que o 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 restriccin de h o a D es la aplicacin o h|D : D R tal que h|D (x, x) = 0, ((x, x) D). Denicin 1.42 Sean X, X , Y, Y conjuntos tales que X X e Y Y , o y sean f : X Y y f : X Y aplicaciones. Se dice que f es una extensin de f si f (x) = f (x) para todo x de X. o

32

CAP ITULO 1. CONJUNTOS, FUNCIONES, RELACIONES

Denicin 1.43 La composicin de dos aplicaciones f : X Y y g : o o Y Z es la aplicacin gf : X Z tal que (gf )(x) = g(f (x)), para todo o x de X. Notas y ejemplos 1.44 1 Sea f la aplicacin de Z Z en Z tal que o f (x, y) = 3x + 4y 1, (x, y) Z Z; sea g la aplicacin de Z en N tal que o g(t) = |t|, (t Z); la composicin gf es la aplicacin de Z Z en N tal que o o (gf )(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 composicin f g es la aplicacin de R en R tal que o o (f g)(x) = f (g(x)) = sen(x2 ), (x R); la composicin gf es la aplicacin de R en R tal que o o (gf )(x) = g(f (x)) = (sen(x))2 , (x R) [por convenio se pone ((sen(x))2 = sen2 (x)]; la composicin f f es la o aplicacin de R en R tal que o (f f )(x) = sen(sen(x)), (x R); y la composicin gg es la aplicacin de R en R tal que o o (gg)(x) = x4 , (x R). 3 La composicin gf de dos aplicaciones f : X Y y g : U Z est deo a nida si, y slo si, el conjunto de llegada (codominio) de f coincide o con el conjunto de salida (dominio) de g; esto es, si, y slo si, Y = U . o Y =U f X gf g Z

1.2. EL CONCEPTO DE FUNCION

33

Proposicin 1.45 La composicin de aplicaciones verica las siguientes o o propiedades: 1 Es asociativa: Si f : X Y, g : Y Z y h : Z V son aplicaciones, entonces h(gf ) = (hg)f . 2 Si f : X Y es una aplicacin, 1X la aplicacin identidad de X, y o o 1Y la aplicacin identidad de Y , entonces 1Y f = f y f 1X = f . o 3 Si f : X Y es una aplicacin, A un subconjunto de X, e iA la o inclusin cannica de A en X, se verica f iA = f|A . o o Demostracin. Es una simple comprobacin directa (se deja como ejercio o cio). Teorema 1.46 Sean X, Y, Z conjuntos y f : X Y, h : X Z aplicaciones. Las condiciones siguientes son equivalentes: (a) Hay una aplicacin g : Y Z tal que h = gf ; o (b) Para todo x1 , x2 X, la relacin f (x1 ) = f (x2 ) implica la relacin o o h(x1 ) = h(x2 ). Y f X h g Z

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

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 . Ntese que este caso o puede no darse.

Hemos denido as una aplicacin g : Y Z o g(y) = h(x), g(y) = z0 Z, y se tiene, para todo x X, (gf )(x) = g(f (x)) = h(x) Por tanto, gf = h. Esto completa la demostracin. o si si y = f (x) y = f (x) para algn u para todo xX xX

1.2.7.

Aplicaciones inyectivas, suprayectivas y biyectivas

Denicin 1.47 Una aplicacin f de un conjunto X en un conjunto Y es o o inyectiva si para todo x, x X, la relacin f (x) = f (x ) implica la o relacin x = x ; o suprayectiva si para todo y Y existe algn x X tal que f (x) = y; u biyectiva si es inyectiva y suprayectiva. Ntese que una aplicacin f : X Y es o o inyectiva si, y slo si, para todo x, x X la relacin x = x implica la o o relacin f (x) = f (x ); o suprayectiva si, y slo si, Im(f ) = Y ; o biyectiva si, y slo si, para cada elemento y Y hay un unico elemento o x X tal que f (x) = y. Ejemplos 1.48 1 Sea B un subconjunto de un conjunto A; la inclusin cannica iB : o o A, iB (b) = b, (b B), es inyectiva. La aplicacin iB es suprayecB o tiva si, y slo si, B = A; en cuyo caso iB es la aplicacin identidad de o o B (o de A, es igual). 2 Sean A y B conjuntos no vac Considerar la proyeccin del producto os. o cartesiano A B sobre A; prA : AB (a, b) A a

Esta aplicacin es suprayectiva. o

1.2. EL CONCEPTO DE FUNCION 3.

35

La aplicacin f : Z Z, tal que f (z) = z 2 , (z Z) no es inyectiva o (porque f (1) = f (1)), y no es suprayectiva (porque no existen enteros z tales que z 2 = 1). La aplicacin g : Z N, g(z) = z 2 , (z Z), no es inyectiva y no o es suprayectiva. (Por qu?) e La aplicacin h : N N, h(z) = z 2 , (z Z), es inyectiva y no es o suprayectiva. (Por qu?) e Veamos algunas caracterizaciones utiles de las aplicaciones inyectivas, suprayectivas y biyectivas. Proposicin 1.49 Sean X e Y conjuntos o 1 Una aplicacin f : X Y es inyectiva si, y slo si, hay una aplicacin o o o g : Y X tal que gf = 1X . 2 Una aplicacin f : X Y es suprayectiva si, y slo si, hay una aplicao o cin h : Y X tal que f h = 1Y . o 3 Una aplicacin f : X Y es biyectiva si, y slo si, existen aplicaciones o o g : Y X y h : Y X tales que gf = 1X y f h = 1Y . En este caso slo hay una aplicacin g : Y X que cumpla gf = 1X , slo hay o o o una aplicacin h : Y X que cumpla f h = 1Y , y se tiene g = h. o Demostracin. o 1 Suponer que f : X Y es una aplicacin inyectiva. Se busca una o aplicacin g : Y X que cumpla la condicin gf = 1X ; por tanto o o 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 algn x X, u entonces debe ser g(y) = g(f (x)) = x. En consecuencia, denamos la aplicacin g en la forma: elijamos un elemento x0 X; para cada o y Y pongamos g(y)
= x,

si y = f (x) para algn x X (y Im f ) u

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

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

36

CAP ITULO 1. CONJUNTOS, FUNCIONES, RELACIONES Rec procamente, suponer que hay una aplicacin g : Y X tal que o gf = 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 aplicacin f es inyectiva. o 2 Suponer que f : X Y es una aplicacin suprayectiva. Para cada y o 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 aplicacin h de Y en X. Se tiene, o f (h(y)) = f (x) = y = 1Y (y) para todo y Y Rec procamente, suponer que hay una aplicacin h : Y X tal que o f h = 1Y . Para todo y Y se tiene y = 1Y (y) = (f h)(y) = f (h(y)) de donde se concluye que la aplicacin f es suprayectiva. o 3 Por los apartados 1 y 2 se tiene: la aplicacin f : X Y es biyectiva o si, y slo si, existen aplicaciones g : Y X y h : Y X tales que o gf = 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 gf = 1X y f h = 1Y ). Se tiene: g = g1Y = g(f h)) = (gf )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 aplicacin f : X Y dada por o f (a) = 1, f (e) = 3, f (o) = 4 Evidentemente, la aplicacin f es inyectiva; por tanto hay (al menos) o una aplicacin g : Y X tal que gf = 1X ; las aplicaciones g1 : Y o 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 condicin gf = 1Y ? o 2 Sea f una aplicacin inyectiva de un conjunto X en un conjunto Y , y o sea g cualquier aplicacin de Y en X tal que gf = 1X . Entonces g o es, necesariamente, suprayectiva. Por qu? e 3 Si, para una aplicacin f : X Y , se sabe que hay una aplicacin g : o o Y X que cumple la propiedad gf = 1X , entonces se sabe que f es inyectiva. Por ejemplo, consideremos: el conjunto N = {0, 1, 2, 3, . . .} de los nmeros naturales, el conjunto Z = {. . . , 3, 2, 1, 0, 1, 2, 3, . . .} u de los nmeros enteros, y la aplicacin u o i : N Z, i(n) = n, (n N). Para la aplicacin v : Z N, v(z) = |z |, (z Z), se tiene o (vi)(n) = v(i(n)) = v(n) = n = 1N (n), (n N); por tanto vi = 1N y, en consecuencia, la aplicacin i es inyectiva (y o la aplicacin v es suprayectiva). o 4 Sea R el conjunto de los nmeros reales. La aplicacin u o 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 condicin p1 h = 1R ? o 5 Sea f una aplicacin suprayectiva de un conjunto X en un conjunto o Y , y sea h cualquier aplicacin de Y en X tal que f h = 1Y . Entonces o h es, necesariamente, inyectiva. Por qu? e 6 Si, para una aplicacin f : X Y , se sabe que hay una aplicacin o o h : Y X que cumple la propiedad f h = 1Y , entonces se sabe que f es suprayectiva. Por ejemplo, sea s la aplicacin de Z Z en Z tal que o

38

CAP ITULO 1. CONJUNTOS, FUNCIONES, RELACIONES s(x, y) = x + y, para todo (x, y) Z Z; consideremos la aplicacin o 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 aplicacin s es suprayectiva o (y la aplicacin j es inyectiva). o 7 Se considera la aplicacin o f : RR (x, y) RR (x + 2y, 2x + 3y)

Hallar (si existe) una aplicacin g : R R R R tal que o f g = 1RR = gf y concluir que f es biyectiva. Denicin 1.51 Sea f : X Y una aplicacin biyectiva. La unica aplicao o cin g : Y X tal que gf = 1X [y f g = 1Y ], se denomina la aplicacin o o inversa o rec proca de f , y se escribe g = f 1 . Proposicin 1.52 o 1 Para todo conjunto X, la aplicacin identidad 1X : X X es biyeco 1 tiva, y se tiene 1X = 1X . 2 Si f : X Y es biyectiva, entonces la aplicacin inversa f 1 : Y X o es tambin biyectiva, y se tiene (f 1 )1 = f . e 3 Si f : X Y y g : Y Z son biyectivas, entonces la aplicacin o compuesta gf : X Z es tambin biyectiva y se tiene (gf )1 = e f 1 g 1 . Demostracin o 1 1X 1X = 1X 2 Suponer f : X Y biyectiva, entonces existe la aplicacin inversa o 1 : Y X y se tiene f 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 )(gf ) = f 1 (g 1 g)f = f 1 1Y f = f 1 f = 1X (gf )(f 1 g 1 ) = g(f f 1 )g 1 = g1Y g 1 = gg 1 = 1Z

1.3. UNIONES E INTERSECCIONES DE FAMILIAS DE CONJUNTOS39 Denicin 1.53 Una funcin de eleccin de un conjunto X es una aplio o o cacin r del conjunto P (X) de las partes no vac de X en el conjunto o as X r : P (X) X tal que r(A) A para todo A P (X). Axioma 1.54 [El axioma de la eleccin]. Todo conjunto posee una funo cin de eleccin. o o

1.3.

Uniones e intersecciones de familias de conjuntos

En esta seccin supondremos que I es un conjunto (de o ndices), que U es un conjunto (universal), y que las familias de conjuntos consideradas son familias de subconjuntos del conjunto U. Denicin 1.55 o La unin de una familia de conjuntos (Ai )iI es el conjunto de los o elementos que pertenecen a algn Ai ; se denota este conjunto u Ai .
iI

La interseccin de una familia de conjuntos (Ai )iI es el conjunto o 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 algn j I tal que x Aj u

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 nmeros reales y, como conjunto u + de los enteros positivos. Para cada entero I de ndices, el conjunto Z 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 fcil comprobar las igualdades: a Jn = [1, 1] = J1
nZ+

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

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

y Hn = [1, 1]
R+

1.4.
1.4.1.

Relaciones de equivalencia
Concepto y ejemplos

Denicin 1.57 Una relacin (binaria) en un conjunto X es (o queda o o especicada por) un subconjunto R del producto cartesiano X X. Introduzcamos una notacin adecuada para trabajar con relaciones bio narias en un conjunto: Sea R una relacin binaria en un conjunto X, y sean o a, b elementos de X.

1.4. RELACIONES DE EQUIVALENCIA

41

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

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 relacin R as denida en el conjunto R R es una relacin de o o equivalencia. (Interpretacin geomtrica: dos puntos del plano estn o e a relacionados si, y slo si, equidistan del origen). La comprobacin de o o que R es una relacin de equivalencia en R R se puede hacer de una o cualquiera de las dos formas siguientes: a) directamente, comprobando que R es reexiva, simtrica y trane sitiva (lo cual puede resultar algo pesado); o b) indirectamente, usando el ejemplo 4 anterior: basta tener en cuenta que R es la relacin de equivalencia asociada a la aplicacin o o d : RR (x, y) x2 R + y2

1.4.2.

Clases de equivalencia y conjunto cociente

Denicin 1.60 Sea R una relacin de equivalencia en un conjunto X. La o o 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 [a] a. o o 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 mdulo m el entero 5. La clase o de equivalencia del entero 3 en la congruencia mdulo 5 en Z es o [3]5 = 3 = {3 + 5k | k Z} = {. . . , 7, 2, 3, 8, 13, 18, . . .}. Hay exactamente cinco clases de equivalencia que denotaremos para abreviar estas son: 0, 1, 2, 3, 4; 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. Considrese la aplicacin f : Z N, f (x) = |x|, (x Z), y la relacin e o o 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. Considrese el ejemplo 1.59.5. La clase de equivalencia de un punto e (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 relacin de equivalencia en un conjunto X. o 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 denicin de clase de equivalencia) hay (al menos) o 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 entonces yR y se tiene y [x]R y x [y]R . Rec /y, /x, / / 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 inclusin [x]R [y]R . Anlogamente se prueba la inclusin o a o [y]R [x]R .

44

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

Proposicin 1.63 Sea R una relacin de equivalencia en un conjunto X. o o Se cumplen: 1. Toda clase de equivalencia es un subconjunto no vac de X. o 2. Dos clases de equivalencia coinciden o son disjuntas. 3. La unin de todas las clases de equivalencia es igual a X. o Denicin 1.64 Suponer denida una relacin de equivalencia en un cono o junto. 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 slo si, estn relacionados. o a 2. La eleccin de un representante de una clase de equivalencia es un proo ceso arbitrario: no hay razn especial para elegir un elemento en lugar o de otro en una misma clase. Sin embargo hay situaciones en las que se conviene en elegir ciertos representantes especialmente destacados (representantes cannicos). o 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 mdulo 5 (vase 1.61.3). o e 4. Considrese el ejemplo 1.61.4. En este caso hay innitas clases de e equivalencia. El conjunto de los nmeros naturales constituye un sisu tema completo de representantes de las clases de equivalencia de Z mdulo Rf . o Denicin 1.66 Una particin de un conjunto X es una familia = o o (Ai )iI de subconjuntos de X tal que: 1. Ai = , para todo i I; 2. para todo i, k I, Ai Ak = Ai = Ak ; o

1.4. RELACIONES DE EQUIVALENCIA 3.


iI

45

Ai = X.

Esto es, una particin de un conjunto X es una coleccin de subconjuntos o o no vac de X, disjuntos dos a dos y cuya unin es X. os o Sea R una relacin de equivalencia en un conjunto X. El conjunto X/R o de las distintas clases de equivalencia [x]R constituye una particin del cono junto X, llamado el conjunto cociente de X por (o mdulo) la relacin de o o equivalencia R: cada elemento x de X est en alguna clase de equivalencia a (x [x]R ); dos clases de equivalencia distintas son disjuntas; ninguna clase de equivalencia es vac Reciprocamente, una particin en un conjunto a. o X determina [de modo natural] una relacin de equivalencia R en X: deo niendo, para x, y X, x R y si, y slo si, x e y estn en un mismo miembro o a de la particin . o Una relacin de equivalencia R en un conjunto X determina [de modo o natural] una aplicacin de X en el conjunto cociente X/R, dada por : X o X/R, (x) = [x]R , (x X). Reciprocamente, una aplicacin f : X B o (de X en un conjunto B) determina [de modo natural] una relacin de o equivalencia Rf en X, dada por x Rf y si, y slo si, f (x) = f (y), (x, y X). o

1.4.3.

Descomposicin cannica de una aplicacin. o o o

Una aplicacin f : X Y , de un conjunto X en un conjunto Y , deo termina una relacin de equivalencia Rf en X (la relacin de equivalencia o o asociada a f ); considerar el conjunto cociente X/Rf correspondiente, y el conjunto imagen Im(f ) = {f (x) | x X} de la aplicacin f . Quedan denio das [de modo natural] tres aplicaciones: : X X/Rf , tal que (x) = x, (x X); x f : X/Rf Im(f ), tal que f () = f (x), ( X/Rf ), donde x es x cualquier representante de x; y j : Im(f ) Y, j(y) = y, (y Im(f )); j es simplemente la inclusin o cannica del subconjunto Im(f ) de Y en Y . o a x Se comprueba que es suprayectiva; f est bien denida [f () no depende del representante x de x elegido] y es biyectiva; j es inyectiva. Adems a f = jf ; esta es la descomposicin cannica o natural de la aplicacin dada f . o o o En particular se tiene: Teorema 1.67 Sea f : X Y una aplicacin de un conjunto X en un o conjunto Y . Hay una biyeccin del conjunto cociente X/Rf en el conjunto o imagen Im(f ).

46

CAP ITULO 1. CONJUNTOS, FUNCIONES, RELACIONES

1.5.

Relaciones de orden

Denicin 1.68 Una relacin R en un conjunto X es de orden si cumple o o las propiedades reexiva, antisimtrica y transitiva: e (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. Denicin 1.69 Un conjunto ordenado es un par (X, R) donde X es un o conjunto y R es una relacin de orden en X. o Notacin. Una relacin de orden R en un conjunto X se suele representar o o mediante el s mbolo . Usando esta notacin las condiciones de la denicin o o 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. Ntese que si es una relacin de orden en un conjunto X y A es una o o parte de X, entonces la restriccin de a A es una relacin de orden en A. o o De este modo, todo subconjunto A de un conjunto ordenado (X, ) es un conjunto ordenado. Ejemplos 1.70 1 (N, |), el conjunto de los nmeros naturales N con la relacin | (divide u o a). 2 Para un conjunto cualquiera A, (P(A), ), el conjunto de las partes de A con la relacin de inclusin. o o 3 (N, ), el conjunto de los nmeros naturales con la relacin usual. u o 4 (Z, ), el conjunto de los nmeros enteros con la relacin de orden u o usual. 5 (Q, ), el conjunto de los nmeros racionales con la relacin de orden u o usual.

1.5. RELACIONES DE ORDEN

47

6 (R, ), el conjunto de los nmeros reales con la relacin de orden u o usual. Denicin 1.71 Sea (X, ) un conjunto ordenado. Dos elementos x e y de o 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. Denicin 1.72 Sea (X, ) un conjunto ordenado. o 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 mximo de X si x a, para a 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 mximo, slo posee uno; y si X posee a o elemento m nimo, slo posee uno. o Denicin 1.73 Sea A un subconjunto de un conjunto ordenado (X, ). o 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 mximo a n, se dice que n es la mxima cota inferior de A en X o el a 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 unico; y el nmo de A en X, si existe, es unico. Denicin 1.74 Un conjunto ordenado X = (X, ) es bien ordenado por o la relacin si todo subconjunto no vac de X posee elemento m o o nimo. Proposicin 1.75 Todo conjunto ordenado bien ordenado es linealmente o ordenado. Denicin 1.76 En un cojunto ordenado X = (X, ) un elemento b X o es sucesor inmediato de un elemento a X si a < b y no existe x X tal que a < x < b. Proposicin 1.77 En un conjunto ordenado bien ordenado cada elemento o (salvo el elemento mximo, si existe) posee un sucesor inmediato. a Axioma 1.78 El Principio o Axioma de la Buena Ordenacin (Equio valente al Axioma de la Eleccin). Todo conjunto puede ser bien ordenado. o Esto es, para cada conjunto X existe una relacin de orden en X tal o que el conjunto ordenado (X, ) es bien ordenado.