Sie sind auf Seite 1von 15

Technische Universitat Dortmund

Fakultat fu
r Mathematik
Institut fur Analysis

Rolf Walter

Grundbegriffe der Mengenlehre

Inhalt:
Logisches Schlieen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Mengen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Abbildungen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Verallgemeinerung auf mehrere Objekte . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
Relationen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
Standardmengen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
Anhang: Griechische Buchstaben in der Mathematik . . . . . . . . . . . . . . . 14

Stand: 15.07.2009

Alle Rechte vorbehalten


1

Logisches Schlieen
Hier geht es um die formale Handhabung von Aussagen.
Von einer Aussage mu feststehen, ob sie wahr (w) oder falsch (f ) ist. w und f sind die sog.
Wahrheitswerte. (Statt wahr sagt man auch richtig oder gebraucht andere Wendungen
der Umgangssprache, z.B. gilt, trifft zu u.a.)

Operationen fu
r Aussagen A, B, . . . :
Verneinung: nicht A (Symbol: A)
Konjunktion: A und B (Symbol: A B)
Disjunktion: A oder B (Symbol: A B)
Implikation: aus A folgt B (Symbol: A = B ).

Hinweis: Im Groteil der Literatur, so auch hier, werden die Symbole , , nicht benutzt.
Man verwende stattdessen verbal: nicht, und, oder.

Das Resultat der vier Operationen ist jedesmal eine neue Aussage. Der Wahrheitswert des
Resultats ist durch folgende Wahrheitstabellen festgelegt:
B w f
A w f Negation: A\ Konjunktion:
nicht A f w nicht w w f und
f f f

B w f B w f
A\ Disjunktion: A\ Implikation:
w w w oder w w f =
f w f f w w

Die Resultate stehen jeweils in den unteren rechten Blocken (eingerahmt).

Interpretationen:

Z.B. ist die Tabelle fur die Disjunktion (oder) so zu lesen: A oder B ist wahr, wenn A

wahr und B wahr, bzw. A wahr und B falsch, bzw. A falsch und B wahr ist. A oder B ist

falsch, wenn A falsch und B falsch ist. Kurz: A oder B ist wahr, wenn zumindest eine der

Aussagen A, B wahr ist und nur falsch, wenn beide A, B falsch sind. Das oder wird also

in der Mathematik im einschlieenden Sinne gebraucht (lat.: vel).

Das ausschlieende oder der Umgangssprache wird hier durch entweder - oder (auch:

entweder - oder aber) ausgedr uckt (lat.: aut). Seine Wahrheitstabelle hat im Block links

oben statt w den Eintrag f.
Die Implikation A = B ist laut Tabelle immer wahr, es sei denn, A ist wahr und

B ist falsch. Daher gen
ugt es zum Beweis der Implikation, A als wahr vorauszusetzen und
daraus auf die Wahrheit von B zu schlieen.

Jeder mathematische Satz hat im Prinzip die Gestalt einer (wahren) Implikation: A = B.
Aus der Voraussetzung (der Pr amisse) A folgt die Behauptung (die Konklusion) B.
2

Statt Satz sagt man auch Theorem (= besonders wichtiger Satz) oder Lemma (= Hilfs-

satz).

Manche Satze haben die Gestalt A B (Aquivalenz). Dann sind zum Beweis zwei
Schlurichtungen durchzuf
uhren: A = B und B = A.

Verbale Sprechweisen:
F
ur A = B: aus A folgt B

B gilt dann, wenn A gilt

A gilt nur dann, wenn B gilt

A ist hinreichend f
ur B

B ist notwendig fur A.

ur A B:
F A gilt dann und nur dann, wenn B gilt

A ist notwendig und hinreichend f
ur B

A ist
aquivalent B.

Konventionen:
Die Verneinung bei = und ahnlichen Aussagen wird meistens mit Durchstreichen bezeich-

net: a 6= b heit: nicht a = b.
In Definitionsgleichungen wird statt = geschrieben := bzw. =:, wobei der Doppelpunkt

auf der Seite des zu definierenden Objektes steht.
Das und zwischen Aussagen wird oft als Komma geschrieben.

