Ing Mathematik: Mengenlehre



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: