Question

¿cuales son las propiedades de las relaciones en un conjunto?
con ejemplos gracias.

Answer 1

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 es muchos-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 que cumple 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 en relación con un maestro, salón, etc.
Relación Reflexiva y 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 el primero, 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 aparecer 0 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 un tercero, 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 Reflexivas, y también podemos ver que R5 y R7 son Irreflexivas. 
De las relaciones anteriores R6 es simétrica, R3 y R5 son antisimetricas; R3, R4 y R5 son Transitivas.