Ngj/v2008

4 Relaciones y funciones
1
Matemticas Discretas
Tc1003
Relaciones y Funciones

Relaciones y Funciones
OBJETIVOS

Unidad Tema Subtema Objetivos
IV Relaciones y funciones
4.1 Relaciones
4.2 Funciones

Entender y definir el concepto de relacin as como las
diferentes representaciones de una relacin
Entender, aprender y utilizar las propiedades de las relaciones
Conocer y clasificar los tipos de relaciones:
o De equivalencia
o De orden
o Funcin
Graficar una relacin

Entender y definir el concepto de funcin
Conocer y utilizar los tipos de funciones
o Biyectiva
o Inyectiva
o Suprayectiva
Conocer y obtener de una funcin
o La funcin inversa
o Una funcin compuesta
Conocer y disear funciones recursivas


















Ngj/v2008
4 Relaciones y funciones
2
Matemticas Discretas
Tc1003
Relaciones y Funciones

4.1 Relaciones
4.1.1 Definicin de Relacin
El concepto de relacin surge de manera natural en el anlisis de un sistema.
Un ejemplo, en los nmeros Naturales se establece la relacin es menor que ....
Bajo esta relacin R el nmero 2 se relaciona con el 3: 2 es menor que 3, pero no
as al contrario (3 no es menor que 2).
Una relacin es binaria cuando se establece entre dos objetos. Un ejemplo:
y x R < : .
Una relacin es un conjunto de pares ordenados. Un par ordenado (tambin
llamada pareja ordenada) consta de dos elementos: (a, b) en donde el orden en que
aparece (primero a, despus b) indica la relacin:
b a
R de a con b.
Una relacin asocia un elemento de un conjunto A con un elemento de otro
conjunto B o con un elemento del mismo conjunto A.

Ejemplos:
* Para A= {a, b, c}
R
1
= {(a, a) (a, b) (a, c) (b, a) (b, b) (b, c) (c, a) (c, b) (c, c)}
A A R =
1

* Para A = {Espaa, Inglaterra, Italia}
B= {Paris, Roma, Madrid}
R2: (Espaa, Paris) (Inglaterra, Roma) (Italia, Madrid)
* R3: (Pepe, Mara) (Pepe, Laura) (Pepe, Tere)

Esta relacin puede ser: ... hermano de...
Otro ejemplo:
A = {Familia Rodrguez}
Miembro Edad Peso Estatura
Pap Alfonso (A) 42 77 1.80
Mam Beatriz (B) 40 57 1.68
Hijo 1 Carlos (C) 19 61 1.88
Hijo 2 David (D) 17 66 1.63
Hijo 3 Elena (E) 15 48 1.53
R
1
: es pap de (A, C) (A, D) (A, E)
R
2
: es mas alto que (C, A) (C, B) (C, D) (C, E) (A, B) (A, D) (A, E) (B, D)
(B, E) (D, E).
R3: es mas grande que (A, B) (B, C) (C, D) (D, E), (A, C) (B, D) (C, E), (A, D)
(B, E) (A, E)


Ngj/v2008
4 Relaciones y funciones
3
Matemticas Discretas
Tc1003
Relaciones y Funciones


Representaciones grficas de relaciones
Grfica de relaciones no numricas









Diagrama de flechas

1 2 3 4
) , ( y x ) , ( y y ) , ( z y ) , ( x z

Nomenclatura para relaciones (R)

} / ) , {( y x y x R < = relacin: y x <
Es menor que = } / ) , {( y x y x <

y x
R
si R: ...es menor que...

Definicin:
Sea R una relacin R b a R
b a
= ) , (
Ejemplo:
)} , ( ), , ( ), , ( ), , {( z z y y z y y x R =
y z
R
es verdadera? no
z y
R es verdadera? Si

Si , , , , , zRz yRz zRy xRz xRy son verdaderas, Cul es la relacin R?
( ) ( ) ( ) ( ) ( ) { } z z z y y z z x y x R , , , , , , , , , =




Relacin: ...es ms grande que...


Ngj/v2008
4 Relaciones y funciones
4
Matemticas Discretas
Tc1003
Relaciones y Funciones

Clasificacin de relaciones
- Relaciones de equivalencia
- Relaciones de orden
- Funciones

1. Relaciones de equivalencia
Caractersticas (propiedades)
1) Reflexividad: xRx : xRx S x
( x est relacionada con x )
Ejemplo: El conjunto de alumnos que se encuentra en su saln de clase
= S {Pedro, Javier, Esteban}
: R est en la misma habitacin
Pedro R Pedro reflexividad
2) Simetra: S y x , . Si
x y y x
R R
Ejemplo: Pedro R Javier Javier R Pedro
3) Transitiva: S z y x , , Si xRy y xRz yRz
Pedro R Javier y Javier R Esteban Pedro R Esteban