Indirekter Beweis:
Der Beweis eines Satzes A = B wird manchmal indirekt gef uhrt (sog. Antithese

oder Widerspruchsbeweis): Man nimmt unter Voraussetzung der Wahrheit von A an, B
sei nicht richtig, und leitet daraus einen Widerspruch zu A (also nicht A) ab. Dann mu

eben B doch richtig sein. Dies beruht auf dem Grundsatz, da

A = B logisch gleichwertig mit (nicht B) = (nicht A)



ist. Man beachte die Vertauschung der Reihenfolge hierin! Logisch gleichwertig bedeutet
dabei, da die beiden Aussagen stets die gleichen Wahrheitswerte haben, egal wie die von
A, B sein mogen.
Eine Variante des Widerspruchsbeweises verlauft so: Man setzt voraus, B sei nicht rich-
tig, A richtig und deduziert daraus einen Widerspruch zu diesen Annahmen (oder zu einer
Folgerung aus diesen Annahmen oder zu einer sonstigen als wahr bekannten Aussage).

Verneinungstechnik:
Um indirekte Beweise fuhren zu konnen, mussen Verneinungen einwandfrei durchgef
uhrt
werden. Bez
uglich der Operationen und, oder gelten dafur folgende Regeln:

nicht (A und B) logisch gleichwertig mit (nicht A) oder (nicht B)
nicht (A oder B) logisch gleichwertig mit (nicht A) und (nicht B).
Man beachte hierbei den Rollentausch: und oder!

3

Beispiele: Die korrekte Verneinung von: dieses Schaf ist schwarz und mager lautet: dieses

Schaf ist nicht schwarz oder nicht mager. Die korrekte Verneinung von: dieses Schaf ist

wei oder fett lautet: dieses Schaf ist nicht wei und nicht fett (also weder wei noch fett).

Man werfe die Verneinung nicht in einen Topf mit umgangssprachlichen Gegensatzen. Eine
unkorrekte Verneinung von diese Kuh ist mager ware: diese Kuh ist fett: Mager und fett

mogen als Gegensatze empfunden werden, sie sind aber nicht die Verneinungen voneinander
(schlielich gibt es auch ganz normalgewichtige K uhe).

Mengen
Cantors Definition lautet:
Eine Menge ist eine Zusammenfassung von bestimmten, wohlunterschiedenen Objekten

(Elementen) unserer Anschauung oder unseres Denkens zu einem Ganzen.


Symbole:
aM : a ist Element von M
/
: leere Menge (sie enthalt kein Element)
{a} : die Menge mit genau einem Element a (einelementige Menge)

M N
ur jedes x M ist auch x N
: M ist Teilmenge von N : f
N M
M =N : M N und N M

M N
: M ist echte Teilmenge von N (M N, M 6= N ).
N M

Operationen fu
r Mengen M, N, . . .:

Durchschnitt: M N := {x x M und x N }

Vereinigung: M N := {x x M oder x N }

Differenz: M \ N := {x x M und x
/ N }.
Ist M N , so heit M \ N auch das Komplement von N (in M ).

Veranschaulichung durch sog. Venn-Diagramme:

N
N
M
M
N M M N

N N
M M
M N M \ N
4

Zwei Mengen M, N heien punktfremd oder disjunkt, wenn sie kein Element gemeinsam
haben, d.h. wenn M N = / . Gilt P = M N und M N = / , so heit P disjunkte
Vereinigung, geschrieben P = M N .


Hinweis: Das geschweifte Klammersymbol {x Eigenschaft von x} bezeichnet die Menge

der x, die die hinter genannte Eigenschaft haben, die sog. Erfu llungsmenge dieser

Eigenschaft. Kommen von vornherein nur x einer Menge P in Frage, so schreibt man vor

statt x auch x P .

Cartesisches Produkt:
Sind M, N Mengen, so ist M N die Menge aller Paare (a, b) mit a M und b N . Die
Paare sind geordnet zu verstehen, d.h. (a, b) = ( e
a , eb ) bedeutet a = e
a , b = eb .
ur M = N schreibt man M M =: M 2 .
Speziell f

Potenzmenge:
Ist M eine Menge, so ist ihre Potenzmenge P(M ) die Menge aller Teilmengen von M
einschlielich
/ und M selbst.

