Está en la página 1de 2

Composicin de Funciones

Dadas las funciones

g, f og

es su composicin y se define mediante:

(
y

f o g ) ( x) = f ( g ( x) )

El dominio de

g ( x)

f og

es el conjunto de todos los nmeros x tales que x pertenecen al dominio de

pertenece al dominio de

Dom ( f o g ) = { x Dom ( g ) / g ( x ) Dom ( f ) }


Figura 1

f g

(
f

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

Rgo (g) g

Dom

f g)

g ( x)
Dom (f)

f ( g ( x) )

Dom (g)

Rgo (f)

Observar que para que se pueda tener la compuesta de

f o g , el rango g

debe intersectar al dominio de

Ejemplo 1 Sean:

A = { 1, 2,3} , B = { a, b, c, d } , C = { 5, 6}
Resulta que

y las funciones

f :A B

g : B C , definidas as:

{ ( 1, a ) , ( 2, b ) , ( 3, d ) } g = { ( a,5 ) , ( b,5 ) , ( c,5 ) , ( d , 6 ) }


f = g f
(x)
1 2 3 a b c d

go f =

{ ( 1,5) , ( 2,5) , ( 3, 6 ) }

La imagen de f se intercepta con el dominio de g

5 6

Debe notarse que no coexisten

ya que en este caso el rango de g es C y el dominio de f es A. Ambas proposiciones existen si C A

go f

f og ,

g(x)

Composicin de Funciones

Ejemplo 2 Sean las funciones:

f : tal que

f x = 2 x

g :
Entonces: 1.

tal que

g x = x 2

g f : est definida por:

g f x = g f x = g 2 x = 2 x = 4 x2
2.

f g : esta definida por:

f g x = f g x = f 2 x 2 = 2 x2
Ambas funciones compuestas, a pesar de tener el mismo dominio y rango, son distintas, por diferir en la ley de asignacin. Asociatividad de la Composicin Sean

f : A B ,

g :BC

h:C D

Entonces se verifica:

h g f = h g f
Las dos composiciones son funciones de

en

Interpretamos la situacin en el siguiente diagrama:

go f A x f B f ( x) g C g ( f ( x) ) ho g f : A B ( ho g) o f : A D h o g : B D h D h g ( f ( x) )

Con relacin al primer miembro de la igualdad, se observa que:

Y para el segundo miembro de la igualdad: Siendo

( ho g) o f

h o ( g o f ) , dos aplicaciones (funciones) con el mismo dominio y codominio.

go f : A C ho( g o f ) : A D h : C D