RELACIONES

Unidad 2
RELACIONES
Unidad 2
RELACIONES
En las organizaciones, especialmente las que manejan gran cantidad de datos, es muy importante poder procesarlos
con eficiencia, ya que son fundamentales para una buena toma de decisiones. Los datos se almacenan
generalmente en una base de datos. Un modelo de datos muy comn es el de las bases de datos relacionales, en
las cuales se reflejan las relaciones entre distintos sectores de la empresa, personas, etc.
Las bases de datos relacionales utilizan relaciones n-arias para el almacenamiento y acceso a datos. En esta unidad
extenderemos la nocin de conjunto, ya estudiada en relacin con el caso particular de relaciones binarias (2-arias),
ya que comprendiendo bien este tipo de relaciones, luego ser ms sencillo comprender las n-arias y su utilizacin
en las bases de datos.
As tambin analizaremos el concepto de funcin, que se utiliza en otras asignaturas -como Anlisis Matemtico- y
nos detendremos en un tipo especial de funciones, las operaciones cerradas. Necesitamos entender estos
conceptos para luego poder comprender otros como el de red y grupo.
Intentemos definir el concepto de relacin.
Una relacin puede considerarse como una correspondencia entre los elementos de uno ms
conjuntos.
Por ejemplo, la siguiente tabla muestra qu materias curs cada uno de los siguientes estudiantes:
Estudiante Curs
Juan Matemtica Discreta
Juan Fsica
Mara Matemtica Discreta
Jos Anlisis Matemtico I
Carlos Algebra I
Carlos Anlisis Matemtico I
Es decir,
Juan cursa Matemtica Discreta y Fsica, Mara cursa Matemtica Discreta, Jos cursa Anlisis Matemtico I y Carlos
cursa Algebra I y Anlisis Matemtico I.
Otra forma de especificar una relacin es escribir las columnas del cuadro anterior como pares ordenados. Es decir:
(Juan ; Matemtica Discreta) , (Juan ; Fsica) , (Mara ; Matemtica Discreta) , (Jos ; Anlisis Matemtico I) , (Carlos
; Algebra I) , (Carlos ; Anlisis Matemtico I).
En sntesis, podemos decir que una relacin binaria es un conjunto de pares ordenados.
1
Una relacin puede considerarse como una correspondencia entre los elementos de uno ms n
conjuntos.
e
RELACIONES
Unidad 2
A continuacin, veremos algunas definiciones que nos permitirn representar formalmente el concepto de relacin.
Par ordenado:
Llamamos par ordenado a b y lo indicamos (a ; b) al conjunto de elementos a, b con un criterio de orden que
indica cul es el primer elemento y cul es el segundo.
Producto cartesiano:
Sean A y B dos conjuntos, llamamos producto cartesiano entre A y B y lo indicamos
A xB al conjunto:
C =A x B ={ (x; y) tal que x A . x B }
Relacin binaria:
Una relacin (binaria) R de un conjunto X a un conjunto Y es un subconjunto del producto cartesiano X x Y.
Si (x; y) R se escribe x R y se dice que x est relacionado con y. En el caso de X =Y se afirma que R
es una relacin (binaria) sobre X.
Dominio:
Se llama dominio de la relacin R al conjunto:
D
R
={ x X tal que (x; y) R para algn y Y }
Contradominio:
Se llama contradominio, mbito o imagen de la relacin R al conjunto:
I
R
={y Y tal que (x; y) R para algn x X}
Tomando el ejemplo anterior:
D
R
={ Juan, Mara, Jos, Carlos }
I
R
={ Matemtica Discreta, Fsica, Anlisis Matemtico I, Algebra I }
Otro ejemplo:
Sea R la relacin en X ={ 1, 2 , 3, 4 }definida por (x; y) 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 }
2
e
RELACIONES
Unidad 2
Tengamos en cuenta que:
1. D
R
_ A
2. I
R
_ B
Relacin recproca o inversa:
Sean A y B dos conjuntos y la relacin
R : A B, llamamos relacin recproca o inversa de R a
R
-1
: B A tal que R
-1
={ (y;x) / (x; y ) R }
Es decir que la relacin inversa es la formada por los inversos de los pares ordenados de la relacin original.
Consideremos que:
1. D
R
-

_ B
Puede demostrarse de la siguiente manera:
y D
R
-

existe x A tal que (x; y) R y B.
Por definicin de inclusin queda probado.
Las demostraciones de los puntos que siguen quedan como ejercicio. Tambin pods consultarlas en la bibliografa
de la ctedra en el Captulo 7
2. I
R
-
_ A
3. D
R
-
=I
R
4. I
R
-
=D
R
Relacin complementaria
Sean A y B dos conjuntos y sea la relacin R: A B, llamamos relacin complementaria de R a:
_ _
R: A B tal que R ={ (x; y) / (x; y) eR }
_
R =(A x B) R
Por ejemplo:
Sea A ={ 1, 2 } y B ={ a, b }
R ={ (1; a), (1; b), (2; b) }
A x B ={ (1; a), (1; b), (2; b), (2; b) }
3
e
RELACIONES
Unidad 2
Entonces:
_
R ={ (2; b) }
Funcin
Sean A y B dos conjuntos y sea la relacin A B, se dice que R es funcin cuando cumple
simultneamente con las condiciones de existencia (todos los elementos tienen imagen) y unicidad (esa imagen
es nica).
R : A B tal que:
1. D
R
=A (cumple con Existencia)
2. Si (x; y) R . (x; z) R y =z (verifica Unicidad)
En este caso, se denota, f: A B.
Recordemos entonces que una funcin es una clase especial de relacin.
Por ejemplo:
1. La relacin f ={ (1; a), (2; b), (3; a) }
Donde X ={ 1, 2, 3 } , Y ={ a, b, c } es un funcin de X a Y.
D
f
=X
I
f
={ a, b } _ Y
La relacin f cumple existencia y unicidad.
2. La relacin
R ={ (1; a), (2; b), (3; c), (1;b) }
Donde X ={ 1, 2, 3 } , Y ={ a, b, c } no es un funcin de X a Y.
No se cumple la unicidad ya que:
Se tiene que (1;a) R . (1;b) R pero a= b.
3. La relacin R ={ (1;a) , (2;a) }
Donde X ={ 1, 2, 3 } , Y ={ a, b, c } no es un funcin de X a Y.
No se cumple la existencia ya que D
R
= X.
Antes de continuar, te proponemos que recurras a los ejercicios de relaciones de la Gua y los resuelvas.
Las relaciones pueden representarse de diferentes formas. Para las relaciones definidas entre conjuntos finitos son
importantes dos: a travs de un diagrama cuando los conjuntos no son muy grandes y, en el caso de que los
conjuntos sean iguales, la representacin a travs de un dgrafo -o utilizando matrices booleanas-. Veamos cada una
de ellas.
4
e
RELACIONES
Unidad 2
REPRESENTACIN DE LA RELACIN A TRAVS DE UN DGRAFO
Una manera til de representar una relacin sobre un conjunto es trazar su dgrafo
1
. Para establecer el dgrafo de
una relacin en un conjunto X, se marcan primero puntos o vrtices que representan los elementos del conjunto
X. Si el elemento (x; y) est en la relacin se traza una flecha, llamada arco dirigido desde x hasta y.
Por ejemplo:
Sea X ={ a, b, c, d, e }
R ={ (a; a), (b; c), (c; b), (c; d) }
a
b c
d

REPRESENTACIN DE LA RELACIN A TRAVS DE MATRICES

Si los conjuntos entre los cuales estn definidas las relaciones son muy grandes, los diagramas no resultan
prcticos. Adems, para poder representar relaciones en una computadora, necesitamos una forma algebraica de
representacin. Para ello, recurrimos a las matrices booleanas.
Si my n son dos nmeros naturales, definimos como Matriz Booleana de elementos a
ij
a la matriz A {0, 1}
mxn
, indicando as que la matriz A tiene m filas y n columnas.
Sus elementos a
ij
son 0 1.
1
Este tema lo desarrollaremos en la unidad 6; ahora slo lo mencionamos en el contexto de las relaciones
5
e
Si my m n son dos nmeros naturales, definimos como Matriz Booleana de elementos a
ij
a la matriz A {0, 1}
mxn
, indicando as que la matriz A tiene m filas y n columnas.
Sus elementos a
ij
son 0 1.
RELACIONES
Unidad 2
A =
11 12 1n
i1 ij in
m1 mn
a a ... a
.
a ... a a
a ... ... a
| |
|
|
|
|
|
|
|
\ .
Tengamos en cuenta algunas observaciones:
- Una matriz se dice cuadrada cuando m =n.
- Si m= n entonces la matriz se dice rectangular.
- Cualquier elemento a
ij
con i =j, es decir un elemento a
ii
, est en la diagonal principal.
- Si a
ij
= 0 si i = j la matriz A {0, 1}
mxn
se dice diagonal.

