Կանտորի անկյունագծային փաստարկը

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

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

Անհաշվելի բազմություններ 

Կանտորը դիտարկել է բիթերի անսահման բոլոր հաջորդականությունների  բազմությունը։ Նա սկսում է հետևյալ լեմմայի կառուցողական ապացույցով․

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

Ապացույցը սկսվում է -ի անդամների թվարկմամբ։ Օրինակ․
{|
|-
| 
|-
| 
|-
| 
|-
| 
|-
| 
|-
| 
|-
| 
|-
| ...
|}

Հաջորդիվ, կառուցվում է նոր  հաջորդականություն հետևյալ տրամաբանությամբ․ եթե -ի -երորդ նիշը  է, ապա -ի -երորդ նիշը կլինի , և հակառակը։ Այսպիսով, -ի նիշերը կոմպլիմենտար են համապատասխան -ի նիշերին։

Օրինակ, վերևում ներկայացված թվարկման համար -ը կլինի  : Ըստ կառուցման, -ը  բազմության անդամ է, բայց տարբերվում է յուրաքանչյուր , քանի որ -ի -երորդ նիշը երաշխավորված տարբերվում է -ի -երորդ նիշից։ Հետևաբար -ը չի կարող թվարկման անդամ լինել։

Այս լեմմայի վրա հիմնվելով, Կանտորը, ըստ հակասության ապացույց օգտագործելով, ցույց է տալիս, որ
 բազմությունը անհաշվելի է։

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

Իրական թվեր 

Իրական թվերի անհաշվելիությունը արդեն հաստատված էր անհաշվելիության Կանտորի առաջին ապացույցով, բայց այն նաև հետևում է վերևում նկարագրված արդյունքից։ Սա ապացուցելու համար բավական է անվերջ երկուական շարանների  բազմությունից իրական թվերի  բազմություն ինեկտիվ ֆունկցիա կառուցել։ Քանի որ ցույց ենք տվել, որ -ն անհաշվելի է, իր պատկերի՝ ֊ի ենթաբազմության, անհաշվելիությունը կհետևի։ Եթե -ն ունի անհաշվելի ենթաբազմության, ապա ինքնին -ը անհաշվելի է։

Ավելին, Կանտորի ստեղծած կառուցման մեթոդն օգտագործելով, կարող ենք  բիեկցիա կառուցել, որից կհետևի, որ  և  բազմությունները նույն հզորությունն ունեն։ Այս հզորությունը կոչվում է «կոնտինուումի հզորություն», և նշանակվում է որպես  կամ ։

 ինեկցիա կարելի է սահմանել -ի երկուական շարաններից տասնորդական թվերի քարտեզագրմամբ։ Օրինակ,  կհամընկնի  տասնորդականին։ Այս ֆունկցիան՝ սահմանված  բանաձևով, ինեկցիա է, քանի որ այն երաշխավորում է, որ տարբեր շարաններ տարբեր թվերի կքարտեզագրվեն․ ։

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

Այս կառույցն օգտագործում է 1878 թվականին Կանտորի ստեղծած մեթոդը։ Նա այն օգտագործել է  փակ միջակայքի ու  բաց միջակայքի իռացիոնալ թվերի միջև բիեկցիա կառուցելու համար։ Սկզբից Կանտորը հեռացրել է այդ բազմությունների հաշվելի անսահման ենթաբազմությունները, այնպես որ մնացած անհաշվելի բազմությունների մեջ բիեկցիա մնա։ Քանի որ հեռացված հաշվելի անսահման ենթաբազմությունների մեջ բիեկցիա գոյություն ունի, երկու փոխհամարժեք համապատասխանության ֆունկցիաների միավորումը տալիս է բիեկցիա նախնական բազմությունների մեջ։

