Qu entendemos

Por Relacin?
Las relaciones:
Definicin

Algunos
Conceptos
Previos
Aplicaciones

Clasificacin
de las
Relaciones

Otros conceptos
y
propiedades
Ejemplos
Representacin
de las
Relaciones
Ejercicios
Clausuras o
Cerraduras de
Una Relacin
Relacin
De
Conectividad
Composicin
de las
Relaciones

Propiedades
de las
Relaciones

Qu entendemos por
Relacin ?

Informalmente podemos decir que es una
correspondencia entre uno ms
elementos de un conjunto.
1) Par ordenado: es un conjunto de 2
elementos y un criterio de orden ( no es un
conjunto cualquiera porque ah el orden no
interesa!!!!!!!!!!!), lo indicamos (a; b) ; a, y b
se dicen componentes o coordenadas y , en
este caso, a es la primera y b es la segunda.
Es claro que: (a; b ) = (b; a)
Algunos Conceptos
Previos:




Ms Conceptos
Previos:

2 ) Producto cartesiano: es un conjunto cuyos
elementos son pares ordenados . Si A y B son los
conjuntos , indicamos:
A B = { ( x; y ) / x e A . y e B}.
Como (x; y) = (y; x) se deduce que :
A B = B A
Tengamos en cuenta que estamos en presencia de
un conjunto muy particular pero conjunto al
fin!!!!!!!!!!
Y por lo tanto tiene subconjuntos!!!!!!!!!!!







Llamamos relacin a todo subconjunto de un
producto cartesiano.

Si A B es el producto cartesiano y R es la
relacin , lo indicamos:

R _ A B

Definicin de Relacin:
Algunas
Observaciones y
definiciones
relacionadas


1. Es condicin necesaria y suficiente que alguno de
los conjuntos sea vaco para que el producto
cartesiano lo sea.
2. Si los conjuntos son finitos numerables entonces:

3. Se puede extender la definicin a ms de dos
conjuntos y por lo tanto calcular su cardinalidad.
Si el producto cartesiano tiene n conjuntos los
elementos se llaman n uplas.
AB=A.B
Algunas Observaciones y
definiciones:
Al conjunto formado por todas las primeras
componentes de los pares ordenados lo denominamos
dominio de la relacin R.

Formalmente el dominio de una relacin , se define
como:




Definicin de Dominio de
una Relacin:


`

)
e - e e D = x A/ y B:(x;y) R
R







De igual forma al conjunto de todas las segundas
componentes de los pares ordenados de la
relacin lo llamamos Imagen de la relacin .

Formalmente la imagen de la relacin es:







Definicin de Imagen de
una Relacin:


`

)
e - e e I = y B/ x A:(x;y) R
R
Propiedad sobre el dominio
y la imagen de una Relacin:
_
_
D A
R
I B
R


Ejemplo de Relacin:
En A = {2, 6, 8} y B={4, 9, 1,16 } se define la relacin
R, como se da a continuacin:
R={ (x; y ) / x sea divisor de y} , en este caso debemos
seleccionar del producto cartesiano de A por B los
pares ordenados .
Quedan los siguientes pares en la relacin:
R = {(2;4), (2;16), (8;16)}
El dominio de la relacin es { 2, 8 }
La imagen es { 4, 16 }
Sean A y B dos conjuntos y la relacin R_ A B,
llamamos Relacin Recproca o Inversa de R a
_ B A tal que = { (y;x) / (x; y ) e R }

Se cumplen las siguientes propiedades:








-1
R
R
-1
R
R
D =I
I =D
1
R
1
R

Relacin Recproca o
Inversa:
Ejemplo

Ejemplo de
Relacin Recproca o Inversa
Si A = { 1, 2, 3} , B= {4, 5} y R ={(1; 5), (2; 4), (2; 5)},
para armar la relacin recproca o inversa de R debemos
invertir el orden de x e y en los pares ordenados.

Si R = {(1; 5), (2; 4), (2; 5)}

Entonces,

