Captulo 5

Relaciones y funciones
5.1. Relaciones
Una relacion R de A en B es un subconjunto del producto cartesiano AB, es decir,
R se dice relaci on si R A B. Al conjunto A se le denomina conjunto de salida y al
conjunto B se le denomina conjunto de llegada.
Ejemplo. Sean A = 0, 1, 2 y B = p, o, n, m, una de la posibles relaciones que se
pueden denir es R =
_
(0, p), (0, m), (2, m), (2, o)
_
, el cual es un subconjunto de parejas
ordenadas pertenecientes al producto cartesiano entre A y B.
El conjunto vaco puede considerarse una relacion al ser subconjunto de cualquier
conjunto. De forma similar, el producto cartesiano A B tambien es una relaci on pues
todo conjunto es subconjunto de si mismo (A B A B).
Dada una relaci on R A B, el conjunto
Dom
R
=
_
a : (a A) (b B)
_
(a, b) R
__
se denomina el dominio de la relaci on R, a los elementos de Dom
R
se les denomina
preimagenes de la relaci on R.
Ejemplo. Sean A = 0, 1, 2 y B = p, o, n, m, dos conjuntos y sea R =
_
(0, p), (0, m), (2, m), (2, o)
_
,
una relacion denida de A en B, el conjunto Dom
R
= 0, 2 es el dominio de la relacion
y los elementos 0 y 2 son las preimagenes de la relaci on R.
Dada una relaci on R A B, el conjunto
Ran
R
=
_
b : (b B) (a A)
_
(a, b) R
__
se denomina el rango o codominio de la relacion R, a los elementos de Ran
R
se les denomina
imagenes de la relaci on R.
Ejemplo. Sean A = 0, 1, 2 y B = p, o, n, m dos conjuntos y sea R =
_
(0, p), (0, m), (2, m), (2, o)
_
una relacion denida de A en B, el conjunto Ran
R
= p, o, m es el rango de la relacion
y los elementos p, o y m son las im agenes de la relaci on R.
55
56 CAP

ITULO 5. RELACIONES Y FUNCIONES

Dentro de una relaci on es posible vincular un elemento de un conjunto con m as de un
elemento de otro conjunto, no tener elementos en la relacion o incluir solo algunos elemen-
tos que pertenecen al producto cartesiano de los dos conjuntos. En el ejemplo anterior, no
se tienen elementos que incluyan el elemento 1 del conjunto de salida A ni el elemento n
del conjunto de llegada B.
Si se tiene una relacion R de un conjunto cartesiano R A B, esta puede notarse
como R : A ;B esto evita la notaci on de subconjunto pero aclara que se esta realizando
una asignacion de elementos de A en elementos de B.
Una de las caractersticas importantes del concepto de relacion es su noci on de agrupar
elementos de diferentes tipos. Esta forma de conectar elementos de diferentes conjuntos
tiene mucha aplicacion en programaci on, pues dicha relacion puede ser vista como una
asignaci on.
La representaci on gr aca de una relaci on se puede hacer en terminos de diagra-
mas Sagitales. En la gura 5.1 se muestra una representacion de la relacion R =
_
(0, p), (0, m), (2, m), (2, o)
_
denida en el ejemplo anterior. Como se puede apreciar cada
echa representa un vinculo entre cada uno de los elementos del conjunto A y los del
conjunto B.
R
A B
0
1
2
p
o
n
m
Figura 5.1. Representacion de la relacion R =
_
(0, p), (0, m), (2, m), (2, o)
_
mediante diagramas
Sagitales.
Hay relaciones que se pueden establecer entre elementos del mismo conjunto, es decir,
una relacion que cumpla que R A A
Ejemplo. Si se tiene el conjunto A = p, o, n, m, se puede construir la relaci on
R =
_
(p, o), (o, p), (n, m), (m, n)
_
. En la gura 5.2 se muestra una representaci on de
esta relacion.
5.1.1. Propiedades de las relaciones
Una de las caractersticas m as importantes e interesantes que poseen las relaciones que
est an denidas sobre el mismo conjunto, son las propiedades que pueden cumplir; las cuales
permiten denir los conceptos de relaciones de orden y de equivalencia entre los elementos
de un conjunto. Dichas propiedades son las siguientes:
5.1. RELACIONES 57
R
A A
p
o
n
m
p
o
n
m
Figura 5.2. Representacion de la relacion R =
_
(p, o), (o, p), (n, m), (m, n)
_
mediante diagra-
mas Sagitales.
Reexiva: se dice que una relacion R A A es reexiva, si y solo si,
(a A)
_
(a, a) R
_
.
Ejemplo. Dada la relaci on R =
_
(0, 0), (0, 1), (1, 1), (1, 2), (2, 2)
_
construida sobre el mis-
mo conjunto A = 0, 1, 2 se puede armar que
La relacion R es reexiva pues est an todas las parejas de los elementos vinculados
consigo mismos (0, 0), (1, 1) y (2, 2).
Simetrica: se dice que una relacion es simetrica, si y solo si,
Si (a, b) R entonces (b, a) R.
Ejemplo. Dada la relaci on R =
_
(0, 0), (0, 1), (1, 1), (1, 2), (2, 2)
_
construida sobre el mis-
mo conjunto A = 0, 1, 2 se puede armar que
La relaci on R no es simetrica pues esta la pareja (0, 1) pero no esta la pareja (1, 0).
En este caso es suciente con un caso que no se de para decir que una relaci on no
cumple la propiedad.
Antisimetrica: se dice que una relacion es antisimetrica, si y solo si,
Si
_
(a, b) R
_

