RELACIONES

Propiedades de las relaciones
Las relaciones se pueden clasificar de acuerdo al tipo de asociación que hay en sus elementos como: uno-a-uno 1–1, uno-a-mucho 1-M, muchos-a-uno M-1 o muchos-a-muchos M-M. Recordemos que una relación es un conjunto de pares ordenados.
Definición: Una relación R de A a B es:Muchos-a-uno, M-1 si existen dos pares con el mismo segundo elemento, esto es existen (x,y),(z,y) distintas en la relación, con símbolos (∃ x ∈ A)(∃ y ∈ B)(∃ z ∈ A) ((x,y) ∈ R ^ (z,y) ∈ R ^ x ≠ z)
Propiedades de las relaciones.Uno-a-muchos ‘1-M’ si existen dos pares con el mismo primer elemento, esto es existen (x,y), (x,z) distintas en la relación, con símbolos (∃ x ∈ A)(∃ y ∈ B)(∃ z ∈ B) ((x,y) ∈ R ^ (x,z) ∈ R ^ y ≠ z)
Propiedades de las relaciones.Muchos-a-muchos ‘M-M’ si esmuchos-a-uno y uno-a-muchos. sea que hay al menos dos pares con el mismo primer elemento y también hay dos pares con el mismo segundo elemento.O sea que cumple las dos definiciones anteriores.
Propiedades de las relaciones.Uno-a-uno ‘1–1′ si no es muchos-a-uno ni uno-a-muchos, o sea que no hay dos pares con el mismo primer elemento y no hay dos pares con el mismo segundo elemento.Esto significa quecumple las dos condiciones siguientes (∀ x ∈ A)(∀ y ∈ B)(∀ z ∈ B)((x,y) ∈ R ^ (x,z) isin; R ⇒ y = z) (∀ x ∈ A)(∀ y ∈ B)(∀ z ∈ A)((x,y) ∈ R ^ (z,y) ∈ R ⇒ x = z)
Dinámica grupal.Junto con el compañero de al lado ejemplifiquen en su cuaderno el cómo sería este tipo de relaciones en la vida real. Enfoque sobre todo en datos que un computador pudiera aceptar, como por ejemplo: los datos de un alumno enrelación con un maestro, salón, etc.
Relación Reflexiva e Irreflexiva

          Teorema: Una relación R en un conjunto es reflexiva si y solo si la diagonal principal de la matriz asociada a la relación tiene únicamente unos. De la misma forma es Irreflexiva si tiene solamente ceros. 

Una relación A es:

Reflexiva: Si todo elemento en A esta relacionado con sigo mismo, con símbolos:Irreflexiva: Si ningún elemento en A esta relacionado con sigo mismo, con símbolos:


Relación Simétrica, Asimetrica, Antisimetrica Y Transitiva

      Teorema: Una relación R es simétrica si y solo si los elementos opuestos con respecto a la diagonal principal son iguales.

Simetrica: Si cuando un elemento esta relacionado con un segundo elemento,el segundo tambien se relaciona con elprimero, con simbolos: (x ,y) ∈  R  ⇒  (y ,x) ∈ R

Asimetrica: Una relación R en un conjunto A es asimétrica si cuando a R b, entonces b Ra. De esto se sigue que R no es simétrica si se tiene a y b e A con ambos a R b y b R a.

Teorema: Una relación R en conjunto es Antisimétrica si y solo si los elementos opuestos con respeto a la diagonal principal no pueden ser iguales a 1; esto es, puede aparecer0 con 1 o pueden aparecer ceros.

Antisimétrica: Si cuando un elemento esta relacionado con un segundo elemento diferente, el segundo no se relaciona con el primero, con símbolos:          ∀x, y, ((x, y) ∈ R ∧ (y, x) ∈ R → x = y)
La antisimetría no es lo opuesto de la simetría.

Transitiva: Si cuando un elemento esta relacionado con un segundo elemento y el segundo esta relacionado con untercero, entonces el primero esta relacionado con el tercero: 

Ejemplo para todas las relaciones
Cuando tenemos la matriz de una relación es muy fácil verificar si es reflexiva, Irreflexiva, Simétrica, Asimétrica, Antisimétrica, Transitiva:

Ejemplo.- Sea A = { a, b, c, d, e }

R1 = {(a,a), (b,b), (a,c), (b,c), (c,a), (d,d) }
R2 = {(a,a), (a,d), (c,b), (d,a), (c,e), (e,e) }
R3 = {(a,a),(b,b), (c,c), (d,d), (e,e), (b,c), (b,a) }
R4 = {(a,a), (a,b), (b,a), (b,b), (b,c), (b,e), (c,e), (b,d), (d,a), (e,e) }
R5 = {(a,c), (a,e), (e,c), (b,c) }
R6 = {( (a,a), (b,b), (c,c), (d,d), (e,e), (a,e), (b,c), (c,b), (e,a) }
R7 = {(a,b), (b,d), (c,a), (d,e), (e,c), (b,c), (b,a) }

           Si observamos la figura podemos darnos cuenta que R3 y R6 son...