Satz von Łoś

Satz von Łoś

Der Satz von Łoś, benannt nach dem polnischen Mathematiker Jerzy Łoś, ist ein Satz aus der Modelltheorie aus dem Jahre 1955[1], der einen alternativen Zugang zum Endlichkeitssatz ermöglicht. Die Existenz von Modellen gewisser mathematischer Strukturen wird auf die Existenz von Ultrafiltern zurückgeführt.

Inhaltsverzeichnis

Begriffsbildungen

Boolesche Ausdehnung

Es sei S eine vorgegebene Signatur, das heißt eine Menge von nicht-logischen Symbolen, wie zum Beispiel S=\{0,1,+,\cdot\} zur Beschreibungen von Ringen oder Körpern. Weiter sei (M_i)_{i\in I} eine nicht-leere Familie von S-Strukturen und \prod_{i\in I}M_i deren kartesisches Produkt, das wir im Folgenden abkürzend mit M bezeichnen wollen.

Sei weiter \varphi = \varphi(x_1,\ldots, x_n) eine Formel der Sprache L_I^S der Prädikatenlogik erster Stufe, deren freie Variable unter den x_1,\ldots,x_n zu finden sind. Für jedes Tupel (a_1(i),\ldots ,a_n(i))\in M_i^n ist dann \varphi(a_1(i),\ldots ,a_n(i)) eine Aussage, die auf Mi zutreffen kann oder nicht, das heißt, für die M_i \vDash \varphi(a_1(i),\ldots ,a_n(i)) oder nicht. M_i \vDash \varphi(a_1(i),\ldots ,a_n(i)) liest man als Mi ist Modell von \varphi(a_1(i),\ldots ,a_n(i)). Durch diese nicht ganz saubere aber übliche Schreibweise \varphi(a_1(i),\ldots ,a_n(i)) soll angedeutet werden, dass die Elemente a_1(i),\ldots ,a_n(i) \in M_i an die Stelle der freien Variablen mit dem gleichen Index treten und damit eine Aussage im Modell Mi bilden.

Wir betrachten zu \varphi = \varphi(x_1,\ldots, x_n) nun ein Tupel (a_1,\ldots a_n) : I\rightarrow M^n und interessieren uns für die Menge aller Indizes, für die Mi ein Modell von \varphi(a_1(i),\ldots ,a_n(i)) ist. Wir definieren daher

\|\varphi(a_1,\ldots, a_n)\|\,:=\,\{i\in I;\, M_i \vDash \varphi(a_1(i),\ldots, a_n(i))\}

und nennen diese Menge die Boolesche Ausdehnung von \varphi(a_1,\ldots, a_n).

Reduzierte Produkte

Zusätzlich zur oben beschriebenen Situation betrachten wir nun einen Filter F auf der Indexmenge I und definieren

a\cong_F b\quad \Leftrightarrow\quad \{i\in I;\, a(i)=b(i)\} \in F

für a,b \in M. Diese Menge ist nichts anderes als die Boolesche Ausdehnung \|(x_1=x_2)(a,b)\| der Formel (x1 = x2) angewandt auf das Zweiertupel (a,b): I\rightarrow M^2.

Die Eigenschaften eines Filters zeigen, dass dadurch eine Äquivalenzrelation auf dem kartesischen Produkt der Mi definiert ist. Die Faktormenge nach dieser Äquivalenzrelation heißt das reduzierte Produkt zum Filter F und wird mit M / F bezeichnet[2].

Durch die folgenden Festlegungen, deren Wohldefiniertheit zu zeigen ist, wird das reduzierte Produkt ebenfalls zu einer S-Struktur:

  • c^{M/F} := (c^{M_i})_{i\in I}/F für jedes Konstantensymbol c\in S.
  • f^{M/F}(a_1/F,\ldots, a_n/F) := (f^{M_i}(a_1(i), \ldots, a_n(i)))_{i\in I}/F  für jedes n-stellige Funktionssymbol f\in S.
  • R^{M/F}(a_1/F,\ldots, a_n/F) genau dann, wenn \{i\in I; R^{M_i}(a_1(i),\ldots,a_n(i))\} \in F für jedes n-stellige Relationssymbol R\in S.

