UNIVERSIDAD DE CONCEPCION

Facultad de Ciencias Fsicas y Matematicas

Introduccion a la Matematica Universitaria.

520145

Captulo 5. Funciones.

FCFM. UdeC 1. ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.

 Funciones

Definicion de RELACION

Dados dos subconjuntos arbitrarios A y B no vacos, una

relacion binaria R es una correspondencia entre los
elementos de A y B , la cual se representa por un
subconjunto de pares ordenados R, R A B .
Si (a, b) R, entonces diremos que a esta relacionado con b y
escribiremos aRb, se tiene:

aRb (a, b) R
Ejemplo 1. R = {(x, y) : y 2 = x + 1} define una relacion R,
en este caso

aRb (a, b) R b2 = a + 1.
FCFM. UdeC 2. ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.
 Funciones

Para la relacion R definimos:

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) R representada por R = {(1, 1), (2, 1), (3, 1)} es una

relacion. 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 R definida 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) R definida 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

Definicion de FUNCION. Dada una relacion R representada por

R A B , diremos que R es una funcion de A en B , si y solo
si:
x A, ! y B : (x, y) R

Notacion: xRy se escribira y = f (x) y la funcion se

denota por:

f : A B, x 7 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 notacion se tiene que:

y (variable dependiente) es la IMAGEN de x a traves 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) A B : y = f (x)}.

FCFM. UdeC 6. ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.

 Funciones

Ejemplo 3.

a) La relacion R = {(x, y) : y = x2 1} es funcion.

En efecto, x R, x2 1 es unico en R. Es decir,
x R, !y = x2 1 R. En consecuencia, podemos
escribir R en la forma f : R R, x 7 y = x2 1.
Mas simple aun, podemos denotar la funcion por:

f (x) = x2 1, x R.

b) La relacion R = {(x, y) : y 2 = 4x} no es funcion.

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 funcion y X A.

La imagen de X por f se define 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 funcion e Y B .
La pre-imagen (o imagen recproca) de Y por f se define 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 funcion del ejemplo 3) se tiene:

i) Su dominio es Dom(f ) = {x : y = x2 1 R} = R.
ii) Su Recorrido es:

Rec(f ) = f (A) = {y R : y = x2 1, x R} = [1, +[.

2

En efecto y = x 1 |x| = y + 1 y 1.

iii) La Imagen f ([0, 2]) del intervalo [0, 2] es

f ([0, 2]) = {y [1, +[: y = x2 1, 0 x 2} = [1, 3].

En efecto, y= x2 1 x2 = 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 = x2 1, 0 y 2}
= {x R : 0 x2 1 2}.

x2 1 2 1 x2 3 |x| 1 y
Ahora, 0

|x| 3. En consecuencia,

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

Ademas, 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 funcion, 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 )
S S
4. f (X X) = f (X) f (X)
S S 1
5. f (Y Y ) = f (Y ) f (Y )
1 1

T T
6. f (X X) f (X) f (X)
T T 1
7. f (Y Y ) = f (Y ) f (Y )
1 1

8. f 1 (f (X)) X
FCFM. UdeC 11 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.
 Funciones

Funcion Sobreyectiva

Una funcion f : A B es sobreyectiva si y solo si,

f (A) = B, (es decir, Rec(f ) = B.)

Equivalentemente,

f (A) = B y B, x A : f (x) = y

o bien, en terminos de resolver una ecuacion:

f (A) = B y B : la ecuacion f (x) = y admite solucion en A.

: R R, f (x) = x2 1, del
Por ejemplo, la funcion f
ejemplo 3) no es sobreyectiva, pues f (R) = [1, +[6= R.

FCFM. UdeC 12 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.

 Funciones

Son equivalentes:

1. La funcion f : A B es inyectiva.
2. y f (A), ! x A : f (x) = y .
3. x1 , x2 A : f (x1 ) = f (x2 ) = x1 = x2 .
4. x1 , x2 A : x1 6= x2 = f (x1 ) 6= f (x2 ).
5. y f (A): la ecuacion f (x) = y tiene solucion unica en A.
Ejemplo 4.La funcion f (x) = 3x 5, x R es inyectiva.

FCFM. UdeC 13 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.

 Funciones

Observacion: De la definicion: f es una funcion no inyectiva si y

solo si

x, a A : x 6= a f (x) = f (a).
La funcion f del ejemplo 3) no es inyectiva. En efecto,
x = 2, a = 2 R : x 6= a f (2) = f (2) = 3.

Funcion Biyectiva. Una funcion f : A B es biyectiva si y solo

si f es inyectiva y sobreyectiva, es decir:

f es biyectiva y B, ! x A : f (x) = y
si y solo si, la ecuacion f (x) = y tiene solucion unica en A.
La funcion 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 definiciones anteriores se tiene que:

n o
Dom(f ) = x R : ! y R f (x) = y .
n o
Rec(f ) = f (x) R : x Dom(f ) .
n
o
Gr(f ) = x, f (x) R R : x Dom(f ) . Es un
subconjunto de R2 y lo podemos representar por su grafica en
el plano.

FCFM. UdeC 15 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.

 Funciones

Ejemplo 5. Definir, ver si son biyectivas y graficar las funciones

usuales: constante, recta, valor absoluto, raz cuadrada.

Igualdad de Funciones

Sean f : Dom(f ) R R y g : Dom(g) R R :

Dom(f ) = Dom(g)
f = g

x Dom(f ) : f (x) = g(x)
Ejemplo 6. Defina el dominio para las funciones definidas por

1 x+1
f (x) = , x Af ; g(x) = , x Ag .
x1 x1
Diga si estas funciones son iguales y en que conjunto.
FCFM. UdeC 16 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.
 Funciones

Restriccion de una funcion.

Sean f : Dom(f ) R R y C Dom(f ). Una

funcion.

g : C R, x 7 y = g(x) = f (x)

se denomina restriccion de f a C y se escribe g = f C .

Nota: Generalmente, la restriccion g = f C se designa por la
misma f , entendiendo que se trata de una restriccion.

FCFM. UdeC 17 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.

 Funciones

Para la funcion del ejemplo 3), si consideramos el conjunto

