„Teilmenge“ – Versionsunterschied

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen
[gesichtete Version][gesichtete Version]
Inhalt gelöscht Inhalt hinzugefügt
Addbot (Diskussion | Beiträge)
K Bot: 47 Interwiki-Link(s) nach Wikidata (d:q177646) migriert
(Eine dazwischenliegende Version desselben Benutzers wird nicht angezeigt)
Zeile 1: Zeile 1:
[[Datei:Set subsetAofB.svg|thumb|right|150px|[[Mengendiagramm]]: ''A'' ist eine (echte) Teilmenge von ''B''.]]
[[Datei:Set subsetAofB.svg|thumb|right|150px|[[Mengendiagramm]]: ''A'' ist eine (echte) Teilmenge von ''B''.]]
Die [[Mathematik|mathematischen]] Begriffe '''Obermenge''' und '''Teilmenge''' beschreiben eine Beziehung zwischen zwei [[Menge (Mathematik)|Mengen]]. Ein anderes Wort für Teilmenge ist '''Untermenge'''.
Die [[Mathematik|mathematischen]] Begriffe '''Obermenge''' und '''Teilmenge''' beschreiben eine Beziehung zwischen zwei [[Menge (Mathematik)|Mengen]]. Ein anderes Wort für Teilmenge ist '''Untermenge'''.

{{Mathematische Zeichen|⊂ ⊃}}


Für die mathematische Abbildung der Einbettung einer Teilmenge in ihre Grundmenge, die [[mathematische Funktion]] der ''Teilmengenbeziehung'', wird die [[Inklusionsabbildung]] verwendet.
Für die mathematische Abbildung der Einbettung einer Teilmenge in ihre Grundmenge, die [[mathematische Funktion]] der ''Teilmengenbeziehung'', wird die [[Inklusionsabbildung]] verwendet.
Zeile 113: Zeile 115:
* Eine endliche Menge mit n Elementen hat genau 2<sup>n</sup> Teilmengen.
* Eine endliche Menge mit n Elementen hat genau 2<sup>n</sup> Teilmengen.
* Die Anzahl der k-elementigen Teilmengen einer n-elementigen (endlichen) Menge ist durch den [[Binomialkoeffizient]]en <math>\tbinom n k</math> gegeben.
* Die Anzahl der k-elementigen Teilmengen einer n-elementigen (endlichen) Menge ist durch den [[Binomialkoeffizient]]en <math>\tbinom n k</math> gegeben.

== Darstellung in Computersystemen ==

:{| class="wikitable" style="text-align:center"
|+ Mathematische Mengenrelationen
|- class="hintergrundfarbe6"
! colspan="2" | Zeichen !! colspan="2" | [[Unicode]] !! colspan="2" | Latex !! Bedeutung
|-
| <big>⊂</big> <big>⊊</big> || <big>⊄</big> || <code>U+2282</code> <code>U+228A</code> || <code>U+2284</code> || \subset \subsetneq || \not\subset || align="left" | ist echte Teilmenge von/ist keine echte Teilmenge von
|-
| <big>⊆</big> || <big>⊈</big> || <code>U+2286</code> || <code>U+2288</code> || \subseteq || \nsubseteq || align="left" | ist Teilmenge von/ist keine Teilmenge von
|-
| <big>⊃</big> <big>⊋</big> || <big>⊅</big> || <code>U+2283</code> <code>U+228B</code> || <code>U+2285</code> || \supset \supsetneq || \not\supset || align="left" | ist echte Obermenge von/ist keine echte Obermenge von
|-
| <big>⊇</big> || <big>⊉</big> || <code>U+2287</code> || <code>U+2289</code> || \supseteq || \nsupseteq || align="left" | ist Obermenge von/ist keine Obermenge von
|}


== Siehe auch ==
== Siehe auch ==

Version vom 14. Mai 2013, 07:18 Uhr

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

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

