03.08.2013 Views

Inzien en bewijzen - CWI

Inzien en bewijzen - CWI

Inzien en bewijzen - CWI

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!