Mengensystem - LinkFang.de





Mengensystem


Dieser Artikel beschäftigt sich mit Mengen von Teilmengen einer Obermenge. Für Mengen, die mit einer beliebigen Indexmenge indiziert sind siehe Mengenfamilie.

Ein Mengensystem ist in der Mathematik eine Menge, deren Elemente allesamt Teilmengen einer gemeinsamen Grundmenge sind.

Im Kontext der Graphentheorie wird ein Mengensystem als Hypergraph bezeichnet.

Formale Definition

Ist eine Grundmenge [math]X[/math] gegeben, so heißt jede Teilmenge [math]S[/math] der Potenzmenge [math]\mathcal P(X) = \{A \mid A \subseteq X\}[/math] ein Mengensystem über [math]X[/math]. Anders ausgedrückt: [math]S[/math] ist eine Menge von Mengen und jedes Element von [math]S[/math] ist eine Teilmenge von [math]X[/math].

Stabilität

Ein Mengensystem [math]S[/math] heißt abgeschlossen oder stabil bezüglich einer Mengenoperation (Durchschnitt, Vereinigung, Komplement etc.), wenn die Anwendung der Operation auf Elemente von [math]S[/math] wieder ein Element von [math]S[/math] liefert. Mengensysteme werden oftmals bezüglich der stabilen Operationen benannt. So heißt ein Mengensystem zum Beispiel

  • [math] \cap [/math]-stabil (schnittstabil) oder auch ein π-System, wenn [math]A, B \in S \Rightarrow A \cap B \in S[/math] gilt.
  • [math] \cup [/math]-stabil (vereinigungsstabil), wenn [math]A, B \in S \Rightarrow A \cup B \in S[/math] gilt.
  • [math] \sigma[/math]-[math]\cap [/math]-stabil, oder ein δ-System, wenn für abzählbar unendliche viele Mengen [math] (A_i)_{i \in \mathbb{N}} \in S [/math] auch [math] \bigcap_{i \in \mathbb{N}} A_i [/math] wieder in [math] S [/math] ist.
  • [math] \sigma[/math]-[math]\cup [/math]-stabil, wenn für abzählbar unendliche viele Mengen [math] (A_i)_{i \in \mathbb{N}} \in S [/math] auch [math] \bigcup_{i \in \mathbb{N}} A_i [/math] wieder in [math] S [/math] ist.
  • [math] \setminus [/math]-stabil (differenz-stabil), wenn [math]A, B \in S \Rightarrow A \setminus B \in S[/math] gilt.
  • Komplementstabil, wenn [math]A \in S \Rightarrow A^c \in S[/math] gilt.

Teilweise werden auch Systeme, die lediglich abgeschlossen bezüglich abzählbar unendlichen Vereinigungen sind, als [math] \sigma[/math]-Systeme bezeichnet. Dann nennt man Systeme, die abgeschlossen bezüglich abzählbar unendlichen Durchschnitten sind auch [math] \delta [/math]-Systeme.

Beispiele

Die folgenden mathematischen Objekte sind Mengensysteme mit zusätzlichen Eigenschaften. Bei der Formulierung dieser Eigenschaften spielt oft die Stabilität bezüglich bestimmter Mengenoperationen eine Rolle.

        

Hypergraphen

Im Kontext der Graphentheorie wird ein Mengensystem auch als Hypergraph bezeichnet. Die Elemente der Grundmenge heißen dann Knoten und die Elemente des Mengensystems heißen Hyperkanten. Man kann sich eine Hyperkante als Verallgemeinerung einer Kante in einem gewöhnlichen Graphen vorstellen, die eben nicht zwei, sondern mehrere Knoten gleichzeitig miteinander „verbindet“. Im nebenstehenden Beispiel gilt:

Menge der Knoten = [math]\{v_1, v_2, v_3, v_4, v_5, v_6, v_7\}[/math]
Menge der Hyperkanten = [math]\{e_1, e_2, e_3, e_4\}[/math], wobei
Hyperkante [math]e_1 = \{v_1, v_2, v_3\}[/math]
Hyperkante [math]e_2 = \{v_2, v_3\}[/math]
Hyperkante [math]e_3 = \{v_3, v_5, v_6\}[/math]
Hyperkante [math]e_4 = \{v_4\}[/math]

In vielen Anwendungsfällen von Hypergraphen wird die Knotenmenge als endlich festgelegt und die leere Hyperkante ausgeschlossen.

Verbindet jede Hyperkante genau 2 Knoten, liegt ein ungerichteter Graph vor (genauer: ein ungerichteter Graph ohne Mehrfachkanten und ohne Schleifen). Das Mengensystem besteht dann also nur aus 2-elementigen Teilmengen der Grundmenge. Im nebenstehenden Beispiel gilt:

Grundmenge = [math]\{1, 2, 3, 4, 5, 6\}[/math]
Mengensystem = [math]\{\{1, 2\}, \{1, 5\}, \{2, 3\}, \{2, 5\}, \{3, 4\}, \{4, 5\}, \{4, 6\}\}[/math]

Axiomatische Mengenlehre

In der Zermelo-Fraenkel-Mengenlehre gibt es nur einen Typ von Objekten, nämlich Mengen. Damit sind alle Elemente einer Menge selbst wieder Mengen, und die Begriffe Menge und Mengensystem stimmen überein.

Beispiel: Jede natürliche Zahl wird in diesem Zusammenhang mit der Menge ihrer Vorgänger identifiziert. Dies ergibt den folgenden Aufbau:

[math]0 = \varnothing[/math] (die leere Menge)
[math]1 = \{0\} = \{\varnothing\}[/math]
[math]2 = \{0, 1\} = \{ \varnothing, \{ \varnothing\} \} [/math]
[math]3 = \{0, 1, 2\} = \{ \varnothing, \{ \varnothing\}, \{ \varnothing, \{ \varnothing\} \} \}[/math]
[math]4 = \{0, 1, 2, 3\}\ = \dotsb[/math]
    [math]\vdots[/math]

Literatur


Kategorien: Mengensystem | Mengenlehre

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Mengensystem (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.