Edukira joan

Ebatzi gabeko problema matematikoak

Wikipedia, Entziklopedia askea

Problema matematiko asko planteatu dira, baina oraindik ez dira guztiak ebatzi. Azken problema horiek matematikaren arlo askotatik datoz, hala nola fisika teorikotik, informatikatik, aljebratik, analisitik, konbinatoriatik, geometria aljebraiko, diferentzial, diskretu eta euklidearretik, grafoen teoriatik, talde-teoriatik, zenbaki-teoriatik, multzo-teoriatik, Ramseyren teoriatik, sistema dinamikoetatik eta  deribatu partzialetako ekuazio diferentzialetatik. Arazo batzuk diziplina bati baino gehiagori dagozkie, eta hainbat arlotako teknikak erabiliz aztertzen dira. Askotan, aspaldiko problema iraunkor bat ebazteagatik sariak ematen dira, eta ebatzi gabeko problemen zerrenda batzuek, hala nola Milurtekoko Sarietako problemek, arreta nabarmena jasotzen dute.

Zerrenda hau lehenago argitaratutako zerrendetan aipatu diren ebatzi gabeko problema nabarien multzoa da, guztiz fidagarriak diren zerrendetan oinarritua (baina horietara mugatuta ez dagoena). Zerrenda honetan aipatzen diren arazoak asko askotarikoak dira, bai zailtasunari dagokionez, bai garrantziari dagokionez.

Ebatzi gabeko problema matematikoen zerrenda

[aldatu | aldatu iturburu kodea]

Erakunde eta matematikari ugarik argitaratu dituzte ebatzi gabeko hainbat problema matematiko. Gainera, kasu batzuetan, hauen ebazpena lortzeak saria jasotzea dakar.

Zerrenda Problema kopurua Oraindik ebatzi gabeko edo guztiz ebatzi gabeko problema kopurua Proposatu zuen pertsona edo erakundea Proposatu zen urtea
Hilberten problemak[1] 23 15 David Hilbert 1900
Landauren problemak[2] 4 4 Edmund Landau 1912
Taniyamaren problemak[3] 36 - Yutaka Taniyima 1955
Thurstonen 24 galderak[4][5] 24 - William Thurston 1982
Smaleren problemak 18 14 Stephen Small 1998
Milurtekoko Sarietako Problemak 7 6[6] Clay Mathematics Institute 2000
Simonen problemak 15 <12[7][8] Barry Simons 2000
21. mendean ebatzi gabeko problema matematikoak[9] 22 - Jair Minoro Abe eta Shotaro Tanaka 2001
DARPA-ren erronka matematikoak[10][11] 23 - DARPA 2007

Milurtekoko Sarietako Problemak

[aldatu | aldatu iturburu kodea]

Milurtekoko Sarietako Problemak Clay Mathematics Institute (CMI) erakundeak 2000. urtean aukeratu zituen eta matematikako munduan dagoeneko ezagunak ziren zazpi problema konplexu dira. Problema hauek ebaztea eta frogatzea lortzen duten zientzialariei milioi bat dolarreko diru saria eskaintzen die CMI-ak.

Clay Mathematics Institute erakundeak ofizialki Milurtekoko Sarietako Problemak izena eman zien zazpi problema matematiko hauei:

Zazpi problema horiek Milurtekoko Bileran erabaki ziren, 2000. urteko maiatzaren 24an.

Gaur egunera arte, zazpi problema hauetatik ebatzita eta frogatuta dagoen bakarra Poincaréren aierua da. Grigori Perelman matematikari errusiarrak 2003an argitaratu zuen ebazpena[12], eta 2010ean ontzat eman zuen CMI-ak. Hala ere, Perelmanek uko egin zion sariari, ez baitzioten eskaini dirua Richard S. Hamiltoni, Perelmanek bere lana haren lanaren gainean eraiki zuen eta. Hala ere, lau dimentsioko Poincaréren aieruaren orokortzea ebatzi gabe dago oraindik.

Birch eta Swinnerton-Dyer-en aierua

[aldatu | aldatu iturburu kodea]