Ist speziell F ein Ultrafilter, das heißt maximal unter allen Filtern auf I, so nennt man M / F das Ultraprodukt der Mi zum Ultrafilter F.

Formulierung des Satzes

Der Satz von Łoś stellt ein Kriterium für die Gültigkeit von Formeln in Ultraprodukten bereit[3][4]:

Es sei (M_i)_{i\in I} eine nicht-leere Familie von S-Strukturen und U ein Ultrafilter auf I. Dann gilt

\prod_{i\in I}M_i/U \vDash \varphi(a_1/U,\ldots, a_n/U) genau dann, wenn \|\varphi(a_1,\ldots, a_n)\| \in U

für alle Formeln \varphi = \varphi(x_1,\ldots, x_n) aus L_I^S und alle Tupel (a_1,\ldots, a_n):I\rightarrow (\prod_{i\in I}M_i)^n.

Anwendungen

An zwei Beispielen sollen typische Anwendungen des Satzes von Łoś vorgestellt werden.

Endlichkeitssatz

Zum Endlichkeitssatz ist zu zeigen, dass eine Menge Φ von Sätzen aus L_I^S bereits dann ein Modell hat, wenn für jede endliche Teilmenge von Φ ein Modell gefunden werden kann. Um den Satz von Łoś in Anwendung zu bringen, betrachtet man als Indexmenge I die Menge alle endlichen Teilmengen von Φ und zu jedem i\in I ein nach Voraussetzung existierendes Modell Mi von i. Die Obermengen der endlichen Durchschnitte der Mengen \{j\in I; i\subset j\} bilden einen Filter, der in einem Ultrafilter U enthalten ist. Aus dem Satz von Łoś folgt nun leicht, dass \prod_{i\in I}M_i/U ein Modell für Φ ist.[5]

Dieser Beweis hat gegenüber Gödels Beweis den Vorteil, dass auf die Verwendung des syntaktischen Ableitbarkeitsbegriffs (siehe Prädikatenlogik erster Stufe) und den Vollständigkeitssatz verzichtet werden kann. Dieses Vorgehen wird im unten angegebenen Lehrbuch von Philipp Rothmaler konsequent ausgeführt.

Ringtheorie

  • Es sei φ ein Satz der Sprache L_I^S mit S=\{0,1,+,\cdot\}, der in allen Ringen der Charakteristik 0 gelte. Dann gilt der Satz bereits in Ringen hinreichend hoher Charakteristik.[6]

Nimmt man im Sinne eines Widerspruchsbeweises an, dass es Ringe Mi, i\in \N, beliebig hoher Charakteristik mi gibt, für die der Satz φ nicht gilt, ohne Einschränkung m_1 < m_2 < m_3 < \ldots , so betrachte man einen Ultrafilter U auf \N, der den Fréchet-Filter umfasst. Sätze der Form 1+\ldots +1 = 0 sind wegen der aufsteigenden Charakteristiken in fast allen Mi falsch und nach dem Satz von Łoś daher auch im Ultraprodukt \prod M_i/U, das heißt letzteres ist ein Ring der Charakteristik 0. Nach Voraussetzung gilt daher φ im Ultraprodukt und mit einer erneuten Anwendung des Satzes von Łoś ist die Menge aller Indizes, für die der Satz in Mi richtig ist, im Ultrafilter enthalten, das heißt er muss entgegen der Annahme von einigen, sogar von unendlich vielen, der Mi erfüllt werden. Dieser Widerspruch beendet den Beweis.