Կանտորի մեթոդը կարելի է օգտագործել  ֆունկցիան վերափոխելու ու  բիեկցիա ստանալու համար։ Քանի որ որոշ թվեր երկու երկուական ընդլայնում ունեն, -ն նույնիսկ ինեկցիա չէ։ Օրինակ,  և  (տե՛ս անսահման հաջորդականություններ)․ այդպիսով, ։

 ֆունկցիան վերափոխելու համար դիտարկե՛նք, որ այն բիեկցիա է -ի ու -ի հաշվելի անսահման համապատասխան ենթաբազմություններից դուրս։ Մասնավորապես․ այն բիեկցիա չէ  բազմության այն անդամների համար, որոնք մեկից ավել երկուական ընդլայնում ունեն։ Սրանք կոչվում են դիադիկ թվեր և ունեն  ձևը, որտեղ -ը կենտ ամբողջ թիվ է, և -ը բնական թիվ է։ Կազմե՛նք այս թվերի հաջորդականությունը․ ։ Նաև  ֆունկցիան դեպի  միջակայք բիեկցիա չէ -ի այն շարանների բազմության համար, որոնք հայտնվում են -ի, -ի և -ի հաջորդականության թվերի երկուական ընդլայնման երկուական տրոհիչից հետո։ Ներկայացնե՛նք այս ի վերջո հաստատուն շարանները հաջորդականության տեսքով․ ։ Սահմանե՛նք  բիեկցիան․ եթե -ն  հաջորդականության -րդ շարանն է, -ն հավասար է -րդ հաջորդականության -րդ անդամն է, հակառակ դեպքում ։ 

 բիեկցիա կառուցելու համար, սկսե՛նք  շոշափողի ֆունկցիայով, որը  միջակայքում բիեկցիա է դեպի ։ Հաջորդիվ, դիտարկե՛նք, որ  ֆունկցիան  միջակայքերում բիեկցիա է։  համադրույթ ֆունկցիան  բիեկցիա է։ Այս ֆունկցիան -ի հետ համադրելը տալիս է  ֆունկցիան, որը  բիեկցիա է։

Ընդհանրացում 

Կանտորն օգտագործել է անկյունագծային փաստարկի ընհանրացված ձևակերպումն իր Կանտորի թեորեմն ապացուցելու համար։ Թեորեմը հետևյալն է․ յուրաքանչյուր  բազմության համար, -ի հզոր բազմությունը չի կարող -ի բիեկցիա լինել։

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

։

Յուրաքանչյուր  համար այն կա՛մ  բազմության անդամ է, կա՛մ՝ ոչ։ Եթե -ը ֊ի անդամ է, ապա ֊ի սահմանման համաձայն, -ը -ին հավասար չէ։ Այդպիսով, -ն հավասար չէ -ին։ Մյուս կողմից, եթե -ը ֊ի անդամ չէ, ապա ֊ի սահմանման համաձայն, -ը պատկանում է -ին։ Այդպիսով, -ն կրկին հավասար չէ -ին։
 
Ապացույցի ավելի ամբողջական պատկերի համար տե՛ս Կանտորի թեորեմ հոդվածը։

Հետևանքներ

Կարդինալների կարգավորումը 

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

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