Por ejemplo:
A = B = son matrices booleanas
|
|
|
.
|

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

\
|
0 0
1 1
A e {0,1}
3x3
B e {0,1}
2x2
Operaciones entre Matrices Booleanas:
Las operaciones entre matrices que usaremos son disyuncin, conjuncin, producto matricial y traspuesta.
- Disyuncin o suma booleana
Dadas A, B e {0,1}
mxn
se define la matriz
C =A v B tal que C e {0,1}
mxn
y adems c
ij
=a
ij
v b
ij
i: 1 ... m j: 1 ... n
Ejemplos: v = v =
|
|
.
|

\
|
0 0
1 1
|
|
.
|

\
|
1 0
1 0
|
|
.
|

\
|
1 0
1 1
|
|
.
|

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

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

\
|
1 1 0
1 1 1
- Conjuncin
Dadas A, B e {0,1}
mxn
se define la matriz
C =A . B tal que C e {0,1}
mxn
y adems c
ij
=a
ij
. b
ij
i: 1 ... m j: 1 ... n
6
e
RELACIONES
Unidad 2
Ejemplos: . = . =
|
|
.
|

\
|
0 0
1 1
|
|
.
|

\
|
1 0
1 0
|
|
.
|

\
|
0 0
1 0
|
|
.
|

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

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

\
|
0 1 0
0 0 0
- Producto matricial
Dadas A e {0,1}
mxn
, B e {0,1}
nxp
se define
C =A ~B tal que C e {0,1}
mxp
y adems
n
c
ij
= a
ik
. b
kj
i: 1 ... m j: 1 ... n U
k =1
Ejemplos: ~ = ~ =
|
|
.
|

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

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

\
|
0 1
0 1
|
|
|
.
|

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

\
|
1 1
1 0
|
|
|
.
|

\
|
1 1
1 0
1 0
- Traspuesta de una matriz
En relacin con las matrices, trasponer significa cambiar filas por columnas; as se obtiene la matriz traspuesta.
Es decir si A e {0,1}
mxn
, se define traspuesta de A, a la matriz B e {0,1}
nxm
tal que b
ij
=a
ji
i: 1 ... m j: 1 ... n.
A la matriz traspuesta se la denota A
t
Por ejemplo:
Si A = entonces su traspuesta es: A
t
=
|
|
.
|

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

( )
Si B= entonces su traspuesta es: B
t
=
|
|
|
.
|

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

\
|
1 0 0
1 1 0
1 0 1
Veamos ahora las propiedades de las operaciones con matrices. stas son las mismas que vimos para
proposiciones y conjuntos. Es decir,
Idempotencia: A v A =A A . A =A
Conmutatividad: A v B =B v A A . B =B . A
7
e
RELACIONES
Unidad 2
Asociatividad:
- disyuncin A v ( B v C ) =( A v B ) v C
- conjuncin A . ( B . C ) =( A . B ) . C
- producto matricial booleano A ~ ( B ~ C ) =( A ~ B ) ~ C
Distributividad:
A v ( B . C ) =( A v B ) . ( A v C)
A . ( B v C ) =( A . B ) v ( A . C )
Hasta ahora hemos visto qu son las matrices booleanas y cmo operar con ellas, pero an no sabemos como
utilizarlas para representar relaciones. Veamos...
Matriz de una Relacin
Sea R: A B tal que A ={ a
1
, a
2
, ..., a
n
} y B ={ b
1
, b
2
, ..., b
m
}
Se define como matriz de R a la matriz M
R
e {0,1}
n x m

M
R
=(( m
ij
)) tal que
m
ij
=1 si (a
i
; b
j
) e R ( es decir si a
i
R b
j
)
m
ij
=0 si (a
i
; b
j
) e R
Por ejemplo:
Sean los conjuntos A ={1, 3, 4} y B ={x, y, z, t } y
la relacin binaria R: A B tal que R ={(1;x) , (1; t) , (3;x) , (3;y) , (3;z) , (4;z)}
Construyamos la matriz de la relacin: M
R
=

|
|
|
.
|

\
|
0 1 0 0
0 1 1 1
1 0 0 1
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 M
R
la matriz de R
y M
S
la matriz de S, entonces:
1. M
RUS
=M
R
v M
S
2. M
RS
=M
R
. M
S
8
RELACIONES
Unidad 2
3. M
R
-1
= ( M
R
)
t
4. M
R
=
R
M
En sntesis
- Una relacin puede considerarse como una correspondencia entre elementos de uno o
ms conjuntos.
- Para representar una relacin entre conjuntos finitos se puede utilizar un diagrama, en
el caso de que los conjuntos sean iguales se usa un dgrafo y entonces se marcan
primero puntos o vrtices que representan los elementos del conjunto X. Si el elemento
(x; y) est en la relacin se traza el arco dirigido desde x hasta y.
- Otra forma de representar relaciones entre conjuntos finitos es a travs de matrices
booleanas.
- Algunas de las operaciones entre matrices son: disyuncin, conjuncin, producto
matricial y traspuesta las que nos permiten operar ms fcilmente con las relaciones.
Continuemos ahora analizando las propiedades de las relaciones de un conjunto, en particular las relaciones de
orden y equivalencia.

PROPIEDADES DE LAS RELACIONES EN EL CONJUNTO X

