6.

FUNCIONES
Conceptos bsicos Funcin. Una funcin f del conjunto A al conjunto B es un subconjunto del producto cartesiano AB en el que no hay dos parejas que tengan el mismo primer elemento. El conjunto A se llama inicial, y el conjunto B, final y se denotan con el smbolo f: A B. En la Figura n6.1 se muestra la representacin grafica de una funcin. Ejemplo: Sea A = {a, b, c} y consideremos los subconjuntos de A A, f = {(a, a), (b, b), (b, c)}, g = {(a, b), (b, c), (c, a)}, h = {(a, a), (b, a)}. Los tres conjuntos son relaciones en A, pero f no es una funcin porque el elemento b aparece como primer elemento en dos parejas. Sin embargo, g y h s son funciones.

Como en el caso de las relaciones, no se ha exigido en la definicin que todo elemento del conjunto inicial est relacionado con alguno del final ni que todo elemento del final reciba la relacin de alguno del inicial. Por ello definimos los conceptos de dominio y contradominio de una funcin, que tendrn mucha ms importancia que en el contexto de las relaciones. Dominio. El dominio de una funcin f: AB es el subconjunto de A de elementos relacionados con algn elemento de B. lo denotamos D(f). ( ) * | ( ) +

Contradominio. El contradominio de una funcin f: AB es el subconjunto de B de elementos con los que algn elemento de A esta relacionado. Lo denotamos D(f). ( ) * | ( ) +

FIGURA N 6.1. REPRESENTACIN GRAFICA DE UNA FUNCIN.

Merece la pena dedicar unas lneas a comentar cmo se define una funcin (una en concreto, no el concepto de funcin). Lo que hay que definir son las parejas de

A B que la conforman. En la prctica esto se lleva a cabo de dos formas que corresponden a las dos maneras de definir conjuntos. Primera, por enumeracin de todos los elementos del dominio indicando qu elemento del conjunto final le corresponde a cada uno. Segunda, dando una regla o frmula que permita saber qu elemento corresponde a cada uno. Imagen de un subconjunto. Dada una funcin f: A B, la imagen bajo f de un subconjunto X del dominio es el subconjunto del contradominio formado por las imgenes de los elementos de X. Se denota f(X). Es decir, ( ) * | ( ) +

Anlogamente se puede definir la preimagen de un conjunto, pero cuidado, no se puede definir la preimagen de un elemento. Preimagen de un conjunto. Dada una funcin f: A B, la preimagen bajo f de un subconjunto Y de B es el subconjunto del dominio de los elementos cuyas imgenes estn en Y. Se denota f-1(Y). Esto es, ( ) * | ( ) +

Funcin constante. Una funcin se llama funcin constante si su dominio coincide con el conjunto inicial y su contradominio contiene un nico elemento, es decir f: AB es constante si ( ) Para algn elemento de B. Funcin identidad. La funcin identidad de un conjunto A, denotada id A es la funcin del conjunto A a si mismo, cuyo dominio es todo el conjunto A y en la que la imagen de cada elemento es el mismo, lo que podemos escribir como D(id A) = A y f(x) = x para todo elemento x de A. En la figura n 6.2 se muestra grficamente la funcin constante y la funcin identidad. ( ) * +

FIGURA N5.2. UNA FUNCIN CONSTANTE Y UNA FUNCIN IDENTIDAD .

6.1. COMPOSICIN DE FUNCIONES

Definicin. Dadas las funciones f : A B y g : B C donde el contradominio de f est incluido en el dominio de g, la composicin de f con g es una funcin, denotada g f, que tiene por conjunto inicial a A, por final a C y asocia a cada elemento de D(f) A el elemento de D(g) C que es la imagen bajo g de su imagen bajo f. Es decir, ( )( ) ( ( ))

Existe una forma de representar la composicin de funciones grficamente mediante los llamados diagramas conmutativos. El diagrama que representa la composicin de f y g es la que se muestra a continuacin.

FIGURA 6.3. REPRESENTACIN GRAFICA DE COMPOSICIN DE FUNCIONES.

Este diagrama ilustra los dos caminos para ir desde A hasta C; se llama diagrama conmutativo porque ambos caminos tienen el mismo resultado, que es lo que expresa la composicin. Ejemplos: 1 Sean los conjuntos A = {1, 2, 3}, B = {a, b, c, d}, C = {X, Y } y las funciones f: A B y g : B C dadas por f (1) = a f (2) = b g(a) = X, g (b) = Y, g (c) = Y. Entonces se cumplen las condiciones de la definicin, pues D(f) = {a, b} D(g), y la funcin compuesta est definida para los elementos de D(f) = {1,2} A.

(g f)(1) = g (f (1)) = g (a) = X

(g f)(2) = g (f(2)) = g(b) = Y Graficamente.

