Conjunto. Un conjunto es una lista, coleccin o clase de objetos bien definidos.

A estos objetos se les llama elementos del conjunto. Notacin. El nombre de los conjuntos se denota comnmente con letras maysculas: A, B, N, Z, etc. y sus elementos (cuando son letras) con minsculas. Para denotar que un elemento x pertenece a un conjunto A se escribe x A; si x no pertenece a A, x A. Ejemplos: las vocales, personas que habitan la Tierra, jugadores de un equipo de ftbol, personal docente de alguna institucin educativa, N (conjunto de los nmeros naturales), Z (conjunto de los nmeros enteros), Q (conjunto de los nmeros racionales de la forma p/q, donde p, q Z), R (conjunto de los nmeros reales), C (conjunto de los nmeros complejos), etc. Los conjuntos se describen enlistndolos entre llaves separando a sus elementos con comas, o por medio de condiciones: A = {2, 4, 6, 8} = {nN | n es par y n 8}. Cualquier coleccin es un conjunto? No. Sea C el conjunto de todos los conjuntos que no estn en s mismos. CC? Si CC CC; Si C pertenece a C, entonces C pertenece al conjunto de todos los conjuntos que no estn en s mismos, es decir, C; por lo tanto C no pertenece a C, porque no est en s mismo. Si CC CC; Si C no pertenece a C, entonces C no est en el conjunto de todos los conjuntos que no estn en s mismos, as que C est en un conjunto de los conjuntos que se contienen a s mismos, por lo que es un conjunto que se contiene a s mismo, por lo tanto C est en C ! Subconjuntos. Sean A y B dos conjuntos. Se dice que B es un subconjunto de A si cada elemento de B es tambin un elemento de A. Notacin. Se escribe BA cuando B es subconjunto de A, B est contenido en A. Entonces BA xB xA. Si B no es subconjunto de A, se emplear BA. Ejemplos. C = {1, 3, 5}, D = {5, 4, 3, 2, 1} C D. A = {x | x es bpedo}, B = {x | x es pjaro}. B A (todos los pjaros son bpedos). A B (existen bpedos que no son pjaros). Definicin. Dos conjuntos A y B son iguales (A = B) A B y B A.

Observacin. El conjunto vaco, denotado por , {}, que no contiene elemento alguno, se considera subconjunto de todo conjunto. Observacin. Si B no es subconjunto de A, es decir B A, entonces hay por lo menos un elemento de B que no es elemento de A. Subconjunto Propio. Puesto que todo conjunto A es subconjunto de si mismo, se dir que B es un subconjunto propio de A si, en primer lugar B es subconjunto de A y, en segundo lugar, B no es igual a A. Notacin (de algunos libros). B es subconjunto de A: B A. B es subconjunto propio de A: B A. Conjuntos finitos e infinitos. Si el nmero de elementos de un conjunto es finito, entonces el conjunto es finito. Si el nmero de elementos de un conjunto es infinito, entonces el conjunto es infinito. Ejemplo de conjunto finito: M = {los das de la semana} = {lunes, martes, mircoles, jueves, viernes, sbado, domingo}. Ejemplo de conjunto infinito: = {n N | n es par} = {2, 4, 6, 8, }. Comparabilidad. Dos conjuntos A y B son comparables si A B B A. No son comparables si A B y B A. Conjuntos ajenos ( disjuntos). Si dos conjuntos A y B no tienen elementos comunes, es decir, ningn elemento de A est en B y viceversa, se dice que A y B son ajenos ( disjuntos). Conjunto Potencia. La familia de todos los subconjuntos de un conjunto S se llama conjunto potencia de S. Se le designa por 2S. Ejemplos. Si M = {a, b}, entonces 2M = {{a, b}, {a}, {b}, }. Si T = {4, 7, 8}, entonces 2T = {T, {4}, {7}, {4, 8}, {4, 7}, {8}, {8, 7}, }. Observacin. Si un conjunto S es finito, es decir, tiene n elementos, entonces el conjunto potencia tendr 2n elementos. Si un conjunto S es infinito, entonces el conjunto potencia ser infinito. OPERACIONES CON CONJUNTOS Unin de 2 conjuntos A y B es el conjunto:
2

AB = {x|xA xB} Propiedades. i) ii) iii) AAB, BAB AB = BA (conmutativa) (AB) C = A (BC) (asociativa)

