Relacionesyfunciones

DadosdosconjuntosAyB,llamamosproductocartesianodeAyBalconjuntode
todoslosparesordenadoscuyoprimeracomponenteeselementodeAycuyosegundo
componenteeselementodeB.
AB={(a,b
)|a
|aAybB}
B={(a,b)
DadosdosconjuntosAyB,sedenomina Relacinbinaria deAenBacualquier
subconjuntodelproductocartesianoAxB.
RAxB
En toda Relacin deA en B:el conjunto A se denomina conjuntodepartida, el
conjuntoBconjuntodellegada
Si(a,b)R1decimosqueaestrelacionadoconbsegnR1:anotamosaR1b
la segunda componente de un par se denomina imagen; ejemplo: b es la imagen de
a segn R1.
Laprimercomponentedeunparsedenominapreimagen;ejemplo:aes
lapreimagendebsegnR1.
El dominio de una relacin es el conjunto determinado por las primeras
componentesdelosparesdelamisma.
Elrecorridoeselconjuntodeterminadoporlassegundascomponentesdelos
paresdelarelacin(conjuntodelasimgenes).

TodarelacindeAenB,enlaqueelementosdelconjuntodesalidaserelacionancon
un nico elemento del conjunto de llegada se denomina funcin, (la primer
componentetieneunanicaimagen).

Sialgnelementodeconjuntodesalidanotieneimagensedenomina
funcinparcial.

Si todos los elementos del conjunto de salida tienen imagen se

denominafuncintotal.

Obs.:
Sieldominiocoincideconelconjuntodesalidaesunafuncintotal.Siel
dominioestincluidoestrictamenteenelconjuntodesalidalafuncines
parcial.

INTRODUCCINALACOMPUTACINPROF.:S.BARRERA

Clasificacindefunciones:
Unafuncines inyectiva sielementosdistintosdelconjuntodesalidatienen
imgenesdistintas.
Sitodosloselementosdelconjuntodellegadatienenpreimagendecimosquela
funcinessobreyectiva.
Cuando una funcin es inyectiva y sobreyectiva a la vez decimos que es
biyectiva.

Todafuncinquealasegundacomponentelehacecorrespondersupreimagen
(primercomponente)sedenominafuncininversa.
Existencia:
Siendofunafuncin,lafuncininversaexistesifesinyectiva.

Composicindefunciones.
Dadasdosfuncionesfyg,
f:A>B,g:B>Csedenomina composicin defeng(ofuncin
compuesta)alafuncingof:A>Ctalque(gof)(x)=g(f(x)),x.
gof={(a,g(f(a)))AxC}

INTRODUCCINALACOMPUTACINPROF.:S.BARRERA

Ejemplos
Dados
losconjuntos:
A={2x|xNyx<4}={1,2,4,8}
B={5x|xNyx<3}={1,5,10}
elproductocartesiano:
AxB={(1,2),(1,5),(1,10),(2,2),(2,5),(2,10),(4,2),(4,5),(4,10),(8,2),(8,5),(8,10)}

yR AxBlarelacin
R={(1,2),(2,2),(2,5),(4,10),(8,5),(8,10)}
ConjuntodepartidadeR:A
ConjuntodellegadadeR:B
Dominio>Dom(R)={1,2,4,8}
Recorrido>Rec(R)={2,5,20}
Enelpar(1,2)decimosque:
2eslaimagende1segnR
1eslapreimagende2segnR

Rnoesunafuncinyaque,porejemplo,2tienemsdeunaimagen>(2,2),
(2,5)

Sean:
losconjuntosAyBdefinidosanteriormentey
C={x|xNx<6}={0,1,2,3,4,5}
*

D={x2|xN x<5}={1,4,9,16}

lasfunciones:
F={(x,y)AxD|y=2x}={(2,4),(8,16)}
G={(x,y)BxN|y=3x}={(1,3),(5,15),(10,30)}
H={(x,y)CxC|y=x}={(0,0),(1,1),(2,2),(3,3),(4,4),(5,5)}
I={(x,y)NxD|y=x2}={(1,1),(2,4),(3,9),(4,16)}
J={(1,1),(2,5),(4,5),(8,10)}AxB
K={(x,y)NxN|y=x5}={(5,0),(6,1),(7,2),(8,3),...,(x,x5)}

F es una funcin parcial porque por ejemplo 1 no tiene imagen. Es

inyectivaynosobreyectivaporqueporejemplo9notienepreimagen.
INTRODUCCINALACOMPUTACINPROF.:S.BARRERA

Gesunafuncintotal.Inyectiva,noessobreyectivaporqueporejemplo0
notienepreimagen
Hesunafuncintotal,inyectivaysobreyectiva.Porlotantoesbiyectiva
I es una funcin parcial porque por ejemplo 0 no tiene imagen. Es
inyectivaysobreyectiva(biyectiva).
J es una funcin total. Es sobreyectiva y no es inyectiva porque 2 y 4
tienenlamismaimagen:(2,5)(4,5).
K es una funcin parcial porque por ejemplo 1 no tiene imagen. Es
sobreyectivaeinyectiva(biyectiva).

FuncionesInversas:
Paraqueexistalafuncininversadebeserinyectiva,porlotantoexiste:
F1talque:F1={(x,y)DxA|y=x/2}={(4,2)(16,8)}
G1talque:G1={(x,y)NxB|y=x/3}={(3,1),(15,5),(30,10)}

1
H talque:H1={(x,y)CxC|y=x}={(0,0),(1,1),(2,2),(3,3),(4,4),(5,5)}=H
I1talque:I1={(x,y)DxN|y= x}={(1,1),(4,2),(9,3),(16,4)}
K1talque:K1={(x,y)NxN|y=x+5}={(0,5),(1,6),(2,7),(3,8),...,(x,x+5)}
Funcincompuesta:
Siendo G y J las funciones definidas anteriormente, sabemos que
G: B->N e J: A>B entonces la funcin compuesta (GoJ): A>N tal que
(GoJ)(x)=G(J(x))xA
GoJ={(1,3),(2,15),(4,15),(8,30)}
N

J
A

1
2
4
8

1
5
10

GoJ

0
1
2
3
...
5
...
10
11
...
15
16
....
30
....

INTRODUCCINALACOMPUTACINPROF.:S.BARRERA

Dadaslasfunciones
M(x)={(x,y)xN|y=2x}y
P(x)={(x,y)NxN|y=x2}

x>2x>(2x)2
x

M(x)

P(x)

16

...

...

...

11

22

484

...

...

...

(PoM)(x)

entoncesPoM(x)={(x,y)NxN|y=4x2}

Seanlasfunciones:
R(x)={(x,y)xZ|y=x+2}y
S(x)={(x,y)ZxZ|y=x5}

x>x+2>(x+2)5

R(x)

S(x)

...

...

...

10

13

12

...

...

...

...

...

...

(SoR)(x)
entoncesSoR(x)={(x,y)ZxZ|y=x3}

INTRODUCCINALACOMPUTACINPROF.:S.BARRERA

Ejercicios
1Dadoslosconjuntos:
A={15,10,5,0,5,10}
B={1,2,3,5}
C={xN|5<x<10}
ylasrelaciones:
R1={(x,y)BxA|y=5x}
R2={(x,y)BxN|y=10x}
R3={(x,y)BxZ|y=x5}
R4={(x,y)xN|y=x2}
R5={(x,y)xA|y=x}

a)
b)
c)
d)