_
(b, a) R
_
entonces a = b.
Esta denicion es equivalente a que
Si
_
(a, b) R
_
(a ,= b) entonces (b, a) / R.
Ejemplo. Dada la relaci on R =
_
(0, 0), (0, 1), (1, 1), (1, 2), (2, 2)
_
construida sobre el mis-
mo conjunto A = 0, 1, 2 se puede armar que
La relaci on R es antisimetrica pues cumple con la denici on, ya que las tres parejas
(0, 0), (1, 1) y (2, 2) son de la forma (a, a) que cumplen con la denicion, y para las
otras parejas (0, 1) y (1, 2) no estan presentes las parejas (1, 0) o (2, 1), por lo que
tambien se cumplen con la denici on de antisimetra.
58 CAP

ITULO 5. RELACIONES Y FUNCIONES

Transitiva: una relacion se dice transitiva, si y solo si,
Si
_
(a, b) R
_

_
(b, c) R
_
entonces (a, c) R.
Esta noci on puede relacionarse con el silogismo hipotetico en el cual si ( )
( ), entonces se puede concluir que .
Ejemplo. Dada la relaci on R =
_
(0, 0), (0, 1), (1, 1), (1, 2), (2, 2)
_
construida sobre el mis-
mo conjunto A = 0, 1, 2 se puede armar que
La relacion R no es transitiva pues estan las parejas (0, 1) y (1, 2), pero no est a la
pareja (0, 2).
El hecho de que una relaci on no sea simetrica no quiere decir que la relaci on sea anti-
simetrica y viceversa.
Ejemplo. Si se tiene el conjunto A = 0, 1, 2, y sobre este se dene la relaci on R =
_
(0, 0), (0, 1), (1, 0), (1, 2), (2, 2)
_
, se tiene que la relaci on no es simetrica pues la pareja
(1, 2) est a, pero la pareja (2, 1) no est a, ni es antisimetrica pues las parejas (0, 1) y (1, 0)
est an, y es sabido que 1 ,= 0.
Ejemplo. Si se tiene el conjunto A = 0, 1, 2, y sobre este se dene la relaci on R =
_
(0, 0), (1, 1), (2, 2)
_
, se tiene que la relacion es tanto simetrica como antisimetrica. Por
que?.
5.1.2. Relaciones de orden
Una relaci on R denida sobre el mismo conjunto, se dice que es una relacion de orden
1
,
si y solo si, es reexiva, antisimetrica y transitiva. Una relacion de orden se suele notar
con el smbolo
A
.
Ejemplo. Si se tiene el conjunto A = 0, 1, 2, y la relaci on R =
_
(0, 1), (0, 2), (0, 0), (1, 1), (1, 2), (2, 2)
_
esta es una relaci on de orden, pues es reexiva, antisimetrica y transitiva.
Una relacion antisimetrica y transitiva es un orden estricto. Un orden estricto se nota
como <
A
.
Un preorden es una relaci on que es reexiva y transitiva.
Una relacion de orden total, es una relacion de orden para la cual para todo a, b A
se tiene que a
A
b o b
A
a.
5.1.3. Relaciones de equivalencia
Una relacion R se dice que es una relacion de equivalencia, si y solo si, es reexiva,
simetrica y transitiva. El smbolo utilizado para decir que una relacion es equivalente es

