Relación reflexiva

Plantilla:Relación binaria 101 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,

$\mathrm{\forall }x\in A,xRx$.

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:

$\mathrm{\forall }x\in A,\mathrm{\neg }(xRx)$

En este caso, se dice que R cumple con la propiedad de antirreflexividad. Plantilla:Clear

Representación

Sea $R$ 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	$\mathrm{\forall }x\in A,(x,x)\in R$	$\mathrm{\forall }x\in A,(x,x)\notin R$
Como matriz de adyacencia	La diagonal principal de la matriz contendrá solo 1's, es decir, $\mathrm{\forall }i=\{1,...,n\},(a_{i,i}{)}_{n\times n}=1.$	La diagonal principal de la matriz contendrá solo 0's, es decir, $\mathrm{\forall }i=\{1,...,n\},(a_{i,i}{)}_{n\times n}=0.$
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 $(A,\ge )$, $\ge$ ("mayor o igual que") es reflexiva, pero $>$ ("mayor estricto que") no lo es.
• Sea $(A,\le )$, $\le$ ("menor o igual que") es reflexiva, pero $<$ ("menor estricto que") no lo es.
• Sea $(A,=)$, $=$ (la igualdad matemática), es reflexiva.
• Sea $(A,\subseteq )$, $\subseteq$ (la inclusión de conjuntos), es reflexiva.
• Sea $(\mathbb{N}\mathrm{\setminus }\{0\},/)$, $/$ (la divisibilidad) es reflexiva.
• Sea $X$ 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 $X$ el conjunto de todas las rectas en el plano, la relación de perpendicularidad $\mathrm{\perp }$ 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

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

Referencias

Plantilla:Control de autoridades