={(5; 1), (4; 2), (5; 2)}


-1
R
Relacin Complementaria
Sean A y B dos conjuntos y la relacin R_ A B,
llamamos Relacin Complementaria de R a
R_ A B tal que R = { (x; y) / (x; y) eR }









R=(AB)-R
Ejemplo
Si A = { 1, 2, 3} , B= {4, 5} y R ={(1; 5), (2; 4), (2; 5)},
para armar la relacin complementaria de R debemos
buscar los pares ordenados que estn, en el producto
cartesiano y no estn en R.

Como el producto cartesiano tiene 6 elementos:
AxB = ={(1; 4), (1; 5), (2; 4), (2; 5), (3; 4), (3; 5)}

Debemos encontrar los tres pares que nos faltan para
constituir la relacin buscada.
Entonces, = {(1; 4), (3; 4) , (3; 5)}






R
Ejemplo de
Relacin Complementaria
Clasificacin de la
Relacin
Segn el nmero
de conjuntos en
el producto
cartesiano
Relaciones unarias
Relaciones binarias
Relaciones n-arias
Relaciones de
Equivalencia
Relaciones de
Orden
Segn
las
propieda
des que
cumplen
VER




Cuando los elementos que se relacionan son dos son la
relacin es binaria.
Es decir que la relacin R es binaria si y solo si
R AxB.

Este tipo de relaciones sern el objetivo de nuestro
estudio.

Relaciones binarias
_
Aplicaciones
Estudiamos las relaciones ya que en la vida
profesional, para almacenar una gran cantidad
de datos se disean bases y muchas veces se usa
el modelo relacional, donde se reflejan las
relaciones entre distintos sectores de la empresa,
personas, etc.

En este modelo de bases de datos se usan
relaciones n-arias , por lo tanto si
comprendemos las relaciones binarias resultar
ms sencillo disear con este modelo una base
de datos.
Conjuntos Infinitos Conjuntos Finitos
Diagrama
de la
Relacin
Matriz de la
Relacin
Dgrafo de
la Relacin
Representacin de las
Relaciones
Si A=B
Ejemplo
de grfico
Ejemplo
de Matriz
Ejemplo
de Dgrafo
Algunas
aclaraciones
sobre matrices
Representacin de las
Relaciones: Grficos
En , se define la relacin S, tal que:
a S b
Es un circunferencia de radio 1 y
centro en el (0; 0)
El grfico es:

2 2
+ =1
b a
P(a;b)
0
Representacin de las
Relaciones: Dgrafos
Considerar en A={1, 2, 3, 4} la relacin R:
R={(1;2),(2;3),(3;4),(4;4),(2;1)}
El dgrafo es:

4

2

1

3

Representacin de las
Relaciones: Matrices
Considerar en A={1, 2, 3, 4} la relacin R:
R={(1;2),(2;3),(3;4),(4;4),(2;1)}
La matriz booleana de la relacin es:

= M
| |
|
|
|
|
\ .
0 1 0 0
1 0 1 0
0 0 0 1
0 0 0 1
Definicin de
Matriz Booleana
Si m y n son dos nmeros naturales, definimos como Matriz
Booleana de elementos aij a la matriz A= , indicando
as que la matriz A tiene m filas y n columnas.
Sus elementos son 0 1.
Genricamente es:
