A
.
Dado el conjunto A = 0, 1, 2 y una relaci on R denida sobre A de la siguiente
manera R =
_
(0, 0), (0, 1), (1, 0), (1, 1), (2, 2)
_
, se puede observar que R es una relaci on de
equivalencia, pues:
1
Tambien se suele denominar relacion de orden parcial.
5.2. FUNCI

ON PARCIAL 59
Es reexiva: las parejas (0, 0), (1, 1) y (2, 2) estan.
Es simetrica: adem as de las parejas (0, 0), (1, 1) y (2, 2), como la pareja (0, 1) est a en la
relaci on, entonces la pareja (1, 0) debera estar, como efectivamente ocurre, el caso
reciproco es similar.
Es transitiva: como las parejas (0, 1) y (1, 0) estan, debera estar la pareja (0, 0), y de
forma an aloga, como est an las parejas (1, 0) y (0, 1), debera estar la pareja (1, 1);
para el resto de los casos, como las parejas que quedan son aquellas que tienen igual
la primera y la segunda componente, estas se relacionan consigo mismas, por lo que
la transitividad se obtiene de forma directa.
Las relaciones de equivalencia tienen una particular caracterstica, es que los elementos
que est an relacionados se pueden interpretar como que representan el mismo objeto. As,
una relacion de equivalencia dene una particion del conjunto en grupos de conjuntos con
propiedades similares; tales como que no son vacos, que no tienen elementos en com un, y
que la union de todos los grupos es el conjunto inicial. A estos grupos se les conoce como
clases de equivalencia.
Ejemplo. Para el conjunto A = 0, 1, 2 y la relacion de equivalencia denida sobre
el mismo conjunto R =
_
(0, 0), (0, 1), (1, 0), (1, 1), (2, 2)
_
, aqu se observa que se pueden
formar los grupos 0, 1 y 2, los cuales son una partici on del conjunto A y que denen
dos clases de equivalencia. Observese que los valores 0 y 1, resultan ser equivalentes, es
decir, que representan el mismo objeto.
0 1 2
5.2. Funcion parcial
Denici on. Una relacion f : A ;B se dice funcion parcial si y s olo si,
Si
_
(x, y) f
_

_
(x, y

) f
_
entonces y = y

.
El concepto de funci on parcial es tan fundamental en matem aticas (computaci on) que
tiene su propia notacion, en vez de notarlas como f : A ; B, las funciones parciales se
notan as f : A B. Esta notaci on representa que a un elemento del conjunto de salida A
le corresponde uno y s olo un elemento en el conjunto de llegada B. Cuando a un elemento
x A le corresponde un elemento y B, a traves de la funci on f se suele usar la notacion
f(x) = y
para expresar que (x, y) f. Cuando se desea especicar tanto el conjunto de salida como
el conjunto de llegada se usa la notacion dominiorango
f : A B
x f(x)
60 CAP

ITULO 5. RELACIONES Y FUNCIONES

