Zum Inhalt springen

Benutzer:Jürgen-Michael Glubrecht/Durchschnitt

Aus Wikibooks

Großer Durchschnitt

[Bearbeiten]

Bisher haben wir den Durchschnitt von zwei Mengen definiert. Nun wollen wir den Durchschnitt von vielen Mengen bilden. Dazu betrachten wir eine Menge , deren Elemente genau die Mengen sind, über die wir den Durchschnitt bilden wollen. Wir sammeln dann die Objekte ein, die in allen Elementen von enthalten sind.

Beispiel (Durchnitt über )

Besteht aus den zwei Mengen und , so liegen im Durchschnitt über M alle Objekte, die sowohl in A als auch in B liegen. Und das ist gerade . Der "kleine" Durchschnitt ist also ein Spezialfall des großen Durchschnitts .

Definition (Großer Durchschnitt)

Der Durchschnitt über der Menge ist die Menge aller Objekte, die Element in allen Elementen von sind:

Verständnisaufgabe: Beweise für zwei beliebige Mengen und : .


Sonderfälle: Zur Erinnerung: ist die leere Menge, die Allklasse, vgl. Kapitel "Leere Menge und Allklasse". Was ist

Antwort:

  1. . Wir halten uns genau an die Definition von und erhalten: . Die Prämisse der Implikation ist immer falsch, die Implikation selbst also wahr und damit auch die Allaussage. Deswegen können wir die Allaussage durch ersetzen und die Gleichungskette fortsetzen: .
  2. Das können wir ohne weitere Voraussetzungen nicht beantworten, da wir ja nicht festgelegt haben, welche Objekte zur Allklasse gehören sollen! In der Regel wird aber die leere Menge selbst dazugehören und dann ist der Durchschnitt ebenfalls leer. Auch wenn gar keine Mengen zu gehören gilt .

Notation

[Bearbeiten]

In der Mathematik ist noch eine andere Schreibweise für den großen Durchschnitt üblich.

ist genau dasselbe wie .

ist eine Variable und steht für die Elemente von . Sie kann beliebig umbenannt werden, z. B. in : . Entscheidend ist die Menge , mit deren Elementen wird der Durchschnitt gebildet. Wenn die Elemente der Menge indiziert sind, also , mit , ist auch die folgende Schreibweise üblich: .