27/02/2012

Datos generales
Una relacin es un subconjunto de un Producto Cartesiano.

Tipos de Relaciones

Una relacin puede cumplir con las reglas de varios tipos de

relaciones.
El anlisis se hace a dos niveles:
Primero: cules son los elementos de los conjuntos incluidos en

la relacin
Segundo: qu caractersticas tienen los pares ordenados.

COMP 2502: Estructuras Computacionales Discretas Dra. Madeline Ortiz Rodrguez

Reflexiva
Primer elemento es igual al segundo
R = {(x,x), (y,y)}

Simtrica
Si R incluye a (x, y), entonces tambin debe incluir a (y, x). Ejemplos:
R = { (a, b), (b, a) } R = { (1, 1), (1, 2), (2, 1), (3, 3) }

Se toma en cuenta cada elemento individualmente.

Si R = { (x,x), (y, w)} No es reflexiva R no contiene los elementos (y, y), ni (w, w). (y, y) (w, w)

Contraejemplo:
R = { (d, d), (d, e) } No es simtrica R no contiene el par ordenado (e, d).

R R

Si R = { (x,x), (y, x)} No es reflexiva

R no contiene los elementos (y, y)
= no pertenece a
3 4

Anti-simtrica
Si R incluye al elemento (x, y), entonces el elemento (y, x)

Transitiva
Esta relacin analiza tres pares ordenados, los primeros dos

no pertenece a la relacin.
Slo uno de los elementos (x, y) o (y, x) pertenece a la relacin. Aqu no se toma en cuenta el elemento (x, x). En la relacin antisimtrica pueden existir algunos elementos

deben existir, antes de considerar el tercero.

Si la relacin incluye los elementos (x, y) y (y, z), entonces

para ser transitiva debe incluir (x, z).

En este caso, los primeros dos elementos parecen estar

reflexivos, pero stos no forman parte del anlisis.

Ejemplo:
R = { (d, d), (d, e) }

encadenados.
Observa el parecido con la multiplicacin de matrices y el

anlisis de sus tamaos.

Un elemento reflexivo tambin se considera transitivo. Ver ejemplo 3.1.17 (pgs. 119-120).

27/02/2012

De equivalencia
Es aquella relacin que cumple con las condiciones de los

Particin o Clase de equivalencia

Clases de equivalencia se refieren a subconjuntos de

tipos de relacin: reflexiva, simtrica y transitiva. Ejemplo:

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

pares ordenados que se relacionan entre s.

Cada clase cumple con las condiciones establecidas

anteriormente: debe ser reflexiva, simtrica y transitiva.

El tamao de una clase vara, de acuerdo a los elementos

(3, 3) } R es reflexiva, ya que (1, 1), (2, 2) y (3, 3) a R. R es simtrica, ya que (1, 2), (2, 1) a R, al igual que (2, 3), (3, 2) y (3, 1), (1, 3) R es transitiva, ya que (1, 2), (2, 3) y (1, 3) en R. Tambin incluye los triples
= pertenece a

individuales que contenga.

Notacin para Clases de equivalencia

Por ejemplo:
Si la clase S = { (5,5) } Se considera legtima y se dice que cumple con los tres tipos de

Ejemplos en el texto
Ver definiciones, ejemplos y ejercicios en las secciones:
3.1, pgs. 116-124. 3.2, pgs. 125-131. Ejercicios en la pg. 129, 1-8, 15-20 y 28-30.

relaciones bsicas.
S se anotara como la clase [5].
El nmero 5 identifica la clase y es uno de sus elementos. Si hay ms de un elemento en la clase, cualquiera puede

representarla.

10