Bernoulli leminiskatak infinituaren ikurra marrazten du formula matematiko baten bidez.[1]
Infinitua ()zenbaki erreal multzoaren goi muga da; amaigabea edo handiagoa den zerbait da. Sinbolo honekin adierazten da: ∞[2]. Kontzeptua matematikaren, filosofiaren eta astronomiaren hainbat adarretan agertzen da, mugarik gabeko edo amaierarik gabeko kopuru bati dagokionez, eta, kopuru hori, finitutasunaren kontzeptuaren aurkakoa da.[3]
Antzinako greziarren garaitik, infinituaren izaera filosofikoak eztabaida ugari izan ditufilosofoen artean. XVII. mendean, infinituaren sinboloaren[2] etakalkulu infinitesimalaren sarrerarekin,matematikariakserie infinituekin lan egiten hasi ziren, eta matematikari batzuek (l'Hôpital etaBernoulli barne)[4] kantitate infinituki txikitzat jotzen zituztenekin, baina infinituak jarraitu zuen prozesu amaigabeekin lotzen. Matematikariek kalkuluaren oinarriarekin borrokan ari zirenez, ez zegoen argi infinitua zenbaki edo magnitude gisa har zitekeen eta, hala izanez gero, nola egin[2]. XIX. mendearen amaieran,Georg Cantorrek infinituaren azterketa matematikoa zabaldu zuenmultzo infinituak eta zenbaki infinituak aztertuz eta hainbat tamainatakoak izan daitezkeela erakutsiz[2][5]. Adibidez, lerro zuzen bat bere puntu guztien multzo gisa ikusten bada, haien kopuru infinitua (hau da, lerroarenkardinalitatea)zenbaki osoen kopurua baino handiagoa da[6]. Erabilera honetan, infinitua kontzeptu matematiko bat da, etaobjektu matematiko infinituak beste edozein objektu matematiko bezala aztertu, manipulatu eta erabil daitezke.
Infinituaren kontzeptu matematikoak, hala, kontzeptu filosofiko zaharra findu eta hedatzen du, batez ere tamaina ezberdineko multzo infinitu anitz sartuz. Zermelo–Fraenkel multzoen teoriarenaxiomen artean, zeinaren gainean garatu daitekeen matematika moderno gehiena, infinituaren axioma dago, multzo infinituen existentzia bermatzen duena[2]. Infinituaren kontzeptu matematikoa eta multzo infinituen manipulazioa oso erabilia da matematikan, baita haiekin zerikusirik ez dutela diruditenkonbinatoria gisako arloetan ere. Esaterako, Wiles-en Fermaten azken teoremaren froga, inplizituki, Grothendieck-en unibertsoen existentzian oinarritzen da, multzo infinitu oso handiak[7], Oinarrizko aritmetikaren arabera adierazten den aspaldiko problema bat ebazteko.
Antzinako kulturek hainbat ideia zituzten infinituaren izaerari buruz. Antzinakoindiarrek etagreziarrek ez zuten infinitua definitzen formalismo zehatzean, matematika modernoak egiten duen bezala, eta, horren ordez, infinitua kontzeptu filosofikotzat hartu zuten.
Grezian, infinituari buruz erregistratutako lehen ideiaAnaximandrorena izan daiteke (K.a. 610 - K.a. 546)greziarfilosofo presokratikoarena.Apeiron hitza erabili zuen,mugagabea,zehaztu gabea esan nahi duena, eta, agian, infinitu gisa itzul daiteke[2][8].
Aristotelesek (K.a. 350)infinitu potentziala etabenetako infinitua edoinfinitu osatua bereizi zituen, ezinezkotzat jotzen baitzuen sortzen zirudien hainbatparadoxagatik[9]. Ikuspegi horren ildotik argudiatu dagreziar helenistikoek izua ziotela infinituari[10][11], eta horrek, adibidez, azalduko luke zergatikEuklidesek (K.a. 300. urtea) ez zuen esanzenbaki lehenen infinitua dagoenik, baizik eta «zenbaki lehenak esleitutako edozein zenbaki lehenen multzoa baino gehiago direla»[12]. Orobat, esan izan da ezen,zenbaki lehenen infinitutasuna frogatzean, Euklides «lehena izan zen infinituaren izua gainditzen»[13]. Antzeko eztabaida dago Euklidesen postulatu paraleloari buruz, batzuetan itzulia:
«
Bi zuzenen gainean erortzen den zuzen batek bi angelu zuzen baino batura txikiagoa duen alde bereko barne-angeluak eratzen baditu, orduan, bi zuzenak infinituraino luzatzean, barne-angeluen batura bi angelu zuzen baino txikiagoa den aldean daude[14].
»
Beste itzultzaile batzuek, ordea, nahiago dute itzulpen hau: «bi lerro zuzenak, mugagabean ekoitzi badira...»[15], horrela Euklides infinituaren nozioarekin eroso zegoelako inplikazioa saihestuz. Azkenik, esan izan da infinituari buruzko hausnarketa batek, «infinituaren izua» sortzetik urrun, hasierako filosofia greziar guztiaren azpian dagoela eta Aristotelesen «infinitu potentziala» garai honetako joera orokorraren aberrazioa dela[16].
ZenonParmenidesen ikaslea izan zen, eta, bere maisuaren ideak defendatzeko, arrazoi batzuk planteatu zituen,Zenonen paradoxak izenez ezagutuak. Paradoxa horiekin, frogatzen saiatu zen mugimendua eta aldaketak ez direla existitzen, gure zentzumenen eta gure buruaren gezurrak direla. Paradoxa guztiak infinituarekin erlazionatuta daude. Horietako batek kontatzen digu ezen metro batera dagoen zuhaitz baten kontra harri bat botatzen badugu gure begiak ikusten duten harria nola iristen den zuhaitzeraino, bainaZenonek dio harria inoiz ez dela dela gure eskutik ateratzen. Hori frogatzeko,Zenonek esaten du distantzia osoa egin baino lehen distantziaren erdia egin behar duela baina lehenago laurden bat egin behar duela eta laurdena egin baino lehen zortziren bat egin behar duela, eta, hori, bata bestearen segidan gertatzen da. Zuhaitzera heltzeko, infinitu pauso egin behar dira, baina ezinezkoa da infinitu pauso egitea denbora tarte finitu batean; horregatik, Zenonek ondorioztatzen du harria ez dela inoiz gure eskutik atera, eta, modu horretan, infinitua erabiliz frogatzen du unibertsoa aldaezina dela.[17]
K.a. IV mendean,AristotelesekFísica idatzi zuen; bertan, gorputzen mugimenduei buruz hitz egiten du; baino mugimenduari buruz hitz egiteko, lehenParmenidesen etaZenonen argumentuek eztabaidatu behar zituen. Hori eztabaidatzeko, Aristotelesek esan zuenizatea existitzen zela, baina bi eratan bereizi zituen:potentzia eta egintza. Adibidez: ume bat heldua da potentzian, eta, handitzen denean, heldua da egintzan. Hori ikusita esan dezakegu umeak bere egoera aldatu duela; horren ondorioz, umea aldatu egiten da, baina ez du inoizizatea utzi. Modu horretan,Parmenidesenizatearen ideia aldaketarekin erlazionatzen du, eta argi uzten du izatea alda dezakeela. BainaZenonen paradoxek esaten zuten denbora eta espazioa infinituki zatitzaileak direla; hori argudiatzeko,Aristotelesek esan zuen infinitua bakarrik existitzen zela potentzian eta ez egintzan. Infinitua potentzian nahi den guztia handitu daitekeen kantitatea da, baina, denbora guztian, finitua da. Eta infinitua, egintzan, infinitua den kantitate bat da. Ideia horrek bi mila urte baino gehiago iraun zuen.[18]
Zenon Eleakoak (K.a. 495 - K.a. 430) ez zuen infinituari buruzko iritzirik aurreratu. Hala ere, bere paradoxak[19], bereziki «Akiles eta dortoka», ekarpen garrantzitsuak izan ziren, herri-kontzepzioen eskasia argi uzten baitzuten.Bertrand Russell-ekparadoxak «neurtezin sotil eta sakon» gisa deskribatu zituen[20].
Akilesek dortoka batekin lasterketa bat egiten du, azken horri abantaila emanez.
1. urratsa: Akiles dortokaren abiapuntura korrika doa dortoka aurrera doan bitartean.
2. urratsa: Akilesek 1. urratsaren amaieran dortoka zegoen tokira egiten du korrika dortoka urrunago doan bitartean.
3. urratsa: Akilesek 2. urratsaren amaieran dortoka zegoen tokira egiten du korrika dortoka urrunago doan bitartean.
4. urratsa: Akilesek 3. urratsaren amaieran dortoka zegoen tokira egiten du korrika dortokak urrunago doan bitartean.
Etab.Antza denez, Akilesek ez du inoiz dortoka harrapatzen; izan ere, pausoak eman arren, dortokak aurretik jarraitzen du.
Zenonek ez zuen infinituari buruz argudiatu nahi.Eskola eleatikako kide gisa, mugimendua ilusiotzat hartzen zuena, Akilesek korrika egin zezakeela suposatzea akats bat zela ikusten zuen. Ondorengo pentsalariek, irtenbide hori onartezina ikusita, bi milurteko baino gehiago borrokatu ziren argudioan beste ahulezi batzuk aurkitzeko.
Azkenik, 1821ean,Augustin-Louis Cauchy-k muga baten definizio egokia eta froga bat0 <x < 10 <x < 1 eman zuen[21]
Demagun Akilesek 10 m/s korritzen dituela, dortokak 0,1 m/s egiten dituela eta azken horrek 100 metroko abantaila duela. Jazarpenaren iraupena, Cauchyren eredura egokitzen da a = 10 segundo eta x = 0,01. Akilesek dortoka harrapatzen du; dortokak daramazkio
Surya Prajnapti testu matematikojainiarrak (K.a. IV-III. mendeak) hiru multzotan sailkatzen ditu zenbaki guztiak: zenbagarriak, zenbatezinak eta infinituak. Horietako bakoitza, halaber, hiru ordenatan banatzen dira[22]:
Zenbagarriak: baxuena, tartekoa eta altuena
Zenbatezinak: ia kontaezinak, zinez kontaezinak eta benetan kontaezinak
Mugagabea: ia infinitua, benetan infinitua, benetan infinitua
XVII. mendean, Europako matematikariak zenbaki infinituak eta adierazpen infinituak modu sistematikoan erabiltzen hasi ziren. 1655ean,John Wallis-ek notazioa erabili zuen lehen aldiz bereDe sectionibus conicisen[23], eta eremuaren kalkuluetan erabili zuen eskualdea zabalerainfinitesimalen zerrendatan banatuz-ren ordenan[24]. BainaArithmetica infinitorumen (1656)[25] serie infinituak, produktu infinituak eta zatiki jarraitu infinituak adierazten zituen, ondoren, faktore edo termino batzuk idatziz, "&c.", hala nola honela "1, 6, 12, 18, 24, &c."[26].
1699an,Isaac Newton-ek termino kopuru infinituko ekuazioei buruz idatzi zuenDe analysi per aequationes numero terminorum infinitas lanean[27].
Infinitu-sinboloa (batzuetan,lemniskata deitua) infinitu kontzeptua adierazten duen ikur matematikoa da. SinboloaUnicode-n honela kodetuta dago:[29], etaLaTeX-en honela:\infty[30]
1655ean, John Wallis-ek aurkeztu zuen[31][32], eta, sartu zenetik, matematikatik kanpo ere erabili izan da mistizismo modernoan[33] eta literatur sinbologian[34].
Gottfried Leibnizek,kalkulu infinitesimalaren asmatzaileetako batek, asko espekulatu zuen zenbaki infinituei eta matematikan haien erabilerari buruz. Leibnizen ustez, bai infinitesimalak bai kantitate infinituak entitate idealak ziren, ez kantitate estimagarrien izaera berekoak, baina propietate berberak dituztenak jarraitutasunaren Legearen arabera[35][4].
Analisi errealean, sinboloa,infinitu izenekoa, mugarik gabeko muga adierazteko erabiltzen da[36]. notazioak esan nahi du mugarik gabe handitzen dela, eta esan nahi du mugarik gabe murrizten dela. Adibidez, bakoitzeko bada, orduan[37]
-k esan nahi du-k ez duela-tik-ra eremu finitu bat mugatzen
-k esan nahi du-ren azpian dagoen azalera infinitua dela.
-k esan nahi du azpiko azalera osoa finitua dela, eta-ren berdina dela
Infinitua serie infinituak deskribatzeko ere erabil daiteke, honela:
-k esan nahi du serie infinituen batura balio erreal batera konbergentzia egiten duela
-k esan nahi du serie infinituaren batura, berez, infinitura dibergentea dela, batuketa partzialak mugarik gabe handitzen diren zentzuan[38].
Muga bat zehazteaz gain, infinitua balio gisa ere erabil daiteke zenbaki-sistema erreal hedatuan. Zenbaki errealenespazio topologikoari, eta etiketatzen diren puntuak gehi daitezke, zenbaki errealen bi punturen trinkotzea sortuz. Horri propietate aljebraikoak gehitzean, zenbaki erreal hedatuak ematen dizkigu[39] eta ere berdin trata ditzakegu, eta horrek zenbaki errealen puntu bakarreko trinkotzea dakarkigu; hau da, zuzen proiektibo erreala[40]. Geometria proiektiboak, izan ere, geometria planoan infinituan dagoen zuzen bati, hiru dimentsioko espazioan infinituan dagoen planoari etadimentsio orokorretarako infinituan dagoen hiperplanoari ere erreferentzia egiten dio, bakoitza infinituan dauden puntuz osatuta[41].
Infinitua egintzan ez dela existitzen defendatzeko,Aristotelesek argumentu ezberdinak eman zituen. Horietako bat izan zen, giza adimenak ezin dezakeela infinitua egintzaren irudi bat irudikatu. Adibidez, gure adimen zuzen bat irudika dezake, baina ez inoiz bukatzen ez den zuzen bat. Beste adibide bat da zenbaki guztien zerrenda bat irudikatzea; ezin dugu zerrenda bat irudikatu existitzen diren zenbaki guztiekin. Beste argumentu bat da oso erraza dela kontraesanetan erortzea zerbait arrazoitzeko infinitua erabiltzen dugunean. Hori kontuan hartuta, infinitua egintzan ez zela existitzen ondorioztatu zuen.
Zenbait mende pasatu eta gero, konkretuki XVII. mendean,Galileo Galileik kontraesan logiko batzuk aurkitu zuen bere ikerkuntzetan, eta, horren ondorioz, infinitua egintzaren ideia baztertu zuen. Geroago, XIX. mendean,Bernard Bolzano infinituari buruzko teorema matematiko bat garatzen saiatu zen, baina zenbait paradoxak aurkitu zituen, eta ez zuen ebazten jakin izan.
Pentsamendu horren aurka zeuden pertsonak ere baziren, adibidez,Lukrezio izeneko erromatar poeta. Lukreziok unibertsoa infinitua zela defendatzen zuen. Aurkako kasuan, unibertsoak muga bat izan beharko luke, eta muga hori zeharkatzeko behar den indarrarekin objektu bat botatzen badugu, objektu hori gure unibertsotik kanpo egongo litzateke, eta existitzen den ezer ezin daiteke unibertsotik kanpo egon. Baina ideia hori baztertu egin zen, eta gaur egun badakigu unibertsoa finitua izan daitekeela muga bat eduki gabe; hori defendatzeko, hurrengo adibidea erabil dezakegu: esfera baten azalera finitua da, eta ez du mugarik.
Pentsamendu horrek matematika menderatu zuen 1870eko hamarkadara arte. Hamarkada horretan,Georg Cantor[42] errusiar-alemaniar matematikariak, bere logika jarraituz, bere burua behartuta ikusi zuen matematikan infinitu egintzaren ikasketa sartzera.
Zenbaki arrunt bakoitza, zenbaki oso bikoitiekin elkartzen.
Erdi Aroan,Aristotelesen ideiak onartzen zuten, eta ondorioztatu zen infinitua egintzan bakarrik Jainkoak uler dezakeela. 1638 urtean,Galileok lan bat argitaratu zuenBi zientzia berriei buruzko dialogoa, lan horretan, dinamika eta estatika erabiliz,Aristotelesen fisikaren parte bat eztabaidatzea da. Baina infinitu egintzari buruzko ideia errespetatzen zuen lan horretan. Eta argumentu batzuk erabili zituen. Egongela handi batean gizon eta emakumeak egongo balira, eta, emakumeen kopuruarekin konparatuz, gizon gehiago, gutxiago edo kopuru bera dagoen jakiteko, emakumeak eta gizonak kontatu beharko lirateke. Eta gizon bakoitzak bikote bat osatzen badu emakume batekin, kopuru bera dagoela erakusten du. Orduan, bi multzo finitu badugu eta multzo bakoitzaren elementua beste multzoaren elementu batekin elkartu badezakegu, bi multzoak kopuru bera dute.
Lan horretako beste argumentu batean,Galileok bi multzo hartzen ditu: alde batetik, zenbaki arruntak, eta, beste aldetik, zenbaki arrunt bakoitzaren karratua. Argi dago zenbaki arrunten multzoa handiagoa dela, baina,Galileok esaten du lehen multzoaren zenbaki bakoitza bere karratuarekin elkartzea posiblea dela. Elkarketa horrek esaten digu zenbaki kopuru bera dagoela. Baina galdera hau egiten badugu: Zenbaki natural gehiago daude, edo kopuru bera?
Galileok esaten du ezin dugulahandiago,txikiago edobera/berdin kontzeptuak erabili bi multzo infinituak konparatzeko, finituak direnean bakarrik erabili dezakegu. Orduan,Galileok ondorioztatzen du bi multzo infinitu konparatzea absurdoa dela, bainaGeorg Cantorrek multzo finituak neurtzea eta konparatzea erabaki zuen.
Georg Cantor ziur zegoen infinituari buruzko teoria matematiko bat posible zela; modu horretan, gaur egun ezagutzen dugun teoria garrantzitsuenetako bat sortu zuen, eta, matematikak pentsatzeko, modu askeago bat ireki zuen.
Cantorrek sortutako kontzeptu garrantzitsuenetako bat ordinalak dira; ordinalak infinitu zenbakia zenbatu eta gero datozenzenbaki infinitua dator; hau da, ordinala (ω). Ondoren, ω+1, ω+2, ω+3,+...: serie hau eta gero, ω+ω dator, eta, hau eta gero: ω+ω+1, ω+ω+2..., eta horrela jarraitzen du. ω zenbakia kantitate infinitu bat egintzan irudikatzen du. Cantorrek, bere pentsatzeko moduarekin, matematikak aldatu zituen. Cantorrek bere teoriak atera baino lehen, fenomeno konkretuak edo korrelatu errealak bakarrik aztertzen ziren; Cantorren ondoren, bakarrik eskatzen da koherentzia logika izatea.
Infinituaren teoria Cantorren talentuaren emaitza da, eta, 1882 urtean, bere teoria lantzen hasi zen. Cantorrek, infinituari buruzko bere lehen ideiak, Halle-ko Unibertsitatean lan egiten hasi zenean planteatu zituen, baina bere ideiak oposizio handia aurkitu zuten. Adibidez, unibertsitatean zegoela, Cantorren irakasle izan zenLeopold Kroneckerrek bere influentzia erabili zuen Cantorren ideiak ez zabaltzeko. Cantorrek, 1874 urtean, bere ideiak zabaltzeko lehen saiakera artikulu baten bidez egin zuen.
↑Drozdek, Adam. (2008). In the Beginning Was the Apeiron: Infinity in Greek Philosophy. Stuttgart, Germany: Franz Steiner Verlag ISBN978-3-515-09258-6..
Jain, L.C.. (1982). Exact Sciences from Jaina Sources..
Jain, L.C. (1973). "Set theory in the Jaina school of mathematics",Indian Journal of History of Science.
Joseph, George G.. (2000). The Crest of the Peacock: Non-European Roots of Mathematics. (2. edizioa. argitaraldia) Penguin BooksISBN978-0-14-027778-4..
H. Jerome Keisler: Elementary Calculus: An Approach Using Infinitesimals. izena edizioa 1976; 2. edizioa edizioa 1986. This book is now out of print. The argitaletxea has reverted the copyright to the author, who has made available the 2. edizioa edizioa in .pdf format available for downloading athttp://www.math.wisc.edu/~keisler/calc.html
O'Connor, John J. and Edmund F. Robertson (2000).'Jaina mathematics' archived 2008-12-20 at the Wayback Machine,MacTutor History of Mathematics archive.
Pearce, Ian. (2002).'Jainism',MacTutor History of Mathematics archive.
Rucker, Rudy. (1995). Infinity and the Mind: The Science and Philosophy of the Infinite. Princeton University Press ISBN978-0-691-00172-2..
Singh, Navjyoti. (1988). Jaina Theory of Actual Infinity and Transfinite Numbers. 30.
John J. O'Connor and Edmund F. Robertson (2000).'Jaina mathematics' archived 2008-12-20 at the Wayback Machine,MacTutor History of Mathematics archive.
Ian Pearce (2002).'Jainism',MacTutor History of Mathematics archive.