Cuando la relacin R est definida en un conjunto -es decir el primer conjunto y el segundo son el mismo conjunto-
interesa conocer sus propiedades para poder estudiar luego, con ms detenimiento, algunos tipos de relaciones que
cumplen determinadas propiedades. Estas son las relaciones de orden y equivalencia.
Veamos en primer trmino, las propiedades reflexiva, simtrica, antisimtrica y transitiva.
Propiedad reflexiva
Una relacin R sobre un conjunto X recibe el nombre de reflexiva si x X: (x ; x) R.
Tengamos en cuenta que:
- El dgrafo de una relacin reflexiva tiene un lazo en cada vrtice.
- La matriz de la relacin tiene slo 1 en la diagonal principal , es decir a
ii
=1, i
9
Una relacin R sobre un conjunto R X recibe el nombre de reflexiva si x X: (x ; x) R.
- Una relacin puede considerarse como una correspondencia entre elementos de uno o
ms conjuntos.
- Para representar una relacin entre conjuntos finitos se puede utilizar un diagrama, en e
el caso de que los conjuntos sean iguales se usa un dgrafo y entonces se marcan
primero puntos o vrtices que representan los elementos del conjunto X. Si el elemento XX
(x; y (( ) est en la relacin se traza el arco dirigido desde x hasta y.
- Otra forma de representar relaciones entre conjuntos finitos es a travs de matrices rr
booleanas.
- Algunas de las operaciones entre matrices son: disyuncin, conjuncin, producto
matricial y traspuesta las que nos permiten operar ms fcilmente con las relaciones.
RELACIONES
Unidad 2
Por ejemplo:
Sea X ={ 1, 2, 3, 4 }
1. R

={ (1;1), (1; 2), (1; 3), (1; 4), (2; 2),(2; 3), (2; 4), (3; 3), (3; 4), (4; 4) }
La relacin R

es reflexiva porque para cada elemento x X, se tiene que (x;x) R

;
es decir, que (1; 1) R

, (2; 2) R

, (3; 3) R

y (4; 4) R

.
El dgrafo correspondiente a esta relacin es:
4
2
1
3
La matriz de la relacin se corresponde con la siguiente:
M
(R1)
=
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.
2. R

={ (1;1), (1; 2), (2; 1), (2; 4), (3; 3), (4; 2), (4; 4) }
La relacin R

no es reflexiva porque para el elemento 2 X, el par (2; 2) y R

.
Al verlo en el dgrafo, se observa que esta relacin no es reflexiva porque el vrtice 2 no tiene un lazo.
10
e
RELACIONES
Unidad 2
2
4
1
3
En la matriz de la relacin se representa:
M
(R2)
=
1 1 0 0
1 0 0 1
0 0 1 0
0 1 0 1
| |
|
|
|
|
\ .
Claramente se observa que en la matriz de la relacin, el elemento a
22
1, por lo que la relacin no es reflexiva.
Propiedad simtrica
Una relacin R sobre un conjunto X se conoce como simtrica si (x; y) R se tiene que (y;x) R.
Consideremos que:
- El dgrafo de una relacin simtrica tiene la propiedad de que si existe un arco dirigido de xa y
existe tambin un arco dirigido de y a x.
- La matriz de la relacin deber ser simtrica, es decir, espejada respecto de la diagonal principal.
Respecto del ejemplo anterior:
Sea X ={ 1, 2, 3, 4 }
1. R

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

no es simtrica porque
(1; 2) R

y (2; 1) y R

,
lo mismo ocurre con (1; 3) R

y (3; 1) y R

,
(1; 4) R

y (4; 1) y R

,
(2; 3) R

y (3; 2) y R

,
11
e
Una relacin R sobre un conjunto X se conoce como simtrica si (x; y) R se tiene que (y;x) R.
RELACIONES
Unidad 2
(2; 4) R

y (4; 2) y R

,
(3; 4) R

y (4; 3) y R

.
El dgrafo de la relacin corresponde al siguiente:
2
En el dgrafo de esta relacin se ve que la relacin posee la propiedad de que si existe un arco dirigido de xa
y, no existe un arco dirigido de ya x.
Un ejemplo es el par (1;4) donde el (4;1) no se encuentra en la relacin.
Pods identificar otros pares que sirvan tambin de contraejemplo ?
2. R

={ (1; 1), (1; 2), (2; 1), (2; 4), (3; 3), (4; 2), (4; 4) }
La relacin R

es simtrica porque para todo (x; y) R

se tiene que (y; x) R

.
Por ejemplo (1; 2) R

y (2; 1) R

.
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 ya x.
2
4
1
3
4
1
3
12
RELACIONES
Unidad 2
Propiedad antisimtrica
Una relacin R sobre un conjunto X se conoce como antisimtrica si
(x; y) R y (y; x) R x =y.
Es importante tener 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.
- Si una relacin R no tiene elementos de la forma (x; y) con x= y entonces R es antisimtrica.
Por ejemplo:
1. X ={ a, b, c }
R ={ (a;a) , (b; b), (c; c) }
La relacin R es antisimtrica. El dgrafo de R muestra que tiene a lo sumo un arco dirigido entre cada
par de vrtices.
Observemos que R es tambin reflexiva y simtrica.
Podemos preguntarnos hay alguna otra relacin distinta de la igualdad (como en el caso anterior) que a la vez sea
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.
Veamos otros ejemplos:
1. 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) R

y (2; 1 ) y 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.
13
Una relacin R sobre un conjunto X se conoce como antisimtrica si
(x; y) R y R (y; x) R x =y.
e
e
RELACIONES
Unidad 2
2
3
1
4
2. R

={ (1;1), (1; 2), (2; 1), (2; 4), (3; 3), (4; 2), (4; 4) }
La relacin R

no es antisimtrica porque por ejemplo:

(1; 2) R

y (2;1) R

pero 1 = 2.
En el dgrafo podemos ver que hay ms de un arco dirigido entre algunos pares de vrtices.
3
4
1
2
Propiedad transitiva
Una relacin R sobre un conjunto X se conoce como transitiva si (x;y) R e (y; z) R se tiene
que (x; z) R.
14
Una relacin R sobre un conjunto R X se conoce como transitiva si (x;y) R e ( R y; z) R se tiene R
que (x; z) R.
RELACIONES
Unidad 2
Algunas observaciones para tener en cuenta:
1. El dgrafo de una relacin transitiva tiene la propiedad de que siempre que existan arcos dirigidos
de x a y y de y a z entonces tambin existe un arco dirigido de x a z.
2. La propiedad transitiva nos indica una relacin de paso.
Respecto del ejemplo anterior:
Sea X ={ 1, 2, 3, 4 }
1. R
1
={ (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) R
1
. (2; 2) R (1;2) e R
1
Si consideramos los pares (1;2), (2;1), como el condicional () tiene antecedente falso pues
(2; 1) y R
1,
ya independientemente del valor de verdad del consecuente, la proposicin es verdadera.
Lo mismo sucede con (2;4) y (2;3)
Observemos, por otro lado, que (1;3) R
1
pero, por ejemplo el (3;2) no est en la relacin, si lo
escribimos formalmente queda:
(1;3) R
1
. (3;2) R
1
, que es una proposicin cuyo valor de verdad es falso.
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.
Tengamos eso en cuenta para analizar las propiedades:
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) R
1
. (1; 1) R
1
(1;1) R
1
Lo mismo ocurre con los otros pares de iguales componentes.
15
e
e
RELACIONES
Unidad 2
e
En definitiva, si ya abarcamos todos los casos posibles, y vimos que en todos el condicional es verdadero,
podemos afirmar que la relacin R
1
es transitiva.
El dgrafo de esta relacin es:
2
2. R

={ (1;1), (1; 2), (2; 1), (2; 4), (3; 3), (4; 2), (4; 4) }
La relacin R

no es transitiva porque por ejemplo:

(2; 1) R

y (1, 2) R

pero (2; 2) y R

.
El dgrafo se ve de la siguiente manera

Antes de continuar, sinteticemos algunos conceptos:

- Una relacin R sobre un conjunto X recibe el nombre de reflexiva
si \ x X: (x ; x) R.

- Una relacin R sobre un conjunto X se conoce como simtrica

si \ (x; y) R se tiene que (y;x) R.
4
1
3
3
4
1
2
16
Antes de continuar, sinteticemos algunos conceptos:
- Una relacin R sobre un conjunto X recibe el nombre de reflexiva
si \ x \ X: (x ; x) R.
- Una relacin R sobre un conjunto X se conoce como simtrica
si \ (x; y) \ R se tiene que (y;x) R.
RELACIONES
Unidad 2

- Una relacin R sobre un conjunto X se conoce como antisimtrica

si (x; y) R . (y; x) R x =y.
- Una relacin R sobre un conjunto X se conoce como transitiva
si (x;y) R . (y; z) R se tiene que (x; z) R.

Composicin de relaciones
En esta seccin estudiaremos una operacin que tiene muchas interpretaciones y aplicaciones: la conectividad en
dgrafos. Pero previamente vamos a detenernos en el concepto de 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
Por ejemplo:
Sean los conjuntos A ={ a, b } B ={ x, y, z, t } 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) }
17
e
- Una relacin R sobre un conjunto X se conoce como antisimtrica
si (x; y) R . (y; x) R x =y.
- Una relacin R sobre un conjunto X se conoce como transitiva
si (x;y) R . (y; z) R se tiene que (x; z) R.
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
}
RELACIONES
Unidad 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.
La relacin entre las matrices es: M
SoR
=M
R
~ M
S
-siendo ~el producto matricial booleano-.
Verifiquemos en este caso:
Las matrices de ambas relaciones son: M
(R)
= M
(S)
=
|
|
.
|

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

\
|
0 1 0
0 1 0
0 0 1
1 1 0
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
|
|
.
|

\
|
0 1 1
1 1 0
En muchos casos, en aplicaciones en diferentes reas, interesa recorrer un grafo o dgrafo, es decir, ir pasando de
vrtice en vrtice a travs de las aristas. Para eso existen procedimientos (algoritmos) que permiten hacerlo.
Matemticamente una herramienta que ayuda a comprender esa cuestin es la composicin de relaciones, que
permiten darnos cuenta de que existe una correspondencia entre el orden de la composicin y el recorrido de los
vrtices del grafo dgrafo.
Vamos ahora a analizar la conectividad en dgrafos.
La nocin de conectividad
Al determinar que existe algn camino entre los vrtices de un dgrafo estamos estableciendo una relacin de
conectividad.
Sea R una relacin definida en un conjunto A.
Al dibujar el dgrafo de la relacin, las flechas (o aristas) entre dos elementos (o vrtices) indican que dichos
elementos estn relacionados a travs de R. Si no hay flecha entre dos elementos es porque no existe dicho par
ordenado en la relacin.
Si calculamos R
2
, o sea R R (R compuesta con s misma), por definicin tiene a todos los pares ordenados
(x;z) tales que - y e A . (x; y) , (y; z) e R. O sea que en la relacin original R, haca falta recorrer dos
flechas para ir de x hasta z.
En R: x y z En R
2
: x z
Con esto queremos decir que R
2
representa todos los caminos de longitud 2 existentes en la relacin original R.
Anlogamente, si calculamos R
3
, estarn todos los pares ordenados correspondientes a caminos de longitud 3 en
el dgrafo de R. Y as sucesivamente.
Por lo tanto, se puede definir a la relacin:
18
RELACIONES
Unidad 2
x R
n
yexiste un camino de longitud n entre x e y.
Tambin, definimos:
x R

yexiste algn camino de cualquier longitud entre x e y.

Esta relacin se llama Relacin de conectividad de R.
Como en R

estn los caminos de cualquier longitud, ella se forma con la unin de todas las dems, es decir:
R

= R U R
2
U R
3
U R
4
U ... U R
n
U ...
| | | |
unimos los los de los de ... los de
caminos de longitud 2 longitud 3 longitud n
longitud 1
Por lo tanto, haciendo referencia a las matrices, podemos establecer:
M
R

=M
R
v M
R
2
v M
R
3
v ... v M
R
n
v ...
En realidad, si hay n elementos en el conjunto A, los caminos de longitudes mayores a n no nos aportan pares
nuevos, por lo tanto alcanza slo con calcular hasta el nivel n:
M
R

=M
R
v M
R
2
v M
R
3
v ... v M
R
n
Con esto tenemos un mtodo para calcular R

