Zum Inhalt springen

Ing Mathematik: Mengenlehre

Aus Wikibooks



Menge

[Bearbeiten]
Definition einer Menge nach Cantor
Eine Menge ist eine Zusammenfassung bestimmter, wohlunterschiedener Objekte unserer Anschauung oder unseres Denkens zu einem Ganzen.


  • Explizite Mengenbeschreibung:
  • Implizite Mengenbeschreibung: Die Menge aller Telefonnummern in der Stadt XYZ.


Von jedem Objekt soll feststehen, ob es zur Menge gehört oder nicht (Ausschluss von Antinomien). Die Objekte einer Menge werden als Elemente bezeichnet.

  • Element von:
  • Nicht Element von:


Beispiel:


Teilmenge

[Bearbeiten]


Teilmenge
Eine Menge B heißt Teilmenge einer Menge A (), wenn jedes Element von B auch Element von A ist.


Die Beziehung heißt Inklusion.

Ist die Menge B keine Teilmenge der Menge A, so schreibt man dies als


Gleichheit von Mengen


Echte Teilmenge
Eine Menge B heißt echte Teilmenge einer Menge A (), wenn jedes Element von B auch Element von A, sowie A nicht gleich B ist.

Leere Menge

[Bearbeiten]

Enthält eine Menge kein Element, so heißt sie leere Menge ().


Die leere Menge ist immer Teilmenge einer anderen Menge ().


Vereinigungsmenge

[Bearbeiten]


Vereinigungsmenge
Unter der Vereinigungsmenge der Menge A und B () versteht man die Menge aller Elemente, die einer der beiden Mengen angehört.


Es gilt:


Schnittmenge

[Bearbeiten]


Schnittmenge
Die Schnitt- oder Durchschnittsmenge () ist die Menge aller Elemente, die sowohl der Menge A, wie auch der Menge B angehören.


Wie man auch leicht visualisieren kann gelten folgende Regeln:


Ist , so heißen die beiden Mengen elementfremd (disjunkt).


Differenzmenge

[Bearbeiten]


Differenzmenge
Die Differenzmenge (Menge A ohne Menge B) besteht aus der Menge von Elementen, welche zwar der Menge A angehören, aber nicht der Menge B.


Komplement
Eine andere Bezeichnung für ist Komplement von B bezüglich A. Ist die Menge B eine Teilmenge der Menge A, so nennt man die Menge Komplement von B.


Für das Komplement gelten folgende Regeln:

  • de Morgansche Regeln:

Geordnete Paare und Produktmenge

[Bearbeiten]
Geordnete Paare
A und B seien beliebige nichtleere Mengen, sowie . heißt dann geordnetes Paar.


Gleichheit geordneter Paare:


Produktmenge
Die Menge aller geordneten Paare der Mengen A und B heißt Produktmenge von A und B.


Geordnetes Tripel

[Bearbeiten]

A, B und C seien beliebige nichtleere Mengen, sowie . nennt man geordnetes Tripel.

Geordnetes n-Tupel

[Bearbeiten]

seien n beliebige nichtleere Mengen mit . heißt dann geordnetes n-Tupel.


Gleichheit geordneter n-Tupel:


Produkt der Mengen bis


Ist , so kann man anstatt auch schreiben.

Beispiel: