Вы находитесь на странице: 1из 24

UNIDAD III Relaciones y Funciones

Una
las correspondencias de unos elementos con respecto a otros y se expresa de diferentes maneras una de las ms
puede considerarse como comunes es a travs de una tabla, ejemplo:

relacin

X
0 2 4 6 8

Y
0 4 16 36 64

Una RELACION es un conjunto de pares ordenados. Se denota con

R y se puede representar como:

R ={(0,0), (2,4), (4,6),(6,36),(8,64)}

Matemticas Discretas I Elaborado por: M.C. Elizabeth Santiago Morales

Ingeniera en TICs

RELACIN BINARIA.
Una relacin binaria R de un conjunto X a un conjunto Y es un subconjunto del producto cartesiano X y Y.

Por ejemplo un producto cartesiano:


Si tenemos dos conjuntos A y B, y tratamos de armar todos los pares posibles formados por un elemento del conjunto A y un elemento del conjunto B, obtendremos el producto cartesiano de los dos conjuntos. Se escribe: Podemos representarlo de diferentes formas: diagramas de flechas, diagramas arbolados, tablas y grficos cartesianos. Cada par que formemos con un elemento de A y uno de B, en ese orden, recibe el nombre de par ordenado.

Relacin de X,Y que PERTENECE a R Si los pares XY pertenecen a

R (X,Y)

R, se escribe

X R Y

(X relacin Y) y se dice que X esta relacionado con Y. En el caso X=Y se afirma que R es una relacin binaria sobre R.

Matemticas Discretas I Elaborado por: M.C. Elizabeth Santiago Morales

Ingeniera en TICs

Quien es el Dominio y contradominio de una Relacin de x,y ?


Dominio de R={0,2,4,6,8} Contradominio R={0,4,6,36,64}

X
DOMINIO

Y
0 4 16 36 64
CONTRADOMINIO

0 2 4 6 8

Para cada elemento del dominio debe haber su correspondiente en el contradominio. Una expresin puede expresarse tambin con una ley que la defina ejemplo:

Sean los conjuntos: X={2,3,4} Y={3,4,5,6,7}

Matemticas Discretas I Elaborado por: M.C. Elizabeth Santiago Morales

Ingeniera en TICs

Se define una relacin R de X a Y por los pares (x,y) R. Si X

divide exactamente a Y, encuentre los pares de la relacin


para todo elemento x perteneciente al conjunto X, y todo elemento y perteneciente al conjunto Y. x X y y Y. (2,3) (3,3) (4,3) (2,4) (3,4) (4,4) (2,5) (3,5) (4,5) (2,6) (3,6) (4,6) (2,7) (3,7) (4,7) R= {(2,4), (2,6), (3,3), (3,6), (4,4)}

Ejemplo:
Sea R la relacin en: X={1,2,3,4} definida por pares (x,y) R. Si x y, y x y y pertenecen al conjunto X. Encuentre los pares de la relacin para todo valor x y. X,Y X X={1,2,3,4} Y={1,2,3,4} (1,1) (2,1) (3,1) (4,1) (1,2) (2,2) (3,2) (4,2) (1,3) (2,3) (3,3) (4,3) (1,4) (2,4) (3,4) (4,4)

R= {(1,1),(1,2),(1,3),(1,4),(2,2),(2,3),(2,4),(3,3),(3,4),(4,4)} 4
Matemticas Discretas I Elaborado por: M.C. Elizabeth Santiago Morales

Ingeniera en TICs

En ocasiones se encontrara el smbolo xRy indica que (x,y) R.

se puede leer xRy en voz alta x se relaciona con y

mediante (la relacin) R, o si ya se sabe cul es la relacin


que se considera en el momento, se dice tan slo x se relaciona con y.

Representacin grafica
Una manera til de representar una relacin sobre un conjunto es trazar su dgrafo.

Para trazar el dgrafo relacin en un conjunto x, se marcan primero puntos o vrtices que representan los elementos de x, a continuacin, si el elemento (x,y) esta en la relacin, se traza una flecha de x a y.

Ejemplo:
Trazar el dgrafo de la relacin definida en el ejemplo anterior: 1 2

Lazo

(Arcos dirigidos)

Matemticas Discretas I Elaborado por: M.C. Elizabeth Santiago Morales

Ingeniera en TICs

Ejercicio clase:
X= {1,2,3,4} R={(1,2),(2,2),(2,4),(3,2),(3,4),(4,1),(4,3)} Trazar el dgrafo de la relacin (R).

Matemticas Discretas I Elaborado por: M.C. Elizabeth Santiago Morales

Ingeniera en TICs

PROPIEDADES DE LAS RELACIONES


