Gua sobre Funciones

Una funcin es una correspondencia entre elementos de dos conjuntos, al igual que una relacin pero con dos condiciones: i) ii) todos los elementos del conjunto de partida, dominio, estn asociados a elementos del conjunto de llegada, recorrido. a cada elemento del dominio le corresponde un nico elemento en el conjunto de llegada o codominio o recorrido.

Sean las siguientes relaciones definidas en los nmeros reales.

Una funcin f definida de A en B se denota como: f : A B , o A f B .

w w

.h

Sin embargo T2 no es funcin, esto es as pues para cada elemento c del dominio existen dos elementos en el codominio, por ejemplo, si c = 4, d sera 2 o - 2. Y con ello no se cumple el requisito ii) mencionado anteriormente. Sin contar, adems, que al estar ambas funciones definidas en el conjunto de los nmeros reales, para cualquier valor de c < 0 no habra imagen, con ello no se estara cumpliendo el requisito i) mencionado.

e rd u

T1 s lo es ya que para cada valor de a, a2 es nico. Es decir, para todo elemento a del dominio existe un nico elemento b = a2 que pertenece al codominio.

.c

Esas relaciones, son, a su vez, funciones?

En adelante se utilizarn las siguientes abreviaturas para conjuntos numricos: R: nmeros reales. Z: nmeros enteros. N: nmeros naturales. Los superndices + y se refieren a los nmeros positivos y negativos respectivamente.

T1 = {(a, b) RxR / b = a2} y T2 = {(c, d) RxR / d =

c}

Al nico elemento del codominio B que le corresponde, segn la funcin f, a un elemento del dominio A, que se representa como f(a), se le llama imagen de a. As, entonces, se tiene que toda funcin f : A B le corresponde en el producto cartesiano A x B una relacin definida por {(a, f(a)) / a A y f(a) B} Cmo se encuentran los elementos que son imgenes de una funcin f? Por ejemplo, consideremos la funcin f : R R , de modo que y = f(x) = x2 3x - 5. La imagen de 4 segn la funcin f es: f(4) = 42 - 34 5 = 16 12 5 = -1

Nota: Cuando se hace referencia a la funcin f, la funcin se denota como f, pero si se hace referencia a los elementos del recorrido de la funcin, es decir a aquellos elementos del codominio que son imgenes, la escritura es f(x). Representacin grfica de las funciones. Las funciones se pueden representar, igual que las relaciones, en diagramas de Venn y en sistemas de coordenadas.

Hernn Verdugo Fabiani www.hverdugo.cl

Ejemplo. Representacin en un sistema de coordenada. Sea la funcin f : R R de modo que y = f(x) = x2. Los valores que se utilizarn en la construccin de un grfico sern los de la forma (x, x2).

a b c d

.h

Funcin compuesta.

Sean dos funciones f y g, f definida como f : A B y g definida como g : B C . La funcin compuesta (g o f)(x) = g(f(x)). Lo anterior quiere decir que para un valor x del conjunto A se encuentra primero su imagen f(x) en B y, posteriormente, se encuentra la imagen de f(x) en C, es decir g(f(x)). Por ejemplo, sea f(x) = 3x + 2 y g(x) = 2 4x. (g o f)(5) = g(35 + 2) = g(17) = 2 - 417 = - 66 Tipos de funciones. i) Funcin inyectiva o uno a uno.

Una funcin f, con f : A B , es inyectiva si para cada elemento distinto del dominio sus imgenes son tambin diferentes. Es decir, si f(a) = f(a) a = a

Hernn Verdugo Fabiani www.hverdugo.cl

w w

e rd u

g
B x y z w

Diagrama de Venn. Sea la funcin f : A B , con A = {a, b, c, d} y B = {x, y, z, w} tal que el grfico de f es la relacin {(a, y); (b, x); (c, y); (d, w)}.

.c

ii)

Funcin sobreyectiva o sobre.

Una funcin f, con f : A B , es sobreyectiva si todo b B es imagen de algn a A. Es decir, b B, a A iii) Funcin biyectiva.

f (a) = b

Una funcin es biyectiva si es, al mismo tiempo, inyectiva y sobreyectiva. Funcin inversa o recproca. Sea f : A B , f-1 es inversa si est definida como f 1 : B A

Es decir:

1A(a) = a

Si se tiene la funcin identidad 1B para elementos del conjunto B, entonces:

w w

Y, adems, si f es biyectiva, se cumplir que: f-1 o f = 1A y f o f-1 = 1B

Algebra de funciones numricas reales. Sea F (X, R) el conjunto de todas las funciones numricas reales definidas en algn conjunto numrico X, que es subconjunto de R. Sean las funciones f : X R , g : X R y k R, con ellas se definen: a) b) c) d) e) (f + g) : X R (kf) : X R (|f|) : X R (fg) : X R (f + k) : X R como como como como como (f + g)(x) = f(x) + g(x) (kf)(x) = k(f(x)) (|f|)(x) =|f(x)| (fg)(x) = f(x)g(x) (f + k)(x) = f(x) + k

Axiomas que se cumplen con las funciones f, g y h definidas en un conjunto dado con las operaciones de la adicin (+) y multiplicacin (). a) 1) 2) 3) Con la adicin Asociatividad: (f + g) + h = f + (g + h) Conmutatividad: f + g = g + f Existencia de elemento neutro. En este caso es la funcin 0. 0 F( X, R), es decir: 0 : X R, tal que: 0 + f = f + 0 = f

Hernn Verdugo Fabiani www.hverdugo.cl

.h

1 B o f = f = f o 1A

e rd u

Sea f : A B , f es funcin identidad si f(a) = a, para todo a que pertenece a A. A esta funcin se le suele llamar diagonal A o 1A o simplemente 1.

Funcin identidad.

.c

Para que f-1 sea funcin es necesario que f sea biyectiva.

4) b) 1) 2) c) 1) 2)

F(X, R), f F(X, R), es decir f : X

R, tal que f + (f) = 0

Con la multiplicacin, siendo k y k nmeros reales. k(kf) = (kk)f 1f = f Con ambas, adicin y multiplicacin. k(f + g) = kf + kg (k + k) f = kf + kf

R / |f(x)| M, x X

Otro ejemplo: Sea g(x) =

ya que al disminuir el denominador, la funcin crece sin lmite.

Si n R, entonces m es la cota inferior de una funcin f, con f : X R , si se cumple que |(f(x)| m, para todo x X.

Con smbolos matemticos:

b)

Cota inferior

Ejemplo: Sea h(x) = |x - 4|, el menor valor que puede tener la funcin h es - 4 cuando x = 0, por lo tanto la funcin est acotada inferiormente en el valor 4. Bibliografa Varios textos, siendo el principal: Topologa General, Seymour Lipschutz, 1970, Editorial MacGraw Hill

Hernn Verdugo Fabiani www.hverdugo.cl

w w

4 , con x 1. La funcin g no est acotada superiormente 1 x

.h

R / |f(x)| m, x X

Ejemplo: si f(x) = sen x, entonces la cota superior de la funcin f es 1, ya que el mximo valor que puede tomar la funcin seno es 1, y eso ocurre cuando x es 90 .

e rd u

Con smbolos matemticos:

Si M R, entonces M es la cota superior de una funcin f, con f : X R , si se cumple que |(f(x)| M, para todo x X.

.c

a)

Cota superior

Funcin acotada