Vous êtes sur la page 1sur 22

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

103

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

4 Relaciones y funciones

104

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

105

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

Reflexiva?

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

R:x y

3<3

Reflexiva?

33

Reflexiva?
aRa

Simtrica?
Transitiva?
5<63<6

3<5 y 5<3
3<5

Simtrica?
Transitiva?

35 y 53
35

563 6

cRc

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

106

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, .

Transitiva
x divide exactamente a z

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

Ngj/v2008

4 Relaciones y funciones

107

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

108

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

109

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

Ngj/v2008

y = 3.51 = 3

y = 3.91 = 3

4 Relaciones y funciones

110

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:

fog : A C

se define

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

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 )}

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

111

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

112

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

(L1 , L2 , n, L )

si no
regresar

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

113

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

114

Matemticas Discretas
Tc1003
Relaciones y Funciones

Actividades de Relaciones y Funciones


1. Mencionando los conjuntos a los que se refiere, describe y da un ejemplo de:
a. Relacin ( dibuja la grfica y el diagrama de flechas)
b. Reflexividad
c. Simetra
d. Transitividad
e. Relacin equivalente
f. Relacin de orden parcial
g. Funcin
h. Funcin biyectiva
i. Funcin inyectiva
j. Funcin suprayectiva
2. Escribe 3 relaciones que tengan por lo menos una propiedad y especifica que propiedad
contiene.
3. Escribe 3 relaciones que tengan por lo menos dos propiedades y especifica que
propiedades contiene.
4. Escribe una relacin que sea equivalente.
5. Es la relacin no es igual a, definida sobre el conjunto Z de los enteros, reflexiva,
simtrica, transitiva?
6. Sobre el conjunto {la familia Rodrguez},
a. es la relacin es hermano o hermana de una relacin de equivalencia?
b. Es la relacin tienen el mismo padre que, una relacin de equivalencia?
7. La siguiente relacin:
a. Escribe los pares ordenados
b. dibuja el diagrama de flechas
c. Es reflexiva?
d. Es simtrica?
e. Es transitiva?
8. La final masculina de Wimbledon es ganada por el primer jugador que gane tres de
cinco sets en un juego. Si C y M detonan a los jugadores, dibuja un diagrama de flechas
que demuestre todas las formas posibles en que se puede decidir el juego.
9. 15. Un rumor se difunde como sigue. El que lo origina llama a dos personas por
telfono, Cada una de estas personas telefonea a tres amigos, cada uno de los cuales a
su vez llama a otros 5 ms. Si nadie recibe ms de una llamada y nadie llama al que lo
origino, Cuntas personas conocen a ahora el rumor? Cuntas llamadas telefnicas
fueron hechas?

Ngj/v2008

4 Relaciones y funciones

115

Matemticas Discretas
Tc1003
Relaciones y Funciones
Clasifica como relacin o funcin, segn corresponda y encontrar el dominio, el
codominio y la imagen para cada uno de los siguientes conjuntos:
{ (1,3), (2,5), (3,9), (4,10) }
{ (-1,10), (-1,0), (-1,3) }
{ (x, y) / y = 2x, xZ }
{ (x, y) / x2 +y2 = 1, -1<= x <= 1, xR}
Encuentra el dominio, la imagen y la expresin algebraica:
g = { (3,1), (6,2), (9,3) }
h = { (3,8), (4,10), (5,12) }
El costo c del alquiler de una mquina durante d das es de $50 ms
$10 por da.
Asocia el nmero 4 a cada nmero real no negativo.
Escribe el conjunto de las parejas que forman las siguientes funciones
Asocia a cada nmero entero, desde 3 hasta 6, el doble de su cuadrado.
Asocia a cada nmero entero, desde 4 hasta 2, su inverso aditivo.
Asocia a los cuadrados de los enteros mayores o iguales a cero y menores que 30
su raz cuadrada negativa
Para las siguientes funciones, encuentra lo que se pide:
Sea f(x)= 3x2+1, xR; encontrar f(-2), f(0), f(raz de 2), f(3), f(a-1).
Sea g(x)= 1/2x2-4x, xR; encontrar g(4), g(-2), g(0), g(a), 2g(3), [g(3)g(2)]/[g(2)-g(1)].
Falso o verdadero?
La relacin h : Z+ Z, que asocia a cada entero positivo su raz cuadrada
negativa, es una relacin que es funcin.
Si A es el conjunto de los nmeros primos y B es el conjunto de los
nmeros naturales mayores que 3, entonces la relacin h : A B, que
asocia a cada nmero primo su cuadrado, es una relacin que es funcin.
El conjunto { (3/5, 1), ( 9/8, 1/3), ( 3/5, 2), ( , -1) } representa una
funcin.
El conjunto { (-1,3), (3, -1), (2, -4), (-4,2) } representa una relacin que no
es funcin.
El conjunto { xR+ y2 = x } representa una relacin que no es funcin.
El conjunto { xR+ 4x - y + 1 = 0 } representa una relacin que no es
funcin
El dominio de la funcin definida por f(x)=1/x es el conjunto R de los
nmero reales.
La imagen de la funcin f(x)=-x/2 + 1, xR es el conjunto R+ de los
nmeros reales positivos.

