Matemticas Discretas

TC1003

Funciones: Composicin
Departamento de Matemticas / Centro de Sistema Inteligentes

ITESM

Funciones: Composicin Matemticas Discretas - p. 1/11

 Composicin de Funciones

Sea f : X Y y g : Y Z funciones con el Composicion

Ejemplo 1
requisito de que rango de f Y. Definimos a partir Ejemplo 2
de f y de g una nueva funcin con dominio X y con Ejemplo 3
Ejemplo 4
codominio Z y que simbolizaremos por g f , Teorema 1
Teorema 2
g f : X Z Ejemplo 5

que se define de la siguiente manera:

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

La funcin g f se llamar al funcin composicin

de f con g.

Funciones: Composicin Matemticas Discretas - p. 2/11

 Composicion
X Y Z Ejemplo 1
Ejemplo 2
Ejemplo 3
g f Ejemplo 4
Teorema 1
Teorema 2
s f s g s Ejemplo 5
x f (x) (g f )(x)
=
g( f (x))
Y

Figura 1: Defincin esquemtica de la composicin g f : El

crculo magenta representa el rango de f .

Funciones: Composicin Matemticas Discretas - p. 3/11

 Ejemplo

Sean X = {1, 2, 3}, Y = {a, b, c, d}, Y = {a, b, c, d, e} y Composicion

Ejemplo 1
Z = {7, 8, 9}. Determine g f para f : X Y y Ejemplo 2
g : Y Z definidas por: Ejemplo 3
Ejemplo 4
Teorema 1
Teorema 2
x f (x) y g(y) x (g f )(x) Ejemplo 5

1 c a 8 1 g( f (1)) = g(c) = 9
2 b b 8 2 g( f (2)) = g(b) = 8
3 a c 9 3 g( f (3)) = g(a) = 8
d 9
e 9

Funciones: Composicin Matemticas Discretas - p. 4/11

 Ejemplo

Sean h : X Y y f : Z W funciones. Indique de Composicion

Ejemplo 1
la lista siguiente las condiciones suficientes para Ejemplo 2
que la funcin compuesta f h exista. Ejemplo 3
Ejemplo 4
1) rango de h codominio de f Teorema 1
Teorema 2
2) dominio de h = rango de f Ejemplo 5
3) rango de h rango de f
4) rango de h = codominio de f
5) rango de h dominio de f
6) codominio de h = dominio de f

Suficiente? Que implique lo que s es un

requisito:

rango de h dominio de f

Funciones: Composicin Matemticas Discretas - p. 5/11

 Ejemplo

Indique en qu caso existe g f : Composicion

Ejemplo 1
1.- Z Ejemplo 2
g Ejemplo 3
2 r W Ejemplo 4
3 r r1 Teorema 1
Teorema 2
X f Y 7 r r2 Ejemplo 5
1 r r3 8 r r3
2 r r4 9 r
3 r r10

Como
rango de f = {3} {2, 3, 7, 8, 9} = dominio de g
entonces s existe la composicin.

Funciones: Composicin Matemticas Discretas - p. 6/11

 2.- Composicion
Ejemplo 1
Ejemplo 2
Ejemplo 3
Y Ejemplo 4
X f r1 Teorema 1
Teorema 2
1 r r4
Ejemplo 5
2 r r5
g W
Z
3 r r6 r1
r10 1 r r2
6 r r3

Como
rango de f = {1, 5, 6} * {1, 6} = dominio de g
entonces no existe la composicin.

Funciones: Composicin Matemticas Discretas - p. 7/11

 Ejemplo

Para las funciones f : {4, 5, 6, 11} {1, 7, 12, 13} y Composicion

Ejemplo 1
g : {1, 7, 8, 12} {2, 3, 9, 10} dadas por las tablas Ejemplo 2
Ejemplo 3
x f (x) y g(y) Ejemplo 4
Teorema 1
4 7 1 2 Teorema 2
Ejemplo 5
5 12 7 2
6 7 8 9
11 1 12 3
Calcule:
a) (g f )(12) indefinido: 12 no est en dominio de (g f )
b) dominio g f = dominio de f = {4, 5, 6, 11}
c) (g f )1 (10) = {}
d) rango de g f = {2, 3}
e) (g f )1 (2) = {4, 6, 11}

Funciones: Composicin Matemticas Discretas - p. 8/11

 Resultado

Teorema Composicion
Ejemplo 1
Sean f : X Y y g : Y Z dos funciones. Ejemplo 2
Ejemplo 3
Si f y g son 1-a-1, entoces g f tambin es Ejemplo 4
1-a-1. Teorema 1
Teorema 2
Demostracion Ejemplo 5
Suponga que para x1 y x2 en X se tiene que (g f )(x1 ) = (g f )(x2 ).
Por tanto, g( f (x1 )) = g( f (x2 )). Si y1 = f (x1 ) y y2 = f (x2 ) lo anterior
queda g(y1 ) = g(y2 ). Como g es 1-a-1, se deduce que y1 = y2 . Por
tanto, f (x1 ) = f (x2 ). Como f es 1-a-1, se deduce que x1 = x2 .
Hemos probado que para cualquier x1 y x2 si (g f )(x1 ) = (g f )(x2 ),
entonces x1 = x2 . Por tanto hemos probado que g f es 1-a-1.

Funciones: Composicin Matemticas Discretas - p. 9/11

 Resultado

Teorema Composicion
Ejemplo 1
Sean f : X Y y g : Y Z dos funciones. Ejemplo 2
Ejemplo 3
Si f y g son suprayectivas, entoces g f Ejemplo 4
tambin es suprayectiva. Teorema 1
Teorema 2
Demostracion Ejemplo 5
Sea z un elemento de Z. Como g es sobre, existe un elemento y en
Y tal que z = g(y). Siendo y un elemento de Y y siendo f sobre,
existe un elemento x en X tal que y = f (x). As

z = g(y) = g( f (x)) = (g f )(x).

Por tanto, para z en Z existe un x en X tal que z = (g f )(x). Esto

prueba que g f es una funcin sobre.

Funciones: Composicin Matemticas Discretas - p. 10/11

 Ejemplo

Suponga que h : R R, f : R R y g : R R Composicion

Ejemplo 1
son funciones definidas como: h(x) = 6 + x, Ejemplo 2
f (x) = 9 x y g(x) = x2 . Determine: Ejemplo 3
Ejemplo 4
a) ( f g)(x) Teorema 1
Teorema 2
b) (h f )(x) Ejemplo 5
c) (g f )(x)
d) (g h)(x)
e) ( f f )(x)
Solucion:
a) ( f g)(x) = f (g(x)) = f (x2 ) = 9x2
b) (h f )(x) = h( f (x)) = h(9 x) = 6 + 9 x
c) (g f )(x) = g( f (x)) = g(9 x) = (9 x)2 = 81 x2
d) (g h)(x) = g(h(x)) = g(6 + x) = (6 + x)2
e) ( f f )(x) = f ( f (x)) = f (9 x) = 9 (9 x) = 81 x
Funciones: Composicin Matemticas Discretas - p. 11/11