Wikipedia

Relazione d'ordine: differenze tra le versioni

Naviga nella cronologia in modo interattivo
← Differenza precedenteDifferenza successiva →
Contenuto cancellato Contenuto aggiunto
VisualeWikitesto
Nessun oggetto della modifica
Nessun oggetto della modifica
Riga 11:
:<math>x \le x \quad \forall x \in A</math>
 
Le relazioni d'ordine si indicano spesso con i simboli <math>\leq</math>, <math>\subseteq</math>, <math>\sqsubseteq</math> e <math>\preccurlyeq</math>.
 
Una qualunque famiglia di insi i dela re
La coppia <math>(A,\leq)</math> costituita da un insieme e da una relazione d'ordine su di esso si
 
Benché le due definizioni siano distintedtine, il loroloo studiostudionon nonprsenta presentagrsse grossediffrenze differenze, in quantoinquant tra le dueue classiclssi did relazionirelazioi sussiste una corrispondenza biunivoca molto semplice.▼
=== Pr ===
 
* l'insiem munito della relo di [[divisibilità]] <math>a R b \Leftrightarrow a | b</math> (cioè <math>a</math> un [[divisore]]
 
Una qualunque famiglia di insiemi munita dela relazionedi inclusalentemente e più concisamente, le proprietà [[Relazione asimmetrica|asimmetrica]] e [[Relazione transitiva|transitiva]]), e quindi chiamano relazione d'ordine "largo" la relazione d'ordine <math> (A, \leq) </math>. L'ordine stretto mira a[[Relazione simmetrica|a]] della relazione, non considerando la riflessi
 
▲Benché le due definizioni siano distinte, il loro studio non presenta grosse differenze, in quanto tra le due classi di relazioni sussiste una corrispondenza biunivoca molto semplice.
 
Sia <math> A </math> un insieme e denotiamo con <math>\,\Delta(A)</math> la diagonale di <math>\,A\times A</math>, cioè <math>\ \Delta(A):= \{ (x,x) : x\in A \} </math>, allora ad ogni relazione d'ordine largo <math>(A, \leq)</math> è associata la relazione d'ordine stretto <math>(A,\leq) \setminus \Delta(A)</math>; viceversa ad ogni relazione d'ordine stretto <math>(A,<)</math> è associata la rel
Estratto da "https://it.wikipedia.org/wiki/Relazione_d%27ordine"