Mengen

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Mengen[Bearbeiten]

Der Begriff einer Menge kommt in der Mathematik fast überall an grundlegender Stelle vor und wird auch von uns im täglichen Sprachgebrauch oder auch in der Arbeit als Umweltwissenschaftler ständig gebraucht, oftmals ohne, dass wir explizit bemerken, dass wir mit Mengen Arbeiten. Beispielsweise kann eine Liste der in einem bestimmten Habitat vorkommenden Arten als eine Menge angesehen werden. Diese Menge besteht dann aus Elementen, welche die Artnamen der vorkommenden Arten repräsentieren.

Die Mengenlehre als mathematische Disziplin geht auf Georg Cantor (1845-1918) zurück.
Eine (naive) “Definition” einer Menge nach Cantor ist die folgende:

Definition: Menge[Bearbeiten]

  • Unter einer Menge verstehen wir jede Zusammenfassung von bestimmten wohlunterschiedenen Objekten unserer Anschauung oder unseres Denkens zu einem Ganzen.
  • Die Objekte, die zu einer Menge gehören, nennen wir die Elemente dieser Menge.

Anmerkung: Definition Menge[Bearbeiten]

Das ist keine exakte mathematische Definition, denn der Begriff einer Menge wird hier auf Begriffe, “Zusammenfassung”, “wohlunterschiedenen”, “Objekten” etc., zurückgeführt, die nicht näher bestimmt sind.
Es gibt daher eine genauere Definition von Mengen. Man spricht dann im Gegensatz zur naiven Mengenlehre von der axiomatischen Mengenlehre oder auch von der Zermelo-Fraenkel-Mengenlehre.
Diese würde jedoch den Rahmen dieser Vorlesung sprengen. Deswegen möchten wir uns in dieser Vorlesung auf diesen naiven, aber durchaus gängigen, Mengenbegriff von Cantor beschränken.

Schreibweise: Üblicherweise nimmt man in der Mathematik Buchstaben zur Bezeichnung von Mengen und ihren Elementen, also z. B. für die Menge und für ein Element von . Ist also eine Menge und ein Element von , so schreiben wir . Ist kein Element von , so schreiben wir .

Definition: Teilmenge, Leere Menge, Mächtigkeit[Bearbeiten]

Es seien und Mengen.

  1. heißt Teilmenge von , Notation , genau dann, wenn alle Elemente von auch Elemente von sind.
  2. heißt echte Teilmenge von , Notation , falls eine Teilmenge von ist und es zugleich mindestens ein Element in gibt, das kein Element von ist.
  3. und sind gleich, Notation , genau dann, wenn und gilt, d. h. jedes Element von ist ein Element von und umgekehrt.
  4. Die leere Menge, Notation oder auch , ist die Menge, die überhaupt keine Elemente besitzt. Insbesondere gilt für jede Menge .
  5. Hat die Menge nur endlich viele Elemente, so schreiben wir für die Anzahl der Elemente von , Notation . Hat unendlich viele Elemente, schreiben wir . Wir nennen auch die Mächtigkeit von .

Schreibweise: Wir schreiben eine Menge auf, indem wir die Objekte mit Kommata getrennt in geschweifte Klammern schreiben. Die Menge hat die drei Elemente ja, nein und Regenschirm. Alles Weitere ist kein Element der Menge.

Bemerkung[Bearbeiten]

In einer Menge kann man nicht sehen, wie häufig ein Element vorkommt. Es gilt . Auch die Reihenfolge, in der wir die Elemente in eine Menge schreiben, ist egal. Es ist .
Das heißt bei dem mathematische Objekt einer Menge kann nur entschieden werden, ob ein Element in einer Menge ist oder nicht, und nicht etwa, wie oft es dort vorkommt, oder ob es ein “wichtiges” Element ist, etc.
Zurückgreifend auf obiges Beispiel mit der Artenliste in einem Habitat, kann mit einer Menge, bestehend aus den Namen der vorkommenden Arten lediglich beschrieben werden, ob eine Art vorkommt oder nicht, nicht jedoch, wie oft eine Art vorkommt, welches ökologisch gesehen die wichtigste ist, oder welche Art als erstes bestimmt wurde.

Das Aussonderungsprinzip: Falls eine Menge gegeben ist, so können wir andere Mengen durch Aussonderung von Elementen konstruieren: ist eine Teilmenge von .

Beispiel[Bearbeiten]

  • ist die Menge der natürlichen Zahlen

(Vereinbarung: ist eine natürliche Zahl!)

  • ist die Menge der ganzen Zahlen, d. h. die natürlichen Zahlen zusammen mit ihren Negativen , also ist
  • bezeichnet die Menge der rationalen Zahlen, welche diejenigen Zahlen sind, die sich als Bruch mit ganzzahligem Zähler sowie Nenner (der muss ungleich 0 sein) darstellen lassen. Dabei ist genau dann, wenn gilt.

Wir schreiben .

  • bezeichnet die Menge der reellen Zahlen, die eine Vervollständigung der rationalen Zahlen ist. Sie beinhaltet Wurzelausdrücke wie oder sowie und und noch viele weitere Zahlen. Eine formal saubere Einführung der reellen Zahlen würde den Rahmen der Veranstaltung sprengen.
  • Die Menge der Insektenarten in Rheinland-Pfalz.
  • Die Menge der Nudeln, welche ich in dieser Woche gegessen habe.

Beispiel[Bearbeiten]

[Intervalle]

Sind und zwei reelle Zahlen mit , so können wir die Menge aller reellen Zahlen betrachten, die zwischen und liegen; das Intervall von bis .
Wir unterscheiden, ob wir und als Elemente des Intervalls zulassen oder nicht.

  • Ist sowohl als auch ein Element des Intervalls, so sprechen wir von dem abgeschlossenen Intervall von bis . In Zeichen:
  • Ist weder noch ein Element des Intervalls, so sprechen wir hingegen von dem offenen Intervallvon bis , in Zeichen:
  • Ist nur eine der Intervallgrenzen und in dem Intervall als Element enthalten, so heißt das Intervall halboffen.

Je nachdem, ob oder ein Element des Intervalls ist, sagen wir, das Intervall ist links abgeschlossen und rechts offen: bzw. rechts abgeschlossen und links offen: