Ä
1֤
Defy
: Eine (binäre )
Relation zu EZXZJI { sei wie folgt definiert
:
: aznbgdwazbmod.in
:
§ Satz
, Sei mst , dann ist zu eineÄquivalent
⇒
-relation
.Beweisen
"
refkxiv
" i ttae 7Lgilt
aua , da aiamodm ,da
mla.am
= 0
"
symmetrisch
" : Seien a. BER und aan b , danna :b modm
, d. h.
mlb
- a .Damit
ex.ge
7L mit b- a.ym
.Also a- b = - Lb - a) =
tegzlnm
⇒ mla - b und somit b ± ma
2
" transitiv " : Wenn anzmb und b ± mc , dann
ex , g.
gt
EZ mit b- a- .gm
bzw e- b-jm
,Also : b- a =
gm
+ c- b =
jm
c- a =
lyty
')
m÷
7L⇒ m Ich
, d.h. atme
Zusammen : Die Relation zu ist eine