FUNCIONES

Uno de los ms importantes conceptos de la matemtica se reere a un tipo

especial de relaciones, entre todos los elementos de un conjunto A y elementos
de un conjunto B, llamadas funciones de A en B.
Una funcin expresa la idea de una cantidad que depende de otra, o que est
determinada por sta. Por ejemplo, el rea de un cuadrado depende de la
longitud de su lado; si se conoce la longitud del lado del cuadrado, el rea
del cuadrado est completamente determinado. As, se dice que el rea del
cuadrado est en funcin de su lado.
1. DEFINICIN
Sean A y B dos conjuntos. Una relacin f de A en B, que tiene como
Dom(f ) = A y que verica la proposicin: [8x 2 A; 9!y 2 B : (x; y) 2 f ],
es llamada funcin de A en B
2. DEFINICIN EQUIVALENTE
Un subconjunto f de un producto cartesiano A B es llamada funcin
de A en B si para todo x 2 A, existe un nico elemento y 2 B tal que
(x; y) 2 f .
3. OBSERVACIONES
3.1. En la denicin de funcin, al conjunto A se le llama conjunto de
partida, al conjunto B se le llama conjunto de llegada, a la primera
componente x del par ordenado (x; y) se le llama preimagen y a la
segunda componente y del par ordenado (x; y) se le llama imagen
de x, por lo cual se le denota por y = f (x).
3.2. A partir de la denicin de funcin, las relaciones que tienen opciones ha ser denominadas funciones son aquellas relaciones que
tienen como dominio a todo el conjunto de partida.
3.3. Si f es una funcin de A en B, cada elemento x del conjunto A
tiene una unica imagen f (x) en B.
3.4. Si f es una funcin de A en B, un elemento y del conjunto B tiene
al menos una preimagen nnguna preimagen en A. En el caso
que y 2 B no tenga preimagen, es tiene que: 8x 2 A; (x; y) 2
= f.
1

4. EJEMPLO
Dados los conjuntos A = f1; 2; 3; 4g y B = fa; b; cg, entonces
A B = f(1; a); (1; b); (1; c); (2; a); (2; b); (2; c); (3; a); (3; b); (3; c); (4; a); (4; b); (4; c)g.
Observe que:
R1 = f(1; c); (2; a); (2; b); (2; c)g

R2 = f(1; b); (1; c); (2; a); (3; c); (4; a)g ,
R3 = f(3; b); (1; c); (2; a); (4; a)g
son subconjuntos de A B, entonces R1 , R2 y R3 son relaciones de
A en B. Puesto que el Dom(R1 ) = f1; 2g es distinto al conjunto de
partida A, R1 no es funcin de A en B. En R2 , el Dom(R2 ) = A pero
la preimagen 1 2 A tiene dos imgenes b y c, por lo tanto, se concluye
que R2 no es funcin de A en B. Puesto que Dom(R3 ) = A y cada
preimagen tiene una nica imagen en B, entonces R3 es una funcin
de A en B.
5. DOMINIO Y RECORRIDO DE UNA FUNCIN
Sean A y B conjuntos. Entonces tenemos las siguientes deniciones:
5.1. Si f una funcin de A en B, a partir de la denicin de funcin, el
dominio de f es el conjunto de partida, es decir Dom(f ) = A. En
el caso que nos especiquen el dominio de la funcin trabajamos
con ese conjunto como dominio de la funcin. Y en el caso de
que no nos especiquen el dominio de la funcin, tomamos como
dominio el mayor conjunto para los cuales tiene sentido la regla
de correspondencia, es decir el conjunto de todas las preimgenes
x para las cuales sus respectivas imgenes f (x) pertenezcan al
respectivo conjunto de llegada.
5.2. Si f una funcin de A en B, el recorrido de f se dene como el
conjunto de las imgenes de todos los elementos de A por f , es
decir,
rec(f ) = ff (x) : x 2 Ag B.

6. IGUALDAD DE FUNCIONES
Sean f y g dos funciones con el mismo conjunto de llegada. Diremos
que f y g son iguales siempre que ellas tengan el mismo dominio y la
misma regla de correspondencia para sus imgenes, es decir,
8
< Dom(f ) = Dom(g) = A
(f = g) ()
:
f (x) = g(x); 8x 2 A
7. TIPOS DE FUNCIONES
Son funciones f de A en B, las cuales satisfacen una condicicn adiciconal, por lo que reciben un nombre particular. Recuerde que A =
Dom(f ).

7.1. FUNCIN INYECTIVA ( UNO A UNO UNIVALENTE)

Una funcin f de A en B es llamada inyectiva si cada elemento
del rec(f ) es imagen de un nico elemento de A. Simblicamente,
2 distintos
3
z}|{
f es inyectiva () 48 a; b 2 A; f (a) 6= f (b)5 :
Equivalentemente,

f es inyectiva () [8a; b 2 A, [f (a) = f (b) =) a = b]] :