Einzelnachweise

  1. J. Łoś: Quelques remarques, théorèmes et problèmes sur les classes définissables d'algèbres, Mathematical interpretation of formal systems, Herausgeber L.E.J. Brower et al., Amsterdam 1955, Seiten 98-113
  2. Philipp Rothmaler: Einführung in die Modelltheorie, Spektrum Akademischer Verlag 1995, ISBN 978-3-86025-461-5, Kapitel 4.1
  3. Thomas Jech: Set Theory, Springer-Verlag (2003) , ISBN 3-540-44085-2, Theorem 12.3
  4. Philipp Rothmaler: Einführung in die Modelltheorie, Spektrum Akademischer Verlag 1995, ISBN 978-3-86025-461-5, Satz 4.2.1
  5. Philipp Rothmaler: Einführung in die Modelltheorie, Spektrum Akademischer Verlag 1995, ISBN 978-3-86025-461-5, Satz 4.3.2
  6. Louis H. Rowen: Ring Theory I, Academic Press Inc. (1988), ISBN 0-12-599841-4

Wikimedia Foundation.

Игры ⚽ Поможем решить контрольную работу

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Satz von Ceva — Der Satz von Ceva ist eine geometrische Aussage über Dreieckstransversalen, die der italienische Mathematiker Giovanni Ceva (1647 bis 1734) 1678 in seinem Werk De lineis rectis bewies. In einem Dreieck ABC seien [AD], [BE] und [CF] drei… …   Deutsch Wikipedia

  • Satz von Frobenius — nach Ferdinand Georg Frobenius bezeichnet in der Mathematik: Satz von Frobenius (Differentialtopologie) in der Differentialtopologie über Vektorfelder Satz von Frobenius (reelle Divisionsalgebren) in der abstrakten Algebra, der die reellen,… …   Deutsch Wikipedia

  • Satz von Kosnita — Der Kosnita Punkt ist einer der besonderen Punkte eines Dreiecks mit Kimberling Nummer X(54). Er ist isogonal konjugiert zum Mittelpunkt des Feuerbach Kreises. Der Punkt hat seinen Namen nach dem Satz von Kosnita: Ist O der Mittelpunkt des… …   Deutsch Wikipedia

  • Satz von Weyl — bezeichnet: eine Aussage aus der Zahlentheorie, siehe Satz von Weyl über Gleichverteilung eine Aussage über Lie Algebren, siehe Lie Algebra#Satz von Weyl Siehe auch: Ungleichung von Weyl Di …   Deutsch Wikipedia

  • Satz von Bernoulli — steht für verschiedene, von Personen aus der Familie Bernoulli aufgestellte, mathematische und physikalische Gesetze, insbesondere: von Daniel Bernoulli Bernoullische Energiegleichung Strömung nach Bernoulli und Venturi von Jakob I. Bernoulli… …   Deutsch Wikipedia

  • Satz von Dirichlet — steht für: Dirichlet Bedingung, eine mathematische Aussage übe die Konvergenz von Fourier Reihen. Primzahlsatz von Dirichlet, eine mathematische Aussage aus der Zahlentheorie über Primzahlen Diese Seite ist eine Begriffsklärung zur Un …   Deutsch Wikipedia

  • Satz von Gödel — Der gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Theorien. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Mächtigkeit… …   Deutsch Wikipedia

  • Satz von Pythagoras — Der Satz des Pythagoras ist einer der fundamentalen Sätze der euklidischen Geometrie. Er besagt, dass in allen ebenen rechtwinkligen Dreiecken die Summe der Flächeninhalte der Kathetenquadrate gleich dem Flächeninhalt des Hypotenusenquadrates ist …   Deutsch Wikipedia

  • Satz von Stokes — Der Satz von Stokes oder stokesscher Integralsatz ist ein nach Sir George Gabriel Stokes benannter Satz aus der Differentialgeometrie. In der allgemeinen Fassung handelt es sich um einen sehr tiefliegenden Satz über die Integration von… …   Deutsch Wikipedia

  • Satz von Goodstein — Goodstein Folgen sind spezielle Folgen natürlicher Zahlen. Sie spielen eine Rolle in einem mathematischen Satz, dem Satz von Goodstein. Das Besondere an diesem Satz ist, dass er sich zwar mit den Mitteln der Peano Arithmetik formulieren, aber… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”