Birch eta Swinnerton-Dyer-en aierua matematika-aierua da, eta Bryan John Birch eta Peter Swinnerton-Dyer matematikari ingelesek idatzi zuten 1965ean. Aieru honek K zenbakizko eremu aljebraiko baten gaineko E kurba eliptiko bati lotutako datu aritmetikoak eta E-ren Hasse Weilen L(E,s) funtzioaren portaera erlazionatzen ditu s = 1 denean.

Zehazki, aieruak dio E-ren puntuen E(K) talde abeldarraren heina eta L(E,s)-ren zeroaren ordena berdinak direla s = 1 denean. Halaber, L(E,s)-ren Taylorren seriean s = 1 kasuan, zero ez den lehen koefizientea E gain K aritmetikoki finagoa diren datuek emanda dago.

Bereziki, aieruak dio L(E,1) = 0 bada, orduan E(K) taldea infinitua izango dela, eta aldiz, L(E,1) ≠ 0 bada, orduan E(K) finitua izango dela.

Hodge-ren aierua

[aldatu | aldatu iturburu kodea]

Hodge-ren Aierua geometria aljebraikoan eta geometria konplexuan ebatzi gabeko problema garrantzitsu bat da. Problema honek barietate aljebraiko konplexu ez-singular baten topologia aljebraikoa eta barietate horren azpibarietateak erlazionatzen ditu.

Zehazki, aieruak dio De Rham-en kohomologia-talde batzuk aljebraikoak direla, hau da, Poincaré-ren dualtasunen azpibarietaten klase homologoen batuketak direla.

Hitz sinpleetan azalduta, Hodge-ren Aieruak dio oinarrizko informazio topologikoa (espazio geometriko batzuetako zulo-kopurua, adibidez) espazio horien barruan dauden formak aztertuz uler daitekeela, ekuazio polinomikoen zero-multzoen (hots, funtzio polinomikoen erroen) antzekoak direnak erabiliz. Objektu horiek aljebraren eta funtzio analitikoen kalkuluaren bidez azter daitezke. Horri esker, askotan, dimentsio handiagoak dituzten espazioen forma eta egitura orokorra uler daitezke, bestela erraz ikusiko ez liratekeenak.

Aieru hau William Vallance Douglas Hodge eskoziar matematikariak formulatu zuen, 1930 eta 1940 bitartean, Rham-en kohomologiaren deskribapena aberasteko eta barietate aljebraiko konplexuen kasuan agertzen den egitura gehigarri bat gehitzeko egindako lanaren emaitza gisa. Aieruak arreta txikia jaso zuen Hodgek Cambridgen (Massachusetts) 1950eko Matematikarien Nazioarteko Biltzarrean aurkeztu aurretik.

[aldatu | aldatu iturburu kodea]

Navier-Stokesen existentzia eta leuntasunaren problemak Navier-Stokes-en ekuazioen soluzioen propietate matematikoekin zerikusia du. Ekuazio horiek espazioko fluido baten mugimendua deskribatzen duten deribatu partzialetako ekuazioen sistema bat osatzen dute. Sistema horren soluzioak hainbat arlo praktikotan erabil ohi dira. Hala ere, soluzioen ulermen teorikoa mugatua da. Bereziki, Navier-Stokes-en ekuazioek turbulentziak barne hartzen dituzte, fisikaren problemarik garrantzitsuenetako bat izaten jarraitzen dutenak, nahiz eta zientzian eta ingeniaritzan duen garrantzi izugarria.

Are oinarrizkoagoak (eta itxuraz intuitiboagoak) diren soluzioen propietateak ez dira inoiz frogatu. Hiru dimentsiodun ekuazio-sistemetan, hasierako baldintza batzuk emanda, matematikariek ez dute inoiz frogatu soluzio leunak beti existitzen direnik, baina ez dute horren kontraadibide bat eman ere. Beraz, honi guztiari Navier-Stokes-en existentzia eta leuntasunaren problema deritzo.  

Turbulentziaren fenomeno iheskorra ulertzeko lehen pausoa Navier-Stokes-en ekuazioak ulertzea denez, 2000ko maiatzean, Clay Mathematics Institutuak problema hau Milurtekoko Sarietako Problemetako zerrendan sartu zuen.[13]

P vs NP problema

[aldatu | aldatu iturburu kodea]

