Կարդինալ թվեր

Կարդինալ թվերը (կամ` կրճատ, կարդինալները) բնական թվերի ընդհանրացում են, որոնք  օգտագործվում են մաթեմատիկայում բազմության հզորությունը չափելու համար։ Վերջավոր բազմության հզորությունը բնական թիվ է և հավասար է բազմության անդամների քանակին։ Տրանսֆինիտ կարդինալ թվերը, որոնք հաճախ են նշանակվում եբրայերեն (ալեֆ) տառով ու համապատասխան ինդեքսով, նկարագրում են անսահման բազմությունների հզորությունը։

Բազմության հզորությունը սահմանվում է փոխմիարժեք ֆունկցիաներով։ Երկու բազմություն նույն հզորությունն ունեն միայն և միայն այն դեպքում, եթե դրանց անդամների միջև մեկը֊մեկին փոխհամարժեքություն (բիեկցիա) գոյություն ունի։ Վերջավոր բազմությունների համար այս սահմանումն ինքըստինքյան բխում է չափի մասին բնական պատկերացումից։ Անսահման բազմությունների համար իրենց հզորության վարքագիծն ավելի բարդ է։ Գեորգ Կանտորի հիմունքային թեորեմներից մեկը ցույց է տալիս, որ երկու անսահման բազմություն կարող են տարբեր հզորություն ունենալ․ մասնավորապես իրական թվերի բազմության չափը մեծ է բնական թվերի բազմության չափից։ Անսահման բազմությունների համար նաև հնարավոր է, որ սեփական ենթաբազմության հզորությունը հավասար լինի ելակետային բազմության հզորությանը․ ինչը հնարավոր չէ վերջավոր բազմության սեփական ենթաբազմությունների համար։

Կարդինալ թվերի տրանսֆինիտ հաջորդականություն գոյություն ունի․ ։ Հաջորդականությունը սկսում է բնական թվերից՝ ներառյալ զրոն, վերջավոր հզորությունները ներկայացնելու համար, որոնց հաջորդում են ալեֆ թվերը` լավ կարգավորված բազմությունների անսահման հզորությունները ներկայացնելու համար։ Ալեֆ թվերն ունեն օրդինալ թվերով արտահայտված ինդեքսներ։ Ըստ ընտրության աքսիոմի ենթադրությունների, այս տրանսֆինիտ հաջորդականությունը ներառում է բոլոր կարդինալ թվերը։ Եթե ընտրության աքսիոմը մերժվում է, իրավիճակը զգալիորեն բարդանում է՝ ներառելով անսահմանության այնպիսի հզորություններ, որոնք չի կարելի ալեֆով արտահայտել։

Կարդինալությունը բազմությունների տեսության ուսումնասիրման առանձին ոլորտ է։ Այն նաև մաթեմատիկայի այլ ոլորտների՝ ներառյալ մոդելների տեսության, կոմբինատորիկայի, աբստրակտ հանրահաշվի և մաթեմատիկական անալիզի ուսումնասիրման օգտակար գործիք է։ Կատեգորիաների տեսության մեջ կարդինալ թվերը բազմությունների կատեգորիայի համար կմախք են կազմում։

Պատմություն 

Հզորության հասկացությունը՝ այնպես, ինչպես հիմա ենք այն ընկալում, առաջին անգամ ձևակերպել է Գեորգ Կանտորը՝ բազմությունների տեսության հիմնադիրը, 1874-1884 թվականներին։ Հզորությունը կարելի է օգտագործել վերջավոր բազմությունների որոշ հատկությունները համեմատելու համար։ Օրինակ․  և  բազմությունները հավասար չեն, բայց նույն հզորությունն ունեն՝ 3: Սա հաստատվում է երկու բազմությունների միջև առկա բիեկցիաներով (մեկը մեկին համապատասխանությամբ) - այդպիսի մի բիեկցիա է, օրինակ,  համապատասխանությունը։

Կանտորը կիրառեց իր բիեկցիայի հասկացությունը անսահման բազմությունների նկատմամբ (օրինակ․ բնական թվերի բազմությունը՝ )։ Նա որոշեց -ին հավասար հզորություն ունեցող ցանկացած բազմություն անվանել «հաշվելի անսահման բազմություն»․ նկատեք, որ բոլոր հաշվելի անսահման բազմությունները նույն հզորությունն ունեն։ Այս հզորությունը նշանակվում է ` «Ալեֆ զրո» տառով։ Կանտորը նաև անվանեց անսահման թվերի հզորությունը ներկայացնող կարդինալ թվերը «տրասնֆինիտ կարդինալ թվեր»։

Կանտորն ապացուցեց, որ -ի ցանկացած անսահմանափակ ենթաբազմություն նույն հզորությունն ունի, ինչ -ը․ չնայած, որ պնդումն առաջին հայացքից հակահասկացական է։ Նա նաև ապացուցեց, որ բնական թվերի բոլոր կարգված զույգերի բազմությունը հաշվելի է․ ինչից բխում է, որ ռացիոնալ թվերի բազմությունը նույնպես հաշվելի է, քանի որ ցանկացած ռացիոնալ թիվ կարելի է ներկայացնել որպես ամբողջ թվերի կարգված զույգ։ Կանտորը հետագայում նաև ապացուցել է, որ բոլոր իրական հանրահաշվական թվերի բազմությունը նույնպես հաշվելի է․ ցանկացած իրական հանրահաշվական թիվ  ամբողջ թվերի գործակիցներով բազմանդամի լուծում է, ինչից բխում է, որ այն հնարավոր է ներկայացնել այդ գործակիցներով՝ ամբողջ թվերի վերջավոր ենթաբազմությամբ։ Այսինքն՝ գոյություն ունի այնպիսի  կարգավորված -շարք`  իրական թվերի զույգի հետ, որոնց համար -ը հանդիսանում է  գործակիցներով բազմանդամի    տիրույթում ընկած միակ լուծումը։

Իր 1874 թվականի «Բոլոր Իրական Հանրահաշվական Թվերի Հավաքածուի Հատկության մասին» աշխատության մեջ Կանտորն ապացուցում է, որ գոյություն ունեն -ից ավելի բարձր մակարդակի կարդինալ թվեր՝ ցույց տալով, որ իրական թվերի բազմության հզորությունը մեծ է բնական թվերի բազմության հզորությունից։ Այս ապացույցն օգտագործում է ներփակված ինտերվալներ ներառող փաստարկներ, սակայն 1891 թվականին Կանտորը նույն արդյունքն ապացուցել է նաև բավականին խելացի, բայց ավելի պարզ՝ անկյունագծային փաստարկով։ Իրական թվերի բազմության հզորությունն արտահայտող նոր կարդինալ թիվը կոչվում է կոնտինուումի հզորություն. Կանտորն այն ներկայացրել է է  նշանով։ 

Կանտորը նաև զարգացրել է կարդինալ թվերի ընդհանուր տեսության մեծ մասը։ Նա ապացուցել է, որ գոյություն ունի ամենափոքր տրանսֆինիտ թիվը՝ -ն, ինչպես նաև այն, որ ցանկացած կարդինալ թվի համար գոյություն ունի հաջորդ՝ ավելի մեծ կարդինալ թիվը, ։

Կարդինալ թվերին վերաբերող դասական հարցերը (օրինակ՝ կոնտինուումի վարկածը) վերաբերում են երկու անսահման կարդինալների միջև ընկած կարդինալ թվի առկայությունը բացահայտելուն կամ նման առկայության հնարավորությունը հերքելուն։

Վերջին ժամանակներում մաթեմատիկոսներն ավելի ու ավելի մեծ կարդինալների հատկություններ են կարողանում նկարագրել։

Կոնտինուումի վարկած 

Կանտորը ձևակերպել է նաև կոնտինուումի վարկածը․ սա այն առաջարկն է, որ իրական թվերի բազմության հզորությունը՝ -ն, հավասար է -ին։ Այլ կերպ ասած՝ բնական թվերի բազմության հզորությունը ներկայացնող կարդինալ թվի ու իրական թվերի բազմության հզորությունը ներկայացնող կարդինալ թվի միջև կարդինալ թվեր չկան (ինչպես, օրինակ, -ի ու -ի միջև ամբողջ թվեր չկան)։ Այս վարկածն անկախ է բազմությունների տեսության ստանդարտ աքսիոմներից, ինչպես նաև՝ աքսիոմի ընտրությամբ Զերմելո-Ֆրենկելյան աքսիոմային համակարգից․ ստանդարտ ենթադրությունների հիմքով այն ո՛չ ապացուցել է հնարավոր, ո՛չ էլ՝ հերքել։

Համազոր ձևակերպում է հետևյալ պնդումը․ -ի և -ի միջև ընկած կարդինալ թվեր չկան։ Նկատենք, որ -ն ներկայացվում է նաև  նշանով, որը Կանտորն օգտագործել է իրական թվերի բազմության՝ կոնտինուումի հզորությունը ներկայացնելու համար։ Ըստ վարկածի․ ։ 

Կոնտինուումի ընդհանրացված վարկածը պնդում է, որ ցանկացած  անսահման բազմության համար -ի և -ի միջև ընկած կարդինալ թվեր չկան։

Դրդապատճառներ 

Ամենօրյա կիրառման մեջ հաշիվ պահող թիվ ու կարդինալ թիվ հասկացությունները նույնն են, և վերաբերում են հետևյալ շարքին․ ։ Շարքը կարող ենք նույնականցնել որպես բնական թվերի բազմությունը՝ ավելացրած զրոն։ Հենց հաշիվ պահող թվերը կարող ենք պաշտոնապես սահմանել որպես վերջավոր կարդինալ թվեր։ Անսահման կարդինալները հանդիպում են միայն բարձր մակարդակի մաթեմատիկայում և տրամաբանության մեջ։

Ավելի պաշտոնապես՝ ցանկացած ոչ-զրոյական թիվ երկու տարբեր նպատակով կարելի է կիրառել․ բազմության չափը կամ շարքում անդամի դիրքը նկարագրելու համար։ Հեշտ է նկատել, որ վերջավոր բազմությունների ու շարքերի համար այդ երկու կիրառությունները համընկնում են․ դիրքը նկարագրող ցանկացած թվի համար կարող ենք համապատասխան չափի բազմություն կառուցել։ Օրինակ.  շարքում -ը նկարագրում է  անդամի դիրքը, և մենք կարող ենք  տարր պարունակող բազմություն կառուցել․ ։ Սակայն անսահման բազմությունների հետ գործ ունենալիս կենսական է տարբերակել երկու կիրառումների միջև, քանի որ անսահման բազմությունների համար դրանք տարբեր հասկացություններ են։ Դիրքի մասին խոսելիս հանգում ենք օրդինալ թվերի գաղափարին, իսկ չափի հասկացությունն ընդհանրացվում է այստեղ նկարագրված կարդինալ թվերով։

Կարդինալի պաշտոնական սահմանման հիմքում ընկած ներըմբռնումը տրված բազմության՝ առանց դրա անդամների տեսակին անդրադառնալու, հարաբերական չափի կամ դրա «որքան մեծ լինելու» հասկացության կառուցումն է։ Վերջավոր բազմությունների համար ամեն ինչ հեշտ է․ պարզապես կարելի է հաշվել բազմության անդամների քանակը։ Ավելի մեծ բազմությունների չափերը համեմատելու համար ավելի հղկված հասկացություններ են անհրաժեշտ։

Համեմատական հարաբերություն 

Տրված  և  բազմությունների համար, -ը նվազագույնը -ի չափ է, եթե գոյություն ունի  ինեկտիվ ֆունկցիա։ Այս ինեկտիվ համապատասխանությունը -ի յուրաքանչյուր անդամ նույնակացնում է -ի եզակի անդամի հետ։ 

Ավելի պարզ հասկանալու համար, օրինակ դիտարկենք․ ենթադրենք, ունենք  և  բազմությունները, և հետևյալ համապատասխանությունը․

 
 
 

որը  ինեկցիա է։ Այսպիսով, կարող ենք եզրակացնել, որ ։  տարրը իրեն համապատասխանող անդամ չունի, բայց դա խնդիր չէ, քանի որ ինեկցիան չի պահանջում որպեսզի պատասխանների տիրույթն ամբողջովին ծածկված լինի։ 

Չափի մասին ինեկտիվ ֆունկցիայի տրամաբանությամբ մտածելու առավելությունն այն է, որ այն կարելի է ընդարձակել անսահման բազմություններ ընդգրկելու համար։

Հավասարություն 

Նույն տրամաբանությունից կարող ենք սահմանել նաև հավասարության հարաբերություն․  և  բազմությունները նույն հզորությունը (կարդինալությունն) ունեն, եթե գոյություն ունի  բիեկտիվ ֆունկցիա։ Ըստ Շրոդեր-Բերնշտայն թեորեմի, սա համազոր է ասելու, որ գոյություն ունի թե՛ , թե՛  ինեկտիվ ֆունկցիա։ Եթե հավասարության պայմանները բավարարված են, կարող ենք գրառել․ ։

Ինքնին բազմության կարդինալ թիվը հաճախ սահմանվում է որպես նվազագույն օրդինալ -ն, որի համար ճիշտ է  պնդումը․ սա կոչվում է ֆոն Նոյմանի կարդինալ նշանակում։ Այս սահմանումն իմաստ ունի միայն եթե ապացուցված է, որ ցանկացած բազմություն ինչ-որ օրդինալին հավասար հզորություն ունի։ Այդ պնդումը հայտնի է որպես լավ կարգավորման սկզբունք։

Հիլբերտի պարադոքս 

Անսահման բազմությունների կարդինալությունը պատկերավոր ներկայացնելու համար հաճախ է օգտագործվում անսահման հյուրանոցի պարադոքսը, հայտնի որպես Հիլբերտի «Գրանդ» հյուրանոցի պարադոքս։ 

Ենթադրենք, որ գոյություն ունի անսահման քանակությամբ սենյակներով հյուրանոց՝ իր ընդունարանի աշխատակցով։ Հյուրանոցն ամբողջորեն ամրագրված է, երբ նոր հյուրեր են գալիս։ Սակայն հնարավոր է նրանց տեղավորել՝ առաջին սենյակի հյուրին խնդրելով, որ տեղափոխվի երկրորդ սենյակ, երկորդ սենյակում մնացող հյուրին՝ որ տեղափոխվի երրորդ սենյակ, և այդպես շարունակ․ ազատ թողնելով առաջին սենյակը նոր եկած հյուրերի համար։ Մենք կարող ենք այս տեղափոխության ֆունկցիան ներկայացնել որպես․

 
 
 
 
 

Այս բիեկցիան ցույց է տալիս, որ  բազմության հզորությունը հավասար է  բազմության հզորությանը։ Այն նաև հիմք է հանդիսանում անսահման բազմության հետևյալ սահմանմանը․ ցանկացած բազմություն , որն ունի այնպիսի սեփական ենթաբազմություն , որի համար ճիշտ է  հավասարումը, անսահման բազմություն է (մասնավորապես՝ Դեդեկինդ-անսահման բազմություն)։ Նկատենք, որ -ը  բազմության սեփական ենթաբազմություն է։

Երբ մեծ օբյեկտներ ենք քննարկում, կարող է հարց առաջանալ․ արդյո՞ք այս անսահման բազմությունների համար հաշվողական հաջորդականության հասկացությունը համընկնում է այստեղ սահմանված կարդինալի հասկացության հետ։ Պարզվում է, որ ոչ․ եթե գոյություն ունի «անսահմանությունից մեկով ավել» չափման բազմություն, այն պիտի նույն հզորությունն ունենա, ինչ ելակետային անսահմանությունը։ Քանակի համար մեկ այլ պաշտոնական հասակցություն կարելի է օգտագործել՝ օրդինալը, որը հիմնված է հաշվելու գաղափարի վրա։ Ուսումնասիրելով կբացահայտենք, որ վերջավոր թվերի տիրույթից դուրս գալուն պես կարդինալության ու օրդինալության հասկացությունները տարանջատվում են։

Պաշտոնական սահմանում

Ըստ ընտրության աքսիոմի 

Ընտրության աքսիոմը ենթադրելով,  բազմության կարդինալությունը պաշտոնապես կարելի է սահմանել որպես այն փոքրագույն օրդինալ թիվ , որի համար գոյությունի ունի  բիեկտիվ ֆունկցիա։ Սա հայտնի է նաև որպես ֆոն Նոյմանի կարդինալ նշանակում։ 

Եթե ընտրության աքսիոմը տրված չէ որպես ենթադրություն, այլ մոտեցում է անհրաժեշտ։  բազմության հզորության ամենահին սահմանումն է (անուղղակի նշված Կանտորի աշխատություններում, և ուղղակի՝ «Principia Mathematica»-ում)․  ֊ի հետ համաքանակ բոլոր բազմությունների  կարգը։ Սա չի աշխատում Զերմելո-Ֆրենկելյան կամ այլ առնչվող աքսիոմատիկ բազմությունների տեսության համակարգերում, քանի որ եթե -ը դատարկ չէ, ապա վերը նշված հավաքածուն բազմություն լինելու համար չափազանց մեծ է։ 

Իրականում, եթե , տիեզերքից դեպի  ինեկցիա գոյություն ունի․ կամայական  բազմության համար, ։ Այդպիսով, չափի սահմանափակման աքսիոմի համաձայն, -ը սեփական կարգ է։ Այս սահմանումը, սակայն, չի աշխատում տեսակների տեսության և առնչվող համակարգերում․ բայց, եթե սահմանափակենք կարգը միայն նվազագույն կարգ ունեցող -ին համաքանակներով, այն կաշխատի։ Սա հնարք է, որն առաջարկել է Դեյնա Սքոտտը․ այն աշխատում է, քանի որ ցանկացած տրված կարգով օբյեկտների հավաքածու բազմություն է։

Հարաբերական մեծություն 

Կարդինալ թվերի կարգը՝ թվերի հարաբերական մեծությունը, պաշտոնապես սահմանվում է հետևյալ կերպ․ , եթե գոյություն ունի  ինեկցիա։ Ըստ Շրոդեր-Բերնշտայն թեորեմի․ եթե  և , ապա ։ Ընտրության աքսիոմը համազոր է հետևյալ պնդմանը․ կայամական տրված  և  բազմությունների համար ճիշտ է կա՛մ , կա՛մ՝  անհավասարումը։ Այսինքն․ անհավասարումներից նվազագույնը մեկը ճիշտ է։

Դեդեկինդ անսահմանություն 

 բազմությունը Դեդեկինդ-անսահման է, եթե գոյություն ունի , որի համար ճիշտ է  հավասարումը․ իսկ Դեդեկինդ֊վերջավոր է, եթե նման բազմություն գոյություն չունի։ Վերջավոր կարդինալները պարզապես բնական թվերն են. այն իմաստով, որ  բազմությունը վերջավոր է միայն և միայն եթե գոյություն ունի , որի համար ճիշտ է  հավասարումը․ պայմանին չհամապատասխանող ցանկացած այլ բազմություն անսահման է։

Ընտրության աքսիոմը ենթադրելով, կարող ենք ապացուցել, որ Դեդեկինդ հասկացությունը համապատասխանում է ստանդարտին։ Նաև հնարավոր է ապացուցել, որ -ն՝ բնական թվերի բազմության հզորությունը, փոքրագույն անսահման կարդինալն է․ այսինք․ ցանկացած անսահման բազմություն ունի  հզորությամբ ենթաբազմություն։ Հաջորդ՝ ավելի մեծ կարդինաը, -ն է, և այդպես շարունակ։  Յուրաքանչյուր օրդինալ ֊ի համար, գոյություն ունի համապատասխան կարդինալ թիվ՝ , և այդ ցանկը ամբողջովին թվարկում է բոլոր անսահման կարդինալ թվերը։

Կարդինալ թվաբանություն 

Բնական թվերի սովորական թվաբանական գործողությունների ընդհանրացմամբ կարող ենք թվաբանություն սահմանել կարդինալ թվերի համար։ Հնարավոր է ապացուցել, որ վերջավոր կարդինալների համար այդ գործողությունները կհամընկնեն  բնական թվերի թվաբանական գործողությունների հետ։ Ավելին՝ այս գործողությունները սովորական թվաբանության հետ ընդհանուր շատ հատկություններ կունենան։

Հաջորդող կարդինալ 

Եթե ընտրության աքսիոմը ճիշտ է,յուրաքանչյուր կարդինալ  ունի իրեն հաջորդող կարդինալ, որը նշանակում ենք որպես , որտեղ , և նրանց միջև որևէ կարդինալներ չկան։ Առանց ընտրության աքսիոմի, բայց՝ օգտագործելով Հարտոգսի թեորեմը, հնարավոր է ցույց տալ, որ կամայական կարդինալ -ի համար գոյություն ունի մի այնպիսի նվազագույն կարդինալ , որոնց համար ճիշտ է  անհավասարումը։

Վերջավոր կարդինալ -ի համար հաջորդողը պարզապես -ն է՝ հաջորդող օրդինալը։ Անսահման կարդինալների համար այդպիսի օրինաչափություն չկա։

Գումարում 

Եթե -ը և ֊ը տարանջատված բազմություններ են, դրանց գումարումը տրված է իրենց միավորումով։ Եթե բազմությունները տարանջատված չեն, դրանք կարելի է փոխարինել հավասար հզորություն ունեցող տարանջատված բազմություններով։ Օրինակ․  և ։

Բազմությունների հզորությունների գումարումը կարելի է սահմանել որպես․ ։

Նշանակենք  և  ինչ-որ  և  բազմությունների համար։ Կարդինալ գումարման հատկություններն են․

 Զրոն գումարման չեզոք տարրն է․  ցանկացած ֊ի համար։ Նկատեք, որ ։

 Գումարումը զուգորդական է․ ։

 Գումարումը տեղափոխական է. ։

 Գումարումը երկու արգումենտով ոչ֊նվազող է․  և ։

 Ընտրության աքսիոմը ենթադրելով, անսահման կարդինալների գումարումը նույնպես կարելի է հեշտությամբ սահմանել․ , եթե կա՛մ -ը, կա՛մ -ն անսահման են։

Բազմապատկում 

Կարդինալների բազմապատկման սահմանումն օգտագործում է Դեկարտյան արտադրյալը. ։

Նշանակենք  և  ինչ-որ  և  բազմությունների համար։ 

Զրոյի հետ բազմապատկումը հետևում է այս կանոններին․

 

  կամ 

Կարդինալ բազմապատկման հատկություններն են․

 Մեկը բազմապատկման չեզոք տարրն է․  ցանկացած ֊ի համար։ Նկատեք, որ ։

 Բազմապատկումը զուգորդական է․ ։

 Բազմապատկումը տեղափոխական է. ։

 Բազմապատկումը երկու արգումենտով ոչ֊նվազող է․  և ։

 Բազմապատկումը գումարման նկատմամբ բաշխական է․ 
 ,
 ։

 Ընտրության աքսիոմը ենթադրելով, անսահման կարդինալների բազմապատկումը նույնպես կարելի է հեշտությամբ սահմանել․ , եթե կա՛մ -ը, կա՛մ -ն անսահման են, և երկուսն էլ ոչ-զրոյական են։

Էքսպոնենտ 

Էքսպոնենտի օպերացիան տրված է հետևյալ հավասարմամբ․ , որտեղ -ը` բազմությունների էքսպոնենտը, հավասար է  բոլոր ֆունկցիաների բազմությանը։ 

 բազմության հզոր բազմության կարդինալությունը -ն է։ Նկատենք, որ Կանտորի անկյունագծային փաստարկը ցույց է տալիս, որ  ցանկացած -ի համար։ Սա նաև ցույց է տալիս, որ մեծագույն կարդինալ գոյություն չունի, քանի որ ցանկացած ենթադրվող մեծագույն կարդինալ -ի համար գոյություն ունի ավելի մեծը՝ ։ Իրականում կարդինալների դասը սեփական դաս է։ Այս ապացույցը, սակայն, չի աշխատում որոշ բազմությունների տեսությունում, մասնավորապես՝ Նոր Հիմունքներում։

Օգտագործելով Քյոնիգի թեորեմը, ցանկացած անսահման կարդինալ -ի համար կարելի է ապացուցել, որ  և , որտեղ ֊ը -ի համավերջավորությունն է՝ cofinality։

Նշանակենք  և  ինչ-որ  և  բազմությունների համար։ Կարդինալ էքսպոնենտի հատկություններն են․

 , մասնավորապես․ ։ Տես․ դատարկ ֆունկցիա։

 Եթե , ապա ։ Նկատենք, որ 0-ի ու 1-ի միջև ընկած կարդինալ թվեր չկան։

 ։

 ։ Նկատենք, որ չնայած այս հավասարումը ճիշտ է կամայական, ոչ֊զրոյական ֊ի համար, 1-ը չեզոք տարր չէ, քանի որ  ցանկացած -ի համար։

 

 

 

Էքսպոնենտը երկու արգումենտով ոչ֊նվազող է․

  և  

 

Բոլոր մնացած հատկությունները ենթադրում են ընտրության աքսիոմը․

 եթե -ը և -ը երկուսն էլ վերջավոր են և , իսկ -ն անսահման է, ապա 

 եթե -ը անսահման է, իսկ -ն՝ վերջավոր, ապա 

 եթե  և , և դրանցից գոնե մեկն անսահման է, ապա․ ։

Լոգարիթմ 

Եթե -ն անսահման կարդինալ թիվ է, իր համար լոգարիթմը սահմանվում է որպես այն նվազագույն կարդինալ թիվ -ը, որը բավարարում է  անհավասարումը։

Անսահման կարդինալների լոգարիթմներն օգտաակար են մաթեմատիկայի որոշ ոլորտներում՝ օրինակ, տոպոլոգիական տարածությունների կարդինալ ինվարիանտների ուսումնասիրության մեջ, չնայած դրանք չունեն դրական իրական թվերի լոգարիթմների որոշ հատկություններ։

Տես նաև 

 Ալեֆ թվեր
 Բեթ թվեր
 Մեծագույն կարդինալի պարադոքս
 Ներառման-Բացառման սկզբունք
 Մաթեմատիկական նշաններ

Ծանոթագրություններ

Աղբյուրներ

Գրականություն 

 

 

 

Բազմությանների հզորություն
Բազմությունների տեսություն
Թվեր
Մաթեմատիկական տերմիններ