Relación reflexiva

Relacións binarias transitivas
Simétrica Antisimétrica Conectada Ben fundada Ten joins Ten meets Reflexiva Irreflexiva Asimétrica Relación de equivalencia  Si  Non  Non  Non  Non  Non  Si  Non  Non Preorde (Cuasiorde)  Non  Non  Non  Non  Non  Non  Si  Non  Non Orde parcial  Non  Si  Non  Non  Non  Non  Si  Non  Non Preorde total  Non  Non  Si  Non  Non  Non  Si  Non  Non Orde total  Non  Si  Si  Non  Non  Non  Si  Non  Non Pre-Ben ordenada  Non  Non  Si  Si  Non  Non  Si  Non  Non Cuasi-Ben ordenada  Non  Non  Non  Si  Non  Non  Si  Non  Non Ben ordenada  Non  Si  Si  Si  Non  Non  Si  Non  Non Retícula  Non  Si  Non  Non  Si  Si  Si  Non  Non Semiretícula superior (join)  Non  Si  Non  Non  Si  Non  Si  Non  Non Semiretícula inferior (meet)  Non  Si  Non  Non  Non  Si  Si  Non  Non Orde estrita parcial  Non  Si  Non  Non  Non  Non  Non  Si  Si Orde estrita feble  Non  Si  Non  Non  Non  Non  Non  Si  Si Orde estrita total  Non  Si  Si  Non  Non  Non  Non  Si  Si Simétrica Antisimétrica Conectada Ben fundada Ten joins Ten meets Reflexiva Irreflexiva Asimétrica Definicións, para todo $a,b$ e $S\neq \varnothing :$ ${\begin{aligned}&aRb\\\Rightarrow {}&bRa\end{aligned}}$ ${\begin{aligned}aRb{\text{ e }}&bRa\\\Rightarrow a={}&b\end{aligned}}$ ${\begin{aligned}a\neq {}&b\Rightarrow \\aRb{\text{ ou }}&bRa\end{aligned}}$ ${\begin{aligned}\min S\\{\text{existe}}\end{aligned}}$ ${\begin{aligned}a\vee b\\{\text{existe}}\end{aligned}}$ ${\begin{aligned}a\wedge b\\{\text{existe}}\end{aligned}}$ $aRa$ ${\text{non }}aRa$ ${\begin{aligned}aRb\Rightarrow \\{\text{non }}bRa\end{aligned}}$
Si indica que a columna da propiedade é sempre verdadeira no termo da fila (na esquerda de todo), mentres que  Non indica que a propiedade non está garantida en xeral (pode cumprirse ou non). Por exemplo, toda relación de equivalencia é simétrica, mais non necesariamente antisimétrica, está indicada por  Si na columna "Simétrica" e  Non na columna "Antisimétrica". Todas as definicións requiren tacitamente que a relación homoxénea $R$ sexa transitiva: para todo $a,b,c,$ se $aRb$ e $bRc$ entón $aRc.$ Algunha definición dalgún termo pode requerir propiedades adicionais non recollidas na táboa.

En matemáticas, unha relación binaria $R$ nun conxunto $X$ é reflexiva se relaciona cada elemento de $X$ consigo mesmo.

Un exemplo de relación reflexiva é a relación "é igual a" no conxunto de números reais, xa que cada número real é igual a si mesmo. Xunto coa simetría e a transitividade, a reflexividade é unha das tres propiedades que definen as relacións de equivalencia.

Definición

Sexa $R$ unha relación binaria nun conxunto $X,$ que por definición é só un subconxunto de $X\times X.$ Para calquera $x,y\in X,$ a notación $xRy$ significa que $(x,y)\in R$ mentres "non $xRy$ " significa que $(x,y)\not \in R.$

A relación $R$ chámase reflexiva se $xRx$ para todo$x\in X$.

Definicións relacionadas

Hai varias definicións relacionadas coa propiedade reflexiva. A relación $R$ chámase:

irreflexiva, antireflexiva

se non relaciona ningún elemento consigo mesmo; é dicir, se $xRx$ non vale para ningún $x\in X.$ Unha relación é irreflexiva se e só se é o seu complemento en $X\times X$ é reflexivo. Unha relación asimétrica é necesariamente irreflexiva. Unha relación transitiva e irreflexiva é necesariamente asimétrica.

case reflexiva pola esquerda

se sempre que $x,y\in X$ son tal que $xRy,$ entón necesariamente $xRx.$

case reflexiva pola dereita

se sempre que $x,y\in X$ son tal que $xRy,$ entón necesariamente $yRy.$

case reflexiva

se cada elemento que forma parte dalgunha relación está relacionado consigo mesmo. Explicitamente, isto significa que sempre que $x,y\in X$ sexan tal que $xRy,$ entón necesariamente $xRx$ e $yRy.$ De forma equivalente, unha relación binaria é case-reflexiva se e só se é case reflexiva pola esquerda e quase-reflexiva pola dereita. Unha relación $R$ é case- reflexiva se e só se o seu peche simétrico $R\cup R^{\operatorname {T} }$ é pola esquerda (ou pola dereita) case reflexivo.

antisimétrica

se sempre que $x,y\in X$ son tal que $xRy{\text{ e }}yRx,$ entón necesariamente $x=y.$

coreflexiva

se sempre que $x,y\in X$ son tal que $xRy$ entón necesariamente $x=y.$ Unha relación $R$ é coreflexiva se e só se o seu peche simétrico é simétrica.

Unha relación reflexiva nun conxunto non baleiro $X$ non pode ser irreflexiva, nin asimétrica ($R$ chámase asimétrica se $xRy$ non implica $yRx$), nin antitransitiva ($R$ é antitransitiva se $xRy{\text{ e }}yRz$ implica non $xRz$).

Representación

Sexa $R$ unha relación reflexiva ou antirreflexiva aplicada sobre un conxunto A, entón R ten unha representación particular para cada forma de describir unha relación binaria.

Notación	Relación reflexiva	Relación antirreflexiva
Como pares ordenados	$\forall x\in A,\;(x,x)\in R$	$\forall x\in A,\;(x,x)\notin R$
Como matriz de adxacencia	A diagonal principal da matriz conterá só 1's, é dicir, $\forall i=\{1,...,n\},\;(a_{i,i})_{n\times n}=1.$	A diagonal principal da matriz conterá só 0's, é dicir, $\forall i=\{1,...,n\},\;(a_{i,i})_{n\times n}=0.$
Como grafo	O grafo conterá bucles en todos os seus nodos.	O grafo non conterá bucles en ningún dos seus nodos.

Exemplos

Exemplos de relacións reflexivas inclúen:

• "é igual a" (igualdade)
• "é un subconxunto de"
• "divide a" (divisibilidade)
• "é maior ou igual a"
• "é menor ou igual a"

Exemplos de relacións irreflexivas inclúen:

• "non é igual a"
• "é coprimo a" nos enteiros maiores que 1
• "é un subconxunto propio de"
• "é maior que"
• "é menor que"

Véxase tamén

Bibliografía

• Clarke, D.S.; Behling, Richard (1998). Deductive Logic – An Introduction to Evaluation Techniques and Logical Theory. University Press of America. ISBN 0-7618-0922-8. 
• Fonseca de Oliveira, José Nuno; Pereira Cunha Rodrigues, César de Jesus (2004). Transposing relations: from Maybe functions to hash tables. Mathematics of Program Construction (Springer). pp. 334–356. 
• Hausman, Alan; Kahane, Howard; Tidman, Paul (2013). Logic and Philosophy – A Modern Introduction. Wadsworth. ISBN 1-133-05000-X. 
• Levy, A. (1979). Basic Set Theory. Perspectives in Mathematical Logic. Dover. ISBN 0-486-42079-5. 
• Lidl, R.; Pilz, G. (1998). Applied abstract algebra. Undergraduate Texts in Mathematics. Springer-Verlag. ISBN 0-387-98290-6. 
• Quine, W. V. (1951). Mathematical Logic. Revised Edition, Reprinted 2003. Harvard University Press. ISBN 0-674-55451-5. 
• Russell, Bertrand (1920). Introduction to Mathematical Philosophy (PDF) (2nd ed.). London: George Allen & Unwin, Ltd.  (Online corrected edition, Feb 2010)
• Schmidt, Gunther (2010). Relational Mathematics. Cambridge University Press. ISBN 978-0-521-76268-7. 

Outros artigos

• Relación simétrica.
• Relación transitiva.
• Relación de equivalencia.

Ligazóns externas

• "Reflexivity". Encyclopedia of Mathematics. EMS Press. 2001 [1994].