Diagramma di Hasse
Da Wikipedia, l'enciclopedia encyclopedia
Nella teoria degli ordini, un diagramma di Hasse è un modo per rappresentare graficamente un insieme finito parzialmente ordinato. Prende nome da Helmut Hasse (1898–1979).
In sostanza, dato un insieme S come sopra, si rappresenta ogni membro di S come vertice e si traccia una linea che va da x a y se x < y e non esiste z tale che x < z < y. In questo caso si dice che y copre x o che y è un successore immediato di x. Inoltre è richiesto che i vertici siano posizionati in modo che ogni segmento incontri esattamente due vertici: i due estremi. Ogni diagramma di questo tipo (poiché i vertici sono etichettati) determina unicamente un ordinamento parziale ma esistono più diagrammi corrispondenti ad un dato ordine.