Relación reflexiva para niños
En matemáticas, una relación reflexiva o refleja es una relación binaria R sobre un conjunto A, de manera que todo elemento de A está relacionado consigo mismo. Es decir,
- .
En tal caso, se dice que R cumple con la propiedad de reflexividad.
Cuando una relación es lo opuesto a una reflexiva, es decir, cuando ningún elemento de A está relacionado consigo mismo mediante R, entonces se dice que es irreflexiva, antirreflexiva o antirrefleja, lo que denotamos formalmente por:
En este caso, se dice que R cumple con la propiedad de antirreflexividad.
Representación
Sea una relación reflexiva o antirreflexiva 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 reflexiva | Relación antirreflexiva |
---|---|---|
Como pares ordenados | ||
Como matriz de adyacencia | La diagonal principal de la matriz contendrá solo 1's, es decir, | La diagonal principal de la matriz contendrá solo 0's, es decir, |
Como grafo | El grafo contendrá bucles en todos sus nodos. | El grafo no contendrá bucles en ninguno de sus nodos. |
Ejemplos
Sea A un conjunto cualquiera:
- Sea , ("mayor o igual que") es reflexiva, pero ("mayor estricto que") no lo es.
- Sea , ("menor o igual que") es reflexiva, pero ("menor estricto que") no lo es.
- Sea , (la igualdad matemática), es reflexiva.
- Sea , (la inclusión de conjuntos), es reflexiva.
- Sea , (la divisibilidad) es reflexiva.
- Sea el conjunto de todas las rectas en el plano, la relación de paralelismo || entre rectas es reflexiva, porque toda recta es paralela a sí misma.
- Sea el conjunto de todas las rectas en el plano, la relación de perpendicularidad entre dos rectas es antirreflexiva, porque no hay rectas que sean perpendiculares a sí mismas.
- Las relaciones Ser padre de y Ser madre de son antirreflexivas, porque en ningún caso alguien puede ser padre o madre de sí mismo.
Véase también
En inglés: Reflexive relation Facts for Kids Propiedades de una relación binaria homogénea:
- Relación irreflexiva
- Relación simétrica
- Relación antisimétrica
- Relación transitiva
- Relación total
- Relación bien fundada