Leere Menge

aus Wikipedia, der freien Enzyklopädie
{ }
∅

Die leere Menge ist ein grundlegender Begriff aus der Mengenlehre. Man bezeichnet damit die Menge, die keine Elemente enthält. Da Mengen über ihre Elemente charakterisiert werden und zwei Mengen genau dann gleich sind, wenn sie dieselben Elemente haben (siehe Extensionalitätsaxiom der Mengenlehre), gibt es nur eine einzige leere Menge.

Die leere Menge ist nicht mit einer Nullmenge zu verwechseln, welche eine Menge mit dem Maß null ist. Eine solche Menge kann sogar unendlich viele Elemente enthalten.

Notation und Codierung

Als Zeichen für die leere Menge hat sich das von André Weil eingeführte[1] und von Nicolas Bourbaki verwendete Zeichen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varnothing} (ein durchgestrichener Kreis) weitgehend gegenüber anderen Notationen (wie oder Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathit{\Phi}} )[2][3] durchgesetzt. Eine typographische Variante davon ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \emptyset} (ein durchgestrichenes schmales Oval). Vor allem in der Schulmathematik wird die leere Menge auch gern durch eine leere Mengenklammer dargestellt: . Dieses Zeichen wirkt einem Missverständnis entgegen: Die leere Menge ist nicht nichts, sondern eine Menge, die nichts enthält.

Das ∅ ist in HTML als ∅ bzw. als ∅ kodiert; in Unicode als U+2205 und in LaTeX als \varnothing. Alternativ gibt es in LaTeX das Symbol Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \emptyset} , das durch \emptyset erzeugt wird. Nicht verwechselt werden sollte es mit dem ähnlich aussehenden Durchmesserzeichen ⌀, das als U+2300 kodiert ist, oder dem skandinavischen Buchstaben Ø (U+00D8 bzw. U+00F8).

Leermengenaxiom

Ein Axiom, das die Existenz einer leeren Menge fordert, wurde erstmals 1907 von Ernst Zermelo in der Zermelo-Mengenlehre formuliert. Es wurde später in die Zermelo-Fraenkel-Mengenlehre ZF und andere axiomatische Mengenlehren übernommen. Dieses Leermengenaxiom lautet verbal: Es gibt eine Menge, die keine Elemente enthält. Die präzise logische Formel lautet:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \exist M\colon \forall X\colon \lnot (X \in M)}

Die Eindeutigkeit der leeren Menge folgt aus dem Extensionalitätsaxiom. Die Existenz der leeren Menge folgt mit dem Aussonderungsaxiom aus der Existenz irgendeiner anderen Menge. In ZF, das im Unendlichkeitsaxiom die Existenz einer Menge fordert, ist das Leermengenaxiom damit entbehrlich.

Eigenschaften

  • Die leere Menge ist Teilmenge jeder Menge:
    Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \emptyset \subseteq A}
  • Jede Menge bleibt bei Vereinigung mit der leeren Menge unverändert:
  • Für jede Menge ist der Durchschnitt mit der leeren Menge die leere Menge:
    Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \emptyset \cap A = \emptyset}
  • Für jede Menge ist das kartesische Produkt mit der leeren Menge die leere Menge:
    Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \emptyset \times A = \emptyset}
  • Die einzige Teilmenge der leeren Menge ist die leere Menge:
  • Daraus folgt, dass die Potenzmenge der leeren Menge genau ein Element enthält, nämlich die leere Menge selbst:
  • Für jede widersprüchliche Aussage oder nicht erfüllbare Eigenschaft Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E(x)} gilt:
    , z. B. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \emptyset = \left\{ x \mid x\neq x \right\}} oder Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \emptyset = \left\{ x \in \mathbb Z \mid x+1=x+2 \right\}}
Damit ist die leere Menge insbesondere die Lösungsmenge einer Gleichung oder Ungleichung, die keine Lösung besitzt.
  • Jede Existenzaussage über Elemente der leeren Menge, etwa
    „Es existiert ein x aus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \emptyset} , sodass gilt …“
ist falsch, denn es gibt kein Element, das die Bedingung erfüllen könnte.
  • Jede Allaussage über Elemente der leeren Menge, etwa
    „Für alle Elemente der Menge gilt …“
ist wahr, denn es gibt kein Element, für das die fragliche Forderung falsch sein könnte.
  • Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} eine Menge und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f \colon A \to \emptyset} eine Abbildung. Dann ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} die leere Menge.
  • Die leere Menge ist die einzige Basis des Nullvektorraums.
  • Die leere Menge ist definitionsgemäß in jedem topologischen Raum zugleich abgeschlossen und offen.
  • Jede endliche Teilüberdeckung enthält die leere Menge, also ist die leere Menge kompakt.
  • Ebenfalls per definitionem ist die leere Menge in jedem Maßraum eine messbare Menge und besitzt das Maß 0.

Die leere Funktion

Die leere Menge ist insbesondere eine leere Menge geordneter Paare und damit eine Abbildung. Daher gibt es für jede Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} genau eine Abbildung

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f \colon \emptyset \to A} ,

nämlich Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f = \emptyset} , die sogenannte leere Abbildung oder leere Funktion. Das kann man auch so formulieren:

Die leere Menge ist das Anfangsobjekt in der Kategorie der Mengen.

Im Gegensatz dazu gibt es nur für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A=\emptyset} eine Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A \to \emptyset} .

Kardinalität der leeren Menge

Die leere Menge ist die einzige Menge mit der Kardinalität (Mächtigkeit) Null:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \left\vert \emptyset \right\vert = 0.}

Sie ist daher auch der einzige Repräsentant der Kardinalzahl 0 und der Ordinalzahl 0. Insbesondere ist sie eine endliche Menge.

Die leere Menge ist auch die einzige Menge, die durch ihre Kardinalität bereits eindeutig bestimmt ist. (Für jede andere Kardinalzahl ist die Klasse der Mengen dieser Kardinalität sogar echt.)

Literatur

  • Oliver Deiser: Einführung in die Mengenlehre. Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo. 3. Auflage. Springer Verlag, Berlin, Heidelberg 2010, ISBN 978-3-642-01444-4, doi:10.1007/978-3-642-01445-1.

Weblinks

Wikibooks: Mathe für Nicht-Freaks: Leere Menge und Allklasse – Lern- und Lehrmaterialien

Einzelnachweise

  1. ↑ Deiser, S. 31.
  2. ↑ Willard van Orman Quine: Set Theory And Its Logic. Belknap Press of Harvard University Press, Cambridge, USA 1963, ISBN 0-674-80207-1, S. 359 (HC)/ 380 (PB) (englisch). – Hier: Seite 19.
    Willard van Orman Quine: Mengenlehre und ihre Logik (= Logik und Grundlagen der Mathematik (deutsche Übersetzung). Band 10). Vieweg+Teubner Verlag, 1973, ISBN 3-528-08294-1, S. 264. – Hier: Seite 14.
  3. ↑ Akihiro Kanamori: The Empty Set, The Singleton, And The Ordered Pair. (Memento des Originals vom 1. Februar 2018 im Internet Archive)  Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe Original- und Archivlink gemäß Anleitung und entferne dann diesen Hinweis.@1@2Vorlage:Webachiv/IABot/pdfs.semanticscholar.org In: The Bulletin of Symbolic Logic. Bd. 9, Nr. 3, Sept. 2003, Seite 289 (Norbert Wiener zitierend).
Abgerufen von „https://de.wikiup.org/index.php?title=Leere_Menge&oldid=221096326“