ტრანსცენდენტური რიცხვი

მათემატიკაში ტრანსცენდენტური რიცხვი ეწოდება ისეთ რიცხვს (შესაძლოა, კომპლექსურ რიცხვს), რომელიც არ არის ალგებრული, ანუ არ წარმოადგენს რაციონალური კოეფიციენტების მქონე არამუდმივი მრავალწევრის ფესვს.

ტრანსცენდენტური რიცხვების ყველაზე გამორჩეული მაგალითებია რიცხვები და . ტრანსცენდენტური რიცხვების მხოლოდ რამდენიმე კატეგორიაა ცნობილი. ეს იმითაა განპირობებული, რომ რიცხვის ტრანსცენდენტურობის დამტკიცება, შესაძლოა, მეტად რთული იყოს.

თუმცა ტრანსცენდენტური რიცხვები არც ისე იშვიათია. უფრო მეტიც, თითქმის ყველა ნამდვილი და კომპლექსური რიცხვი ტრანსცენდენტურია, რახან ალგებრული რიცხვების სიმრავლე თვლადია, ნამდვილი და კომპლექსური რიცხვების სიმრავლე კი — არათვლადი. ყველა ნამდვილი ტრანსცენდენტური რიცხვი ირაციონალურია, რადგან ყველა რაციონალური რიცხვი ალგებრულია. თუმცა ყველა ირაციონალური რიცხვი არაა ტრანსცენდენტური.

ისტორია
ლეონარდ ეილერი პირველი იყო, ვინც ტრანსცენდენტური რიცხვების თანამედროვე განმარტება მოგვცა.. სახელწოდება „ტრანსცენდენტური“ გოტფრიდ ლაიბნიცს ეკუთვნის, რომელმაც თავის 1682 წლის ნაშრომში დაამტკიცა, რომ არაა -ის ალგებრული ფუნქცია.

ჯოზეფ ლიუვილმა პირველმა დაამტკიცა ტრანსცენდენეტური რიცხვების არსებობა 1844 წელს , 1851 წელს კი ასეთი რიცხვის პირველი ათობით ჩანაწერი მოგვცა: ეს იყო ლიუვილის მუდმივა:

\_{=1}^\ 10^{-!} = 0.110001000000000000000001000\,

რომლის მე- ციფრი (ათწილადის მძიმის შემდეგ) 1-ის ტოლია, თუ ზუსტად უდრის ნატურალური -ს ფაქტორიალს (ანუ, თუ =1, 2, 6, 24, 120, 720, …), და 0-ის ტოლი, თუ არ უდრის. ლიუვილმა აჩვენა, რომ ეს მუდმივა დღესდღეობით წოდებულ ლიუვილის რიცხვს წარმოადგენს, რაც ნიშნავს, რომ მისი რაციონალური რიცხვებით მიახლოება ძალიან ზუსტია; გაცილებით ზუსტი, ვიდრე ნებისმიერი ალგებრული რიცხვისა. ლიუვილმა აჩვენა, რომ ყველა ლიუვილის რიცხვი ტრანსცენდენტურია.

იოჰან ჰაინრიხ ლამბერტმა ივარაუდა, რომ მუდმივები და ტრანსცენდენტური რიცხვებია თავის 1761 წლის ნაშრომში, რომელშიც -ის ირაციონალურობას ამტკიცებდა. პირველი რიცხვი, რომლის ტრანსცედენტურობა დაამტკიცეს და უშუალოდ ამ მიზნისთვის არ გამოუგონიათ, იყო. მისი ტრანსცედენტურობა შარლ ერმიტმა დაადგინა. 1874 წელს გეორგ კანტორმა დაამტკიცა, რომ რიცხვთა უმეტესობა ტრანსცენდენტურია ზემოთ ნახსენები თვლადობის არგუმენტის დასაბუთებით.

1882 წელს ფერდინანდ ფონ ლინდემანმა -ის ტრანსცენდენტურობის დამტკიცება გამოაქვეყნა. მან ჯერ აჩვენა, რომ -ს ნებისმიერი არანულოვანი ალგებრული ხარისხი ტრანსცენდენტურია, და რახან ' = −1 (იხ. ეილერის იგივეობა) ალგებრულია, ე.ი. და, მაშასადამე, ტრანსცენდენტურია. ეს მიდგომა კარლ ვაიერშტრასმა ლინდემან–ვაიერშტრასის თეორემაში განაზოგადა. -ის ტრანსცენდენტურობის დამტკიცებამ რამდენიმე უძველესი გეომეტრიული ამოცანა გადაჭრა, მათ შორის ფარგლისა და სახაზავის მეშვეობით წრეწირის კვადრატურის პრობლემა.

1900 წელს დავიდ ჰილბერტმა ტრანსცენდენტურ რიცხვებთან დაკავშირებული ცნობილი ამოცანა შემოგვთავაზა, რომელიც ამავდროულად ჰილბერტის მეშვიდე პრობლემა იყო: თუ ალგებრული რიცხვია ისეთი, რომ ≠0 და ≠1, კი — ირაციონალური ალგებრული რიცხვი, მაშინ ' აუცილებლად ტრანსცენდენტურია? ამ კითხვას დადებით პასუხი 1934 წელს გელფონდ–შნაიდერის თეორემამ გასცა.

