Handout - Institut für Theoretische Informatik - Technische ...

mathematischer Hintergrund
Äquivalenzrelationen
Proposition
Jede Abbildung Q L B induziert eine Äquivalenzrelation ∼ L via
p ∼ L q gdw . L(p) = L(q)
Das L-Bild L[Q] = { L(q) : q ∈ Q } ist in canonischer Weise isomorph zur
sogenannten Faktormenge Q/∼ L := { [q] ∼L : q ∈ Q } aller
∼ L -Äquivalenzklassen.
Beispiel
Die Preisfunktion auf allen Artikeln eines Supermarkts: Toilettenpapier
ist äquivalent zu Haarfestiger, ist äquivalent zu Dosen-Kohlrabi. . .
Division durch n mit Rest: liefert die Funktion
N modn n = { i : i < n }.
Minimierung
Jürgen Koslowski (TU-BS) Theoretische Informatik 1 WS 2010/2011 187 / 191