, que implica realizar varios productos de matrices (ya que M

R
2
=
M
R
~ M
R
y as sucesivamente). Adems, luego debe hacerse la v de todas.
Existe un mtodo ms prctico que es el Algoritmo de Warshall, que no usaremos en esta
materia.
Por ejemplo:
Sea A ={ a , b , c , d } y la relacin R dada por el dgrafo:
19
e
RELACIONES
Unidad 2
Escribamos primero M
R
=
|
|
|
|
|
.
|

\
|
1 1 0 0
1 0 0 0
0 0 0 1
0 1 1 0
Ahora calculamos M
R
2
= ~ =
|
|
|
|
|
.
|

\
|
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
Ahora calculamos M
R
3
= ~ =
|
|
|
|
|
.
|

\
|
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
Ahora calculamos M
R
4
= ~ =
|
|
|
|
|
.
|

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

\
|
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
Finalmente calculamos M
R

:
M
R

= v v v =
|
|
|
|
|
.
|

\
|
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
Clausuras o cerraduras de una relacin:
Sea R una relacin definida en un conjunto A, supongamos que R no es de equivalencia pues no cumple alguna
propiedad. Queremos agregarle aquellos pares necesarios para que la cumpla, pero no ms de los necesarios. Es
decir queremos encontrar la menor de las relaciones que incluyen a Ry 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.
Es obvio que si R cumple con una propiedad, ella misma es la clausura de dicha propiedad.
20
RELACIONES
Unidad 2
Hallar la clausura reflexiva es muy simple, ya que solamente debemos agregar los bucles que no estn en el dgrafo
o completar con unos la diagonal de la matriz de R.
Hallar la clausura simtrica tambin es simple, ya que debemos agregar las flechas de vuelta, a todas las flechas
de ida, que no las tengan, o completar los unos que le falten a la matriz para ser simtrica.
Vemoslo en un ejemplo:
Sea A ={ a , b , c , d } y R ={ (a;a) , (a; b) , (b;b) , (a;c) , (c;a) , (d;d) , (b;d) }
Se ve que R no es reflexiva pues (c; c) no pertenece a R. Si se lo agregamos, la nueva relacin ser reflexiva:
R
f
=R '{ (c; c) } es la clausura reflexiva de R.
R tampoco es simtrica, pero podemos hallar:
R
s
= R ' { (b; a) , (d; b) } que es la clausura simtrica de R.
Uniendo las dos obtenemos:
R
fs
=R
f
' R
s
=R'{ (c; c) , (b; a) , (d; b) }
la clausura reflexiva y simtrica.
En este ejemplo, R tampoco es transitiva, pues por ejemplo, (a; b) y (b; d) pertenecen a R y sin embargo,
(a; d) no pertenece.
Podramos entonces agregarlo y con eso obtener la clausura transitiva de R?
Antes, deberamos verificar que no ocurra lo mismo con otros pares, pues en dicho caso, habra ms pares
necesarios que agregar.
No es tan simple darse cuenta de todos los pares necesarios para la transitividad. Pero, si recordamos la relacin de
conectividad R

se puede demostrar que ella es la clausura transitiva de R. Por lo tanto, lo que debemos hacer es
aplicar algn mtodo para calcularla, como por ejemplo, el mtodo de Warshall, mencionado anteriormente, que
pods consultar en la bibliografa recomendada, pero que no utilizaremos en esta asignatura.
La clausura reflexiva y transitiva es la
R* = R

' A
A
(o sea, adems de la clausura transitiva, debemos agregar los bucles.)
Propiedad: Dadas dos relaciones de equivalencia R y S, definidas en un mismo conjunto A, la relacin de
equivalencia ms pequea, que contiene a R y a S es (R U S)

.
Recordemos que para saber si una relacin es transitiva, podemos calcular su clausura transitiva.
Si resultan iguales, significa que la relacin dada era transitiva.

21
e
RELACIONES
Unidad 2
Vamos a sintetizar:

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

- Al determinar que existe algn camino entre los vrtices de un

dgrafo estamos estableciendo una relacin de conectividad.

- M
R

=M
R
v M
R
2
v M
R
3
v ... v M
R
n
v ...)
- La clausura o ce reflexiva es la menor de las relaciones que
incluyen a R y que es reflexiva.
- La clausura o c ica es la menor de las relaciones que
incluyen a R y que es simtrica.
- La clausura o ce va es la menor de las relaciones que
incluyen a R y que es transitiva.
- Teniendo en cuenta la relacin de conectividad R

puede
demostrarse que ella es la clausura transitiva de R aplicando algn
mtodo para calcularla, como por ejemplo, el mtodo de Warshall.
Ahora remitmonos a la Gua de Ejercicios de la ctedra para hacer prcticas sobre este tema.
Estudiamos hasta ahora las propiedades que pueden cumplir las relaciones definidas en un conjunto.
El tema que sigue a continuacin, las relaciones de equivalencia, son de especial inters en ciencias de la
computacin ya que clasifican a los elementos del conjunto donde estn definidas segn un atributo (es decir segn
la relacin que deben cumplir).
Por ejemplo los alumnos de esta Facultad Regional tienen todos un nmero de legajo y el ltimo dgito es el cdigo
verificador, cuando llega el momento de la inscripcin segn ese dgito les corresponde un da para inscribirse, es
decir los alumnos fueron clasificados segn el ltimo dgito de su legajo, podemos pensar que la Relacin que se
defini en el conjunto es dos alumnos se relacionan si el ltimo dgito del legajo es el mismo
Si se cambiara el criterio, por ejemplo por el siguientedos alumnos se relacionan si cumplen aos el mismo mes,
se cambiara el criterio de clasificacin de los alumnos y por lo tanto el da de inscripcin.
La importancia de estas relaciones es su poder de clasificacin.
22
- Sean A, B y C y 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) / - be B . (a;b) e R
1
. (b; c)
e R
2
}
- Al determinar que existe algn camino entre los vrtices de un
dgrafo estamos estableciendo una relacin de conectividad.
- M
R

=M
R
v M
R
2
v M
R
3
v ... v M
R
n
v ...)
- La cla la lausura rra rra raa o ce re re rre reefll ffl flexx exxiiiva va vva vaa es la menor de las relaciones que
incluyen a R y que es reflexiva.
- La cla la lausura rra rra raa o c ic ic ica es la menor de las relaciones que
incluyen a R y que es simtrica.
- La cla la lausura rra rra raa o ce va va vva vaa es la menor de las relaciones que
incluyen a R y que es transitiva.
- Teniendo en cuenta la re re rre reela la lacin n n de de de conecti tiivi vii vvidda da dda dad R