RELACION Simtrica.
Una relacin R sobre un conjunto A se conoce como simtrica si (x,y) R se tiene (y,x) R.

Si para toda (x,y) R se cumple x R y y R x, se dice que R es simtrica. (si x=y, entonces y=x)

Por lo tanto, hay flechas de ida y vuelta en los vrtices en el dgrafo de la relacin.

Ejemplo:
X={a,b,c,d}

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

c a b d

Matemticas Discretas I Elaborado por: M.C. Elizabeth Santiago Morales

Ingeniera en TICs

RELACION Reflexiva.
Una relacin R sobre un conjunto X recibe el nombre de reflexiva.

Si para toda (x) R se cumple x R x, se dice que R es reflexiva. (Cualquier entero es igual en si mismo)

Por lo tanto en un dgrafo hay flechas de tipo arco dirigido en un vrtice.

Ejemplo:
R= {(1,1),(1,2),(1,3),(1,4),(2,2),(2,3),(2,4),(3,3),(3,4),(4,4)}

Matemticas Discretas I Elaborado por: M.C. Elizabeth Santiago Morales

Ingeniera en TICs

RELACION Antisimtrica.
Una relacin R sobre un conjunto A se llama antisimtrica.

Si para toda (x,y) A se cumple (x R y ^ y R x) x=y, se dice que R es antisimtrica. (los elementos de x se

relacionan con todos los elementos de y)

Ejemplo: (x,y) R, x(y,x)


R= {(1,1),(1,2),(1,3),(1,4),(2,2),(2,3),(2,4),(3,3),(3,4),(4,4)}

Matemticas Discretas I Elaborado por: M.C. Elizabeth Santiago Morales

Ingeniera en TICs

RELACION Transitiva.
Una relacin R sobre un conjunto X se denomina transitiva si para todo por (x,y), (y,z) R se tiene que el par (x,z) R.

Si para toda x,y,z X se cumple (x R y ^ y R z) xRz, se dice que R es transitiva. (Forma un triangulo)

Ejemplo: (x,y)(y,z) R, (x,z) R.


R= {(x,y),(y,z),(x,z)} 1,2 2,3 1,3

10

Matemticas Discretas I Elaborado por: M.C. Elizabeth Santiago Morales

Ingeniera en TICs

RELACION de Orden Parcial.


Una relacin R en un conjunto x recibe el nombre de relacin de orden parcial,

si R es Reflexiva, Antisimtrica y

Transitiva.

Ejemplo:
1 2

Ejercicios 1:
1. Determine si cada relacin definida sobre el conjunto de los enteros positivos correspondientes e los ejercicios siguientes, es reflexiva, simetrica, antisimtrica, transitiva o de orden parcial: a. (x,y) R, si x > y. R={1,2,3,4,5n} b. (x,y) R, si x y. R={1,2,3,4n} Para cada una de las siguientes relaciones definidas en el conjunto {1,2,3,4,5}, determine si es reflexiva, simtrica, antisimtrica y/o transitiva. a. R={(1,1), (2,2), (3,3),(4,4),(5,5)} b. R={(1,2), (2,3), (3,4),(4,5)} c. R={(1,1), (1,2), (1,3),(1,4),(1,5)} d. R={(1,1), (1,2), (2,1),(3,4),(4,3)}

2.

11

Matemticas Discretas I Elaborado por: M.C. Elizabeth Santiago Morales

Ingeniera en TICs

RELACION de Equivalencia.
A manera de introduccin, al avanzar en el estudio de matemticas discretas nos encontramos con diversas relaciones. Algunas de ellas se parecen mucho a la relacin de igualdad. Un buen ejemplo, (tomado de la geometra) es una relacin cuando usamos es congruente con ( ) en el conjunto de los tringulos. Hablando en general, los tringulos son congruentes

si tienen exactamente la misma forma. Los tringulos congruentes no son iguales; podran estar en distintas partes
del plano, pero en cierto sentido, funcionan como tringulos iguales.

De las propiedades que se vieron con anterioridad, (es congruente con) es reflexiva, simtrica y transitiva, pero no antisimtrica. Las relaciones de esas tres propiedades se perecen a la igualdad, y se les da un nombre especial.

Sea R una relacin en un conjunto. Se dice que R es una relacin

de equivalencia, siempre y cuando sea reflexiva, simtrica y


transitiva.

Reflexiva: xRx aRa (Cualquier entero es igual en si mismo) Simtrica: Si x R y y R x, (si x=y entonces y=x) Transitiva: Si (x R y ^ y R z) x R z, (Forma un triangulo)

12

Matemticas Discretas I Elaborado por: M.C. Elizabeth Santiago Morales