(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(
(

a a .. a .. .. a
11 12 1n
1j
a a .. a .. .. a
i1 i2 ij in
..
..
.. a .. .. a
mn
mj
{ }
mxn
0, 1
i, j
a
Ms sobre
matrices
Observaciones acerca de
Matriz Booleana
Una matriz se dice cuadrada cuando m = n.
Si m=n entonces la matriz se dice rectangular.
Cualquier elemento con i = j, es decir un
elemento , est en la diagonal principal.
Si = 0 si i = j la matriz A = se dice diagonal.
.
i, j
a
i,i
a
{ }
mxn
0,1
Tengamos en cuenta que si los conjuntos entre los
cuales estn definidas las relaciones son muy grandes,
los diagramas no resultan prcticos.
Ms sobre
matrices
i, j
a
Operaciones entre
Matrices Booleanas
Operacin disyuncin ( suma booleana)
Dadas A, B e , se define la matriz
C = A v B tal que C e y adems cij = aij v bij
i: 1 ... m , j: 1 ... n
Ejemplo:
{ }
mxn
0,1
=
| |
|
|
|
\ .
1 1 0
1 1 1
1 1 1
B A
C
=
v
| | | |
| |
v
| |
| |
\ . \ .
1 0 0 1 1 0
0 0 1 1 1 1
1 1 1 0 0 0
{ }
mxn
0,1
0 1
0 0 1
1 1 1
v
Operacin Conjuncin
Dadas A, B e , se define la matriz
C = A . B tal que C e y adems =
i: 1 ... m , j: 1 ... n
Operaciones entre
Matrices Booleanas
.
i,j i,j
b a
i, j
c
Ejemplo:
1 0 0 1 1 0
0 0 1 1 1 1
1 1 1 0 0 0
| | | |
| |
.
| |
| |
\ . \ .
=
=
B A C
v
1 0 0
0 0 1
0 0 0
| |
|
|
|
\ .
{ }
mxn
0,1
{ }
mxn
0,1
0 1
0 0 0
1 0 1
.
Operaciones entre
Matrices Booleanas
Producto Booleano
Dadas A e y B e , se define la matriz
C = A B tal que C e y adems
i: 1 ... m j: 1 ... n
i,j
=
c
.
i,j i,j
a b v
Ejemplo:
1 0 0 1 1 0 1 1 0
0 0 1 1 1 1 0 0 0
1 1 1 0 0 0 1 1 1
| | | | | |
| | |
=
| | |
| | |
\ . \ . \ .
= B A
C
{ }
mxr
0,1
{ }
r x n
0,1
{ }
m x n
0,1
Trasposicin de matrices
Trasponer matrices significa cambiar filas por
columnas, obtenindose la matriz traspuesta ( )
Es decir si A e , se define traspuesta de A, a la
matriz B e tal que , i: 1 ... m j: 1 ...n.
Operaciones entre
Matrices Booleanas
j,i i,j
=
b a
Ejemplo:
t
A
t
B=
A
| |
|
|
|
\ .
1 0 0
0 0 1
1 1 1
A = B =
| |
|
|
|
\ .
1 0 1
0 0 1
0 1 1
{ }
mx n
0,1
{ }
n x m
0,1
Las matrices y las operaciones que hemos definido son
booleanas.

Las propiedades son las mismas que las vistas para
proposiciones y conjuntos.

Consigna: te animaras a enunciarlas?
Propiedades de las Operaciones
con Matrices Booleanas
Propiedades de las Operaciones
con Matrices Booleanas
Idempotencia
Conmutativa
Asociativa
Distributiva
Absorcin


y se define de la forma que se da a
continuacin:
1si iRj
M
0 en otro
_
= =
Sean A y B dos conjuntos con n y m
elementos , respectivamente, y sea
R A x B .
La matriz de la relacin R, la indicamos
M
R
m
R
ij
caso

Matriz de una relacin

{ }
e
nxm
0,1 M
R
Qu ocurre con las matrices
al efectuar operaciones?
Sean R: A B y S: A B dos relaciones definidas entre
los mismos conjuntos, y sea la matriz de R y
la matriz de S, entonces:
1.
2.
3.
4.

R M
S M
v
RUS R S
=
M M M

.
R S R S
=
M M M
-1
T
=
R R
)
(M
M
__
___
R
R
M =M
Propiedades de las Relaciones
Si R _ A x A adems de analizar todas
las cuestiones vistas antes, interesa
estudiar las siguientes propiedades:

Propiedad Reflexiva
Propiedad Simtrica
Propiedad Transitiva
Propiedad Antisimtrica
Propiedad Reflexiva:
Una relacin R sobre un conjunto X recibe el nombre de
reflexiva si x e X: (x;x) e R.
Observaciones para conjuntos finitos:
El dgrafo de una relacin reflexiva tiene un lazo en
cada vrtice.
La matriz de la relacin tiene = 1, es decir que una
relacin es reflexiva cuando la diagonal principal de la
matriz resultante tiene todos 1.



Propiedades de las Relaciones
Ejemplos
ii
a
Propiedad Reflexiva - Ejemplo
Sea X = { 1, 2, 3, 4 }
R
1
= { (1;1), (1; 2), (1; 3), (1; 4), (2; 2),(2; 3), (2; 4), (3; 3),(3; 4), (4; 4) }

La relacin R
1
es reflexiva porque para cada elemento x e X, se tiene
que (x;x) e R
1
; es decir, que (1; 1) e R
1
, (2; 2) e R
1
, (3; 3) e R
1
y (4; 4)
e R
1
.

El dgrafo correspondiente a esta relacin es:

4
2
1
3
Propiedad Reflexiva - Ejemplo
La matriz de la relacin se corresponde con la siguiente:

| |
|
|
|
|
\ .
1 1 1 1
0 1 1 1
0 0 1 1
0 0 0 1
Como todos los elementos de la diagonal principal son 1,
la relacin es reflexiva.

1
R
M =
Propiedades de las Relaciones
Propiedad simtrica
R es simtrica si (x; y ) e R (y ; x) e R

Tengamos en cuenta que:
Si el conjunto es finito y hacemos el dgrafo veremos
que si hay un arco de x hasta y entonces hay uno que
va desde y hasta x.
Si el conjunto es finito y hacemos la matriz veremos
que es una matriz simtrica.


Ejemplos
Propiedad Simtrica - Ejemplo
Sea X = { 1, 2, 3, 4 }
R
2
= { (1; 1), (1; 2), (2; 1), (2; 4), (3; 3), (4; 2), (4; 4) }
La relacin R
2
es simtrica porque para todo (x; y) e R
2

se tiene que (y; x) e R
2
. Por ejemplo (1; 2) e R
2
y (2; 1) e R
2
.

Observemos el dgrafo de esta relacin que posee la
propiedad de que si existe un arco dirigido de x a y, entonces
tambin existe un arco dirigido de y a x.

2
4
1
3
Propiedades de las Relaciones
Propiedad antisimtrica
R es antisimtrica si (x; y)e R . (x; y) e R x=y

Tengamos en cuenta que:
Decir que una relacin es antisimtrica no es lo mismo
que decir que sea no simtrica.
El dgrafo de una relacin antisimtrica tiene la
propiedad de que entre dos vrtices cualesquiera hay,
a lo sumo, un arco dirigido.

Ejemplos
Propiedad Antisimtrica - Ejemplo
Sea X = { 1, 2, 3, 4 }
R = { (1;1), (1; 2), (1; 3), (1; 4), (2; 2), (2; 3), (2; 4), (3; 3), (3;4), (4; 4) }
R

es antisimtrica porque (1;2) e R y (2; 1 ) e R,
lo mismo para el resto de los pares de la relacin.

Tambin vemos en el dgrafo que hay, a lo sumo,
un arco dirigido entre cada par de vrtices.

4
2
1
3
Propiedades de las Relaciones
Ejemplos
Propiedad transitiva
R es transitiva si (x; y) e R . (y; z) e R (x; z) e R

La matriz y el dgrafo no nos ofrecen mucha
informacin.

Propiedad Transitiva - Ejemplo
Sea X = { 1, 2, 3, 4 }
R = { (1;1), (1; 2), (1; 3), (1; 4), (2; 2), (2; 3), (2; 4), (3; 3), (3; 4), (4; 4) }

Para analizar si es transitiva, al igual que cada vez que trabajemos con
un conjunto finito, es necesario mostrar que se verifica en todos los
casos posibles.
Veamos algunos anlisis importantes que vale la pena tener en cuenta:

Uno de los casos que se debe cumplir es por ejemplo:
(1;2) e R . (2; 1) e R (1;2) e R

Como el condicional ( ) tiene antecedente falso pues (2; 1) e R
por lo cual, ya independientemente del valor de verdad del
consecuente, la proposicin es verdadera.


Por otro lado, dado que (1;3) e R pero, por ejemplo el (3;2) no est
en la relacin, si lo escribimos formalmente queda:
(1;3) e R . (3; 2) e R, que es una proposicin cuyo valor de verdad
es falso.


Propiedad Transitiva - Ejemplo
Como esa proposicin es el antecedente en la definicin de la
propiedad transitiva y es falsa al valor de verdad es verdadero y por lo
tanto no invalida transitividad.
Si el condicional ( ) tiene antecedente falso ya independientemente
del valor de verdad del consecuente, la proposicin es verdadera.

Otro caso son los pares del tipo (a; a):
(1; 1) e R. (1; 1) e R => (1;1) e R

Propiedad Transitiva - Ejemplo
Lo mismo ocurre con los otros pares de iguales componentes.

En definitiva, si ya abarcamos todos los casos posibles, y vimos
que en todos el condicional es verdadero, podemos afirmar que la
relacin R es transitiva.

El dgrafo de esta relacin es:

4
2
1
3
Relacin de Conectividad
Sean:
A un conjunto,
n un nmero natural y
R una relacin definida en A.
x y - un camino de longitud n entre x e y

Tengamos en cuenta que en estn los caminos de
longitud n entre x e y.
Podemos definir tambin la relacin como se da a
continuacin:
x y existe un camino de cualquier longitud entre x e y

n
R
n
R

R
Relacin de Conectividad
Esa es la relacin de conectividad de R y la indicamos
de la siguiente forma:


Tengamos en cuenta que tanto como son
relaciones y si estn definidas en conjunto finitos
podemos dar su dgrafo y su matriz.

R
n
R

2 3 4 n
R =R R R R ... R ...
La matriz de la relacin de conectividad es:

2 n
R R
R R
M = M M ... M ...

v v v v
Ejemplo
Sea A = {a, b, c, d} y la relacin R dada por el dgrafo
|
|
|
|
|
.
|

\
|
1 1 0 0
1 0 0 0
0 0 0 1
0 1 1 0
Escribamos primero
R
M =
Calculemos
2
R
M =
|
|
|
|
|
.
|

\
|
1 1 0 0
1 0 0 0
0 0 0 1
0 1 1 0
|
|
|
|
|
.
|

\
|
1 1 0 0
1 0 0 0
0 0 0 1
0 1 1 0

=
|
|
|
|
|
.
|

\
|
1 1 0 0
1 1 0 0
0 1 1 0
1 0 0 1
Relacin de Conectividad
Ejemplo
Calculemos
|
|
|
|
|
.
|

\
|
1 1 0 0
1 0 0 0
0 0 0 1
0 1 1 0
=
|
|
|
|
|
.
|

\
|
1 1 0 0
1 1 0 0
0 1 1 0
1 0 0 1

|
|
|
|
|
.
|

\
|
1 1 0 0
1 1 0 0
1 0 0 1
1 1 1 0
Calculemos
|
|
|
|
|
.
|

\
|
1 1 0 0
1 0 0 0
0 0 0 1
0 1 1 0
=

=
4
R
M
|
|
|
|
|
.
|

\
|
1 1 0 0
1 1 0 0
1 0 0 1
1 1 1 0
|
|
|
|
|
.
|

\
|
1 1 0 0
1 1 0 0
1 1 1 0
1 1 0 1

R
M =
Relacin de Conectividad
Ejemplo
|
|
|
|
|
.
|

\
|
1 1 0 0
1 0 0 0
0 0 0 1
0 1 1 0
|
|
|
|
|
.
|

\
|
1 1 0 0
1 1 0 0
0 1 1 0
1 0 0 1
|
|
|
|
|
.
|

\
|
1 1 0 0
1 1 0 0
1 0 0 1
1 1 1 0
|
|
|
|
|
.
|

\
|
1 1 0 0
1 1 0 0
1 1 1 0
1 1 0 1
|
|
|
|
|
.
|

\
|
1 1 0 0
1 1 0 0
1 1 1 1
1 1 1 1

Finalmente, calculemos

=
R
M
v v v =
Relacin de Conectividad
Ejemplo
Clausuras o Cerraduras de
una Relacin
Sea R una relacin definida en un conjunto A, decir
queremos encontrar la menor de las relaciones que
incluyen a R y que cumplen la propiedad especificada.
A esta nueva relacin se la llama clausura o cerradura.

La clausura o cerradura reflexiva es la menor de las
relaciones que incluyen a R y que es reflexiva.
La clausura o cerradura simtrica es la menor de las
relaciones que incluyen a R y que es simtrica.
La clausura o cerradura transitiva es la menor de las
relaciones que incluyen a R y que es transitiva.

Ejemplo
Clausuras o Cerraduras de
una Relacin Ejemplo
Sean A = {a, b, c, d} y
R = {(a;a), (a;b), (b;b), (a;c), (c;a), (d;d), (d;b)}

Se ve que R no es reflexiva ya que (c;c) no pertenece a R.
Si se lo agregamos, la nueva relacin ser reflexiva:

Es la Clausura Reflexiva de R.

R tampoco es simtrica pero podemos hallar,

que es la Clausura
Simtrica de R.


= R {(c; c)}
R
R

S
= R {(b; a), (d; b)} R
Clausuras o Cerraduras de
una Relacin
Uniendo la dos relaciones obtenemos:

La Clausura Reflexiva y
Simtrica de R.

R no es transitiva, pero obteniendo obtenemos la
Clausura Transitiva de R.

La Clausura Reflexiva y Transitiva es la Relacin de
Accesibilidad:
O sea, debemos agregar adems de la clausura transitiva,
los bucles.

R,S R S
= {(b; a), (d; b)} R R R

*
A
R =R
Composicin de Relaciones
Sean A, B y C tres conjuntos y R
1
: A B y R
2
: B C dos
relaciones, llamamos composicin de R
1
seguida de R
2
e
indicamos R
2
o R
1
a:
R
2
o R
1
= { (a; c) / - b e B . (a;b) e R
1
. (b; c) e R
2
}

a c b
R1 R2
R2 o R1
A B
C
Ejemplo
Composicin de Relaciones -
Ejemplo
Sean los conjuntos A = { a, b } ; B = { x, y, z, t } y C = { 1, 2, 3 }
y las relaciones binarias:
R : A B / R = { (a;x) , (a;z) , (b;y) , (b;z) , (b;t) }
S : B C / S = { (x;2) , (x;3) , (y;1) , (z;2) , (t;2) }

Hallemos la composicin SoR por extensin:
SoR = { (a;2) , (a;3) , (b;1), (b;2) }

En este caso no es complicado ya que los conjuntos tienen muy
pocos elementos. Pero cuando son ms grandes, es mejor
hallar la composicin en forma matricial, para evitar
olvidarnos de algn par ordenado.


Composicin de Relaciones
Ejemplo
La relacin entre las matrices es: M
SoR
= M
R
M
S

-siendo el producto matricial booleano-.

Las matrices de ambas relaciones son:


M
(R)
= M
(S)
=


Ahora efectuamos el producto:

M
R
M
S
= =

|
|
.
|

\
|
1 1 1 0
0 1 0 1
|
|
|
|
|
.
|

\
|
0 1 0
0 1 0
0 0 1
1 1 0
|
|
.
|

\
|
1 1 1 0
0 1 0 1
|
|
|
|
|
.
|

\
|
0 1 0
0 1 0
0 0 1
1 1 0
|
|
.
|

\
|
0 1 1
1 1 0
Complejidad Media
Complejidad Alta
Complejidad Baja
Ejercicios
Complejidad Baja
1. Sea R la relacin en X = { 1, 2 , 3, 4 }
definida por (x; y) eR si x < y,
definir R, su dominio e imagen.
2. Probar:

v
RUS R S
=
M M M

.
R S R S
=
M M M
-1
T
=
R R
)
(M
M
__
___
R
R
M =M
Complejidad Media
1. Probar : -1
R
R
-1
R
R
D =I
I =D
2. Sea X= {a, b, c} y R = {(a;a), (b;b), (c,c)}
La relacin R es antisimtrica, reflexiva y
simtrica.
Pregunta: Hay alguna otra relacin
distinta de la igualdad que sea a la vez
simtrica y antisimtrica?
Complejidad Alta
Dados A = {a, b, c, d} y B = {1,2,3}
hallar:

i) Cinco funciones f : A B
ii) Cuntas funciones f : A B hay?
iii) Cuntas funciones f : B A hay?
iv) Cuntas funciones f : A B verifican f(a) = 1?
1. Sea R la relacin en X = { 1, 2 , 3, 4 } definida por (x; y) e R si x < y.

