UNIVERSIDAD NACIONAL DEL NORDESTE

FACULTAD DE CIENCAS EXACTAS, NATURALES Y

AGRIMENSURA

FUNCIONES
Algebra (Para Agrimensura)
Ciclo lectivo 2010

Esp. Prof. Liliana N. Caputo

Paula Daniela Bordn
FACENA UNNE
Algebra (Para Agrimensura)
Esp. Prof. Liliana Caputo, Paula Daniela Bordn
Ao Lectivo 2010
TEMA 4

FUNCIONES DE UNA VARIABLE

Definicin 1: Sean A y B dos conjuntos y una relacin f, de A en B.
f: A B es funcin si, y slo si, se cumplen las siguientes condiciones:
1) Existencia: Cada elemento de A tiene imagen en B es decir, que el
alcance de f coincide con su dominio. En smbolos: xA: f(x) B.
2) Unicidad: Cada elemento de A tiene una nica imagen en B. En
smbolos: f(x) = y f(x) = z x = y.
Notaciones:
a) x se llama variable independiente y f(x) denota la imagen de x por la
funcin f.
b) Si f: A B es funcin, denotamos con f(A) al conjunto de imgenes de
elementos de A es decir, y f(A) x A/ y = f(x).
c) Si f: A B es funcin y E B, denotamos con f-1(E) al conjunto de
preimgenes de elementos de E es decir, x f-1(E) y E / y = f(x).

UN PRIMER EJEMPLO: LA FUNCION IDENTIDAD

Vemos que iA: A A/ iA(x) = x, cualquiera sea A, es funcin. En efecto:
xA: iA(x) = x A.
Adems: iA(x) = y iA(x) = z x = y x = z y = z.

REPRESENTACION GRAFICA
Como las funciones son relaciones, pueden representarse grficamente de
la misma manera que las relaciones binarias: mediante diagramas de Venn o
de grficos cartesianos.
Cuando se trata de funciones con dominio y/o rango en conjuntos infinitos,
no pueden utilizarse diagramas de Venn y, necesariamente, debe usarse
grficos cartesianos para poder entender su comportamiento en todo el
dominio.
Segn el dominio o el rango de una funcin sean , , o , para
representarla grficamente se usan puntos aislados, lneas de puntos o
contnuas.
Veamos la grfica de iA: AA, cuando A = , A = , A = y A = :
Si A = : iA: AA/ iA(x) = x queda representada por un conjunto de puntos
aislados como el siguiente:
y
5
4
3
2
1
0
x
0 1 2 3 4 5

2
FACENA UNNE
Algebra (Para Agrimensura)
Esp. Prof. Liliana Caputo, Paula Daniela Bordn
Ao Lectivo 2010
Si A = : iA: AA/ iA(x) = x queda representada por un conjunto de puntos
aislados como el siguiente:
5 y
4
3
2
1 x
0
-4 -2 -1 0 2 4 6
-2
-3
-4

Si A = , la grfica de iA: AA/ iA(x) = x es:

x
0

En cambio, si A = , la grfica de iA: AA/ iA(x) = x es:

y

x
0

3
FACENA UNNE
Algebra (Para Agrimensura)
Esp. Prof. Liliana Caputo, Paula Daniela Bordn
Ao Lectivo 2010
IGUALDAD DE FUNCIONES: Sean dos funciones f : A B y g:D C.
Diremos que f = g A = D x A: f(x) = g(x).

CLASIFICACION DE FUNCIONES: Sea f: A B una funcin:

Definicin 2: f es inyectiva (f(x) = f(x) x = x) (x x f(x) f(x)).

Es decir, en una funcin inyectiva, a elementos distintos del dominio les

corresponden imgenes distintas.

Definicin 3: f es sobreyectiva (yB, xA/ y = f(x)) Rgo(f) = f(A).

Podemos decir pues, que si una funcin es sobreyectiva, todo elemento del
rango tiene, al menos, una preimagen en el dominio.

Definicin 4: f es biyectiva f es inyectiva y sobreyectiva.

ALGUNAS FUNCIONES PARTICULARES:

Funcin identidad: Ya hemos definido iA: A A/ iA(x) = x y probamos que

es funcin. Veamos a continuacin, que cualquiera sea A, iA es biyectiva. Para
ello, debemos probar que:
a) iA es inyectiva: Sean x, x A/ iA(x) = iA(x) x = x (por def.de iA).
b) iA es sobreyectiva: Sea y A. Entonces, xA/ x = y y = x = iA(x).
Por a y b, iA es biyectiva.

Funcin constante: Sean A y B conjuntos no vacos, bB. Se llama