Interseccin de 2 conjuntos A y B es el conjunto: AB = {x|xA y xB} Propiedades. iv) v) vi) AB A, AB B AB = BA (conmutativa) (AB)C = A(BC) (asociativa)

Propiedad (*). Sean A, B, C conjuntos tales que BA y CA (BC)A. Demostracin. Sea x(BC) xB xC . Si xB xA porque BA. Si xC xA porque CA. (BC)A.

Propiedad (*)

Propiedad (**). Sean A, B, C conjuntos tales que AB y AC A(BC). Demostracin. Sea xA, xB porque AB y xC porque AC. xB y xC x(BC). A(BC).

Propiedad (**)

Proposicin. Sean A, B, C conjuntos. Entonces se cumplen las siguientes propiedades: vii) A(BC) = (AB)(AC) viii) A(BC) = (AB)(A C) Demostracin de vii). ) Sea xA(BC). Entonces xA y x(BC), donde xA y xB xC. Si xB, como xA x(AB). Luego x(AB)(cualquier conjunto), en particular (AC); as que x(AB)(AC). Si xC, como xA x(AC). Luego x(AC)(cualquier conjunto), en particular (AB); as que x(AB)(AC). ) De (iv), ABA, AC A; (AB)(AC)A, por la propiedad (*). Por otra parte, (AB)B, y en general, (AB)(BC); es decir, (AB)B(cualquier conjunto, en particular C); y (AC)C, y en general, (AC)(BC); es decir, (AC)C(cualquier conjunto, en particular B). As que, como (AB)(AC)A y (AB)(AC)(BC), por la propiedad (**), (AB)(AC)A(BC). Por lo tanto, A(BC)= (AB) (AC). Demostracin de viii). ) Sea x(AB)(A C). Entonces x(AB) y x(A C). Si xA, entonces xAB y xAC y xA(cualquier conjunto), en particular (BC); as que xA(BC). Es un hecho que x(AB) y x(A C); si xA, entonces xB y xC, x(BC). Luego x(BC)(cualquier conjunto), en particular A; as que xA(BC), y (AB)(A C)A(BC). ) De (i), A(AB) y A(A C), entonces A(AB)(A C); por la propiedad (**). Por otro lado, (BC)B, y en general, (BC)(AB); es decir, (BC)B(cualquier conjunto, en particular A); y lo mismo para (AC)(BC); es decir, (AC)C(cualquier conjunto, en particular B), por lo que (AB)(AC)(BC), por la propiedad (*). As que, como (AB)(AC)A y (AB)(AC)(BC), por la propiedad (**), (AB)(AC)A(BC). Por lo tanto, A(BC)= (AB) (AC). Definicin. Sea X el conjunto universal y A un conjunto arbitrario. El complemento de A es el conjunto: Ac = {x|xX, xA} Propiedades: ix) x) xi)
4

(Ac)c = A AAc = X AAc = .

Demostracin. ix) Sea x(Ac)c xAc xA, (Ac)c A. Si xA xAc x(Ac)c , A(Ac)c (Ac)c = A. x) Sea xAAc xA xAc. Si xA xAAc luego xX, porque AX. Si xAc xAcA luego xX, porque AcX. As AAcX. Sea xX xA xAc, porque AcX y AX. Si xAc xAcA. Si xA xAcA luego xX, as XAAc. AAc = X. xi) Sea xAAc xA y xAc !. Si xA xAc x, AcA. Como es subconjunto de cualquier conjunto, la propiedad queda demostrada. Proposicin (Leyes de De Morgan). Para cualquier pareja de conjuntos A y B valen las propiedades: xii) (AB)c = AcBc xiii) (AB)c = AcBc Demostracin. xii) Sea xAcBc, xAc y xBc. xA o xB xAB x(AB)c. As AcBc(AB)c. Ahora, AAB y BAB (AB)cAc y (AB)cBc. Por la propiedad (**), (AB)cAcBc. (AB)c = AcBc. xiii) Sea x(AB)c xAB xA y xB xAc o xBc xAcBc. As (AB)cAcBc. Ahora, ABA y ABB Ac(AB)c y Bc(AB)c. Por la propiedad (*),AcBc(AB)c. (AB)c = AcBc. Diferencia entre dos conjuntos A y B es el conjunto: A B = {x|xA y xB} De aqu se tiene que A B = ABc. Propiedad: xiv) A (BC) = (A B)(A C) Demostracin. A (BC) = A(BC)c = A(BcCc) = (ABc)(ACc) = (A B)(A C) por definicin; por (xiii) ley de De Morgan; por (vii); por definicin.