OBSERVACIONES
A partir de la denicin de funcin inyectiva y siendo A R :
a) Toda funcin de la forma f : A ! R , es inyectiva si no contiene
dos pares ordenados distintos con la misma segunda componente.
b) Una funcin de la forma f : A ! R , es inyectiva si toda recta
horizontal que corta a la grca de f lo hace en un nico punto.
7.2. FUNCIN SOBREYECTIVA
( SOBRE SURYECTIVA EPIYECTYIVA)
Una funcin f de A en B es llamada sobreyectiva si el rec(f )
coincide con el conjunto de llegada B. Simblicamente,
f es sobreyectiva () [rec(f ) = B] :
3

Equivalentemente,
f es sobreyectiva () [8b 2 B, 9a 2 A : b = f (a)] :
OBSERVACIN
De la denicin de funcin sobreyectiva, se sigue que toda funcin
de la forma f : A ! rec(f ) , siempre ser sobreyectiva, pues el
rec(f ) coincide precisamente con el conjunto de llegada.
7.3. FUNCIN BIYECTIVA
Una funcin f de A en B es llamada biyectiva si ella es, al mismo
tiempo, inyectiva y sobreyectiva.
8. INVERSA DE UNA FUNCIN
Toda funcin f de A en B tiene una relacin inversa de B en A
denotada por f 1 , pero f 1 no necesariamente es una funcin.
Por ejemplo, para A = f1; 2; 3g y B = f6; 7; 8; 10g, f = f(1; 6); (2; 10); (3; 10)g
es una funcin de A en B. Sin embargo, su relacin inversa f 1 =
f(6; 1); (10; 2); (10; 3)g no es una funcin, pues se tienen dos pares distintos con la misma primera componente: (10; 2); (10; 3).
8.1. OBSERVACIONES
a) Dada una funcin de la forma f : A ! B. Su relacin inversa
f 1 : rec(f ) ! A es funcin si y solamente si f es inyectiva.
b) Toda funcin inyectiva f : A ! rec(f ) tiene funcin inversa de
la forma f 1 : rec(f ) ! A, la cual resulta ser biyectiva, as como
f.
8.2. EJEMPLO
Por ejemplo, para A = f1; 2; 3g y B = f6; 7; 8; 10g, f = f(1; 6); (2; 8); (3; 10)g
es una funcin de A en B. Adems, f es inyectiva, pues no contiene
dos pares ordenados distintos con la misma segunda componente,
y tenemos que rec(f ) = f6; 8; 10g. Luego, su relacin inversa
f 1 = f(6; 1); (8; 2); (10; 3)g es una funcin, con Dom(f 1 ) =
rec(f ) y rec(f 1 ) = A, esto es, f 1 : rec(f ) ! A.

8.3. PROPIEDAD FUNDAMENTAL DE LAS FUNCIONES INVERSAS

Sea f : A ! B una funcin inyectiva y sea f 1 : rec(f ) ! A su
inversa, se verica que:
1

Dom(f
rec(f

rec(f )

Dom(f ).

9. COMPOSICIN DE FUNCIONES
Sea f una funcin de A en B y sea g una funcin de C en D.
9.1. COMPOSICIN DE f y g (en ese orden)
La funcin compuesta de f y g, denotada por g f , es una
funcin de A en D que no siempre existe. A continuacin damos
la condicin para la existencia de la funcin compuesta g f ,
Existe g f () Dom(g) \ rec(f ) 6= .
Dominio de la funcin compuesta g f :
Dom(g f ) = fx 2 Dom(f ) : f (x) 2 Dom(g)g :
Regla de correspondencia de la funcin compuesta S

R:

(g f )(x) = g(f (x)):

Funcin compuesta g f :
g f = f(x; y) 2 A

D : y = g(f (x)), x 2 Dom(g f )g ;

equivalentemente,
g f = f(x; g(f (x))) 2 A

D : x 2 Dom(g f )g :

9.2. COMPOSICIN DE g y f (en ese orden)

La funcin compuesta de g y f , denotada por f g, es una
funcin de C en B que no siempre existe. A continuacin damos
la condicin para la existencia de la funcin compuesta f g;
Existe f

g () Dom(f ) \ rec(g) 6= .
5

Dominio de la funcin compuesta f

Dom(f

g:

g) = fx 2 Dom(g) : g(x) 2 Dom(f )g :

Regla de correspondencia de la funcin compuesta f

(f
Funcin compuesta f
f

g = f(x; y) 2 C

g:

g)(x) = f (g(x)):
g:
B : y = f (g(x)), x 2 Dom(f

g)g ;

equivalentemente se tiene,
f

g = f(x; f (g(x))) 2 A

D : x 2 Dom(f

9.3. OBSERVACIN
En general, en el caso que existan las funciones f
g f 6= f

g)g :

gyf

g,

9.4. PRPOPIEADES
Sean f , g, y h funciones, tal que las composiciones sean posibles
y las inversas respectivas existan, entonces:
a) (g f ) 1 = f 1 g 1
b) f (g h) = (f g) h
c) (f 1 f )(x) = x, 8x 2 Dom(f )
d) (f f 1 )(x) = x, 8x 2 Dom(f 1 )

