Rhif aleph

Mewn mathemateg, ac yn benodol theori set, mae'r rhifau aleff yn gyfres o rifau a ddefnyddir i gynrychioli'r prifoledd (cardinality, neu faint) setiau anfeidraidd trefnus. Maent yn cael eu henwi ar ôl y symbol a ddefnyddir i'w dynodi, sef y llythyr Hebraeg aleph ($\aleph$) (er bod rhai hen lyfrau mathemateg wedi'i hargraffu, ar ben i lawr, yn rhannol gan nad oedd y cysodwr yn yr argraffdy'n deall llythrennau Hebraeg!)

Aleph-sero, neu aleph-null (mewn Almaeneg), sef y rhif prifol anfedraidd lleiaf.

Prifoledd y rhifau naturiol yw $\aleph _{0}$ (ynganiad: aleph-naught neu aleph-sero; mewn Almaeneg, ac weithiau yn Saesneg, sydd hefyd yn defnyddio'r term aleph-null), a'r mwyaf a ddaw ar ei ôl yw aleph-un $\aleph _{1}$, yna $\aleph _{2}$ ayb. Drwy barhau fel hyn, gellir ddiffinio rhif prifol $\aleph _{\alpha }$ am bod rhif trefnol (trefnolyn, neu ordinal number) α, fel a ddisgrifir isod.

Mae'r syniad a'r cysyniad o rifau aleph yn dod o waith y mathemategydd Georg Cantor, a ddiffiniodd y syniad o brifoledd ac a ddaeth i'r casgliad fod gan setiau anfeidraidd wahanol brifoleddau.

Mae rhifau aleph yn wahanol i'r anfeidredd arferol o fewn calcwlws ac algebra. Mesur maint setiau mae'r aleph; mae anfeidredd, ar y llaw arall, yn cael ei ddiffinio'n aml fel y terfyn eithaf (neu'r cyfyngiad eithaf) o'r llinell rif real - a gymhwysir i ffwythiant neu gyfres sy'n cynyddu heb derfyn, hyd dragwyddoldeb!

Aleph-sero

$\aleph _{0}$ (neu aleph-sero) yw prifoledd y set o bob rhif naturiol, ac sy'n rhif prifol anfeidraidd. Mae gan y set o'r holl drefnolion meidraidd (finite ordinals), a elwir yn ω neu ω₀ brifoledd {\displaystyle \aleph _{0}}. Mae gan set brifoledd $\aleph _{0}$ os a dim ond os yw ei gyfri yn anfeidraidd, h.y. ei fod yn bijection (cyfatebiad un-i-un) rhyngddo a rhifau naturiol. Rhai enghreifftiau:

• y set o bob rhif sgwâr, y set o bob rhifau ciwb a'r set o bwer-4 ayb...
• y set o bob pŵer perffaith, y set o bob pŵer cysefin (prime power),
• y set o bob Eilrif, y set o bob odrif,
• y set o bob rhif cysefin, y set o bob rhif cyfansawdd (composite number)
• y set o bob cyfanrif,
• y set o bob rhif cymarebol,
• y set o bob rhif algebraic