Zij X een oneindige, overaftelbare verzameling. Hoe bewijs je dat X een aftelbaar oneindige deelverzameling A heeft?
Je moet dus bewijzen dat er en verzameling A is de een deelverzameling is van X, zodanig dat er een bijectie f(x):N->A bestaat.
Hoe doe je dit?
aftelbaarheid en overaftelbaarheid
Re: aftelbaarheid en overaftelbaarheid
Hint: Neem x_0 in X, stuur hierop 0 af. Waarop zou je 1 afsturen? en 2?