Representacin geomtrica de una funcin:

Ngj/v2008

4 Relaciones y funciones

116

Matemticas Discretas
Tc1003
Relaciones y Funciones

Representacin de una relacin que no es funcin:

Representa una funcin:

Representacin de una funcin:


La funcin f: R R, con f(x)= x + 3, es una funcin biyectiva.
La funcin h: R+ R, con h(x)= raz cuadrada de x, es una funcin
creciente en su dominio.
La funcin h: R R, con g(x)= x2, es una funcin creciente en su
dominio.
La funcin g, que asocia a cada entero no negativo el triple de su cuadrado
y a cada entero negativo la semisuma (1/2) de su valor aumentado en 2, se
expresa como:

g(x) =

3x2, si x si x Z+ {0}
(x + 2)/2 si x Z-

Define:
El dominio de la funcin f(x)=raz cuadrada de x entre x es el
conjunto:
La imagen de la funcin definida por el valor absoluto de x menos x,
con xR es el conjunto:
La funcin h: R+ R con f(x)=raz cuadrada de x entre x es una
funcin:
La funcin f: Z+ Q con f(x)=x/(x+1) es una funcin
Completa:
La funcin h que asocia cada nmero real no negativo la raz cuadrada
positiva del cubo de su valor o a cada real negativo la raz cbica del
Ngj/v2008

4 Relaciones y funciones

117

Matemticas Discretas
Tc1003
Relaciones y Funciones
cuadrado de su valor, se expresa como:
Si g(x)=-5(x2-x)/2, xR , entonces g(g(1)) debe ser igual a:
Si f(x)=x/3+2, xR, entonces f(3)-[2f(6)/f(-12)] es igual a:
Relaciona cada grfica con las funciones:
a. f: (-4,4)R f(x) =

x-4 0<=x<=4
x+4 5<=x<0

b. g: R-R g(x)= x abs(x)


c. h: (-3,3)R h(x)= menos raz cuadrada de (9-x2)
d. f: RR f(x)= -1 si x<-1
x si 1<= x<=3
3 si x > 3
e. g: (-3,3)R g(x)= menos raz de x
f. h: (-5,5)R h(x)= abs(x)
g. f: RR f(x)= -1 si x<-1
abs(x) si 1<= x<=3
3 si x > 3

Ngj/v2008

4 Relaciones y funciones

118

Matemticas Discretas
Tc1003
Relaciones y Funciones

Actividades de Relaciones y Funciones


Mencionando los conjuntos a los que se refiere, describe y da un ejemplo de:
a) Relacin (dibuja la grfica y el diagrama de flechas)
Relacin es un conjunto de pares ordenados
R1: (x, y) (y, y) (y, z) (z, x)
X
4

Y
3

b) Reflexividad xRx : x S xRx ( x est relacionada con x )


Ejemplo: El conjunto de alumnos que se encuentra en su saln de clase
c) Simetra x, y S . Si x R y y R x
Ejemplo: Pedro R Javier Javier R Pedro
c) Transitividad x, y, z S Si xRy y yRz xRz
Pedro R Javier y Javier R Esteban Pedro R Esteban
d) Relacin equivalente
Una relacin R , definida sobre un conjunto S es una relacin de
equivalencia tienen las tres propiedades: reflexiva, simtrica y
transitiva
e) Relacin de orden parcial
Si una relacin es reflexiva, antisimtrica y transitiva es de orden
parcial
f) Funcin
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)
g) Funcin biyectiva
Una funcin que es suprayectiva e inyectiva se llama biyectiva.

Ngj/v2008

4 Relaciones y funciones

119