Definicin:
Una relacin R , definida sobre un conjunto S es una relacin de equivalencia
tienen las tres propiedades: reflexiva, simtrica y transitiva

Ejemplos:
y x R < : y x R :
{ } c b a S , , =
( ) ( ) ( ) ( ) { } a c c a c c a a R , , , , , , , =
Reflexiva? 3 3< Reflexiva? 3 3 Reflexiva?
aRa cRc bRb
Simtrica? 5 3< y 3 5< Simtrica? 5 3 y 3 5 Simtrica? aRc cRa
Transitiva? 5 3<
6 3 6 5 < <
Transitiva? 5 3
6 3 6 5
Transitiva? aRc
cRb no
aRb no

Relacin equivalente

X tiene la misma paridad (que sea par o impar)

3 tiene la misma paridad que 3 Reflexiva
3 tiene la misma paridad que 5
5 tiene la misma paridad que 3
5 tiene la misma paridad que 7


Simtrica
Transitiva


Ngj/v2008
4 Relaciones y funciones
5
Matemticas Discretas
Tc1003
Relaciones y Funciones

Relacin de orden parcial
En matemticas, una relacin binaria R sobre un conjunto X es
antisimtrica si se cumple que para todo a y b pertenecientes a X si a est
relacionado con b y b est relacionado con a entonces a = b.
En notacin de conjuntos: .
La relacin ser ms alto que es una relacin antisimtrica dado que a es
ms alto que b y b es ms alto que a no pueden cumplirse al mismo tiempo.
Ntese que la antisimetra no es lo opuesto de la simetra (
b a
R y
a b
R
implican b = a). Existen relaciones que son simtricas y antisimtricas al mismo
tiempo (como la relacin de igualdad), relaciones que no son simtricas ni
antisimtricas (como la relacin de divisibilidad), relaciones que son simtricas
pero no antisimtricas (como la relacin de congruencia mdulo n), y relaciones
que son antisimtricas pero no simtricas (la relacin "es menor que" ).
La relacin ser menor o igual tambin es antisimtrica dado que si a es
menor o igual que b y b es menor o igual que a es porque a = b.
Una relacin que es reflexiva, antisimtrica y transitiva es llamada un orden
parcial.
En resume: cuando en una relacin se tiene que
b a
R y
a b
R es porque el
elemento a es igual al elemento b.
Ejemplo:
{ } 12 , 6 , 4 , 3 , 2 , 1 = A conjunto de divisores positivos enteros de 12
xRy x divide exactamente a y
xRy A A :
( )( )( )( )( )( )
( )( )( )( )
( )( )( )
( )( )
( )( )