funcin constante a la siguiente: cb: AB/ xA: cb(x) = b.
Si x, x A / x x, resulta que cb(x) = b = cb(x), luego la funcin no es
inyectiva. (Probamos que x = x cb(x) = cb(x) - que es la negacin de x x
cb(x) cb(x) es verdadera). En cambio, slo es sobreyectiva, si B = {b}.

Funcin factorial: Se define como:

Funcin signo: Se define como

4
FACENA UNNE
Algebra (Para Agrimensura)
Esp. Prof. Liliana Caputo, Paula Daniela Bordn
Ao Lectivo 2010
Funcin valor absoluto: Se define como

Funcin lineal: Se define como Su

grfica es una lnea recta que corta al eje vertical en el punto de coordenadas
(0,b) y que forma con el semieje positivo de las x un ngulo cuya tangente es a.
Ntese, que la identidad en es un caso particular de la funcin lineal, en la
cual a = 1 y b = 0.

Funcin cuadrtica:
Se define como f : R R / f(x) ax2 bx c,cona,b,c R,a 0. Su grfica
es una curva llamada parbola. En toda parbola puede distinguirse un punto
b b
llamado vrtice, de coordenadas ,f( ) . Si a > 0, la imagen del vrtice es
2a 2a
el valor mnimo de la funcin, mientras que si a < 0, es el mximo.

Funciones a trozos: Son funciones en las cuales para distintos

subconjuntos del dominio las imgenes se determinan de distintas maneras.
Ejemplos: la funcin signo, el factorial de un natural o cero, el valor absoluto de
un nmero real, etc. Otro ejemplo:

FUNCION INVERSA DE UNA DADA

Al estudiar relaciones, vimos que dada una relacin, siempre puede
hallarse su inversa. Como las funciones son relaciones, dada una funcin de A
en B, su relacin inversa (de B en A) existe, pero no necesariamente es, a su
vez, funcin.
Recordemos que si f:AB, su inversa es f-1: BA, tal que:
f(x) = y f-1(y) = x (I)

Teorema 1: Dada una funcin f:AB, (f-1)-1 = f.

Como f est definida de A en B, su inversa, f -1, est definida de B en A y,
a su vez, (f-1)-1:AB (1)
Sea x A. Como f es funcin, y B/y = f(x). Luego, por definicin de relacin
inversa, x = f-1(y). Entonces, nuevamente por definicin de relacin inversa, y =
= (f-1)-1(x). De donde, xA: f(x) = y = (f-1)-1(x) (2)
Por (1) y (2) y definicin de igualdad de funciones, (f -1)-1 = f.

Teorema 2: Dada una funcin f:AB, su inversa f-1:BA es funcin si, y

slo si, f es biyectiva.

5
FACENA UNNE
Algebra (Para Agrimensura)
Esp. Prof. Liliana Caputo, Paula Daniela Bordn
Ao Lectivo 2010
Probemos primero que si f es biyectiva, f -1 es funcin.
Sea y B. Entonces, por ser f sobreyectiva, xA/ y = f(x). Luego, por (I),
-1
f (y) = x A. Entonces, cualquiera sea y B, hemos probado que existe su
imagen por f-1 en A. (II)
Si y B y existen x, x A tales que f-1(y) = x f-1(y) = x, por (I), resulta
que f(x) = y = f(x). Luego, como por hiptesis f es inyectiva, debe ser x = x(III).
De (II) y (III), f-1 es funcin.
Recprocamente, si f-1 es funcin, probemos que debe ser f biyectiva:
Sean x, x A/ f (x) = f (x) = y. Por (I), debe ser f -1(y) = x f-1(y) = x; como
por hiptesis, f-1 es funcin, y debe tener una nica imagen, por lo cual debe
ser x = x. Luego, f es inyectiva (IV).
Sea y B. Como f-1 es funcin, xA/ f-1(y) = x. Luego, por (I), y = f(x).
Hemos probado pues, que f es sobreyectiva (V).
De (IV) y (V), f es biyectiva.
Corolario: f es funcin biyectiva si, y slo si, su inversa, f -1 tambin lo es.
Sea f una funcin biyectiva. Como (p q) (p q), tenemos que el
hecho de que f-1 no sea biyectiva es, por el teorema anterior, equivalente a que
f no es funcin. Como f es funcin biyectiva, debe ser f -1 funcin biyectiva.

COMPOSICION DE FUNCIONES

Definicin 5: Sean dos funciones, f: A B y g: E C, tales que f(A) E.

Definimos la composicin de f y g, como la funcin siguiente:
g f : A C/(g f)(x)=g f(x).
Veamos a continuacin un ejemplo: Sean A = {1, 2, 3}, B = {-3, -2, -1, 0} y
C = {-2, -1, 0, 1}, f: A B/f(x) = -x, g: B C/g(x) = x + 1. Si representamos en
diagramas de Venn, vemos que gof = {(1,0), (2,-1),(3,-2)}:
f g
C
A B -3 -2
1
-2 -1
2
-1 0
3
0 1

