Quisiera saber porqué esta relación cumple con la propiedad antisimétrica.

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

La definición de la propiedad es: (x;y) e R ^ (y;x) e R --> x=y

Acá tambien hay otra definición: MR ^ MRT =< I

MR: Matriz relación
MRT: Matriz transpuesta
I: Matriz identidad
-----------------------

Porque es antisimétrica si (1;2) pertenece a la relación pero (2;1) no
En el caso de (1;1) cumpliría perfectamente con la propiedad.


En el caso de la segunda definición encontré un ejemplo pero no entiendo como se opera con el menor o igual de la identidad.
No sé si me entienden.

Espero que me puedan ayudar
Saludos

Hola,

Yo diría que crees una matriz de relaciones, la interseques con la traspuesta y saques tus conclusiones de si se cumple o no la relación.
Cualquier cosa, segui preguntando.


Saludos.

Con esta definición es claro este problema : (x;y) e R ^ (y;x) e R --> x=y. La idea es clara, si la relación es antisimetrica no existe un par tal que (x;y) e R ^ (y;x) e R donde x sea distinto de y. Entonces como se puede ver que no existe ese par, es claro que es una relación antisimetrica.
Observación importante: Que una relación sea antisimetrica, no implica que no sea simetrica. En este caso no pasa, pero es un error común al aprender relaciones.
Observación 2: Graficamente que une relación seá antisimetrica nos dice que el grafo no contiene ciclos, osea no hay "caminos cerrados" que no sean sobre los nodos.

No muy lejos del análisis por definición de relación antisimétrica, pensá en la estructura lógica que contiene.

p^q=>r es falso sí y sólo sí el antecedente (p^q) es verdadero y el consecuente ® es falso.

En el caso de plantear la relación antisimétrica, lo que tenes es:

aRb y bRa => a=b

Lo que te dice es que si los pares ordenados (a,b) y (b,a) pertenecen a la relación, entonces necesariamente a es igual b. Y en caso de ésto no sean iguales, la relación no es antisimétrica.
Dicho de otro modo, si (a,b) pertenece pero (b,a) no pertenece, eso no anula la antisimetría, nos genera un antecedente falso; y en la implicancia lógica, antecedente falso nos devuelve un consecuente verdadero. Te quoteo una respuesta a uno de los chicos que le envié por privado:

Cita:Dado el conjunto A= {2, 3, 4, 5} y la siguiente matriz de relación:

__2_3_4_5
2_1_0_1_1
3_1_1_0_0
4_0_1_1_0
5_0_1_0_1

Nuestros pares ordenados son:

{(2, 2) (3, 3) (4, 4) (5, 5) (2, 4) (2, 5) (3, 2) (4, 3) (5, 3)}

Esta relación es antisimétrica porque para todo par ordenado (a, b) que PERTENECE A LA RELACION, si aRb y bRa entonces a=b.

Así 2R2 Y 2R2 ENTONCES 2=2; lo mismo con 3, 4, y 5.
Con los otros:

(2,4) está en la relación Y (4, 2) NO esta en la relación ENTONCES 2 Es 4

Acá hay que hacer hincapié en lógica. Tengo la proposición de esta manera (p^q)=>r
El único modo de que este razonamiento sea inválido es que la conclusión sea falsa y el antecedente verdadero. El antecedente está sujeto a la conjunción, que sólo es verdadera si p es verdadera y q es verdadera A LA VEZ. Es decir, si p^q resulta verdadero y r resulta falso, el razonamiento es inválido y eso, aplicado a nuestro ejercicio, hace que la relación no sea antisimétrica. Así, como hemos dicho

(2,4) pertenece a R= p; verdadera
(4,2) pertenece a R= q; falsa
2==4 = r; falso
Entonces nos queda (verdadero^falso)=> falso, razonamiento verdadero si te fijas las tablas de verdad.

Si probás con los otros valores de nuestra Relación recién inventada, vas a ver que se sigue con esta lógica.
Ahora vemos qué pasa con la relación (5,4) y (4,5) -que tienen 0 y 0 si te fijas.
(5,4) pertenece a R=p; falsa
(4,5) pertenece a R=q; falsa
4==5 = r; falso
Entonces: (falso^falso)=>falso, razonamiento verdadero también. Podes verificar así que todos los pares ordenados verifican antisimetría.

Ahora retomo la matriz de la relación que te dan en la fotocopia:

__2_3_4_5
2_1_1_1_1
3_1_1_1_1
4_1_1_1_1
5_0_1_1_1

tomo como ejemplo los pares ordenados (5,2) y (2,5)
(2,5) pertenece a R= p; verdadero
(5,2) pertenece a R= q; falso
2==5 =r; falso
(verdadero^falso)=>falso; razonamiento válido (hasta acá podemos decir que es antisimétrica)

(3,2) pertenece a R= p; verdadero
(2,3) pertenece a R= q; verdadero
2==3 =r; falso
(verdadero^verdadero)=>falso. RAZONAMIENTOHIPERMEGARECONTRAFAIL. Nos elimina la antisimetría por completo de la relación.