Relazione asimmetrica
In matematica , una relazione (binaria, interna) R si dice asimmetrica se soddisfa:
XRy⇒¬(yRX),{\ Displaystyle xRy \ Rightarrow \ lnot (yRx),}![{\ Displaystyle xRy \ Rightarrow \ lnot (yRx),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/928cacd7f6816c2b6b7e866b27595a37cccd3252)
o se il suo grafo è disgiunto da quello della sua relazione reciproca .
Asimmetria è talvolta indicato come "forte antisimmetria", al contrario di (usuale, o "debole") antisimmetria . In effetti, una relazione è asimmetrica se e solo se è sia antisimmetrica che antiriflesso .
Esempi:
- le relazioni di ordine stretto - cioè antiréflessive e transitive - sono asimmetriche;
- in un insieme di persone, anche il rapporto “è figlio di” è asimmetrico: nessuno è figlio di uno dei suoi figli.
Una relazione non può essere sia simmetrica che asimmetrica, a meno che il suo grafico non sia vuoto .
Note e riferimenti
-
Louis Couturat , I principi della matematica, con un'appendice sulla filosofia della matematica di Kant , Georg Olms Verlag (de) ,1965( leggi in linea ) , p. 31.
-
Michel Marchand, Matematica discreta: uno strumento per l'informatico , De Boeck ,1989( leggi in linea ) , p. 271.
-
Louis Frécon, Elementi di matematica discreta , PPUR ,2002( leggi in linea ) , p. 69.
-
Nathalie Caspard, Bruno Leclerc e Bernard Monjardet, Insiemi ordinati finiti: concetti, risultati e usi , Springer ,2007( leggi in linea ) , p. 3.
-
.
-
In inglese: asymmetric - (en) David Gries e Fred B. Schneider, A Logical Approach to Discrete Math , Springer,1993( leggi in linea ) , p. 273 ; (en) Yves Nievergelt, Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography , Springer,2002( leggi in linea ) , p. 158. In tedesco: asymmetrisch - (de) Ingmar Lehmann e Wolfgang Schulz, Mengen - Relationen: Funktionen , Springer,2013( leggi in linea ) , p. 56.
-
O "rigoroso": " Strictly (gold Sharply ) antisymmetric " in (in) V. Flaška J. Ježek, T. Kepka e J. Kortelainen, " Transitive Closures of Binary relations I " , Acta Univ. Carolin. Matematica. Phys. , vol. 48, n o 1,2007, p. 55-69 ( leggi in linea ).
-
Jiří Matoušek e Jaroslav Nešetřil , Introduzione alla matematica discreta , Springer,2004( leggi in linea ) , p. 44.
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">