P vs NP problema informatika teorikoan ebatzi gabeko problema garrantzitsua da. Modu erraz batean ulertzeko, edozein problemaren soluzioa azkar egiaztatzen baldin bada, azkar ebatzi daitekeen edo ez galdetzen du.

Riemann-en hipotesia

[aldatu | aldatu iturburu kodea]

Riemann-en hipotesia, Bernard Riemann matematikariaren ostean izendatua, 1859an proposatutako aieru matematikoa da. Aieruak dio Riemann-en zeta funtzioak zeroak dituela soilik zenbaki oso negatibo bikoitietan eta zati erreala ½ duten zenbaki konplexuetan.

Hainbat matematikarik ebatzi gabeko problema garrantzitsuena dela uste dute. Izan ere, zenbaki teorian, zenbaki lehenen banaketan emaitza batzuk argitzen ditu.

Riemann-en zeta funtzioak zati erreala 1 baino handiagoa duten zenbaki konplexuen absolutuki konbergentea den serie infinitu baten adierazpena ematen du, hurrengo adierazpenean ikusi daitekeen moduan.

Funtzioaren argumentua, s aldagaia, edozein zenbaki konplexu izan daiteke, 1 zenbakia izan ezik, eta balioa zenbaki konplexu bat izango da halaber. ζ(s) = 0 lortuko da s = -2, -4, -6,... denean eta s hauei zero “tribialak” deritze. Zeroak lortuko dira beste s batzuetarako ere, eta horiei zero “ez-tribialak” deritze. Aieruaren arazo handiena zero ez-tribial horien kokapena aurkitzea da.

Aieruaren arabera, zero “ez-tribial” guztien Riemann zeta funtzioaren balio erreala ½ da. Beraz, guztiak ½ + it zuzen kritikoan kokatuta egon beharko lirateke, non t zenbaki erreal bat den eta i unitate irudikaria.

Yang–Mills-en existentzia eta masa-jauzia

[aldatu | aldatu iturburu kodea]

Yang–Mills existentziaren eta masa-jauziaren problema fisika matematikoan eta matematikan ebatzi gabeko problema da, eta problema honek hurrengo hau esaten du:[14]

Edozein G kalibrazio talde trinko eta sinplerentzat, Yang-Mills teoria kuantiko ez tribiala existitzen dela R4-an eta masa-jauzia Δ > 0 baduela. Existentzia frogatzearekin badator propietate axiomatikoak ezartzea, gutxienez Streater & Wightman (1964), Osterwalder & Schrader (1973) eta Osterwalder & Schrader (1975) adierazitakoak bezain sendoak.

Adierazpen honetan, Yang-Mills-en teoria kuantiko bat ez-abeldar eremu-teoria kuantiko bat da, partikulen fisikako Eredu Estandarraren azpian dagoenaren antzekoa, R4 da lau-Euklidear espazioa; Δ masa-jauzia da, teoriak aurresandako partikuletatik masa txikienekoa.

Beraz, irabazleak frogatu behar du:

  • Teorian aurresandako indar-eremuko partikula guztien masa erabat positiboa dela.

Adibidez, G=SU(3)-ren kasuan —interakzio nuklear indartsuarena—, irabazleak frogatu behar du gluoi-bolek masa baxuagoa dutela lotuta, eta, beraz, ezin direla arbitrarioki arinak izan.

Bestealde, Sistema batean espektro-arraila bat ote dagoen zehazteko arazo orokorra ezin dela ebatzi badakigu.

Poincaréren aierua

[aldatu | aldatu iturburu kodea]

Poincaré-ren aierua edo Poincaréren hipotesia, matematikako teorema bat da, hiru dimentsioko esferaren (hiperesfera edo 3-esfera) karakterizazioarekin zerikusia duena. Errazago esateko, Poincarék proposatu zuen hiru dimentsioko esfera dela hiru dimentsioko espazio (itxi eta bornatu) bakarra non ez dauden kurba itxiek mugaturiko “zuloak”.

Ebatzi gabeko beste problema matematiko batzuk

[aldatu | aldatu iturburu kodea]

Collatz-en aierua

[aldatu | aldatu iturburu kodea]

