Alef-nombro

En aroteorio, la alef-nombroj estas vico de nombrecaj valoroj, kiuj prezentas la kardinalojn (la ampleksojn) de nefiniaj aroj. Ili estas nomataj laŭ la simbolo uzata por signifi ilin, la hebrea litero alef ().

La kardinalo de la aro de naturaj nombroj estas  (alef-nul), la sekve pli granda kardinalo estas  (alef-unu), la sekva estas  (alef-du) kaj tiel plu. Daŭrigante en ĉi tiu maniero, eblas difini kardinalon  por ĉiu orda numero α, kiel estas priskribite pli sube. Neformale,  (sen subskribo) estas inversigebla funkcio de la ordaj numeroj al la nefiniaj kardinaloj. Sed formale, laŭ ZFC,  ne estas funkcio, ĉar nek la ordaj numeroj nek la kardinaloj estas matematika aro. Anstataŭ, ili estas matematikaj klasoj.

La alef-nombroj malsamas de la malfinio (∞) kutime aperanta en la baza algebro kaj kalkulo. Alef-nombroj mezuras la amplekson de aroj; malfinio, aliflanke, estas kutime difinita kiel (ege, ekstremuma) limigo de la reela nombra linio (aplikita al funkcio aŭ vico kiu malkonverĝas al malfinio aŭ pligrandiĝas sen baro), aŭ la ekstremuma punkto de la etendita reela nombra linio.

La koncepto fontas de Georg Cantor, kiu difinis la komprenaĵon de kardinalo kaj komprenis ke malfiniaj aroj povas havi malsamajn kardinalojn.

 Alef-nulo 

 estas la kardinalo de la aro de ĉiuj naturaj nombroj, kaj estas la unua transfinia kardinalo. Aro havas kardinalon , se kaj nur se ĝi estas kalkulebla malfinio, alivorte, se kaj nur se ĝi povas esti metita en reciproke unuvalora rilato kun la naturaj nombroj. Ĉiuj tiaj aroj inkluzivas la aron de ĉiuj primoj, la aron de ĉiuj entjeroj, la aron de ĉiuj racionalaj nombroj, la aron de algebraj nombroj, la aron de ĉiuj finiaj subaroj de ĉiu kalkuleble malfinia aro.

Se la aksiomo de elekto veras, aŭ eĉ se aksiomo de kalkulebla elekto (pli malforta versio de la aksiomo de elekto) veras, do  estas pli malgranda ol ĉiu la alia malfinia kardinalo.

 Alef-unu 

 estas la kardinalo de la aro de ĉiuj kalkuleblaj ordaj numeroj, nomata kiel  ω1 aŭ Ω. Ĉi tiu  ω1 estas mem orda numero pli granda ol ĉiuj kalkuleblaj ordaj numeroj, tiel ĝi estas nekalkulebla aro. Pro tio  estas malsama de . La difino de  implicas (en ZF (aroteorio de Zermelo-Fraenkel) eĉ sen la aksiomo de elekto (AC)) ke neniu kardinalo estas inter  kaj . Se la aksiomo de elekto estas uzata, povas esti plu pruvite ke la klaso de kardinaloj estas tutece ordita, kaj tial  estas la dua plej malgranda malfinia kardinalo. Uzante AC ni povas montri unuon el la plej utilaj propraĵoj de la aro Ω: ĉiu kalkulebla subaro de Ω havas superan baron en Ω. Ĉi tio sekvas el tio ke kalkulebla kunigo de kalkuleblaj aroj estas kalkulebla, unu el la plej komunaj aplikoj de AC. Ĉi tiu fakto estas analoga al la situacio kun : ĉiu finia aro de naturaj nombroj havas maksimumon, kiu mem estas natura nombro; tio estas, kunaĵo de finia nombro da finiaj aroj estas finia.

Ω estas reale utila koncepto, kvankam ekzotike sonanta. Ekzempla apliko estas la fermado kun respekto al kalkuleblaj operacioj; ekzemple, provo eksplicite priskribi la σ-algebron generitan per ajna kolekto de subaroj. Ĉi tio estas pli peza ol plej eksplicitaj priskriboj de "generacio" en algebro (vektoraj spacoj, grupoj, kaj tiel plu) ĉar en tiuj okazoj oni nur devas fermi kun respekto al finiaj operacioj - sumoj, produtoj, kaj la similaj. La procezo engaĝas difinadon, por ĉiu kalkulebla orda numero, tra transfinia indukto, de aro per "ĵetado en" de ĉiuj eblaj kalkuleblaj kunaĵoj kaj komplementoj, kaj preno de kunaĵo de ili ĉiuj super ĉiuj el Ω.

 Kontinuumo-hipotezo 

La kardinalo de la aro de reelaj nombroj (kardinalo de kontinuumo) estas . Estas ne klare kie ĉi tiu nombro estas en la alef-nombra hierarkio. El aroteorio de Zermelo-Fraenkel kun la aksiomo de elekto (ZFC) sekvas, ke la kontinuumo-hipotezo (CH) estas ekvivalento al la idento



CH estas sendependa de ZFC, kio estas ke CH povas esti nek pruvita nek malpruvita en la ĉirkaŭteksto de ZFC.

 Alef-ω 

Kutime la plej malgranda malfinia orda numero estas signifata kiel ω, kaj la kardinalo  estas la plej malgranda supera baro de



Alef-ω estas la unua nekalkulebla kardinalo kiu povas esti demonstraciita en aroteorio de Zermelo-Fraenkel aroteorio al esti ne egala al la kardinalo de la aro de ĉiuj reelaj nombroj; por ĉiu pozitiva entjero n oni povas konsekvence alpreni ke , kaj ankaŭ eblas alpreni ke  estas tiel granda kiel oni ŝatas. Oni tamen devas eviti variantoj de egaleco de ĝi al certaj specialaj kardinaloj kun kunfinio , kio estas nebarita funkcio de  al ĝi.

 Alef-α por ĝenerala α 

Por difini  por ajna orda numero α, oni devas difini la postantan kardinalan operacion, kiu asignas al ĉiu kardinalo ρ la sekvan pli grandan bonordan kardinalon ρ+. Se la aksiomo de elekto veras, ĉi tiu estas la sekva pli granda kardinalo.

Oni povas tiam difini la alef-nombrojn kiel




kaj por λ, malfinia limiga orda numero,



La α-a malfinia komenca orda numero estas skribata kiel . Ĝia kardinalo estas skribata kiel .

En ZFC la -funkcio (alef-funkcio) estas reciproke unuvalora rilato inter la ordaj nombroj kaj la malfiniaj kardinaloj.

 Fiksaj punktoj de alef-funkcio 

Por ĉiu orda numero α



En multaj okazoj  estas severe pli granda ol α. Ekzemple, por ĉiu postanta orda numero α ĉi tio veras. Ekzistas, tamen, iuj limigaj ordaj numeroj kiu estas fiksaj punktoj de la alef-funkcio, pro la fiksopunkta lemo por normalaj funkcioj. La unua ĉi tia estas la limigo de la vico



Ĉiu malforte nealirebla kardinalo estas ankaŭ fiksa punkto de la alef-funkcio.

 Vidu ankaŭ 

 Orda numero
 Kardinala nombro
 Beth-nombro
 Kontinuumo-hipotezo
 Kardinalo de kontinuumo

 Eksteraj ligiloj 





Kategorio:Senfineco
Kategorio:Nombroj