GUA DE EJERCICIOS

1: Sean los conjuntos A = fa; bg y B = f1; 2g, determine todas las funciones
de A en B.
2: Sean los conjuntos A = fa; b; cg y B = f1; 2g, determine todas las
funciones de A en B.
3: Sean A = f2; 4; 6; 8; 10g, B = fa; b; c; d; eg ; cules de los siguientes
conjuntos denen funciones de A en B?:
f = f(2; a); (4; c); (10; c); (8; e); (6; e)g
g = f(10; a); (6; b); (2; a); (6; e); (4; d)g
h = f(6; b); (4; a); (8; d); (10; e)g
r = f(10; b); (8; b); (4; b); (2; b); (6; b)g
4: Si X = f1; 2; 3; 4g, determine cules de los siguientes conjuntos representan una funcin en X.
f = f(3; 2); (4; 4); (2; 1); (1; 4); (2; 3)g
g = f(1; 4); (4; 4); (3; 2); (1; 4); (2; 1)g
h = f(2; 1); (4; 2); (3; 5); (1; 2)g
r = f(3; 3); (2; 4); (1; 2)g
5: Hallar los valores de a y b para que cada uno de los conjuntos de pares
ordenados sea una funcin, y determinar la funcin en cada caso:
f = f(1; 8); (2; 3); (1; a2 + b2 ); ( 1; a + b); (a2 + b; a); (b + a2 ; b)g
7

g = f(4; 3); ( 5; 3); (4; a2

h = f( 1; a + b); (a2

b; 2b

b2 ); ( 5; a + b); (a2 + b; a); (b2 + a2 ; b)g

a2 ); (5; a

r = f(4; a); (2; 5a); (7; 2a2 + 1); (4; 2a

2b); ( 1; 2)g
1)g

6: Sea R = f(1; a); (2; b); (1; d); (4; a); (5; a); (4; c)g una relacin de A =
f1; 2; 3; 4; 5g en B = fa; b; c; d; eg ; determine la menor cantidad de pares
ordenados que se deben agregar o quitar a R, para que la nueva relacin
resultante sea una funcin de A en B.
7: Determinar cules de las siguientes correspondencias representan a una
funcin. Adems, en cada caso establezca el conjunto de partida y el correspondiente conjunto de llegada.
a) El peso de una persona.
b) El nmero de hijos de un matrimonio.
c) La matricula de un auto.
d) El deporte que practica una persona.
8: Sean los cunjuntos A = f1; 2; 3g y B f0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10g, dena
por extensin una funcin de A en B, tal que asigna a cada elemento de su
dominio el cuadrado de el disminuido en 1.
9: Determinar cules de las siguientes conjuntos representan un a funcin.
En el caso de que sea una funcin encuentre el dominio, recorrido y bosqueje
su grco. Y en los casos que no sean una funcin establezaca los cambios
necesarios de tal manera que se obtenga una funcin a partir de ellas.
f = f(x; y) 2 R

N:y

g = f(x; y) 2 N

Q : 5y = 2x + 4g

h = f(x; y) 2 Z

Z : y = 6x

2x =

1g

13g
8

r = f(x; y) 2 Z

Z:x

yg

t = f(x; y) 2 R

R:x

yg

10: Sean los cunjuntos A = f1; 2; 3g y B f1; 2; 3; 4g. Si f = f(3; 1); (x; 3); (2; 3)g
es una funcin de A en B, g = f(3; 1); (y; z); (1; 3)g es una funcin inyectiva
de A en A, y si h = f(1; 1); (2; w); (3; 2); (4; 2)g es una funcin sobreyectiva
de B en A, determinar el valor de yx (x w):
11:

Determinar si las siguientes funciones son inyectivas:

m(x) =

5x 1
3

n(x) = x2

6x + 8, x 2 [3; +1)

f (x) = x3

5, x 2 R

g(x) =

x 1
,
x+2

h(x) = 1

x 6=

x2

2
4x

5, x 2 ( 1; 1]

r(x) = x2

4x + 5
p
p(x) = x + x2 + 1; x > 1:
p
q(x) = 2x + 4 + x2 ; x 2 ( 3; 2) :
u(x) =