Definicin. Sean a, bX, se define la pareja ordenada formada por a y b (notacin (a,b)) por: (a,b) = {{a}, {a, b}} Esto significa que si (a,b) = (c,d) a = c y b = d. Si A = {a, b}, (a,b) = {{a}, {a, b}}2A. (b,a) = {{b}, {a, b}}2A. Si B = {x, y, z}, (x,y,z) = {{x}, {x, y}, {x, y, z}}2B. (z,x,y) = {{z}, {x, z}, {x, y, z}}2B. Ejemplo. C = {9, 72, 1}. D2C tal que D = {{72, 1, 9}, {72}, {72, 1}}. Qu triada ordenada es el conjunto D? D = (72,1,9). E2C tal que E = {{72, 1, 9}, {72}, {9, 1}}. Qu triada ordenada es el conjunto E? ninguna. Cuntas parejas ordenadas hay en: A = {1, 2}, B = {1, 2, 3}? A: (1,2), (1,1), (2,1), (2,2); 4 parejas ordenadas. B: (1,1), (1,2), (1,3), (2,1), (2,2), (2,3), (3,1), (3,2), (3,3); 9 parejas ordenadas. Cuntas triadas ordenadas hay en A, B? A: (1,2,1), (1,1,1), (1,1,2), (2,1,1), (2,1,2), (2,2,2), (1,2,2), (2,2,1); 8 triadas ordenadas. B: (1,1,1), (1,1,2), (1,1,3), (1,2,1), (1,2,2), (1,2,3), (1,3,1), (1,3,2), (1,3,3), (2,1,1), (2,1,2), (2,1,3), (2,2,1), (2,2,2), (2,2,3), (2,3,1), (2,3,2), (2,3,3), (3,1,1), (3,1,2), (3,1,3), (3,2,1), (3,2,2), (3,2,3), (3,3,1), (3,3,2), (3,3,3); 27 triadas ordenadas. Nmero de eneadas ordenadas es: (# elementos)n, donde n es de eneada. Definicin. Sean A y B conjuntos. El producto cartesiano de A y B, denotado AB, es el conjunto de parejas ordenadas: AB = {(a,b)|aA, bB} Se denota AA = A2. Ejemplo. Si A = {1, 2}, B = {a, b, c}, AB = {(1,a), (1,b), (1,c), (2,a), (2,b), (2,c)}. AA = A2 = {(1,1), (1,2), (2,1), (2,2)}. NN = {(n,m)| nN, mN}. RR = R2 = {(x,y)| xR, yR} = {plano cartesiano}. Observacin. Si A es un conjunto infinito, entonces el conjunto de parejas ordenadas (a,b) con a, bA, es tambin infinito. Definicin. Sean A y B conjuntos. Una relacin entre A y B es un subconjunto del producto cartesiano AB.
6

Ejemplos. A = , y B un conjunto arbitrario, entonces AB = , y la nica relacin es la vaca. A = {a}, B = {b} AB = {(a,b)}, existen 2 relaciones entre A y B, la vaca y la total. Si A = {a, b}, B = {1, 2} AB = {(a,1), (a,2), (b,1), (b,2)}; existen 16 relaciones entre A y B, que son los elementos de 2AB: 2AB = {{(a,1)}, {(a,2)}, {(b,1)}, {(b,2)}, {(a,1), (a,2)}, {(a,1), (b,1)}, {(a,1), (b,2)}, {(a,2), (b,1)}, {(a,2), (b,2)}, {(b,1), (b,2)}, {(a,1), (a,2), (b,1)}, {(a,1), (a,2), (b,2)}, {(a,1), (b,1), (b,2)}, {(b,1), (b,2), (a,2), AB, }. A = {x|x es hombre}, B = {y|y es mujer}. R1 = {(x,y)|x es esposo de y}; R2 = {(x,y)| y es mam de x}; R3 = {(x,y)| y es hermana de x}. A = {seres humanos}, B = {pases}. R1 = {(a,b)|a es ciudadana de b}; R2 = {(a,b)|a ha estado en b}. A = Z = B; R = {(n,m)|n m es divisible por 3}; Definicin. Sea R AB una relacin. El dominio DR de la relacin est definido por: DR = {aA| bB, (a,b)R}. La imagen IR de la relacin R est dada por: IR = {bB | aA, (a,b)R}. El codominio ( contradominio) de R es B. Ejemplo. A = {a, b}, B = {1, 2, 3} y R = {(a,1), (a,3)}; DR ={a}, IR = {1, 3}. Se observa que IRB. Definicin. Sean a, b, cA. Una relacin RAA es una relacin de equivalencia si satisface: 1. aA, (a,a)R (reflexiva). 2. Si (a,b)R y (b,a)R (simtrica). 3. Si (a,b)R y (b,c)R, (a,c)R (transitiva). Ejemplos. A = {seres humanos}. R1 = {(a,b)|a es pariente de b} reflexiva, simtrica, no transitiva. R2 = {(x,y)|x es y} reflexiva, simtrica, tansitiva; relacin de equivalencia. R3 = {(a,b)|a es hermano de b} no reflexiva, simtrica, no transitiva. R4 = {(a,b)|a es descendiente de b} no reflexiva, no simtrica, transitiva.
7

R5 = {(a,b)|a tiene el mismo padre que b} reflexiva, simtrica, transitiva; relacin de equivalencia. A = {tringulos}. R = {(x,y)|x es semejante a y} reflexiva, simtrica, transitiva. Relacin de equivalencia. A = {1, 2, 3}. R = {(1,1), (1,2), (2,1), (2,2)} no reflexiva ((3,3)R), simtrica, no transitiva. Definicin. Sean A y B conjuntos. Una funcin f: A B es una relacin RAB que satisface: i) DR = A; es decir, xA una pareja (x,y) R. ii) Cada elemento xA tiene asociado uno slo de B; es decir, (x,y1)R y (x,y2)R implica y1 = y2. A es llamado dominio de la funcin y B se llama codominio de la funcin. Ejemplo. A = {personas}, B = {pases}. La relacin RAB de las parejas (x,y) tales que x naci en el pas y es una funcin.