puede
demostrarse que ella es la clausura transitiva de R aplicando algn
mtodo para calcularla, como por ejemplo, el mtodo de Warshall. jj
RELACIONES
Unidad 2
RELACIONES DE EQUIVALENCIA
Una relacin binaria es de equivalencia si es reflexiva, simtrica y transitiva.
Las relaciones de equivalencia suelen representarse con el smbolo: ~
Veamos a continuacin algunas definiciones:
Sea (A ; ~), se define como clase de equivalencia del elemento a e A:
a =[ a ] =Cl (a) ={ x e A / x ~ a }
O sea, en la clase de equivalencia de a, estn todos los elementos que se relacionan con a.
Sea (A/~), se define como conjunto cociente al conjunto formado por todas las clases de
equivalencia. Es decir,
A/~ ={ Cl(a) / a e A }
Ejemplo 1:
Dado el conjunto A ={ a, b, c, d, e, f } y la relacin
R ={ (a;b) , (a;c) , (b;c) , (c;b) , (b;a) , (c;a) , (e;f) , (f;e) } ' A
A
- Qu es A
A
? A
A
={ (x;x) / x e A }
es decir, A
A
es el conjunto formado por todos los pares reflexivos.
- Es R una relacin de equivalencia? Si lo es, halla las clases de equivalencia y el conjunto cociente.
23
Sea (A ; ~), se define como clase de equivalencia del elemento a e A:
a =[ a ] =Cl (a) ={ xe A / x ~ a }
Sea (A/~), se define como conjunto cociente al conjunto formado por todas las clases de
equivalencia. Es decir,
A/~ ={ Cl(a) / a e A }
e
RELACIONES
Unidad 2
Primero hagamos el dgrafo de la relacin R:
A
Ahora hallemos las clases de equivalencia y el conjunto cociente.
cl(a) ={ a, b, c } cl(b) ={ a, b, c } cl(c) ={ a, b, c }
Como las tres anteriores son la misma, debemos poner un solo representante, por ejemplo la a.
cl(d) ={ d } cl(e) ={ e, f } cl(f) ={ e, f }
De las dos ltimas tambin elegimos un representante.
El conjunto cociente es: A/ R ={ cl(a), cl(d), cl(e) }
El ejemplo que se da a continuacin es muy importante para las ciencias de la computacin, por ejemplo para
seguridad informtica.
Ejemplo 2:
Congruencia Mdulo n:
En el conjunto de los enteros se define la relacin: a R b a b (n) n a b, n e N
Se lee aes congruente con b mdulo n
Demostracin de equivalencia.
Reflexiva:
x e Z : x - x =0 x - x =0 - n n | x - x x x (n)
a
b
d
e c
f
24
e
RELACIONES
Unidad 2
Simtrica:
x, y e Z : x R y x y (n) n| x - y x - y =n - k . k e Z - ( x - y) =- n k
y - x =n - (-k) . -k e Z n | y - x y x (n) y R x
Transitiva:
x , y , z e Z : x R y . y R z x y (n) . y z (n) n| x - y . n | y - z
x - y =n - k . k e Z . y - z =n - t . t e Z sumando miembro a miembro
x - y +y - z =n - k +n - t x - z =n - (k +t) . k+t e Z
n | x - z x z (n) x R z
Consider el caso particular de n=3 (Congruencia mdulo 3) y calcul las clases de equivalencia y el conjunto
cociente.
cl(0) ={ x e Z / x =3 k con k e Z }
O sea que en la clase del cero estn todos los mltiplos de 3.
cl(1) = ={ x e Z / x =3 k +1 con k e Z }
O sea que en la clase del uno estn todos los enteros que al dividir por 3 dan resto 1.
cl(2) =={ x e Z / x =3 k +2 con k e Z }
O sea que en la clase del dos estn todos los enteros que al dividir por 3 dan resto 2.
Nos qued algn entero sin saber en qu clase est? NO. Por lo tanto, podemos escribir el conjunto cociente:
Z
R
=
Z
(3) =
={ cl(0), cl(1), cl(2) }
Es decir, que solamente hay 3 clases pero con infinitos elementos dentro de cada una.
Nota: en vez de escribir el conjunto cociente
Z
(3) =
se escribe Z
3
A las clases de equivalencia de esta relacin se les suele decir clases residuales, ya que son los restos posibles
al dividir por 3.
Cmo ser Z
4
, Z
5
y en general Z
n
?
Z
4
={ cl(0), cl(1), cl(2), cl(3) } Z
5
={ cl(0), cl(1), cl(2), cl(3), cl(4) }
Z
n
={ cl(0), cl(1), - - - , cl(n-1) }
25
RELACIONES
Unidad 2
Pero, cuidado: cl(2) en la congruencia mdulo 5 NO es la misma cl(2) en la congruencia
mdulo 4, por ejemplo.
Veamos un caso cercano y muy concreto donde se utiliza la congruencia mdulo n:
Cada alumno de la Facultad tiene un nmero de legajo que lo identifica, por ejemplo, 117234-7. El ltimo dgito,
es decir el que se escribe despus del guin, se llama dgito verificador.
Tambin el CUIL, CUIT, nmero de empleado, cliente, etc. tienen dgitos verificadores.
Pero para qu sirven? Pues, por ejemplo, volviendo al del nmero de legajo de la facultad, en las inscripciones,
los finales o cuando se necesita informacin de un alumno en particular, se ingresa su nmero de legajo en una
computadora para obtenerla. Si no existiera ese dgito verificador el programa ira directamente a buscarlo a la base
de datos y si hubiera un error en el nmero ingresado, este se detectara luego de haberlo buscado en la base, es
decir se perdera tiempo intilmente para acceder a los datos. En cambio, si primero se controla que el nmero
ingresado sea correcto, se evita el acceso innecesario a la base de datos, a la que solamente se accede cuando el
nmero de legajo ingresado es correcto.
Cmo se hace esa verificacin?
Pues es un clculo de congruencia mdulo 7 para los legajos menores a 100000 y mdulo 11 para los legajos
mayores o iguales a 100000.
Para los legajos inferiores a 100000, supongamos 82165-3, se hace un clculo con unos coeficientes enteros
de ponderacin fijos: a, b, c, d, e(no damos ac sus valores explcitos) y se obtiene un nmero x; en este caso
ser:
x =a 8 +b 2 +c 1 +d 6 +e 5
Luego hay que considerar la clase de x mdulo 7 -es decir se divide x por 7- y se mira el resto. Dicho resto es el
dgito verificador.
Es decir que los legajos inferiores a 100000 solo tienen dgitos verificadores de 0 a 6. En cambio, para los legajos
a partir del 100000, se hace lo mismo pero mdulo 11.
Ustedes se preguntarnacaso algunos legajos tienen doble dgito verificador?, ya que un resto posible en la
divisin por 11 es 10. Pues los que dan resto 10 llevan como dgito verificador al 0.
Es importante tener en cuenta esto cuando, por ejemplo, se planifican los das de inscripcin, ya que se separan a
los alumnos segn su dgito verificador. Hay que considerar que los de dgito 0 son aproximadamente el doble de
alumnos que de los otros dgitos. Si no se tiene en cuenta esto, algunos alumnos tendrn que prepararse para hacer
una larga cola el da que les toque inscribirse.
Una observacin:
Ser casualidad que los dos mdulos utilizados (tanto 7 como 11) sean nmeros primos? Ms adelante, cuando
estudiemos grupos cclicos, veremos que propiedades tienen los Z
n
con n primos.
Ejemplo 3:
En el conjunto de los reales |R se define: x S y x
2
- 4 x =y
2
- 4 y
Se pide:
a) Demostrar que es de equivalencia
b) Graficar la relacin.
c) Hallar las clases y el conjunto cociente.
26
e
RELACIONES
Unidad 2
Solucin:
a) Reflexiva:
x e |R : x
2
- 4 x =x
2
- 4 x (pues toda cosa es igual a s misma) x S x
Simtrica:
x , y e |R : x S y x
2
- 4 x =y
2
- 4 y y
2
- 4 y =x
2
- 4 x
(por simetra de la igualdad) y S x
Transitiva:
x , y , z e |R : x S y . y S z x
2
- 4 x =y
2
- 4 y y
2
- 4 y =z
2
- 4 z
x
2
- 4 x =z
2
- 4 z (por transitividad de la igualdad) x S z
b) Para graficar la relacin vamos a tratar de simplificar un poco:
x
2
- 4 x =y
2
- 4 y x
2
- 4 x +4 =y
2
- 4 y +4 (x - 2 )
2
=(y - 2 )
2

