Mengensystem

Mengensystem

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.

Inhaltsverzeichnis

Formale Definition

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

Stabilität

Ein Mengensystem S heißt abgeschlossen oder stabil bezüglich einer Mengenoperation (Durchschnitt, Vereinigung, Komplement, etc.), wenn die Anwendung der Operation auf Elemente von S wieder ein Element von S liefert. Zum Beispiel ist S durchschnittsstabil, wenn gilt, dass der Durchschnitt zweier Mengen aus S wieder in S liegt. In Formeln:

A, B \in S \Rightarrow A \cap B \in S.

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.

        
Ein Hypergraph mit 7 Knoten und 4 Hyperkanten
Ein ungerichteter Graph mit 6 Knoten und 7 Kanten

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 = {v1,v2,v3,v4,v5,v6,v7}
Menge der Hyperkanten = {e1,e2,e3,e4}, wobei
Hyperkante e1 = {v1,v2,v3}
Hyperkante e2 = {v2,v3}
Hyperkante e3 = {v3,v5,v6}
Hyperkante e4 = {v4}

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 = {1,2,3,4,5,6}
Mengensystem = {{1,2},{1,5},{2,3},{2,5},{3,4},{4,5},{4,6}}

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:

0 = \varnothing (die leere Menge)
1 = \{0\} = \{\varnothing\}
2 = \{0, 1\} = \{ \varnothing, \{ \varnothing\} \}
3 = \{0, 1, 2\} = \{ \varnothing, \{ \varnothing\}, \{ \varnothing, \{ \varnothing\} \} \}
4 = \{0, 1, 2, 3\}\ = \ldots
    \vdots

Literatur


Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

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

  • Ring (Mengensystem) — In der Mathematik ist ein (Mengen )Ring ein Grundbegriff der Maßtheorie. Er bezeichnet ein nicht leeres Mengensystem, das vereinigungs und differenzstabil ist. Felix Hausdorff nannte aufgrund einer entfernten Ähnlichkeit zur algebraischen… …   Deutsch Wikipedia

  • Halbring (Mengensystem) — In der Mathematik ist ein (Mengen )Halbring (auch Mengensemiring oder kurz Semiring) ein Grundbegriff der Maßtheorie. Er bezeichnet ein nicht leeres Mengensystem, das durchschnittsstabil ist und in dem jede Differenz eine nicht leere, endliche… …   Deutsch Wikipedia

  • Algebra (Mengensystem) — In der Mathematik ist eine (Mengen )Algebra ein Grundbegriff der Maßtheorie. Er bezeichnet ein nicht leeres Mengensystem, das vereinigungs und komplementstabil ist (Ereignissystem). Felix Hausdorff nannte aufgrund einer entfernten Ähnlichkeit zur …   Deutsch Wikipedia

  • Fast überall — Die Maßtheorie ist ein Teilgebiet der Mathematik, das die elementargeometrischen Begriffe Streckenlänge, Flächeninhalt, Volumen verallgemeinert und es dadurch ermöglicht, auch komplizierteren Mengen ein Maß zuzuordnen. Sie bildet das Fundament… …   Deutsch Wikipedia

  • Massraum — Die Maßtheorie ist ein Teilgebiet der Mathematik, das die elementargeometrischen Begriffe Streckenlänge, Flächeninhalt, Volumen verallgemeinert und es dadurch ermöglicht, auch komplizierteren Mengen ein Maß zuzuordnen. Sie bildet das Fundament… …   Deutsch Wikipedia

  • Maß (Mathematik) — Die Maßtheorie ist ein Teilgebiet der Mathematik, das die elementargeometrischen Begriffe Streckenlänge, Flächeninhalt, Volumen verallgemeinert und es dadurch ermöglicht, auch komplizierteren Mengen ein Maß zuzuordnen. Sie bildet das Fundament… …   Deutsch Wikipedia

  • Maßraum — Die Maßtheorie ist ein Teilgebiet der Mathematik, das die elementargeometrischen Begriffe Streckenlänge, Flächeninhalt, Volumen verallgemeinert und es dadurch ermöglicht, auch komplizierteren Mengen ein Maß zuzuordnen. Sie bildet das Fundament… …   Deutsch Wikipedia

  • Messbarer Raum — Die Maßtheorie ist ein Teilgebiet der Mathematik, das die elementargeometrischen Begriffe Streckenlänge, Flächeninhalt, Volumen verallgemeinert und es dadurch ermöglicht, auch komplizierteren Mengen ein Maß zuzuordnen. Sie bildet das Fundament… …   Deutsch Wikipedia

  • Σ-Additivität — Die Maßtheorie ist ein Teilgebiet der Mathematik, das die elementargeometrischen Begriffe Streckenlänge, Flächeninhalt, Volumen verallgemeinert und es dadurch ermöglicht, auch komplizierteren Mengen ein Maß zuzuordnen. Sie bildet das Fundament… …   Deutsch Wikipedia

  • Ereignisalgebra — Eine σ Algebra (auch σ Mengenalgebra, Sigmakörper oder Borelscher Mengenkörper) ist ein Grundbegriff der Maßtheorie. Als solcher wird sie auch in der Stochastik häufig verwendet. Eine σ Algebra ist eine mengentheoretische Struktur, sie bezeichnet …   Deutsch Wikipedia

Share the article and excerpts

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