Alef-nombro: Malsamoj inter versioj

[kontrolita revizio][kontrolita revizio]
Enhavo forigita Enhavo aldonita
ArthurBot (diskuto | kontribuoj)
e r2.6.3) (robota modifo de: zh:艾禮富數
eNeniu resumo de redakto
Linio 10:
== Alef-nulo ==
 
<math>\aleph_0</math> estas la kardinalo de la aro de ĉiuj [[natura nombro|naturaj nombroj]], kaj estas la unua [[transfinia nombro|transfinia kardinalo]]. Aro havas kardinalon <math>\aleph_0</math> se kaj nur se ĝi estas [[kalkulebla malfinio]], kio estas se kaj nur se ĝi povas esti metita en [[ensurĵeto|reciproke unuvalora surĵeto]] kun la naturaj nombroj. Ĉiuj tiaj aroj inkluzivas la aron de ĉiuj [[primo]]j, la aron de ĉiuj [[entjero]]j, la aron de ĉiuj [[racionala nombro|racionalaj nombroj]], la aron de [[algebra nombro|algebraj nombroj]], la aron de ĉiuj finiaj [[subaro]]j de ĉiu [[kalkuleblekalkulebla malfinio|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 <math>\aleph_0</math> estas pli malgranda ol ĉiu la alia malfinia kardinalo.