Matemticas Discretas
Tc1003
Relaciones y Funciones
h) 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)
i) 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
2. Escribe 3 relaciones que tengan por lo menos una propiedad y especifica que
propiedad contiene.
Reflexividad y simetra: A= {2, 3, 4} R= {(2,2), (3,3), (4,4), (2,3), (3,2),
(2,4), (4,2), (3,4), (4,3)}
Reflexividad y transitividad: A= {a, b, c} R= {(a, a), (b, b), (c, c), (a, b),
(b, c), (a, c)}
Transitividad y simetra: A= {2, 3, 4} R= {(2,3), (3,4), (2,4), (3,2),
(4,3), (4,2)}
3. Escribe 3 relaciones que tengan por lo menos dos propiedades y especifica que
propiedades contiene.
Reflexividad y simetra: A= {2, 3, 4} R= {(2,2), (3,3), (4,4), (2,3), (3,2),
(2,4), (4,2), (3,4), (4,3)}
Reflexividad y transitividad: A= {a, b, c} R= {(a, a), (b, b), (c, c), (a, b),
(b, c), (a, c)}
Transitividad y simetra: A= {2, 3, 4} R= {(2,3), (3,4), (2,4), (3,2),
(4,3), (4,2)}
4. Escribe una relacin que sea equivalente.
Equivalente: A= {1, 2, 3} R= {(1,1), (2,2), (3,3), (1,2), (2,1), (1,3), (3,1),
(3, 2), (2, 3)}
5. Es la relacin no es igual a, definida sobre el conjunto Z de los enteros,
reflexiva, simtrica, transitiva?
Reflexiva: x R x : x S x R x : ( x, x)
Simetra:
Transitiva:
x Ry
y Rz :

Ngj/v2008

Ry
x

R y : x y S x R y

R z : x, y z S R y

Rz :

R y : { ( x, y ), ( y, x) }

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

4 Relaciones y funciones

120