⊂ ⊃
Mathematische Zeichen
Arithmetik
Pluszeichen +
Minuszeichen −, ⁒
Malzeichen ⋅, ×
Geteiltzeichen :, ÷, /
Plusminuszeichen ±, ∓
Vergleichszeichen <, ≤, =, ≥, >
Wurzelzeichen
Prozentzeichen %
Analysis
Summenzeichen Σ
Produktzeichen Π
Differenzzeichen, Nabla ∆, ∇
Prime
Partielles Differential
Integralzeichen
Verkettungszeichen
Unendlichzeichen
Geometrie
Winkelzeichen ∠, ∡, ∢, ∟
Senkrecht, Parallel ⊥, ∥
Dreieck, Viereck △, □
Durchmesserzeichen
Mengenlehre
Vereinigung, Schnitt ∪, ∩
Differenz, Komplement ∖, ∁
Elementzeichen
Teilmenge, Obermenge ⊂, ⊆, ⊇, ⊃
Leere Menge
Logik
Folgepfeil ⇒, ⇔, ⇐
Allquantor
Existenzquantor
Konjunktion, Disjunktion ∧, ∨
Negationszeichen ¬

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]

Notationen und Sprechweisen

(A ist Teilmenge von B), eine Variante des Symbols ist
(A ist echte Teilmenge von B)
(B ist Obermenge von A)
(B ist echte Obermenge von A)

Diese Notation betont die Analogie zu den Schreibweisen xy und x < y. Daneben ist aber auch die folgende weit verbreitet:

steht für „ist Teilmenge von“,
für „ist echte Teilmenge von“. Varianten des Symbols sind .

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

Manche Autoren (etwa Kelley; s. u.) verwenden das Symbol anstelle des Symbols .

In der Situation 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 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 manchmal die gleichen oder ähnliche Sprechweisen benutzt werden, was ggf. zu Unklarheiten führen kann.

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

Definition

Dies bedeutet: „A ist Teilmenge von B definitionsgemäß genau dann, wenn jedes Element von A auch Element von B ist.“
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}
  • {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}.

Eigenschaften

  • Die leere Menge ist Teilmenge jeder Menge:
  • Jede Menge ist Teilmenge von sich selbst:
  • Charakterisierung der Inklusion mit Hilfe der Vereinigung:
  • Charakterisierung der Inklusion mit Hilfe des Durchschnitts:
  • Charakterisierung der Inklusion mit Hilfe der Differenzmenge:
  • Charakterisierung der Inklusion mit Hilfe der charakteristischen Funktion:
  • Zwei Mengen sind genau dann gleich, wenn jede eine Teilmenge der anderen ist:
    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:
  • Bei der Bildung der Schnittmenge erhält man stets eine Teilmenge:
  • Bei der Bildung der Vereinigungsmenge erhält man stets eine Obermenge:

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:

(Dabei ist eine Kurzschreibweise für „ und “.)

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

Inklusionsketten

Ist ein Mengensystem, so dass von je zwei der in 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 der linksseitig unbeschränkten offenen Intervalle von .

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

Größe und Anzahl von Teilmengen

  • Jede Teilmenge einer endlichen Menge ist endlich und für die Mächtigkeiten gilt:
  • Jede Obermenge einer unendlichen Menge ist unendlich.
  • Auch bei unendlichen Mengen gilt für die Mächtigkeiten:
  • 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).
  • Die Potenzmenge einer Menge A ist stets mächtiger als die Menge A selbst: .
  • 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 gegeben.

Darstellung in Computersystemen

Mathematische Mengenrelationen
Zeichen Unicode Latex Bedeutung
U+2282 U+228A U+2284 \subset \subsetneq \not\subset ist echte Teilmenge von/ist keine echte Teilmenge von
U+2286 U+2288 \subseteq \nsubseteq ist Teilmenge von/ist keine Teilmenge von
U+2283 U+228B U+2285 \supset \supsetneq \not\supset ist echte Obermenge von/ist keine echte Obermenge von
U+2287 U+2289 \supseteq \nsupseteq ist Obermenge von/ist keine Obermenge von

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)

Einzelnachweise

  1. Oliver Deiser: Einführung in die Mengenlehre. Springer, Berlin/Heidelberg 2004, ISBN 978-3-540-20401-5. Seite 33.