Grandis seriyasining tarixi - History of Grandis series

Geometriya va cheksiz nollar

Grandi

Gvido Grandi Ma'lumotlarga ko'ra (1671–1742) 1703 yilda seriyalar haqida soddalashtirilgan ma'lumotlar keltirgan. U qavslarni ichkariga qo'shib qo'yganini payqagan. 1 − 1 + 1 − 1 + · · · turli xil natijalarga erishdi: yoki

yoki

Grandining ushbu hodisani izohlashi diniy ranglari bilan mashhur bo'ldi:

Qavslarni 1 - 1 + 1 - 1 + · · · ifodasiga har xil yo'llar bilan qo'yish orqali, agar xohlasam, 0 yoki 1 ni olishim mumkin. Ammo keyin yaratilish g'oyasi sobiq nihilo juda ishonarli.[1]

Aslida, bu seriya Grandi uchun bo'sh mavzu emas edi va u buni 0 yoki 1 ga tenglashtirdi deb o'ylamadi. Aksincha, ko'pgina matematiklar kabi, u ketma-ketlikning haqiqiy qiymati 12 turli sabablarga ko'ra.

(1, 12) Agnesi jodugida

Grandi ning matematik muomalasi 1 − 1 + 1 − 1 + · · · uning 1703-yilgi kitobida uchraydi Quadratura circula va hyperbolae per infinitas hyperbolas geometrice displayita. Grandi asarini keng talqin qilib, u olingan 1 − 1 + 1 − 1 + · · · = 12 uning tadqiqotlari bilan bog'liq bo'lgan geometrik fikrlash orqali Agnesining jodugari. O'n sakkizinchi asr matematiklari uning dalillarini darhol tahliliy ma'noda tarjima qildilar va umumlashtirdilar: diametri hosil qiluvchi aylana uchun a, jodugarning tenglamasi y = a3/(a2 + x2) qator kengayishiga ega

va sozlash a = x = 1, bittasida 1 - 1 + 1 - 1 + · · · = bo'ladi 12.[2]
va almashtirilgan x Olish uchun = 1 1 − 1 + 1 − 1 + · · · = 12. Grandi ", shuningdek, bu yig'indisi 0 va bo'lganligini ta'kidladi 12, u dunyoni yo'qdan yaratilishi mumkinligini isbotladi. "[3]

Grandi bu yangi tushuntirishni taklif qildi 1 − 1 + 1 − 1 + · · · = 12 1710 yilda ikkalasi ham ikkinchi nashrida Quadratura sirkulasi[4] va yangi asarda, De Infinitis infinitorum, va cheksiz parvorum ordinibus disquisitio geometrica.[5] Ikki aka-uka otasidan bebaho marvaridni meros qilib olishdi, ularning irodasi ularni sotishni taqiqlaydi, shuning uchun ular bir-birining muzeylarida o'zgarib turadigan yillarda o'zgarib turadi. Agar bu kelishuv birodarning avlodlari o'rtasida abadiy davom etadigan bo'lsa, unda ikki oila har birida marvaridning yarmi egalik qiladi, garchi u qo'llarini cheksiz o'zgartirsa ham. Keyinchalik bu dalil Leybnits tomonidan tanqid qilindi.[6]

Marvarid haqidagi masal - bu Grandi ikkinchi nashrga qo'shgan xulosani muhokama qilishga qo'shilgan ikkita qo'shimchaning birinchisi. Ikkinchisi ketma-ketlik va Xudo tomonidan koinotning yaratilishi o'rtasidagi aloqani takrorlaydi:

Sed so'rovlari: aggregatum ex infinitis differentiis infinitarum ipsi DV æqualium, sive continè, sive alternè sumptarum, est demum summa ex infinitis nullitatibus, seu 0, quomodo ergo quantitatem notabilem aggreget? Repono-da, Infiniti vim agnoscendam-ni o'z ichiga oladi, chunki odatdagi komutet, sicuti kattalashtirish dividendo, nullam degenerare cogit-da: infiniti dei dei Creatoris potentiam omnia ex nihlo facti nixlo facti, omni absurdum esse, quantitatem aliquam, ut ita dicam, infinitam vel multiplicationem, vel addem ipsius nihili, aut quodvis kvantum infinita Divisione, aut subductione in nihilum redigit.[7]

Marchetti

Grandi nashrining ikkinchi nashridan keyin Kvadratura, uning vatandoshi Alessandro Marchetti uning birinchi tanqidchilaridan biriga aylandi. Tarixchilardan biri Marchetti boshqa sabablarga ko'ra ko'proq rashk sabab bo'lgan deb ayblamoqda.[8] Marchetti cheksiz ko'p nol sonli miqdorni bema'ni miqdorga qo'shishi mumkin degan da'voni topdi va u Grandi muolajasidan ilohiy mulohazalardan kelib chiqadigan xavfni aniqladi. Ikkala matematik bir-birlariga ochiq xatlar qatorida hujum qila boshladilar; ularning bahslari faqat 1714 yilda Marchetti vafoti bilan yakunlandi.

Leybnits

