Versionen fra 17. jul. 2007, 23:03 redigér Broadbot (diskussion \| bidrag) Botter 60.454 edits 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 ← Gå til forrige forskel		Versionen fra 23. aug. 2007, 11:30 redigér fjern redigering SuneJ (diskussion \| bidrag) 224 edits Tilføjede bl.a. cantors diagonalbevis. Hvor meget skal der til før den ikke er en stub? Gå til næste forskel →
Linje 1: 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]]

Tællelig mængde: Forskelle mellem versioner