„Fjöldatala“: Munur á milli breytinga
Efni eytt Efni bætt við
m robot Bæti við: pl:Moc zbioru |
m robot Bæti við: th:ภาวะเชิงการนับ; kosmetiske endringer |
||
Lína 3:
Stærðræðilegri framsetning á fjöldatölu [[teljanlegt mengi|teljanlegs mengis]] er að [[tala]]n ''n'' er ''fjöldatala'' mengisins <math>A</math> [[eff|þá og því aðeins að]] til sé [[gagntækt fall]] ''f'' á [[hlutmengi]] [[náttúrleg tala|náttúrulegra talna]], þ.e. <math>f: A \to \left\{1, ..., n\right\}</math>. Dæmi: talan <math>3</math> fjöldatala mengisins <math>A = \left\{ 2, 5, 7 \right\}</math>. Ef slík vörpun finnst ekki þá er mengið ''A'' sagt [[óteljanlegt]].
Fjöldatala mengja með [[óendanleiki|óendanlegan]] fjölda staka táknuð með [[hebreska]] tákninu <math>\aleph</math> ([[framburður]] ''alef''). Fjöldatala mengi náttúrulegra talnan er táknuð með <math>\aleph_0</math>, sem jafnframt er fjöldatala allra óendanlegra, [[teljanlegt mengi|teljanlegra]] mengja. Til eru óendanlega mörg [[talnamengi]], sem hafa stærri fjöldatölu en <math>\aleph_0</math>, en þau eru óteljanleg, t.d. mengi [[rauntölur|rauntalna]], sem
Augsljóslega gildir að <math>\aleph_0</math> < <math>\aleph_1</math>, en almennt gildir um fjöldatölur óendanlegra mengja að <math>\aleph_n</math> < <math>\aleph_m</math>, ef ''n'' < ''m''.
Ekki er til nokkurt mengi sem inniheldur allar hugsanlegar fjöldatölur, því [[veldismengi]] slíks mengis hefði hærri fjöldatölu en mengið sjálft. Með því að bæta fjöldatölu veldismengisins í ''mengi allra fjöldatalna'', væri komið nýtt mengi með hærri fjöldatölu en uppaflega mengið og síðan koll af kolli.
Lína 29:
[[sr:Кардиналност]]
[[sv:Kardinalitet]]
[[th:ภาวะเชิงการนับ]]
[[uk:Потужність множини]]
[[zh:势]]
| |||