Teilmenge

Mengendiagramm: A ist eine (echte) Teilmenge von B.

Die mathematischen Begriffe Teilmenge und Obermenge beschreiben eine Beziehung zwischen zwei Mengen. Ein anderes Wort für Teilmenge ist Untermenge.

Für die mathematische Abbildung der Einbettung einer Teilmenge in ihre Grundmenge, die mathematische Funktion der Teilmengenbeziehung, wird die Inklusionsabbildung verwendet. A ist eine Teilmenge von B und B ist eine Obermenge von A, wenn jedes Element von A auch in B enthalten ist. Wenn B zudem weitere Elemente enthält, die nicht in A enthalten sind, so ist A eine echte Teilmenge von B und B ist eine echte Obermenge von A. Die Menge aller Teilmengen einer gegebenen Menge A heißt die Potenzmenge von A.

Den Begriff Teilmenge prägte Georg Cantor – der 'Erfinder' der Mengenlehre – ab 1884; das Symbol der Teilmengenrelation wurde von Ernst Schröder 1890 in seiner „Algebra der Logik“ eingeführt.

Notationen und Sprechweisen

⊂⊊⊆⊇⊋⊃
 A \subseteq B (A ist Teilmenge von B), eine Variante des Symbols ist \subseteqq
 A \subset B (A ist echte Teilmenge von B)
 B \supseteq A (B ist Obermenge von A)
 B \supset A (B ist echte Obermenge von A)

Diese Notation betont die Analogie zu den Schreibweisen xy und x < y. Oft aber wird notationstechnisch nicht zwischen Teilmenge und echter Teilmenge unterschieden und das Symbol ⊂ dann für eine (beliebige) Teilmenge verwendet. Diese Verwendung lässt sich aber wie folgt erweitern, so dass man bei Bedarf auch hier notationstechnisch wieder zwischen Teilmenge und echter Teilmenge unterscheiden kann:

\ \subset steht für „ist Teilmenge von“,
\subsetneq steht für „ist echte Teilmenge von“. Varianten des Symbols sind \varsubsetneq\subsetneqq\varsubsetneqq.

Von letztgenanntem Symbol ist die zur anderen Konvention gehörige Verneinung A\nsubseteq B („A ist keine Teilmenge von B“) zu unterscheiden.

In der Situation A\subseteq B sagt man auch oft:

A ist in B enthalten“ oder „A wird von B umfasst“ oder „B enthält A“ oder „B umfasst A“ oder Ähnliches.

Für  A \subset B sagt man dementsprechend auch:

A ist echt in B enthalten“ oder „A wird von B echt umfasst“ oder „B enthält A echt“ oder „B umfasst A echt“.

Bei Verwendung solcher Sprechweisen ist darauf zu achten, dass im Zusammenhang mit der Element-Relation \in manchmal die gleichen oder ähnliche Sprechweisen benutzt werden, was ggf. zu Unklarheiten führen kann.

Definition

A \subseteq B :\Longleftrightarrow \forall x \in A : x \in B
Dies bedeutet: „A ist Teilmenge von B definitionsgemäß genau dann, wenn jedes Element von A auch Element von B ist.“
A \subset B :\Longleftrightarrow A \subseteq B \and A \neq B
Dies bedeutet: „A ist echte Teilmenge von B definitionsgemäß genau dann, wenn jedes Element von A auch Element von B ist und zugleich mindestens ein Element von B nicht Element von A ist.“

Beispiele

Die Menge {Trommel, Spielkarte} ist eine Teilmenge der Menge {Gitarre, Spielkarte, Digitalkamera, Trommel}
Die regulären Polygone bilden eine Teilmenge der Menge aller Polygone.

Weitere Beispiele als Mengendiagramme:

Eigenschaften

Die Inklusion als Ordnungsrelation

Wenn A ⊆ B und B ⊆ C ist, dann ist auch A ⊆ C

Die Inklusion als Beziehung zwischen Mengen erfüllt die drei Eigenschaften einer partiellen Ordnungsrelation, sie ist nämlich reflexiv, antisymmetrisch und transitiv:

 A \subseteq A
 A \subseteq B \subseteq A \Rightarrow A = B
 A \subseteq B \subseteq C \Rightarrow A \subseteq C

(Dabei ist A\subseteq B\subseteq C eine Kurzschreibweise für „A\subseteq B und B\subseteq C“.)

Ist also M \, eine Menge von Mengen (ein Mengensystem), dann ist  (M, \subseteq) eine Halbordnung. Insbesondere gilt dies für die Potenzmenge  \mathcal P(X) einer gegebenen Menge X.

Inklusionsketten

Ist M \, ein Mengensystem, so dass von je zwei der in M \, vorkommenden Mengen die eine die andere umfasst oder von der anderen umfasst wird, so nennt man ein solches Mengensystem eine Inklusionskette. Ein Beispiel hierfür liefert das System  \{{]{-\infty, x}[} \mid x \in \R \} der linksseitig unbeschränkten offenen Intervalle von \R.

Ein spezieller Fall einer Inklusionskette liegt vor, wenn eine (endliche oder unendliche) Mengenfolge gegeben ist, welche vermöge  \subseteq aufsteigend oder vermöge  \supseteq absteigend angeordnet ist. Man schreibt dann kurz:

A_1 \subseteq A_2  \subseteq A_3 \subseteq \ ...
A_1 \supseteq A_2  \supseteq A_3 \supseteq \ ...

Größe und Anzahl von Teilmengen

Siehe auch

Trenner
Basierend auf einem Artikel in: externer Link Wikipedia.de
Seitenende
Seite zurück
©  biancahoegel.de
Datum der letzten Änderung: Jena, den: 21.10. 2019