DM - Preislösung

DISKRETE MATHEMATIK
Erich Prisner
Sommersemester 2000

Lösung des Preisrätsels

Die Aufgabe wurde von einem der Korrekturassistenten, Herrn Karel Vyborny, richtig gelöst. Da kein Student eine Lösung einreichte, geht der Preis an ihn.

Die Menge aller Partitionen einer festen Menge M läßt sich ordnen: Wir nennen eine Partition {A₁, A₂, ... , A_k} gröber als die Partition {B₁, B₂, ... , B_m}, falls es eine Abbildung f: {1,2,...,m}

{1,2,...k} gibt, so daß B_i

A_f(i) für jedes i

{1,2,...,m} gilt. Insbesondere ist dann f surjektiv und deshalb k

Es ist etwas einfacher mit Äquivalenzrelationen statt mit Partitionen zu arbeiten: Relativ klar sollte sein:

(1) Eine Partition ist genau dann gröber als eine andere wenn die zugehörende Äquivalenzrelation die andere enthält.

(2) Die Teilmengenrelation ist natürlich eine Ordnungsrelation auf der Menge Äqu(M) aller Äquivalenzrelationen auf einer festen Menge M (eine Teilordnung von (P(M × M),).

(3) Äqu(M) ist ein abgeschlossenes System.

Seien R_i, i I Äquivalenzrelationen auf M.
Dann ist (x,x) R_i für jedes i I. Ist (x,y) R_i für jedes i I, so ist auch für jedes i I: (y,x) R_i. Gilt (x,y) _iI R_i und (y,z) _iI R_i so folgt genauso auch (x,z) _iI R_i
Deshalb ist _iI R_i auch eine Äquivalenzrelation.

(4) (Äqu(M),) ist verbandsgeordnet. Dabei ist R S = R S und R S = (R S)^* die transitive Hülle der Vereinigung.

Dies folgt mit (3) und dem Satz über Hüllenoperatoren.

(5) Es ist i.A. keine Boolesche Algebra,

was man schon daran sieht, daß die Menge {1,2,3,4} 15 Partitionen hat---endliche Boolesche Algebren haben aber immer zweierpotenz viele Elemente. Genauer ist (8) der Grund.

(6) Es gibt 0 und 1,

nämlich die Menge id_M = {(x,x)/x M} sowie M × M.

(7) Jede Partition hat (mindestens) ein Komplement:

Sei R eine Äquivalenzrelation. Aus jeder Äquivalenzklasse A_i, 1it, wählen wir ein Element a_i aus. Wir definieren S = id_M {(a_i,a_j) / 1 i,j t}.
R S = (R S)^* = M × M, denn seien x,y M. Dann gibt es 1 i,j t mit (x,a_i) R und (a_j,y) R. Da (a_i,a_j) S, folgt (x,y) (R S)^*.
R S = R S = id_M.

(8) Die Distributivgesetze gelten leider nicht.

Beispiel: M={1,2,3,4}, R={(1,1),(2,2),(3,3),(4,4),(2,3),(3,2)}, S={(1,1),(2,2),(3,3),(4,4),(1,2),(2,1),(3,4),(4,3)}, T={(1,1),(2,2),(3,3),(4,4),(1,3),(3,1),(2,4),(4,2)}. Wir haben
R (S T) = R id_M = R M × M = (M × M) (M × M) = (R S)^* (R T)^* = (R S) (R S), sowie
R (S T) = R (S T)^* = R (M × M) = R id_M = id_M id_M = (R S) (R T).

Erich Prisner
erstellt am 25. Mai 2000.

DISKRETE MATHEMATIK Erich Prisner Sommersemester 2000

Lösung des Preisrätsels

DISKRETE MATHEMATIK
Erich Prisner
Sommersemester 2000