Teilmenge - LinkFang.de





Teilmenge


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.[1]

Definition

Wenn [math]A[/math] und [math]B[/math] Mengen sind und jedes Element von [math]A[/math] auch ein Element von [math]B[/math] ist, nennt man [math]A[/math] eine Teilmenge von [math]B[/math]:

[math]A \subseteq B :\Longleftrightarrow \forall x \in A\colon x \in B[/math]

Umgekehrt nennt man [math]B[/math] die Obermenge von [math]A[/math] genau dann, wenn [math]A[/math] Teilmenge von [math]B[/math] ist:

[math]B \supseteq A :\Longleftrightarrow A \subseteq B[/math]

Weiterhin gibt es den Begriff der echten Teilmenge. [math]A[/math] ist eine echte Teilmenge von [math]B[/math] genau dann, wenn [math]A[/math] eine Teilmenge von [math]B[/math] ist und [math]A[/math] nicht identisch mit [math]B[/math] ist.

[math]A \subsetneq B :\Longleftrightarrow A \subseteq B \and A \neq B[/math]

Wieder schreibt man auch [math]B \supsetneq A[/math], wenn [math]A \subsetneq B[/math].

Weitere Notationen

⊂⊊⊆⊇⊋⊃

Einige Autoren benutzen auch die Zeichen [math]\subset[/math] und [math]\supset[/math] für Teilmenge und Obermenge also statt [math]\subseteq[/math] und [math]\supseteq[/math].[2][3] Meistens definiert der Autor dann den Begriff „echte Teilmenge“ nicht.

Andere Autoren bevorzugen die Zeichen [math]\subset[/math] und [math]\supset[/math] für echte Teilmenge und Obermenge also statt [math]\subsetneq[/math] und [math]\supsetneq[/math].[1] Dieser Gebrauch erinnert passender Weise an die Zeichen für Ungleichheit [math]\leq[/math] und [math]\lt [/math]. Da diese Notation meistens benutzt wird, wenn der Unterschied zwischen echter und nicht echter Teilmenge wichtig ist, werden die Zeichen [math]\subsetneq[/math] und [math]\supsetneq[/math] eher selten benutzt.

Varianten des Zeichens [math]\subsetneq[/math] sind außerdem [math]\varsubsetneq[/math], [math]\subsetneqq[/math] und [math]\varsubsetneqq[/math]. Falls [math]A[/math] keine Teilmenge von [math]B[/math] ist, kann auch [math]A\nsubseteq B :\Longleftrightarrow \lnot \left(A\subseteq B\right)[/math] benutzt werden.

Die entsprechenden Unicode-Symbole sind: ⊂, ⊃, ⊆, ⊇ (siehe: Unicode-Block Mathematische Operatoren).

Sprechweisen

Statt „[math]A[/math] ist eine Teilmenge von [math]B[/math].“ wird auch „Die Menge [math]A[/math] ist in der Menge [math]B[/math] enthalten“ oder „Die Menge [math]A[/math] wird von [math]B[/math] umfasst.“ gesagt. Genauso wird statt „[math]B[/math] ist eine Obermenge von [math]A[/math].“ auch „Die Menge [math]B[/math] enthält die Menge [math]A[/math].“ oder „Die Menge [math]B[/math] umfasst die Menge [math]A[/math].“ gesagt. Wenn es nicht zu Missverständnissen kommen kann, wird auch „[math]B[/math] enthält [math]A[/math].“ usw. gesagt. Missverständnisse können insbesondere mit „Die Menge [math]B[/math] enthält das Element [math]A[/math].“ entstehen.

Beispiele

  • {1, 2} ist eine (echte) Teilmenge von {1, 2, 3}.
  • {1, 2, 3} ist eine (unechte) Teilmenge von {1, 2, 3}.
  • {1, 2, 3, 4} ist keine Teilmenge von {1, 2, 3}.
  • {1, 2, 3} ist keine Teilmenge von {2, 3, 4}.
  • ist eine (echte) Teilmenge von {1, 2}.
  • {1, 2, 3} ist eine (echte) Obermenge von {1, 2}.
  • {1, 2} ist eine (unechte) Obermenge von {1, 2}.
  • {1} ist keine Obermenge von {1, 2}.
  • Die Menge der Primzahlen ist eine echte Teilmenge der Menge der natürlichen Zahlen.
  • Die Menge der rationalen Zahlen ist eine echte Teilmenge der Menge der reellen Zahlen.

Weitere Beispiele als Mengendiagramme:

