Diagramm (Logik)

In der mathematischen Logik bezeichnet ein Diagramm eine bestimmte Menge von Aussagen, mit der sich Beziehungen zwischen Modellen ausdrücken lassen. Die Verwendung solcher Diagramme bezeichnet man als Diagrammmethode. Sie wurde unabhängig von A. I. Malzew und A. Robinson eingeführt.

Definition

Es sei ${\mathcal {M}}$ ein Modell zu einer Sprache $L$ der Prädikatenlogik erster Stufe. Ist $M$ der Träger von ${\mathcal {M}}$, so heißt

${\begin{aligned}D({\mathcal {M}})&=\{\varphi ({\vec {m}}):{\mathcal {M}}\models \varphi ({\vec {m}}),\,\varphi \in L{\text{ atomar}},{\vec {m}}{\text{ in }}M\}\\&\cup \{\neg \varphi ({\vec {m}}):{\mathcal {M}}\models \neg \varphi ({\vec {m}}),\,\varphi \in L{\text{ atomar}},{\vec {m}}{\text{ in }}M\}\end{aligned}}$

das Diagramm, oder auch das atomare Diagramm von ${\mathcal {M}}$. Dabei steht ${\vec {m}}$ für ein Tupel mit Elementen aus $M$ von jeweils passender Länge, so dass die Elemente des Tupels die freien Variablen der Formel $\varphi \in L$ ersetzen. Eine Formel heißt atomar, wenn es sich um eine Termgleichung oder um eine Relation handelt. Demnach besteht das Diagramm von ${\mathcal {M}}$ aus allen Termgleichungen, Termungleichungen, Relationen und negierten Relationen von Elementen aus $M$, die im Modell ${\mathcal {M}}$ gelten.

Geht man von $L$ mittels Konstantenexpansion zur Sprache $L(M)$ über, in der also jedes Individuum aus $M$ als Konstante hinzugefügt wird, so ist das Diagramm die Menge der im Modell gültigen atomaren oder negierten atomaren $L(M)$-Aussagen.

Beispielanwendung

Gewisse Beziehungen zwischen Modellen lassen sich durch Diagramme ausdrücken, was hier anhand eines einfachen Beispiels gezeigt werden soll. Es gilt

Für zwei $L$-Modelle ${\mathcal {M}}$ und ${\mathcal {N}}$ mit Trägermengen $M\subset N$ sind äquivalent:

• ${\mathcal {M}}$ ist Untermodell von ${\mathcal {N}}$.
• $({\mathcal {N}},M)\models D({\mathcal {M}})$, das heißt, das um die Konstanten $M$ erweiterte Modell ist ein $L(M)$-Modell des Diagramms von ${\mathcal {M}}$.

Zum Beweis sei zunächst ${\mathcal {M}}$ Untermodell von ${\mathcal {N}}$. Bestehende Termgleichungen, Termungleichungen, Relationen und deren Negationen von Elementen aus $M$ gelten dann auch im größeren Modell ${\mathcal {N}}$, das heißt ${\mathcal {N}}\models \varphi ({\vec {m}})$ für alle atomaren oder negierten, atomaren $L$-Formeln $\varphi$, für die $\varphi ({\vec {m}})$ gilt, das heißt ${\mathcal {N}}$ ist Modell für jede $L(M)$-Aussage aus dem Diagramm von ${\mathcal {M}}$.

Ist umgekehrt $({\mathcal {N}},M)\models D({\mathcal {M}})$, so ist zu zeigen, dass $M$ die $L$-Konstanten enthält und dass die $L$-Funktionen und $L$-Relationen von $M$ genau die entsprechenden, auf $M$ eingeschränkten Funktionen bzw. Relationen von $N$ sind. Wir zeigen das am Beispiel der Funktionen. Sei $f$ eine $L$-Funktion und $f^{\mathcal {M}}:M^{n}\rightarrow M$ bzw. $f^{\mathcal {N}}:N^{n}\rightarrow N$ deren Interpretation in ${\mathcal {M}}$ bzw. ${\mathcal {N}}$. Ist ${\vec {m}}\in M^{n}$ und $f^{\mathcal {M}}({\vec {m}})=m_{0}\in M$, so ist $f({\vec {m}})=m_{0}$ eine $L(M)$-Aussage aus dem Diagramm von ${\mathcal {M}}$. Da $({\mathcal {N}},M)\models D({\mathcal {M}})$, folgt $f^{\mathcal {N}}({\vec {m}})=m_{0}$, das heißt $f^{\mathcal {M}}$ ist die Einschränkung von $f^{\mathcal {N}}$. Die Konstanten und Relationen werden genauso behandelt.