Ingeniera en TICs

Una relacin que es reflexiva, simtrica y transitiva en un conjunto X, se conoce con el nombre de relacin de

equivalencia sobre X.
1 SIMETRICA 2

REFLEXIVA

TRANSITIVA

Ejercicios 2:
1.- Cules de las siguientes son relaciones de equivalencia? (a) R={(1,1), (1,2),(2,1),(2,2),(3,3)} en el conjunto {1,2,3}. (b) R={(1,2), (2,3),(3,1)} en el conjunto {1,2,3}. (c ) {(1,2,3) X (1,2,3)} en el conjunto {1,2,3}. (d) {(1,2,3) X (1,2,3,4)} en el conjunto {1,2,3,4}. (e) {(a,b,c,d) X (a,b,c)} en el conjunto {a,b,c,d}. (f) a={1,2,3,4,5,6,7,8}, b={1,2,3,4,5}, donde (a,b) R, si (a,b) =numero par . (g) a={1,2,3,4,5}, b={1,2,3,4,5}, donde (a,b) R, si (a,b) =numero impar .

13

Matemticas Discretas I Elaborado por: M.C. Elizabeth Santiago Morales

Ingeniera en TICs

FUNCIONES
Supongamos que a cada elemento de un conjunto A se le

asigna un nico elemento de un conjunto B; la coleccin


de tales asignaciones conjunto A se llama llama

codominio (contradominio). f una funcin de A en B. Entonces escribimos:


la funcin. Por

dominio

se llama funcin

de A en B. Al

de la funcin, y al conjunto B se

Generalmente se usa un smbolo para denotar ejemplo, sea

f:A

que se lee: f es una funcin de A en B, o f aplica A en B. Si a A, entonces hacemos que f (a) (lase f de a) denote el elemento nico de B que f asigna a

los valores de imgenes se le llama recorrido o imagen de f.

a. Al conjunto de todos

Frecuentemente, una funcin se puede expresar por medio de una frmula matemtica. Por ejemplo, considere la funcin que enva cada nmero real a su cuadrado. Podemos describir esta funcin escribiendo Aqu a x se le llama variable, y la letra f denota la funcin.

f (x) = x2

14

Matemticas Discretas I Elaborado por: M.C. Elizabeth Santiago Morales

Ingeniera en TICs

Ejemplo:
(a) Considere la funcin f(x) = x3, es decir, f asigna a cada nmero real su cubo. Entonces la imagen de 2 es 8, y

as podemos escribir f (2) = 8.

(b) Sea f tal, que asigne a cada pas del mundo su capital. Aqu,
codominio es la lista

el dominio de f es el conjunto de pases del mundo; el

imagen de Francia es Pars; es decir, f (Francia) = Pars.


(c)

de las ciudades del mundo. La

Defina una funcin A={a,b,c,d} en B={r,s,t,u} de la manera obvia. Aqu

f (a)=s.

f (b)=u.

f (c)=r.

f (d)=s.

La imagen de f es el conjunto de valores de imagen, {r,s,u} observe que t no pertenece a la imagen


de f porque t no es una imagen de ningn elemento bajo f.

a b c d A 15
Matemticas Discretas I Elaborado por: M.C. Elizabeth Santiago Morales

r s t u B
Ingeniera en TICs

Cmo identificar si es una FUNCION?


Si tenemos dos conjuntos A y B, y una regla que asocie a todo elemento del conjunto A, con uno y slo un elemento del conjunto B, entonces decimos que tenemos una funcin f definida en A con valores en B.
Una funcin consta de tres cosas: 1. Un conjunto A llamado dominio de la funcin. 2. Otro conjunto B llamado contradominio (codominio) de la funcin. 3. Una regla de correspondencia f que asocia a todo elemento de A, con uno y slo un elemento del conjunto B. La regla debe tener las propiedades siguientes: a. Ningn elemento del dominio puede quedar sin asociado en el contradominio. b. Ningn elemento del dominio puede tener ms de un asociado en el contradominio. Esto no excluye que varios elementos del dominio tengan al mismo asociado en el contradominio.

16

Matemticas Discretas I Elaborado por: M.C. Elizabeth Santiago Morales

Ingeniera en TICs

Ejemplo:
Determinar si la terna (D,C,j) es una funcin. Dominio = {a,b,c,d} Contradominio = {1,3,5,7,9,11} Regla de correspondencia j:

j(a) = 1 j(b) = 5 j(c) = 7 j(d) = 11

a b c d

1 3 5 7 9 11

SI ES UNA FUNCION

Representada grficamente por la notacin SAGITAL.

17

Matemticas Discretas I Elaborado por: M.C. Elizabeth Santiago Morales

