Intuitief: een verzameling is aftelbaar oneindig als je de elementen kunt nummeren. Meer formeel: een verzameling A is aftelbaar oneindig als er een bijectieve afbeelding (noem deze afbeelding f) is van deze verzameling naar de verzameling van natuurlijke getallen. De afbeelding f A->N heet bijectief als uit a<>b volgt dat f(a)<>f(b) en als f(A)=N.einstone schreef:Hoi Peterdevis,C en ook R kun je ordenen, maar zijn niet aftelbaar
N is wel aftelbaar
kan je hier misschien wat meer uitleg bij geven?
thx![]()
Het is duidelijk dat N volgens deze definitie aftelbaar oneindig is. Dat R en C dat niet zijn is wat ingewikkelder. De verzamelingen Z en Q (en dat is op het eerste gezicht misschien verbazingwekkend) zijn weer wel aftelbaar oneindig.
Overigens denk ik niet dat dit veel met de mogelijkheid van een ordening te maken heeft, want op R kun je een hele zinvolle ordening definieren maar op C niet.
Op R kun je de ordening a<b zelfs definieren in termen van de andere operaties: we zeggen dat a<b als a-b niet te schrijven is als het kwadraat van een ander reeel getal. Het zijn dit soort verbanden met andere delen van de structuur van de reele getallen die een ordeningsrelatie zinvol maken. Als zo'n verband niet bestaat dan kun je weliswaar een ordening definieren maar je kunt er vervolgens niet veel mee doen en dat is de eigenlijke reden waarom er op de complexe getallen geen ordening wordt gedefinieerd.
Puzzels