Aussageform:
Jedem Element x einer Menge M wird eine Aussage A(x) zugeordnet ist (diese kann in
Abhangigkeit von x wahr oder falsch sein). Operationen f
ur Aussageformen sind die zwei
Quantoren
fu
r alle (Symbol: ) es gibt (Symbol: ).
Beide machen aus einer Aussageform eine Aussage, und zwar auf folgende Weise:
Bei ist das Ergebnis die Aussage f ur alle x M gilt A(x), auch: f ur alle x M :

ur alle x M. Die resultierende Aussage ist wahr, wenn A(x) f
A(x) oder: A(x) f ur jedes

x M wahr ist.
Bei ist das Ergebnis die Aussage es gibt ein x M mit A(x), auch: es gibt ein x M :

A(x). Die resultierende Aussage ist wahr, wenn ein x M existiert, so da A(x) wahr ist.

Hinweise:

es gibt ein oder es existiert ein bedeutet in der Mathematik stets soviel wie es

gibt mindestens ein. Wird eine Aussageform exakt durch ein Element erf
ullt, so gebraucht
man den Ausdruck genau ein oder ein und nur ein (Symbol: ).
V W
In manchen Darstellungen werden anstelle der Symbole bzw. die Zeichen bzw.
verwendet, nicht jedoch hier.

Konvention:
Sind A(x), B(x) Aussageformen, so ist

A(x) = B(x)

eine Kurznotation f
ur

x M : A(x) = B(x).
5

Verneinungstechnik:
uglich der Operationen und gelten folgende Regeln:
Bez
nicht( x M : A(x)) logisch gleichwertig mit x M : (nicht A(x))
nicht( x M : A(x)) logisch gleichwertig mit x M : (nicht A(x)).
Man beachte hierbei den Rollentausch: !

Beispiele: Die Verneinung von alle Schafe im Stall sind schwarz lautet: es gibt ein Schaf

im Stall, das nicht schwarz ist. (Eine unkorrekte Verneinung ware: alle Schafe im Stall

sind wei.) Die Verneinung von es gibt einen Riesen auf der Welt lautet: alle Leute auf

der Welt sind nicht riesig, d.h. kein Mensch auf der Welt ist ein Riese. (Eine unkorrekte

Verneinung ware: alle Leute auf der Welt sind Zwerge.)

Rechenregeln:
F
ur Mengen L, M, N gilt stets:
(L M ) N = L (M N ) =: L M N

(Assoziativgesetze)
(L M ) N = L (M N ) =: L M N
L (M N ) = (L M ) (L N )

(Distributivgesetze)
L (M N ) = (L M ) (L N )
L \ (M N ) = (L \ M ) (L \ N )

(de Morgansche Regeln).
L \ (M N ) = (L \ M ) (L \ N ).
Bewiesen werden solche Mengengleichungen, indem man zeigt, da jedes Element der linken
Seite auch Element der rechten Seite ist, und ebenso, da jedes Element der rechten Seite
auch Element der linken Seite ist.

Abbildungen
Abbildung f : M N :
Sie ordnet jedem x M genau ein f (x) N zu. Man sagt auch Funktion statt Abbildung.
M heit Definitonsmenge, N heit Zielmenge. Statt f : M N sagt man auch, f ist
eine Abbildung von M in N .

Symbole:
f : M N oder x 7 f (x), x M oder (f (x))xM , wobei bei den letzten beiden Formen
N nicht spezifiziert ist. Manchmal schreibt man auch: f (x) =: fx (Indexschreibweise).
Haufig kombiniert man:
f : M N
x 7 f (x).
Selbstabbildung:
Hierbei ist M = N . Eine spezielle Selbstabbildung ist die Identit
at
idM : M M
x 7 x.
Gleichheit:
f : M N und g : K L sind gleich, wenn zumindest M = K und f (x) = g(x) f
ur alle
x M gilt. Kommt es auf die Zielmenge an, so ist auch N = L zu fordern.
6

Veranschaulichung einer Abbildung f : M N :

M N
f

x
f(x)

Veranschaulichung einer Selbstabbildung f : M M :

f(x)
M