Eigenschaften

  • Die leere Menge ist Teilmenge jeder Menge:
    [math] \varnothing \subseteq A [/math]
  • Jede Menge ist Teilmenge von sich selbst:
    [math] A \subseteq A [/math]
  • Charakterisierung der Inklusion mit Hilfe der Vereinigung:
    [math] A \subseteq B \Leftrightarrow A \cup B = B [/math]
  • Charakterisierung der Inklusion mit Hilfe des Durchschnitts:
    [math] A \subseteq B \Leftrightarrow A \cap B = A [/math]
  • Charakterisierung der Inklusion mit Hilfe der Differenzmenge:
    [math] A \subseteq B \Leftrightarrow A \setminus B = \varnothing [/math]
  • Charakterisierung der Inklusion mit Hilfe der charakteristischen Funktion:
    [math] A \subseteq B \Leftrightarrow \chi_A \le \chi_B [/math]
  • Zwei Mengen sind genau dann gleich, wenn jede eine Teilmenge der anderen ist:
    [math] A = B \Leftrightarrow A \subseteq B \and B \subseteq A [/math]
    Diese Regel wird oft beim Nachweis der Gleichheit zweier Mengen verwendet, indem man die gegenseitige Inklusion (in zwei Arbeitsschritten) zeigt.
  • Beim Übergang zum Komplement dreht sich die Richtung der Inklusion um:
    [math] A \subseteq B \Rightarrow A^{\rm c} \supseteq B^{\rm c} [/math]
  • Bei der Bildung der Schnittmenge erhält man stets eine Teilmenge:
    [math] A \cap B \subseteq A [/math]
  • Bei der Bildung der Vereinigungsmenge erhält man stets eine Obermenge:
    [math] A \cup B \supseteq A [/math]

Die Inklusion als Ordnungsrelation

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

[math] A \subseteq A [/math]
[math] A \subseteq B \subseteq A \Rightarrow A = B [/math]
[math] A \subseteq B \subseteq C \Rightarrow A \subseteq C [/math]

(Dabei ist [math]A\subseteq B\subseteq C[/math] eine Kurzschreibweise für [math]A\subseteq B[/math] und [math]B\subseteq C[/math].)

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

Inklusionsketten

Ist [math]M \,[/math] ein Mengensystem, so dass von je zwei der in [math]M \,[/math] 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 [math] \{{]{-\infty, x}[} \mid x \in \R \}[/math] der linksseitig unbeschränkten offenen Intervalle von [math]\R[/math].

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

[math]A_1 \subseteq A_2 \subseteq A_3 \subseteq \ ... [/math]
[math]A_1 \supseteq A_2 \supseteq A_3 \supseteq \ ... [/math]

Größe und Anzahl von Teilmengen

  • Jede Teilmenge einer endlichen Menge ist endlich und für die Mächtigkeiten gilt:
    [math] A \subseteq B \Rightarrow \left| A\right| \le \left| B\right| [/math]
    [math] A \subsetneq B \Rightarrow \left| A\right| \lt \left| B\right| [/math]
  • Jede Obermenge einer unendlichen Menge ist unendlich.
  • Auch bei unendlichen Mengen gilt für die Mächtigkeiten:
    [math] A \subseteq B \Rightarrow \left| A\right| \le \left| B\right| [/math]
  • Bei unendlichen Mengen ist es aber möglich, dass eine echte Teilmenge dieselbe Mächtigkeit hat wie ihre Grundmenge. Zum Beispiel sind die natürlichen Zahlen eine echte Teilmenge der ganzen Zahlen, aber die beiden Mengen sind gleich mächtig (nämlich abzählbar unendlich).
  • Nach dem Satz von Cantor ist die Potenzmenge einer Menge A stets mächtiger als die Menge A selbst: [math]|A| \lt \bigl|\mathcal P(A)\bigr|[/math].
  • Eine endliche Menge mit n Elementen hat genau 2n Teilmengen.
  • Die Anzahl der k-elementigen Teilmengen einer n-elementigen (endlichen) Menge ist durch den Binomialkoeffizienten [math]\tbinom n k[/math] gegeben.

Siehe auch

Literatur

  • Oliver Deiser: Einführung in die Mengenlehre. Springer, 2004, ISBN 978-3-540-20401-5
  • John L. Kelley: General Topology. Springer-Verlag, Berlin / Heidelberg / New

York 1975, ISBN 3-540-90125-6 (Reprint der Edition bei Van Nostrand aus dem Jahre 1955).

Weblinks

Einzelnachweise

  1. 1,0 1,1 Oliver Deiser: Einführung in die Mengenlehre. Springer, 2004, ISBN 978-3-540-20401-5, S. 33 (Auszug (Google) )
  2. Set theory. In: Encyclopedia of Mathematics.
  3. Otto Kerner, Joseph Maurer, Jutta Steffens, Thomas Thode, Rudolf Voller: Vieweg Mathematik Lexikon. Vieweg, 1988, ISBN 3-528-06308-4, S. 190
ro:Mulțime#Submulțimi

Kategorien: Mengenlehre

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Teilmenge (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.