1

C
C
O
O
M
M
P
P
O
O
S
S
I
I
C
C
I
I

N
N


D
D
E
E


F
F
U
U
N
N
C
C
I
I
O
O
N
N
E
E
S
S


( (T TE EX XT TO O P PA AR RA A U UN N O OB BJ JE ET TO O D DE E A AP PR RE EN ND DI IZ ZA AJ JE E) )







I IN NG G. . A AL LE EJ JA AN ND DR RA A V VA AR RG GA AS S E ES SP PI IN NO OZ ZA A D DE E L LO OS S M MO ON NT TE ER RO OS S
I IN NG G. . S SE ER RG GI IO O C CA AR RL LO OS S C CR RA AI IL L C CO OR RZ ZA AS S

2

C CO OM MP PO OS SI IC CI I N N D DE E F FU UN NC CI IO ON NE ES S

La composicin es una operacin entre funciones que se establece de la
siguiente manera:


Dadas dos funciones f y g , se define como la composicin de la funcin
f con la funcin g , a la funcin denotada f g ( lase f composicin g ),
cuya regla de correspondencia es

( ) [ ]
( ) ( ) f g x f g x =

donde su dominio est representado por el conjunto

{ }
; ( )
f g f g
D x x D g x D =

Para obtener la regla de correspondencia de la funcin f g , segn la definicin
anterior, basta con sustituir la funcin g en la variable independiente de la
funcin f .

As por ejemplo, sean las funciones
2
( ) 4 1 f x x = y ( ) g x x = , entonces,
la regla de la funcin f g se obtiene mediante la siguiente sustitucin


( ) [ ]
( ) ( ) f g x f g x = , por lo que

( ) ( ) f g x f x

=

, entonces

( ) ( ) 4 1 f g x x =



3


Del mismo modo resolvamos el siguiente ejemplo:

Escribir en el parntesis la letra de la columna de la derecha que corresponda a
la regla de correspondencia de la composicin indicada, para



2
( ) 1 f x x = + , ( ) g x x = y
1
( )
1
h x
x
=

1).-
( ) ( ) f g x = ............ ( ) a)
2
1 x +

2).-
( ) ( ) g h x = ........... ( ) b) 1 x +

3).-
( ) ( ) h g x = ............ ( ) c)
1
1 x


4).-
( ) ( ) g f x = .............. ( ) d)
2
2 x +

5).-
( )
( ) f h x = .............. ( ) e)
1
x

f)
1
1 x

g) 1 x +




4


Para entender mejor cmo se obtiene el dominio y el recorrido de la
composicin, recurramos a la notacin funcional, pues la definicin se expresa
en estos trminos.


Notacin Funcional.- Es una simbologa que sirve para representar
sucintamente una funcin, se expresa de la siguiente manera


( ) y w x =

Donde:
w Representa la regla de correspondencia de la funcin.
x Indica el dominio de la funcin w, o bien, a la variable independiente.
( ) w x Representa al recorrido de la funcin w, indica los valores de la variable
dependiente.


Entonces, en estos trminos, el significado de

[ ]
( ) f g x

Es que el dominio de la funcin resultante, es un subconjunto, propio o impropio,
del dominio de la funcin g , y que su recorrido es un subconjunto propio o
impropio de la funcin f .


De lo anterior, es importante tener presente que la condicin para que se pueda
efectuar esta operacin es el cumplimiento de


g f
R D





5


A partir de la condicin anterior, indicar si es posible o no obtener la composicin
entre las funciones que se indican:

Si:
2
( ) g x x =
( ) 1 f x x =
2
1
( )
1
h x
x
=
+

2
( ) 1 ( 2 ) i x x =
2
1
( ) j x
x
=
( ) k x x =

Entonces:
a) f g ; no es posible
b) g f ; s es posible
c) i h ; no es posible
d) h i ; s es posible
e) j k ; s es posible
f) k j ; no es posible
g) k g ; s es posible
h) g k ; s es posible
i) f j ; s es posible
j) i g ; no es posible
6


Para visualizar mejor cmo se obtiene el dominio y el recorrido de la funcin
composicin f g , recurramos a su representacin en un diagrama de Venn.











Podemos ver que el
f g
D

( dominio de f g ) lo formarn aquellos elementos
del
g
D para los cuales, al sustituirlos en la funcin g , el resultado pertenece al
conjunto
g f
R D .



Para obtener el
f g
R

( recorrido de f g ), analizamos los valores que
obtenemos de la funcin f , cuando la valuamos en todos los elementos del
conjunto
g f
R D .





7

Ejemplo.- Si ( ) 1 f x x = + y
2
( ) 1 g x x = , obtener la funcin f g ,
y trazar su grfica.

Si hacemos la representacin correspondiente en un diagrama de Venn






Si adems trazamos las grficas de las funciones involucradas:






El
f g
D

lo formarn aquellos elementos del
g
D tales que al valuarlos en la
funcin g , se encuentren en el conjunto
[ )
, 1 . Podemos darnos cuenta
que ese conjunto es IR.
8



El
f g
R

estar formado por aquellos valores que se obtienen de sustituir en la
funcin f , los elementos del conjunto
[ )
, 1 . El resultado de esta
sustitucin es el conjunto ( ]
, 0


Al obtener la regla de correspondencia de la funcin f g queda

[ ] ( )
2 2 2
( ) 1 1 1 f g x f x x x = = + =






De lo analizado antes, conclumos que la regla de correspondencia de la funcin
f g no puede ser x , sino
2
x cuya grfica ser.













9


Ejemplo.- Si ( ) f x x = y
2
( ) 1 g x x = , obtener la funcin f g , y
trazar su grfica.



Si hacemos la representacin en un diagrama de Venn.








Sea
( ]
,
g f
R D = 0


El dominio de f o g lo formarn aquellos elementos del dominio de g tal que
al sustituirlos en ella, se obtienen ( ]
, 0 ; vemos que esos elementos son
( ] [ )
, , 1 1 .


10



El recorrido de f o g estar formado por todos los valores que se obtienen al
sustituir cada elemento del conjunto ( ]
, 0 en la funcin f ; el resultado
que se obtiene es
[ )
, 0 .


La regla de correspondencia de la funcin f g est dada por

( ) [ ]
2 2
( ) ( ) 1 1 f g x f g x x x = = =

, cuya grfica es:

















11


Ejemplo.- Para las funciones del ejercicio anterior obtener g f , as como
trazar su grfica.


Sea
[ )
,
g f
R D = 0 , entonces el
( ]
,
g f
D = 0

y el
( ]
,
g f
R = 1

, entonces
( ) ( ) 1 g f x g x x

= = +

cuya
grfica es




Como se pude observar la operacin composicin no cumple la conmutatividad
f g g f

salvo casos particulares.