No es funcin, qu se le asocia a e?

S es funcin.

f: R R dada por f(x) = y si el punto (x,y) est en el crculo C. No es funcin.

f, g, h: R R dadas por f(x) = x2 2x + 4, g(x) = (x)1/2, h(x) = 1/x. Slo f es funcin. Para g no estn definidos los reales negativos, y h(0) no est definido. Para que g y h sean funciones se puede definir g: R + {0} R, g: R C y h: R {0} R, respectivamente para g y h.
8

Definicin. La imagen de una funcin f: A B es: Im f = {bB | aA, con f(a) = b}. Se tiene que la imagen de una funcin f: A B es un subconjunto del codominio de la funcin. La imagen de f en ocasiones se escribe como f(A). Ejemplos. Sean f: Z N y g: Z Z dadas por f(n) = n2 +1, g(n) = n2 +1. Es la misma funcin? Sean f: Z Z y g: N Z dadas por f(n) = 2n, g(n) = 2n. Es la misma funcin? a) f: Z Z dada por f(n) = 2n2 +1. b) f: Z Z dada por f(n) = n2 +1. c) f: N N dada por f(n) = n2 +1. Son las funciones en b) y c) iguales? Definicin. Dos funciones f: A B y g: C D son iguales s y slo s: a) A = C, b) B = D, c) f(x) = g(x) xA. OPERACIONES CON FUNCIONES. Si f y g son dos funciones cualesquiera, se puede definir: i) (f + g)(x) = f(x) + g(x) ii) (f g)(x) = f(x) g(x) iii) (f/g)(x) = f(x)/g(x) siempre que g(x) 0. Observacin: x debe estar tanto en el dominio de f como en el dominio de g. Si f: A B y g: C D xAC. Entonces D(f + g) = AC. Composicin de funciones. Sean f: A B y g: B C dos funciones. Se define la composicin de f y g, denotada por g f, como la funcin dada por: (gf)(x) = g(f(x)), xA. Ejemplos. Sean f: A B y g: C D dadas por: f(x) = x2 + 1, g(x) = 3x + 2; g f: R R y es dada por: (gf)(x) = g(f(x)) = g(x2 + 1) = 3(x2 + 1) + 2 = 3x2 + 5. f g: R R y es dada por: (f g)(x) = f (g(x)) = f(3x + 2) = (3x + 2)2 + 1 = 9x2 + 12x + 5. Como (gf) (f g), la composicin no es conmutativa.