1937 urtean, Lothar Collatzek aieru hau proposatu zuen, eta, haren omenez, aieruak bere izena hartu zuen, nahiz eta beste izen batzuk ere izan (hala nola 3n+1 arazoa edo aierua, Ulam-en aierua edo Kakutaniren arazoa). Izenak berak dioen bezala, aieru bat da, eta, beraz, ez da frogatu emaitzaren egiazkotasunik edo faltsutasunik. Ordea, ordenagailuek frogatu dute 1020 baina txikiagoak diren zenbaki guztiek betetzen dutela aierua.

Problemaren definizioa:

n zenbaki arrunta izanik, honako eragiketa hau egingo da:

Aieruak dio, edozein zenbaki arrunt hartzen dugularik, zenbaki horri dagokion sekuentziaren bukaera 4-2-1 izango dela beti.  

Adibide batzuk:

  • n = 6 hartuta, sekuentzia honelakoa izango litzateke: 6, 3, 10, 5, 16, 8, 4, 2, 1. Hau da, 8 pausotan 1 zenbakia lortzen da.
  • n = 11 hartuta, sekuentziak 14 pauso ditu: 11, 34, 17, 52, 26, 13, 40, 20, 10, 5, 16, 8, 4, 2, 1.
  • Aukeratutako zenbakia handia izateak ez du esan nahi, nahitaez, eragiketen kopurua handia denik. Adibidez:
    • n = 27 eta n = 1002 balioek 111 pausoko sekuentzia sortzen dute. Kasu honetako beste bitxikeria bat da bi kasuetan 9232 zenbakitik igarotzen direla 1 urratsera iritsi aurretik. Gainera, bai 27-k bai 1002-k 9232 zenbakia (sekuentziaren maximoa) 77.aren pausoan lortzen dute.
    • 2-ren potentziak urrats bakar batez handitzen dira. n=2 zenbakian hasita, sekuentziaren luzera pauso bakarrekoa da; n=22=4 hartuz, bi pauso baino ez; n=23=8, hiru pauso, eta abar. Laburbilduz, n= 2m zenbakiaren sekuentziak m pauso dauzka 1 zenbakira iritsi arte.

Goldbach-en aierua

[aldatu | aldatu iturburu kodea]

Zenbakien teorian, Goldbach-en aierua problema matematiko ospetsuenetariko bat da. Frogatu beharrekoa honako hau da:

“Edozein zenbaki bikoiti bi baino handiagoa zenbaki lehenen batura gisa idatz daiteke”.

Adibidez, 4 = 2+2, 8 = 5+3, 32 = 3+29, eta abar.

Oraindik inork ez du aieruaren frogapen formala argitaratu, baina ordenagailuek erakutsi dute 1018 baino txikiagoak diren zenbaki bikoiti guztiek aierua betetzen dutela.

Zenbaki lehen bikien aierua

[aldatu | aldatu iturburu kodea]

Bi zenbaki lehen bikiak dira baldin eta bi zenbaki horien arteko aldea 2-koa bada; adibidez, 3 eta 5, 11 eta 13, edo 41 eta 43.

Aieru honek dio zenbaki lehengusu bikien pareak amaigabeak direla. Matematikari asko, zenbaki teoria ikertzen dutenak gehienbat, aierua ebazten saiatu dira. Gehienek egiazkoa dela pentsatzen dute, eta zenbaki lehenen probabilitate-banaketari buruzko zenbakizko ebidentzietan eta arrazoiketa heuristikoetan oinarritzen dira aburu hori mantentzeko.

1849an, Alphonse de Polignacek aieru orokorrago bat formulatu zuen: edozein k zenbaki naturalentzat, 2k distantziara dauden zenbaki lehenen bikoteak amaigabeak dira. Hortaz, zehazki, k = 1 kasua zenbaki lehen bikien aierua da.

Erreferentziak

