2.1 Rechnen mit Mengen

2.1.1 Die Teilmenge

Definition:

M1  , M2  , M3  , ...  seien Mengen. Ist M1  eine Teilmenge von M2  , so folgt aus x  (-  M1  stets x  (-  M2  .
M1 < M2  D--e-->f  A  x  (-  M1  : x  (-  M2

Mittels dieser Definition kann man dann für die eingeführten Zahlenmengen schreiben:

N < Z < Q < R < C

2.1.2 Gleichheit von Mengen

Definition:

           Def
(M1 = M2) ----> (M1 < M2)  /~\  (M2 < M1)

Bemerkungen:

  1. < schließt Gleichheit nicht aus
  2. M1 /< M2 :  es gibt: x  (-  M1  mit x / (-  M2 E x  (-  M1 : x / (-  M2

Sätzchen:
(M1-<-M2)- /~\ -(M2-<-M3) '--> M1-< M3-
      Voraussetzung        Behauptung

2.1.3 Durchschnitt von Mengen

Definition:
 M1  /~\  M2 = {x |x  (-  M1) /~\  (x  (-  M2)}
  --- ---
M1 gmeiscth Mn2itten

Folgerungen:

2.1.4 Vereinigung von Mengen

Definition:
M1  U  M2 := {x| (x  (-  M1)  U  (x  (-  M2)} , x (- /M1  U  M2  , falls x  weder in M1  noch in M2  liegt.

PIC

Folgerungen:
M1  U  M2 = M2  U  M1

(M1  U  M2)  U M3 = M1  U (M2  U  M3) = M1  U  M2  U M3

 n
 U  M  := M   U M   U  ... U  M
j=1  j    1    2        n

M   < M    U  M , M  < M    U  M
  1     1   2     2    1    2

M1  /~\  M2 < M1  U  M2

Z = N  U  {0} U  {x|- x  (-  N}= {x|x  (-  N, x < 2} /~\  N = {1,2}

2.1.5 Die leere Menge

Definition:
P  ist die Menge, die kein Element enthält: die leere Menge.

PIC

M1   /~\ M2, M1  /~\  M2  /~\ M3 M1  /~\  M2 = M2  /~\  M1 (M1  /~\  M2)  /~\  M3 = M1  /~\  (M2  /~\ M3)
M1   U M2, M1  U  M2  U M3 M1  U  M2 = M2  U  M1 (M1  U  M2)  U  M3 = M1  U  (M2  U M3)

M1   /~\ M2 < M1 < (M1  U M2)

M  \M      M  \M   \M  =  M   /~\ M
  1    2     1    2   3    1    2

PIC