Sean f: A f: A A y g: A A dadas por: f(a) = pap de a, g(a) = mam de a. gf: A A est dada por: (gf)(a) = la mam del pap de a = la abuela paterna de a. f g: A A est dada por: (f g)(a) = el pap de la mam de a = el abuelo materno de a. f f: A A est dada por: (gf)(a) = el pap del pap de a = el abuelo paterno de a. gg: A A est dada por: (gf)(a) = la mam de l mam de a = la abuela materna de a. gf f : A A est dada por: (gf f)(a) = la mam del pap del pap de a = la mam del abuelo paterno de a= la abuela paterna del pap de a = la bisabuela paterna de a. Notacin. Sea f: A B y una funcin donde es un conjunto finito. Se emplear:

a a ... an f = 1 2 b1 b2 ... bn
1 2 3 4 5 Ejemplos. f = ; f = A B donde A = {1, 2, 3, 4, 5} y f(x) 1 4 9 16 25

= x2. Sean A = {a1, a2, a3}, B = {b1, b2} y C = {c1, c2, c3}, f: A B y g: B C dadas por: b b a a a3 f = 1 2 , g = 1 2 ; g f: A C est dada por: b1 b1 b2 c2 c3

. Sean A = {a1, a2, a3}, B = {b1, b2, b3, b4}, f: A B y g: B A dadas por: a a2 a3 b b2 b3 b4 f = 1 , g = 1 ; g f: A A est dada por: b4 b3 b2 a3 a3 a2 a1 a a a3 g f = 1 2 =I a1 a2 a3 A Definicin. Se define la funcin identidad como IA: A A dada por IA(x) = x xA. Teorema. Sea f: A B una funcin. Entonces IBf = f, f IA = f, donde IB, IA son las identidades en B y A respectivamente. Demostracin. Como f: A B, si xA f(x) B. (IBf)(x) = IB(f(x)) por definicin de composicin.
10

a g f = 1 c2

a2 c2

a3 c3

