ik wil me graag verdiepen in verzamelingenleer, en wel in het theorema van Cantor en (over)aftelbaarheid in het algemeen. Ik volg niet helemaal waarom
Overaftelbaarheid
Forumregels
(Middelbare) school-achtige vragen naar het forum "Huiswerk en Practica" a.u.b.
Zie eerst de Huiswerkbijsluiter
(Middelbare) school-achtige vragen naar het forum "Huiswerk en Practica" a.u.b.
Zie eerst de Huiswerkbijsluiter
-
- Berichten: 28
Overaftelbaarheid
Hallo allemaal,
ik wil me graag verdiepen in verzamelingenleer, en wel in het theorema van Cantor en (over)aftelbaarheid in het algemeen. Ik volg niet helemaal waarom
ik wil me graag verdiepen in verzamelingenleer, en wel in het theorema van Cantor en (over)aftelbaarheid in het algemeen. Ik volg niet helemaal waarom
\(|\mathcal{P}(\mathbb{N})|=2^{\aleph_0}\)
. Ik zie wel waarom dit zo is voor een eindige verzameling, maar ben er niet helemaal van overtuigd waarom dit ook geldt voor een oneindige verzameling. Verder volg ik ook niet helemaal waarom de kardinaliteit van \(\mathbb{R}\)
nu precies gelijk is aan de kardinaliteit van de powerset van \(\mathbb{N}\)
Kan iemand een linkje sturen naar een site of een pdf waar dit wordt uitgelegd ? - Berichten: 2.609
Re: Overaftelbaarheid
Ik ben geen expert, maar ik moet daar toevallig net stukken van leren.
Er zijn maar 2 kardinaliteiten voor dingen van oneindige grootte: aftelbaar en niet-aftelbaar.
Cantor heeft bewezen dat voor elke verzameling S, de powerset ervan 'groter' is dan de verzameling zelf.
Als de powerset van N groter moet zijn dan N zelf, dan kan die enkel niet-aftelbaar zijn en is ze dus 'even groot' als R.
Kijk hier voor het bewijs.
Er zijn maar 2 kardinaliteiten voor dingen van oneindige grootte: aftelbaar en niet-aftelbaar.
Cantor heeft bewezen dat voor elke verzameling S, de powerset ervan 'groter' is dan de verzameling zelf.
Als de powerset van N groter moet zijn dan N zelf, dan kan die enkel niet-aftelbaar zijn en is ze dus 'even groot' als R.
Kijk hier voor het bewijs.
-
- Berichten: 28
Re: Overaftelbaarheid
Bedankt voor je snelle reactie
Ik heb het vorig jaar wel gehad bij een cursus, maar toen heb ik er weinig aandacht aan besteed. Ik weet wel dat een powerset groter is dan de set zelf, en dus dat de powerset van de natuurlijke getallen overaftelbaar moet zijn.
Nog steeds resteert mijn vraag waarom de kardinaliteit van R gelijk is aan
Ik heb het vorig jaar wel gehad bij een cursus, maar toen heb ik er weinig aandacht aan besteed. Ik weet wel dat een powerset groter is dan de set zelf, en dus dat de powerset van de natuurlijke getallen overaftelbaar moet zijn.
Nog steeds resteert mijn vraag waarom de kardinaliteit van R gelijk is aan
\(\aleph_1=2^{\aleph_0}\)
. Zoals ik al zei, ik zie dit wel voor eindige verzameling (elk element kan wel of niet in een subset zitten, dus de powerset heeft kardinaliteit 2^{n} waar n het aantal elementen is), maar niet voor een oneindige verzameling.Re: Overaftelbaarheid
Dat is strikt genomen niet juist, er zijn oneindig veel kardinaliteiten. Zie:Xenion schreef:Er zijn maar 2 kardinaliteiten voor dingen van oneindige grootte: aftelbaar en niet-aftelbaar.
Cantor heeft bewezen dat voor elke verzameling S, de powerset ervan 'groter' is dan de verzameling zelf.
Als de powerset van N groter moet zijn dan N zelf, dan kan die enkel niet-aftelbaar zijn en is ze dus 'even groot' als R.
Dat is ook nog een van grote raadsels van de wiskunde:Nog steeds resteert mijn vraag waarom de kardinaliteit van R gelijk is aan\(\aleph_1=2^{\aleph_0}\).
http://nl.wikipedia.org/wiki/Continu%C3%BCmhypothese
Zie verder nog:
http://nl.wikipedia.org/wiki/Kardinaliteit..._continu%C3%BCm
http://mathworld.wolfram.com/CardinalExponentiation.html
- Berichten: 2.609
Re: Overaftelbaarheid
Ah, mijn excuses dan. Ik gebruik het enkel in de context van beslisbaarheid bij Turingmachines.Bartjes schreef:Dat is strikt genomen niet juist, er zijn oneindig veel kardinaliteiten. Zie:
http://nl.wikipedia.org/wiki/Kardinaalgetal
- Berichten: 5.609
Re: Overaftelbaarheid
Eigenlijk is dit erg eenvoudig. Ieder reëel getal op een binaire manier neerschrijven. Ieder reëel getal kun je schrijven als een aftelbaar aantal cijfers, ofwel 1 ofwel 0. Dus dan is de kardinaliteit van de reële getallen (Nog steeds resteert mijn vraag waarom de kardinaliteit van R gelijk is aan\(\aleph_1=2^{\aleph_0}\). Zoals ik al zei, ik zie dit wel voor eindige verzameling (elk element kan wel of niet in een subset zitten, dus de powerset heeft kardinaliteit 2^{n} waar n het aantal elementen is), maar niet voor een oneindige verzameling.
\(\aleph_1\)
) gelijk aan de powerset van de aftelbare getallen. (\(2^{\aleph_0}\)
)Waar bartjes het over heeft, is de vraag of er kardinaliteiten bestaan kleiner dan
\(\aleph_1\)
en groter dan \(\aleph_0\)
. Niet helemaal ter zake hier.What it all comes down to, is that I haven't got it all figured out just yet
And I've got one hand in my pocket and the other one is giving the peace sign
-Alanis Morisette-
And I've got one hand in my pocket and the other one is giving the peace sign
-Alanis Morisette-
- Berichten: 10.179
Re: Overaftelbaarheid
Hmm, dat interpreteer ik toch anders hoor, 317070. Letterlijk vanuit Wikipedia:
Met zijn diagonaalbewijs toonde Cantor aan dat het aantal reële getallen, aangeduid als C, groter is dan\(\aleph_0\). Uit het diagonaalbewijs volgt echter niet dat C gelijk is aan\(\aleph_1\), het eerste kardinaalgetal groter dan\(\aleph_0\).
..//..
De continuumhypothese is op haar beurt gelijkwaardig met de gelijkheid
\(2^{\aleph_0} = \aleph_1\)
Zoek je graag naar het meest interessante wetenschapsnieuws? Wij zoeken nog een vrijwilliger voor ons nieuwspostteam.
- Berichten: 5.609
Re: Overaftelbaarheid
Oh, I see. My bad. Ik dacht datHmm, dat interpreteer ik toch anders hoor, 317070. Letterlijk vanuit Wikipedia:
\(\aleph_1\)
gedefinieerd was als de kardinaliteit van de reële getallen, maar dat klopt dus niet. Wat er dus gevraagd werd:
Dus je kunt bewijzen dat de kardinaliteit van de reele getallen gelijk is aanNog steeds resteert mijn vraag waarom de kardinaliteit van R gelijk is aan\(\aleph_1=2^{\aleph_0}\).
\(2^{\aleph_0}\)
, maar of die ook gelijk is aan \(\aleph_1\)
kun je niet beslissen met de klassieke axiomas, daarvoor moet je een nieuw axioma invoeren.What it all comes down to, is that I haven't got it all figured out just yet
And I've got one hand in my pocket and the other one is giving the peace sign
-Alanis Morisette-
And I've got one hand in my pocket and the other one is giving the peace sign
-Alanis Morisette-
- Berichten: 4.320
Re: Overaftelbaarheid
Het probleem ligt dieper.317070 schreef:Oh, I see. My bad. Ik dacht dat\(\aleph_1\)gedefinieerd was als de kardinaliteit van de reële getallen, maar dat klopt dus niet.
Wat er dus gevraagd werd:
Dus je kunt bewijzen dat de kardinaliteit van de reele getallen gelijk is aan\(2^{\aleph_0}\), maar of die ook gelijk is aan\(\aleph_1\)kun je niet beslissen met de klassieke axiomas, daarvoor moet je een nieuw axioma invoeren.
Bestaat er tussen twee transfiniete Kardinaal getallen altijd tenminste een ander transfiniet Kardinaal getal?
1. Er is aangetoond door een slimerik dat als men aanneemt dat het zo is, dat niet tot contradicties leidt.
2. Vervelendewijs heeft een andere slimmerik aangetoond dat aannemen dat het niet zo is, ook niet tot contradikties leidt.
Maar kan men nu beide aannemen zoals met wel of niet Euclidische meetkunde?
Of is er maar eentje waar en is het onbewijsbaar welke????
Ik denk (zonder bewijs) het laatste.
PS. Brouwer draait zich nu om in zijn graf van het lachen.
In de wiskunde zijn er geen Koninklijke wegen Majesteit.