Ning yordami va rag'batlantirishi bilan Antonio Magliabechi, Grandi 1703 nusxasini yubordi Kvadratura Leybnitsga ustozning ishiga iltifot va hayratni ifoda etgan maktub bilan birga. Leybnits ushbu birinchi nashrni 1705 yilda olgan va o'qigan va u uni asl nusxada va unchalik rivojlanmagan "urinish" deb atagan.[9] Grandining 1 - 1 + 1 - 1 + · · · bilan muomalasi Leybnitsning e'tiborini 1711 yilgacha, umrining oxiriga kelib, e'tiborini tortmadi. Xristian Volf unga Marchetti nomidan xatni yuborib, muammoni tasvirlab berdi va Leybnitsning fikrini so'radi.[10]

Fon

1674 yildayoq, unchalik taniqli bo'lmagan yozuvda De Triangulo Harmonico ustida garmonik uchburchak, Leybnits eslatib o'tdi 1 − 1 + 1 − 1 + · · · juda qisqa bir misolda:

[11]

Ehtimol, u ushbu seriyaga takroriy almashtirish bilan kelgan:


Va hokazo.

Seriya 1 − 1 + 1 − 1 + · · · bilan munozarada ham bilvosita paydo bo'ladi Tsxirnhaus 1676 yilda.[12]

Leybnits allaqachon o'zgaruvchan o'zgaruvchan seriyani ko'rib chiqqan edi 1 − 2 + 4 − 8 + 16 − · · · 1673 yildayoq. U holda u chapga ham, o'ngga ham ayirsak, ijobiy yoki manfiy cheksizlikni keltirib chiqarishi mumkin, shuning uchun ikkala javob ham noto'g'riligi va hammasi cheklangan bo'lishi kerak, degan fikrni ilgari surdi. Oradan ikki yil o'tgach, Leybnits matematika tarixidagi birinchi konvergentsiya testini tuzdi o'zgaruvchan seriyali sinov, unda u konvergentsiyaning zamonaviy ta'rifini bilvosita qo'llagan.[13]

Yechimlar

Leybnits-Volf xati nashrining boshlanishi

1710-yillarda Leybnits Grandi seriyasini boshqa bir qancha matematiklar bilan yozishmalarida tasvirlab bergan.[14] Eng uzoq muddatli ta'sirga ega bo'lgan maktub u Volfga birinchi javobi bo'lib, u uni e'lon qildi Acta Eruditorum. Leybnits ushbu maktubda muammoga bir necha tomondan hujum qildi.

Umuman olganda, Leybnits hisoblash algoritmlari oxir-oqibat geometrik talqinlarga asoslanishi kerak bo'lgan "ko'r-ko'rona fikr yuritish" shakli deb hisoblagan. Shuning uchun, u Grandi bilan rozi bo'ldi 1 − 1 + 1 − 1 + · · · = 12, geometrik namoyish mavjud bo'lganligi sababli munosabatlar asosli deb da'vo qilmoqda.[15]

Boshqa tomondan, Leybnits Grandi-ning birgalikda marvarid namunasini keskin tanqid qildi va bu seriyani ta'kidladi 1 − 1 + 1 − 1 + · · · voqeaga aloqasi yo'q. Uning ta'kidlashicha, har qanday cheklangan, hatto bir necha yillar davomida birodarlar egalik huquqiga ega, shunga qaramay, qatorning tegishli shartlari yig'indisi nolga teng.[6]

Leybnitsning fikricha, argument 1/(1 + x) haqiqiy edi; u buni o'zining misoli sifatida qabul qildi uzluksizlik qonuni. Aloqadan beri 1 − x + x2x3 + · · · = 1/(1 + x) hamma uchun amal qiladi x 1 dan kam bo'lsa, uni ushlab turish kerak x 1 ga teng. Leybnits baribir ketma-ket yig'indisini topa olish kerak deb o'ylardi 1 − 1 + 1 − 1 + · · · to'g'ridan-to'g'ri, iboraga qaytib murojaat qilishni talab qilmasdan 1/(1 + x) u kelgan. Ushbu yondashuv zamonaviy me'yorlar bo'yicha aniq bo'lib tuyulishi mumkin, ammo bu turlicha ketma-ketliklarni yig'ish tarixi nuqtai nazaridan muhim qadamdir.[16] 18-asrda ketma-ketlikni o'rganishda kuchlar qatori ustunlik qilgan va raqamli qatorni quyidagicha ifodalash bilan yig'ishgan f(1) ba'zi funktsiyalarning quvvat qatorlari eng tabiiy strategiya deb hisoblangan.[17]

Leybnits seriyadan juft sonli atamani olib, oxirgi atama -1, yig'indisi 0 ga teng ekanligini kuzatish bilan boshlanadi.

1 − 1 = 1 − 1 + 1 − 1 = 1 − 1 + 1 − 1 + 1 − 1 = 0.

Toq sonli atamalarni hisobga olgan holda, oxirgi muddat +1 va yig'indisi 1:

1 = 1 − 1 + 1 = 1 − 1 + 1 − 1 + 1 = 1.

Endi cheksiz qatorlar 1 - 1 + 1 - 1 + · · · juft yoki toq sonli atamalarga ega emas, shuning uchun u 0 va 1 ni ham hosil qilmaydi; ketma-ketlikni abadiylikka olib chiqib, bu ikkita variant o'rtasida bir narsaga aylanadi. Ketma-ket bir qiymatni ikkinchisidan boshqasiga qaraganda ko'proq qabul qilishiga sabab yo'q, shuning uchun "ehtimollik" va "adolat qonuni" nazariyasi, 0 va 1 arifmetik o'rtacha qiymatlarini olish kerakligini belgilaydi, ya'ni (0 + 1) / 2 = 1/2.[18]