C = [0, +[, entonces la funcion

g : [0, +[ R, x = g(x) = x2 1

es una restriccion de f al conjunto C. Notar que esta rectriccion es

inyectiva y si restringimos su codominio a [1, +[ la definimos
por

g : [0, +[ [1, +[, x 7 g(x) = x2 1

y es sobreyectiva y con ello tambien biyectiva.

FCFM. UdeC 18 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.

 Funciones

Funciones crecientes

Una funcion f se dice estrictamente :

creciente, si y solo si,

x1 , x2 X : x1 < x2 = f (x1 ) < f (x2 )

decreciente, si y solo si,

x1 , x2 X : x1 < x2 = f (x1 ) > f (x2 )

FCFM. UdeC 19 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.

 Funciones

Nota.
Si x1 , x2 X : x1 < x2 f (x1 ) f (x2 ) se dice que f es
monotona creciente (no decreciente).
Analogamente, si x1 , x2 X : x1 < x2 f (x1 ) f (x2 )
diremos que f es monotona decreciente (no creciente).

Proposicion.

Toda funcion estrictamente creciente (decreciente ) es inyectiva.

FCFM. UdeC 20 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.

 Funciones

Funciones Par e Impar

Una funcion f : Dom(f ) = X R R se dice:

x X = x X
Par, s y solo si,
f (x) = f (x)

x X = x X
Impar, s y solo si,
f (x) = f (x)
Ejemplo 7. Toda funcion f se puede escribir como suma de una
funcion par y una impar, f = fi + fp .

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 definen las funciones:

Suma

f +g :X R; x X 7 (f + g)(x) = f (x) + g(x).

Producto

fg :X R; x X 7 (f g)(x) = f (x)g(x).

FCFM. UdeC 22 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.

 Funciones

Cuociente

f /g :D R; x D 7 (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 ) 7 (f )(x) = f (x).

FCFM. UdeC 23 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.

 Funciones
Funcion Compuesta

Sean

f : Dom(f ) R R, g : Dom(g) R R y
 
X= x Dom(f ) : f (x) Dom(g) .

Cuando X 6 , se define la funcion compuesta de f y g , en

=
notacion g f , por:

gf :X R


x 7 g f (x) = g(f (x))

FCFM. UdeC 24 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.

 Funciones

Funcion Inversa

Definicion. Sea f : Dom(f ) R una funcion inyectiva.

La funcion

g : Rec(f ) R Dom(f ), x 7 y = g(x),

definida por:

x Rec(f ) : y = g(x) y Dom(f ) : x = f (y).

se llama funcion inversa de f y se denota por g = f 1 .

FCFM. UdeC 25 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.

 Funciones

Con la notacion dada: si f : Dom(f ) R es una funcion

inyectiva. Entonces, su funcion inversa es la funcion

f 1 : Rec(f ) R Dom(f ), x 7 y = f 1 (x),

tal que

x Rec(f ) : y = f 1 (x) y Dom(f ) : x = f (y).

Por ejemplo, la restriccion,

f : [0, +[ R x 7 f (x) = x2 1 de la funcion dada en
el ejemplo 3) es inyectiva. Luego, tiene funcion inversa f 1
definida por

FCFM. UdeC 26 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.

 Funciones

f 1 : [1, +[, [0, +[, x 7 y = f 1 (x) con

y = f 1 (x) x = y 2 1, x [1, +[, y [0, +[.

2

De donde se tiene que x = y 1 y = x + 1. Es decir,
la funcion inversa es

f 1
: [1, +[, [0, +[, x 7 f 1
(x) = x + 1.

FCFM. UdeC 27 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.

 Funciones

Algunas propiedades de la funcion inversa

1. x Rec(f ) : f (f 1 (x)) = x,
y Dom(f ) : f 1 (f (y)) = y .
2. Si una funcion 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 graficos de f y f 1 son simetricos con respecto a la recta

y = x.

FCFM. UdeC 28 . ACQ/MOS/GAJ/MWC/LNB/MSS/FLG/ESF.