Edukira joan

Zenbakien teoria

Artikulu hau Wikipedia guztiek izan beharreko artikuluen zerrendaren parte da
Wikipedia, Entziklopedia askea

Zenbakien teoria modernoa Diofantoren antzinako aritmetika grekotik eratorria da[1]. Diofantoren aritmetikaren azala, Bachet de Méziriacek latinera itzulia, Pierre de Fermaten iruzkinak dituen edizioa, 1670ean argitaratua.
Zenbaki lehenen banaketa zenbakien teorian azterketa puntu garrantzitsu bat da. Ulamen espiral honek hori ilustratzeko balio du, bereziki polinomio koadratiko batzuen balio bat izatearen eta zenbaki lehena izatearen arteko baldintzapeko independentzia iradokiz.

Zenbaki-teoria, zenbakien teoria edo goi mailako aritmetika matematika puruaren edo matematika hutsaren adar bat da, zenbaki osoak eta zenbaki osoetako funtzioetan sakontzen duena gehienbat, baina, oro har, zenbaki-eraztunen propietateak aztertzen ditu duten eraztun osoak morfismo finitu eta injektagarri baten bidez. Matematikoak ez direnek erraz uler ditzaketen problema ugari ditu. Modu orokorragoan, zenbaki osoak aztertzean sortzen diren problemak aztertzen ditu eremu horrek. Jürgen Neukirchek dio:

« Zenbakien teoriak matematikak berak beste zientzien artean duen posizio idealizatuaren antzekoa du matematika-diziplinen artean[2] »

.}}

Carl Friedrich Gauss matematikari alemaniarrak honela zioen: «Matematika zientzien erregea da, eta zenbaki-teoria matematikaren erregea da»[3]. Zenbaki-teorian lan egiten duten zientzialariek, izan ere, zenbaki lehenak, zenbaki osoetatik eratorritako beste elementu matematiko batzuk (zenbaki arrazionalak, esaterako) eta zenbaki osoen orokorpenak aztertzen dituzte.

Zenbaki osoak berez har daitezke edo ekuazio-soluziotzat (geometria diofantoar). Zenbakien teoriaren auziak, askotan, hobeto ulertzen dira analisi-objektuak aztertuz (adibidez, Riemannen zeta funtzioa), zenbaki osoen propietateak, zenbaki lehenak edo beste objektu batzuk kodetzen baitituzte (zenbakien teoria analitikoa). Halaber, zenbaki errealak zenbaki arrazionalekin lotuta ere azter daitezke, adibidez, azken horien hurbilketa gisa, (hurbilketa diofantoar).

Aritmetika terminoa zenbakien teoriari erreferentzia egiteko ere erabiltzen zen. Termino hori nahiko zaharra da, baina, gaur egun, ez hain erabilia. Hortik, zenbakien teoriari, goi aritmetika deitu ohi zaio[4], nahiz terminoa gero eta gutxiago erabiltzen den. Aritmetika terminoaren adiera hori, ez da nahastu behar oinarrizko aritmetikarekin edo Peanoren aritmetika sistema formal gisa aztertzen duen logikaren adarrarekin. Zenbakien teoria aztertzen duten matematikariei, zenbakien teoriko deritze.

Aritmetikaren jatorria

[aldatu | aldatu iturburu kodea]
Plimpton[Betiko hautsitako esteka] 322 buztinezko taulatxoa

Mesopotamiako Larsa hirian K.a. 1800. urtean jatorria duen Plinton 322 buztinezko taulatxoan ageri da historian lehen aldiz aritmetikaren erabilera, non Pitagorasen hirukoen zerrenda bat azaltzen den, hau da, betetzen duten zenbaki osoez osatutako tupla edo bektoreen zerrenda bat. Hirukoitzak gehiegi eta handiegiak dira indar gordinaren bidez lortzeko. Lehenengo zutabearen gaineko izenburuak honela dio: «Diagonalaren takiltuma, zeinari kenketa egin zaion zabalera...»[5].

Taularen antolaerak iradokitzen du[6] osatu zela hizkuntza modernoan

identitatearen baliokide denaren bidez, antzinako Babiloniako ohizko ariketetan inplizitua dagoena[7].​ Beste metodoren bat erabili bazen[8], hirukoitzak lehendabizi eraikitzen ziren, eta, gero, bidez berrantolatzen ziren, seguruenik taula gisa erabiltzeko, adibidez, aplikazioei begira.

Zerrenda hori, seguruenik, garai hartako zenbait arazori irtenbidea aurkitzeko eta arazo horiek konpontzeko sortua izango zen. Babiloniar astronomian, erabilera izan zezakeela uste da eta, beste iturri batzuen arabera, baita eskolako problemen zenbakizko adibideetan erabiltzeko ere[9]Robson, 2001, or. 201, eztabaidagarria dena. Robsonen artikulua modu polemikoan dago idatzita[10], «beharbada [...] [Plimpton 322] bere idulkitik botatzeko»[11];​ aldi berean, ondorio hau atera zuen:

« [...] Nola kalkulatu zen taula? galderak eta zer arazo planteatzen ditu taulak? galderak ez du zertan izan behar erantzun bera. Lehenengoa hobeto erantzun daiteke elkarrekiko pareen bidez, duela mende erdi lehen aldiz iradoki zen moduan, eta bigarrena triangelu angeluzuzeneko problemaren baten bidez[10] »

.

Babiloniako zenbaki-teoria –Babiloniako matematikatik bizirik irauten duena horrela dei badaiteke– zati bakar eta deigarri horretan datza; aldiz, Babiloniako aljebra (aljebraren bigarren mailako zentzuan) oso garatua zegoen[12]. Iturri neoplatoniko berantiarrek diote[13] Pitagorasek babiloniarren matematika ikasi zuela. Horiek baino lehenagoko iturrien arabera[14], Talesek eta Pitagorasek Egipton zehar bidaiatu eta ikasi zuten.

Euklides IX.a 21-34 oso litekeena da pitagoriko izatea[15];​ oso material sinplea da («bakoitiak bider bikoitiak bikoitia da»; «zenbaki bakoiti batek zenbaki bikoiti bat neurtzen [=zatitzen] badu, orduan, zenbaki bikoiti horren erdia ere neurtzen [=zatitzen] du») baina hori da irrazionala dela frogatzeko behar den guztia[16]. Mistiko pitagorikoek garrantzi handia ematen zieten bakoiti eta bikoitiei[17]. irrazionala dela aurkitzea lehen pitagorikoei egozten zaie (Teodoro aurrekoa)[18].​ Zenbakiak irrazionalak izan zitezkeela adieraztean (termino modernoetan), badirudi aurkikuntzak eragin zuela matematikaren historiako lehen fundazio-krisia; batzuetan, Hipasori egozten zaio haren frogapena edo zabalkundea, pitagorikoen sektatik kanporatua edo bereizia izan zena[19].​ Horrek behartu zuen alde batetik zenbakiak (osoak eta arrazionalak —aritmetikaren subjektuak—) eta bestetik luzerak eta proportzioak (zenbaki errealekin identifikatuko genituzkeenak, arrazionalak izan ala ez) bereiztera.

Tradizio pitagorikoak poligonal edo zenbaki figuratu deiturikoz ere hitz egiten zuen[20].​ Zenbaki karratuak, kubikoak, eta abar, orain zenbaki triangeluarrak, pentagonalak eta abar baino naturalago ikusten diren arren, zenbaki triangeluarren eta pentagonalen batuketen azterketa emankorra izango zen aro modernoaren hasieran (XVII. mendetik XIX. mendearen hasierara).

Antzinako egiptoar edo vediar iturrietan, ez dugu ezagutzen inolako material aritmetiko garbirik, nahiz eta bietan aljebra pixka bat badagoen. Hondarraren txinatar teorema Sun Zi Suanjing-en (K.o. III., IV. edo V. mendeak)[21] ariketa gisa agertzen da[22] (Sun Ziren soluzioan, bada oharkabean pasatzen den urrats garrantzitsu bat[Oh 1]: geroago, ​Kutzakako Āryabhaṭak ebatzi zuen problema da).

Zenbakiei buruzko nolabaiteko mistizismo ere badago matematika txinatarretan[Oh 2],​ baina, pitagorikoetan ez bezala, badirudi ez dutela inora eraman. Pitagorikoen zenbaki perfektuekin gertatu den moduan, karratu magikoak ere sineskeriatik gozamenera pasa dira.

Grezia klasikoa eta Aro helenistiko goiztiarra

[aldatu | aldatu iturburu kodea]
Sakontzeko, irakurri: «Greziar matematika»

Pasarte batzuez gain, Grezia klasikoko matematikak ezagunak zaizkigu, bai matematikari ez garaikideen txostenengatik, bai lehen garai helenistikoko matematika-lanengatik[23].​ Zenbakien teoriaren kasuan, horrek esan nahi du, oro har, Platon eta Euklides, hurrenez hurren.

Asiako matematikek greziar eta heleniar ikaskuntzan eragina izan bazuten ere, badirudi Greziako matematikak ere tradizio autoktonoa direla.

Eusebio Zesareakoak, PE X, 4. kapituluan, Pitagoras aipatzen du:

« Izan ere, Pitagoras horrek, nazio bakoitzaren jakituria zehatz-mehatz aztertzen zuen bitartean, Babilonia, Egipto eta Persia osoa bisitatu zituen, eta aztiek eta apaizek irakatsi zioten, eta horietaz gain, brahmanekin ikasi omen zuen (horiek filosofo indiarrak dira), eta, batzuengandik, astrologia jaso zuen; besteengandik, geometria, eta, besteengandik, aritmetika eta musika, eta nazio ezberdinetako gauza ezberdinak, eta soilik Greziako jakintsuengandik ez zuen ezer lortu, pobreziarekin eta jakinduria eskasarekin ezkonduta baitzeuden; beraz, aitzitik, bera izan zen greziarren irakaspenaren autore atzerritik ikasitakoa erakutsiz[24]. »

Aristotelesek zioen Platonen filosofiak hurbiletik jarraitzen ziola pitagorikoen irakaspenei[25],​ eta Zizeronek ere gauza bera dio: Platonem ferunt didicisse Pythagorea omnia (Diotenez, Platonek pitagoriko guztia ikasi zuen)[26].

Platonek interes handia zuen matematiketan, eta argi bereizten zituen aritmetika eta kalkulua (Aritmetikaz aritzerakoan, zenbakiari buruzko teorizazioaz ari zen neurri batean, aritmetika edo zenbakien teoria esan nahi izan dutenaren ordez). Platonen elkarrizketa baten bidez, Theaetetus, dakigu Teodorok irrazionalak direla frogatu zuela. Theaetetus, baita Platon ere, Teodororen ikaslea izan zen; mota guztietako neurtezinak bereizten lan egin zuen; beraz, esan daiteke aitzindaria izan zela zenbaki-sistemen azterketan. Pappusek Euklidesen Elementuak X. liburua, hein handi batean, Theaetusen lanean oinarritutakoa deskribatzen du.

Euklidesek Elementuak liburuen zati bat zenbaki lehenei eta zatigarritasunari eskaini zien, zenbakien teoriari argi eta garbi dagozkion gaiak, teoria horretan oinarrizkoak direnak (Euklidesen Elementuak liburuen VII.etik IX.era). Bereziki, bi zenbakiren zatitzaile komun maximoa kalkulatzeko, algoritmo bat eman zuen (Euklidesen algoritmoa; Elementuak, Prop. VII.2), eta zenbaki lehenen infinitutasunaren lehen froga ezaguna (Elementuak, Prop. IX.20).

1773an, Lessingek, liburuzain lanean ari zela, eskuizkribu batean aurkitutako epigrama bat argitaratu zuen; Arkimedesek Eratostenesi bidalitako gutuna omen zen[27][28]. Epigramak Arkimedesen aziendaren arazoa deritzona proposatzen zuen; emaitzak, eskuizkribuan ez dagoena, ekuazio koadratiko zehaztugabe bat ebaztea eskatzen du, geroago, oker, Pell-en ekuazio deitutakoari mugatua. Dakigunez, ekuazio horiek Indiako eskolak erabili zituen lehen aldiz arrakastaz. Arkimedesek berak soluziorako metodorik ba ote zuen ez da jakiterik.

Diofanto Alexandriakoa

[aldatu | aldatu iturburu kodea]

Oso gutxi ezagutzen da Diofanto Alexandriakoari buruz; seguruenik, gure aroko III. mendean bizi izan zen, hau da, Euklides baino bostehun urte beranduago. Diofantoren Aritmetikako hamahiru liburuetatik sei jatorrizko grekoan gordetzen dira, eta beste lau arabierazko itzulpen batean. Aritmetika problema landuen bilduma bat da, non zeregina beti datzan ekuazio polinomikoen sistema bati ebazpen arrazionalak aurkitzean, normalean o formakoa. Hala, gaur egun, ekuazio diofantoarrez ari gara ekuazio polinomikoez ari garenean, zeinei soluzio arrazionalak edo osoak aurkitu behar zaizkien.

Esan daiteke Diofantok puntu arrazionalak aztertzen zituela, hau da, koordenatu arrazionalak dituzten puntuak, kurba zein aldaera aljebraikoetan; hala ere, greziarrek garai klasikoan ez bezala, zeinak geometrikoki gaur egun oinarrizko aljebra deituko genukeena egiten zuten, Diofantok gaur egun, termino aljebraiko hutsetan, oinarrizko geometria aljebraikoa deituko genukeena egiten zuen. Hizkuntza modernoan, Diofantok aldakien parametrizazio arrazionalak aurkitu zituen; Hau da, formako ekuazio bat emanik, bere helburua, funtsean, hiru funtzio arrazional, , aurkitzea zen, non eta ezar dezaten balio guztietarako;-rentzat, ebazpena ematen du.

Diofantok zenbait kurba ez-arrazionalen ekuazioak ere aztertu zituen, zeinetarako ezinezkoa den parametrizazio arrazional bat. Kurba horietan (kurba eliptikoak; badirudi lehen agerraldi ezaguna dela), zenbait puntu arrazional aurkitzea lortu zuen, eraikuntza tangente baten parekoaren bidez: koordenatuen geometriara itzulita (Diofantoren garaian ez zegoena), haren metodoa puntu arrazional ezagun batean kurba baten tangentea marraztu balitz bezala bistaratuko litzateke, eta, gero, tangentearen eta kurbaren arteko beste elkargunea aurkitu; beste puntu hori puntu arrazional berri bat da. (Diofantok, era berean, sekante baten eraikuntza kasu berezi bat dei zitekeenera jo zuen).

Nahiz eta Diofanto, neurri handi batean, soluzio arrazionalez arduratzen zen, onartu zituen zenbaki osoen gaineko emaitza batzuk, bereziki, zenbaki oso oro lau karraturen batura dela, nahiz, esplizituki, inoiz ez zuen esan.

Āryabhaṭa, Brahmagupta, Bhāskara

[aldatu | aldatu iturburu kodea]

Nahiz eta greziar astronomiak, ziurrenik, indiar ikaskuntzan eragina izan zuen trigonometria sartzeraino[29], badirudi Indiako matematika tradizio indigena dela[30] ;​ bereziki, ez dago frogarik esateko Euklidesen Elementuak Indiara XVIII. mendea baino lehen iritsi zirenik[31].

Āryabhaṭak (K.o. 476-550) frogatu zuen , aldibereko kongruentzia bikoteak kuṭṭaka edo lainoztagailu deitu zuen metodo baten bidez ebatz zitezkeela[32]; Euklidesen algoritmoaren (horren orokortze bat) antzeko prozedura bat da, ziur aski, Indian modu independentean aurkitu zena[33].​ Dirudienez, Āryabhaṭak kalkulu astronomikoen aplikazioak zituen buruan[29].

Brahmaguptak (K.o. 628) ekuazio koadratiko mugagabeen azterketa sistematikoari ekin zion, bereziki gaizki deitutako Pellen ekuazioari, zeinean Arkimedesek interesa izan zezakeen lehenik, baina Mendebaldean Fermat eta Euler-en garaira arte ez zen ebazten hasi. Sanskritoko ondorengo autoreek jarraituko zioten Brahmaguptaren terminologia teknikoa erabiliz. Azkenean, Pell-en ekuazioa ebazteko prozedura orokor bat (txakravala metodoa, edo metodo ziklikoa) aurkitu zuen Jayadevak (XI. mendean aipatua; hala ere, bere obra galdu egin da); eskura dagoen azalpenik zaharrena Bhaskara II.ko Bīja-gaṇitan agertzen da (XII. mendea)[34].

Indiako matematika, neurri handi batean, ezezagunak izan ziren Europan XVIII. mendearen amaiera arte[35];​ Brahmagupta eta Bhāskararen lana 1817an itzuli zuen Henry Colebrookek ingelesera[36].

Aritmetika urrezko aro islamiarrean

[aldatu | aldatu iturburu kodea]
Alhazen Mendebaldeko ikuspegitik ikusita: Selenographiaren aurrealdean, Alhasenek [sic] arrazoimenaren bidezko ezagutza irudikatzen du, eta Galileok, zentzumenen bidezkoa.

IX. mendearen hasieran, Al-Ma'mun kalifak matematika greziarraren lan asko itzultzea agindu zuen, eta sanskritozko lan bat gutxienez (Sindhind, Brahmaguptaren Brāhmasphuṭasiddhānta izan daitekeena[37] edo ez[38]). Diofantoren lan nagusia, Aritmetika, Qusta ibn Luqak itzuli zuen (820-912) arabierara. al-Fakhriren tratatuaren zati bat (al-Karajī, 953 - ca. 1029) hartan oinarritzen da, neurri batean. Rashed Roshdiren arabera, Al-Karajiren garaikidea zen Ibn al-Haythamenek, ordurako[39], ezagutzen zuen gerora Wilsonen teorema deituko zena.

Mendebaldeko Europa Erdi Aroan

[aldatu | aldatu iturburu kodea]

FibonaccirenAfrika iparraldean eta Konstantinoplan bidaiatu eta ikasia– progresio aritmetikoko karratuei buruzko tratatu batez gain, Erdi Aroan ez zen zenbakien teoriarik egin mendebaldeko Europan. Europan, gauzak aldatzen hasi ziren Pizkundearen amaieran, Greziako antzinateko lanen azterketa berritu bati esker. Katalizatzaile bat izan zen Diofantoren Aritmetikaren testuaren emendatzea eta latinera itzultzea[40].

Zenbakien teoria modernoa

[aldatu | aldatu iturburu kodea]
Pierre de Fermat (1607-1665)

Pierre de Fermat (1607-1665) frantziar abokatu eta matematikaria izan zen. Zenbakien teoriari buruz egin zuen lanaren zati handiena, beste matematikari batzuei idatzitako gutunetan eta ohar pribatuetan gorde da.[41] Gutun eta ohar horietan, ez zuen ia frogarik idatzi.