= f(x) por definicin de funcin identidad. (f IA)(x) = f (IA(x)) por definicin de composicin. = f(x) por definicin de funcin identidad. IBf = f y f IA = f. Teorema. Sean f: A B y g: B C y h: C D funciones. Entonces h(gf) = (hg)f ; es decir, la composicin de funciones es asociativa. Demostracin. gf: A C y h(gf): A D. Si xA entonces: [h(gf)](x) = h[(gf)(x)] = h[g(f (x)]. Por otro lado: hg: B D y (hg)f: A D. [(hg)f](x) = (hg)(f(x)) = h[g(f (x)]. Definicin. Sea f: A B una funcin. Un inverso derecho (izquierdo) de f es una funcin g: B A tal que gf = IA (f g = IB). Si g es inverso derecho e izquierdo de f entonces se dice que f es invertible. Teorema. Sea f: A B una funcin. Si f tiene inverso derecho g1: B A e inverso izquierdo g2: B A entonces g1 = g2 y f es invertible. Demostracin. Por definicin g1f = IA y f g2 = IB de donde: g1 = g1IB = g1(f g2) = (g1f)g2 = IAg2 = g2. Corolario. Si f: A B es invertible, entonces su inverso es nico. (Se demuestra despus de las definiciones de funciones inyectivas y suprayectivas). Ejemplo. Denotamos por [x] a la parte entera de cualquier nmero real, es decir, [x] es el entero mximo, menor o igual que x, h: R Z y es dada por: h(x) = [x].

Grfica de la funcin entero mximo. 11

Sean f: Z Z y g: Z Z dadas por: f(n) = 2n y g(n) = [n/2]. Entonces gf = IZ pero f g IB. (gf)(n) = g(2n) = [2(n/2)] = [n] = n = IZ. (f g)(n) = f (g(n)) = f([n/2]) = 2[n/2] Si n = 1 (f g)(n) = 2[1/2] = 2 (0) = 0 n. Si n = 2 (f g)(n) = 2[2/2] = 2 (1) = 2 = n. Si n = 3 (f g)(n) = 2[3/2] = 2 (1) = 2 n. Si n = 3 (f g)(n) = 2[ 3/2] = 2 ( 2) = 4 n, etc. As que f tiene inverso derecho, que es g, pero no tiene inverso izquierdo. Notacin. Si f es invertible denotamos la funcin inversa de f como f 1, y f1: B A si f: A B. As pues, si f: A B, entonces f 1f = IA y f f 1 = IB. Ejemplos. Determinar f 1 de: f(x) = x2, f(x) = sen x, f(x) = cos x, f(x) = ln x, f(x) = 2x + 3. Primero se debe determinar el dominio y la imagen de la funcin dada. Para el primer caso, f(x) = x2, si se define f: R R, se tendra:
x cuadrada
25 20 15 f(x)
f(x) 2.5 2 1.5 1 0.5 0 -0.5 0 -1 -1.5 1 2 3 4 5

Rax cuadrada de x

10 5 0 -5 -3 -1 x 1 3 5

-2 -2.5 x

Por lo que la inversa no sera funcin. Una manera de definirla es f: R+ + {0} R+ + {0}, su grfica se ver solo en los reales positivos (primer cuadrante). Su inversa ser: f 1: R+ + {0} R+ + {0} dada por (f f 1)(x) = x (ya que la funcin identidad en R es x) f(f 1(x)) = x (f 1(x))2 = x . Despejando f 1(x) = x . Como se defini que f va de los reales positivos ms el cero a los reales positivos ms el cero, se tomar la parte positiva de la raz cuadrada. La grfica quedar:
12

La otra manera de definirla es f: R + {0} R + {0}, lo que se observar en su grfica sern los reales positivos en el eje de las ordenadas (el eje y) y los reales negativos en el eje de las absisas (el eje x). Su inversa ser: f 1: R + {0} R + {0} dada por (f f 1)(x) = x (ya que la funcin identidad en R es x) f(f 1(x)) = x (f 1(x))2 = x . Despejando f 1(x) resulta: f 1(x) = x . Ahora se defini que f va de los reales negativos ms el cero a los reales positivos ms el cero, se tomar la parte negativa de la raz cuadrada. La grfica quedar:

Definiendo f: R R para f(x) = sen x, se tendra la siguiente grfica:

13

Funcin seno de x
0.8 0.3 f(x) -6.5 -0.2 -1.5 -0.7 -1.2 x ( radianes) 3.5

Pero existe un problema cuando se desea calcular la funcin inversa. Para evitar eso, se define la funcin seno como f: [/2, /2] [1, 1], para que la funcin inversa (arcsen x) f 1: [1, 1] [/2, /2], la grfica ser:

Definiendo f: R R para f(x) = cos x, se tendra la siguiente grfica:

Funcin coseno de x
0.8 0.3 f(x) -6.5 -0.2 -1.5 -0.7 -1.2 x ( radianes) 3.5

14

Como existe el mismo problema del caso del seno para calcular la funcin inversa. Para evitar eso, se define la funcin coseno como f: [0, ] [1, 1], para que la funcin inversa (arccos x) f 1: [1, 1] [0, ].

Para el caso del logaritmo natural, f(x) = ln x, si se define f: R R, los reales negativos y el cero no tienen un elemento correspondiente en la imagen, por lo que no sera funcin; as que se define f: R+ R, para que su inversa f 1: R R+, dada por (f f 1)(x) = x f(f 1(x)) = x ln(f 1(x)) = x. Despejando f 1(x) = ex. La grfica correspondiente es:

En el ltimo ejemplo, f: R R para f(x) = 2x + 3, por lo que f 1: R R, dada por (ff 1)(x) = x f(f 1(x)) = x 2f 1(x) + 3 = x . Despejando f 1(x) = (x 3)/2.

15

Se observa que la funcin inversa de f es simtrica respecto a la funcin identidad del codominio de f, es decir, del dominio de f 1 .

Definicin. Una funcin f: A B se llama inyectiva ( 1-1) si para toda pareja a1, a2 A, con a1 a2, se tiene f(a1) f(a2). Esto equivale a: f(a1) = f(a2) a1 = a2. Definicin. Una funcin f: A B se llama suprayectiva ( sobre) si Im f = B; es decir, si bB aA tal que f(a) = b. Definicin. Una funcin f: A B se llama biyectiva si es inyectiva y suprayectiva. Ejemplos. Sea f: R R dada por f(x) = x2. f no es inyectiva, ya que f(1) = f(1), y 1 1. Tampoco es suprayectiva porque los reales negativos no estn en Im f. La funcin f se puede volver inyectiva y/o suprayectiva redefiniendo su dominio e imagen. Sea f: Z Z dada por f(n) = 2n. Entonces f es 1-1 porque f(n) = f(m) 2n = 2m n = m. No es sobre porque los impares no estn en la imagen. Sea A = {seres humanos}, B = {paps y mams}; f: A B dada por f(a) = mam de a; f es suprayectiva, porque todos los seres humanos nacieron de alguna mam. f no es inyectiva, se puede dar el caso de que 2 ms seres humanos tengan a la misma mam; es ese caso seran hermanos. Observacin. Sea A un conjunto arbitrario. La funcin identidad IA: A A es biyectiva.
16

Demostracin. Sea a1, a2A, con IA(a1) = IA(a2). Entonces a1 = IA(a1) = IA(a2) = a2. a1 = a2; IA es inyectiva. Por otra parte, sea aA, IA(a) = a. As que Im IA = A, IA es suprayectiva y IA es biyectiva. Teorema. Una funcin f tiene inverso derecho f es inyectiva. Una funcin f tiene inverso izquierdo f es suprayectiva. Demostracin. (1-1) () Sea f: A B inyectiva. Si f(a1) = f(a2) a1= a2. Se define g1: B A tal que para alguna bB, g1(b) = a1 y sea f(a1) = f(a2) = b. g1(b) = g1(f(a1)) = (g1f)(a1) = a1. Pero tambin g1(b) = g1(f(a2)) = (g1f)(a2) = a2, porque f(a1) = f(a2), as que, como g1(b) = g1(b), a1 = a2, por ser f 1-1, g1 es inverso derecho de f, ya que gf = IA. () Sea g1: B A inverso derecho de f y sea f(a1) = f(a2). a1 = IA(a1) por definicin de identidad = (g1f)(a1) por ser g1 inverso derecho de f = g1(f(a1)) por definicin de composicin = g1(f(a2)) por construccin (f(a1) = f(a2)) = (g1f)( a2) por definicin de composicin = IA(a2) por que g1 es inverso derecho de f por definicin de identidad a1 = a2 f es inyectiva. = a2 (sobre) () Sea g2: B A el inverso izquierdo de f, f g2 = IB. Sea bB tal que g2(b) = a para alguna aA arbitraria. f(a) = f(g2(b)) = (f g2)(b) = IB(b) = b, por lo que f(a) = b. Como a es arbitraria y le corresponde un elemento de B, en este caso b, entonces Im f = B , por lo que f es suprayectiva. () Sea f suprayectiva bB aA tal que f(a) = b, y sea g2: B A una funcin tal que g2(b) = a para alguna bB arbitraria, y aA. f(a) = f(g2(b)) = (fg2)(b) = b. As que f g2 = IB, por lo que g2 es inverso izquierdo de f. Proposicin. f: A B es invertible f es biyectiva. Demostracin. () Sea f: A B biyectiva. Si bB aA tal que f(a) = b por ser f suprayectiva, y a es nica por ser f inyectiva. Se define g: B A como g(b) = a para alguna bB f(a) = f(g(b)) = (f g)(b) = b, f g = IB. Ahora, para cualquier aA se tiene que si f(a) = b g(b) = a (por definicin de g). As que, g(b) = g(f(a)) = (gf)(a) = a, gf = IA. Si f es biyectiva f es invertible. () f es invertible tiene inverso g. Si a2, a1A y f(a1) = f(a2) a1 = IA(a1) por definicin de identidad = (gf)(a1) por ser g inverso de f
17

= g(f(a1)) = g(f(a2)) = (gf)( a2) = IA (a2) = a2

por definicin de composicin por construccin (f(a1) = f(a2)) por definicin de composicin por que g es inverso de f por definicin de identidad a1 = a2 f es inyectiva.

Sea bB arbitrario. Entonces b = IB(b) = (f g)(b) = f(g(b)), es decir, b es la imagen de g(b) bajo f. As que Im f = B, por lo que f es suprayectiva. Si f es invertible f es biyectiva. Proposicin. La composicin de dos funciones inyectivas es inyectiva. La composicin de dos funciones suprayectivas es suprayectiva. Corolario. La composicin de dos funciones biyectivas es biyectiva. Demostracin.

Corolario. Si f: A B es invertible, entonces su inverso es nico.

18