Ingeniera en TICs

CLASIFICACION de las Funciones.


INYECTIVA: (univoca) SOBREYECTIVA: (suprayectiva) BIYECTIVA: (biounvoca)

Funcin INYECTIVA: (uno a uno)


Una funcin es inyectiva, tambin llamada unvoca, cuando a cada elemento del contradominio le corresponde slo un elemento del dominio, sin importar que sobren en el contradominio (no a todos llega flecha pero a los que les llega, les llega una).

Ejemplo:
f f: A B A={1,2,3} B={1,6,7,8,9} f(x) = x + 5

A 1 2 3

B 1 6 7 8 9

18

Matemticas Discretas I Elaborado por: M.C. Elizabeth Santiago Morales

Ingeniera en TICs

Funcin SOBREYECTIVA: (sobre)


Una funcin es sobreyectiva, tambin llamada suprayectiva, cuando a todo elemento del contradominio le corresponde un o ms elementos del dominio; no deben sobrar elementos en el contradominio; no importa que algunos elementos del contradominio sean imgenes de ms de un elemento del dominio (a todos les debe llegar flecha, puede ser que a algunos ms de una).

Ejemplo:
f f: A B A= {a,b,c,d} B={1,2,3} f(a) = 1 f(b) = 2 f(c) = 2 f(d) = 3

A a b c d

1 2 3

19

Matemticas Discretas I Elaborado por: M.C. Elizabeth Santiago Morales

Ingeniera en TICs

Funcin BIYECTIVA:
Una funcin es biyectiva, tambin llamada biunvoca, si todo elemento del contradominio es imagen de uno y solamente un elemento del dominio. Es una combinacin de las funciones inyectiva y sobreyectivas; en consecuencia, en el contradominio de la funcin biyectiva no sobran elementos, y ningn elemento es imagen de ms de un elemento del dominio.

Ejemplo:
f J: C D C= {1,2,3} D={1,8,27} J(x) = x3

C 1 2 3

D 1 8 27

20

Matemticas Discretas I Elaborado por: M.C. Elizabeth Santiago Morales

Ingeniera en TICs

Hay Funcines que no son inyectivas, sobreyectivas ni biyectivas:

Ejemplo:
f

A a b c

B 1 2 3

1.- No es inyectiva, porque para serlo tendra que llegar flecha a cada elemento, sin importar que unos sobren.

una

2.- No es sobreyectiva, porque para serlo tendran que llegar flechas a todos los elementos, sin importar que a unos elementos les llegue ms de una. 3.- Como no es inyectiva ni sobreyectiva, entonces tampoco es biyectiva, pues sta resulta de la combinacin de las dos.

21

Matemticas Discretas I Elaborado por: M.C. Elizabeth Santiago Morales

Ingeniera en TICs

Ejercicios 3:
Expresa el concepto de funcin. Relaciones. Dado los conjuntos y la proposicin abierta para cada caso, calcula el conjunto solucin (R) y representa los conjuntos por la notacin sagital y representa la relacin por medio de su dgrafo. . 1. 2. 3. 4. 5. A={5,8}; B={6,7,8}, si x menor que y A={2,3}; B={3,4}, si x igual y D={1,3,5}; E={1,2}, si x mayor que y P={1,2,3,4}; O={4,6}, si x mitad de y A={5,6}; G={6,7,8,9}, si x menor que y.

6. Determina si la terna (A,B,f) es una funcin y da las razones que te permiten concluir. Af={a,b,c} Bf={3,4,5,6} Regla de correspondencia: f(a)=3 f(b)=4 f(c)=6 f(b)=5 7. Determina si la terna (B,D,g) es una funcin; si lo es, define de que tipo. Da las razones que te permiten concluir. Bf={1,2,3} Df={5,6,7} Regla de correspondencia: g(1)=7 g(2)=6 g(3)=5

22

Matemticas Discretas I Elaborado por: M.C. Elizabeth Santiago Morales

Ingeniera en TICs

8. Determina si la terna (A,B,f) es una funcin; si lo es, define cual es su tipo. Af={3,4,5,6} Bf={7,8,9} Regla de correspondencia: f(3)=7 f(4)=7 f(5)=8 f(6)=9 9. De los siguientes diagramas, Cul define una funcin y de qu tipo son?

3 8 7

5 7 9

1 3 7

4 5 8

_________________

__________________

1 4 5 6

7 8 9

1 3 4 5

2 3 4

_________________

__________________

23

Matemticas Discretas I Elaborado por: M.C. Elizabeth Santiago Morales

Ingeniera en TICs

24

Matemticas Discretas I Elaborado por: M.C. Elizabeth Santiago Morales

Ingeniera en TICs