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

mathematischer Hintergrund
Tupel als Funktionen
Definition
B A bezeichnet die Menge aller Funktionen von A nach B .
Dies imitiert die Schreibweise B n für die Menge aller n-Tupel über B ,
also das n-fache cartesische Produkt der Menge B mit sich.
Interpretiert man die Zahl n als Menge ihrer Vorgänger, d.h.,
n = { k ∈ N : k < n } und speziell 0 = ∅
so stimmen n-Tupel über B mit Funktionen n
Folgerung
ε
B überein.
Alle Inklusionsabbildungen ∅ X , X eine Menge, stimmen mit der
einzigen Teilmenge ∅ ⊆ ∅ × X = ∅ überein.
Jürgen Koslowski (TU-BS) Theoretische Informatik 1 WS 2010/2011 188 / 191