Sprechweisen:
ur y = f (x) (wobei x M, y N ) nennt man y Wert oder Bild von (unter) f an der
F
Stelle oder f
ur das Argument x. Man sagt auch: x ist ein Urbild von y (unter f ).
Warnung: y = f (x) = f ( x ur x 6= x
e ) f e ist moglich, d.h. ein y kann mehrere Urbilder
besitzen!

Beispiele fu
r Abbildungen:

Ist c ein Element von N , so heit die Abbildung f : M N mit f (x) := c f ur alle
x M eine konstante Abbildung (mit Wert c). Dies signalisiert man gelegentlich durch:
f = const.

Ist M = N , so ist die Abbildung f : M N mit f (x) = x f


ur alle x M die Identitat
oder identische Abbildung (von M ), bezeichnet durch idM (oder nur id).

Ist M 0 M , so heit die Abbildung von M 0 in M mit x0 7 x0 f


ur alle x0 M 0 die
Inklusionsabbildung, bezeichnet durch M 0 , M .

F ur ein cartesisches Produkt M N ist die erste Projektion P1 : M N M definiert


durch P1 (a, b) := a und die zweite Projektion P2 : M N N durch P2 (a, b) := b, jeweils
ur alle (a, b) M N .
f
7

r eine Abbildung f : M N :
Grundlegende Merkmale fu

injektiv: f (x) = f ( x
e ) = x = x
e (N unwichtig)

surjektiv: y N x M : y = f (x) (N wichtig)

bijektiv: y N | x M : y = f (x) (N wichtig). Der Name f ur dieses x


1
ist x =: f (y). Bijektiv ist also dasselbe wie injektiv und surjektiv.

Umkehrabbildung:
Zu einer bijektiven Abbildung

f : M N,
x 7 f (x)

ist die Umkehrabbildung definiert:

f 1 : N M,
y 7 f 1 (y).

Statt Umkehrabbildung sagt man auch inverse Abbildung oder Inverse.

Kommentare: Injektiv bedeutet, da verschiedene Argumente x1 6= x2 auf verschiede-


ne Bilder f (x1 ) 6= f (x2 ) abgebildet werden; d.h. es kommt nicht vor, da x1 6= x2 , aber
f (x1 ) = f (x2 ). Surjektiv bedeutet, da jedes Element y von N als Bild eines x M erreicht

wird: y = f (x). Bijektiv bedeutet, da f eine 1 : 1-Ubersetzung von M auf N leistet. f 1

leistet dann die R uckubersetzung.

Einschr ankung von f : M N auf U M :


Dies ist die Abbildung

f |U : U N
x 7 f (x).

Umgekehrt nennt man f eine Fortsetzung von f |U . Statt Einschrankung sagt man auch
Restriktion.

Bildmengen:
Zu f : M N und U M ist

f (U ) := {y N | x1 M : y = f (x1 )}

das Bild von U unter f . Man schreibt hierf


ur auch

f (U ) =: {f (x) | x U }.

Speziell ist
f (M ) =: Bild f
das Bild von f . Es gilt f (M ) N ; genau f
ur surjektives f : M N ist f (M ) = N .
8

Urbildmengen:
Zu f : M N und U N ist

f 1 (U ) := {x M | f (x) U }

das Urbild von U unter f . Ist speziell U = {b} einelementig, so schreibt man
f 1 ({b}) =: f 1 (b). Dieses Urbild ist also i.allg. eine Teilmenge von M . Nur bei bijekti-
vem f wird f 1 (b) als Element von M aufgefat. Was gemeint ist, geht jeweils aus dem
Zusammenhang hervor.

Das Auffinden des Urbildes einer einelementigen Menge {b} N ist dasselbe wie das Losen
der Bestimmungsgleichung
f (x) = b.
Ein x0 M mit f (x0 ) = b heit dann auch eine L
osung dieser Bestimmungsgleichung oder
osungsmenge ist dann f 1 (b) (6=
auch eine b-Stelle von f . Die L / , falls b Bild f ).

Graph von f : M N :
Das ist die folgende Teilmenge des cartesischen Produkts M N :

Gf := {(x, y) M N | y = f (x)}.

Der Graph dient oft zur Veranschaulichung der Abbildung f , z.B. in der Standardsituation
f : R R (R die Menge der reellen Zahlen):

