Diagram Hassego: Różnice pomiędzy wersjami

[wersja przejrzana][wersja przejrzana]
Usunięta treść Dodana treść
Linia 3:
'''Diagram Hassego''' – [[graf skierowany]] przedstawiający częściowy porządek w zbiorze, w odpowiedni sposób przedstawiony graficznie.
 
Niech <math>\! P=(S,\le)</math> będzie [[zbiór|zbiorem]] ''S'' z [[częściowy porządek|częściowym porządkiem]] <math>\! \le</math>. Mówi się, że element ''s'' zbioru ''S'' '''nakrywa''' element ''t'', jeżeli <math>\! t\le s</math>, oraz '''nie''' istnieje w ''S'' taki element ''u'', że <math>\! t < u < s</math>.
 
Diagram Hassego zbioru ''S'' i danego na nim porządku <math>\! \le</math> przedstawia graf, którego wierzchołki reprezentują elementy zbioru ''S'', i którego dwa wierzchołki <math>\! s</math> i <math>\! t</math> połączone są krawędzią (biegnącą z ''s'' do ''t'') wtedy i tylko wtedy, gdy ''t'' nakrywa ''s''.
Na diagramie nie oznacza się kierunku kawędzi grafu; zamiast tego element nakrywający jest rysowany wyżej od elementów przezeń nakrywanych, czyli wszystkie krawędzie są skierowane '''w&nbsp;górę'''.
 
Linia 12:
 
{| style="margin: 0 auto;"
| [[Plik:Hypercubeorder binary.svg|170px|]] || &nbsp;&nbsp;&nbsp; || &nbsp;&nbsp;&nbsp; || [[Plik:Hypercubestar binary.svg|180px|]]
|}