Ejemplo. Para los conjuntos A = 0, 1, 2, 3, 4 y B = p, o, n, m. En la gura 5.3 se
representan las parejas
_
(0, o), (1, o), (4, n)
_
que denen una relaci on. Esta relacion seria
una funci on, pues si a un elemento del conjunto de salida A le corresponde un elemento del
conjunto B, este es unico. 0 y 1 est an asociados con o y 4 con el smbolo n. Notese que no
importa que 0 y 1 esten asociados al mismo elemento de B, que pueden haber elementos
en A que no se esten asociados a elementos de B como ocurre con 2 y 3, y que pueden
haber y elementos de B que no se esten asociados a elementos de A, tal como ocurre con
p y m.
f
A B
0
1
2
3
4
p
o
n
m
Figura 5.3. Representacion de la funcion f =
_
(0, o), (1, o), (4, n)
_
mediante diagramas Sagi-
tales.
Ejemplo. Si a la funcion f =
_
(0, p), (1, p), (2, n)
_
se adicionara la pareja (1, m), esta
nueva relaci on f

=
_
(0, p), (1, p), (2, n), (1, m)
_
dejara de ser funcion, pues a 1 le co-
rresponderan dos valores diferentes p y m. En la gura 5.4 se representa la relaci on f

.
f

A B
0
1
2
p
o
n
m
Figura 5.4. Representacion de la relacion f

=
_
(0, p), (1, p), (2, n), (1, m)
_
mediante diagra-
mas Sagitales.
5.2.1. Propiedades de las funciones
Las funciones tambien poseen propiedades muy interesantes, as como las de las rela-
ciones de un conjunto en si mismo, las mas importantes de estas son:
5.2. FUNCI

ON PARCIAL 61
Inyectiva: una funcion f : A B se dice inyectiva o uno a uno si y s olo si,
Si (x, z) f (y, z) f entonces x = y.
A un elemento del conjunto B le corresponde una sola preimagen del conjunto A.
Ejemplo. En la gura 5.5 se muestra una representaci on de la funci on inyectiva
f =
_
(0, m), (2, p)
_
.
f
A B
0
1
2
p
o
n
m
Figura 5.5. Representacion de la funcion inyectiva f =
_
(0, m), (2, p)
_
mediante diagramas
Sagitales.
Sobreyectiva: una funcion f : A B se dice sobreyectiva o suprayectiva si y s olo si,
(b B)(a A) tal que
_
(a, b) f
_
.
Cada elemento del conjunto B tiene una preimagen del conjunto A.
Ejemplo. En la gura 5.6 se muestra una representaci on de la funci on sobreyectiva
f =
_
(0, p), (1, n), (2, m), (4, p)
_
.
f
A B
0
1
2
3
4
p
o
n
m
Figura 5.6. Representacion de la funcion sobreyectiva f =
_
(0, p), (1, n), (2, m), (4, p)
_
me-
diante diagramas Sagitales.
Total: una funcion f : A B se dice total si y s olo si,
62 CAP

ITULO 5. RELACIONES Y FUNCIONES

(a A)(b B) tal que
_
(a, b) f
_
.
Cada elemento del conjunto A tiene una imagen del conjunto B.
Ejemplo. En la gura 5.7 se muestra una representacion de la funcion total f =
_
(0, n), (1, o), (2, p), (3, m), (4, o)
_
.
f
A B
0
1
2
3
4
p
o
n
m
Figura 5.7. Representacion de la funcion total f =
_
(0, m), (1, o), (2, p), (3, m), (4, p)
_
median-
te diagramas Sagitales.
Biyectiva: una funci on f : A B se dice biyectiva si y solo si, f es inyectiva, sobreyectiva
y total.
Ejemplo. En la gura 5.8 se muestra una representacion de la funci on biyectiva
f =
_
(0, n), (1, o), (2, m), (3, p)
_
.
f
A B
0
1
2
3
p
o
n
m
Figura 5.8. Representacion de la funcion biyectiva f =
_
(0, n), (1, o), (2, m), (3, p)
_
mediante
diagramas Sagitales.
5.3. Extensi on de una funcion parcial a una funcion
total
Las funciones parciales suelen presentarse en computaci on cuando en el problema estu-
diado se presenta un evento excepcional con algunos valores para los cuales la funcion se
encuentra indenida y por lo tanto no se puede evaluar.
5.3. EXTENSI