FIGURA N 6.4. REPRESENTACIN GRAFICA DEL EJEMPLO 1.

f = {(2,3), (4,1), (3,5), (7,4), (6,8)}; g = {(2,5), (2,3), (3,0), (7,2), (13,4)}. Obtener f g. El dominio de la composicin de estas funciones, viene dado por el conjunto nmeros tiene { | ( ) sentido hablar *( ( )+ de )( * tal )( +. Por lo tanto, en esos composicin; )+ la regla de

correspondencia resulta

6.2. CLASES DE FUNCIONES

Dada una funcin f: A B, ya sabemos cmo es su dominio: un subconjunto del conjunto inicial donde cada elemento tiene una imagen, y slo una, en B. En esta seccin nos ocupamos del contradominio. Segn sea la relacin entre el contradominio y el conjunto final tenemos tres tipos de funciones especialmente interesantes: inyectivas, suprayectivas y biyectivas. Estos tipos de funciones son fundamentales pues veremos que toda funcin se puede escribir como la composicin de una funcin inyectivas, una biyectivas y una suprayectivas.

6.3. INYECTIVAS
Una funcin es inyectiva si su dominio es todo el conjunto inicial y las imgenes de elementos diferentes son diferentes, que lo expresamos como ( ) Para elementos x, y de A. Ejemplos: ( )

1. f = {(1,4), (3,1), (2,8), (5,4)}, es inyectiva ya que para cada valor de x corresponde aun valor de y distinto. 2. f = {(1,3), (3,2), (2,3)}, no es inyectiva ya que para x=1, x = 2 le corresponden el mismo valor de y =3.

6.4. SUPRAYECTIVAS
Una funcin f: A B es suprayectiva si el contradominio coincide con el conjunto final: ( ) Ejemplo: La funcin f: AB, con A = {1, 2, 3, 4, 5} y B = {a, b, c} cuya regla de correspondencia es f = {(1, a), (2, b), (3, c), (4, a), (5, b)}.

6.5. BIYECTIVAS
Una funcin es biyectivas si es inyectiva y suprayectiva. En otras palabras, una funcin es inyectiva si el dominio es todo el conjunto inicial y cada elemento del conjunto final es imagen de, a lo sumo, un elemento del inicial. Es suprayectiva si todo elemento del conjunto final es imagen de, al menos, un elemento del inicial. Es biyectiva si cada elemento del final es imagen de exactamente un elemento del dominio (que coincide con el inicial). Ejemplo de las funciones inyectivas, biyectiva y suprayectivas: Sean los siguientes conjuntos y funciones con dominio en A = {1, 2, 3}: F1: A B1 donde B1 = {a, b, c, d} F1 (1) = b F1 (2) = c F1 (3) = a F2: A B2 donde B2= {a, b} F2 (1) = a F2 (2) = a F2 (3) = b F3: A B3 donde B3 = {a, b, c} F3 (1) = c

F3 (2) = b F3 (3) = a F4: A B4 donde B4 = {a, b, c, d} F4 (1) = b F4 (2) = b F4 (3) = a Entonces, la funcin f1 es inyectiva, pero no es suprayectiva. La funcin f2 es suprayectiva, pero no es inyectiva. En tercer lugar, f3 es biyectiva. Por ltimo, f4 no es ninguno de los tres tipos. Grficamente se aprecia en la figura 6.5.

FIGURA N 6.5. REPRESENTACIN GRAFICA DE LAS FUNCIONES INYECTIVA, BIYECTIVA Y SUPRAYECTIVA.

6.6. FUNCIONES INVERSAS

Dada una funcin f: A B, una funcin y: B A es inversa de f si la composicin de f con g y la composicin de g con f son ambas funciones identidad. Es decir, si Obsrvese que ambas composiciones son funciones diferentes, pues g f: AA mientras que f g: BB. por ello es necesario exigir las dos condiciones. De hecho se pueden distinguir los conceptos de inversa derecha e inversa izquierda.

Tambin hay que hacer notar que la definicin exige D (f) = A y D (g) = B, pues de otro modo no se consigue la funcin identidad en A la identidad en B. Teorema. Si una funcin tiene inversa, entonces sta es nica. Funcin invertible. Si una funcin f tiene inversa se dice que la funcin f es invertible, y denotando por f-1 la nica funcin que es inversa de f. Teorema. Una funcin es invertible si y solo si, es biyectiva. Ejemplos: 1. Si f (1) = 5, f(3) = 7 y f(8) = -10. Encuentre f-1(7), f-1(5) y f-1(-10). f-1 (7) = 3 porque f(3) = 7 f-1 (5) = 1 porque f(1) = 5 f-1 (-10) = 8 porque f(8) = -10

6.7. FUNCIONES LOCALIZADORAS