Bere bizitzan zehar, Fermatek zenbaki-teorian hainbat ekarpen egin zituen. Horien artean, hauek dira nabarmenenak:

  • 1638an, edozein zenbaki beste lau zenbaki edo gutxiagoren karratu gisa idatz daitekeela aldarrikatu zuen, nahiz eta frogarik eman ez.[42]
  • Fermaten teorema txikia (1640): p zenbaki lehenak ez badu zenbaki osoa zatitzen, orduan:
  • problemak zenbaki osoetan soluzio ez-tribialik ez zuela frogatu zuen.[43]
  • Fermaten azken teorema: problemak ez du soluzio ez-tribialik.

Fermaten lan batzuk lagun batek erakutsi zizkionean interesatu zen Leonhard Euler (1707-1783) lehen aldiz zenbakien teoriaz. Eulerrek zenbakien teoriaz egin zituen ekarpenen artean, honakoak dira nabarmenenak:

  • Fermaten teorema txikia frogatu zuen modulu ez-lehenetara orokortuz. Fermaten beste lan askorekin ere gauza bera egin zuen.
  • Zatiki jarraituen eta Pell-en ekuazioaren arteko erlazioa idatzi zuen.[41]
  • Zenbakien teoria analitikoan, lehen urratsak eman zituen.

Joseph Louis Lagrange (1736-1813) gai izan zen Fermatek eta Eulerrek eginiko lan batzuk osorik frogatzeko, esate baterako, lau karratuen teorema. Forma koadratikoak bere osotasunean aztertu zituen; baliokidetasun erlazioa definitu zuen, eta forma murriztuan adierazi zuen.

Adrien-Marie Legendrek  (1752–1833)  elkarrekikotasun koadratikoaren legea ezarri zuen. Zenbaki lehenen teoremaren eta segida aritmetikoen Dirichlet-en teoremaren konjeturak ezarri zituen. ekuazioa sakon aztertu zuen[41], eta zuzenen gaineko forma koadratikoak ere aztertu zituen. Zahartzaroan, n=5 kasurako, Fermaten azken teorema frogatu zuen.

Disquisitiones Arithmeticae  liburuan, Carl Friedrich Gaussek (1777-1855) elkarrekikotasun koadratikoaren legea frogatu zuen, eta forma koadratikoen teoria garatu zuen. Kongruentzien notazioa erabiltzen lehenengoa izan zen, eta konputazioaren arloan ere murgildu zen, lehentasun testa (zenbaki lehenak aurkitzeko testa) esaterako. Liburu horren azken atalean, unitatearen erroaren eta zenbaki-teoriaren lotura ezarri zuen.

Izaeraren eta azpieremuen sorrera

[aldatu | aldatu iturburu kodea]

Hemeretzigarren mendearen hasieran, honako garapenak gertatu ziren:

  • Zenbaki-teoria azterketa eremu gisa ikusteak indarra hartu zuen.
  • Zenbaki-teoria modernorako, matematikaren beharrezko garapenak eman ziren: analisi konplexua, talde-teoria, Galoisen teoria
  • Zenbaki-teoriaren banaketa zenbaki-teoria modernoko azpiatal nagusietan, hala nola zenbaki analitikoen teoria eta zenbaki aljebraikoen teoria.

Azpiatal nagusiak

[aldatu | aldatu iturburu kodea]

Tresna elementalak

[aldatu | aldatu iturburu kodea]

Metodo bat elementala dela esaten da bertan analisi konplexua erabiltzen ez bada.[44] Adibidez, hasiera batean, zenbaki lehenen teorema analisi konplexua erabiliz frogatu zen (1896. urtean), baina 1949. urtera arte ez zen froga elementalik aurkitu.

Zenbakien teoria analitikoa

[aldatu | aldatu iturburu kodea]

Zenbakien teoria analitikoa da zenbaki osoen problemak ebazteko analisi matematikoa erabiltzen duen zenbakien teoriaren azpiatal bat. Azpiatal horretan gehien erabiltzen diren metodoen artean, Dirichleten serieak eta Riemannen zeta funtzioak daude.

Zenbakien teoria aljebraikoa

[aldatu | aldatu iturburu kodea]

Zenbaki konplexu bat aljebraikoa dela esaten da koefiziente arrazionalak dituen polinomio baten erroa bada; adibidez, zenbakiaren erro guztiak. Eraztunen teoriako zenbaki idealen, idealen teoriaren eta balorazio-teoriaren garapenarekin batera etorri zen zenbaki aljebraikoen teoriaren garapena.

Orain arte ikusitako hiru azpiatalekin, zenbaki baten faktorizazioa bakarra dela frogatzen da.

Geometria Diofantikoa