gof

g f : A C/(g f)(x)=gf(x) g( x) x 1

A continuacin, usaremos funciones f, g y h tales que Rgo(f) = Dm(g) y

Rgo(g)= Dm(h), a fin de simplificar la notacin.

Propiedades de la composicin de funciones:

Sean f : A B, g:B C y h:C D, funciones.
1. La composicin de funciones no es conmutativa.

6
FACENA UNNE
Algebra (Para Agrimensura)
Esp. Prof. Liliana Caputo, Paula Daniela Bordn
Ao Lectivo 2010
2. La composicin de funciones es asociativa. Es decir: (hog)of = ho(gof).
3. Si f y g son biyectivas, tambin gof es biyectiva.
4. Si f es biyectiva, f-1of = iA fof-1 = iB.
5. Si f y g son biyectivas, (gof)-1 = f-1og-1.

Demostraciones:
1. Para que realmente podamos ver que gof fog, demos un ejemplo en el
cual A = B = C, es decir, que f y g sean funciones de A en A.
Si f: / f(x) = x + 1 y g:RR / g(x) = x2, se tiene que:
gof: / gof(x) = g[f(x)] = g(x + 1) = (x + 1)2.
fog: / fog(x) = f[g(x)] = f(x2) = x2 + 1.
Entonces, gof fog, pues 1 / (gof)(1) = (1 + 1)2= 4 2 = 12+ 1 = (fog)(1).

2. Como f : A B, g:B C y h:C D, hog:B D y gof:A C. En

consecuencia, (hog)of: A D y ho(gof): A D. (A)
Sea x A. Entonces, por ser funcin, existe y B tal que y = f(x) (*).
Luego, como hog es funcin de B en D, existe z D/ (hog)(y) = z = h[g(y)].
Pero, por (*), resulta: z = h[g(y)] = h[g(f(x))]. (**)
Veamos ahora la imagen de x por (hog)of:
[(hog)of](x) = (hog)[f(x)] = (hog)(y) = z (Por * y **). (B)
[ho(gof)](x) = h[(gof)(x)] = h[g(f(x))] = z, por definicin de composicin de
funciones (dos veces) y por (**). (C)
De (A), (B) y (C), resulta (hog)of = ho(gof).

3. Sean f y g biyectivas. Probaremos que:

a) gof es inyectiva: Sean x, x A/(gof)(x) = (gof)(x). Entonces:
(gof)(x) = (gof)(x) g[f(x)] = g[f(x)] f(x) = f(x) x = x (por definicin de
funciones, por ser g inyectiva y por inyectividad de f, respectivamente).
b) gof es sobreyectiva: Sea y B. Como g es sobreyectiva, z B/y = g(z).
Pero como tambin f es sobreyectiva, x A/ z = f(x). Luego se tiene que:
y = g(z) = g[f(x)] = (gof)(x).

4. Si f es biyectiva, su inversa f -1 es funcin de B en A. Luego, fof-1:B B y

f-1of:A A.
Sea x A. Entonces, como f es funcin, existe y B, tal que y = f(x).
Adems, por definicin de relacin inversa, x = f -1(y). Entonces, resulta que:
(f-1of)(x) = f-1[f(x)] = f-1(y) = x = iA(x).
De la misma manera, (fof-1)(y) = f[f-1(y)] = f(x) = y = iB(y).

5. Por lo probado en 3, si f y g son biyectivas, la composicin tambin lo es

y, en consecuencia, existen y son funciones f-1: B A, g-1: C B, (gof)-1:C A
y f-1og-1:C A.
Sea x C. Como g-1 es funcin, z B/ g-1(x) = z y x = g(z). Ahora bien,
como tambin f-1 es funcin, y A/ f-1(z) = y y z = f(y).
Luego: (f-1og-1)(x) = f-1[g-1(x)] = f-1(z) = y.
De la misma manera, (gof) (y) = g[f(y)] = g(z) = x. Luego, (gof)-1(x) = y.

7
FACENA UNNE
Algebra (Para Agrimensura)
Esp. Prof. Liliana Caputo, Paula Daniela Bordn
Ao Lectivo 2010
BIBLIOGRAFIA CONSULTADA

ESPINOSA ARMENTA, R. (2010). Matemticas discretas. 1 Edicin.

Alfaomega Grupo Editor, S.A. de C.V. Mxico.

JOHNSONBAUGH, R. (2005). Matemticas Discretas. 6 Edicin. Pearson

Educacin. MXICO.

ROJO, A. (1996). Algebra I. El Ateneo. Argentina.