Sortenprädikate/Einführung/Textabschnitt
Bei vielen mathematischen Strukturen bewegen sich die Objekte, über die quantifiziert werden soll, nicht in einer einzigen Menge, sondern in mehreren. Beispielsweise interessiert man sich nicht nur für Abbildungen von einer Menge in sich selbst, sondern auch für Abbildungen zwischen zwei Mengen. Bei einem Vektorraum wird ein Körper zugrunde gelegt, aus dem die „Skalare“ herrühren, während die Vektoren aus dem Vektorraum sind; die Axiome eines Vektorraums nehmen Bezug auf beide Arten. Bei einem metrischen Raum ist der Abstand zwischen zwei Punkten des Raumes eine reelle Zahl bzw. ein Element in einem angeordneten Körper. Man spricht von verschiedenen „Sorten“ (von Termen, von Objekten). Solche mathematische Strukturen lassen sich ebenfalls mit der Sprache erster Stufe beschreiben, wobei man einen einfachen Kniff anwendet, der von der mathematischen Praxis her etwas künstlich wirkt. Man wirft die Mengen zunächst zusammen und führt dann für jede Sorte ein Sortenprädikat ein, um sie wieder trennen zu können. Ein Sortenprädikat ist eine einstellige Relation, und bedeutet inhaltlich gesprochen, dass der Term zur Sorte gehört, die durch repräsentiert wird. Wir erläutern dieses Vorgehen an zwei Beispielen.
Eine angemessene prädikatenlogische Formulierung für Abbildungen zwischen zwei Mengen wird durch das Symbolalphabet beschrieben, das neben Variablen aus besteht, wobei ein einstelliges Funktionssymbol und (für „Definitionsbereich“) und (für „Zielbereich“) zwei einstellige Relationssymbole sind, mit denen man den Definitionsbereich und den Zielbereich einer Abbildung erfassen möchte. Bei Interpretation in einer Menge ist die Funktion zwar auf jedes Element aus anwendbar, man kann aber relevante Eigenschaften einer Abbildung spezifisch für die durch bzw. bestimmten Teilmengen (den Definitionsbereich bzw. Zielbereich) formulieren. Beispielsweise besagt der Ausdruck
dass für jedes , das zum Definitionsbereich gehört, der Funktionswert zu gehören muss. Die Surjektivität (als Abbildung von der durch beschriebenen Menge, also , in die durch beschriebene Menge, also ) wird durch
beschrieben.
Eine angemessene prädikatenlogische Formulierung für Vektorräume wird neben Variablen durch
beschrieben, wobei Konstanten, zweistellige Funktionssymbole und (für Körper) und (für Vektorraum) zwei einstellige Relationssymbole sind, mit denen man den Körper und den Vektorraum erfassen möchte. Die grundlegende Skalarmultiplikation wird durch
beschrieben, die beiden Distributivgesetze durch
und
