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

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: R: x < y. 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: a Rb 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} R1= {(a, a) (a, b) (a, c) (b, a) (b, b) (b, c) (c, a) (c, b) (c, c)} R1 = A A

* 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 R1: es pap de (A, C) (A, D) (A, E) R2: 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 2

4 Relaciones y funciones

Matemticas Discretas Tc1003 Relaciones y Funciones

Representaciones grficas de relaciones Grfica de relaciones no numricas

Diagrama de flechas 1 2 3 4 ( x, y ) ( y , y ) ( y , z ) ( z, x )

Relacin: ...es ms grande que... Nomenclatura para relaciones (R)

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

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

y

R z es verdadera?

Si

Si xRy, xRz, zRy, yRz, zRz, son verdaderas, Cul es la relacin R?

R = {(x, y ), ( x, z ), (z , y ), ( y, z ), (z , z )}

Ngj/v2008

4 Relaciones y funciones

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 : x S xRx ( 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: x, y S . Si x R y y R x Ejemplo: Pedro R Javier Javier R Pedro 3) Transitiva: x, y, z S Si xRy y yRz xRz 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:
R:x < y R:x y

S = {a, b, c} R = {(a, a ), (c, c ), (a, c ), (c, a )}

33

Reflexiva? Simtrica? Transitiva?

5<63<6

3<3

Reflexiva? Simtrica? Transitiva?

563 6

Reflexiva?
aRa cRc

3<5 y 5<3 3<5

35 y 53 35

Simtrica? Transitiva?

bRb aRc aRc

cRa

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 Simtrica 5 tiene la misma paridad que 3 5 tiene la misma paridad que 7 Transitiva

Ngj/v2008

4 Relaciones y funciones

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 ( a Rb y b Ra 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 a Rb y b Ra es porque el elemento a es igual al elemento b. Ejemplo: A={ 1,2,3,4,6,12} conjunto de divisores positivos enteros de 12 xRy x divide exactamente a y
A A : xRy
(1,1)(1,2 )(1,3)(1,4 )(1,6 )(1,12 ) (2,2 )(2,4 )(2,6 )(2,12 ) R = (3,3)(3,6 )(3,12 ) (4,4 )(4,12 ) (6,6 )(6,12 )

Si x divide a y exactamente y = ax Si y divide a z exactamente z = by z = b( ax ) z = bax z Reflexiva s es porque 1R1, 2R2, . Si aRb bRa simtrica antisimtrica Si aRb y bRa a = b Si a est en relacin con b b est en relacin con a a = b

Transitiva
x divide exactamente a z

Ngj/v2008

4 Relaciones y funciones

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 A B son todas las posibles relaciones
(0, NA)(1, NA) (0, S )(1, S ) A B = (0, B )(1, B ) (0, MB )(1, MB ) ...

(10, NA) (10, S ) (10, B ) (10, MB )

A B = 44 parejas Si NA = no acreditada calificacin 0 - 5 calificacin 6 - 7 Si S = suficiente 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.
R:

Nomenclatura

y = f ( x)

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
6

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 y = ax 2 + bx + c cuyo dominio y cuyo codominio son los reales. As, para y = 3x 2 + 2 x + 1 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

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: y = mx + b 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: y = 3.01 = 4 y = 3.51 = 4 y = 3.91 = 4
y = 3.01 = 3 y = 3.51 = 3 y = 3.91 = 3

Ngj/v2008

4 Relaciones y funciones

Matemticas Discretas Tc1003 Relaciones y Funciones Funcin Entero Menor x : (funcin suelo) redondea hacia el entero. Ejemplos: y = 3.01 = 3 y = 3.51 = 3 y = 3.91 = 3
y = 3.01 = 4 y = 3.51 = 4 y = 3.91 = 4

Funcin Truncar TRUNC ( x) : da como resultado la parte entera. Ejemplos: y = trunc(3.01) = 3 y = trunc(3.51) = 3 y = trunc(3.91) = 3

y = trunc(3.01) = 3

y = trunc(3.51) = 3

y = trunc(.3.91) = 3

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

fog : A C

se define

A={ 1,2,3,4,5} B = {w, x, y, z} C = {a, b, c}

Funcin Inversa Si f es una funcin uno a uno, entonces la inversa de f , denotada por f 1 es: f 1 = {( y, x) /( x, y ) est en f } Propiedades: Si f 1 existe entonces:
f 1 es una funcin uno a uno El dominio de f 1 es el rango de f El rango de f 1 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 f 1 2. Resolver para x la ecuacin y = f ( x) . El resultado es una ecuacin

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

Ngj/v2008

4 Relaciones y funciones

Matemticas Discretas Tc1003 Relaciones y Funciones Ejemplo: Encontrar f 1 para f ( x) = x 1 Solucin: 1. Dominio de f : [1, ) rango: y 0 , por lo tanto f 1 existe.
y= x 1

2. Despejar x : y 2 = x 1
x = y2 + 1

3. Intercambiar: y = f 1 = x 2 + 1 4. Dominio y rango de f 1 : dominio : x 0 , rango y 1

f ( x) =

x 1

x = y2 +1

Ngj/v2008

4 Relaciones y funciones

10

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 fibonacci (L1 , L2 , n, L ) Definicin de variables L = L1 + L2 Si n > 2 entonces

L1 = L2 L2 = L n = n 1
llamar fibonacci si no regresar

(L1 , L2 , n, L )

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

regresar fac ;

Ngj/v2008

4 Relaciones y funciones

11

Matemticas Discretas Tc1003 Relaciones y Funciones

4.3 Historia9
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 f ( x) . 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)

[Grimaldi, 308]

Ngj/v2008

4 Relaciones y funciones

12