Satz von Ramsey (Mengenlehre)

Satz von Ramsey (Mengenlehre)

Der Satz von Ramsey ist ein von F. P. Ramsey im Jahre 1929 bewiesener Satz aus dem mathematischen Gebiet der Mengenlehre. Er verallgemeinert die einfache Tatsache, dass bei einer Zerlegung einer unendlichen Menge in endlich viele Teilmengen wenigstens eine dieser Teilmengen ebenfalls unendlich sein muss.

Inhaltsverzeichnis

Formulierung des Satzes

Ist A eine Menge, so bezeichne [A]n die Menge aller n-elementigen Teilmengen von A. Zerlegt man [A]n in endlich viele Teilmengen, so muss eine der Teilmengen wieder unendlich sein. Darüber hinaus kann man folgende stärkere Aussage aufstellen, die als Satz von Ramsey bekannt ist:

  • Ist ω die Menge der natürlichen Zahlen und ist [\omega]^n=X_1\cup\ldots \cup X_m eine Zerlegung in m Teilmengen, wobei m und n natürliche Zahlen seien, so gibt es ein j \in \{1,\ldots, m\} und eine unendliche Teilmenge H\subset \omega mit [H]^n \subset X_j.

Bemerkungen

Teilmengen von [ω]n der Form Hn nennt man homogen. Nach dem Satz von Ramsey gibt es also zu jeder Zerlegung von [ω]n in endlich viele Teilmengen, so enthält wenigstens eine von ihnen eine unendliche homogene Teilmenge. Der Fall n = 1 reduziert sich auf die in der Einleitung genannte Tatsache, dass bei einer Zerlegung einer unendlichen Menge in endlich viele Teilmengen wenigstens eine dieser Teilmengen ebenfalls unendlich sein muss.

ω ist der Prototyp einer Menge der Mächtigkeit \aleph_0 (siehe Aleph-Funktion) und kann im Satz von Ramsey natürlich durch jede andere Menge dieser Mächtigkeit ersetzt werden. Ist A eine Menge der Mächtigkeit \aleph_1, so könnte man in Analogie zu obigem Satz fragen, ob bei einer Zerlegung der Menge [A]n in m Teilmengen wenigstens eine der Zerlegungsmengen eine homogene Teilmenge der Mächtigkeit \aleph_1 enthalten muss. Für n = 1 lautet die Antwort natürlich ja, aber schon für m = n = 2 muss sie verneint werden. Die Existenz von Kardinalzahlen \kappa > \aleph_0, so dass bei einer Zerlegung von [κ]2 in zwei Teilmengen wenigstens eine dieser Teilmengen eine homogene Teilmenge der Mächtigkeit κ umfassen muss, lässt sich in der ZFC-Mengenlehre nicht beweisen. Solche Kardinalzahlen nennt man schwach-kompakt und deren Nicht-Existenz ist zumindest relativ konsistent, das heißt, wenn die ZFC-Mengenlehre widerspruchsfrei ist, dann ist sie auch zusammen mit dem zusätzlichen Axiom der Nicht-Existenz schwach-kompakter Kardinalzahlen widerspruchsfrei.

Siehe auch

Literatur

  • Thomas Jech: Set Theory, Springer-Verlag (2003) , ISBN 3-540-44085-2, insbesondere Kapitel 9
  • F. P. Ramsey: On a Problem of Formal Logic, Proc. London Mathematical Society 1929/1930, Band 30, Seiten 264-186

Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

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

  • Satz von Erdös-Rado — Der Satz von Erdös Rado, benannt nach Paul Erdős und Richard Rado, ist ein mathematischer Satz aus dem Gebiet der Mengenlehre. Er trifft eine Aussage darüber, wie groß eine Menge sein muss, um eine gewisse Zerlegungseigenschaft zu haben. Die… …   Deutsch Wikipedia

  • Liste mathematischer Sätze — Inhaltsverzeichnis A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A Satz von Abel Ruffini: eine allgemeine Polynomgleichung vom …   Deutsch Wikipedia

  • Ramseytheorie — Die Ramseytheorie (nach Frank Plumpton Ramsey) ist ein Zweig der Kombinatorik innerhalb der Diskreten Mathematik. Sie behandelt die Frage, wie viele Elemente aus einer mit einer gewissen Struktur versehenen Menge ausgewählt werden müssen, damit… …   Deutsch Wikipedia

  • Unwahrheit — Wahrheit (von westgermanisch wâra, das wie lateinisch verus zu indogermanisch uêro gehört; griechisch Aletheia, von a [α privativum, nicht] und lethos/lethe [zu lanthano, verborgen sein]; lateinisch veritas, wirklicher Sachverhalt) ist einer der… …   Deutsch Wikipedia

  • Wahr — Wahrheit (von westgermanisch wâra, das wie lateinisch verus zu indogermanisch uêro gehört; griechisch Aletheia, von a [α privativum, nicht] und lethos/lethe [zu lanthano, verborgen sein]; lateinisch veritas, wirklicher Sachverhalt) ist einer der… …   Deutsch Wikipedia

  • Wahrheitstheorie — Wahrheit (von westgermanisch wâra, das wie lateinisch verus zu indogermanisch uêro gehört; griechisch Aletheia, von a [α privativum, nicht] und lethos/lethe [zu lanthano, verborgen sein]; lateinisch veritas, wirklicher Sachverhalt) ist einer der… …   Deutsch Wikipedia

  • Wahrheitstheorien — Wahrheit (von westgermanisch wâra, das wie lateinisch verus zu indogermanisch uêro gehört; griechisch Aletheia, von a [α privativum, nicht] und lethos/lethe [zu lanthano, verborgen sein]; lateinisch veritas, wirklicher Sachverhalt) ist einer der… …   Deutsch Wikipedia

  • Wahrheit — Dem Begriff Wahrheit werden verschiedene Bedeutungen zugeschrieben, wie Übereinstimmung mit der Wirklichkeit, einer Tatsache oder einem bestehenden Sachverhalt, aber auch einer Absicht oder einem bestimmten Sinn bzw. einer normativ als richtig… …   Deutsch Wikipedia

  • Paul Erdos — Paul Erdős auf einem Seminar in Budapest (Herbst 1992) Paul Erdős [ˈɛrdøːʃ] (ungarisch: Erdős Pál) (* 26. März 1913 in Budapest, Ungarn; † 20. September 1996 in Warschau, Polen) war …   Deutsch Wikipedia

  • Paul Erdös — Paul Erdős auf einem Seminar in Budapest (Herbst 1992) Paul Erdős [ˈɛrdøːʃ] (ungarisch: Erdős Pál) (* 26. März 1913 in Budapest, Ungarn; † 20. September 1996 in Warschau, Polen) war …   Deutsch Wikipedia

Share the article and excerpts

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