Entonces, la relacin resultante es:
R = { (1; 2), (1; 3), (1; 4), (2; 3), (2; 4), (3; 4) }

El conjunto dominio de la relacin R:
D
R
= {1, 2, 3 }

Y el conjunto imagen:
I
R
= { 2, 3, 4 }

Complejidad Baja
1.
Sea - (x; y ) / (x; y ) e RS
(x; y ) e R v (x; y ) e S



v
RUS R S
=
M M M

e
ij R S m M
v
RUS R S
=
M M M
e v e
ij R ij S m M m M
Complejidad Baja
2.
Sea - (x; y ) / (x; y ) e RS
(x; y ) e R . (x; y ) e S

.
R S R S
=
M M M

e
ij R S
m M
e . e
ij R ij S m M m M

.
R S R S
=
M M M
Complejidad Baja
3.
Sea



-1
T
=
R R
)
(M
M
e -1
ji
R
m M
e
ij
R
m M
e
T
ji
R
)
(M
m

-1
T
=
R R
)
(M
M
Complejidad Baja
4.
Sea





__
___
R
R
M =M
e
ij R m M
e
ij R m M
__
___
R
R
M =M
e
_______
ij R
( )
m M
Complejidad Baja






1.

Sea x e - y e B / (x; y) e R (y;x) e
x eImagen , queda probado que:


2. Sea y e - xe A / (x; y) e R (y; x) e
y e , queda probado que:



-1
R
R
D =I
R
D
-1
R
I
c
-1
R
R
D I
R I
-1
R
1
R
D

c
-1
R
R
I D
-1
R
R
D =I
Complejidad Media






Complejidad Media
2. Sea X= {a, b, c} y R = {(a;a), (b;b), (c,c)}
La relacin R es antisimtrica, reflexiva y simtrica.
Pregunta: Hay alguna otra relacin distinta de la igualdad
que sea a la vez simtrica y antisimtrica?

La respuesta es no, por lo tanto a la pregunta hay
relaciones que sean simtricas y antisimtricas?
La respuesta es slo en el caso de la igualdad.








Complejidad Alta


Dados A = {a, b, c, d} y B = {1,2,3}
hallar:

i) Cinco funciones f : A B

f1 = { (a; 1); (b; 2); (c; 2); (d; 3)}
f2= { (a; 3); (b; 1); (b; 3); (c; 3)}
f3 = { (a; 1); (b; 1); (c; 1); (d; 1)}
f4 = { (a; 2); (b; 2); (c; 3); (d; 4)}
f5 = { (a; 2); (b; 2); (c; 2); (d; 1)}






Complejidad Alta


Dados A = {a, b, c, d} y B = {1,2,3} . Hallar:

ii) Cuntas funciones f : A B hay?


iii) Cuntas funciones f : B A hay?


iv) Cuntas funciones f : A B verifican f(a) = 1?

3
4
4
3
3
3