You are on page 1of 28

UNIVERSIDAD DE CONCEPCION

Facultad de Ciencias Fsicas y Matem aticas


Introducci on a la Matem atica Universitaria.
520145
Captulo 5. Funciones.
FCFM. UdeC 1 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.
Funciones
Denici on de RELACION
Dados dos subconjuntos arbitrarios A y B no vacos, una
relaci on binaria Res una correspondencia entre los
elementos de A y B, la cual se representa por un
subconjunto de pares ordenados R, R AB.
Si (a, b) R, entonces diremos que a est a relacionado con b y
escribiremos aRb, se tiene:
aRb (a, b) R
Ejemplo 1. R = {(x, y) : y
2
= x + 1} dene una relaci on R,
en este caso
aRb (a, b) R b
2
= a + 1.
FCFM. UdeC 2 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.
Funciones
Para la relaci on Rdenimos:
Dominio de R:
Dom(R) = {a A : b B (a, b) R}
Recorrido de R:
Rec(R) = {b B : a A (a, b) R}
Ejemplo 2.Las siguientes son relaciones:
a) Rrepresentada por R = {(1, 1), (2, 1), (3, 1)} es una
relaci on. Se tiene que
Dom(R) = {1, 2, 3} Rec(R) = {1}
FCFM. UdeC 3 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.
Funciones
b) Sean A = {1, 2, 3}, B = {1, 4} y Rdenida por
aRb a + b 5, a A, b B.
R = {(1, 1), (1, 4), (2, 1), (3, 1)}, Dom(R) = A, Rec(R) = B.
c) Rdenida por aRb a + b 1, a, b > 0 es tal
que
R = {(a, b) R
+
R
+
: a + b 1}, Dom(R) =]0, 1[
y Rec(R) =]0, 1[.
FCFM. UdeC 4 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.
Funciones
Denici on de FUNCION. Dada una relaci on Rrepresentada por
R AB, diremos que Res una funci on de A en B, si y s olo
si:
x A, ! y B : (x, y) R
Notaci on: xRy se escribir a y = f(x) y la funci on se
denota por:
f : A B, x y = f(x),
o simplemente se escribe y = f(x), x A.
FCFM. UdeC 5 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.
Funciones
Con esta notaci on se tiene que:
y (variable dependiente) es la IMAGEN de x a trav es de f
x (variable independiente) es la PRE-IMAGEN de y porf
A DOMINIO de f A = Dom(f)
B CODOMINIO de f B = Cod(f)
R = Gr(f) GRAFICO de f R = {(x, y) AB : y = f(x)}.
FCFM. UdeC 6 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.
Funciones
Ejemplo 3.
a) La relaci on R = {(x, y) : y = x
2
1} es funci on.
En efecto, x R, x
2
1 es unico en R. Es decir,
x R, !y = x
2
1 R. En consecuencia, podemos
escribir R en la forma f : R R, x y = x
2
1.
M as simple a un, podemos denotar la funci on por:
f(x) = x
2
1, x R.
b) La relaci on R = {(x, y) : y
2
= 4x} no es funci on.
En efecto, x R existen y = 2

x e y = 2