=
12 , 6 6 , 6
12 , 4 4 , 4
12 , 3 6 , 3 3 , 3
12 , 2 6 , 2 4 , 2 2 , 2
12 , 1 6 , 1 4 , 1 3 , 1 2 , 1 1 , 1
R
Si x divide a y exactamente ax y =
Si y divide a z exactamente by z =
) (ax b z =
bax z = z x divide exactamente a z
Reflexiva s es porque
1
R
1
,
2
R
2
, .

Si
a
R
b

b
R
a
simtrica
Si aRb y bRa a = b antisimtrica
Si a est en relacin con b
b est en relacin con a a = b




Transitiva


Ngj/v2008
4 Relaciones y funciones
6
Matemticas Discretas
Tc1003
Relaciones y Funciones


4.2 Funciones
Intuitivamente una funcin es una regla que asocia elementos de un
conjunto A con elementos de un conjunto B de modo que el elemento del conjunto
A se asocia con uno y slo un elemento del segundo conjunto.
En otras palabras, una funcin es una mquina que transforma elementos en
otros elementos y cada elemento puede transformarse en un nico elemento, no en
dos o tres.

Definicin:
Sean A y B dos conjuntos. Una funcin de A en B es un conjunto de pares
ordenadas de A x B (a, b) con la propiedad de que cada elemento de A es el primer
componente de una pareja ordenada y para todo a A, si (a, b) y (a, c) pertenece a
f entonces b = c (porque a no se repite en otra pareja)
A: Dominio de la funcin
B: Codominio
Imagen son los elementos de B que forman el segundo componente de la
pareja ordenada.
Ejemplo:
A= {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10} = {conjunto de calificaciones en base a 10}
B= {NA, S, B, MB} = {conjunto de smbolos que representan un
rendimiento escolar
B A son todas las posibles relaciones
( )( ) ( )
( )( ) ( )
( )( ) ( )
( )( ) ( )

=
MB MB MB
B B B
S S S
NA NA NA
B A
, 10 , 1 , 0
, 10 , 1 , 0
, 10 , 1 , 0
, 10 ... , 1 , 0

B A = 44 parejas
: R
Si NA = no acreditada

calificacin 0 - 5
Si S = suficiente

calificacin 6 - 7
Si B = bien

calificacin 8 - 9
Si MB = muy bien

calificacin 10

es una funcin porque a cada elemento de A corresponde solo uno de B a

la relacin se le llama regla de correspondencia f , entonces, b = f(a) un elemento
del conjunto B est en funcin de un elemento del conjunto A.

Nomenclatura
) (x f y =
Dominio de una funcin es el conjunto de los valores que puede tomar x o que
toma x para que exista la funcin.
Codominio o rango de una funcin es el conjunto de los valores que se obtienen al
sustituir los valores del dominio en la funcin.


Ngj/v2008
4 Relaciones y funciones
7
Matemticas Discretas
Tc1003
Relaciones y Funciones

Tipos de funciones

Funcin Inyectiva:
A una funcin en la que a cualquiera par de elementos diferentes del
dominio les corresponde imgenes diferentes se le llama funcin inyectiva
(significa uno a uno)

Un ejemplo es la funcin cuadrtica c bx ax y + + =
2
cuyo dominio y cuyo
codominio son los reales. As, para 1 2 3
2
+ + = x x y cuya grfica es

la funcin no toma los valores menores a -2.

Funcin Suprayectiva:
Si todo elemento del codominio de una funcin f es imagen de al menos un
elemento de su dominio, entonces f es una funcin suprayectiva

Las funciones trigonomtrica (seno, coseno, tangente, cotangente, secante y
cosecante) son del tipo suprayectiva (o sobreyectiva). El dominio son los reales y el
codominio es [-1, 1] por lo que para ms de un valor de x le corresponde el mismo
valor de y.




Ngj/v2008
4 Relaciones y funciones
8
Matemticas Discretas
Tc1003
Relaciones y Funciones

Funcin Biyectiva:
Una funcin que es suprayectiva e inyectiva se llama Biyectiva.

Ejemplo de esta funcin es la funcin lineal: b mx y + = cuyo dominio y cuyo
codominio son los reales. Para cada valor de x le corresponde solo uno de y. Todos
los valores del codominio son la imagen de un valor y solo uno del dominio.













Otras funciones

Funcin Entero Mayor

: x (funcin techo) redondea hacia el siguiente entero. Ejemplos:


3 91 . 3 3 51 . 3 3 01 . 3
4 91 . 3 4 51 . 3 4 01 . 3
= = = = = =
= = = = = =
y y y
y y y




Ngj/v2008
4 Relaciones y funciones
9
Matemticas Discretas
Tc1003
Relaciones y Funciones

Funcin Entero Menor

: x (funcin suelo) redondea hacia el entero. Ejemplos:


4 91 . 3 4 51 . 3 4 01 . 3
3 91 . 3 3 51 . 3 3 01 . 3
= = = = = =
= = = = = =
y y y
y y y


Funcin Truncar
) (x TRUNC : da como resultado la parte entera. Ejemplos:
3 ) 91 . 3 (. 3 ) 51 . 3 ( 3 ) 01 . 3 (
3 ) 91 . 3 ( 3 ) 51 . 3 ( 3 ) 01 . 3 (
= = = = = =
= = = = = =
trunc y trunc y trunc y
trunc y trunc y trunc y


Funcin Compuesta:
fog

Si B A f : y C B g : la funcin compuesta C A fog : se define
( ) ( ) ( ) A a a g f a fog =
. Ejemplo:
{ } 5 , 4 , 3 , 2 , 1 = A { } z y x w B , , , = { } c b a C , , =
Si ( )( )( )( )( ) { } z z y x w f , 5 , 4 , 3 , 2 , 1 = y ( )( )( )( ) { } c z c y b x a w g , , , , =
B A f : C B g : ( )( )( )( )( ) { } c c c b a C A fog , 5 , 4 , 3 , 2 , 1 :

Funcin Inversa
Si f es una funcin uno a uno, entonces la inversa de f , denotada por
1
f es:
} ) , /( ) , {(
1
f en est y x x y f =

Propiedades:
Si
1
f existe entonces:

1
f es una funcin uno a uno
El dominio de
1
f es el rango de f
El rango de
1
f es el dominio de f
Determinacin de la inversa de una funcin f :
1. Encontrar el dominio de f y determinar que es una funcin uno a
uno. Si f no es una funcin uno a uno, entonces no existe
1
f
2. Resolver para x la ecuacin ) (x f y = . El resultado es una ecuacin
de la forma ). (
1
y f x

=
3. Intercambiar x y y en la ecuacin encontrada. Esto expresa a
1
f
como una funcin de x .
4. Encontrar el dominio y el rango de
1
f .



Ngj/v2008
4 Relaciones y funciones
10
Matemticas Discretas
Tc1003
Relaciones y Funciones

Ejemplo:
Encontrar
1
f para 1 ) ( = x x f
Solucin:
1. Dominio de f : ) , 1 [ rango: 0 y , por lo tanto
1
f existe.
2. Despejar x :
1
1
1
2
2
+ =
=
=
y x
x y
x y

3. Intercambiar: 1
2 1
+ = =

x f y
4. Dominio y rango de
1
f : dominio : 0 x , rango 1 y







1 ) ( = x x f
1
2
+ = y x


Ngj/v2008
4 Relaciones y funciones
11
Matemticas Discretas
Tc1003
Relaciones y Funciones

Funcin Recursiva
Una funcin recursiva es aquella que depende de valores precedentes
(anteriores).
Debe contener:
Condiciones iniciales
Procedimiento
Condicin de trmino
Ejemplos:

Subrutina ( ) L n L L fibonacci , , ,
2 1

Definicin de variables
Si 2 > n entonces
2 1
L L L + =

1
2
2 1
=
=
=
n n
L L
L L

llamar ( ) L n L L fibonacci , , ,
2 1

si no
regresar


Funcin factorial ( ) fac n,
Definicin de variables
Si 0 = n entonces 1 = fac
regresar fac ;
Si no
si 1 > n entonces
n fac fac =
1 = n n
= fac funcin factorial ( ) fac n,
regresar fac ;




Ngj/v2008
4 Relaciones y funciones
12
Matemticas Discretas
Tc1003
Relaciones y Funciones

4.3 Historia
9

La palabra funcin fue introducida en 1694 por Gottfried Wilhelm Leibniz
(1646 1716) para designar una cantidad asociada con una curva. En el ao 1718,
Bernoulli (1667 1748) consideraba una funcin como una expresin algebraica
formada por constantes y variables. Las ecuaciones o frmulas con constantes y
variables surgieron con Leonahard Euler (1797 1783). Su definicin de funcin es
la que generalmente se encuentra en los libros de matemticas a nivel de enseanza
media. En 1734 Euler y Alexis Clairaut (1713 - 1765) introdujeron la notacin
) (x f .
La idea de Euler permaneci intacta hasta la poca de Jean Baptiste Joseph
Fourier (1768 1830) quien encontr la necesidad de un tipo ms general de
funcin en su estudio de series trigonomtricas. En 1837, Meter Gustav Lejeune
Dirichlet (1805 1859) estableci una formulacin ms rigurosa de los conceptos
de variable, funcin y correspondencia entre la variable independiente y la variable
dependiente. El trabajo de Dirichlet enfatiza la relacin entre dos conjuntos de
nmeros y no pide la existencia de una frmula o expresin que relaciones a los dos
conjuntos. Con los desarrollos de la teora de conjuntos de George Cantor, se lleg a
una generalizacin de la funcin como un tipo de relacin particular.


Gottfried Wilhelm Leibniz
(1646 1716)







9
[Grimaldi, 308]