Inzien en bewijzen - CWI
Inzien en bewijzen - CWI
Inzien en bewijzen - CWI
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
4.6. DE STELLING VAN CANTOR–SCHRÖDER–BERNSTEIN 65<br />
Dit bewijs beschrijft e<strong>en</strong> procedure om elem<strong>en</strong>t<strong>en</strong> uit A <strong>en</strong> B één-op-één aan elkaar te<br />
koppel<strong>en</strong>. Die procedure is welomschrev<strong>en</strong>, maar dat betek<strong>en</strong>t niet dat ze altijd met e<strong>en</strong><br />
computer zou kunn<strong>en</strong> word<strong>en</strong> uitgevoerd. Stel immers dat we ons bij e<strong>en</strong> gegev<strong>en</strong> x ∈ A<br />
afvrag<strong>en</strong> aan welke y ∈ B die x moet word<strong>en</strong> gekoppeld. Dat hangt ervan af of het pad<br />
g −1 (x), f −1 (g −1 (x)), g −1 (f −1 (g −1 (x))), . . ., dat vanaf x terugloopt in eindig veel stapp<strong>en</strong> uitkomt<br />
op e<strong>en</strong> elem<strong>en</strong>t van A of op e<strong>en</strong> elem<strong>en</strong>t van B. In het eerste geval kunn<strong>en</strong> we x koppel<strong>en</strong><br />
aan f(x), in het andere geval moet<strong>en</strong> we x koppel<strong>en</strong> aan g −1 (x). Maar kijk<strong>en</strong> of e<strong>en</strong> pad eindig<br />
of oneindig is, is ge<strong>en</strong> beslisbare procedure. Als het pad eindig is, krijg<strong>en</strong> we na eindig veel tijd<br />
e<strong>en</strong> antwoord. Maar als de vraag na e<strong>en</strong> bepaald eindig tijdsverloop nog niet is beantwoord,<br />
dan betek<strong>en</strong>t dat nog niet dat het pad oneindig is. Het antwoord ‘Het pad is oneindig’ krijg<strong>en</strong><br />
we nooit.<br />
Overig<strong>en</strong>s hebb<strong>en</strong> we in het bewijs ge<strong>en</strong> gebruikgemaakt van het feit dat A <strong>en</strong> B disjuncte<br />
verzameling<strong>en</strong> zijn. De relatiemarkt in de gay sc<strong>en</strong>e verschilt niet wez<strong>en</strong>lijk van de huwelijksmarkt<br />
voor hetero’s, dus de stelling gaat ook op als we A <strong>en</strong> B gelijk nem<strong>en</strong>, of als we A <strong>en</strong> B<br />
gedeeltelijk lat<strong>en</strong> overlapp<strong>en</strong>.<br />
De stelling van Cantor-Schröder-Bernstein is buit<strong>en</strong>gewoon handig om te lat<strong>en</strong> zi<strong>en</strong> dat er<br />
één-op-één correspond<strong>en</strong>ties zijn tuss<strong>en</strong> verzameling<strong>en</strong>. Bijvoorbeeld: er bestaat e<strong>en</strong> bijectie<br />
tuss<strong>en</strong> [0, 1] (alle reële getall<strong>en</strong> tuss<strong>en</strong> 0 <strong>en</strong> 1, inclusief de rand<strong>en</strong>), <strong>en</strong> [0, 1) (alle reële getall<strong>en</strong><br />
tuss<strong>en</strong> 0 <strong>en</strong> 1, inclusief de ondergr<strong>en</strong>s 0 maar exclusief de bov<strong>en</strong>gr<strong>en</strong>s 1). Immers, f : [0, 1] →<br />
[0, 1) gegev<strong>en</strong> door f(x) = 1<br />
2x is e<strong>en</strong> injectie, <strong>en</strong> g : [0, 1) → [0, 1] gegev<strong>en</strong> door g(x) = x is ook<br />
e<strong>en</strong> injectie. Cantor-Schröder-Bernstein toepass<strong>en</strong> <strong>en</strong> klaar.<br />
Lat<strong>en</strong> we voor dit voorbeeld e<strong>en</strong>s in detail nagaan hoe de bijectie h tuss<strong>en</strong> [0, 1] <strong>en</strong> [0, 1)<br />
eruitziet die we krijg<strong>en</strong> als we het voorschrift uit het bewijs toepass<strong>en</strong>.<br />
• Welke punt<strong>en</strong> zitt<strong>en</strong> in e<strong>en</strong> geslot<strong>en</strong> eindige lus? Alle<strong>en</strong> het punt 0, want we hebb<strong>en</strong><br />
0 f → 0 g → 0. Dit geeft: h(0) = 0.<br />
• Welke punt<strong>en</strong> zitt<strong>en</strong> in e<strong>en</strong> naar beide zijd<strong>en</strong> oneindige rij? Ge<strong>en</strong>.<br />
• Welke punt<strong>en</strong> zitt<strong>en</strong> in e<strong>en</strong> oneindige reeks die met e<strong>en</strong> punt in [0, 1] <strong>en</strong> e<strong>en</strong> f-stap begint?<br />
De punt<strong>en</strong> in het interval [ 1<br />
2 , 1] zijn beginpunt, want e<strong>en</strong> g-voorganger van zo’n punt zit in<br />
het interval [1, 2], <strong>en</strong> dat interval is disjunct van [0, 1). Maar dan zitt<strong>en</strong> ook alle punt<strong>en</strong> in<br />
[ 1 1<br />
1 1<br />
8 , 4 ] in dezelfde reeks, <strong>en</strong> alle punt<strong>en</strong> in [ 32 , 16 ], <strong>en</strong>zovoorts. De algem<strong>en</strong>e karakterisering<br />
is de verzameling punt<strong>en</strong> in e<strong>en</strong> oneindige verzameling intervall<strong>en</strong>:<br />
X = {[ 1 1<br />
, ] | n ∈ N}.<br />
2 · 4n 4n Hier staat F voor de ver<strong>en</strong>iging van e<strong>en</strong> familie F van verzameling<strong>en</strong>, dat wil zegg<strong>en</strong><br />
voor de verzameling van alle elem<strong>en</strong>t<strong>en</strong> die in minst<strong>en</strong>s e<strong>en</strong> verzameling in de familie F<br />
zitt<strong>en</strong>.<br />
Dit geeft: h(x) = 1<br />
2x voor x ∈ X.<br />
• Welke punt<strong>en</strong> zitt<strong>en</strong> in e<strong>en</strong> oneindige reeks die met e<strong>en</strong> punt in [0, 1) <strong>en</strong> e<strong>en</strong> g-stap begint?<br />
De punt<strong>en</strong> in het interval ( 1<br />
2 , 1) zijn beginpunt, want e<strong>en</strong> f-voorganger van zo’n punt<br />
zit in het interval (1, 2), <strong>en</strong> dat is disjunct van [0, 1]. De algem<strong>en</strong>e karakterisering is de