x,
diferentes, en R relacionados con x. No existe un unico y
relacionado con x.
FCFM. UdeC 7 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.
Funciones
Imagen de un conjunto. Sea f : A B una funci on y X A.
La imagen de X por f se dene por:
f(X) = {y B : x X, y = f(x)} = {f(x) B : x X}.
Recorrido de f. El conjunto f(A) se llama recorrido de f y se
tiene:
Rec(f ) = f(A) = {f(x) B : x A}.
Pre-Imagen. Sea f : A B una funci on e Y B.
La pre-imagen (o imagen recproca) de Y por f se dene por:
f
1
(Y ) = {x A : y = f(x), y Y } = {x A : f(x) Y }.
FCFM. UdeC 8 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.
Funciones
Para la funci on del ejemplo 3) se tiene:
i) Su dominio es Dom(f) = {x : y = x
2
1 R} = R.
ii) Su Recorrido es:
Rec(f) = f(A) = {y R : y = x
2
1, x R} = [1, +[.
En efecto y = x
2
1 |x| =

y + 1 y 1.
iii) La Imagen f([0, 2]) del intervalo [0, 2] es
f([0, 2]) = {y [1, +[: y = x
2
1, 0 x 2} = [1, 3].
En efecto, y = x
2
1 x
2
= y + 1. Luego,
0 x 2 0 y + 1 4 1 y 3, se
tiene que y [1, 3].
FCFM. UdeC 9 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.
Funciones
iv) La pre-imagen (o imagen recproca) de Y = [0, 2] es
f
1
([0, 2]) = {x R : y = x
2
1, 0 y 2}
= {x R : 0 x
2
1 2}.
Ahora, 0 x
2
1 2 1 x
2
3 |x| 1 y
|x|

3. En consecuencia,
f
1
([0, 2]) = [

3, 1] [1,

3].
Adem as, f
1
([3, 2]) = .
FCFM. UdeC 10 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.
Funciones
Algunas Propiedades de f(X) y f
1
(Y )
Sea f : A B una funci on, X A e Y B.
1. f
1
(B) = A
2. X

X A = f(X) f(

X)
3. Y

Y B = f
1
(Y ) f
1
(

Y )
4. f(X


X) = f(X)

f(

X)
5. f
1
(Y


Y ) = f
1
(Y )

f
1
(

Y )
6. f(X


X) f(X)

f(

X)
7. f
1
(Y


Y ) = f
1
(Y )

f
1
(

Y )
8. f
1
(f(X)) X
FCFM. UdeC 11 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.
Funciones
Funci on Sobreyectiva
Una funci on f : A B es sobreyectiva si y s olo si,
f(A) = B, (es decir, Rec(f) = B.)
Equivalentemente,
f(A) = B y B, x A : f(x) = y
o bien, en t erminos de resolver una ecuaci on:
f(A) = B y B : la ecuaci on f(x) = y admite soluci on en A.
Por ejemplo, la funci on f : R R, f(x) = x
2
1, del
ejemplo 3) no es sobreyectiva, pues f(R) = [1, +[= R.
FCFM. UdeC 12 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.
Funciones
Son equivalentes:
1. La funci on f : A B es inyectiva.
2. y f(A), ! x A : f(x) = y.
3. x
1
, x
2
A : f(x
1
) = f(x
2
) = x
1
= x
2
.
4. x
1
, x
2
A : x
1
= x
2
= f(x
1
) = f(x
2
).
5. y f(A): la ecuaci on f(x) = y tiene soluci on unica en A.
Ejemplo 4.La funci on f(x) = 3x 5, x R es inyectiva.
FCFM. UdeC 13 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.
Funciones
Observaci on: De la denici on: f es una funci on no inyectiva si y
s olo si
x, a A : x = a f(x) = f(a).
La funci on f del ejemplo 3) no es inyectiva. En efecto,
x = 2, a = 2 R : x = a f(2) = f(2) = 3.
Funci on Biyectiva. Una funci on f : A B es biyectiva si y s olo
si f es inyectiva y sobreyectiva, es decir:
fes biyectiva y B, ! x A : f(x) = y
si y s olo si, la ecuaci on f(x) = y tiene soluci on unica en A.
La funci on f(x) = 3x 5, x R, del ejemplo 4, es biyectiva.
FCFM. UdeC 14 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.
Funciones
Se llaman Funciones Reales a las funciones de R en R. Es decir,
f : Dom(f) R R, x y = f(x).
De las deniciones anteriores se tiene que:
Dom(f) =
_
x R : ! y R f(x) = y
_
.
Rec(f) =
_
f(x) R : x Dom(f)
_
.
Gr(f) =
_
_
x, f(x)
_
R R : x Dom(f)
_
. Es un
subconjunto de R
2
y lo podemos representar por su gr aca en
el plano.
FCFM. UdeC 15 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.
Funciones
Ejemplo 5. Denir, ver si son biyectivas y gracar las funciones
usuales: constante, recta, valor absoluto, raz cuadrada.
Igualdad de Funciones
Sean f : Dom(f) R R y g : Dom(g) R R :
f = g
_
_
_
Dom(f) = Dom(g)
_
x Dom(f)
_
: f(x) = g(x)
Ejemplo 6. Dena el dominio para las funciones denidas por
f(x) =
1

x 1
, x A
f
; g(x) =

x + 1
x 1
, x A
g
.
Diga si estas funciones son iguales y en que conjunto.
FCFM. UdeC 16 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.
Funciones
Restricci on de una funci on.
Sean f : Dom(f) R R y C Dom(f). Una
funci on.
g : C R, x y = g(x) = f(x)
se denomina restricci on de f a C y se escribe g = f

C
.
Nota: Generalmente, la restricci on g = f

C
se designa por la
misma f, entendiendo que se trata de una restricci on.
FCFM. UdeC 17 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.
Funciones
Para la funci on del ejemplo 3), si consideramos el conjunto
C = [0, +[, entonces la funci on
g : [0, +[R, x = g(x) = x
2
1
es una restricci on de f al conjunto C. Notar que esta rectricci on es
inyectiva y si restringimos su codominio a [1, +[ la denimos
por
g : [0, +[ [1, +[, x g(x) = x
2
1
y es sobreyectiva y con ello tambi en biyectiva.
FCFM. UdeC 18 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.
Funciones
Funciones crecientes
Una funci on f se dice estrictamente :
creciente, si y s olo si,
x
1
, x
2
X : x
1
< x
2
= f(x
1
) < f(x
2
)
decreciente, si y s olo si,
x
1
, x
2
X : x
1
< x
2
= f(x
1
) > f(x
2
)
FCFM. UdeC 19 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.
Funciones
Nota.
Si x
1
, x
2
X : x
1
< x
2
f(x
1
) f(x
2
) se dice que f es
mon otona creciente (no decreciente).
An alogamente, si x
1
, x
2
X : x
1
< x
2
f(x
1
) f(x
2
)
diremos que f es mon otona decreciente (no creciente).
Proposici on.
Toda funci on estrictamente creciente (decreciente ) es inyectiva.
FCFM. UdeC 20 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.
Funciones
Funciones Par e Impar
Una funci on f : Dom(f) = X R R se dice:
Par, s y s olo si,
_
_
_
x X = x X
f(x) = f(x)
Impar, s y s olo si,
_
_
_
x X = x X
f(x) = f(x)
Ejemplo 7. Toda funci on f se puede escribir como suma de una
funci on par y una impar, f = f
i
+ f
p
.
FCFM. UdeC 21 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.
Funciones
Operaciones con funciones
Sean
f : Dom(f) R R, g : Dom(g) R R y
X = Dom(f) Dom(g).
Se denen las funciones:
Suma
f + g : X R; x X (f + g)(x) = f(x) + g(x).
Producto
fg : X R; x X (fg)(x) = f(x)g(x).
FCFM. UdeC 22 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.
Funciones
Cuociente
f/g : D R; x D (f/g)(x) = f(x)/g(x)
para D = X {x : g(x) = 0.}
Producto por Escalar ( R)
f : Dom(f) R; x Dom(f) (f)(x) = f(x).
FCFM. UdeC 23 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.
Funciones
Funci on Compuesta
Sean
f : Dom(f) R R, g : Dom(g) R R y
X =
_
x Dom(f) : f(x) Dom(g)
_
.
Cuando X = , se dene la funci on compuesta de f y g, en
notaci on g f, por:
g f : X R
x
_
g f
_
(x) = g(f(x))
FCFM. UdeC 24 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.
Funciones
Funci on Inversa
Denici on. Sea f : Dom(f) R una funci on inyectiva.
La funci on
g : Rec(f) R Dom(f), x y = g(x),
denida por:
x Rec(f) : y = g(x) y Dom(f) : x = f(y).
se llama funci on inversa de f y se denota por g = f
1
.
FCFM. UdeC 25 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.
Funciones
Con la notaci on dada: si f : Dom(f) R es una funci on
inyectiva. Entonces, su funci on inversa es la funci on
f
1
: Rec(f) R Dom(f), x y = f
1
(x),
tal que
x Rec(f) : y = f
1
(x) y Dom(f) : x = f(y).
Por ejemplo, la restricci on,
f : [0, +[R x f(x) = x
2
1 de la funci on dada en
el ejemplo 3) es inyectiva. Luego, tiene funci on inversa f
1
denida por
FCFM. UdeC 26 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.
Funciones
f
1
: [1, +[, [0, +[, x y = f
1
(x) con
y = f
1
(x) x = y
2
1, x [1, +[, y [0, +[.
De donde se tiene que x = y
2
1 y =

x + 1. Es decir,
la funci on inversa es
f
1
: [1, +[, [0, +[, x f
1
(x) =

x + 1.
FCFM. UdeC 27 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.
Funciones
Algunas propiedades de la funci on inversa
1. x Rec(f) : f(f
1
(x)) = x,
y Dom(f) : f
1
(f(y)) = y.
2. Si una funci on f admite inversa entonces, esta es unica.
3. Sean g : A B y f : B C dos funciones
inversibles. Entonces f g : A C es inversible y se
tiene que:
(f g)
1
= g
1
f
1
.
4. Los gr acos de f y f
1
son sim etricos con respecto a la recta
y = x.
FCFM. UdeC 28 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.

You might also like