Matemticas Discretas
Tc1003
Relaciones y Funciones
6. Sobre el conjunto {la familia Rodrguez},
a. es la relacin es hermano o hermana de una relacin de
equivalencia? NO
b. Es la relacin tienen el mismo padre que, una relacin de equivalencia?
NO
7. La siguiente relacin:
a. Escribe los pares ordenados
pares ordenados: R= {(x, x), (x, y), (x, z), (y, y), (y, z), (z, z), (w,
z), (w, w)
b. dibuja el diagrama de flechas

c. Es reflexiva? SI
d. Es simtrica? NO
e. Es transitiva? NO
8. La final masculina de Wimbledon es ganada por el primer jugador que gane tres
de cinco sets en un juego. Si C y M detonan a los jugadores, dibuja un diagrama de
flechas que demuestre todas las formas posibles en que se puede decidir el juego.

Ngj/v2008

4 Relaciones y funciones

121

Matemticas Discretas
Tc1003
Relaciones y Funciones
9. 15. Un rumor se difunde como sigue. El que lo origina llama a dos personas por
telfono, Cada una de estas personas telefonea a tres amigos, cada uno de los cuales
a su vez llama a otros 5 ms. Si nadie recibe ms de una llamada y nadie llama al
que lo origino, Cuntas personas conocen a ahora el rumor? 39 Cuntas
llamadas telefnicas fueron hechas?38
Clasificar como relacin o funcin, segn corresponda y encontrar el
dominio, el codominio y la imagen para cada uno de los siguientes
conjuntos:
{ (1,3), (2,5), (3,9), (4,10) }
Funcin,
Dominio = {1, 2, 3, 4}
Imagen-{3, 5, 9, 10}
{ (-1,10), (-1,0), (-1,3) }
Relacin
x
Funcin
{ (x, y) / y = 2 , xZ }
Dominio = Z
Codominio = R+
2
2
{ (x, y) / x +y = 1, -1<= x <= 1, xR} Relacin
Encontrar el dominio, la imagen y la expresin algebraica:
g = { (3,1), (6,2), (9,3) }
Dominio = {3, 6, 9} Imagen = {1, 2, 3}
h = { (3,8), (4,10), (5,12) }
Dominio = {3, 4, 5 } Imagen = {8, 10,
12}
El costo c del alquiler de una mquina Dominio = Z+ Imagen = Z+ >= 60
durante d das es de $50 ms $10 por
da.
Asocia el nmero 4 a cada nmero
Dominio = R+ Imagen = {4}
real no negativo.
Escribir el conjunto de las parejas que forman las siguientes funciones
Asocia a cada nmero entero, desde Relacin = {(-3, 18), (-2,8), (-1,2), (0,
3 hasta 6, el doble de su cuadrado.
0), (3, 18), (2,8), (1,2), (4, 32), (5, 50),
(6, 72)}
Asocia a cada nmero entero, desde Relacin = {(-4, 4) (-3, 3), (-2,2), (-1,
4 hasta 2, su inverso aditivo.
1), (0,0), (1, -1), (2, -2)}
Asocia a los cuadrados de los enteros Relacin = { (1, -1), (4,-2), (9, -3), (16,
-4),
mayores o iguales a cero y menores
(25, -5)}
que 30 su raz cuadrada negativa
Para las siguientes funciones, encontrar lo que se pide:
Sea f(x)= 3x2+1, xR; encontrar f(-2), f(-2) = 13 f(0) = 1 f( 2 ) = 7
f(0), f(raz de 2), f(3), f(a-1).
f(3) = 28 f( a 1 ) = 3(a 1)2 + 1
g(4) = -8 g(-2) = 10 g(0) = 0 g(a) =
Sea g(x)= 1/2x2-4x, xR; encontrar
1/2a2-4a
g(4), g(-2), g(0), g(a), 2g(3), [g(3)2g(3) = - 15 [g(3)-g(2)]/[g(2)-g(1)] =
g(2)]/[g(2)-g(1)].
27/19
Ngj/v2008

4 Relaciones y funciones

122

Matemticas Discretas
Tc1003
Relaciones y Funciones
Falso o verdadero?
La relacin h : Z+ Z, que asocia a cada entero positivo su raz
cuadrada negativa, es una relacin que es funcin.
Si A es el conjunto de los nmeros primos y B es el conjunto de los
nmeros naturales mayores que 3, entonces la relacin h : A B,
que asocia a cada nmero primo su cuadrado, es una relacin que es
funcin.
El conjunto { (3/5, 1), ( 9/8, 1/3), ( 3/5, 2), ( , -1) } representa una
funcin.
El conjunto { (-1,3), (3, -1), (2, -4), (-4,2) } representa una relacin
que no es funcin.
El conjunto { xR+ y2 = x } representa una relacin que no es funcin.
El conjunto { xR+ 4x - y + 1 = 0 } representa una relacin que no es
funcin
El dominio de la funcin definida por f(x)=1/x es el conjunto R de los
nmero reales.
La imagen de la funcin f(x)=-x/2 + 1, xR es el conjunto R+ de los
nmeros reales positivos.

verdadero
verdadero

falso
falso
verdadero
falso
falso
falso
verdadero

Representacin geomtrica de una funcin:


verdadero

Representacin de una relacin que no es funcin:


verdadero
Representa una funcin:
verdadero
Representacin de una funcin:
La funcin f: R R, con f(x)= x + 3, es una funcin biyectiva.
La funcin h: R+ R, con h(x)= raz cuadrada de x, es una funcin
creciente en su dominio.
La funcin h: R R, con g(x)= x2, es una funcin creciente en su
dominio.
La funcin g, que asocia a cada entero no negativo el triple de su
cuadrado y a cada entero negativo la semisuma (1/2) de su valor
aumentado en 2, se expresa como:
g(x) =

Ngj/v2008

verdadero
verdadero
falso
verdadero

3x2, si x si x Z+ {0}
(x + 2)/2 si x Z-

4 Relaciones y funciones

123

Matemticas Discretas
Tc1003
Relaciones y Funciones

Define:
El dominio de la funcin f(x)=raz cuadrada de x entre x es el
conjunto:
La imagen de la funcin definida por el valor absoluto de x
menos x, con xR es el conjunto:
La funcin h: R+ R con f(x)=raz cuadrada de x entre x es una
funcin:
La funcin f: Z+ Q con f(x)=x/(x+1) es una funcin
Completa:

R+ {0}
R+ {0}
Inyectiva
Inyectiva

La funcin h que asocia cada nmero real no negativo la


raz cuadrada positiva del cubo de su valor o a cada real
negativo la raz cbica del cuadrado de su valor, se expresa h( x) =
como:
Si g(x)=-5(x2-x)/2, xR , entonces g(g(1)) debe ser igual a:
Si f(x)=x/3+2, xR, entonces f(3)-[2f(6)/f(-12)] es igual a:

x3

x R+

x2

x R

cero
siete

Relaciona cada grfica con las funciones:

Ngj/v2008

4 Relaciones y funciones

124

Vous aimerez peut-être aussi