| x - 2 | =| y - 2 | x - 2 =y - 2 v x - 2 =- y +2 y =x v y =4 - x
b) Son dos rectas:
y
-2 -1 0 1 2 3 4 x
c) En el grfico puede verse que todos los elementos se relacionan con dos (tienen dos imgenes) excepto el 2 que
tiene una sola, pues es justo la interseccin de las dos rectas:
cl(2) ={ 2 } para los dems: cl(x) ={ x , 4 - x }
Por ejemplo: cl(1) ={ 1, 3 } , cl(5) ={ 5 , -1 } , etc.
27
RELACIONES
Unidad 2
En total hay infinitas clases, por eso el conjunto cociente debe darse por comprensin en vez de por extensin.
Est bien escribir el conjunto cociente as: |R / S ={ cl(x) / x e |R }?
NO. Pues se estara nombrando dos veces a cada clase (al decir x e |R estamos nombrando, por ejemplo, la
clase del uno dos veces al decir cl(1) y cl(3), dado que es la misma)
Entonces... qu hacemos?
Puede escribirse as: |R / S ={ cl(x) / x e (- , 2 ] }
O bien, si de cada clase tomamos como representante al mayor:
|R / S ={ cl(x) / x e [2 , + ) }
Al subconjunto de A que est formado por un representante de cada clase se lo llama conjunto
de ndices.
Llegados a este punto, podemos enunciar el teorema fundamental de las relaciones de equivalencia
Toda relacin de equivalencia definida en un conjunto provoca en l una particin
(conjunto cociente). Recprocamente, toda particin de un conjunto induce en l una
relacin de equivalencia.
La demostracin de este Teorema pods encontrarla en el libro de la ctedra, captulo 12
Esquemticamente:
Sintetizando
- Una relacin binaria es de equivalencia si es reflexiva, simtrica y transitiva.
- Sea (A ; ~), se define como clase de equivalencia del elemento
ae A: a =[ a ] =Cl (a) ={ x e A / x ~ a }
28
Toda relacin de equivalencia definida en un conjunto provoca en l una particin
(conjunto cociente). Recprocamente, toda particin de un conjunto induce en l una
relacin de equivalencia.
Sintetizando
- Una relacin binaria es de equivalencia si es reflexiva, simtrica y transitiva.
- Sea (A ; ~), se define como clase de equivalencia del elemento a
ae A: a =[ a ] =Cl (a) ={ x e A / x ~ a }
RELACIONES
Unidad 2
- Sea (A/~ ), se define como conjunto cociente al conjunto formado por todas las
clases de equivalencia. Es decir, A/~ ={ Cl(a) / a e A }
- El teorema funda t l de las rel i s de equivalencia afirma que: Toda
relacin de equivalencia definida en un conjunto provoca en l una particin
(conjunto cociente). Recprocamente, toda particin de un conjunto induce en l una
relacin de equivalencia.
A continuacin, estudiaremos un tipo especial de funciones, las operaciones binarias cerradas, las que aplicaremos
en las unidades siguientes de esta asignatura, por ejemplo, en la unidad 3 al abordar el tema Redes, en la unidad
4 con lgebras de Boole y en la unidad 5 al estudiar Grupos en los que profundizaremos las estructuras
algebraicas definidas en un conjunto con una operacin cerrada.
Operaciones Cerradas
Para poder entender bien este concepto, primero pensemos en alguna operacin conocida por nosotros aplicada a
un conjunto determinado, por ejemplo la adicin de nmeros naturales. Cada vez que sumamos dos naturales, el
resultado es tambin un nmero natural. Podemos decir que el resultado siempre estar dentro del conjunto, por
eso la operacin es cerrada o interna. En cambio, si consideramos la adicin en el conjunto A ={1, 2, 3, 4,
5}vemos que no es cerrada ya que por ejemplo, 3 +4 e A.
Como vemos una misma operacin puede ser cerrada en un conjunto y no en otro. Por eso siempre debemos
indicar cul es el conjunto y cul es la operacin a considerar.
Generalizando el ejemplo anterior, podemos decir que una operacin cerrada es una operacin definida en un
conjunto tal que el resultado de operar dos elementos, es siempre un elemento del mismo conjunto. Para no
utilizar el smbolo de ninguna de las operaciones conocidas (como +, -, etc.) usaremos, por ejemplo, el smbolo
para indicar que puede ser cualquier operacin y no una en particular.
A continuacin presentaremos la definicin simblica o formal:
Sea un conjunto A = C y una operacin definida en A.
Se dice que es operacin cerrada en A x, y e A : x y e A
O de otra forma equivalente:
Sea un conjunto A = C. : A X A A es operacin cerrada en A es funcin.
Tengamos en cuenta que:
1) Las operaciones binarias y cerradas se pueden denotar con el smbolo o cualquier otro, como ,
-, +, , A, , etc. Para indicar que en el conjunto A se ha definido tal operacin se escribe
( A ; )
2) A las operaciones cerradas tambin se las llama, a veces, leyes de composicin interna o leyes de
cierre.
29
- Sea (A/~ ), se define como conjunto cociente al conjunto formado por todas las
clases de equivalencia. Es decir, A/~ ={ Cl(a) / a e A }
- El teorema funda t l de las rel i s de equivalencia afirma que: Toda
relacin de equivalencia definida en un conjunto provoca en l una particin
(conjunto cociente). Recprocamente, toda particin de un conjunto induce en l una
relacin de equivalencia.
RELACIONES
Unidad 2
Analicemos algunos ejemplos:
Ya habamos visto que la adicin es operacin cerrada en |N, tambin lo es en Z, en Q y en |R.
En cambio, en el conjunto de enteros impares, la adicin no es cerrada pues al sumar dos impares el resultado no
es impar, sino par.
La multiplicacin de enteros impares s es cerrada, ya que si x e y son impares, su producto x - y tambin es
impar. Se puede demostrar genricamente:
Si x =2 k +1 e y =2 t +1
con k, t e Z x - y =( 2 k +1 ) - ( 2 t +1 ) =4 k t +2 k +2 t +1
que se puede escribir como: x- y =2 - ( 2 k t +k +t ) +1siendo 2 k t +k +t e Z.
La potenciacin en |N es cerrada, pero no lo es en Z, pues por ejemplo 2
-3
e Z.
Veamos ahora otros ejemplos con otro tipo de operaciones que no sean las aritmticas:
1) Queremos saber si la unin de conjuntos (') es cerrada en P({a,b})
Los elementos de P({a,b}) son: C , {a}, {b} y {a,b}
Si efectuamos todas las uniones posibles entre dos cualesquiera de ellos, el resultado siempre ser alguno de
ellos, por lo tanto es cerrada.
2) Analicemos si la interseccin () es cerrada en el conjunto X =P({a,b}) C)
En este caso, al no tener al C, resulta que, por ejemplo,{a} {b} e X, por lo tanto la operacin no es
cerrada.
3) Si consideramos como operacin en el conjunto A ={1, 2, 3, 6} a la que devuelve el mximo comn
divisor, podremos comprobar que es cerrada. Podemos construir una tabla para realizar todas las posibles
operaciones:
Para construir la tabla, primero colocamos los elementos del conjunto tanto en la
columna de la izquierda como en la fila superior, en el mismo orden en ambas:
1 2 3 6
1
2
3
6
Para llenar los casilleros de los resultados hay que tener en cuenta que la tabla se lee
de izquierda hacia arriba, donde a b =m.c.d.{a, b}
Por ejemplo, para ubicar el resultado de 2 3, buscamos el 2 en la primer columna
y marcamos su fila:
30
e
RELACIONES
Unidad 2
1 2 3 6
1
2
3
6
Luego buscamos el 3 en la fila superior y marcamos su columna:
1 2 3 6
1
2
3
6
El casillero interseccin es el que debe contener el resultado:
2 3 =m.c.d{2,3} =1
1 2 3 6
1
2 1
3
6
Haciendo lo mismo con todos los casilleros, la tabla queda:
1 2 3 6
1 1 1 1 1
2 1 2 1 2
3 1 1 3 3
6 1 2 3 6
4) Analicemos si la operacin que devuelve el mnimo comn mltiplo es cerrada en A={1,2,3,4}
En este caso, por ejemplo m.c.m.{2,3} =6 pero 6 e A, por lo tanto la operacin no es cerrada.
Hasta ahora hemos visto lo que significa que una operacin sea cerrada en un conjunto. A continuacin veremos
algunas propiedades que pueden tener las operaciones cerradas y que nos van a servir para clasificar las estructuras
y poder trabajar ms gilmente.
31
e
RELACIONES
Unidad 2
Propiedades de una Operacin Cerrada
Sea A = C y es una operacin cerrada definida en A.
Podemos describir las siguientes propiedades:
1) Propiedad asociativa.
Se dice que es asociativa a, b, c e A : a ( b c ) =( a b ) c
Bsicamente, si se cumple esta propiedad se pueden cambiar los parntesis de lugar sin que ello afecte al
resultado.
Por ejemplo:
a) La adicin y la multiplicacin son asociativas en |R.
b) Si consideramos la potenciacin en |N , vemos que es cerrada pero no es asociativa pues, por ejemplo:
2
(3 )
2 =
3 2
(2 )
c) La interseccin de conjuntos es asociativa.
2 ) Elemento neutro.
Se dice que tiene neutro o identidad - e e A : a e A : e a =a e =a
O sea que el elemento neutro de una operacin cerrada es aquel que al estar operado con cualquier otro no afecta
el resultado.
Por ejemplo:
En la suma de enteros, el neutro es el cero, pues x +0 =x . 0 +x =x para cualquier x.
En la multiplicacin de enteros el neutro es el uno, pues x - 1 =x . 1 - x =x para cualquier x.
En la unin de conjuntos el neutro es el conjunto vaco C , pues C ' X =X .
X ' C =X para cualquier conjunto X.
La potenciacin en los naturales no tiene neutro pues si bien x1 =x, sin embargo no se cumple que 1x =x
3) Elementos simtricos.
Consideremos ahora que en el conjunto A existe elemento neutro e, entonces:
dado un elemento a e A, el simtrico de a es otro elemento a e A : a a =a a =e
Si a e A : - a e A , se dice que el conjunto A con la operacin tiene simtrico.
32
e
e
RELACIONES
Unidad 2
Por ejemplo:
En la adicin de enteros, el simtrico de cada elemento es el opuesto. As, por ejemplo, el simtrico de 3 es -3 ya
que 3 +(-3) =0 (neutro). En forma genrica podemos escribir que: a =-a
En la multiplicacin de racionales, el simtrico de un elemento es el recproco. As, por ejemplo, el simtrico de 3
es
1
3
ya que 3 -
1
3
=1 (neutro). En forma genrica se puede expresar: a =
1
a
siempre que ese resultado
sea un nmero racional.
Pero hay un elemento racional que no tiene simtrico respecto de la multiplicacin: el cero. Por lo tanto, se dice que
la multiplicacin no tiene simtrico en Q, ya que no todos sus elementos lo poseen.
4) Propiedad conmutativa.
Se dice que es conmutativa a, b e A: a b =b a
Es decir, que si esta propiedad se cumple para una operacin, el orden de los operandos no afecta al resultado.
Por ejemplo:
La adicin y la multiplicacin son conmutativas en todos los conjuntos numricos.
La potenciacin en |N no lo es, ya que por ejemplo: 2
3
= 3
2
.
La unin y la interseccin de conjuntos s son conmutativas.
La conjuncin y la disyuncin de proposiciones lgicas tambin son conmutativas, pero el condicional no lo es.
5) Elementos idempotentes.
Dado un elemento a e A , a es idempotente a a =a
Si a e A: a es idempotente, entonces el conjunto A con la operacin es idempotente.
Por ejemplos:
a) En la multiplicacin de enteros los elementos idempotentes son el 0 y el 1, nicamente.
b) El conjunto de proposiciones lgicas con la conjuncin es idempotente.
6 ) Elemento absorbente.
Dado un elemento b e A , b es absorbente a e A: b a =a b =b
Es decir, que si existe elemento absorbente, cuando se opera con ste, el resultado siempre es el mismo.
33
e
e
e
RELACIONES
Unidad 2
Por ejemplo:
a) En la multiplicacin de enteros, el elemento absorbente es el cero.
b) En el conjunto de proposiciones lgicas con la disyuncin, el elemento absorbente es la tautologa,
ya que p v V =V
Hasta aqu vimos diferentes propiedades que pueden o no cumplir las operaciones cerradas. Los ejemplos que
fuimos viendo junto con las propiedades corresponden a operaciones usuales o conocidas por nosotros como la
adicin, multiplicacin y potenciacin en los conjuntos numricos, o la unin e interseccin de conjuntos, o las
operaciones lgicas.
Pero por ejemplo, no hemos considerado en los casos analizados la sustraccin o a la divisin, ya que en realidad
toda resta es una suma entre el primer elemento y el opuesto del segundo, y toda divisin es el producto del primer
elemento por el inverso del segundo. Es decir, aunque creamos que la sustraccin y la divisin son operaciones, en
realidad se arman sobre la base de las operaciones conocidas. De la misma manera, podemos ir armando nuevas
operaciones basndonos en ellas. Veamos algunos ejemplos:
Ejemplo 1:
Supongamos que en Z se define la siguiente operacin: a * b =a +b +2
Qu significa eso? Significa que el resultado de operar dos enteros, en este caso es la suma de ambos mas 2.
Por ejemplo: 3 * 4 =9 ya que 3 +4 +2 =9
Y cunto es 2 * 2? 2 * 2 =2 +2 +2 =6
Y si queremos hacer x * y? x * y =x +y +2
No importa como se llamen los elementos, lo que caracteriza a esta operacin es que hay que sumar los dos
enteros y, adems, sumar dos.
Ahora que ya entendimos de qu se trata esta operacin *, vamos a estudiar las propiedades que tiene y clasificar
la estructura de ( Z; * )
1) Es * cerrada? Debemos ver si se cumple que a, b e Z : a * b e Z
Demostracin:
Como ae Z . b e Z a +b e Z por ser la suma cerrada en Z. Luego como 2 e Z (a+b)+2 e
Z a +b +2 e Z
2) Es * asociativa? Debemos ver si a, b, c e Z : a * ( b * c ) =( a * b ) * c
Demostracin:
Desarrollamos cada miembro de nuestra tesis por separado:
(I) a* ( b * c ) =a * ( b +c +2 ) =a +( b +c +2 ) +2 =a + b + c + 4
(II) ( a * b ) * c =( a +b +2 ) * c =( a +b +2 ) +c +2 =a + b + c + 4
Las expresiones finales son iguales. Por lo tanto, * es asociativa.
34
e
e
RELACIONES
Unidad 2
3) Es * conmutativa? Debemos ver si a, b e Z: a * b =b * a
Demostracin:
Desarrollamos cada miembro de nuestra tesis por separado:
(I) a* b =a + b + 2
(II) b* a =b +a +2 =a + b + 2
Las expresiones finales son iguales. Por lo tanto, * es conmutativa.
4) Tiene * elemento neutro? Debemos ver si - e e Z : a e Z : e * a =a * e =a
Demostracin:
Como ya sabemos que * es conmutativa, podemos buscar el neutro slo a derecha y el mismo ser neutro a
izquierda.
a* e =a a +e +2 =a e +2 =0 e =-2
Por lo tanto * tiene neutro que es e =-2
5) Tiene * elemento simtrico? Debemos ver si a e Z : - a e Z : a * a =a * a =-2
Demostracin:
Como ya sabemos que * es conmutativa, podemos buscar el simtrico slo a derecha y el mismo ser simtrico a
izquierda.
a* a =-2 a +a +2 =-2 a =-4 - a
Esto significa que, por ejemplo, el simtrico del 5 es el -9, el simtrico del -1 es el -3, etc.
Como todos los enteros tienen simtrico, se dice que * tiene simtrico en el conjunto donde est definida
6) Existen elementos idempotentes? Debemos ver si - a e Z: a a =a
Demostracin:
a a =a a +a +2 =a a =-2
Por lo tanto Hay algn elemento idempotente? El nico es el -2
7) Tiene elemento absorbente? Debemos ver si - b e Z: a e Z: b a =a b =b
Demostracin:
Como ya sabemos que es conmutativa, podemos buscarlo slo a derecha:
a b =b a +b +2 =b a +2 =0 lo cual no se cumple con cualquier a.
Por lo tanto Hay algn elemento absorbente? No, no hay.
Ejemplo 2:
Consideremos ahora esta otra operacin en Q: x A y =3 - (x +y)
La operacin triangulito devuelve el triple de la suma de ambos nmeros.
Analicemos las propiedades:
1) Es A cerrada? Debemos ver si se cumple que a, b e Q : a A b e Q
Demostracin:
Como a e Q . b e Q a +b e Q por ser +l.c.i en Q. Luego como 3 e Q
3- ( a +b ) e Q a A b e Q
35
e
RELACIONES
Unidad 2
2) Es A asociativa? Debemos ver si a, b, c e Q : a A ( b A c ) =( a A b ) A c
Demostracin:
Desarrollamos cada miembro de nuestra tesis por separado:
(I) aA ( b A c ) = a A 3 - ( b +c ) =3 - [a +3 - ( b +c )] =3 a + 9 b + 9 c
(II) ( a A b ) A c =3 - ( a +b ) A c =3 - [ 3 - ( a +b ) +c ] =9 a + 9 b + 3 c
Las expresiones finales son distintas. Por lo tanto, A NO es asociativa.
3) Es A conmutativa? Debemos ver si a, b e Q: a A b =b A a
Demostracin:
Desarrollamos cada miembro de nuestra tesis por separado:
(I) aA b =3 - (a + b)
(II) bA a =3 - ( b +a ) =3 - ( a + b )
Las expresiones finales son iguales. Por lo tanto, A es conmutativa.
4) Tiene A elemento neutro? Debemos ver si - e e Q : a e Q : e A a =a A e =a
Demostracin:
Como ya sabemos que A es conmutativa, podemos buscar el neutro slo a derecha y el mismo ser neutro a
izquierda.
aA e =a 3 - ( a +e ) =a 3 a +3 e =a 3 e =-2 a e =-2/3 a
Como el neutro depende de a, no existe neutro de A.
5) Como A no tiene neutro, no se puede buscar simtrico.
6) Existen elementos idempotentes? Debemos ver si - a e Q: a A a =a
Demostracin:
aA a =a 3 - ( a +a ) =a 3 - 2 a =a 6 a =a a =0
Por lo tanto Hay algn elemento idempotente? El nico es el 0
7) Tiene A elemento absorbente? Debemos ver si - b e Z: a e Z: b a =a b =b
Demostracin:
Como ya sabemos que A es conmutativa, podemos buscarlo slo a derecha:
a b =b 3 - ( a +b ) =b 3a +3b =b lo cual no se cumple con cualquier a.
Por lo tanto Hay algn elemento absorbente? No, no hay.
Operaciones dadas por tablas:
Muchas veces, cuando los conjuntos son finitos, las operaciones pueden venir directamente dadas a travs de una
tabla. Veamos algunos ejemplos:
Ejemplo 3:
Sea el conjunto A ={ a, b, c } con la operacin dada por la siguiente tabla:
36
e
RELACIONES
Unidad 2
a b c
a c a b
b a b c
c b c a
Analicemos las propiedades:
1) Es cerrada en A? Eso se comprueba observando la tabla. Como todos los resultados estn en el conjunto
A, entonces es cerrada en A.
a b c
a c a b
b a b c
c b c a
Aqu podemos ver que los 9 resultados pertenecen al conjunto dado.
2) Es conmutativa? Para que lo sea, la tabla debe ser simtrica respecto de su diagonal principal. Como lo es,
entonces es conmutativa.
a b c
a c a b
b a b c
c b c a
Aqu podemos ver que los elementos simtricos respecto de la
diagonal principal son iguales.
3) Tiene elemento neutro? Debemos fijarnos si alguna fila y columna repiten a los elementos en el mismo
orden en que estn dispuestos en la tabla. Vemos que ello ocurre en este caso con la fila y columna del
elemento b. Por lo tanto b es el neutro de .
a b c
a c a b
b a b c
c b c a
Aqu podemos ver que la fila y columna del elemento b repite a los
elementos dados.
37
RELACIONES
Unidad 2
4) Tiene elemento simtrico? Debemos buscar el simtrico de cada elemento, buscando en su fila y columna
al neutro. Por ejemplo, en la fila y columna de a, b (el neutro) se encuentra cuando se opera al elemento a
con el elemento c. Ello significa que a y c son simtricos. Por lo tanto, a =c , c =a y b =b. Todos
tienen simtrico, por lo tanto la operacin tiene simtrico.
a b c
a c a b
b a b c
c b c a
Aqu podemos ver la ubicacin del elemento neutro como resultado en
cada fila y columna, para poder encontrar los simtricos.
5 ) Es asociativa? Lamentablemente para analizar esta propiedad no podemos hacerlo a simple vista
observando la tabla, sino que debemos verificar todos los casos posibles. Como la definicin de la propiedad
asociativa nombra a tres elementos genricos, hay que pensar en todos los casos que existen de valores que
pueden tomar dichos elementos. Cada uno de ellos podr tener cualquier valor de los elementos del conjunto, por
lo tanto, en total habr en este caso 3 - 3 - 3 =3
3
=27 casos posibles. Por ejemplo:
( a b ) a =a ( b a ) ya que ( a b ) a =a a =c y a ( b a ) =a a =c
( c b ) a =c ( b a ) ya que ( c b ) a =c a =b y c ( b a ) =c a =b
( b b ) a =b ( b a ) ya que ( b b ) a =b a =a y b ( b a ) =b a =a
... anlogamente con los restantes 24 casos.
En general, si el conjunto tiene n elementos, la cantidad total de casos posibles es n
3
.
Si en todos los casos se cumple la igualdad, entonces la operacin es asociativa.
Es importante tener en cuenta que si no es posible probar la propiedad en forma general, hay que hacer
TODOS los casos.
6) Es idempotente? No, pues por ejemplo a a =c en vez de ser a.
Para que una operacin dada por tabla sea idempotente, la diagonal principal debe contener a los mismos
elementos.
a b c
a c a b
b a b c
c b c a
Aqu podemos ver que no todos los elementos de la diagonal principal
coinciden con el orden dado. Por ejemplo en el primer casillero, donde
est la c debera haber estado la a. Por lo tanto, la operacin no
es idempotente. El nico elemento idempotente es la b.
38
RELACIONES
Unidad 2
7) Tiene elemento absorbente? No, pues si lo tuviera, la fila y la columna de dicho elemento tendran a ese
elemento en todos los lugares.
Ejemplo 4:
En el mismo conjunto A , la operacin + dada por la siguiente tabla:
+ a b c
a a a a
b c b b
c a b c
1) Es + cerrada en A? Si, ya que todos los resultados estn en el conjunto A.
2) Es + conmutativa? NO, pues la tabla NO es simtrica respecto de su diagonal principal, por ejemplo
a+ b =a pero b + a =c.
3) Tiene + elemento neutro? Si, es c.
4) Tiene + elemento simtrico? El nico que tiene simtrico es c.
Por lo tanto la operacin + NO tiene simtrico.
5) Es + asociativa? NO, pues por ejemplo:
( b + a ) + a =c + a =a pero b + ( a + a ) =b + a =c
6) Es + idempotente? SI, pues en la diagonal principal de la tabla estn los mismos elementos.
7) Tiene + elemento absorbente? No, pues si bien la primer fila devuelve siempre a, no ocurre lo mismo
con la columna.
A continuacin, veremos algunos ejemplos de operaciones cerradas usuales como la adicin, multiplicacin, etc.
pero definidas en conjuntos que no son los que usamos habitualmente como , ', o .
Ejemplo 5:
Ahora vamos a analizar la estructura del conjunto A ={ x =2
k
. k e ' } con la multiplicacin .
Vemos que el conjunto A es el conjunto de potencias de 2 y tengamos en claro que es un subconjunto de los
reales ()
1) Es - cerrada en A? Debemos probar que x, y e A : x - y e A
Demostracin:
x, y e : x =2
k
. k e ' . y =2
t
. t e '
x - y =2
k
- 2
t
x - y =2
k+t
. k+t e '
39
e
e
RELACIONES
Unidad 2
pues la suma es cerrada en '
x - y e A
2) Es - asociativa en A? S, lo es pues la multiplicacin es asociativa en , y como este conjunto A est
incluido en , hereda dicha propiedad.
3) Es - conmutativa en A? S, lo es pues la multiplicacin es conmutativa en , y como este conjunto A est
incluido en , hereda dicha propiedad.
4) Tiene - neutro en A? S, pues el elemento neutro de la multiplicacin en es el 1, y pertenece al conjunto
A. porqu?, poner que es necesario poder escribir al neutro del conjunto , donde A est incluido en la
forma de los elementos de A,
0
1 =x, 0 es entero
5) Tiene - simtrico en A? Debemos ver si todos los elementos de A tienen su simtrico tambin en A.
x e A : x =2
k
. k e ' x
-1
=(2
k
)
-1
. k e ' x
-1
=2
-k
. -k e '
x
-1
e ' todos los elementos de A tienen simtrico en A.
Tengamos en cuenta que, muchas veces, al resolver situaciones encontramos que es necesario utilizar ms de una
operacin, por ejemplo, en los reales para calcular x en la ecuacin:
2 x +3 =2
necesitamos operar con la adicin y la multiplicacin.
Cuando en un conjunto estn definidas dos operaciones binarias y cerradas deben estar vinculadas por alguna
propiedad. Por ejemplo, en el caso de reales la adicin y la multiplicacin estn vinculadas por la propiedad
distributiva; en el conjunto de partes de un conjunto dado, la unin y la interseccin se relacionan por la absorcin y
la propiedad distributiva.
Definiremos ahora la propiedad distributiva.
Distributividad de dos operaciones binarias
Sean y - dos operaciones cerradas definidas en el mismo conjunto A.
Se dice que - es distributiva respecto de
a, b, c e A : a - ( b c ) =( a - b ) ( a - c ) (distributiva a izquierda)
a, b, c e A : ( b c ) - a =( b - a ) ( c - a ) (distributiva a derecha)
40
RELACIONES
Unidad 2 41
Ejemplos:
1) La multiplicacin en es distributiva respecto de la adicin: x - ( y +z ) =( x - y ) +( x - z)
2) Veamos si la operacin definida: a b =a +b +a - b
es distributiva respecto de * definida a * b =a +b +1 en '.
Debemos ver si se cumple: a, b, c e A : a ( b * c ) =(a b) * (a c) ya que como la operacin
es conmutativa, no hace falta probarlo a derecha. no deberamos poner que como ambas son conmutativas .
Demostracin:
Desarrollamos cada miembro de nuestra tesis por separado:
(I) a ( b * c ) =a ( b +c +1 ) =a +( b +c +1 ) +a - ( b +c +1 ) =
=a + b +c +1 +a b +a c +a =2 a + b + c + 1 + a b + a c
(II) (a b) * (a c) =(a +b +a - b) * ( a +c +a - c ) =
=(a +b +a - b) +( a +c +a - c ) +1 =2 a + b + c + 1 + a b + a c
Como las expresiones finales son iguales, podemos decir que es distributiva respecto de *.
Sintetizando
- Una operacin cerrada es una operacin definida en un conjunto tal que el resultado de
operar dos elementos, es siempre un elemento del mismo conjunto.
Simblicamente: sea un conjunto A = C. : A X A A es operacin cerrada
en A es funcin.
- Algunas de las propiedades de una operacin cerrada son: asociativa;conmutativa;
existencia de elemento neutro;existencia de elementos con simtrico;elementos
idempotentes; elemento absorbente.
- Cuando en un conjunto estn definidas dos operaciones binarias y cerradas deben estar
vinculadas por alguna propiedad (por ejemplo, la adicin y la multiplicacin pueden
vincularse por la propiedad distributiva; la unin y la interseccin pueden relacionarse por la
absorcin y la propiedad distributiva).
e
Sintetizando
- Una operacin cerrada es una operacin definida en un conjunto tal que el resultado de
operar dos elementos, es siempre un elemento del mismo conjunto.
Simblicamente: sea un conjunto A = C. : A X A A es operacin cerrada
en A es funcin.
- Algunas de las propiedades de una operacin cerrada son: asociativa;conmutativa;
existencia de elemento neutro;existencia de elementos con simtrico;elementos
idempotentes; elemento absorbente.
- Cuando en un conjunto estn definidas dos operaciones binarias y cerradas deben estar
vinculadas por alguna propiedad (por ejemplo, la adicin y la multiplicacin pueden
vincularse por la propiedad distributiva; la unin y la interseccin pueden relacionarse por la
absorcin y la propiedad distributiva).