[aldatu | aldatu iturburu kodea]

Geometria diofantikoaren oinarrizko problema ekuazio diofantoar batek soluziorik duen ala ez jakitean datza, eta baiezko kasuan zenbat dituen jakitean.

Adibidez, bi aldagai errealen menpe  definitutako ekuazio batek kurba bat definitzen du planoan. Ideia orokortuz, bi aldagai edo gehiagoren menpe definitutako ekuazio batek edo ekuazio-sistema batek kurba bat, gainazal bat edo n dimentsioko espazioko objektu bat definitzen du. Geometria diofantoarrean, problemak ea balio arrazionaletarako edo osotarako soluziorik duen aztertzen da. Baiezko kasuan, zenbat dauden eta lantzen ari garen espazioan nola banatuta dauden jakitea da hurrengo urratsa. Horretarako, soluzio kopurua ea finitua den eta bere kontagarritasuna aztertu behar da.

Beste eremu batzuk

[aldatu | aldatu iturburu kodea]

Konbinatoria aritmetikoa

[aldatu | aldatu iturburu kodea]

Konbinatoria aritmetikoak honako galdera hauek hartzen ditu abiapuntutzat: A multzo txiki eta infinitu bat hartzen badugu, multzo honek segida aritmetikoko zenbat elementu izango ditu? Posible izango al da multzoko elementuen batura bidez balio batetik gorako elementuak idaztea? Multzoko elementuen batura ekuazio modura hartuta lortzen diren ekuazioei konbinatoria aritmetikoko karakteristikak deritze.

Eremu hori aipatutako ekuazioen azterketan oinarritzen denez, zenbaki-teoria batukorra eta zenbakien geometria erabiltzen dira. Orokorrean, azaltzen diren problemak erlazionatuta daude talde-teoria finituarekin, modelo teoriarekin eta teoria ergodikoarekin.

Zenbaki-teoria konputazionala

[aldatu | aldatu iturburu kodea]

Soluzioak lortzeko metodoen deskribapena frogapenak egitearen ideia baino lehenagotik dator. Metodo horiek (algoritmoak) Antzinako Grezian azaltzen dira lehen aldiz historian. Horren adibidea da algoritmo euklidearra: zenbaki-teorian algoritmo euklidearra erabiltzen den modua zaharragoa da konputazioan algoritmo euklidearra erabiltzen den modua baino.

Orokorrean, bi arazo izango ditugu, edo izango ote ditugun jakin nahiko dugu: batetik, ea konputatzeko gai izango garen eta, beraz, ea konputazionalki emaitza bat lortuko dugun; bestetik, ea zenbat iraungo duen kalkulu konputazionalak, hau da, kostu konputazionala zenbatekoa izango den. Agian, erraza izan daiteke zenbaki bat lehena den erabakitzea, baina konputazionalki modu eraginkor eta azkarrean egitea oso zaila izan daiteke (zenbakia oso handia bada, baliteke kalkulu gehiegi egin behar izatea). Gaur egun, badira lehentasun test azkarrak, baina faktorizaziorako test azkarrak falta dira.

Kriptografian, mezu bat bere hartzailearentzat (eta soilik berarentzat) ulergarria izatea lortu nahi da, horretarako pribatutasuna bermatuz. Hari beretik, demagun kodifikatutako zifratutako mezu bat dugula; hori deskodetzeko, zifratutako mezua zenbakitzat hartuz, faktore lehenetan deskonposatzea premiazkoa da ia beti (gaur egun erabiltzen diren sistema kriptografikoetan), eta konputazionalki programatzeko, lehentasun test azkarren beharra dugu. Mezu baten pribatutasuna bermatzeko (baina gero mezua deskodetu ahal izateko), zenbaki lehenetan deskonposatzeko oso konplexuak diren zenbakiak erabiltzen dira. Horrela, faktorizaziorako test azkarrik ez dagoenez, mezuaren hartzailea ez den batek ezingo du deskodetu, eta, beraz, pribatutasuna mantentzen da.

Zenbaki teoria elementala matematika diskretuko kurtsoetan irakasten da zientzia konputazionalerako. Horrez gain, zenbaki teoriak aplikazio ugari ditu analisi numerikoan, bai eta aski ezaguna den kriptografian ere.[45][46]

  1. Sunzi Suanjing, cap. 3, problema 26, inLam eta Ang, 2004, or. 219–20:
    « 26] Orain gauzen kopuru ezezagun bat dago. Hirunaka kontatuz gero, 2ko hondar bat dago; bosnaka kontatzen badugu, 3ko hondara bat geratzen da; zazpinaka kontatuz gero, hondarra 2 da. Aurkitu zenbat gauza diren. Erantzuna: 23.

    Metodoa: Hirunaka kontatzen badugu eta 2ko hondar bat badago, idatzi 140. Bosnaka kontatzen badugu eta 3ko hondarra badugu, idatzi 63. Zazpinaka kontatuz gero 2ko hondarra badugu, idatzi 30 Batu 233 lortzeko, eta ken 210 emaitza jasotzeko. Hirunaka kontatzen badugu eta 1eko hondarra gelditzen bada, idatzi 70. Bosnaka kontatuz gero eta hondarra 1 bada, idatzi 21. Zazpinaka kontatzen badugu eta 1eko hondarra badugu, idatzi 15. Zenbaki batek 106a gainditzen badu, emaitza 105 kenduz lortzen da

    »
  2. ikus, adibidez, Sunzi Suanjing, 3. atala, 36. problema, Lam eta Ang, 2004, or. 223-24en:
    «

    36] Orain, haurdun dagoen emakume bat dago, 29 urte dituena. Haurdunaldia 9 hilabetekoa bada, zehaztu jaiotzear dagoen haurraren sexua. Erantzuna: har.
    Metodoa: Idatzi 49, gehitu haurdunaldiaren aldia eta kendu adina. Hondarretik kendu 1, zeruari dagokiona, 2 Lurrari, 3 gzasemeari, 4 lau urtaroei, 5 bost faseei, 6 sei tronpetei, 7 zazpi izarrei [Hartz Nagusiarenak], 8 zortzi haizeei eta 9 bederatzi dibisioei [Txina Yu Handiaren pean]. Hondarra bakoitia bada, [sexua] maskulinoa da, eta, hondarra bikoitia bada, [sexua] femeninoa da.

    »

    Este es el último problema en el tratado de Sunzi, que por lo demás es práctico.

Erreferentziak

