INSTITUTO PROFESIONAL CEPECH Relaciones y Funciones 175

CAPTULO XIV
Relaciones y Funciones
GRIEGOS Y ROMANOS. Despus de los egipcios p!ecolo"#i$%os& los g!iegos po! '
po! i%(ue%ci$ su$) los !o"$%os& log!$!o% i"p!i"i! e% sus o#!$s u%$ #elle*$ se!e%$
%u%c$ $lc$%*$d$ +$s,$ e%,o%ces. A l$ i*-uie!d$ el .,eso!o de C%ido/ $ l$ de!ec+$
u%$ ,o!!e !o"$%$ de #$se oc,ogo%$l. El p!i"e!o es u%$ de"os,!$ci0% de los ele",os
geo",!icos co"#i%$dos1 l$s l2%e$s p$!$lel$s el ,!i3%gulo. Al 4o%do u% $cueduc,o
!o"$%o1 $plic$ci0% e% l$ A!-ui,ec,u!$ del $!co se"ici!cul$!.
Fue%,e 1 Geo"e,!2$ pl$%$ del esp$cio T!igo%o"e,!i$ A. 5$ldo!
Objetivos ene!ales
"a#a una !elaci$n ent!e #os conjuntos% !econoce! los
ele&entos 'ue (e!tenecen a #ic)a !elaci$n*
I#enti+ca! las con#iciones necesa!ias (a!a 'ue una
!elaci$n sea ,unci$n*
"ete!&ina! el "o&inio y el Reco!!i#o #e una ,unci$n*
"a#a una ,unci$n% i#enti+ca! si -sta es Inyectiva%
.ob!eyectiva o a&bas*
Calcula! la ,unci$n inve!sa #e una ,unci$n #a#a*
IP/C% 0ate&1tica% /#ici$n 2332*
174 IP/C% 0ate&1tica
Calcula! la ,unci$n co&(uesta ent!e #os ,unciones
#a#as*
CAP6TULO N7 89
RELACIONES Y FUNCIONES
RESUMEN DE MATERIA
Sean A y B conjuntos no vacos, se define con ellos una operacin llamada Producto Cruz o Producto
Cartesiano de la siguiente manera:
A x B !"a,#$ % a A # B && en ese orden ''(
)otemos *ue este conjunto A x B presenta como elementos a entes matem+ticos llamados pares
ordenados, "a,#$,
Segunda componente
"a,#$
Primera componente
-jemplo:
Sean A !., /, 0 ( B !1, 2(
A x B !".,1$, ".,2$, "/,1$, "/,2$, "0,1$, "0,2$(
B x A !"1,.$, "1,/$,"1,0$, "2,.$, "2,/$, "2,0$( A x B B x A
3na vez conocido el conjunto A x B podemos asociar los componentes de los pares ordenados de alguna
manera4 por ejemplo, #us*uemos o determinemos al conjunto formado por los pares ordenados en los
cuales se verifi*uen *ue la 05 componente es m6ltiplo de la /5 componente, 7#servando tenemos:
S !"/,1$, "/,2$, "0,1$, "0,2$(
Podemos notar *ue S A x B
8efinicin
9odo su#conjunto : de A x B se dice relacin entre los conjuntos A y B,
As podemos escri#ir de nuestro ejemplo anterior,
S !"a,#$ A x B % a divide a #(
Se dice *ue:
; # es la imagen de a, #ajo la relacin :
; B es el conjunto de llegada,
; Al conjunto A se le llama conjunto de partida, Al su#conjunto de A de los elementos *ue tienen
im+genes en B #ajo la relacin :, se le llamar+ conjunto de preim+genes o dominio,
IP/C% 0ate&1tica% /#ici$n 2332*
INSTITUTO PROFESIONAL CEPECH Relaciones y Funciones 177
Funcin: Si tenemos una relacin f entre 0 conjuntos A y B, f se dir+ funcin si a cada valor del conjunto
de partida A le corresponde uno y slo un valor en el conjunto de llegada,
f
A B
a #
x f"x$
Se dir+:
; f: A B
; # B es la imagen de a A #ajo la funcin f y se denota por # f"a$
Rango o Recorrido de f: -s a*uel su#conjunto del codominio en el cual todos sus elementos son
imagen de alguna preimagen del dominio o conjunto de partida,
Para entender mejor la diferencia entre codominio y rango veamos el siguiente ejemeplo:
A f B
a /
# 0
c <
d 2
1 =
e .
f : A B
Se puede ver *ue para todo elemento de A existe slo una imagen en B,
>uego para la funcin f denotada:
8ominio A !a, #, c, d, e( Codominio B !/, 0, <, 2, =, 1, .(
:ango o :ecorrido !/, 0, <, 2, .(
>os elementos != y 1( no son imagen de ninguna preimagen en A, luego no pertenecen al :ango de f,
IP/C% 0ate&1tica% /#ici$n 2332*
175 IP/C% 0ate&1tica
Tipos de funcin:
a$ ?uncin @nyectiva: 3na inyeccin de A en B es toda funcin f de A en B, de modo *ue a elementos
distintos del dominio A le corresponden im+genes distintas en el codominio B,
#$ ?uncin -piyectiva: 3na epiyeccin o so#reyeccin de A en B es toda funcin f de A en B, de modo
*ue todo elemento del codominio B es imagen de al menos un elemento del dominio A,
c$ ?uncin Biyectiva: 3na funcin f es #iyectiva de A en B sii la funcin f es tanto inyectiva como
epiyectiva,
Composicin de Funciones
Sean f y g dos funciones tales *ue:
f : A ;;;;;A B y g : B ;;;;A 8
entonces se define g compuesta con f como una funcin definida de A a 8
gof : A ;;;;A 8
7#servacin : "gof$ "x$ g "f"x$$
-jemplo
f "x$ x
0
g "x$ x B 0
"f o g$ "x$ f "g "x$$ f "x B 0$ "x B 0$
0
"g o f$ "x$ g "f "x$$ g "x0$ x
0
B 0
7#servacin: Ceneralmente "g o f$ "x$ "f o g$ "x$
Funcin Inversa
Nota: Slo las funciones #iyectivas tienen inversa f
;/
"x$ *ue tam#iDn es funcin,
f
;/
es la funcin inversa de f sii "a,#$ f "#,a$ f
;/
Propiedades:
"/$ f
;/
"f"a$$ "f
;/
o f$ "a$ a
"0$ f"f
;/
"#$$ "f o f
;/
$ "#$ #
IP/C% 0ate&1tica% /#ici$n 2332*
INSTITUTO PROFESIONAL CEPECH Relaciones y Funciones 176
E:EMPLOS
/, Sea la relacin : definida por:
: ! "a, /$ 4 "#, 0$ 4 "#, <$ 4 "c, <$ 4 "d, /$ (
Se puede afirmar *ue:
A$ a : 0
B$ # : <
C$ c : /
8$ d : 0
-$ # : /
Solucin:
Sea : una relacin tal *ue : : A B y "x,y$ : x A e y B
Seg6n esto:
A$ a : 0 "a,0$ : "?also$
B$ # : < "#,<$ : "?also$
C$ c : / "c,/$ : "Eerdadero$
8$ d : 0 "d,0$ : "?also$
-$ # : / "#,/$ : "?also$
>uego la alternativa correcta es C$,
0, Sea la relacin : de A en A tal *ue A !/, 0, <, 2, =, 1( y la relacin : ! "/, <$, "0, 2$, "<, =$ (, -l
dominio y recorrido de la relacin : son respectivamente,
A$ !/, 0, <, 2, =(, !/, 0, <, 2, =(
B$ !/, 0, <(, !<, 2, =(
C$ !<, 2, =(, !/, 0, <(
8$ !/, 0, <, 2, =, 1(, !/, 0, <, 2, =, 1(
-$ !/, 0( , !<, 2, =(
Solucin:
Se sa#e *ue "x,y$ : : x dominio de : e y al recorrido de :,
-n este caso: : ! "/,<$ 4 "0,2$4 "<,=$(, por lo tanto:
8ominio !/,0,<( y :ecorrido !<,2,=(
alternativa correcta B$,
<, Sea f"x$ x B /
-ntonces el valor de f"0x ; /$ F
A$ 0x B /
B$ 2x
C$ <x
8$ 0x B 0
-$ 0x
Solucin:
Se tiene la funcin f"x$ x B /, entonces el valor de f"0x ; /$:
Sea u 0x ; / f"u$ f"0x ; /$, luego:
f"u$ u B /, pero como u 0x ; / f"0x ;/$ "0x ;/$ B /
f"0x ; /$ 0x ;/ B/ 0x
f"0x ; /$ 0x
alternativa correcta -$,
2, Sea el gr+fico de la funcin f igual a: f: G<,1H G/,<H
IP/C% 0ate&1tica% /#ici$n 2332*
153 IP/C% 0ate&1tica
8eterminar cu+l de las siguientes afirmaciones es verdadera:
A$ f posee funcin inversa
B$ f es funcin epiyectiva
C$ f es funcin inyectiva
8$ f no es funcin
-$ )inguna de las anteriores,
Solucin:
Si tenemos la funcin f: G<,1H G/,<H:
I -l intervalo G<,1H corresponde al dominio de f
I -l intervalo G/,<H corresponde al conjunto de llegada de f,
-studiemos la veracidad de las afirmaciones:
A$ Si f posee funcin inversa, esta de#er+ ser epiyectiva e inyectiva,
-n este caso el eje representa el dominio de f y el eje ! al rango o recorrido, Seg6n esto, la
funcin es epiyectiva, puesto *ue cumple la condicin: rango o recorrido igual al conjunto de
llegada G/,<H,
Pero f no es inyectiva, puesto *ue en el intervalo del dominio G<,2H se tiene
f "<$ f "<,.$ f "2$ <
>uego, como f no es inyectiva f no es #iyectiva lo *ue Jace *ue A$ sea falsa,
B$ -s verdadera puesto *ue dominio o recorrido "G/,<H$ es igual al conujunto de llegada "G/,<H$,
C$ -s falsa puesto *ue f"<$ f"2$ < f no es inyectiva,
8$ -s falsa puesto *ue x G<,1H "dominio de f$, ' y G/,<H "recorrido de f$
-$ -s falsa puesto *ue B$ es verdadera,
IP/C% 0ate&1tica% /#ici$n 2332*
INSTITUTO PROFESIONAL CEPECH Relaciones y Funciones 151
PRO7L/0A. "/ "/.ARROLLO
/, Si f"x$ 0x B n
/
B a y
g"x$ 0x B n
0
B #, entonces "fog$ "#$ F
0, 8eterminar f
;/
si f"x$
0x #
c

<, Sea f"x$ x B a, entonces el valor de

f"0x ;a$F
2, Si f"x$ / ; x, determinar f"K$ ; f"0$ F
=, Sea f"x$ 2x B / y g"x$ =x ; /,
determinar la funcin inversa de "fog$"x$,
1, Si f"x$ <u B v, entonces f";/$ F
., 8eterminar f
;/
"u$ si f"u$
0 < x
u
L, -ncontrar el valor de x
/
tal *ue f"x
/
$ = si
f"x$ 0 B x,
M, Sea f"x$ x B J y g"x$ ;x; J,
entonces f"g"x$$ F
/K, Si f"x$ 0x ; a B #, entonces:
f"a$ ; f"#$ B f"aB#$ F
//, Si f"x$ /Ku y g "x$ <J, entonces
0f"a$ B < g "#$ F
/0, Si f"x$ <x B N entonces f"K$ ; f"N$ F
/<, Si g"x$ x ; <, determinar
g
;/
"K$ ;g
;/
"0$ F
/2, -ncontrar el valor de x
/
tal *ue la funcin
f"x$ evaluada en x
/
, es decir, f"x
/
$ valga K,
si f"x$ 0x B # ; a
/=, Si f"x$ <x ; /, entonces f"<x B 0$ F
IP/C% 0ate&1tica% /#ici$n 2332*
152 IP/C% 0ate&1tica
TEST N7 8
/, Sea A !0, <, 2( y B ! 2, 1(,
Se esta#lece una relacin : entre A y B tal
*ue a A # B, a : # ssi # es
m6ltiplo de a,
OCu+l de los siguientes conjuntos
corresponde a la relacin :F
A$ !"0,2$4 "<,2$4 "<,1$4 "0,1$(
B$ !"0,2$4 "<,1$4 "2,2$4 "2,1$(
C$ !"0,2$4 "0,1$4 "<,1$4 "2,2$(
8$ !"0,2$4 "<,2$4 "2,1$4 "2,L$(
-$ !"0,2$4 "<,1$4 "2,2$4 "2,L$(
0, OCu+l de los siguientes gr+ficos corres;
ponde a una funcinF
@$ y @@$ y
x x

@@@$ y
x
A$ Slo @@
B$ Slo @@@
C$ @ y @@
8$ @ y @@@
-$ @, @@ y @@@
<, Sea : una relacin de @: en @:, tal *ue
x : y x /%0 y, OCu+l de los siguientes
pares ordenados no cumple la relacinF
A$ "0,2$
B$ "L, /1$
C$ "1,/0$
8$ "2,L$
-$ )inguna de las anteriores,
2, Sea la funcin f"x$ x ;<x B /,
OCu+l de las siguientes afirmaciones es
falsaF
A$ f"K$ /
B$ f";=$ //
C$ f"0$ ;/
8$ f";/$ <
-$ f"/$ ;/
=, Sea una relacin : entre n6meros @) tal
*ue: : !"a,#$ % a # @), a es m6ltiplo
de #(,
>a alternativa verdadera es:
A$ 1 : <
B$ 2 : L
C$ M : <
8$ 0L : /1
-$ 0. : M
1, Sea f"x$ <x B 2 y g"x$ 0x ;=
8eterminar la funcin inversa de
"fog$ "x$,
A$ "fog$
;/
"x$
x <
1
B$ "fog$
;/
"x$
x //
1

C$ "fog$
;/
"x$
x /M
1

8$ "fog$
;/
"x$
x +//
1
-$ )inguna de las anteriores,
., Sea la funcin f @: @: definida por
f x
x
" $ =
+ 0 2
<
>a funcin inversa de f viene dada por:
A$ ( ) f y
y

=
+
/
< 2
0
B$ ( ) f y
y

=
+
/
<
0 2
C$ ( ) f y y

=
/
<
0
0
8$ ( ) f y
y

=
+
/
0 <
2
-$ )o posee funcin inversa,
L, Sea la funcin f"x$ x ; ax, f"a B #$ ; f"#$
viene dado por:
A$ a "a B/$
B$ 0"a# B #
0
$
C$ a
0
B a# B #
0
8$ a"/ ; a$
-$ a# B a
IP/C% 0ate&1tica% /#ici$n 2332*
M, 8eterminar cu+l de las siguientes
afirmaciones es falsa,
A$ 9oda funcin #iyectiva posee funcin
inversa
B$ >a funcin f: @: @: % f"x$ x B = es
una funcin inyectiva
C$ 9oda funcin #iyectiva es una funcin
epiyectiva
8$ 9oda relacin es una funcin
-$ Si f"x$ x B / y g"x$ x B 0, luego
"fog$ "0$ =
/K, Sea f"x$ x ; < y g"x$ x ; /
-ntonces g"f"x$$ viene dado por:
A$ x ; 2
B$ x"x B 1$
C$ x
0
B x ; 2
8$ "x ; <$ P "x ; /$
-$ ;1x B L
//, Sea g"x$ x ; 2 y g"f"x$$ x ; 2,
-l valor de f"x$ corresponde a:
A$ x
B$ x ; 0
C$ x B 0
8$ x ; 2
-$ x B 2
/0, 8ado el conjunto A !a, #, c(,
Se esta#lecen las siguientes relaciones de
A en A:
@$ :
/
!"a,a$4 "#,#$4 "c,c$(
@@$ :
0
!"a,a$4 "a,#$4 "a,c$(
@@@$ :
<
!"a,c$4 "c,a$4 "#,#$(
@E$ :
2
!"a,a$ 4 "#,a$4 "c,a$(
OCu+les son funcionesF
A$ Slo @
B$ @@ y @@@
C$ @, @@@ y @E
8$ @, @@ y @E
-$ 9odas,
/<, Sea f"x$ x ;a
0
y g"x$ x B a, entonces
"fog$ "x$ viene dado por:
A$ x ; a
B$ x"x B 0a$
C$ x ; a"a B /$
8$ x ; a
0
B a
-$ x B a"a;/$
/2, 8eterminar cu+l de las siguientes
afirmaciones es siempre falsa:
A$ "fof
;/
$ "x$ "f
;/
of$ "x$
B$ Si g"x$ x, entonces "fog$ "x$ f"x$
C$ "fog$ "x$ "gof$ "x$
8$ Si f: A B y g: B C, entonces
"gof$: A C
-$ f
;/
"f"a$$ a
/=, OCu+l de las siguientes relaciones es una
funcin inyectivaF
A$ A B B$ A B
/ a / a
# 0 #
0 c < c
C$ A B 8$ A B
/ a / a
0 0 #
< # 2
c < c
-$ A B
a /
# 0
c <
2
158 IP/C% 0ate&1tica*
TEST N7 ;
/, Si f"u$ u B 0x, entonces f"x$ B f"0x$ F
A$ .u
B$ 0"x B 0u$
C$ .x
8$ 0"u B 0x$
-$ )inguna de las anteriores,
0, Si f"x$0x B/ y g"x$=, entonces "fog$ "x$ y
"gof$ "x$ valen respectivamente,
A$ =4 //
B$ //4 //
C$ //4 =
8$ /4 =
-$ )inguna de las anteriores,
<, Sea f"x$ x ; u
0
y g"x$ x B u, entonces
"fog$ "x$ viene dado por:
A$ x ; u
B$ x"xB0u$
C$ x ; u"u B /$
8$ x ; u
0
B u
-$ x B u"u ;/$
2, Si f"u$ <x B u, entonces f"<$ ; f"K$ F
A$ <u
B$ 1x
C$ <
8$ K
-$ <x B <
=, Si f"x$
< 0 +
+
x
a #
, determinar f
;/
"x$
A$
( ) x a # ; 0
<
+
B$
( ) x a #
#
+ ; 0a
<
C$
( ) a # x + ; <
0
8$
a # + ;
0
<
-$ )inguna de las anteriores,
1, 8eterminar el valor de x, tal *ue
f"x$ <x ; = valga 1:
A$ =%<
B$ //%<
C$ ;//%<
8$ ;1%=
-$ )inguna de las anteriores,
., >a funcin f"x$ ;<x *ueda representada
por:
y
A$ f"x$ B$ y
f"x$
x x
C$ y 8$ y

f"x$ f"x$
x x
-$ y f"x$
L, Si f"x$ 0x y g"u$ 0u, entonces:
f"0$ ; f"<$ B g"=$ F
A$ 2
B$ <
C$ ;=
8$ L
-$ )inguna de las anteriores,
M, Si g"x$ =x ;0, encontrar el valor de
g
;/
"K$ ; g
;/
"0$ F
A$ ;0%=
B$ =%0
C$ //%0
8$ M%0
-$ )inguna de las anteriores,
x
/K, Si f"x$ x ; 2, entonces el valor de
f"/$ B f";/$ vale:
A$ ;1
B$ K
C$ ;L
8$ 1
-$ 7tro valor,
//, Si f"x$ x B < y g"x$ =x B .,
-ntonces gGf";0$H vale:
A$ ;=
B$ ;/L
C$ ;<
8$ //
-$ 7tro valor
/0, 8eterminar cu+l de las siguientes rela;
ciones de A en B son funciones:
@$ @@$
A B A B
a / a /
0 #
#
< c 0
c 2 d
@@@$ @E$
A B A B
a /
a /
# 0
c <
A$ Slo @
B$ @@ y @@@
C$ @ y @@
8$ @ y @E
-$ 9odas,
/<, Si se tienen las funciones f"x$ 0x B <
y fGg"x$H x ; =, -ntonces g"x$ es:
A$
x ;
0
L
B$ x B L
C$ <x ; 0
8$ 0x
0
; /=
-$ "0x B <$ P "x ; =$
/2, Si f"x$ 0xa ; =x B =a, entonces al
calcular:
f a # f a
#
" $ " $ + ;
0
se o#tiene:
A$
2 =
0
a# #
#
;
B$
0a ; =
0
C$ 0"a B #$
0
8$
( ) a #
#
+
0
-$ 7tro valor,
/=, Sea la funcin f: @: @: *ue viene dado
por f"x$ 0x B /, -l gr+fico de la funcin f
corresponde a:
A$ y B$ y
.

<
0
x x
/ 0 <
C$ y 8$ y
/K <
-$ y
=
/
=
x
x
2
x
M
=