Forskel mellem versioner af "Tællelig mængde"

2.317 bytes tilføjet ,  for 13 år siden
Tilføjede bl.a. cantors diagonalbevis. Hvor meget skal der til før den ikke er en stub?
m (robot Tilføjer: ar, bg, cs, de, es, fa, fi, fr, he, is, it, ja, ko, lt, nl, no, pl, pt, ru, simple, sk, sr, sv, ta, zh)
(Tilføjede bl.a. cantors diagonalbevis. Hvor meget skal der til før den ikke er en stub?)
En '''tællelig mængde''' er en [[mængde]] der er har samme antal elementer som de naturlige tal, eller ækvivalent, en mængde A er tællelig hvis og kun hvis der findes en bijektiv funktion fra A til de naturlige tal. Uformelt kan man sige at en mængde A er tællelig uendelig hvis man kan skrive elementerne i en uendelig lang liste. Mængder der er mindre end tællelige kaldes [[Endelig mængde|endelige]], og de større kaldes for [[Overtællelig mængde|overtællelige]]. Bemærk at nogle også kalder endelige mængder for tællelige.
 
Eksempler på tællelige mængder er de [[hele tal]] og de [[rationelle tal]]. Mængden af de hele tal (...,-2, -1, 0, 1, 2,...) er tællelig, fordi man kan liste elementerne: 0, 1, -1, 2, -2,.... De positive rationelle tal kan også listes: 1/1, 1/2, 2/1, 1/3, (2/2), 3/1, 1/4,... Man lister de rationelle tal først efter summen af tæller og nævner og derefter efter tæller. 2/2 er indsat i parentes for at vise systemet, men tæller ikke med da 1/1 allerede er i listen. Alle de raltionelle tal kan så listes ved at flette de positive og negative sammen på samme måde som med de hele tal.
 
Eksempler på utællelige mængder er mængden af de [[reelle tal]] og mængden af uendelige [[talfølge|følger]] af 0 og 1-taller.
 
At den sidstnævnte mængde er utællelig kan vises med [[Cantor|Cantor's]] diagonalbevis:
Antag at man kan liste alle uendelige følger at 0 og 1-taller. Listen kunne f.eks. starte:
 
:''s''<sub>1</sub> = (0, 0, 0, 0, 0, 0, 0, ...)
:''s''<sub>2</sub> = (1, 1, 1, 1, 1, 1, 1, ...)
:''s''<sub>3</sub> = (0, 1, 0, 1, 0, 1, 0, ...)
:''s''<sub>4</sub> = (1, 0, 1, 0, 1, 0, 1, ...)
:''s''<sub>5</sub> = (1, 1, 0, 1, 0, 1, 1, ...)
:''s''<sub>6</sub> = (0, 0, 1, 1, 0, 1, 1, ...)
:''s''<sub>7</sub> = (1, 0, 0, 0, 1, 0, 0, ...)
:...
 
Men følgen, hvis n'te led er forskelligt fra n'te led i ''s''<sub>n</sub> kan ikke stå på listen:
 
:''s''<sub>1</sub> = (<u>'''0'''</u>, 0, 0, 0, 0, 0, 0, ...)
:''s''<sub>2</sub> = (1, <u>'''1'''</u>, 1, 1, 1, 1, 1, ...)
:''s''<sub>3</sub> = (0, 1, <u>'''0'''</u>, 1, 0, 1, 0, ...)
:''s''<sub>4</sub> = (1, 0, 1, <u>'''0'''</u>, 1, 0, 1, ...)
:''s''<sub>5</sub> = (1, 1, 0, 1, <u>'''0'''</u>, 1, 1, ...)
:''s''<sub>6</sub> = (0, 0, 1, 1, 0, <u>'''1'''</u>, 1, ...)
:''s''<sub>7</sub> = (1, 0, 0, 0, 1, 0, <u>'''0'''</u>, ...)
:...
 
:''s''<sub>0</sub> = (<u>'''1'''</u>, <u>'''0'''</u>, <u>'''1'''</u>, <u>'''1'''</u>, <u>'''1'''</u>, <u>'''0'''</u>, <u>'''1'''</u>, ...)
 
Denne følge kan ikke være i overstående liste. Antag at den f.eks. er det 10. element på overstående liste. Fra definitionen på følgen er dens 10. element forskellig fra 10. element i s<sub>10</sub>, og den kan derfor ikke være 10. element på listen. Modstrid.
 
 
 
 
Eksempler på tællelige mængder er de [[hele tal]] og de [[rationelle tal]].
 
[[Kategori:Matematik]]
224

redigeringer