[aldatu | aldatu iturburu kodea]
  1. Jean-Paul Collette (1985), Historia de las matemáticas (volúmenes 1 y 2). Traducción de Alfonso Casal, Madrid: Siglo XXI Editores S.A. ISBN 84-323-0526-4
  2. Introducción a la obra Cohomology of number fields:
    « Die Zahlentheorie nimmt unter den mathematischen Disziplinen eine ähnlich idealisierte Stellung ein wie die Mathematik selbst unter den anderen Wissenschaften. »
  3. Colilli, Paul. (1981-01). «Bernardo, Aldo S. and Rigo Mignani. Ritratto Dell’Italia. 2nd Ed. Lexington, Massachusetts and Toronto: D.C. Heath and Company, 1978Bernardo, Aldo S. and Rigo Mignani. Ritratto Dell’Italia. 2nd Ed. Lexington, Massachusetts and Toronto: D.C. Heath and Company, 1978. Pp. IX, 317.» Canadian Modern Language Review 37 (2): 351–352.  doi:10.3138/cmlr.37.2.351. ISSN 0008-4506. (kontsulta data: 2020-11-12).
  4. Davenport, Harold (1999). The Higher Arithmetic: An Introduction to the Theory of Numbers (7.ª edición). Cambridge, England: Cambridge University Press. ISBN 0-521-63446-6.
  5. Neugebauer & Sachs, 1945, or. 40. El término takiltum es problemático. Robson prefiere la interpretación "La escuadra de sujeción de la diagonal de la que se arranca el 1, de modo que el lado corto salga hacia arriba...".Robson, 2001, or. 192
  6. Robson, 2001, or. 189. Otras fuentes dan la fórmula moderna . Van der Waerden da tanto la fórmula moderna como lo que equivale a la forma preferida por Robson.van der Waerden, 1961, or. 79
  7. van der Waerden 1961, 184 orr. .
  8. NeugebauerNeugebauer, 1969, or. 36-40 discute la tabla en detalle y menciona de pasada el método de Euclides en notación modernaNeugebauer, 1969, or. 39.
  9. Friberg 1981, 302 orr. .
  10. a b Robson 2001, 202 orr. .
  11. Robson 2001, 167 orr. .
  12. van der Waerden 1961, 43 orr. .
  13. Jámblico, Pitagorasen bizitza,Guthrie, 1987k transkribatua eta van der Waerden, 1961, or. 108en aipatua. Ikus, halaber, Porfirio, Pitagorasen bizitza, 6. paragrafoa Guthrie, 1987, or. 6en. Van der Waerdenvan der Waerden, 1961, or. 87-90 Talesek Babiloniako matematikak ezagutzen zituela mantentzen du
  14. Herodoto (II. 81) eta Isokrates (Busiris 28), Huffman, 2011en aipatuak. Tales buruz, ikus Eudemus ap. Proclus, 65.7, (adibidez,Morrow, 1992, or. 52) O'Grady, 2004, or. 1en aipatua. Proclus-ek Eudemo Rodaskoaren obra bat erabiltzen zuen (gaur egun galdua), Geometrasen katalogoa. Ikus, halaber,Morrow, 1992, or. xxxen Proclusen sinsgarritasunari buruzko hitzaurrea
  15. Becker, 1936, or. 533, van der Waerden, 1961, or. 108en aipatua.
  16. Becker 1936.
  17. van der Waerden 1961, 109 orr. .
  18. Plato, Theaetetus, p. 147 B, (adibidez,Jowett, 1871), von Fritz, 2004, or. 212en aipatua: «Teodorok zerbait idazten zigun sustraiei buruz, hala nola hiruren edo bosten erroei buruz, batasunagatik neurtezinak direla erakutsiz...» Ikus, halaber, Teodororen kiribila.
  19. von Fritz 2004.
  20. Heath 1921, 76 orr. .
  21. Testuaren data K.o. 220-420ra murriztu da (Yan Dunjie) edo K.o. 280-473ra (Wang Ling) barne-proben bidez (= testuan onartutako tributazio-sistemak). Ikus Lam eta Ang, 2004, or. 27-28.
  22. Sunzi Suanjing, 3. atala, 26. problema. Lam eta Ang, 2004, or. 219-20en aurki daiteke, Suan Chingen itzulpen osoa duena, Qian, 1963en oinarritua. Ikus, halaber, Lam eta Ang, 2004, or. 138-140en eztabaida.
  23. Boyer & Merzbach 1991, 82 orr. .
  24. Eusebio de Cesarea: Praeparatio Evangelica (Ebanjeliorako prestatzea). Tr. E.H. Gifford (1903) - Libro 10. .
  25. Metafísica, 1.6.1 (987a)
  26. Tusc. Disput. 1.17.39.
  27. Vardi 1998, 305-19 orr. .
  28. Weil 1984, 17-24 orr. .
  29. a b Plofker 2008, 119 orr. .
  30. Matematika babiloniar eta indiarren arteko edozein kontaktu goiztiar aieruzkoa izaten jarraitzen duPlofker, 2008, or. 42.
  31. Mumford 2010, 387 orr. .
  32. Āryabhaṭa, Āryabhatīya, Capítulo 2, versos 32-33, citado en:Plofker, 2008, or. 134–40. Ikus, halaberClark, 1930, or. 42-50. Beranduago kaleratu zen kuṭṭakaren deskribapen esplizituxeagoa, Brahmagupta, Brāhmasphuṭasiddhānta, XVIII, 3-5 (Colebrooke, 1817, or. 325-en, Clark, 1930, or. 42-en aipatua).
  33. Mumford 2010, 388 orr. .
  34. Plofker 2008, 194 orr. .
  35. Plofker 2008, 283 orr. .
  36. Colebrooke 1817.
  37. Colebrooke, 1817, or. lxv, Hopkins, 1990, or. 302-en aipatua. ks, halaber, hitzaurrea Sachau, 188-en Smith, 1958, or. 168-en aipatua
  38. Pingree, 1968, or. 97-125, eta Pingree, 1970, or. 103-23, Plofker, 2008, or. 256-en aipatua.
  39. Rashed 1980, 305-21 orr. .
  40. Bachet, 1621, Guilielmus Xylander-en lehen ahalegin baten ondoren, 1575
  41. a b c Weil, André, 1906-1998.. (1984). Number theory : an approach through history from Hammurapi to Legendre. Birkhäuser ISBN 0-8176-3141-0. PMC 9576587. (kontsulta data: 2020-11-12).
  42. Numbers and measurements. (First edition. argitaraldia) ISBN 978-1-5383-0042-8. PMC 1013584750. (kontsulta data: 2020-11-12).
  43. Fermat, Pierre de; Apollonius; Billy, Jacques de; Henry, Charles; Tannery, Paul; Tannery, Paul; Wallis, John. (1891). Oeuvres de Fermat / publiées par les soins de MM. Paul Tannery et Charles Henry sous les auspices du Ministère de l'instruction publique.. Gauthier-Villars et fils, (kontsulta data: 2020-11-12).
  44. Apostol, Tom M.,. Introduction to analytic number theory. ISBN 0-387-90163-9. PMC 1859863. (kontsulta data: 2020-11-12).
  45. GUNNELLS, PAUL E.; YASAKI, DAN. (2012-11-13). «MODULAR FORMS AND ELLIPTIC CURVES OVER THE CUBIC FIELD OF DISCRIMINANT –23» International Journal of Number Theory 09 (01): 53–76.  doi:10.1142/s1793042112501242. ISSN 1793-0421. (kontsulta data: 2020-11-12).
  46. «Applications of formal groups in algebraic topology, number theory, and algebraic geometry» Formal Groups and Applications (American Mathematical Society): 427–477. 2012-12-07 ISBN 978-0-8218-5349-8. (kontsulta data: 2020-11-12).

Kanpo estekak

[aldatu | aldatu iturburu kodea]