თვისებები
ტრანსცენდენტური რიცხვების სიმრავლე უსასრულო და არათვლადია. ამის დამტკიცება მარტივია: რახან მთელკოეფიციენტებიანი მრავალწევრების რაოდენობა თვლადია, და რახან თითოეულ მრავალწევრს ამონახსნთა სასრული რაოდენობა აქვს, ალგებრულ რიცხვთა სიმრავლეც თვლადი უნდა იყოს. მაგრამ გეორგ კანტორმა დაამტკიცა, რომ ნამდვილი რიცხვების (და, შესაბამისად, კომპლექსური რიცხვების) სიმრავლე არათვლადია; მაშასადამე, ტრანსცენდენტური რიცხვების სიმრავლეც არათვლადი უნდა იყოს.

არც ერთი რაციონალური რიცხვი არ არის ტრანსცენდენტური და ყველა ნამდვილი ტრანსცენდენტური რიცხვი ირაციონალურია. თუმცა ზოგი ირაციონალური რიცხვი არაა ტრანსცენდენტური. მაგალითად, 2-ის კვადრატული ფესვი ირაციონალურია, თუმცა არაა ტრანსცენდენტური (რადგან 2 − 2 = 0 მრავალწევრის ამონახსნია).

ნებისმიერი არამუდმივი ერთცვლადიანი ალგებრული ფუნქცია ტრანსცენდენტური არგუმენტისთვის ტრანსცედენტურ მნიშვნელობას იღებს. მაგალითად, რახან ტრანსცენდენტურია, რიცხვები 5, ( − 3)/√2, (√ − √3)8 და (5 + 7)1/7 ასევე ტრანსცენდენტური უნდა იყოს.

თუმცა, მრავალცვლადიანმა ალგებრულმა ფუნქციამ ტრანსცენდენტური არგუმენტებისთვის შეიძლება ალგებრული რიცხვი მოგვცეს, თუ ეს რიცხვები ალგებრულად დამოუკიდებელი არაა. მაგალითად, და 1 − ორივე ტრანსცენდენტურია, მაგრამ + (1 − ) = 1, ცხადია, ალგებრულია. უცნობია, ტრანსცენდენტურია თუ არა + ან , თუმცა ვიცით, რომ მათგან ერთ-ერთი მაინცაა ტრანსცენდენტური. ზოგადად, ორი ტრანსცენდენტური რიცხვისთვის და , რიცხვებიდან + და ერთ-ერთი მაინც უნდა იყოს ტრანსცენდენტური. ამის დასანახად, განვიხილოთ მრავალწევრი ( − ) ( − ) = 2 − ( + ) + . თუ ( + ) და ორივე ალგებრულია, მაშინ ამ მრავალწევრის ყველა კოეფიციენტი ალგებრულია. რახან ალგებრული რიცხვები ალგებრულად ჩაკეტილ ველს ქმნიან, გამოდის, რომ მრავალწევრის ფესვები და ალგებრული რიცხვებია. ეს ეწინააღმდეგება დაშვებას, ანუ კოეფიციენტებიდან ერთ-ერთი მაინც უნდა იყოს ტრანსცენდენტური.

ლიუვილის ყველა რიცხვი ტრანსცენდენტურია; თუმცა, ყველა ტრანსცენდენტური რიცხვი არაა ლიუვილის რიცხვი. -ს უსასრულო წილადის ჩანაწერიდან ჩანს, რომ ის არ არის ლიუვილის რიცხვი. კურტ მალერმა 1953 წელს აჩვენა, რომ არც -ია ლიუვილის რიცხვი.

ტრანსცენდენტური რიცხვები და გადაუჭრელი ამოცანები
ტრანსცენდენტური რიცხვებია:
' თუ ალგებრულია და არ უდრის ნულს (ლინდემან ვაიერშტრასის თეორემის თანახმად), და, ცხადია, თავად ;
 (ლინდემან ვაიერშტრასის თეორემის თანახმად);
', გელფონდის მუდმივა, ასევე -/2=' (გელფონდ–შნაიდერის თეორემის თანახმად);
, სადაც ალგებრული რიცხვია ისეთი, რომ ≠0 და ≠1, კი — ირაციონალური ალგებრული რიცხვი (გელფონდ–შნაიდერის თეორემის თანახმად), კერძოდ:
2^\{2}, გელფონდ-შნაიდერის მუდმივა (ჰილბერტის რიცხვი);
' - წარმოსახვითი ერთეული საკუთარი თავის ხარისხად .
ტრიგონომეტრიული ფუნქციების: სინუსის, კოსინუსის, ტანგენსის, სეკანსის, კოსეკანსის და კოტანგენსის მნიშვნელობები ნებისმიერი არანულოვანი არგუმენტისთვის (ლინდემან-ვაიერშტრასის თეორემის თანახმად);
, თუ ალგებრულია და არ უდრის 0-ს ან 1-ს (ლინდემან-ვაიერშტრასის თეორემის თანახმად);
(1/3), (1/4), და (1/6);
\_{=0}^\ 10^{-\\ \^{} \\}; სადაც \ > 1 და \\\ \ \ მთელი ნაწილის ფუნქციაა.

რიცხვები, რომელთა სტატუსი უცნობია:
-ისა და -ს ჯამები, ნამრავლები, ხარისხები და სხვ. ('-ის გარდა): +, − , ·, /, ', ', ';
ეილერ–მასკერონის მუდმივა (უცნობია, ირაციონალურია თუ არა);
კატალანის მუდმივა (უცნობია, ირაციონალურია თუ არა);
აპერის მუდმივა, (3) და (2 + 1) ნებისმიერი მთელი -ისთვის (იხ. რიმანის ზეტა ფუნქცია);
ფეიგენბაუმის მუდმივები \ და \.