1
,
jxj 1

x2R

f 1; 1g

p2 ;
x
2

t(x) =
8
>
>
<

x 2 (4; +1)
x ; x 2 ( 1; 0]
4x2 +1
;
x2
2

x<0
4x x ; x 2 [0; 2]
s(x) =
2 x; x 2 (2; 3]
>
>
:
x 2
; x>3
3 x
12:

Determinar si las siguientes funciones son sobreyectivas:

9

1)3 + 5

t : R ! R; tal que t(x) = (x

k : R ! R; tal que k(x) = x2 + 2

f : [0; 2) ! ( 1; 0] ; tal que f (x) =
1
jxj 2

g : [0; +1) ! R; tal que g(x) =

h : R ! R; tal que h(x) =

8 p
< x
:

m : A ! A; tal que m(x) =

x
x 2

1; x 2 [1; +1)

1 x
;
4

x 2 ( 1; 1)

8
< x + 1; x 6= 6
:

1; x = 6

, donde A = f1; 2; 3; 4; 5; 6g.

13: Determinar, en cada caso, el conjunto B para que las funciones sean
sobreyectivas:
f : ( 1; 0] ! B; tal que f (x) =
g:R

x+1
x2 1

f5g ! B; tal que g(x) =

x2 25
x 5

14: Determinar, si existen, los valores a y b para que las siguientes funciones
sean biyectivas:
f : [2; 8) ! [a; b) ; tal que f (x) = x2 4x + 7
p
g : [a; b] ! [ 1; 5] ; tal que g(x) = 3 x 1
h : [2; 5] ! [2; 5] ; tal que h(x) =

ax+b+1
ax+b

r : [1; 4] ! [ 2; 5] ; tal que r(x) =

t : [b; 2] ! a;
15:

1
24

ax+b+1
ax+b

; tal que t(x) =

1
6x+6

En cada caso, si existen, determinar las funciones f

10

g y g f:

a) f = f(2; 9); (3; 6); (0; 5); (1; 2)g, g = f(7; 1); (1; 2); (4; 3)g
b) f = f(1; 0); (3; 3); ( 1; 4); (2; 1)g, g = f(1:

2); (3; 9); (4; 6); (12; 7)g

c) f = f(0; 4); ( 2; 1); (5; 4); (2; 5); (4; 8)g, g = f(2; 4); (5; 3); (1; 2); (3; 3)g
d) f = f(0; 1); (1; 2); (2; 3); (4; 3); (5; 2); (0; 1)g, g = f(6; 7); (5; 4); (4; 3); (2; 4); (1; 4); (0; 7)g
Determinar, si existen, las funciones f
p
f = (x; x 1) : x 2 [1; +1)

g y g f para

16:

g = f(2; 5); (0; 1); ( 4; 6); (8; 3); ( 7; 10)g :

17:

Determinar, si existen, las funciones f

f = f(x; y) 2 Z

Z : y = 2x

g y g f para

1g

g = f(0; 3); (1; 4); (2; 0); (3; 8); ( 1; 1)g

18:

Determinar, si existen, las funciones f

f = (x

g y g f para

2)2

g = f(1; 2); (4; 1); (9; 3)g

19: Determinar, si existen, las funciones f
f = x2 + 2; x 2 Z
g = f( 2; 0); ( 1; 3); (2; 1); (3 2); (4; 2)g

g y g f para

Determinar, si existen, las funciones f

g y g f para

20:

f = (8; 7); (4; 4); (5; 1); (3; 5); ( 2; 1); (

8 p
< x 1; x 2 [1; 6)
g=
: 1 x
; x 2 [ 3; 0]
4
11

3
; 6)
4

21: Sean A = f1; 2; 3; 4g, B = f1; 2; 3g y f = f(1; 3); (2; 1); (3; 1); (4; 2)g
una funcin de A en B. Determine, si es que existe, f f 1 .
22: Dadas f; g R R denidas por f (x) = x3 y g(x) = 2x + 5, determine:
f g, f 1 , g 1 , (f g) 1 .
23: Para cada una de las funciones f que se dan abajo, determine la funcin
inversa f 1 , en el caso que exista. En caso contrario, haga la restriccin
necesaria de modo que la inversa de f sea funcin.
a) f (x) = jxj
b) f (x) = x2 + 2
p
c) f (x) = x + 5
8
< x2 ; x 0
d) f (x) =
:
x 1; x < 0
8
(x 2)2 ; x 0
>
>
>
>
<
x + 4; x 2 [ 4; 0)
d) f (x) =
>
>
>
>
:
x 4; x < 4
24:

Si f : A ! B y g : B ! C son funciones biyectivas, demuestre que:

a) g f es biyectiva
b) (g f )

=f

12