Gf

(x,y)
y

x R

Rechenregeln:
Gegeben sei eine Abbildung f : M N .
ur alle Teilmengen U M und V M gilt dann:
F

f 1 (f (U )) U
f (U V ) f (U ) f (V )
f (U V ) = f (U ) f (V )
f (U \ V ) f (U ) \ f (V ).
9

ur alle Teilmengen U N und V N gilt dann:


F

f (f 1 (V )) V
f 1 (U V ) = f 1 (U ) f 1 (V )
f 1 (U V ) = f 1 (U ) f 1 (V )
f 1 (U \ V ) = f 1 (U ) \ f 1 (V ).

Bewiesen werden diese Aussagen nach dem gleichen Muster wie oben bei den Rechenregeln
f
ur Mengen.

Komposition:
Zu zwei Abbildungen

f : M N, g : K L mit f (M ) K.

ist diese definiert als

g f : M L
x 7 g(f (x)).

Es gilt also (g f )(x) = g(f (x)). Kurz: Wende erst f an, dann g (Reihenfolge!).

Rechenregeln:
ur U M und V L gilt
F

(g f )(U ) = g(f (U )), (g f )1 (V ) = g 1 (f 1 (V )).

Sei auer f, g eine dritte Abbildung h : P Q gegeben mit g(f (M )) P . Dann gilt das
Assoziativgesetz
h (g f ) = (h g) f =: h g f.
Ist f : M N bijektiv, so gilt:

(f 1 )1 = f, f 1 f = idM , f f 1 = idN .

Sind f : M N und g : N L bijektiv, so ist auch g f : M L bijektiv und

(g f )1 = g 1 f 1 .

Verallgemeinerung auf mehrere Objekte


Die meisten Operationen sind auf mehr als zwei Aussagen bzw. Mengen ausdehnbar, z.B.
die logischen Operationen Konjunktion und Disjunktion und die Mengenoperationen Vereini-
gung, Durchschnitt und cartesisches Produkt. Dies wird zunachst f ur k Objekte beschrieben,
wobei k eine nat
urliche Zahl 2, 3, 4, . . . ist (endlich viele Objekte), dann f
ur beliebig viele.

Bei k gegebenen Mengen M1 , M2 , . . . , Mk ist die Verallgemeinerung bzgl. der Vereinigung


M1 Mk und des Durchschnitts M1 Mk unmittelbar klar. Bei der Vereinigung
einelementiger Mengen hat man die Schreibweise

{a1 } {ak } =: {a1 , . . . , ak }.


10

Dies ist die aufz


ahlende Beschreibung endlicher Mengen.

Das cartesische Produkt M1 M2 Mk ist die Menge aller k -Tupel (a1 , a2 , . . . , ak )


mit ai Mi f
ur alle i {1, 2, . . . , k}.
Die Wendung f ur alle i {1, . . . , k} wird oft auch ausgedr
uckt durch f ur i = 1, . . . , k

(oder hinter Formeln, durch Komma abgetrennt, durch i = 1, . . . , k).

Die Tupel sind immer geordnet zu verstehen, d.h. (a1 , . . . , ak ) = (b1 , . . . , bk ) bedeutet ai =
bi , i = 1, . . . , k.
k-Tupel heien bei k = 2 auch Paare, bei k = 3 Tripel, bei k = 4 Quadrupel.
Schreibweise bei M1 = = Mk =: M : M M =: M k .

Warnung: {a1 , . . . , ak } ist etwas ganz anderes als (a1 , . . . , ak )!

Eine Funktion von mehreren (k) Ver anderlichen ist eine Abbildung, deren Definiti-
onsmenge ein cartesisches Produkt ist: f : M1 . . . Mk N . Statt f ((x1 , . . . , xk )) wird
dann f (x1 , . . . , xk ) geschrieben, und hierbei heit x1 , . . . , xk die Argumentliste und xi das
i-te Argument.

Beispiele: Sei i {1, . . . , k} fest.

Die Abbildung Pi : M1 . . . Mk Mi mit Pi (x1 , . . . , xk ) = xi ist die i-te Projektion.


