Hasseův diagram

V matematické disciplíně teorie uspořádání se používá Hasseův diagram (pojmenovaný po Helmutu Hasseovi) k zobrazení konečné částečně uspořádané množiny. Konkrétně každý prvek množiny S se v Hasseově diagramu reprezentuje jako vrchol grafu. Dva vrcholy se spojí čarou (hranou) vedenou zdola nahoru od x k y, jestliže x < y a neexistuje takové z, že x < z < y. Říkáme také, že y pokrývá x nebo že y je bezprostřední předchůdce prvku x. Vrcholy grafu musí být umístěny tak, aby každá hrana spojovala právě dva vrcholy.

[editovat] Příklady

• Množina A = { 1, 2, 3, 4, 5, 6, 10, 12, 15, 20, 30, 60 } všech dělitelů čísla 60 částečně uspořádaná podle dělitelnosti může být zobrazena následujícím Hasseovým diagramem:

[editovat] S = {a,b,c,d}