ON DE UNA FUNCI

ON PARCIAL A UNA FUNCI

ON TOTAL 63
Todas las funciones parciales se pueden extender de tal manera que estas sean un sub-
conjunto de una funci on total. Para obtener la funci on total se tienen varias alternativas,
las cuales se explicar an con base en la siguiente funci on parcial.
f
A B
0
1
2
3
4
p
o
n
m
Una alternativa para obtener una funci on total a partir de una funcion parcial es la de
asignar los valores del conjunto de salida que no pertenecen al dominio a alg un valor del
conjunto de llegada, como se muestra a continuaci on
f

A B
0
1
2
3
4
p
o
n
m
Asignar un valor al conjunto de salida no siempre es posible o conveniente debido a que
pueden introducirse valores incoherentes o errados con respecto al problema estudiado.
Una alternativa es adicionar al conjunto de llegada un valor nuevo que indique un error
dado un valor en el conjunto de salida. En la funcion total al obtenerse este nuevo valor, se
quiere notar que en el problema estudiado se ha encontrado un caso de error o un problema
excepcional.
Tpicamente el valor con el que se extiende el conjunto de llegada es el smbolo , el
cual representa una contradiccion, en estos casos un error o un caso excepcional.
f

A B
0
1
2
3
4
p
o
n
m

Ejemplo. Para la siguiente funcion div de R R en R,

div : R R R
(x, y)
x
y
,
64 CAP

ITULO 5. RELACIONES Y FUNCIONES