Das lässt sich verallgemeinern, indem man von der Teilmengenbeziehung $M\subset N$ zu einer monomorphen Einbettung $F:M\rightarrow N$ (d. h. $F$ ist ein injektiver starker Homomorphismus) übergeht. Es sind äquivalent (Diagrammlemma):

• ${\mathcal {M}}$ ist monomorph einbettbar in ${\mathcal {N}}$ (isomorph zu einer Unterstruktur).
• Es gibt eine $L(M)$-Expansion von ${\mathcal {N}}$, die Modell von $D({\mathcal {M}})$ ist.

Weitere Diagramme

Man kann die Aussagenmengen, die das Diagramm ausmachen, ändern und so zu weiteren Diagrammbegriffen kommen.

Positives Diagramm

Das positive Diagramm eines Modells ${\mathcal {M}}$ ist

$D_{+}({\mathcal {M}})=\{\varphi ({\vec {m}}):{\mathcal {M}}\models \varphi ({\vec {m}}),\,\varphi \in L{\text{ atomar}},{\vec {m}}{\text{ in }}M\}.$

Hier werden also nur die atomaren Aussagen betrachtet, die Negationen atomarer Aussagen hingegen nicht mehr. In Analogie zu obiger Verwendung des Diagramms zur monomorphen Einbettbarkeit kann mittels des positiven Diagramms homomorphe Einbettbarkeit charakterisiert werden. Äquivalent sind:

• ${\mathcal {M}}$ ist homomorph einbettbar in ${\mathcal {N}}$.
• Es gibt eine $L(M)$-Expansion von ${\mathcal {N}}$, die Modell von $D_{+}({\mathcal {M}})$.

Elementares Diagramm

Während man das positive Diagramm durch Einschränkung der betrachteten Aussagen gewonnen hat, lässt man beim sogenannten elementaren Diagramm nun alle Aussagen zu. Ist ein $L$-Modell ${\mathcal {M}}$ mit Trägermenge $M$ gegeben, so ist die Gesamtheit aller in ${\mathcal {M}}$ gültigen $L(M)$-Formeln $\varphi ({\vec {m}})$ nichts anderes als die Theorie des erweiterten Modells $({\mathcal {M}},M)$, bei dem jede neue Konstante $m$ durch sich selbst interpretiert wird. Diese Theorie bezeichnet man mit $\mathrm {Th} ({\mathcal {M}},M)$ und nennt sie das elementare Diagramm von ${\mathcal {M}}$.

Mit diesem Begriff lässt sich die elementare Einbettbarkeit charakterisieren. Für zwei ${\mathcal {M}}$ und ${\mathcal {N}}$ sind äquivalent:

• ${\mathcal {M}}$ lässt sich in ${\mathcal {N}}$ elementar einbetten.
• Es gibt eine $L(M)$-Expansion von ${\mathcal {N}}$, die Modell von $\mathrm {Th} ({\mathcal {M}},M)$ ist.

Für zwei $L$-Modelle ${\mathcal {M}}$ und ${\mathcal {N}}$ mit Trägermengen $M\subset N$ sind äquivalent:

• ${\mathcal {M}}$ ist elementare Unterstruktur von ${\mathcal {N}}$.
• $({\mathcal {N}},M)\models \mathrm {Th} ({\mathcal {M}},M)$, das heißt das um die Konstanten $M$ erweiterte Modell ist ein $L(M)$-Modell des elementaren Diagramms von ${\mathcal {M}}$.