DiWi BEWIJZEN
!!!
Hz
OPSOMMING element van
0,1,2,...} xEA
befinitievoorschRift
CARDINALITEIT A
V mods
={XIXEZenx
( of
=o}
A
=3
s
:
DEELVERZAMELING
A
B c A
CCA s echte delverr
.
ONECRKTE DEELVERZ
ACA
eir
ØcA
\
decenverzameling 0
DLA ÇmetAŞuz 523, 333, 21,23, 41,3], 22,33, 27,2,.3}}
)
,33)=ŞŞ5Ş.Ş,
HDLA
)=ŹFA
PARTITIE P Ş
,UBCA=Ş1,2,4}
:
27,23,235,Ş43})
FXEP
:ØEXCA
V EB SIXEP
:IEX
X
:
BEWERKINGEN TSN VERZ
,
B
AMB mm
AUBMHBMA
, AYB nB
h
uwumNMhnmunua
comslemat
t
AxB =
EX 1 ,4):XEA
YEB}
CartaEsisem ALLE MOGELITKHEDEN TSN AenB
Mmopra
.
RELATIES EN FUNCTIES
BINAIRE RELATIE R
}
RcLAxB
B
D
o
7
)
DD
3D
R , DD
]8
:A
B
domein
dom R 3 GEB waarvoor ( b
=EQEA:
a,
)ER}
cobomein akabereiK
codom R( E noarvoor
a,b)ER}A
=EbEB3
hpijlen hpijlen
relaties vertrekkents
uit PuNT vana
toekomerib
BN
PUNTU
.
functie =7 nietgespecifieerd
afbeelbing M niet gespecifieerd
bijeltie ^ ^
C OWETOONES INjECTIE =1 = ^
( bxs =3
)=fIxaJ
X1-Xa)
ONTOS SUREETIE 7 3,1 MOET MINSTENS OVERAL TOEFOMEN
fijictie
FA IPA .
B
=AB
, AFTELBAARHEIB
V einbico is
V US AFTELBAAR IY oF
N 3
V
BIjEETIE
ANBERS
I
V is NIET
-AFTELBAAR
OVERAFTELBAAR
BISKOMENBE EFB VOOR FUNCTIES
SAMENGESTELDE FUNCTIE 1 h
fht
x3
fiA
Thianc higof
-B
ouk
gibnc
FUNTIE
INVERSE
g
f
:A-mB
B
g
-7A
:
equivalentierelaties
reflexiviteiT
§8
-
RA OP ZECHRELF
8
VXEV
:EXIX)ER
7
DP SYM M ETRIE
FX VLCEYER =
,Y
KEYX3ER}
TRANS
ITIVITEIT
B
VX EV ER ILY
)ERY
:LIDERMLY,2
,Y,Z
EQUIVALENTIEKLASSEN
EXJR ER
={YEV:CX,7)
}
!!!
Hz
OPSOMMING element van
0,1,2,...} xEA
befinitievoorschRift
CARDINALITEIT A
V mods
={XIXEZenx
( of
=o}
A
=3
s
:
DEELVERZAMELING
A
B c A
CCA s echte delverr
.
ONECRKTE DEELVERZ
ACA
eir
ØcA
\
decenverzameling 0
DLA ÇmetAŞuz 523, 333, 21,23, 41,3], 22,33, 27,2,.3}}
)
,33)=ŞŞ5Ş.Ş,
HDLA
)=ŹFA
PARTITIE P Ş
,UBCA=Ş1,2,4}
:
27,23,235,Ş43})
FXEP
:ØEXCA
V EB SIXEP
:IEX
X
:
BEWERKINGEN TSN VERZ
,
B
AMB mm
AUBMHBMA
, AYB nB
h
uwumNMhnmunua
comslemat
t
AxB =
EX 1 ,4):XEA
YEB}
CartaEsisem ALLE MOGELITKHEDEN TSN AenB
Mmopra
.
RELATIES EN FUNCTIES
BINAIRE RELATIE R
}
RcLAxB
B
D
o
7
)
DD
3D
R , DD
]8
:A
B
domein
dom R 3 GEB waarvoor ( b
=EQEA:
a,
)ER}
cobomein akabereiK
codom R( E noarvoor
a,b)ER}A
=EbEB3
hpijlen hpijlen
relaties vertrekkents
uit PuNT vana
toekomerib
BN
PUNTU
.
functie =7 nietgespecifieerd
afbeelbing M niet gespecifieerd
bijeltie ^ ^
C OWETOONES INjECTIE =1 = ^
( bxs =3
)=fIxaJ
X1-Xa)
ONTOS SUREETIE 7 3,1 MOET MINSTENS OVERAL TOEFOMEN
fijictie
FA IPA .
B
=AB
, AFTELBAARHEIB
V einbico is
V US AFTELBAAR IY oF
N 3
V
BIjEETIE
ANBERS
I
V is NIET
-AFTELBAAR
OVERAFTELBAAR
BISKOMENBE EFB VOOR FUNCTIES
SAMENGESTELDE FUNCTIE 1 h
fht
x3
fiA
Thianc higof
-B
ouk
gibnc
FUNTIE
INVERSE
g
f
:A-mB
B
g
-7A
:
equivalentierelaties
reflexiviteiT
§8
-
RA OP ZECHRELF
8
VXEV
:EXIX)ER
7
DP SYM M ETRIE
FX VLCEYER =
,Y
KEYX3ER}
TRANS
ITIVITEIT
B
VX EV ER ILY
)ERY
:LIDERMLY,2
,Y,Z
EQUIVALENTIEKLASSEN
EXJR ER
={YEV:CX,7)
}