[aldatu | aldatu iturburu kodea]
  1. Brummelen, Glen Van, ed. (2005). Mathematics and the historian's craft: the Kenneth O. May lectures ; [presented at CSHPM meetings since 1990. ] Springer ISBN 978-0-387-25284-1. (Noiz kontsultatua: 2023-10-25).
  2. Guy, Richard K.. (1981). «Additive Number Theory» Unsolved Problems in Number Theory (Springer New York): 58–78. ISBN 978-1-4757-1740-2. (Noiz kontsultatua: 2023-11-29).
  3. Shimura, Goro. (1989-03). «Yutaka Taniyama and His Time» Bulletin of the London Mathematical Society 21 (2): 186–196.  doi:10.1112/blms/21.2.186. ISSN 0024-6093. (Noiz kontsultatua: 2023-10-25).
  4. (Ingelesez) Friedl, Stefan. (2014-12). «Thurston’s Vision and the Virtual Fibering Theorem for 3-Manifolds» Jahresbericht der Deutschen Mathematiker-Vereinigung 116 (4): 223–241.  doi:10.1365/s13291-014-0102-x. ISSN 0012-0456. (Noiz kontsultatua: 2023-10-25).
  5. Thurston, William P.. (1982-05-01). «Three dimensional manifolds, Kleinian groups and hyperbolic geometry» Bulletin of the American Mathematical Society 6 (3): 357–382.  doi:10.1090/s0273-0979-1982-15003-0. ISSN 0273-0979. (Noiz kontsultatua: 2023-10-25).
  6. Vogt, R.. (2015-08-31). Final Progress Report (06/01/2010 - 06/01/15). (Noiz kontsultatua: 2023-11-14).
  7. Mangiarotti, Sylvain; Huc, Mireille. (2019-02-01). «Can the original equations of a dynamical system be retrieved from observational time series?» Chaos: An Interdisciplinary Journal of Nonlinear Science 29 (2)  doi:10.1063/1.5081448. ISSN 1054-1500. (Noiz kontsultatua: 2023-11-14).
  8. Nervenheilkunde 33 (07/08) 2014  doi:10.1055/s-008-37807. ISSN 0722-1541. (Noiz kontsultatua: 2023-11-14).
  9. Abe, Jair Minoro, ed. (2001). Unsolved problems on mathematics for the 21st century: a tribute to Kiyoshi Iséki's 80th birthday. IOS Press ISBN 978-90-5199-490-2. (Noiz kontsultatua: 2023-11-14).
  10. «25. FHD 2008-03-14 KKO:2008:22» Nordisk Domssamling 51 (1): 13–14. 2009-07-10  doi:10.18261/issn1504-3185-2009-01-102. ISSN 0029-1315. (Noiz kontsultatua: 2023-11-14).
  11. Noble, Lindsey J.; Chuah, Ashleigh; Callahan, Kathleen K.; Souza, Rimenez R.; McIntyre, Christa K.. (2019-06-17). «Peripheral effects of vagus nerve stimulation on anxiety and extinction of conditioned fear in rats» Learning & Memory 26 (7): 245–251.  doi:10.1101/lm.048447.118. ISSN 1549-5485. (Noiz kontsultatua: 2023-11-14).
  12. «Hodges Conjecture Clay Institute Millennium Problem Solution» American Research Journal of Mathematics 2017  doi:10.21694/2378-704x.17004. ISSN 2378-704X. (Noiz kontsultatua: 2023-11-29).
  13. «Hodges Conjecture Clay Institute Millennium Problem Solution» American Research Journal of Mathematics 2017  doi:10.21694/2378-704x.17004. ISSN 2378-704X. (Noiz kontsultatua: 2023-11-29).
  14. «Quantum Yang–Mills theory» Quantum Field Theory and the Standard Model (Cambridge University Press): 508–533. 2013-12-15 (Noiz kontsultatua: 2023-11-29).
  15. Dyson, F. J.. (1964-07-31). «PCT, Spin and Statistics, and All That. R. F. Streater and A. S. Wightman. Benjamin, New York, 1964. x + 181 pp. Illus. Paper, $4.95; cloth, $9» Science 145 (3631): 475–475.  doi:10.1126/science.145.3631.475. ISSN 0036-8075. (Noiz kontsultatua: 2023-11-29).
  16. Osterwalder, Konrad; Schrader, Robert. (1975-10). «Axioms for Euclidean Green's functions II» Communications in Mathematical Physics 42 (3): 281–305.  doi:10.1007/bf01608978. ISSN 0010-3616. (Noiz kontsultatua: 2023-11-29).

Kanpo estekak

[aldatu | aldatu iturburu kodea]