Eli Maor ushbu echim haqida shunday deydi: "Bunday beparvo va beparvo mulohaza haqiqatan ham bugun biz uchun aql bovar qilmaydigan bo'lib tuyulmoqda ..."[19] Kline Leybnitsni o'zini ko'proq anglaydigan shaxs sifatida tasvirlaydi: "Leybnits o'zining argumenti matematikadan ko'ra metafizik ekanligini tan oldi, ammo matematikada metafizik haqiqat umuman tan olinganidan ko'proq ekanligini aytdi".[20]

Charlz Mur, Leybnits o'z metafizik strategiyasida xuddi shunday natija bermasa, bunday ishonchga ega bo'lar edi (ya'ni 12) boshqa yondashuvlar kabi.[21] Matematik jihatdan bu tasodif emas edi: Leybnitsning davolashi 1880 yilda nihoyat o'rtacha quvvat texnikasi va quvvat seriyasining mosligi isbotlanganda qisman oqlanadi.[22]

Reaksiyalar

Leybnitsga birinchi bo'lib Grandi seriyali masalasini ko'targanida, Volf Marchetti bilan birga skeptisizmga moyil edi. Leybnitsning 1712 yil o'rtalarida bergan javobini o'qib,[23] Volf bu echimdan juda mamnun bo'lib, o'rtacha arifmetik usulni turli xil qatorlarga qadar kengaytirishga intildi. 1 − 2 + 4 − 8 + 16 − · · ·. Leybnitsning sezgi sezgisi unga haligacha qiyinlashishiga to'sqinlik qildi va u Volfning g'oyasi qiziqarli, ammo bir necha sabablarga ko'ra bekor bo'lganligini yozdi. Ulardan biri uchun yig'iladigan qator shartlari nolga kamayishi kerak; hatto 1 − 1 + 1 − 1 + · · · bunday ketma-ketlikning chegarasi sifatida ifodalanishi mumkin edi.[24]

Leybnits Grandi seriyasini to ga harflarda umumiy yaqinlashish va divergentsiya muammosi bilan birga tasvirlab berdi Nikolay I Bernulli 1712 yilda va 1713 yil boshlarida. J. Dutka ushbu yozishmalar Nikolay I Bernullining ehtimollarga bo'lgan qiziqishi bilan birga uni uni shakllantirishga undagan deb taxmin qilmoqda. Sankt-Peterburg paradoksi, 1713 yil sentyabrda, turli xil seriyalar bilan bog'liq yana bir holat.[25]

Ga binoan Per-Simon Laplas uning ichida Essai Philosophique sur les Probabilités, Grandi seriyasi Leybnitsning "Ikkilik arifmetikasida Yaratilish tasvirini" ko'rishi bilan bog'liq edi va shu tariqa Leybnits maktub yozdi Jizvit missioner Klaudio Filippo Grimaldi, sud matematikasi Xitoy, degan umidda Klaudio Filippo Grimaldi Ilm-fanga bo'lgan qiziqish va matematik "yaratilish timsollari" millatni konvertatsiya qilish uchun birlashishi mumkin Nasroniylik. Laplas: "Men ushbu latifani faqat go'daklik davridagi xurofot eng buyuk odamlarni qanchalik adashtirishi mumkinligini ko'rsatish uchun yozib qo'yaman", deb ta'kidlaydi.[26]

Tafovut

Jeykob Bernulli

Boshlanishi Lavozimlar 3-qism, 1744 yilda qayta nashr etilgan

Jeykob Bernulli (1654-1705) o'zining uchinchi qismida 1696 yilda shunga o'xshash seriyalar bilan shug'ullangan Arifmeticae de seriebus infinitis pozitsiyalari.[27] Qo'llash Nikolas Merkator usuli polinom uzoq bo'linish nisbatga k/(m + n), u har doim ham qoldiqqa ega ekanligini payqadi.[28] Agar m > n u holda bu qoldiq kamayadi va "nihoyat berilgan miqdordan kam bo'ladi", ikkinchisi esa bor

Agar m = n, keyin bu tenglama bo'ladi

Bernulli bu tenglamani "nafis bo'lmagan paradoks" deb atadi.[27][29]

Varignon

Varignon Précautions.png

Per Varignon (1654–1722) o'z ma'ruzasida Grandi seriyasini ko'rib chiqdi Infinies résultantes seriyasidagi prendre dans l'usage des Suites ehtiyot choralari…. Uning ushbu maqoladagi birinchi maqsadi Grandi seriyasining turlicha bo'lishiga ishora qilish va Jeykob Bernullining 1696 yildagi muolajasini kengaytirish edi.

(Varignon matematikasi ...)

Varignonning qog'ozining so'nggi versiyasi 1715 yil 16-fevralga to'g'ri keladi va u bir jildda paydo bo'ldi Xotira ning Frantsiya Fanlar akademiyasi 1718 yilgacha nashr etilmagan. Grandi seriyasiga nisbatan nisbatan kech munosabatda bo'lganligi uchun, Varignonning hisobotida Leybnitsning avvalgi faoliyati haqida ham so'z yuritilmaganligi ajablanarli.[30] Ammo ko'plari Ehtiyot choralari Varignon uzoq bo'lganida, 1712 yil oktyabrda yozilgan Parij. The Abbé Poignard 1704 kitob sehrli kvadratchalar, Traité des Quarrés sublimes, Akademiya atrofida mashhur mavzuga aylandi va ikkinchi qayta ko'rib chiqilgan va kengaytirilgan nashri 336 sahifadan iborat bo'ldi. O'qish uchun vaqt ajratish uchun Traité, Varignon qariyb ikki oy davomida qishloqqa qochishi kerak edi, u erda Grandi seriyasi mavzusida nisbatan izolyatsiyada yozgan. Parijga qaytib, Akademiyada ro'yxatdan o'tgach, Varignon tez orada buyuk Leybnits Grandi foydasiga hukmronlik qilganini aniqladi. Varignon o'z manbalaridan ajralib, hali ham qog'ozini yuqoriga qarab, Yoqub Bernulliga havolalar bilan qayta ko'rib chiqishi kerak edi. Leybnitsning ishini hisobga olishning o'rniga, Varignon o'z xabaridagi postkriptda bu keltirishni Parijda qilgan yagona reviziya ekanligini va agar mavzu bo'yicha boshqa tadqiqotlar paydo bo'ldi, uning fikrlari kelajakdagi hisobotni kutishi kerak edi.[31]

(Varignon va Leybnits o'rtasidagi maktublar ...)

1751 yilda Entsiklopediya, Jan le Rond d'Alembert "Grandi" ning bo'linishga asoslangan mulohazalarini 1715 yilda Varignon rad etgan degan fikrni takrorlaydi. (Aslida d'Alembert bu muammoni "Gvido Ubaldus ", xato bugun ham vaqti-vaqti bilan targ'ib qilinmoqda.)[32]

Rikkati va Bouginvil

1715 yilgacha bo'lgan xatda Jakopo Rikkati, Leybnits Grandi seriyasidagi savolni eslatib o'tdi va o'z echimini reklama qildi Acta Eruditorum.[33] Keyinchalik, Rikkati Grandining 1754 yildagi argumentini tanqid qiladi Saggio intorno al sistema dell'universo, bu ziddiyatlarni keltirib chiqaradi, deb aytdi. Uning so'zlariga ko'ra, yozish ham mumkin nn + nn + · · · = n/(1 + 1), ammo bu seriya Grandi seriyasidagi kabi "nolga teng". Ushbu nollarda hech qanday evanescent xarakter yo'q n, Rikkati ta'kidlaganidek, tenglik 1 − 1 = nn tomonidan kafolatlangan 1 + n = n + 1. Uning xulosasiga ko'ra, asosiy xato ikki qatorli ketma-ketlikni boshlashdan iborat:

Darhaqiqat, agar biz ushbu seriyani to'xtatsak, avvalgi atamalar bilan taqqoslaganda quyidagi atamalarni e'tiborsiz qoldirishimiz mumkin emas; bu xususiyat faqat konvergent seriyalar uchun tasdiqlangan. "[34]

Boshqa 1754 nashrida ham Grandi seriyasi 0 ga qulashi asosida tanqid qilindi. Louis Antuan de Bougainville 1754 yildagi taniqli o'quv qo'llanmasidagi qatorlarni qisqacha ko'rib chiqadi Traité du calcul intégral. U ketma-ketlik "to'g'ri" ekanligini tushuntiradi, agar uning yig'indisi kengaytirilgan ifodaga teng bo'lsa; aks holda bu "yolg'on". Shunday qilib Grandi seriyasi yolg'on, chunki 1/(1 + 1) = 1/2 va hali (1 − 1) + (1 − 1) + · · · = 0.[35]

Eyler

Leonhard Eyler muomala qiladi 1 − 1 + 1 − 1 + · · · uning boshqa divergent seriyalari bilan bir qatorda De seriebus divergentibus, 1754 yilda Akademiyada o'qilgan va 1760 yilda nashr etilgan 1746 qog'oz. U Leybnits tomonidan birinchi bo'lib ko'rib chiqilayotgan seriyani aniqladi va u Leybnitsning 1713 yildagi argumentini ketma-ketlik asosida ko'rib chiqdi 1 − a + a2a3 + a4a5 + · · ·, buni "etarlicha asosli mulohaza" deb atadi va u juft / g'alati o'rtacha argumentni ham eslatib o'tdi. Eyler yozishicha, foydalanishga odatiy e'tiroz 1/(1 + a) uning teng emasligi 1 − a + a2a3 + a4a5 + · · · agar bo'lmasa a 1 dan kam; aks holda hamma aytishi mumkin

bu erda oxirgi qolgan muddat yo'q bo'lib ketmaydi va uni e'tiborsiz qoldirib bo'lmaydi n cheksizlikka olib boriladi. Hali ham uchinchi shaxsda yozgan Eyler e'tirozga mumkin bo'lgan rad javobini eslatib o'tdi: asosan cheksiz qatorning oxirgi muddati bo'lmaganligi sababli, qoldiq uchun joy yo'q va uni e'tiborsiz qoldirish kerak.[36] Shunga o'xshash yomon divergent seriyalarni ko'rib chiqqandan so'ng 1 + 2 + 4 + 8 + · · ·, u erda raqiblarini yanada qattiqroq qo'llab-quvvatlashga hukm qilganida, Eyler bu masalani aniqlab olishga intiladi:

Shunga qaramay, ushbu o'ziga xos nizo qanchalik jiddiy bo'lsa-da, har qanday tomon boshqa tomon tomonidan biron bir xato uchun aybdor deb topilmaydi, chunki bunday ketma-ketliklarni tahlil qilishda foydalanish sodir bo'lganda va bu ikkala tomon ham xatoga yo'l qo'ymaslik uchun kuchli dalil bo'lishi kerak, ammo bu barcha kelishmovchiliklar faqat og'zaki. Agar hisob-kitob bo'yicha men ushbu seriyaga kelgan bo'lsam 1 - 1 + 1 - 1 + 1 - 1 va boshqalar. va agar men uning o'rnida 1/2 o'rnini bossam, hech kim haqli ravishda menga xatolikni keltirib chiqarmaydi, ammo hamma bu qatorda boshqa raqam qo'yganimda edi. Hech shubha yo'qki, bu aslida qator bo'lib qolishi mumkin 1 - 1 + 1 - 1 + 1 - 1 + va boshqalar. va 1/2 kasr ekvivalent miqdorlardir va har doim birini ikkinchisini xatosiz almashtirishga ruxsat beriladi. Shunday qilib, 1/2 qismni to'g'ri yig'indisi deb ataymizmi yoki yo'qmi, degan savolning barchasi shu qadar kamayishi mumkin 1 - 1 + 1 - 1 + va boshqalar.; Va buni inkor etishni talab qiladigan va shu bilan birga ekvivalentlikni inkor etishga jur'at etmaydiganlar so'zlar uchun kurashda qoqilib ketishganidan qo'rqishimiz kerak, ammo agar biz diqqat bilan qatnashsak, bu janjallarning barchasi osonlikcha tugashi mumkin. quyidagilarga ...[37]

Eyler ham ishlatgan cheklangan farqlar hujum qilmoq 1 − 1 + 1 − 1 + · · ·. Zamonaviy terminologiyada u Eyler konvertatsiyasi ketma-ketligi va uning teng ekanligini aniqladi 12.[38] 1864 yillarning o'zidayoq De Morgan «bu o'zgarish har doim foydasiga eng kuchli taxminlardan biri bo'lib kelgan 1 − 1 + 1 − … bo'lish 12."[39]

Suyultirish va yangi qadriyatlar

Hujjatlarining ishonchli ohangiga qaramay, Eyler Nikolaus I Bernulli bilan yozishmalarida turlicha seriyalarga shubha bildirdi. Eyler uning ta'rifi hech qachon muvaffaqiyatsiz tugamagan deb da'vo qildi, ammo Bernulli aniq bir zaif tomonga ishora qildi: unda berilgan cheksiz qatorni hosil qiladigan "tugallangan" ifodani qanday aniqlash kerakligi ko'rsatilmagan. Bu nafaqat amaliy qiyinchilik, balki ketma-ketlik har xil qiymatga ega ikkita iborani kengaytirish orqali hosil qilingan bo'lsa, nazariy jihatdan o'lik bo'ladi. Eylerni davolash 1 − 1 + 1 − 1 + · · · uning qat'iy ishonchiga asoslanadi 12 qatorning mumkin bo'lgan yagona qiymati; agar boshqasi bo'lsa nima bo'ladi?

1745 yilda yozilgan xatda Xristian Goldbax, Eyler bunday qarshi misol haqida bilmasligini va har qanday holatda ham Bernulli bunday ma'lumotni taqdim etmaganligini da'vo qildi. Bir necha o'n yillar o'tgach, qachon Jan-Charlz Kallet nihoyat qarshi namunani tasdiqladi, unga qaratilgan edi 1 − 1 + 1 − 1 + · · ·. Yangi g'oyaning asosi boshlanadi Daniel Bernulli 1771 yilda.[40]

Daniel Bernulli

  • Bernulli, Daniel (1771). "Inercong veram earumque interpretation at us usu" deb nomlangan serierum kvunduam. Novi Commentarii Academiae Scientiarum Imperialis Petropolitanae. 16: 71–90.

Bu ehtimolli dalilni qabul qilgan Daniel Bernulli 1 − 1 + 1 − 1 + · · · = 12, to'g'ri qatorlarga 0 qo'shib, u 0 dan 1 gacha bo'lgan har qanday qiymatga erishishi mumkinligini payqadi. Xususan, argument

1 + 0 − 1 + 1 + 0 − 1 + 1 + 0 − 1 + · · · = 23.[41]

Kallet va Lagranj

Yuborilgan memorandumda Jozef Lui Lagranj asrning oxirlarida Kallet bunga ishora qildi 1 − 1 + 1 − 1 + · · · seriyadan ham olish mumkin edi

almashtirish x = 1 endi qiymatini taklif qiladi 23, emas 12.Lagrange Callet-ning nashr etilishini tasdiqladi Memoires ning Frantsiya Fanlar akademiyasi, lekin u hech qachon to'g'ridan-to'g'ri nashr etilmagan. Buning o'rniga, Lagrange (bilan birga Charlz Bossut ) Kalletning ishini sarhisob qildi va unga javob berdi Memoires 1799 yil. U Eylerni himoya qilib, Kalletning seriyasini aslida 0 ta shart qoldirgan holda yozishni taklif qildi:

bu kamayadi

1 + 0 − 1 + 1 + 0 − 1 + 1 + 0 − 1 + · · ·

o'rniga.[42]

19-asr

XIX asr taxminiy davr sifatida esga olinadi Koshi va Hobil Turli xil seriallardan foydalanishni taqiqlash asosan muvaffaqiyatli bo'ldi, ammo Grandi seriyasi vaqti-vaqti bilan chiqishlarni davom ettirdi. Ba'zi matematiklar Abelning ko'rsatmalariga ergashishmadi, asosan Frantsiyadan tashqarida va ingliz matematiklari, ayniqsa, qit'adan kelayotgan tahlilni tushunish uchun "uzoq vaqt" talab qildilar.[43]

1803 yilda, Robert Vudxaus taklif qildi 1 − 1 + 1 − 1 + · · · deb nomlangan narsaga sarhisob qildi

ajratish mumkin bo'lgan 12. Ivor Grattan-Ginnes ushbu taklifga sharhlar, "... R. Vudxaus ... o'zi tushunmagan muammolar to'g'risida hayratga soladigan samimiylik bilan yozgan.… Albatta, yangi ramzlarni belgilashning zarari yo'q. 11+1; ammo g'oya yoqimsiz ma'noda "formalistik" va u ketma-ket yaqinlashish muammosiga bog'liq emas. "[44]

Algebraik fikrlash

1830 yilda matematik faqat "M. R. S." deb tan oldi. da yozgan Annales de Gergonne bitta o'zgaruvchining funktsiyalarining sobit nuqtalarini raqamli ravishda topish texnikasi bo'yicha. Agar biror muammoni tenglama shaklida o'zgartirishi mumkin bo'lsa x = A + f (x), qayerda A xohlagan holda tanlanishi mumkin, keyin

yechim bo'lishi kerak va ushbu cheksiz ifodani qisqartirish taxminiy ketma-ketlikni keltirib chiqaradi. Aksincha, seriyani hisobga olgan holda x = aa + aa + · · ·, muallif tenglamani tiklaydi

bu yechim (12)a.

M. R. S. ushbu holatdagi taxminlar quyidagicha ekanligini ta'kidlaydi a, 0, a, 0,…, lekin Leybnitsning "nozik mulohazalari" ga hojat yo'q. Bundan tashqari, taxminlarni o'rtacha hisoblash uchun dalil keng kontekstda muammoli. Formadagi bo'lmagan tenglamalar uchun x = A + f (x), M. R. S. echimlari davom etgan kasrlar, davom etgan radikallar va boshqa cheksiz iboralar. Xususan, ifoda a / (a / (a / · · · ))) tenglamaning echimi bo'lishi kerak x = a/x. Bu erda M. R. S. Leybnitsning mulohazalariga asoslanib, shunday xulosaga kelishga moyilligini yozadi x qisqartmalarning o'rtacha qiymati a, 1, a, 1,…. Bu o'rtacha (1 + a)/2, lekin tenglamaning echimi bu kvadrat ildiz ning a.[45]

Bernard Bolzano tanqid qildi M. R. S. ' qatorning algebraik yechimi. Qadamga nisbatan

Bolzano zaryad qildi,

Qavslar qatori dastlab ko'rsatilgan raqamlarning bir xil to'plamiga ega emasligi aniq x, birinchi muddat sifatida a yo'qolgan.

Ushbu izoh Bolzanoning intuitiv jozibali, ammo cheksizlikka nisbatan chuqur muammoli qarashlarini misol qilib keltiradi. Uning himoyasida, Kantor o'zi Bolzano ning tushunchasi bo'lgan davrda ishlaganligini ta'kidladi kardinallik a o'rnatilgan yo'q edi.[46]

De Morgan va kompaniya

Kech 1844 yilda, Augustus De Morgan agar bitta misol qaerda bo'lsa 1 − 1 + 1 − 1 + · · · tenglashmadi 12 berilishi mumkin edi, u butun trigonometrik qator nazariyasini rad etishga tayyor bo'lar edi.[47]

Men arifmetikada bo'lmagan hamma narsani rad qiladiganlar bilan emas, balki faqat cheksiz xilma-xil ketma-ketlikni ishlatishdan voz kechgan va shu bilan birga cheklangan divergent qatorlarni o'zlariga ishonch bilan ishlatadiganlar bilan bahslashmayman. Uyda ham, chet elda ham bunday amaliyotga o'xshaydi. Ular mukammal yarashganga o'xshaydi 1 − 1 + 1 − 1 + · · ·, lekin tan olmaydi 1 + 2 + 4 + · · · = −1.[48]

Mumkin bo'lgan davriy qatorlar va integrallarning butun matoni ... agar iloji bo'lsa, darhol tushib ketar edi 1 − 1 + 1 − 1 + · · · ning cheklovchi shakli sifatida bitta miqdor bo'lishi mumkin A0A1 + A2 − · · ·va boshqasi cheklovchi shakli sifatida A0A1 + A2 − · · ·.[49]

Xuddi shu jildda tomonidan yozilgan hujjatlar mavjud Samuel Ernshou va J R Young bilan qisman muomala qilish 1 − 1 + 1 − 1 + · · ·. G. H. Xardi De Morganning "keskinlik va chalkashliklarning ajoyib aralashmasi" dan farqli o'laroq, ikkalasini ham "bema'nilikdan biroz ko'proq" deb rad etadi;[48] Qanday bo'lmasin, Earnshaw quyidagi so'zlar bilan De Morganning e'tiborini tortdi:

… Nollarni kengaytirib, bu mavzu bo'yicha sirli mantiya qo'yish juda g'alati emas. 11+1+1. Ammo bunday qurilma, ko'zni qondirish uchun qancha xizmat qilishi mumkin bo'lsa ham, boshni qondira olmaydi ...[50]

De Morgan 1864 yilda xuddi shu jurnalda ishdan bo'shatilgan:

Ko'zni qondirish uchun shifrlarni kiritishni ma'qullay olmayman, lekin ular menga doim o'zlarini tanishtirdilar. … Odatiy ishdan bo'shatilgan eskirganlarni rad etganlar, qilganlardan ayb olishga haqlari yo'q rad qilmang bilan kirish.[51]

Frobenius va zamonaviy matematika

1 - 1 + 1 - 1 + · · · tomonidan qo'zg'atilgan so'nggi ilmiy maqola zamonaviy divergent qator tarixidagi birinchi maqola sifatida aniqlanishi mumkin.[52] Georg Frobenius "Ueber die Leibnitzsche Reihe" nomli maqola chop etdi (Leybnitsning seriyasida1880 yilda. U Leyfnitsning Volfga yozgan eski xatini 1836 yilgi maqolasi bilan birga topib olgan. Jozef Lyudvig Raabe, ular o'z navbatida Leybnits va Daniel Bernulli g'oyalariga asoslanishdi.[53]

Frobeniusning qisqa qog'ozi, deyarli ikki sahifasi, Leybnitsning 1 - 1 + 1 - 1 + · · · ga nisbatan muolajasidan iqtibos bilan boshlanadi. U Leybnits aslida umumlashtirilishini aytgan Hobil teoremasi. Natijada, endi ma'lum Frobenius teoremasi,[54] zamonaviy ma'noda oddiy bayonotga ega: har qanday seriya Cesàro-ni umumlashtirish mumkin ham Hobilning xulosasi shu summaga. Tarixchi Jovanni Ferraro ta'kidlashicha, Frobenius teoremani aslida bunday so'zlar bilan aytmagan, Leybnits esa buni umuman aytmagan. Leybnits turli xil seriyalar assotsiatsiyasini himoya qilar edi 1 − 1 + 1 − 1 + · · · qiymati bilan 12, Frobenius teoremasi konvergent ketma-ketliklar va epsilon-delta shakllantirish funktsiya chegarasi.[55]

Tez orada Frobenius teoremasi keyingi umumlashmalar bilan davom etdi Otto Xolder va Tomas Joannes Stieltjes 1882 yilda. Yana zamonaviy o'quvchiga ularning asarlari turlicha ketma-ketlik yig'indisining yangi ta'riflarini qat'iyan tavsiya qiladi, ammo bu mualliflar hali bu qadamni qo'ymadilar. Ernesto Sesaro birinchi marta 1890 yilda sistematik ta'rifni taklif qildi.[56] O'shandan beri matematiklar divergent qatorlar uchun turli xil yig'indilik usullarini o'rgandilar. Ularning aksariyati, ayniqsa, tarixiy o'xshashliklarga ega bo'lgan sodda bo'lganlar, Grandi seriyasini yig'ishadi 12. Boshqalar, Daniel Bernulli ishidan g'ayratlanib, seriyani yana bir qiymatga qo'shadilar, ba'zilari esa umuman yig'ilmaydi.

Izohlar

  1. ^ Bagni Appunti 4-bet, 54-bet. Asl kotirovka, italyan tilida: "Mettendo in modo diverso le parentesi nell'espressione 1-1 + 1-1 + ... io posso, volendo, ottenere 0 o 1. Ma allora l'idea della creazione. sobiq nihilo è perfettamente plausibile. "Bagni asosiy manbani aniqlamaydi, faqat kotirovka 1703 yil ekanligini va u I, p.185 p. Silov, GE (1978), Analisi matematica, Mir, Moska. 1703 yil ham nashr etilgan yil Quadratura sirkulasi, ammo Panzaning ushbu kitobdagi 1 - 1 + 1 - 1 + · · · davolash usullarini tahlil qilishida bu fikr esga olinmagan.
  2. ^ Giovanni Ferraro (2002 y. 1933) Marko Panzaning doktorlik dissertatsiyasiga asoslanib, Grandi yozuvi batafsil tahlil qilinganligini aytadi.
  3. ^ Kline 1983 y.307
  4. ^ Panza (298-bet) misolni Grandi 1710-ning 30-betiga qo'yadi, Quadratura circula… tahrirlash altera
  5. ^ Reyf pp.65-66
  6. ^ a b Leybnits (Gerxardt) s.385-386, Markushevich s.46
  7. ^ Panza (298-bet) ushbu qismni Grandi 1710-ning 29-betiga qo'ygan, Quadratura circula… tahrirlash altera
  8. ^ Montukla 8-9-betlar
  9. ^ Mazzone va Roero s.246-247, ular keltirganlar: Grandi to Magliabechi, Pisa 17.7.1703 BU Pisa MS 99, f. 219; Magliabechi Grandi shahriga, Florensiya 31.7.1703, BU Pisa MS 93, f. 110; Grandi Leybnitsga, Pisa 28.6.1703, GM 4, p. 209; Leybnits Magliabechiga, Gannover 12.8.1704; Leybnits Magliabechiga, Gannover 2.7.1705, Paoli 1899, p. XC; Leybnits Grandi shahriga, Gannover 11.7.1705, GM 4, s.210-212; Leybnits Germaniyaga, Gannover 21.5.1706, GM 4, p. 297
  10. ^ Xitt p.141; Volf Leybnitsga, 1711 yil 16-aprel, Gerxardtda 1334-135-betlar, LXIII
  11. ^ Leybnits p.369
  12. ^ Leybnits s.817
  13. ^ Leybnits p.205-207; Knobloch s.124-127
  14. ^ Masalan, uning yakuniy echimi 1716 yilgacha bo'lgan maktubda takrorlangan Per Dangikur; qarang Hitt p.143
  15. ^ Ferraro 2000 p.545
  16. ^ Vaydlich ta'kidlaganidek (1-bet)
  17. ^ Ferraro va Panza 32-bet
  18. ^ Leybnits (Gerxardt) s.386-387; Xitt (143-bet) lotin tilini frantsuz tiliga tarjima qiladi.
  19. ^ Maor, s.32-33
  20. ^ Kline 1983 p.307-308
  21. ^ Mur p.2
  22. ^ Smail p.3
  23. ^ Wolff-da chop etilgan maktubga birinchi murojaat Acta Eruditorum dan yozilgan xatda paydo bo'ladi Halle, Saksoniya-Anhalt 1712 yil 12-iyunda; Gerxardt 143-146 betlar.
  24. ^ Murning pp.2-3; Leybnitsning maktubi Gerxardtning 177-yil 13-iyuldagi 147-148-betlarida Gannover.
  25. ^ Dutka p.20
  26. ^ Laplasning 1944, 195-betlarini keltirgan Upham va Styuart, 479, 480-betlar.
  27. ^ a b Knopp p.457
  28. ^ Ferraro 2002 p.181
  29. ^ Kantor (96-bet) "unde paradoxum fluit non elegangans", Ebenda II-ga asoslanib, 751.
  30. ^ O'tkazib yuborishning mumkin bo'lgan ahamiyati haqida Panza-ga qarang.339.
  31. ^ Panza p.339; Varignon pp.203, 225; Gerxardt.187
  32. ^ Xitt pp.147-148
  33. ^ Bagni (4-bet) Mitselining 1943 yilgi ma'lumotiga asoslanib, xatni "ehtimol 1715 yilda yozilgan" deb aniqlaydi Una famiglia di matematici…, p. 579
  34. ^ Bagni p.5
  35. ^ Bougainville vol.1, ch.22, pts.318-320, pp.309-312; Schubring p.29
  36. ^ Eyler 1760 §§ 3-5, 206-207 betlar; Barbeau va Leahdagi ingliz tilidagi tarjimasi. 145-146 betlar
  37. ^ Euler 1760 §10 va §11 boshlanishi, p.211; Barbeo va Liyaning inglizcha tarjimasi (148-bet)
  38. ^ Grattan-Ginnes s.68-69
  39. ^ De Morgan p.10
  40. ^ Hardy p.14; Bromvich p.322
  41. ^ Sandifer p.1
  42. ^ Bromvich pp.319-320, Lehmann p.176, Kline 1972 p.463; bu erda Bromvich Borelnikini keltirishga o'xshaydi Leçons sur les Séries Divergentes, pp.1-10.
  43. ^ Hardy p.18
  44. ^ Grattan-Ginnes p.71
  45. ^ XONIM. s.363-365
  46. ^ Sbaragli p.27; Bolzanoning asosiy manbai berilmagan, ammo u Moreno va Valdegg (1991), "Haqiqiy matematik cheksizlikning kontseptual evolyutsiyasi" kabi ko'rinadi. Matematikadan o'quv ishlari. 22, 211-231. Kantor uchun asosiy manba uning 1932 yildir Gesammelte Abhandlngen.
  47. ^ Kline 1972 y.976
  48. ^ a b Hardy p.19
  49. ^ Hardy p.20
  50. ^ Earnshaw p.261, qisman De Morgan 1864 p.1da keltirilgan
  51. ^ De Morgan 1864 s.1-2; ta'kidlar uning
  52. ^ Masalan, u Smail pp.3-4-da shunday taqdim etilgan.
  53. ^ Raabe s.355; Frobenius s.262
  54. ^ Smail p.4
  55. ^ Ferraro 1999 p.116
  56. ^ Ferraro 1999 p.117, 128 betlar

Adabiyotlar

Birlamchi manbalarga havola qilingan

Quyidagi ko'plab ma'lumotlarning to'liq matnlari Internetda ochiq Google Books; Evler arxivi Dartmut kolleji; DigiZeitschriften, xizmat Deutsche Forschungsgemeinschaft; yoki Gallica, ning xizmati Bibliothèque nationale de France.

Ikkilamchi manbalar keltirildi
Qo'shimcha o'qish