Skript - Grundbegriffe der Informatik (Wintersemester 2009/2010)

elativ unübersichtlich. Dabei ist ein Teil der Kanten nicht ganz so wichtig, weil
deren Existenz ohnehin klar ist (wegen der Reflexivität) oder aus anderen Kanten
gefolgert werden kann (wegen der Transitivität). Deswegen wählt man meist die
Darstellung als sogenanntes Hasse-Diagramm dar. Das ist eine Art „Skelett“ der
Halbordnung, bei dem die eben angesprochenen Kanten fehlen. Genauer gesagt
ist es der Graph der Relation H R = (R I) (R I) 2 . In unserem Beispiel ergibt
sich aus Abbildung 17.1 durch Weglassen der Kanten Abbildung 17.2.
Hasse-Diagramm
{a, b, c}
{a, b} {a, c} {b, c}
{a} {b} {c}
{}
Abbildung 17.2: Hassediagramm der Halbordnung (2 {a,b,c} , ⊆)
Vom Hassediagramm kommt man „ganz leicht“ wieder zur ursprünglichen
Halbordnung: Man muss nur die reflexiv-transitive Hülle bilden.
17.3 Lemma. Wenn R eine Halbordnung auf einer endlichen Menge M ist und H R das
zugehörige Hassediagramm, dann ist H ∗ R = R.
17.4 Beweis. R und H R sind beides Relationen über der gleichen Grundmenge M (also
ist R 0 = H 0 R ) und offensichtlich ist H R ⊆ R. Eine ganz leichte Induktion (machen
Sie sie) zeigt, dass für alle i ∈ N0 gilt: H i R ⊆ Ri und folglich H ∗ R ⊆ R∗ = R.
gbi:skript:17 185 c○ worsch 2008–2010