se tiene que si la segunda proyecci on de la pareja del dominio (x, y) es igual a 0, entonces
la funcion se encuentra indenida, por lo tanto la funci on no es total.
Para hallar una funcion que contenga la anterior y que sea total, se adicional el smbolo
al conjunto de llegada y se extiende la funcion de la siguiente manera
div : R R R
(x, y)
_
, si y = 0;
x
y
, en otro caso.
5.4. Funciones importantes en computacion
Denicion. Identidad
La funci on identidad id
A
relaciona a cada elemento de un conjunto A consigo mismo, de
la siguiente manera
id
A
: A A
x id
A
(x) = x
Ejemplo. En la gura se muestra una representacion de la funcion identidad id
A
=
_
(p, p), (o, o), (n, n), (m, m)
_
para el conjunto A = p, o, n, m.
id
A
A A
p
o
n
m
p
o
n
m
Figura 5.9. Representacion de la funcion identidad id
A
=
_
(p, p), (o, o), (n, n), (m, m)
_
me-
diante diagramas Sagitales.
Denicion. Valor absoluto
La funcion valor absoluto de x se denota como [x[ y se dene como:
[x[ : R R
0,+
x
_
x, si x 0;
x, en otro caso.
Ejemplos. [ 3.14[ = 3.14, [3.14[ = 3.14, [ 1[ = 1, [1[ = 1, [0[ = 0, [[ = , [ [ = ,

2,

2.
Denicion. Potencia
La funcion potencia de b elevado al exponente n se denota como b
n
y se dene como:
5.4. FUNCIONES IMPORTANTES EN COMPUTACI

ON 65
b
n
: R Z R
(b, n)
_

_
1, si (b ,= 0) (n = 0);
b b b
. .
nveces
, si (b ,= 0) (n Z
+
);
1
b
|n|
, si (b ,= 0) (n Z

);
0, si (b = 0) (n > 0);
, si (b = 0) (n 0).
Ejemplos. 1
0
= 1, 2
0
= 1, 2
3
= 8, 3
2
=
1
9
, 0.5
3
= 0.125,
_
2
3
_
2
=
4
9
, 0
0
= , 0
1
= .
Denici on. Raz cuadrada
La funcion raz cuadrada de x se denota como

x y se dene como:

x : R
0,+
R
0,+
x b, donde b
2
= x.
Ejemplos.

0 = 0,

1 = 1,

4 = 2,

9 = 3,

25 = 5,

0.25 = 0.5,
_
4
9
=
2
3
,

2 1.41421356237309504880168872420969807856967187537694807317667973799 .
En programacion se dene que x
1/2
=

x y se puede demostrar que

x
2
= [x[.
Denici on. Logaritmo
La funcion logaritmo en base b de x se denota como log
b
x y se dene como:
log
b
x : R
+
R
+
R
(b, x) y, donde b
y
= x.
Ejemplos. log
2
4 = 2, log
2
8 = 3, log
2
1 = 0 (en general log
b
1 = 0), log
e
e = 1 (en general
log
b
b = 1), log
3
1
9
= 2, log
0.5
0.125 = 3, log
0.25
2 =
1
2
.
Denici on. Piso
La funcion piso de x se denota como x| y se dene como:
x| : R Z
x n, donde (n Z) (n x < n + 1).
es decir, x| es el mayor entero que es menor o igual a x.
Ejemplos. 3.141516| = 4, 3| = 3, 1.5| = 2, 0.1| = 1, 0| = 0,
0.1| = 0, 1.5| = 1, 3| = 3, 3.141516| = 3,
_
1.3
_
= 1.
Denici on. Techo
La funcion techo de x se denota como ,x| y se dene como:
,x| : R Z
x n, donde (n Z) (n 1 < x n).
66 CAP

ITULO 5. RELACIONES Y FUNCIONES

es decir, ,x| es el menor entero que es mayor o igual a x.
Ejemplos. ,3.141516| = 3, ,3| = 3, ,1.5| = 1, ,0.1| = 0, ,0| = 0, ,0.1| = 1,
,1.5| = 2, ,3| = 3, ,3.141516| = 4,
_
1.3
_
= 2.
Denici on. Parte entera
La funcion parte entera de x se denota como [x] y se dene como:
[x] : R Z
x
_
x|, si x 0;
,x|, si x < 0.
Ejemplos. [3.141516] = 3, [3] = 3, [1.5] = 1, [0.1] = 0, [0] = 0, [0.1] = 0,
[1.5] = 1, [3] = 3, [3.141516] = 3,
_
1.3

= 1.
Denici on. Parte fraccionaria
La funcion parte fraccionaria de x se denota como frac(x) y se dene como:
frac(x) : R [0, 1)
x [x[
_
[x[
_
.
Ejemplos. frac(3.141516) = 0.141516, frac(3) = 0.0, frac(1.5) = 0.5, frac(0.1) =
0.1, frac(0) = 0.0, frac(0.1) = 0.1, frac(1.5) = 0.5, frac(3) = 0.0, frac(3.141516) =
0.141516, frac(1.3) = 0.3.
Denici on. Redondeo
La funci on redondeo de x se denota como round(x), retorna el entero m as proximo al
n umero x. Para los reales no negativos retorna el techo si la parte fraccionaria es mayor o
igual a 0.5, retorna el piso si la parte fraccionaria es menor a 0.5. Para los reales negativos
retorna el piso si la parte fraccionaria es mayor o igual a 0.5, retorna el techo si la parte
fraccionaria es menor a 0.5. Formalmente esto se dene como:
round(x) : R Z
x
_

_
,x|, si (x 0)
_
frac(x) 0.5
_
;
x|, si (x 0)
_
frac(x) < 0.5
_
;
round(x), si x < 0.
Ejemplos. round(3.141516) = 3, round(3) = 3, round(1.5) = 2, round(0.1) =
0, round(0) = 0, round(0.1) = 0, round(1.5) = 2, round(3) = 3, round(3.141516) = 3,
round(1.8) = 2, round(1.8) = 2, round(1.3) = 1, round(1.5) = 2.
5.5. Composicion de funciones
Denici on. Sean g : A B y f : B C dos funciones, si se cumple que Ran
g
Dom
f
,
entonces es posible denir una nueva funci on llamada la composicion de f y g, la cual se
denota como f g y que se dene como
5.5. COMPOSICI

ON DE FUNCIONES 67
f g : A C
a f(g(a))
As denida la composicion, se tiene que Dom
fg
= Dom
g
y Ran
fg
Ran
f
.
Una representaci on que permite entender mejor como opera esta nueva funci on, es
utilizando un diagrama conmutativo, como se muestra a continuaci on:
A B
C
g
f
f g
Ejemplo. Sea A = 1, 2, 3, 4, 5, 6, B = p, o, n, m, : y C = a, b, c, d tres conjuntos.
Si g =
_
(1, n), (2, o), (3, :), (4, :), (6, p)
_
y f =
_
(p, c), (o, d), (n, a), (m, b), (:, c)
_
en-
tonces f g =
_
(1, a), (2, d), (3, c), (4, c), (6, c)
_
; aqu tambien se observa que Dom
fg
=
Dom
g
= 1, 2, 3, 4, 6 y Ran
fg
= a, c, d Ran
f
= a, b, c, d. En las guras 5.10 y 5.11
se muestra una representacion de la composici on de las funciones f y g.
g
f
f g
A B C
1
2
3
4
5
6
p
o
n
m
:
a
b
c
d
Figura 5.10. Representacion mediante diagramas Sagitales de la composicion de las funciones
f y g, f g =
_
(1, a), (2, d), (3, c), (4, c), (6, c)
_
.
Ejemplo. Sean g y f las siguientes funciones:
g : R Z
x x|
f : Z Z
n n n
entonces la funcion compuesta de las funciones f y g ser a
f g : R Z
x f
_
g(x)
_
= f
_
x|
_
= x| x|
68 CAP

ITULO 5. RELACIONES Y FUNCIONES

f g
A C
1
2
3
4
5
6
a
b
c
d
Figura 5.11. Representacion mediante diagramas de la funcion f g =
_
(1, a), (2, d), (3, c), (4, c), (6, c)
_
.
5.5.1. Evaluaci on como composicion de funciones
Una secuencia de instrucciones se puede entender matem aticamente como la compo-
sici on de una serie de funciones, donde cada vez que se haga uso de una variable, esta
se reemplaza por la asignaci on inmediatamente anterior, s existe una asignaci on de esta
variable.
Ejemplo. Para la siguiente secuencia de instrucciones
i = k + 1;
j = 2 * k;
i = i * k * j;
j = j * k - i;
se puede observar que utilizando la funciones +, , como funciones binarias usando
notaci on preja, se obtienen las siguientes expresiones matem aticas:
i = +(k, 1)
j = (2, k)
i =
_
(i, k), j
_
=
_

_
+ (k, 1), k
_
, (2, k)
_
j =
_
(j, k), i
_
=
_

_
(2, k), k
_
,
_

_
+ (k, 1), k
_
, (2, k)
__
Observese que la ultima expresion est a escrita unicamente en terminos de k y si se eval ua
en el valor k = 1, entonces se obtiene el valor para j que igual a 2, el cual es el valor
obtenido en el ultimo ejemplo del la seccion de evaluaci on de expresiones.
5.5. COMPOSICI

ON DE FUNCIONES 69
j =
_

_
(2, k), k
_
,
_

_
+ (k, 1), k
_
, (2, k)
__
j =
_
((2, 1), 1),
_
(+(1, 1), 1), (2, 1)
__
j =
_
(2, 1),
_
(+(1, 1), 1), (2, 1)
__
j =
_
2,
_
(+(1, 1), 1), (2, 1)
__
j =
_
2,
_
(2, 1), (2, 1)
__
j =
_
2,
_
2, (2, 1)
__
j =
_
2,
_
2, 2
__
j =
_
2, 4
_
j = 2