Երրորդի բացառման օրենքը ենթադրելով` յուրաքանչյուր ենթա-հաշվելի բազմություն (ենթա-հաշվելիությունը սուռյեկտիվության ենթատեքստում սահմանված հատկություն է) արդեն հաշվելի է։

Կառուցողական մաթեմատիկայում ավելի դժվար և կամ անհնարին է թե՛ օրդինալ, թե՛ կարդինալ թվերը կարգավորելը։ Օրինակ Շրոդեր-Բերնշտեյն թեորեմը երրորդի բացառման օրենքն է պահանջում․ այդպիսով ինտուիցիոնիստները կարդինալների կարգավորման մասին թեորեմը չեն ընդունում։ Իրական թվերի կարգավորումը (ռացիոնալ թվերի ստանդարտ կարգավորման ընդլայնումը) նույնպես անպայմանորեն որոշելի չէ։ Ըստ Րայսի թեորեմի ֆունկցիաների հետաքրքրություն ներկայացնող դասերի հատկությունների մեծ մասը նմանապես որոշելի չեն։ Ասել է թե․ ենթա-հաշվելի բազմություների հաշվող թվերի ճիշտ բազմությունը կարող է ռեկուրսիվ չլինել։ 

Բազմությունների տեսության մեջ մաթեմատիկայի տեսությունները մոդելավորված են։ Օրինակ, բազմությունների տեսության մեջ, իրական թվերի «իսկական» բազմությունը նույնականցվում է որպես այն բազմությունը, որը հիմնվում է իրական թվերի ինչ-որ աքսիոմների վրա։ Տարբեր մոդելներ են ուսումնասիրվել, ներառյալ Դեդեկինդ իրական թվերն ու Կոշիի իրական թվերը։ Ավելի թույլ աքսիոմներից ավելի քիչ սահմանափակումներ են բխում` մոդելների ավելի հարուստ կարգ թույլատրելով։ Որպես հետևանք, այնպիսի համատեքստում, որը հակառակ դեպքում կառուցողական կլիներ (այսինքն․ կառուցողական կիներ եթե կիրառեր երրորդի բացառման օրենքը), հետևողական է ընդունել երրորդի բացառման օրենքին հակասող ոչ դասական աքսիոմներ։ Օրինակ․ կարող ենք պնդել, որ  ֆունկցիաների անհաշվելի տարածությունը ենթա-հաշվելի է․  պնդմանը ուղղահայաց չափի հասկացություն կիառելով։ Նման համատեքստում բոլոր բազմությունների ենթա֊հաշվելիությունը կամ անհաշվելի  բազմությունից  ինեկցիան հնարավոր է։

Բաց հարցեր 

Իրական թվերի բազմության բնական թվերի բազմությունից «ավելի մեծ» լինելու փաստի արձանագրումը ստիպում է մտածել երկու բազմությունների հզորությունների «միջև» թվերի գոյության մասին․ կա՞ բազմություն, որի հզորությունը փոքր է իրական թվերի բազմության հզորությունից, բայց՝ մեծ բնական թվերի բազմության հզորությունից։ Այս հարցը հանգեցնում է կոնտինուումի վարկածին։

Նույն կերպ, «գոյություն ունի՞ այնպիսի բազմություն, որի հզորությունը փոքր է  բազմության հզորությունից, բայց՝ մեծ  բազմության հզորությունից (որտեղ -ն ինչ-որ անսահման բազմություն է)» հարցը հանգեցնում է ընդհանրացված կոնտինուումի վարկածին։

Ակնյունագծումը ավելի լայն համատեքստում 

Ռասելի պարադոքսը ցույց է տվել, որ անսահմանափակ ըմբռնման սխեմայի վրա հիմնաված բազմությունների միամիտ տեսությունը հակասական է։ Նկատե՛նք, որ  բազմության ու Ռասելի պարադոքսի բազմության կառուցման մեջ նմանություններ կան։ Հետևաբար․ բոլոր բազմությունների հավաքածուի բացակայության նման փաստարկները կարող են ուժի մեջ մնալ կամ չմնալ՝ կախված թե  պարադոքսից խուսափելու համար ինչպես ենք փոփոխում ըմբռնման աքսիոմայի սխեման։

Տարատեսակ օբյեկտների մաթեմատիկայում գոյություն չունենալու փաստը ցուցադրելու համար անկյունագծային փաստարկի տարատեսակ անալոգներ լայն կիրառում ունեն։ Օրինակ․ կանգառի խնդրի անլուծելիության ամենատարածված ապացույցն ըստ էության անկյունագծային փաստարկ է։ Ի սկզբանե անկյունագծումն օգտագործվել է պայմանական բարդության դասերի գոյությունը ցույց տալու համար, և առանցքային դեր է խաղացել P և NP դասերի անհավասարության ապացույցի նախնական փորձերում։

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

Նշումներ 

Բազմությունների տեսություն
Մաթեմատիկական ապացույց
Բազմությանների հզորություն
Փաստարկներ
Մաթեմատիկական անալիզ
Մաթեմատիկական թեորեմներ