R6={(x,y)CxB|yesdivisordex}

Identificasisonfunciones.Justificaencasocontrario.
Enelcasoqueseafuncin,indicasiestotaloparcial.Expliquecuando
seaparcial.
Clasificarlasfunciones.
Indicarsilainversaesunafuncin.Endichocasohallarla.

2DadalarelacinR7={(10,17),(12,19),(14,21),(15,22)} CxD.Indicaloselementosde
CyD,encadacaso,paraquelarelacinsea
a) unafuncinparcialbiyectiva
b) unafuncinparcialnosobreyectiva
c) unafuncintotalnosobreyectiva
d) sepuededeterminarlosconjuntosCyDparaquelarelacinnoseauna
funcininyectiva?Justifique
3Escriberelacionesquecumplan:
a) R8noseafuncin
b) R9seafuncintotal,inyectiva,nosobreyectiva
c) R10seafuncintotal,sobreyectiva,noinyectiva
d) R11seafuncintotalbiyectiva
e) R12seafuncinparcial,sobreyectiva,noinyectiva
4SeanF(x)={(x,y)BxN|y=6x}yG(x)={(x,y)NxN|y=x/2}.Hallar(GoF)(x).
Clasificarlafuncin
INTRODUCCINALACOMPUTACINPROF.:S.BARRERA