Relación simétrica
Una relación binaria R sobre un conjunto A, es simétrica[1][2][3] cuando se da que si un elemento está relacionado con otro mediante R, entonces ese otro también está relacionado con él, a través de la misma "R". Es lo mismo tener (a,b) que tener (b,a).
Es decir,
- [4]
En tal caso, se dice que R cumple con la propiedad de simetría.
La aplicación de cualquier relación R sobre un conjunto A, se representa con el par ordenado (A, R).
Cuando una relación es lo opuesto a una simétrica, es decir, cuando se da que si un elemento está relacionado con otro mediante R, entonces ese otro no está relacionado con el primero, entonces se dice que es asimétrica, lo que denotamos formalmente por:
En este caso, se dice que R cumple con la propiedad de asimetría.
Representación
[editar]Sea R una relación simétrica o asimétrica aplicada sobre un conjunto A, entonces R tiene una representación particular para cada forma de describir una relación binaria.
Notación | Relación simétrica | Relación asimétrica |
---|---|---|
Como pares ordenados | ||
Como matriz de adyacencia | Matriz cuya transpuesta es tal que | Matriz cuya diagonal solo tiene ceros, es decir, y además produce una matriz simétrica. |
Como grafo | Es un grafo que se puede representar como grafo no dirigido. | Es un grafo dirigido sin bucles ni ciclos. |
Ejemplos
[editar]Sea A un conjunto cualquiera:
- Sea , (la igualdad matemática), es simétrica.
- Sea , es simétrica.
- "Estar casado con" es una relación simétrica, mientras que "ser más alto que" no lo es.
- Sea , ("mayor estricto que") es asimétrica, al igual que ("menor estricto que").
- Sea , (la inclusión estricta de conjuntos), es asimétrica.
Asimetría Antisimetría
[editar]![](http://178.128.105.246/cars-http-upload.wikimedia.org/wikipedia/commons/thumb/f/f2/Propiedad_sim%C3%A9trica_1.svg/280px-Propiedad_sim%C3%A9trica_1.svg.png)
La simetría no es lo opuesto de la antisimetría.
Existen relaciones que son simétricas y antisimétricas al mismo tiempo (como la igualdad), otras que no son simétricas ni antisimétricas, otras que son simétricas pero no antisimétricas (como la relación de congruencia módulo n), y otras que son antisimétricas pero no simétricas (como la relación "menor que").
Véase también
[editar]Referencias
[editar]- ↑ Villalpando Becerra, José Francisco; García Sandoval, Andrés (2014). «3.5». Matemáticas Discretas (1 edición). Grupo Editorial Patria. p. 66. ISBN 978-607-438-925-8.
- ↑ Caicedo Barrero, Alfredo; Wagner de Gardia, Graciela; Me¡éndez Parra, Rosa María (2010). «2.4». Introducción a la Teoría de Grafos (1 edición). Ediciones Elizcom. p. 20. ISBN 978-958-993-257-5.
- ↑ Richard Johnsonbaugh (2005). «3». Matemáticas discretas (6 edición). Pearson Educación. p. 118. ISBN 978-970-260-637-6.
- ↑ Introducción al Álgebra - Apunte del curso. Oficina de apuntes del Departamento de Ingeniería Matemática de la Universidad de Chile. 2013. p. 55.