Bei gegebenen x1 , . . . , xi1 , xi+1 , . . . , xk kann man zur Abbildung f : M1 . . . Mk N
die Abbildung von Mi in N betrachten, definiert durch xi 7 f (x1 , . . . , xi , . . . , xk ); diese
nennt man eine i-te partielle Abbildung.

Wenn jedem Element j einer Menge J eine Menge Nj zugeordnet ist, so spricht man von
der Mengenfamilie (Nj )jJ mit der Indexmenge J. F ur eine solche sind Durchschnitt,
Vereinigung und cartesisches Produkt definierbar, und zwar gilt fur die ersten beiden:
\
Nj := {x | x Nj f
ur alle j J}
jJ
[
Nj := {y | y Nj f
ur ein j J}.
jJ

Das cartesische Produkt /


.
Nj
jJ

ist definiert als Menge aller Abbildungen


[
f :J Nj mit f (j) Nj j J.
jJ

ur alle j J, so schreibt man


Spezialfall Mengenpotenz: Ist Nj = N f
/
. /.
Nj = N =: N J .
jJ jJ

Das ist also die Menge aller Abbildungen von J in N .


11

Spezialfall J = {1, . . . , k}: Es gilt

\ k
\
Nj = N1 . . . Nk =: Nj ,
j{1,...,k} j=1

einschlielich der abgewandelten Schreibweise ganz rechts. Dasselbe ist richtig, wenn

durch oder ersetzt wird.

[ [
Die Vereinigung Nj wird disjunkt genannt und dann durch Nj bezeichnet, wenn
jJ jJ
0 0
Nj Nj 0 = ur alle j, j J mit j 6= j gilt.
/ f

Ist M eine [
Menge und U M , so heit eine Mengenfamilie (Nj )jJ Uberdeckung von U ,
wenn U Nj M .
jJ


Eine Klasseneinteilung von M ist eine Uberdeckung (Nj )jJ von M selbst mit:

(i) Nj 6= ur alle j J;
/ f

(ii) Nj Nj 0 6=
/ = Nj = Nj 0 .

Rechenregeln:
Diese u
bertragen sich sinngema auf den Fall mehrerer Objekte. Z.B. lauten die Distribu-
tivgesetze:
!
\ \
M Nj = (M Nj )
jJ jJ
!
[ [
M Nj = (M Nj )
jJ jJ

bzw. die de Morganschen Regeln:


!
\ [
M\ Nj = (M \ Nj )
jJ jJ
!
[ \
M\ Nj = (M \ Nj ).
jJ jJ

Relationen
Diese verallgemeinern den Funktionsbegriff: Einem x konnen mehrere y zugeordnet sein.
Relation:
Gegeben seien zwei Mengen M, N . Eine Relation R zwischen M und N ist eine Teilmenge

R M N.
12

Fur (x, y) R schreibt man auch xRy und sagt: x, y stehen in der Relation R (die Reihen-
folge ist wichtig!).

Beispiele:

Sei D die Menge der Damen einer Gesellschaft, H die Menge der Herren. Die Relation
W : einmal miteinander Walzer getanzt haben besteht aus allen Paaren (d, h) D H,

bei denen d und h einmal miteinander Walzer getanzt haben. Zu einem h kann es mehrere
d geben mit dW h und ebenso zu d mehrere h mit dW h.

Ist f : M N eine Abbildung, so ist der Graph Gf dasselbe wie die Relation
Gf = {(x, y) M N | y = f (x)}. Hier gehort zu jedem x genau ein y mit xGf y.
(Abbildungen konnten auch als Relationen mit dieser Eigenschaft definiert werden.)

Ist M = N , so spricht man von einer bin aren Relation auf M . Z.B. ist die Gleichheit in
M auffabar als die binare Relation R := {(x, y) M M | x = y}, die sog. Diagonale.

Aquivalenzrelation:

Eine Aquivalenzrelation auf M ist eine binare Relation R auf M M mit folgenden
Eigenschaften:
Reflexivit
at: x M : xRx
Symmetrie: xRy = yRx
Transitivit
at: xRy, yRz = xRz.
Statt xRy schreibt man auch x y (mod R) und sagt: x ist kongruent (
aquivalent)
modulo R.


Zu jedem x M ist die zugehorige Aquivalenzklasse definiert:

Rx := {y M | xRy};

sie besteht aus allen y M , die mit x in der Relation R stehen. Wegen der Reflexivitat gilt
immer x Rx .


Je zwei Aquivalenzklassen sind entweder disjunkt oder gleich, d.h. aus Rx Rz 6=
/ folgt
Rx = Rz .
Beweis: Aus y Rx Rz folgt xRy und zRy, daraus nach der Symmetrie xRy und yRz,
also nach der Transitivitat xRz. Aus xRz folgt Rx Rz ; denn aus w Rx folgt wRx, also
w Rz . Ebenso folgt aus xRz auch Rz Rx , also insgesamt Rx = Rz .


Wegen dieser Eigenschaften bildet die Familie (Rx )xM der Aquivalenzklassen eine Klassen-
einteilung von M . Jedes y Rx (f
ur das dann ja Rx = Ry gilt) heit ein Repr
asentant von
Rx .


Die Menge aller Aquivalenzklassen wird durch M/R bezeichnet und Quotientenmenge von
M modulo R genannt:
M/R := {Rx | x M }.
13

Die Abbildung

R : M M/R
x 7 Rx

heit die kanonische Projektion zu R. Sie ordnet jedem Element x M seine Aquiva-
lenzklasse Rx zu.


Wird aus jeder Aquivalenzklasse U M/R genau ein Reprasentant xU ausgewahlt, so nennt
man die Menge {xU | U M/R} ein Repr asentantensystem.
Ist umgekehrt eine Klasseneinteilung (Nj )jJ von M gegeben, so kann eine binare Relation
R auf M definiert werden durch

R := {(x, y) M M | j J : x Nj , y Nj }.

Dieses R ist dann eine Aquivalenzrelation
auf M , deren Aquivalenzklassen gerade die Mengen

der Klasseneinteilung sind. Grob gesprochen ist also eine Aquivalenzrelation auf M dasselbe
wie eine Klasseneinteilung von M .


Beispiel: Die einfachste Aquivalenzrelation auf M ist die Gleichheit. Diese ist genau die

Aquivalenzrelation auf M , bei der alle Aquivalenzklassen einelementig sind.

Venn-Diagramme:

Nj


Uberdeckung Klasseneinteilung
und Repr
asentantensystem
14

Standardmengen
Als Symbole werden verwendet:
N N Menge der naturlichen Zahlen (ohne 0)
Z Z Menge der ganzen Zahlen
Q Q Menge der rationalen Zahlen
R R Menge der reellen Zahlen
C C Menge der komplexen Zahlen.
und analog f
ur wichtige Abbildungsmengen:
GL GL allgemeine lineare Gruppe
SL SL spezielle lineare Gruppe
L L Menge linearer Abbildungen
O O orthogonale Gruppe
SO SO spezielle orthogonale Gruppe.
Die Doppelstrich-Varianten waren urspr unglich f
ur die Handschrift gedacht, die fetten Vari-
anten f
ur den Druck. Neuerdings werden die Doppelstrich-Varianten vielfach auch im Druck
verwendet. Es gibt also diesbez
uglich keine festen Absprachen. Man kann alternativ R oder
R usw. gebrauchen, sollte aber im gleichen Kontext bei einer festen Wahl bleiben.
Das Anhangen des Indexes 0 bedeutet hier Hinzunahme der Null, die Schreibart \0

Wegnahme der Null. Z.B. ist N0 die Menge der nat urlichen Zahlen zusammen mit 0, Z \ 0
die Menge Z ohne 0. Die Marken + und bezeichnen entsprechende strikte Vorzeichen-

einschrankungen. Z.B. ist R+ die Menge aller positiven reellen Zahlen, R+
0 die Menge aller
nichtnegativen reellen Zahlen.

Anhang: Griechische Buchstaben in der Mathematik



alpha iota

% rho

beta kappa

sigma

gamma lambda

tau

delta my
phi

epsilon ny
chi

zeta xi
psi

eta pi
omega

theta
Statt wird auch gebraucht. Die Variante anstelle
ist stark gefahrdet durch die Verwechslung mit der leeren
Menge /.