Storia Della Matematica

Vincenzo Pappalardo
!"#$#!!"#$%&!!
!"##$!
!"#$!"#%&"!
Da Wikipedia, l'enciclopedia libera
BREVE STORIA DELLA MATEMATICA
!"#$%#&'()*++*,*-.'!
STORIA DELLA FISICA

E DEL PENSIERO SCIENTIFICO
Copyright ! 2011 di Vincenzo Pappalardo Tutti i diritti sono riservati

Prima edizione settembre 2011
Il presente libro Breve storia della matematica pu essere copiato, fotocopiato, a patto che il presente avviso non venga alterato, e che la propriet del documento rimanga di Vincenzo Pappalardo. Il presente documento pubblicato sul sito: www.liceoinweb.altervista.org
Il teorema che non potr mai essere dimostrato: Lamore
!"#$%&'
5 Prefazione 6 Introduzione 7 CAPITOLO 1: La Matematica primitiva 9 CAPITOLO 2: Civilt antiche
2.1 Matematica dell'Antico Egitto (2000 a.C.-600 a.C.) 2.2 Matematica dell'antica Mesopotamia (1900 a.C.-300 a.C.) 2.3 Matematica dell'antica India (900 a.C.-200)
11 CAPITOLO 3: La Matematica greco-ellenistica (circa 550 a.C. 400 d.C.)

3.1 Introduzione 3.2 Matematica greca arcaica (600-300 a.C.) 3.3 Matematica greca ellenistica (300 a.C.-400 d.C.)
14 CAPITOLO 4: La Matematica medioevale

4.1 4.2 4.3 4.4 4.5 Matematica Matematica Matematica Matematica Matematica delle civilt precolombiane cinese (200 a.C. - 1200) indiana classica (400 - 1500) persiana e araba (750 - 1400) Medioevale Europea (1000-1400)
18 CAPITOLO 5: La Matematica nel periodo della rivoluzione scientifica

5.1 Il XVI secolo 5.2 Il XVII secolo 5.3 Il XVIII secolo
23 CAPITOLO 6: Let delloro della Matematica

6.1 6.2 6.3 6.4 6.5 6.6 Algebra Analisi Teoria dei Numeri Geometria Algebra astratta Logica, Teoria degli insiemi
27 CAPITOLO 7: La Matematica nel XX secolo

7.1 7.2 7.3 7.4 7.5 7.6 7.7 7.8 7.9 Teoria degli insiemi Analisi Algebra Topologia Teoria dei numeri Geometria Informatica Teoria dei giochi, Economia Filosofia matematica
31 CAPITOLO 8: La matematica del XXI secolo 32 Glossario 4
!"#$%&'()#*
Il mondo contemporaneo sempre pi caratterizzato dallo sviluppo della capacit logica e di interpretazione della realt in termini matematici. Da qui nasce l'esigenza di inserire la matematica nella sua dimensione storica, come processo di ricerca e di scoperta in continuo sviluppo. Questa Breve Storia della Matematica vuole dare un modesto contributo a questa esigenza, attraverso una trattazione sufficientemente analitica, per consentire a chi vuole di approfondire le varie tematiche proposte, e nello stesso tempo sufficientemente sintetica per risultare leggibile anche a chi "tecnico della matematica" non . A tal proposito, nel glossario sono riportati tutti quei concetti, assiomi, teoremi, congetture ed altro, che non si incontrano in un normale corso di matematica al liceo.
' ' ' ' ' '

5
!"()*#+,$*"&'
La parola "Matematica" deriva dalla parola greca mthema che significa conoscenza o apprendimento; mathematiks significava invece "appassionato del conoscere". Oggi il termine si riferisce ad un corpo di conoscenze tendenzialmente ben definito che riguarda lo studio dei problemi concernenti quantit, forme spaziali, processi evolutivi e strutture formali, studio che si basa su definizioni precise e di procedimenti deduttivi rigorosi. L'attivit svolta dai matematici moderni molto diversa da quella dei primi matematici delle civilt antiche. Inizialmente la matematica si bas sul concetto di numero; concetto sviluppatosi nella preistoria. La matematica stata una tra le prime discipline a svilupparsi. Evidenze archeologiche mostrano la conoscenza rudimentale di alcune nozioni matematiche molto prima dell'invenzione della scrittura. I testi matematici pi antichi provengono dall'antico Egitto, nel periodo del Regno di mezzo, (2000-1800 a.C. ca.) (papiro di Berlino), dalla Mesopotamia (1900-1700 a.C. ca.) (tavoletta Plimpton 322) e dall'India, (800-600 a.C. ca) (Sulba Sutras). Tutti questi testi toccano il cosiddetto teorema di Pitagora, che sembra essere il pi antico e diffuso risultato matematico che va oltre l'aritmetica e la geometria elementari. Un aspetto importante della storia della matematica consiste nel fatto che essa si sviluppata indipendentemente in culture completamente differenti che arrivarono agli stessi risultati. Spesso un contatto o una reciproca influenza tra popoli differenti ha portato all'introduzione di nuove idee e a un avanzamento delle conoscenze matematiche. A volte si vista invece una decadenza improvvisa della cultura matematica presso alcuni popoli che ne ha rallentato lo sviluppo. La matematica moderna ha invece potuto avvalersi dei contributi di persone di tutti i paesi.
-./!0121'3''
"#!$#%&$#%'(#!)*'$'%'+#!
Prima che apparissero i primi documenti scritti si trovano disegni che testimoniano conoscenze della matematica e della misurazione del tempo basata sull'osservazione delle stelle. Altri artefatti preistorici scoperti in Africa e Francia, datati tra il 35.000 a.C. e il 20.000 a.C., indicano i primi tentativi di quantificazione del tempo. Si suppone che i primi conteggi coinvolgessero donne che registravano i loro cicli mensili o le fasi lunari. Parallelamente si and sviluppando il concetto di numero: probabile che le prime considerazioni riguardassero i branchi di animali e la distinzione tra i concetti di "uno" "due" e "molto", come ancor oggi fanno gli zulu, i pigmei africani, i nativi delle Isole Murray, i kamilarai australiani, e i botocudos brasiliani. Altre popolazioni sono in grado di aumentare la capacit di conteggio visivo ricorrendo all'uso, secondo un preciso ordine, di parti del proprio corpo, arrivando in tal modo a contare fino a 17, 33, 41 in funzione dei riferimenti corporali utilizzati. Sul piano fisiologico sembrerebbe che la capacit di percepire visivamente, senza dover contare, il numero di elementi si fermi a quattro. significativo a riguardo che in taluni linguaggi vi sia la declinazione delle forme al singolare, duale, triale, quattriale e plurale; anche in latino solo i primi quattro numeri (unus, duo, tres, quatuor) sono declinabili. Alcuni esperimenti effettuati sulle cornacchie indicano la capacit di distinguere fino a quattro elementi di un insieme. Successivamente tali concetti si palesarono con tacche e incisioni. Si andavano sviluppando anche le prime, semplici nozioni geometriche. I paleontologi hanno scoperto rocce di ocra in una caverna del Sud Africa adornate di configurazioni geometriche che risalgono al 70.000 a.C. . L'Osso Ishango, ritrovato nell'area delle sorgenti del Nilo (nord est del Congo), presenta delle incisioni che potrebbero indicare una primitiva conoscenza della sequenza dei numeri primi. Monumenti megalitici che in Egitto risalgono fino al V millennio a.C. e in Inghilterra e Scozia a partire dal III millennio a.C., con il loro disegno concretizzano idee geometriche come quelle di cerchio, ellisse e terna pitagorica e una possibile comprensione della misurazione del tempo basata sui movimenti delle stelle. Intorno al 2600 a.C. le tecniche per le grandi costruzioni mostrano la padronanza della geodesia di precisione. Le prime nozioni matematiche che ci sono giunte dall'antica India risalgono al periodo 3000 a.C.-2600 a.C., prevalentemente nell'India settentrionale e nel Pakistan. 7
Furono sviluppati un sistema di pesi e misure uniformi il quale si serviva di frazioni decimali, una tecnologia dei mattoni sorprendentemente avanzata che utilizzava i rapporti di strade disposte secondo perfetti angoli retti e di una enorme variet di forme e figure geometriche (parallelepipedo rettangolo, botte, cono, cilindro e figure di cerchi e triangoli concentrici ed intersecati). Tra gli strumenti matematici scoperti vi sono una accurata riga con suddivisioni decimali precise e ravvicinate, uno strumento a conchiglia che serviva da compasso per misurare angoli sulle superfici piane secondo multipli di 40 360 gradi e uno strumento per la misura delle posizioni delle stelle per la navigazione. La scrittura dell'Indo non ancora stata decifrata; quindi si conosce ben poco delle forme scritte della Matematica indiana. L'evidenza archeologica ha condotto alcuni storici a credere che questa civilt usasse un sistema di numerazione in base 8 e possedesse la nozione del rapporto fra lunghezza della circonferenza di un cerchio e del suo diametro, cio un valore di !.
-./!0121'4''
('+'"%#,!#-%'(.&!
2.1 Matematica dell'Antico Egitto (2000 a.C.-600 a.C.) Il pi antico testo egizio finora scoperto il papiro di Mosca, datato fra il 2000 a.C. e il 1800 a.C. Come molti testi matematici antichi si presenta come un problema basato su una storia, apparentemente scritto a scopi ricreativi. La parte ritenuta pi interessante quella nella quale si espone un metodo per trovare il volume di un tronco di piramide. Un altro testo importante il papiro di Rhind (datato intorno al 1650 a.C.), un manuale di istruzione di aritmetica e geometria. Oltre a fornire formule per aree e procedimenti di moltiplicazione, divisione e operazioni con frazioni a numeratore unitario, contiene l'evidenza di altre nozioni matematiche come numero primo1, media aritmetica2, media geometrica3, media armonica4 e numeri perfetti5. Vi si trova anche una spiegazione primitiva del crivello di Eratostene6 e il metodo per la soluzione di una equazione lineare del primo ordine. Il papiro di Rhind contiene anche nozioni di geometria non banali come un metodo per ottenere un'approssimazione di ! con un'imprecisione inferiore all'1%, un primo tentativo di effettuare la quadratura del cerchio7 e il primo uso conosciuto di un tipo di cotangente. Nel periodo ellenistico gli studiosi dell'Egitto per i loro scritti abbandonarono l'antica lingua e adottarono la greca. Da quel momento la matematica degli egizi si fuse con quella greca dando vita alla grande matematica ellenistica. 2.2 Matematica dell'antica Mesopotamia (1900 a.C.-300 a.C.) Diversamente dalla scarsit di fonti che ci sono rimaste riguardo la matematica egizia, la nostra conoscenza della matematica babilonese deriva dal ritrovamento, risalente alla met del XIX secolo, di pi di 400 tavolette di argilla. Scritte in carattere cuneiforme, la maggior parte datata dal 1800 al 1600 a.C., e trattano argomenti che includono frazioni, algebra, equazioni di secondo grado ed il calcolo di terne pitagoriche8. Le tavolette includono inoltre tavole di moltiplicazione, tavole trigonometriche e metodi risolutivi per equazioni lineari e quadratiche. La tavoletta "YBC 7289" fornisce un'approssimazione di radice di 2 accurata alla quinta cifra decimale. 9
La matematica babilonese faceva uso di un sistema di numerazione posizionale sessagesimale (cio a base 60). Lo sviluppo della matematica babilonese probabilmente fu favorito da questo particolare sistema di numerazione, possedendo il numero 60 numerosi divisori. L'uso di un sistema posizionale9 per rappresentare i numeri (come quello arabico in uso in tutto il mondo oggi) differenzia i Babilonesi da Egiziani, Greci e Romani: nella rappresentazione babilonese le cifre scritte nella colonna sinistra rappresentano valori pi grandi. Tuttavia in un primo tempo i Babilonesi non usavano la cifra zero. Questo faceva s che spesso il valore posizionale di una cifra dovesse essere dedotto dal contesto. Successivamente fu introdotta cifra che faceva da zero ma sembra che i Babilonesi non la usassero nella posizione delle unit (i numeri 22 e 220 erano, per esempio, indistinguibili). 2.3 Matematica dell'antica India (900 a.C.-200) Dopo il collasso della Civilt della valle dell'Indo nel 1500 a.C., la scrittura scomparve dall'Asia meridionale per lungo tempo. Sono assai controverse le date nelle quali la pratica dello scrivere riemerse nell'India e in cui la scrittura Brahmi fu sviluppata. Recenti evidenze archeologiche la datano intorno al 600 a.C., mentre alcuni studiosi propongono anche il 1000 a.C.. Se le date pi lontane sono corrette, forse Pitagora visit l'India come sostenuto alcuni storici (Florian Cajori) altrimenti la matematica indiana pu aver beneficiato del contatto con il mondo greco in seguito alla invasione di Alessandro Magno. anche possibile (come sostenuto dalla maggioranza degli studiosi) che le due tradizioni matematiche si siano sviluppate indipendentemente. Nell'era vedica la matematica non era studiata solo per scopi scientifici, ma si incontrano esposizioni matematiche avanzate diffuse in tutto il grande corpo dei testi indiani di questo periodo. La Yajur-Veda composta dal 900 a.C., per prima affronta il concetto di infinit numerica. Yajnavalkya (900-800 a.C. circa) calcol il valore di ! con 2 cifre decimali. Le Sulba Sutras (800-600 a.C. circa) sono testi di geometria che usano numeri irrazionali10, numeri primi, la regola del tre e radici cubiche; calcolano la radice quadrata di 2 con 5 cifre decimali, danno un metodo per la quadratura del cerchio, risolvono equazioni lineari ed equazioni quadratiche, determinano algebricamente terne pitagoriche e danno un enunciato e una dimostrazione numerica del teorema di Pitagora. Pingala (IV secolo a.C.-III secolo a.C.) invent un sistema binario11, studi quelli che in seguito verranno definiti la sequenza di Fibonacci12 e il triangolo di Pascal13; inoltre formul la definizione di matrice14. Tra il IV secolo a.C. ed il III secolo d.C. i matematici indiani cominciarono ad impostare i loro studi in una prospettiva unicamente speculativa. Furono i primi a sviluppare ricerche su teoria degli insiemi15, logaritmi, equazioni di terzo grado, equazioni di quarto grado, serie e successioni, permutazioni e combinazioni, estrazione di radici quadrate, potenze finite e infinite. Il Manoscritto Bakshali, composto tra il III secolo a.C. ed il III secolo d.C., include soluzioni di equazioni lineari con pi di cinque incognite, la soluzione di equazioni quadratiche, geometriche, sistemi di equazioni, l'uso del numero zero e i numeri negativi. Vi si trovano anche accurati algoritmi per il calcolo di numeri irrazionali.
10
-./!0121'5''
"#!$#%&$#%'(#!/*&(01&""&-'2%'(#!
(circa 550 a.C.-400 d.C.)
3.1 Introduzione Per quella che spesso viene chiamata matematica greca opportuno distinguere due periodi. Nel primo periodo, quello della massima importanza economica e politica delle citt greche e delle loro colonie, si colloca la matematica sviluppata dai matematici di queste citt. Nel successivo periodo ellenistico (che si pu far iniziare nel 323 a.C. e concludere intorno al V secolo d.C.) si colloca la produzione di tutti gli autori che operarono nel mondo ellenistico accomunati dell'uso della lingua greca. Molte delle pi grandi menti di questo periodo come Archimede e Apollonio non vissero nell'area geografica corrispondente all'attuale Grecia, pur essendo protagonisti della cultura ellenistica di lingua greca diffusasi in molte aree mediterranee. Per quanto i pi antichi testi di matematica trovati in greco siano stati scritti posteriormente al periodo ellenistico, parecchi di essi vengono ritenuti copie di opere scritte durante e anche prima di questo periodo. Nondimeno, la datazione della matematica greca pi attendibile rispetto a quella degli scritti matematici pi antichi, poich esistono numerose cronologie che, sovrapponendosi, riportano gli avvenimenti anno per anno fino ad oggi. 3.2 Matematica greca arcaica (600-300 a.C.) La matematica greca molto pi moderna di quella sviluppata dalle precedenti culture quali quella egiziana e babilonese, in quanto tali precedenti culture utilizzavano il ragionamento empirico che sfrutta le osservazioni ripetute per fondare le regole della matematica. La matematica greca antica, all'opposto, si basa sul ragionamento deduttivo, che partendo da assiomi pi o meno scontati usa rigorosi ragionamenti per dimostrare teoremi. Su questa idea ancor oggi si basa tutta la matematica moderna. I Greci si occuparono quasi esclusivamente di Geometria e, secondo i loro canoni si potevano usare solo due strumenti per la costruzione e lo studio di figure geometriche: la riga (non taccata) e il compasso (che si chiudeva non appena sollevato dal foglio, e quindi non poteva servire per riportare una misura). Ragionamenti che coinvolgevano altri strumenti erano a volte utilizzati, ma venivano considerati non rigorosi. Si ritiene che la matematica greca abbia avuto inizio con Talete di Mileto (624-546 a.C. ca.) e Pitagora di Samo (582-507 a.C. ca.). Questi furono probabilmente influenzati 11
dalle idee della matematica egiziana, della matematica babilonese e della matematica indiana, per quanto la rilevanza di questa influenza sia dibattuta. Talete si occup di geometria, scoprendo per esempio il teorema secondo il quale un triangolo inscritto in una semicirconferenza sempre rettangolo e molte proposizioni riguardanti i triangoli simili. Grazie a tali teoremi, secondo la leggenda, riusc a determinare l'altezza della piramide di Cheope misurando la sua ombra. L'importanza di Talete per sta nel fatto che egli fu, forse, il primo a capire l'importanza della dimostrazione nei suoi ragionamenti. Pitagora invece fu il fondatore della Scuola pitagorica, una setta i cui membri si dedicavano alla ricerca matematica. La scuola pitagorica presentava anche connotazioni filosofiche e mistiche: i membri per esempio seguivano ideali di perfezione nel numero cinque (e quindi al pentagono e al dodecaedro) e nella sfera. Tutta la filosofia della setta era fondata sui numeri naturali e sui loro quozienti, i numeri razionali. Questa comunit diede importanti contributi alla geometria, primo fra tutti la dimostrazione del Teorema di Pitagora (sembra gi trovato empiricamente da egiziani e babilonesi) e alla teoria dei numeri, come la classificazione e lo studio dei numeri figurati16 e dei numeri perfetti17, la scoperta delle terne pitagoriche e del crivello di Eratostene. Paradossalmente la scoperta pi importante della comunit fu forse la dimostrazione che il rapporto tra il lato e la diagonale di un quadrato (ossia radice di 2) non esprimibile come rapporto di due interi. Questa scoperta, che prova l'esistenza dei numeri irrazionali, andava contro a tutta la filosofia della setta. Secondo la tradizione riportata da alcuni autori posteriori, il pitagorico Ippaso di Metaponto fece tale scoperta durante un viaggio in nave, ed ebbe l'infelice idea di comunicarla senza indugio agli altri adepti della setta, i quali comprendendone immediatamente le conseguenze gettarono lo stesso Ippaso in mare. Altri autori menzionano semplicemente il fatto che Ippaso mor in un naufragio. Di fatto, se pure ci fu un tentativo dei pitagorici di tenere nascosta la scoperta, questo non riusc. Oggi si ritiene pi probabile che la dimostrazione dell'irrazionalit di sia pi tarda e che i pitagorici abbiano osservato l'irrazionalit della diagonale del pentagono di lato unitario (ossia sezione aurea18). Pi tardi la matematica greca si diffuse e nacquero per esempio i tre problemi classici: la quadratura del cerchio, la duplicazione del cubo19 e la trisezione dell'angolo20, da risolvere usando solo riga e compasso. L'impossibilit di risolvere questi problemi stata provata solo nell'epoca moderna; gi nell'antichit furono trovate soluzioni che per coinvolgevano altri strumenti oltre ai due "canonici". Nello studiare questi problemi si distinsero matematici come Archita di Taranto, Ippia di Elide e Ippocrate di Chio. Eudosso di Cnido fu invece il primo a cercare di approssimare un cerchio tramite poligoni regolari (metodo di esaustione21). Importante in quel periodo fu anche l'opera logica di Aristotele che, nell' Organon, svilupp il concetto di sillogismo22. 3.3 Matematica greca ellenistica (300 a.C.-400 d.C.) Successivamente, con la fondazione ad Alessandria della Biblioteca e del Museo, che raccoglievano le pi grandi menti dell'epoca, la citt egizia divenne il centro culturale pi importate dell'et ellenistica. In questo periodo si situa l'opera di Apollonio di Perga (262-190 a.C ca.), di Euclide (367-283 a.C. ca.) e di Archimede di Siracusa (284-218 a.C. ca.).
12
Il primo noto soprattutto per l'imponente opera Le Coniche nella quale definiva e studiava le sezioni coniche: ellisse, parabola e iperbole e che ebbe grande importanza nel mondo europeo. L'opera pi importante di Euclide sono invece gli Elementi in cui egli raccoglie tutti i teoremi elementari di Aritmetica ma soprattutto di Geometria, per esempio i principali teoremi di geometria piana e solida come il Teorema di Pitagora e la costruzione dei solidi regolari o una dimostrazione dell'infinit dei numeri primi. Gli Elementi sono stati considerati il pi attendibile manuale di matematica per secoli e secoli. L'importanza di questo capolavoro sta anche nel fatto che Euclide basa su pochi assiomi23 fondamentali (in particolare su cinque che riguardano la geometria) tutta la matematica elementare e d prova di un uso esemplare della logica matematica. Archimede da molti considerato il pi grande matematico del periodo greco ellenistico. Lasci innumerevoli opere nelle quali d prova di una grande inventiva. Riusc ad approssimare ! circoscrivendolo tra due numeri limite, a scoprire la formula per calcolare il volume e la superficie della sfera e l'area del cerchio. Descrisse la costruzione dei solidi semiregolari o archimedei. Anticip in molti testi il calcolo infinitesimale come per esempio nell'opera Sulle spirali dove trova la tangente e la lunghezza di un arco di spirale archimedea o nella Quadratura della parabola24 dove in appendice calcola addirittura il risultato di una serie geometrica25. Fu anche un ingegnere valente e molte sono le opere meccaniche che secondo la leggenda avrebbe costruito. Dopo Archimede la matematica ellenistica entr in crisi: i romani, fatte salve le nozioni che servivano loro per l'ingegneria, non ebbero alcun interesse verso la matematica che fu sempre pi emarginata e assimilata all'astrologia. Gli ultimi matematici degni di nota furono Diofanto di Alessandria che nella sua Aritmetica gett le basi per la teoria delle equazioni diofantee26 e lo studioso di geometria Pappo di Alessandria. Anche i cristiani e le popolazioni barbariche dimostrarono poco interesse per la matematica: anche se formalmente aritmetica e geometria facevano parte del Quadrivio, le nozioni studiate erano davvero minimali. La matematica europea si stava avviando a un lungo declino.
13
-./!0121'6''
"#!$#%&$#%'(#!$&3'0&+#"&!
4.1 Matematica delle civilt precolombiane Il periodo classico della civilt Maya si situa tra il 200 e l' 800 d.C. Gli sviluppi della matematica Maya furono dovuti principalmente ai loro studi astronomici. Essi usarono un sistema posizionale a base venti nel quale appariva anche lo 0. Tuttavia i Maya non considerarono mai lo 0 come un numero ma solo come una cifra. La civilt Inca (1400-1530) invece svilupp un sistema di numerazione a 10. Per indicare i numeri essi usavano i cosiddetti quipu, un insieme di lunghi fili paralleli. Ogni filo rappresentava una potenza di dieci e il numero di nodi la cifra in quella posizione. 4.2 Matematica cinese (200 a.C.-1200) In Cina, nel 212 a.C. (alla fine del lungo periodo della guerra civile degli Stati combattenti) l'imperatore Qin Shi Huang (Shi Huang-ti) ordin il rogo di tutti i testi scritti. Bench alcuni testi si siano salvati, molto poco conosciuto della matematica cinese precedente a questa data. Un altro fattore che non ha favorito la nostra conoscenza il fatto che gran parte delle opere erano scritte sul bamboo, molto deperibile. Del precedente periodo Shang (1500 a.C.-1027 a.C.) il pi antico reperto di interesse per la storia della matematica consiste in un guscio di tartaruga su cui sono incisi dei numeri che usano una specie di notazione decimale. Il numero 123 ad esempio scritto con il simbolo di 1 seguito da quello di centinaia, il simbolo di due seguito da quello di decine e il simbolo di 3. Non sappiamo con precisione quando questo sistema, che era il pi avanzato al mondo in quel periodo, fu inventato. Dopo il rogo dei libri, durante la Dinastia Han (206 a.C.-221 d.C.) furono prodotti vari lavori matematici che presumibilmente estendevano quelli andati persi. Il pi importante di questi I nove capitoli dell'Arte matematica che consiste in una raccolta di 246 problemi riguardanti l'agricoltura, il commercio e l'ingegneria e altro materiale riguardante i triangoli rettangoli. Zu Chongzhi (quinto secolo) calcol il valore di ! con 14
sette cifre decimali esatte. Questa fu la miglior stima della costante per i successivi mille anni. I matematici cinesi svilupparono una particolare predilezione per i quadrati magici27. Secondo la leggenda il primo di questi venne comunicato all'imperatore da una tartaruga uscita dal fiume. Questo interesse port i cinesi a studiare i sistemi di equazioni lineari e a scoprire la cos detta Regola di Horner28. Furono anche i primi a sviluppare concetti analoghi a quelli di matrice e determinante. Nei successivi secoli la matematica cinese si svilupp velocemente ,superando quella europea del tempo. Le conoscenze cinesi includevano i numeri negativi e il Teorema binomiale29. I cinesi svilupparono anche il Triangolo di Pascal (o di Tartaglia) che si trova nel frontespizio del trattato Ssu Yuan Yu scritto dal matematico Zhu Shijie. 4.3 Matematica indiana classica (400-1500) Il Surya Siddhanta scritto circa nel 400 introduceva le funzioni trigonometriche del seno coseno e le loro inverse. Gli indiani si occuparono anche di astronomia riuscendo a compilare precise tavole astronomiche che descrivevano il movimento apparente degli astri in cielo. Calcolarono l'anno siderale in 365.2563627 giorni, un valore inferiore di 1,4 secondi a quello accettato al giorno d'oggi. Questi lavori, durante il medioevo, furono tradotti in Arabo e in Latino. Nel 499 Aryabhata introdusse il senoverso e compil le prime tavole trigonometriche. Svilupp tecniche e algoritmi30 per l'algebra, e per le equazioni diofantee usando nell'ultimo caso un metodo equivalente a quello attuale. Calcol il valore di ! con quattro cifre decimali. Nel VII secolo invece Brahmagupta (598 668) scopr il l'identit e la formula che portano il suo nome e per primo nel Brahma-sphuta-siddhanta us senza riserve lo 0 e il sistema decimale. da una traduzione del testo che i matematici arabi accettarono il sistema decimale. Nel XII secolo, Bhaskara (1114 1185) concep dei metodi molto vicini al calcolo differenziale introducendo concetti simili alla derivata. Prov anche un equivalente del Teorema di Rolle. Dal XIV secolo Madhava e altri matematici svilupparono i concetti di analisi matematica, di virgola mobile31 e utilizzarono metodi iterativi per la soluzione delle equazioni non lineari32. Svilupparono poi teoremi e algoritmi molto simili all'attuale integrazione termine a termine al teorema del valor medio, alle serie di Taylor e alle serie trigonometriche. Nel XVI secolo per la matematica indiana, anche per via di un periodo di forte instabilit politica, inizi il declino. 4.4 Matematica persiana e araba (750-1400) L'Impero islamico arriv a dominare, nell'VIII secolo d.C. il Nord Africa, la Penisola iberica e parte dell'India. Entrarono cos in contatto con la matematica ellenistica e con quella indiana. Nella seconda met del VIII secolo Baghdad divenne un nuovo centro del 15
sapere a livello mondiale. Sovrani come al-Mansur, Harun ar-Rashid e al-Mamun si dimostrarono attenti nei confronti della matematica e preservarono dalla distruzione molte opere matematiche greche che altrimenti sarebbero probabilmente andate perse. Thabit ibn Qurra fond una scuola di traduttori che tradusse in arabo le opere di Archimede, Euclide e Apollonio. Gli Arabi tradussero, inoltre, molti testi indiani. Questi fatti contribuirono non poco alla nascita della matematica islamica. Molti tra i pi grandi matematici islamici erano persiani. Muhammad ibn Musa al-Khwarizmi (780-850 Ca), un matematico persiano scrisse importanti volumi sul sistema di numerazione indiano e sui metodi per risolvere equazioni. La parola "algoritmo" deriva dal suo nome e "Algebra" dal titolo della sua opera pi importante Al-Jabr wa-al-Muqabilah. AlKhwarizmi introdusse anche il sistema decimale nel mondo arabo. considerato da molti il fondatore dell'algebra moderna. Ibn Qurra studi i numeri amicabili33. Altri sviluppi alla materia furono apportati da Abu Bakr al-Karaji (953-1029) nel suo trattato al-Fakhri. Nel X secolo, Abul Wafa tradusse le opere di Diofanto in arabo e studi la trigonometria ottenendo le formule di addizione e sottrazione per il seno. Alhazen studi invece l'ottica. Omar Khayyam (1048-1131) fu poeta e matematico. Scrisse le Discussioni sulle difficolt in Euclide nel quale tentava di dimostrare il quinto postulato di Euclide riguardante le rette parallele (data una retta e un punto fuori di essa esiste solo una parallela alla retta data passante per quel punto) partendo dagli altri quattro; impresa che sarebbe poi diventata un "chiodo fisso" per i matematici. Diede una soluzione geometrica all'equazione di terzo grado ma non riusc a risolverla per radicali. Il matematico Nasir alDin Tusi svilupp invece nel XIII secolo la trigonometria sferica. Nel XIV secolo, Ghiyath al-Kashi calcol il valore di ! con 16 decimali. Al-Kashi trov anche la regola di Ruffini per scoprire la radice ennesima di un'equazione. Nel XIII secolo e nel XIV secolo la matematica araba entr in crisi a causa di un periodo di forte instabilit politica e religiosa, nonch per il diffondersi sette di movimenti ostili al sapere matematico. I molti popoli che si susseguirono nel mondo arabo dal XII secolo contribuirono al definitivo declino della scienza e della matematica arabe. 4.5 Matematica Medioevale Europea (1000-1400) Subito dopo la caduta dell'impero romano gran parte della matematica greca and persa. Molte biblioteche, come quella di Alessandria, andarono distrutte. Gli studiosi cristiani non diedero importanza alla matematica nei loro lavori, ma anzi in alcuni casi parlarono anche contro di essa. Nei primi secoli dopo la fine dell'Impero romano non ci fu quasi nessun progresso nel sapere matematico. Anche se la matematica faceva parte del Quadrivio le nozioni matematiche studiate riguardavano soprattutto l'agrimensura. L'astrologia invece fu assimilata alla matematica. Verso l'XI secolo la cultura occidentale entr in contatto con quella araba, scientificamente molto superiore e iniziarono a circolare in Europa le traduzioni dall'arabo di classici matematici antichi come gli Elementi ma anche di lavori arabi quali l'Algebra di 16
Al-Khwarizmi. Verso quel periodo si situa anche la rinascita economica dell'occidente che port i commercianti a fare sempre pi uso della matematica. Leonardo Pisano, detto anche Leonardo Fibonacci (1170-1250 ca) fu probabilmente il pi grande matematico del periodo. Nel suo Liber Abaci fece conoscere in Europa il sistema dei numerazione decimale e lo zero. Nel trattato si trovano molti problemi di natura pratica o commerciale, alcuni di essi comunque svelano le grandi doti di matematico di Fibonacci come quello della moltiplicazione dei conigli che genera la sequenza di Fibonacci. Nei secoli successivi lo sviluppo della matematica acceler. Nicola Oresme (1323 1382) anticip i concetti di potenza irrazionale e grafico di una funzione. Fu uno dei primi ad occuparsi di serie infinite, scoprendo i risultati di molte di esse e dimostrando la divergenza della serie armonica. Fu anche il primo a avere l'idea di rappresentare il movimento con un grafico alla maniera moderna. Nel XV secolo si pu situare la nascita della matematica europea moderna. Le opere del tedesco Regiomontano apportarono un enorme sviluppo alla trigonometria. Luca Pacioli (1445-1514) riassunse tutta le conoscenze matematiche del tempo nella sua Summa. Gli artisti Leon Battista Alberti, Piero della Francesca e Albrecht Durer si interessarono invece di prospettiva e di geometria descrittiva.
17
-./!0121'7''
"#!$#%&$#%'(#!-&"!)&*'030!3&""#! *'+0"45'0-&!2('&-%'6'(#!
5.1 Il XVI secolo Nell'Europa del cinquecento, e in particolare in Italia, si diffuse un forte interesse per l'algebra. In questo secolo si cominciarono ad accettare i numeri negativi chiamati spesso "falsi". I matematici iniziarono a sfidarsi pubblicamente a risolvere alcuni problemi. Su queste competizioni si basava gran parte della fama dei matematici; dunque comprensibile come molte scoperte rimanessero per molto tempo segrete, in modo da poter servire come "arma" nei confronti pubblici. Fu questo il caso della soluzione per radicali dell'equazione di terzo grado, scoperta nel 1510 da Scipione del Ferro, ma tenuta segreta e riscoperta successivamente da Niccol Tartaglia (1550-1557), uno dei pi importanti matematici del periodo e autore fra l'altro di una traduzione degli Elementi in italiano. Tartaglia riusc cos a diventare uno dei matematici pi in vista dell'epoca e confid sotto giuramento il metodo risolutivo a un altro protagonista della matematica rinascimentale, Girolamo Cardano (1501-1576). Egli non esit per a pubblicare il metodo risolutivo nella sua opera Ars magna del 1545. Ci fece nascere una disputa tra i due che si concluse con la sconfitta di Tartaglia. Nell' Ars magna veniva anche esposto il metodo risolutivo dell'equazione di quarto grado, scoperto non da Cardano, bens dal suo allievo Ludovico Ferrari. Molti considerano la pubblicazione dell' Ars magna come il vero atto d'inizio della matematica moderna. Cardano fu il primo ad accorgersi che in certi casi la formula risolutiva dell'equazione di terzo grado richiedeva di calcolare la radice quadrata di un numero negativo, nel caso in cui c'erano tre soluzioni (reali). Rafael Bombelli (1526-1573), nella sua Algebra, propose di trattare le radici quadrate dei numeri negativi come se fossero dei numeri a tutti gli effetti, ancorch "immaginari" (il termine rest nell'uso), fintantoch venissero eliminati alla fine delle operazioni di risoluzione. Bombelli dimostr un'apertura notevole, visto che alcuni fra i suoi contemporanei faticavano persino ad accettare la nozione di numero negativo. Franois Vite dette importanti contributi alla trigonometria scoprendo le formule di prostaferesi. Forse la scoperta pi innovativa del periodo furono i logaritmi descritti da 18
John Napier nel Mirifici logarithmorum canonis descriptio. Questa scoperta facilit enormemente i calcoli soprattutto astronomici, riducendo le moltiplicazioni a somme e l'elevazione a potenza a moltiplicazioni. Nel XVI secolo vi fu anche un'ampia rivoluzione della notazione matematica: nel 1489 Johann Widman us per primo i segni + e -, nel 1557 Robert Recorde invent il segno =, successivamente William Oughtred utilizz il segno x per indicare la moltiplicazione e Thomas Harriot i segni > e <. Vite fu invece il primo ad usare lettere per indicare i coefficienti delle equazioni, pratica che si sarebbe evoluta fino alla forma attuale assunta con Cartesio. 5.2 Il XVII secolo Nel XVII secolo la matematica europea ricevette un forte impulso. Gli uomini di scienza iniziarono a riunirsi in accademie o societ come la Royal Society e la Acadmie franaise e furono istituite le prime cattedre di matematica nelle universit. Ci indubbiamente favor lo sviluppo delle tecniche matematiche. Gli italiani Bonaventura Cavalieri (1598-1647) e Evangelista Torricelli (1608-1647) inventarono il cosiddetto "metodo degli indivisibili"34 che lavorava sulle figure solide come composte da infiniti piani di spessore infinitesimo. Nonostante questo tipo di geometria fosse fondato su basi poco rigorose e soggetto perci a molte critiche, usandolo si giunse ad importanti risultati come il teorema di Pappo Guldino35 e il Principio di Cavalieri36. Il metodo era in realt una prima formulazione della geometria integrale ma ancora i concetti che stavano alla base dell'analisi non erano molto chiari. Un ulteriore sviluppo della geometria si ebbe nel 1637 quando Descartes (Cartesio) (1596-1650) pubblic La Gometrie nel quale illustrava i concetti fondamentali della geometria analitica, gi scoperti in realt da Fermat. Il principio della geometria analitica consisteva nel tracciare nel piano due assi perpendicolari detti appunto cartesiani (ascissa e ordinata) e di descrivere una curva come l'insieme di soluzioni di un'equazione a due incognite. La geometria si riduceva cos allo studio di equazioni algebriche. Questa scoperta port una rivoluzione concettuale enorme poich da quel punto in poi linee piani e curve furono visti in maniera algebrica, e non il contrario come si era fatto fino ad allora. Successivamente Gilles Roberval, Christian Huygens, John Wallis, Christopher Wren e Blaise Pascal (1623-1662) applicarono la geometria analitica per risolvere vari problemi riguardanti quadrature di archi e di aree sottese da varie curve. Pierre Fermat (1601-1665) e Cartesio si occuparono invece del problema delle tangenti (la determinazione della tangente in un dato punto di una curva) dando due interpretazioni diverse. Il metodo di Fermat il pi moderno dei due e anticipa il concetto di derivata anche se Fermat non riusc a giustificare del tutto alcuni passaggi. Questo problema avrebbe portato alla nascita del calcolo differenziale. Pascal oltre che di geometria si occup di combinatoria riuscendo a capire la correlazione di questa disciplina con il coefficiente binomiale. Utilizz poi il Triangolo di Pascal anche se esso era gi noto ad alti matematici come Tartaglia. Svilupp queste idee in una corrispondenza con Fermat nella quale si ponevano anche le fondamenta del moderno calcolo delle probabilit. 19
Fermat fu uno dei matematici pi produttivi del secolo nonostante fosse un magistrato e si occupasse della materia da dilettante. Oltre ai gi citati contributi alla geometria, Fermat diede un enorme contributo alla Teoria dei numeri: introdusse i numeri primi di Fermat37; congettur infine una quantit impressionante di teoremi come il Piccolo teorema di Fermat38 e il teorema di Fermat sulle somme di due quadrati39. La maggior parte di questi teoremi fu dimostrata da Euler ma per la congettura pi famosa del matematico francese, ossia l'ultimo teorema di Fermat40, si dovette attendere addirittura fino al 1994. In questo secolo lo studio degli algoritmi infiniti quali serie e prodotti infiniti divenne una branca centrale della matematica. John Wallis (1616-1703) fu uno dei matematici pi produttivi in questo campo. Tra i suoi contributi pi importanti si ricordano il prodotto di Wallis41 pubblicato nella Arithmetica Infinitorum (1655) che costituisce il suo capolavoro. In questo volume Wallis si avvicina molto al calcolo infinitesimale compiendo delle vere e proprie integrazioni. Pietro Mengoli e Nicolaus Mercator scoprirono le serie che oggi portano il loro nome. Un altro contributo importante venne da Gottfried Leibniz (1646-1716), Isaac Barrow e James Gregory portarono ulteriormente avanti queste idee e riuscirono ad arrivare a tecniche estremamente simili al calcolo infinitesimale. Il calcolo infinitesimale nacque compiutamente pochi anni dopo, grazie all'opera di Isaac Newton (1642-1727) e Leibniz che svilupparono contemporaneamente le idee fondamentali come quelle di derivazione e integrazione e dimostrarono il teorema fondamentale del calcolo infinitesimale. Newton tenne per s le sue scoperte e quando le pubblic molti anni dopo scoppi una violenta disputa che lo vide contrapposto al tedesco. Il calcolo si diffuse rapidamente, nonostante alcune riserve dovute soprattutto ai concetti usati, definiti allora in modo poco rigoroso. Tra i sostenitori del calcolo ci furono i fratelli Jakob (1654-1705) e Jean Bernoulli (1667-1748), due membri di una prodigiosa famiglia che avrebbe dato al mondo pi di un talento matematico. I due svilupparono il calcolo affrontando problemi come quello della brachistocrona42 e della rettificazione della lemniscata43. Jakob studi poi la spirale logaritmica trovandone molte propriet e il calcolo delle probabilit enunciando la legge dei grandi numeri e il paradosso di San Pietroburgo44. Insieme a Leibniz iniziarono per primi a studiare le equazioni differenziali45 aprendo cos la strada per gli sviluppi futuri. Anche il marchese de l'Hopital studi il calcolo scoprendo la cosiddetta regola di de l'Hopital (scoperta in realt da Bernoulli). Brook Taylor invece scopr le serie di Taylor (gi note in realt ad altri matematici) che avrebbero avuto un'importanza fondamentale nello sviluppo dell'analisi complessa46. In questo secolo apparvero anche le prime macchine calcolatrici meccaniche. Pascal ne invent una capace di fare somme e sottrazioni, mentre una macchina di Leibniz eseguiva anche moltiplicazioni e divisioni. 5.3 Il XVII secolo Il campo di studio fondamentale del XVIII secolo fu l'analisi matematica. Proseguendo l'opera dei Bernoulli, Leonhard Euler (17071783) (chiamato anche Eulero) trov la soluzione al problema di Basilea47, introdusse la costante di Eulero-Mascheroni48 e le funzioni gamma49 e beta50. Trov poi molti metodi per la soluzione delle equazioni differenziali usati anche oggi e insieme all'amico Jean d'Alembert (1717-1783) affront molti problemi di meccanica razionale come la determinazione esatta del 20
moto della Luna. Insieme a d'Alembert e a Daniel Bernoulli (figlio di Jakob) studi poi il moto dei fluidi. D'Alembert riusc invece a risolvere l'equazione differenziale nota come equazione di d'Alembert51. Studi poi vari problemi di teoria dei giochi52 e il calcolo delle probabilit. Si occup anche di algebra cercando a pi riprese di dimostrare il teorema fondamentale dell'algebra53. Nonostante queste dimostrazioni fossero in parte lacunose e il teorema sarebbe stato dimostrato rigorosamente solo da Gauss, il teorema spesso chiamato teorema di d'Alembert. Eulero fu uno dei pi grandi matematici di tutti i tempi. Produsse pi di 886 pubblicazioni su ogni branca della matematica nonostante nell'ultima parte della sua vita fosse divenuto cieco. Diede importanti contributi alla notazione matematica introducendo i simboli oggi accettati per le funzioni trigonometriche, la sommatoria, la funzione generica e per i numeri e d i. Diffuse anche l'uso del simbolo !. Fu anche un importante teorico dei numeri, materia che ebbe un notevole sviluppo in questo secolo. Scopr il prodotto di Eulero54, grazie al quale forn una dimostrazione dell'infinit dei numeri primi, dando cos di fatto inizio alla teoria analitica dei numeri che usa procedimenti analitici per raggiungere risultati aritmetici. Dimostr poi molti dei teoremi lasciati indimostrati da Fermat e introdusse la funzione phi di Eulero55. Christian Goldbach enunci la sua famosa congettura tutt'oggi irrisolta che afferma che ogni numero pari eccetto 2 esprimibile come somma di due numeri primi. In questo periodo i numeri immaginari e quelli complessi furono accettati completamente. L'analisi complessa divenne una branca importante della matematica: Eulero studi le serie di Taylor trovando le espansioni in serie di molte funzioni. Grazie a ci riusc a scoprire le estensioni di moltissime funzioni reali in campo complesso, come per esempio le funzioni trigonometriche, la funzione logaritmica e la funzione esponenziale. Grazie a quest'ultima estensione trov l'identit di Eulero:
considerata da molti la pi bella formula della matematica. Altri contributi alla materia giunsero da Abraham de Moivre. In questo secolo si assistette anche alla nascita della topologia56 e della teoria dei grafi57 soprattutto per via delle scoperte di Eulero. Egli infatti risolse il problema dei ponti di Knigsberg che chiedeva se fosse possibile attraversare tutti i ponti della citt di Knigsberg (Kaliningrad) una sola volta e tornare al punto di partenza. Eulero scopr che ci non era possibile e il ragionamento che us sta alla base della moderna teoria dei grafi. Il matematico svizzero scopr poi anche la formula che mette in relazione il numero dei vertici delle facce e degli spigoli di un poliedro convesso. Queste scoperte possono essere considerate come l'inizio della moderna topologia. Lorenzo Mascheroni dimostr che se una retta si considera nota quando sono stati individuati due suoi punti allora tutte le figure costruibili con riga e compasso sono costruibili col solo compasso. Vi furono anche diversi tentativi di dimostrare il quinto
21
postulato di Euclide partendo dagli altri quattro. Tra questi si ricordano quello di Girolamo Saccheri e di Jean-Henri Lambert. Quest'ultimo si avvicin molto alla geometria non euclidea58. Lambert ricordato anche per aver dimostrato che ! irrazionale. Ci furono sviluppi anche nel campo del calcolo delle probabilit: Thomas Bayes dimostr il teorema che porta il suo nome e Georges-Louis Leclerc, conte di Buffon diede inizio al metodo Monte Carlo59 con il famoso problema dell'ago di Buffon60. Nella seconda met del secolo Parigi divenne il pi importante centro matematico e scientifico del tempo. Questo avvenne grazie alla presenza di matematici come Pierre Simon Laplace (1749-1827) e Joseph-Louis Lagrange (1736-1837) e all'istituzione di scuole di carattere scientifico come l'cole polytechnique e l'cole normale suprieure che fornirono validi matematici alla Francia. Laplace e Lagrange si occuparono di meccanica celeste. Dopo il lavoro di Newton essa divenne uno degli argomenti pi trattati del secolo. Laplace nella sua Mcanique Cleste dimostr che il sistema solare sarebbe rimasto stabile per un lungo intervallo di tempo. Introdusse le armoniche sferiche61, la trasformata di Laplace62 e il Laplaciano63. Fu uno dei primi a utilizzare il concetto di potenziale dimostrando che esso soddisfa sempre l'equazione di Laplace64. Si occup anche di teoria della probabilit e statistica fornendo una dimostrazione rigorosa del metodo dei minimi quadrati65. Lagrange invece nella sua Mcanique analytique introdusse il concetto di funzione lagrangiana66. Insieme ad Eulero fu tra i creatori del calcolo delle variazioni67 ricavando le equazioni di Eulero-Lagrange68. Studi inoltre il problema dei tre corpi69 trovando i punti di Lagrange70. Scopr il metodo dei moltiplicatori di Lagrange71 per la risoluzione delle equazioni differenziali. Introdusse la notazione usata ancora oggi per il calcolo differenziale e trov un metodo per la soluzione delle equazioni di qualunque grado che per si rivela utile solo fino al quarto. Dimostr poi il teorema di Lagrange e contribu molto anche alla teoria dei numeri dimostrando ad esempio il teorema dei quattro quadrati72. Studi anche la geometria analitica solida ottenendo discreti risultati. Un altro importante matematico del periodo fu Adrien-Marie Legendre (1752-1833) che studi gli integrali ellittici73 introducendo quelli della prima e della seconda specie. Congettur il metodo dei minimi quadrati indipendentemente da Gauss. Fu anche un brillante teorico dei numeri: dimostr l'ultimo teorema di Fermat per il caso n=5 e dimostr l'irrazionalit di !2. Sempre indipendentemente da Gauss congettur il Teorema dei numeri primi74. Gaspard Monge dette invece contributi fondamentali alla geometria descrittiva75.
22
-./!0121'8''
",&%#,!3&"",0*0!3&""#!$#%&$#%'(#!
6.1 Introduzione Il XIX secolo spesso chiamato L'et dell'oro della matematica. Durante il XIX secolo nacquero i primi periodici matematici come il Journal di Crelle e il Journal di Liouville. I matematici iniziarono a riunirsi nelle facolt universitarie. Nacquero le prime societ matematiche, come la London Mathematical Society. Fu confermato il primato di Parigi grazie a una geniale generazione di matematici, ma nella seconda parte del secolo il centro pi importante per gli studi matematici divenne Gottinga dove risiedevano matematici come Gauss, Riemann e Dirichlet. 6.2 Algebra L'algebra ricevette nei primi anni del XIX secolo un grande impulso: Carl Friedrich Gauss (1777-1855) fu il primo a dimostrare il teorema fondamentale dell'algebra nel 1799. Nella sua dimostrazione introdusse il piano complesso che avrebbe avuto un'importanza fondamentale nello sviluppo dell'analisi complessa. Augustin-Louis Cauchy (1789-1857) e Carl Jacobi (1804-1851) chiarirono il concetto di determinante di una matrice e dimostrarono importanti teoremi di algebra lineare. Jacobi introdusse poi il concetto di matrice jacobiana76. Evariste Galois (1811-1832) e Niels Abel (1802-1829), entrambi morti giovanissimi, studiarono la risolubilit delle equazioni di grado superiore al quarto. Abel dimostr il teorema di Abel-Ruffini che stabilisce l'impossibilit di risolvere per radicali le equazioni di quinto grado. Galois invece stabil la non risolubilit per radicali delle equazioni di grado superiore al quinto e il suo lavoro all'origine della teoria di Galois77, importante branca dell'algebra astratta78. 6.3 Analisi L'analisi matematica fu invece posta su basi sempre pi ben definite. Cauchy defin rigorosamente il concetto di derivata come limite del rapporto incrementale tra la funzione e la variabile e quello di funzione continua. Chiar anche il concetto di limite anche se Karl 23
Weierstrass formalizz meglio la sua definizione. Bernhard Riemann chiar invece il concetto di integrale (integrale di Riemann). Bernhard Bolzano aveva sviluppato molte di queste definizioni precedentemente, ma la sua opera rest purtroppo sconosciuta per decenni. Grazie a questi passi avanti, Cauchy riusc a estendere i concetti del calcolo infinitesimale alle funzioni a variabile complessa scoprendo il teorema integrale e la formula integrale di Cauchy. Scopr anche il criterio di convergenza di Cauchy. Oltre ai gi menzionati contributi all'algebra lineare Cauchy si occup anche di statistica (variabile casuale di Cauchy), meccanica e soprattutto teoria dei numeri. Arriv vicino a dimostrare l'ultimo teorema di Fermat. Partendo da un precedente lavoro di Abel, Jacobi diede importanti contributi alla comprensione degli integrali ellittici scoprendo la doppia periodicit di alcuni di essi e introducendo le funzioni ellittiche jacobiane. Joseph Fourier invece studi il movimento ondulatorio e il calore. Introdusse poi le serie di Fourier79 e la trasformata di Fourier80. 6.4 Teoria dei Numeri Carl Gauss fu senza dubbio uno dei matematici pi importanti del secolo e di tutti i tempi. Visse buona parte della sua vita a Gottinga che divenne ben presto uno dei centri pi importanti della matematica europea. Ricerc in quasi tutte le branche della matematica. Dopo aver dimostrato il teorema fondamentale dell'algebra, si occup soprattutto di teoria dei numeri pubblicando nel 1801 le Disquisitiones Aritmeticae. La teoria dei numeri vide in questo secolo l'introduzione di nuovi concetti sempre pi legati ai metodi analitici. Nelle Disquisitiones Gauss introduceva il l'aritmetica modulare81 che avrebbe facilitato moltissimo la scrittura e la comprensione di teoremi relativi a questo campo d'indagine. Sempre in questo volume introduceva il concetto di intero gaussiano82. Congettur poi indipendentemente da Legendre il metodo dei minimi quadrati e il teorema dei numeri primi che mette in relazione la distribuzione di questi con la funzione logaritmica. Il teorema sar dimostrato solo nel 1894 da Jacques Hadamard e Charles de La Valle-Poussin. Gauss fu anche un grande statistico. La variabile casuale normale che descrive la distribuzione degli errori dovuta a lui. Alla morte di Gauss, Peter Gustav Dirichlet (1805-1859) gli successe nel suo posto di insegnante. Egli dimostr il teorema secondo il quale in tutte le progressioni aritmetiche si trovano infiniti numeri primi, (teorema di Dirichlet) usando complessi metodi analitici. Introdusse anche la convoluzione di Dirichlet83. Il lavoro pi importante nella teoria dei numeri fu per quello di Bernhard Riemann (1826-1866), il successore di Dirichlet a Gottinga che in un articolo del 1859 introdusse formalmente la funzione zeta di Riemann84. Egli cap il collegamento di questa con la distribuzione dei numeri primi e studiando i valori complessi della funzione zeta congettur che tutti i suoi zeri complessi avessero parte reale un mezzo. Questa congettura nota come ipotesi di Riemann non ancora stata risolta; se lo fosse, potrebbero essere dimostrati moltissimi teoremi, tra cui una formula che approssima la distribuzione dei numeri primi nella maniera migliore possibile. Joseph Liouville dimostr nel 1844 l'esistenza di numeri trascendenti85 costruendo appositamente alcuni esempi come la costante di Liouville86. Successivamente Charles Hermite dimostr la trascendenza di e e Ferdinand von Lindemann quella di !. Grazie a queste ed altre scoperte si dimostr la non risolubilit con riga e compasso dei tre 24
problemi classici dell'antica Grecia (quadratura del cerchio, duplicazione di un cubo, trisezione di un angolo). 6.5 Geometria Nel XIX secolo la geometria, dopo un secolo in cui non aveva fatto praticamente progressi, ritorn ad essere una materia importante di studio. Gauss trov le condizioni per cui un poligono regolare poteva essere costruito usando solo riga e compasso, risolvendo un problema che restava aperto da millenni. Sempre Gauss diede inizio ad una nuova branca della geometria, la geometria differenziale87, introducendo il concetto di curvatura di una superficie. Jakob Steiner (1796-1863) dimostr che tutte le figure costruibili usando riga e compasso possono essere costruite usando solo la riga e una circonferenza iniziale. Abbozz poi la prima dimostrazione del problema isoperimetrico88 che sarebbe stata completata da altri. Julius Plucker introdusse il metodo delle notazioni geometriche abbreviate e studi la possibilit di una geometria a quattro o pi dimensioni spaziali. Insieme ad August Ferdinand Mbius introdusse le coordinate omogenee89. Moebius introdusse poi la funzione di Moebius90 e studi la topologia (nastro di Moebius91). Ma l'innovazione pi importante del secolo in geometria furono le geometrie non euclidee. Gauss, cercando di dimostrare il V postulato di Euclide, arriv alla rivoluzionaria conclusione che potevano esistere geometrie indipendenti dal postulato e inizi a studiare la geometria iperbolica92. Janos Bolyai arriv alla stessa conclusione. Tuttavia il vero sviluppatore della geometria iperbolica fu il russo Nikolai Ivanovich Lobachevsky (1792-1856). In questa geometria per un punto passano infinite rette che non incontrano una retta data, e la somma degli angoli di un triangolo sempre inferiore a 180. Il gi menzionato Riemann diede un contributo fondamentale allo studio delle geometrie non euclidee definendo il concetto di linea retta come di geodetica93 di uno spazio. Studi poi la geometria costruita sulla superficie di una sfera: la geometria ellittica o riemanniana. In questa geometria non esistono rette parallele, in quanto una retta un cerchio massimo, e la somma degli angoli interni di un triangolo sempre superiore a 180. Riemann si occup anche di topologia introducendo le superfici di Riemann. Einstein us i suoi risultati per descrivere lo spazio della relativit generale. Il concetto rivoluzionario che stava alla base di queste geometrie fatic molto ad essere accettato. Henri Poincar (1854-1912), Felix Klein (1849-1925) e Eugenio Beltrami dimostrarono la coerenza e l'indipendenza dal V postulato di queste geometrie, sancendo cos la loro accettazione. Poincar fu anche l'inventore di quella importante branca della topologia nota come topologia algebrica. perci spesso considerato come il padre della topologia moderna. Si occup di quasi tutte le branche della matematica dell'epoca apportando numerosi sviluppi. Formul poi la famosa congettura di Poincar94 e introdusse l'attrattore strano95 ponendosi cos tra i 25
precursori della teoria del caos96. Si occup anche di meccanica. Felix Klein invece introdusse il concetto algebrico di gruppo97 in geometria ottenendo definizioni molto generali. Scopr anche la famosa superficie topologica nota come bottiglia di Klein98. 6.6 Algebra astratta Verso la meta del XIX secolo nacque l'algebra astratta. Galois fu precursore in questo campo introducendo i concetti di gruppo e di permutazione. La teoria dei gruppi anticipata gi da lavori di Lagrange e Cauchy ma soprattutto di Abel (gruppo abeliano). Galois fu il primo a collegarla con la teoria dei campi nei suoi lavori sulla risolubilit delle equazioni. Questi lavori vennero poi formalizzati e sviluppati da Leopold Kronecker. Le nuove teorie algebriche ricevettero attenzione in Inghilterra dove da pi di un secolo la matematica era caduta in una fase di torpore. L'irlandese William Rowan Hamilton (1805-1865), volendo estendere alla terza dimensione il piano di Gauss, introdusse i quaternioni99, creando cos un'algebra del tutto nuova dove non valevano tutte le regole di quella ordinaria, venendo a mancare la propriet commutativa della moltiplicazione. Hamilton introdusse anche l'operatore hamiltoniano100. Arthur Cayley studi invece l'algebra delle matrici definendo i concetti di moltiplicazione e somma su questi enti. Studi l'algebra degli ottetti101chiamata spesso anche algebra di Cayley. George Boole (1815-1864), infine, defin le operazioni algebriche per gli insiemi, dando inizio cos alla cosiddetta algebra di Boole102. Questa teoria avrebbe avuto un'importanza fondamentale nello sviluppo della logica matematica, di cui Boole pu benissimo essere considerato il padre, e della teoria dell'informazione. 6.7 Logica, Teoria degli insiemi Nella seconda met del secolo si inzi a studiare il concetto di numero, cercando di definirlo logicamente. Weiestrass e Richard Dedekind definirono il concetto di numero reale partendo da quello di numero naturale e di numero razionale. Il logico Gottlob Frege (1848-1925) cerc di definire il concetto di numero naturale su basi logiche, riconducendo cos l'intera matematica alla logica. Tuttavia la sua definizione che si basava sul concetto di cardinalit di un insieme fu messa in crisi all'inizio del secolo successivo. Giuseppe Peano (1858-1932) tent invece di basare la matematica in modo assiomatico. Introdusse quindi cinque assiomi che descrivevano il concetto di numero naturale spesso chiamati assiomi di Peano. Anche questo tentativo era per destinato a fallire. Dedekind defin per primo l'infinit di un insieme come il fatto che un suo sottoinsieme potesse essere messo in corrispondenza biunivoca con esso. Partendo da questo lavoro Georg Cantor (1845-1918) inizi a studiare gli insiemi infiniti, scoprendo che i numeri interi sono tanti quanti i numeri razionali (ossia i due insiemi hanno la stessa potenza) ma che l'insieme infinito dei numeri reali pi grande di quello dei razionali. Congettur poi che non vi fossero altre potenzialit di infinito tra questi due insiemi. La congettura chiamata ipotesi del continuo103. Queste scoperte paradossali generarono scetticismo nella comunit dei matematici ma le idee di Cantor sono alla base della moderna teoria degli insiemi. 26
-./!0121'9''
"#!$#%&$#%'(#!-&"!77!2&(0"0!
7.1 Introduzione Prima del ventesimo secolo, il numero di matematici creativi attivi contemporaneamente nel mondo era inferiore al centinaio. I matematici erano di norma benestanti o supportati da ricchi possidenti. Vi erano pochi impieghi possibili, quali insegnare nelle universit o nelle scuole superiori. La professione del matematico divenne realt solo nel ventesimo secolo. I matematici iniziarono a lavorare in gruppo. Il centro dell'attivit matematica nella prima met del secolo fu Gottinga per poi divenire negli anni '50 Princeton. Furono istituiti vari premi matematici, a partire dalla medaglia Fields (1936) e il premio Wolf per la matematica (1978), mentre manca il premio Nobel per la matematica. In questo secolo si vide una moltiplicazione di teoremi e scoperte matematiche. Per stabilire delle linee guida, David Hilbert (1862-1947) in un congresso del 1900 enunci 23 problemi che avrebbero dovuto fare da guida nella matematica novecentesca. Molti di questi problemi sono stati risolti, positivamente o negativamente, ma restano aperti l'ottavo104 e il dodicesimo105. Hilbert fu un matematico di prim'ordine, studi le equazioni integrali106 introducendo gli spazi di Hilbert107. La sua opera pi importante fu comunque un'assiomatizzazione completa e rigorosa della geometria ottenuta nel suo Grundlagen der Geometrie. 7.2 Teoria degli insiemi Nel 1901 invece Bertrand Russell (1872-1970) espose, in una lettera a Frege, il cos detto paradosso di Russell108 che metteva in discussione la sua formulazione della teoria degli insiemi e dunque della matematica. Questa scoperta port Ernst Zermelo e Adolf Fraenkel a riformulare la teoria su base assiomatiche: il cosiddetto sistema di assiomi di Zermelo-Fraenkel109. Anche Russell cerc parallelamente di rifondare la matematica su degli assiomi. Insieme a Alfred North Whitehead scrisse il monumentale Principia Mathematica. Il "fallimento" di queste impostazioni assiomatiche (anche di quella di Peano) fu decretato nel 1931 da Kurt Gdel (1906-1978) con il suo famoso teorema di incompletezza di Gdel110 secondo il quale in ogni sistema assiomatico coerente esistono proposizioni indecidibili (che non possono essere n dimostrate n confutate). Lo sgomento causato dal 27
teorema aument quando Gdel e Cohen dimostrarono che l'ipotesi del continuo indipendente dal sistema di assiomi di Zermelo-Fraenkel. 7.3 Analisi In analisi Henri Lebesgue riformul nel 1902 il concetto di integrale introducendo la misura di Lebesgue (integrale di Lebesgue). Ci comporta un ampliamento alla definizione di integrale data da Riemann. Furono poi introdotte funzioni improprie come la funzione gradino di Heaviside111 e la funzione delta di Dirac112. Tramite il concetto di distribuzione Laurent Schwartz estese il concetto di derivata alle funzioni integrabili secondo Lebesgue. Abraham Robinson defin i numeri iperreali113, estensione di quelli reali. Successivamente furono introdotti i numeri surreali114. 7.4 Algebra Ernst Steinitz apport importanti contributi all'algebra e allo studio dei campi. Ci port a una classificazione dei campi algebricamente chiusi115. La classificazione dei gruppi semplici finiti116 fu invece pi difficoltosa. Daniel Gorenstein annunci il programma per la loro classificazione nel 1972. Questa tenne impegnati un centinaio di matematici, tra cui John Conway, fino al 1985, anno in cui fu completata. Durante questa classificazione fu anche trovato il "Mostro117", un gruppo semplice costituito da circa 1053 elementi. Si scoperto poi che le strutture algebriche hanno molta importanza nella fisica delle particelle. 7.5 Topologia Uno dei campi di studio principali del secolo fu la topologia. Nel 1910 Luitzen Brouwer dimostr l'importante teorema del punto fisso118 e si iniziarono a studiare le superfici minime119. In topologia differenziale120, John Milnor scopr che una variet topologica121 pu ammettere pi strutture differenti come variet differenziale122. Stephen Smale risolse la congettura di Poincar per tutte le dimensioni superiori a 5. La dimostrazione fu quindi estesa in dimensione 5, e in dimensione 4 da Michael Freedman all'inizio degli anni 80. Nello stesso periodo William Thurston introdusse nuove prospettive geometriche nello studio delle variet tridimensionali, culminanti nella congettura di geometrizzazione123. Nel ventesimo secolo ci si interess anche alla Teoria dei nodi124, e si cerc di classificarli introducendo nuovi invarianti. 7.6 Teoria dei numeri Anche la teoria dei numeri ricevette un grande impulso. Srinivasa Ramanujan (1887-1920) dimostr molti importanti teoremi e formule. Tra queste molte che consentono di calcolare " e la funzione di partizione125. Introdusse la funzione mock theta126. Aleksander Gelfond dimostr il teorema di Gelfond127 riguardante i numeri trascendenti. Atle Selberg (1917-2007) e Paul Erds (1913-1996) dettero nel 1949 una 28
dimostrazione elementare del teorema dei numeri primi. Erds fu un matematico molto prolifico. Oper soprattutto in teoria dei numeri, calcolo combinatorio e teoria dei grafi ottenendo risultati importanti. In suo onore i matematici hanno definito il numero di Erds128. Nel 1994, dopo anni di lavoro, Andrew Wiles dimostr l'Ultimo teorema di Fermat. La sua dimostrazione usa molte tecniche di algebra moderna. Alcuni di questi strumenti erano stati oggetto di lavoro di Andr Weil, un matematico che si era interessato di equazioni diofantine, curve ellittiche e gruppi di Lie129. 7.7 Geometria In geometria, dopo la classificazione dei 230 gruppi di simmetria spaziali e dei 7 lineari, furono classificati i 17 tipi di simmetrie planari e si inizi a studiare le tassellature130. Roger Penrose scopr la Tassellatura di Penrose131 che copre il piano in modo aperiodico. Alain Connes svilupp la geometria non commutativa132. Due importanti congetture sono state risolte usando in modo massiccio il computer: la Congettura di Keplero133 (1998) riguardante gli impacchettamenti sferici e il Teorema dei quattro colori134 (1976) secondo il quale ogni mappa pi essere colorata senza che due regioni abbiano lo stesso colore usando soltanto 4 colori. L'uso del computer stato fondamentale nello studio dei frattali, curve dotate di area finita e perimetro infinito che non hanno dimensione intera. Questo studio, iniziato all'inizio del secolo da Gaston Julia (insieme di Julia135) e Helge von Koch (curva di Koch136) e incagliatosi per le difficolt di calcolo fu ripreso da Benoit Mandelbrot negli anni '80. Si deve a Mandelbrot la definizione degli oggetti frattali137, fra questi il famoso insieme di Mandelbrot138, oltre alle applicazioni in vari campi, fra cui l'economia. 7.8 Informatica Alan Turing (1912-1954), considerato uno dei padri dell'informatica, introdusse idee fondamentali per il successivo nascere di questa materia. Introdusse i concetti di macchina di Turing139 e Test di Turing140. I suoi lavori sono alla base dell'Intelligenza artificiale141. Durante la Seconda Guerra Mondiale aiut gli alleati a decifrare i messaggi in codice nazisti. Dopo la guerra, in quanto omosessuale, fu costretto a subire una cura ormonale che lo port al suicidio. John von Neumann (1903-1957), una figura dominante nella matematica novecentesca, invece introdusse l'importante concetto di architettura di von Neumann142 e studi la possibilit di una macchina autoreplicante. Successivamente George Dantzig introdusse il metodo di programmazione lineare143 chiamato metodo del simplesso144.
29
Claude Shannon svilupp la teoria dell'informazione. Grazie alla sua analisi del gioco degli scacchi oggi i computer possono vincere giocando a scacchi con dei campioni. 7.9 Teoria dei giochi, Economia A von Neumann, ed in buona parte anche a Morgenstern, si deve anche lo sviluppo della teoria dei giochi. La teoria dei giochi si occupa della modellizzazione di una situazione di interazione strategica ed analizza quali possano essere le strategie migliori da utilizzare. Successivamente John Nash (1928-) introdusse il concetto fondamentale di equilibrio di Nash145, importante anche in economia. Strettamente connessa alla teoria dei giochi la trattazione matematica dell'economia gi iniziata negli ultimi anni del secolo precedente. Nel secondo dopoguerra vi stato uno straordinario sviluppo dei metodi matematicoformali in economia, in particolare utilizzando la teoria dei giochi: fra i risultati pi significativi, il teorema di esistenza dell'equilibrio economico generale146, dimostrato da Kenneth Arrow e Gerard Debreu. Andrey Nikolaevich Kolmogorov riusc, facendo ricorso alla misura di Lebesgue, ad assiomatizzare il calcolo delle probabilit. Von Neumann invece assiomatizz la meccanica quantistica. Nel ventesimo secolo si inizi ad analizzare matematicamente la struttura del linguaggio. Axel Thue defin in termini matematici il concetto di grammatica. Noam Chomsky classific invece i vari tipi di linguaggi in base al tipo di produzioni grammaticali permesse. Edward Norton Lorenz, studiando metodi per la previsione del tempo atmosferico, scopr il cosiddetto attrattore di Lorenz147, dando cos inizio alla teoria del caos. Questa studia i sistemi caotici, quei sistemi, cio, in cui piccole variazioni delle condizioni iniziali portano a variazioni consistenti nel tempo. La teoria ha importanti applicazioni nella meteorologia. 7.10 Filosofia matematica Nel novecento si crearono due scuole di pensiero opposte riguardo al significato della matematica. I realisti (Kurt Gdel) credono che le entit matematiche in qualche modo esistano e che le verit matematiche siano verit assolute. Invece i formalisti (David Hilbert) credono che gli enunciati matematici siano in realt conseguenze di alcuni assiomi e regole deduttive e che gli enunciati matematici non abbiano una validit assoluta ma limitata al sistema preso in considerazione. Si crearono poi le scuole di pensiero costruttivista148 e intuizionista149. Queste correnti di pensiero rigettano alcuni principi matematici come il principio del terzo escluso150 e l'infinito attuale151 (e di conseguenza tutti gli algoritmi infiniti). L'intuizionismo, sviluppato da Luitzen Brouwer, in particolare sostiene che i principi fondamentali della matematica siano nella intuizione individuale e nella mente del matematico.
30
-./!0121':''
"#!$#%&$#%'(#!-&"!77'!2&(0"0!
A imitazione dei problemi di Hilbert, nel 2000 l'Istituto matematico Clay ha compilato una lista di sette problemi per il millennio, offrendo un milione di dollari per la risoluzione di ciascuno di essi. L'unico ad essere stato risolto di questi la congettura di Poincar; essa stata dimostrata nel 2006 da Grigori Perelman, il quale ha per rifiutato il premio e la medaglia Fields. Tra i problemi del millennio vi sono anche alcuni problemi matematici tutt'oggi (2007) irrisolti come l'Ipotesi di Riemann e il problema P contro NP152. Restano ancora irrisolte anche la congettura di Goldbach153 e la congettura dei numeri primi gemelli154.
31
;<*==>)$*''
1. Numero primo - un numero naturale maggiore di uno che sia divisibile solamente per uno e per s stesso. 2. Media aritmetica semplice - la media cos come viene intesa comunemente. Viene calcolata sommando i diversi valori a disposizione, i quali vengono divisi con il numero complessivo di valori.
3. Media geometrica (semplice): l'N-esima radice del prodotto di tutti gli N valori:
4. Media armonica - il reciproco della media aritmetica dei reciproci:
5. Numero perfetto quando uguale alla somma di tutti i suoi divisori escluso s stesso. Ad esempio,il numero 28, divisibile per 1, 2, 4, 7, 14 un numero perfetto (28 = 1 + 2 + 4 + 7 + 14): lo stesso per 6 che divisibile per 1, 2 e 3 (6 = 1 + 2 + 3). 6. Crivello di Eratostene un antico procedimento per il calcolo delle tabelle di numeri primi fino ad un certo numero n prefissato. Il procedimento il seguente: si scrivono tutti i naturali a partire da 2 fino a n in un elenco detto setaccio. Poi si cancellano (setacciano) tutti i multipli del primo numero del setaccio (escluso lui stesso). Si prosegue cos fino ad arrivare in fondo. I numeri che restano sono i numeri primi minori od uguali a n. come se si utilizzassero dei setacci a maglie via via pi larghe: il primo lascia passare solo i multipli di 2, il secondo solo i multipli di 3, e cos via. Nel caso n = 50, ad esempio, il procedimento di setacciatura si conclude con il numero 7 perch 7 il massimo intero il cui quadrato non supera 50 e si pu provare che il procedimento di setacciatura per ricercare i primi fino ad un certo numero n cessa sempre quando si supera la radice quadrata di n. Infatti ogni numero a del setaccio iniziale, contenente tutti i numeri naturali non superiori ad un dato n, cade dal setaccio che corrisponde al pi piccolo dei suoi divisori primi. Se indichiamo con p il pi piccolo divisore primo di a si ha: a = p x r con r > p Se ne deduce che: a = p x r # p x p = p2 da cui p sempre minore o uguale alla radice quadrata di a. 7. Quadratura del cerchio - costruire, usando solo riga e compasso, un quadrato con la stessa area di un dato cerchio. 8. Terna pitagorica - terna di numeri naturali a, b, c tali che a2+b2=c2. Esempio:( 3, 4, 5) 9. Sistema numerazione posizionale - i simboli (cifre) usati per scrivere i numeri assumono valori diversi a seconda della posizione che occupano nella notazione. 10. Numero irrazionale - un numero reale che non pu essere scritto come una frazione a/b con a e b interi, con b diverso da zero. I numeri irrazionali sono esattamente quei numeri la cui espansione in qualunque base (decimale, binaria, ecc) non termina mai e non forma una sequenza periodica. 11. Sistema numerico binario - un sistema numerico posizionale in base 2, cio che utilizza 2 simboli, tipicamente 0 e 1, invece dei 10 del sistema numerico decimale tradizionale.
32
12. Successione di Fibonacci ogni termine della successione la somma dei due termini precedenti: 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 13. Triangolo di Tartaglia (anche detto triangolo di Khayyam/Pascal) - un metodo, o meglio una costruzione, per ottenere i coefficienti binomiali, ossia i coefficienti dello sviluppo del binomio (a+b)n. Esempio: Se ad esempio si vuole scrivere lo sviluppo di (a+b)4, sufficiente andare alla quinta riga del triangolo di Tartaglia per trovare i coefficienti del polinomio risultante (cio: 1, 4, 6, 4, 1). E dunque possiamo scrivere: (a+b)4 = a4+4a3b+6a2b2+4ab3+b4 14. Matrice - uno schieramento rettangolare di oggetti:
Le matrici sono uno strumento centrale dell'algebra lineare, utile soprattutto a risolvere i sistemi lineari. 15. Teoria degli insiemi - svolge un ruolo importante per i fondamenti della matematica e attualmente si colloca nell'ambito della logica matematica. 16. Numero figurato - un numero intero che pu essere rappresentato mediante uno schema geometrico e regolare. I primi numeri triangolari (numero naturale rappresentabile in forma di triangolo) possono essere costruiti come segue:
17. Numeri perfetti Un numero si dice perfetto quando uguale alla somma di tutti i suoi divisori escluso s stesso. Ad esempio, il numero 28, divisibile per 1, 2, 4, 7, 14 un numero perfetto (28 = 1 + 2 + 4 + 7 + 14): lo stesso per 6 che divisibile per 1, 2 e 3. 18. Sezione aurea il rapporto fra due grandezze disuguali, di cui la maggiore medio proporzionale tra la minore e la loro somma. Tale rapporto vale approssimativamente 1,618. 19. Duplicazione del cubo costruire un cubo avente volume doppio rispetto a quello di un cubo di spigolo dato. 20. Trisezione di un angolo - costruzione di un angolo di ampiezza un terzo di un altro angolo qualsiasi dato. 21. Metodo di esaustione - un procedimento utile a calcolare aree di varie figure geometriche piane. Consiste nella costruzione di una successione di poligoni che convergono alla figura data. L'area della figura risulta essere quindi il limite delle aree dei poligoni. 22. Sillogismo - (dal greco ragionamento concatenato) un tipo di ragionamento dimostrativo il quale, partendo dai tre tipi di termine "maggiore" (che funge da soggetto nella conclusione), "medio" e "minore" (che nella conclusione funge da predicato) classificati in base al rapporto contenente - contenuto, giunge ad una conclusione collegando i suddetti termini attraverso brevi enunciati (premesse). Per fare un esempio: (premessa maggiore) Tutti i gli uomini sono mortali (premessa minore) Tutti i greci sono uomini (conclusione) Tutti i greci sono mortali
33
Nell'esempio in questione, uomo, mortale e greco sono termini (rispettivamente medio, maggiore e minore) Un sillogismo considerato valido se un qualsiasi ragionamento di quella forma sempre valido. Quindi il sillogismo: Alcuni uomini sono italiani Qualche uomo biondo Quindi qualche italiano biondo, non valido anche se tutte le sue proposizioni sono vere, perch il corrispondente sillogismo, diverso ma della stessa forma: alcuni esseri viventi sono uomini alcuni esseri viventi sono elefanti quindi alcuni uomini sono elefanti, non conclude correttamente. 23. Assioma - una proposizione o un principio che viene assunto come vero perch ritenuto evidente o perch fornisce il punto di partenza di un quadro teorico di riferimento. 24. Quadratura parabola - calcolata l'area di un segmento di parabola, ossia la figura delimitata da una parabola e una linea secante, non necessariamente ortogonale all'asse della parabola, trovando che vale i 4/3 dell'area del massimo triangolo in esso inscritto. 25. Serie geometrica La serie geometrica di ragione x, dove x un arbitrario numero reale, definita come: o alternativamente come . La ragione definita come il rapporto di un termine con il suo precedente. Equazione diofantea - un'equazione in una o pi incognite con coefficienti interi di cui si ricercano le soluzioni intere. Quadrato magico - uno schieramento di numeri interi distinti in una tabella quadrata tale che la somma dei numeri presenti in ogni riga, in ogni colonna e in entrambe le diagonali dia sempre lo stesso numero. Regola di Horner - permette di valutare un polinomio: PN(x) = xN + a1xN - 1 + ... + aN - 1x + aN svolgendo N addizioni e N moltiplicazioni, anzich le N addizioni e (N(N+1))/2 moltiplicazioni richieste con il metodo di valutazione tradizionale. Esso quindi particolarmente adatto qualora si ricerchino radici reali di equazioni polinomiali con metodi iterativi. Teorema binomiale - (o anche formula di Newton, binomio di Newton e sviluppo binomiale) - esprime lo sviluppo della potenza n-ma di un binomio qualsiasi con la formula seguente: in cui il fattore rappresenta il coefficiente binomiale
26. 27. 28.
29.
30. Algoritmo - si intende un metodo per la soluzione di un problema adatto a essere implementato sotto forma di programma. 31. Virgola mobile - indica il metodo di rappresentazione dei numeri razionali (e di approssimazione dei numeri reali) e di elaborazione dei dati usati dai processori per compiere operazioni matematiche. 32. Equazione non lineare - non esprimibile come combinazione lineare delle incognite presenti e di una costante. Ad esempio potrebbe contenere equazioni algebriche con almeno un termine di grado diverso da uno, o pi in generale dei termini non polinomiali. 33. Numeri amicabili o amici sono quei numeri per cui la somma dei divisori propri di uno uguale all'altro e viceversa. Un esempio classico dato dalla coppia 220 e 284. I due numeri sono amicabili in quanto 220 divisibile per 1, 2, 4, 5, 10, 11, 20, 22, 44, 55 e 110 e la loro somma risulta 284; 284 divisibile per 1, 2, 4, 71, 142 che sommati tra loro restituiscono proprio 220.
34
34. Metodo degli indivisibili - un procedimento per il calcolo di aree e volumi e ha costituito una delle prime costruzioni che hanno contribuito allo sviluppo del calcolo integrale. 35. Teoremi di Pappo-Guldino - sono due teoremi collegati che permettono di calcolare la superficie (primo teorema) e il volume (secondo teorema) di solidi di rotazione. 36. Principio di Cavalieri - "Se due solidi hanno uguale altezza e se le sezioni tagliate da piani paralleli alle basi e ugualmente distanti da queste stanno sempre in un dato rapporto, anche i volumi dei solidi staranno in questo rapporto." 37. Numero primi di Fermat - un numero intero esprimibile come: con n intero non negativo. Fermat credeva, erroneamente, che tutti i numeri della forma indicata sopra fossero numeri primi. In effetti, questo vero per i primi cinque. 38. Piccolo teorema di Fermat - se si prende un qualunque numero a, lo si moltiplica per se stesso p volte e si sottrae a, il risultato divisibile per p. 39. Teorema di Fermat sulle somme di due quadrati - ogni numero primo dispari si pu scrivere come somma di due quadrati perfetti se la differenza tra tale numero primo e 1 multipla di 4. Per esempio:
40. Ultimo Teorema di Fermat - afferma che non esistono soluzioni intere positive all'equazione: se n > 2. 41. Prodotto di Wallis - si intende una espressione del valore di ! data da:
42. Brachistocrona la curva che permette ad una particella di andare dal punto A al punto B nel minor tempo possibile. 43. Lemniscata - si riferisce a ogni curva a forma di otto rovesciato, !. 44. Paradosso di San Pietroburgo - descrive un particolare gioco d'azzardo basato su una variabile casuale con valore atteso infinito, cio con una vincita media di valore infinito. Ciononostante, ragionevolmente, si considera adeguata solo una minima somma, da pagare per partecipare al gioco. 45. Equazione differenziale equazione in cui lincognita una funzione. 46. Analisi complessa - quella branca dell'analisi matematica che applica le nozioni di calcolo infinitesimale alle funzioni complesse, cio alle funzioni definite che hanno per dominio e codominio insiemi di numeri complessi. 47. Problema di Basilea - chiede di scoprire la forma chiusa (cio la formula) a cui tende la somma degli inversi di tutti i quadrati dei numeri naturali, cio la somma precisa della serie infinita:
Eulero dimostr che la somma esatta "2/6. 48. Costante di Eulero-Mascheroni - una costante matematica, usata principalmente nella teoria dei numeri e nell'analisi matematica, definita come limite della differenza tra la serie armonica troncata e il logaritmo naturale:
35
49. Funzione Gamma - estende il concetto di fattoriale ai numeri complessi, nel senso che per ogni numero intero non negativo n si ha dove n! il fattoriale, cio il prodotto dei numeri interi da 1 a n: n! = 1 ! 2 ! 3 ! ... ! n. 50. Funzione beta - detta anche Integrale di Eulero del primo tipo, data dall'integrale definito:
51. Equazione di d'Alembert - un'equazione differenziale del primo ordine che assume la forma: y = xf(y') + g(y') dove f e g sono funzioni reali derivabili note. 52. Teoria dei giochi - analizza situazioni di conflitto e ne ricerca soluzioni competitive e cooperative tramite modelli, ovvero uno studio delle decisioni individuali in situazioni in cui vi sono interazioni tra i diversi soggetti, tali per cui le decisioni di un soggetto possono influire sui risultati conseguibili da parte di un rivale, secondo un meccanismo di retroazione. Le applicazioni e le interazioni della teoria sono molteplici: dal campo economico e finanziario a quello strategico-militare, dalla politica alla sociologia, dalla psicologia all'informatica, dalla biologia allo sport. 53. Teorema fondamentale dell'algebra - asserisce che ogni polinomio non costante a coefficienti complessi:
anzn + + a1z + a0
54. Prodotto di Eulero una formula:
ammette sempre una radice complessa.
55.
56.
57. 58. 59.
dove "(s) la funzione zeta di Riemann e il prodotto del secondo membro dell'uguaglianza percorre tutti i numeri primi. Questa formula interessante in quanto mette in relazione una serie in cui compaiono tutti i numeri naturali e un prodotto in cui compaiono tutti i numeri primi. all'origine del collegamento tra funzione zeta di Riemann e numeri primi che si presenta nell'Ipotesi di Riemann. Funzione phi di Eulero "(n) - definita, per ogni intero positivo n, come il numero degli interi positivi minori o uguali ad n tali che sono coprimi con n. Ad esempio, #(8) = 4 poich i numeri coprimi di 8 sono quattro: 1, 3, 5 e 7. gli interi a e b si dicono coprimi o primi tra loro se e solo se essi non hanno nessun divisore comune eccetto 1 e -1, o, equivalentemente, se il loro massimo comun divisore 1. Per esempio, 6 e 35 sono coprimi, ma 6 e 27 non lo sono perch entrambi sono divisibili per 3. 1 coprimo con ogni numero intero; 0 coprimo solo ad 1 e -1. Topologia - o studio dei luoghi (dal greco $%&%', luogo, e (%)%', studio) una delle pi importanti branche della matematica moderna. Si caratterizza come lo studio delle propriet delle figure e delle forme che non cambiano quando viene effettuata una deformazione senza "strappi", "sovrapposizioni" o "incollature". Concetti fondamentali come convergenza, limite, continuit, connessione o compattezza trovano nella topologia la loro migliore formalizzazione. Teoria dei grafi - i grafi sono oggetti discreti che permettono di schematizzare una grande variet di situazioni e di processi e spesso di consentire di analizzarli in termini quantitativi ed algoritmici. Geometria non euclidea - una geometria costruita negando o non accettando alcuni postulati euclidei. Metodo Monte Carlo - fa parte della famiglia dei metodi statistici ed usato per trarre stime attraverso simulazioni.
36
60. Ago di Buffon - supponiamo di avere un pavimento costituito da strisce di legno parallele, tutte della stessa larghezza, e facciamo cadere un ago sul pavimento. Qual la probabilit che l'ago si trovi su una linea fra le due strisce? Utilizzando la geometria integrale il problema pu essere risolto e ricondotto a un procedimento del metodo Monte Carlo per ottenere un valore approssimato di !. 61. Armoniche sferiche sono funzioni complesse molto importanti in campi teorici e applicativi, in particolare in meccanica quantistica, nel caso di moti centrali (per esempio nel calcolo delle configurazioni elettroniche di un atomo), e nell'approssimazione del campo gravitazionale terrestre. 62. Trasformata di Laplace - una funzione lineare che permette di passare dallo studio di una variabile temporale (reale) allo studio di una variabile complessa, e viceversa. 63. Laplaciano - un operatore differenziale del secondo ordine che riveste grande importanza in matematica e in fisica. Viene usato per modellare la propagazione ondosa e il flusso del calore. Svolge un ruolo centrale nell'elettrostatica e nella meccanica quantistica. 64. Equazione di Laplace - un equazione differenziale alle derivate parziali le cui soluzioni hanno importanti ricadute in molti campi della scienza. Questa equazione riveste particolare importanza nei settori dell'elettromagnetismo, astronomia, fluidodinamica dato che descrive i campi gravitazionali, elettrici e il potenziale nei fluidi:
65. Metodo dei minimi quadrati - una tecnica di ottimizzazione che permette di trovare una funzione che si avvicini il pi possibile ad un'interpolazione di un insieme di dati (tipicamente punti del piano). In particolare la funzione trovata deve essere quella che minimizza la somma dei quadrati delle distanze dai punti dati. 66. Lagrangiana - un funzionale (una funzione il cui dominio un insieme di funzioni) che descrive concisamente le equazioni del moto del sistema. 67. Calcolo delle variazioni - si occupa della ricerca dei punti estremali (massimi e minimi) dei cosiddetti funzionali. Tali funzionali possono per esempio essere formulati come integrali che coinvolgono una funzione incognita e le sue derivate. 68. Equazioni di Eulero-Lagrange - si intendono le 2n equazioni:
69. 70.
71. 72. 73. 74.
e rappresentano le equazioni del moto di un sistema descritto dalla lagrangiana L (funzionale che descrive le equazioni del moto). Problema dei tre corpi - consiste nel calcolare, date la posizione iniziale, la massa e la velocit di tre corpi soggetti all'influsso della reciproca attrazione gravitazionale, l'evoluzione futura del sistema da essi costituito. Punti di Lagrange nel problema dei tre corpi altro non sono che quelle posizioni nello spazio, nell'ipotesi semplificativa in cui uno dei corpi abbia massa molto inferiore agli altri due, in cui le forze che agiscono sull'oggetto minore si bilanciano, creando una situazione di equilibrio. Metodo dei moltiplicatori di Lagrange - un metodo per trovare i massimi e i minimi di una funzione di pi variabili soggetta a una o pi vincoli. Teorema dei quattro quadrati - afferma che ogni intero positivo pu essere espresso come somma di (al pi) quattro quadrati perfetti: n = a2 + b2 + c2 + d2. Ad esempio: 3 = 12 + 12 + 12 + 02 31 = 52 + 22 + 12 + 12 310 = 172 + 42 + 22 + 12. Integrali ellittici - sono emersi originariamente in connessione con il problema del calcolo della lunghezza degli archi di una ellisse. Teorema dei numeri primi - descrive la distribuzione approssimata, asintotica dei numeri primi. Per ogni numero reale positivo x, definiamo la funzione:
37
"(x) = numero dei primi minori o uguali a x Il teorema dei numeri primi afferma che:
75. Geometria descrittiva - la scienza che permette, attraverso determinate costruzioni geometriche, di rappresentare in modo inequivocabile su uno o pi piani, oggetti bidimensionali e tridimensionali. 76. Matrice jacobiana - la matrice di tutte le derivate parziali prime di una funzione che ha dominio e codominio in uno spazio euclideo: 77. Teoria di Galois - Al livello pi semplice usa i gruppi di permutazioni (gruppo formato dall'insieme delle permutazioni dei suoi elementi) per descrivere come le varie radici di un dato polinomio sono collegate le une con le altre. 78. Algebra astratta - si occupa dello studio delle strutture algebriche come gruppi, anelli e campi. Essa parte dallo studio degli "insiemi privi di struttura" (o insiemistica vera e propria), per analizzare, via via, insiemi sempre pi strutturati, cio dotati di una o pi leggi di composizione. 79. Serie di Fourier - una rappresentazione di una funzione periodica mediante una somma di funzioni periodiche della forma:
queste sono le potenze di , cio le sue armoniche. 80. Trasformata di Fourier - una trasformata integrale fra le pi importanti della matematica, con innumerevoli applicazioni nelle scienze, in particolare la fisica (acustica, ottica, cristallografia), e in matematica stessa (analisi, teoria della probabilit, statistica, teoria dei numeri, geometria). Nella teoria dei segnali, la trasformata di Fourier lo strumento che permette di scomporre un segnale generico in una somma di sinusoidi con frequenze, ampiezze e fasi diverse. 81. Aritmetica modulare - a volte detta aritmetica dell'orologio poich su tale principio si basa il calcolo delle ore a cicli di 12 o 24, trova applicazioni nella crittografia, nella teoria dei numeri (in particolare nella ricerca dei numeri primi), ed alla base di molte delle pi comuni operazioni aritmetiche e algebriche. Si tratta di un sistema di aritmetica degli interi, nel quale i numeri "si avvolgono su se stessi" ogni volta che raggiungono i multipli di un determinato numero n, detto modulo. 82. Intero gaussiano - un numero complesso le cui parti reale e immaginaria sono intere. 83. Convoluzione di Dirichlet - (o prodotto di convoluzione) un'operazione binaria definita per le funzioni aritmetiche; la sua importanza dovuta alle numerose applicazioni in teoria dei numeri. 84. Funzione zeta di Riemann #(s) - definita per ogni numero complesso s * 1 dalla serie:
che converge per Re(s) > 1, L'importanza di questa funzione legata all'ipotesi di Riemann. 85. Numero trascendente - un numero irrazionale che non un numero algebrico ( un numero reale o complesso che soluzione di un'equazione polinomiale), ossia non la soluzione di nessuna equazione polinomiale della forma:
dove n + 1 e i coefficienti ai sono numeri interi (o, equivalentemente, razionali), non tutti nulli.
38
86. Costante di Liouville un particolare numero di Liouville, che un numero reale che pu essere approssimato "molto bene" con una successione di numeri razionali. Si dimostra che ogni numero di Liouville irrazionale e trascendente. 87. Geometria differenziale - lo studio di oggetti geometrici come curve, superfici tramite l'analisi matematica. 88. Isoperimetria - la caratteristica di due figure aventi il perimetro di lunghezza uguale. 89. Coordinate omogenee - sono uno strumento usato per descrivere i punti nella geometria proiettiva. Sono cio l'analogo delle coordinate cartesiane nella geometria analitica. 90. Funzione di Mbius - una funzione (n) utilizzata in teoria dei numeri che classifica i numeri interi positivi in una di tre categorie possibili secondo la scomposizione in fattori. 91. Nastro di Mbius - un esempio di superficie non orientabile e di superficie rigata, cio ottenuta da ununione di rette. Le superfici ordinarie, intese come le superfici che nella vita quotidiana siamo abituati ad osservare, hanno sempre due "lati" (o meglio, facce), per cui sempre possibile percorrere idealmente uno dei due lati senza mai raggiungere il secondo, salvo attraversando una possibile linea di demarcazione costituita da uno spigolo (chiamata "bordo"): si pensi ad esempio alla sfera, al toro, o al cilindro. Per queste superfici possibile stabilire convenzionalmente un lato "superiore" o "inferiore", oppure "interno" o "esterno".Nel caso del nastro di Mbius, invece, tale principio viene a mancare: esiste un solo lato e un solo bordo. Dopo aver percorso un giro, ci si trova dalla parte opposta. Solo dopo averne percorsi due ci ritroviamo sul lato iniziale. Quindi per esempio una formica potrebbe passare da una superficie a quella "dietro", senza attraversare il nastro e senza saltare il bordo, semplicemente camminando abbastanza lontano. Un nastro di Mbius pu essere facilmente realizzato partendo da una striscia rettangolare ed unendone i lati corti dopo aver impresso ad uno di essi mezzo giro di torsione, pari a 180. A questo punto se si percorre il nastro con una matita, partendo da un punto casuale, si noter che la traccia si snoda sull'intera superficie del nastro che quindi unica. 92. Geometria iperbolica - una geometria non euclidea ottenuta rimpiazzando il postulato delle parallele con il cosiddetto postulato iperbolico. 93. Geodetica - una particolare curva che descrive localmente la traiettoria pi breve fra punti di un particolare spazio. 94. Congettura di Poincar - dice che la 3-sfera l'unica variet tridimensionale "senza buchi", cio dove qualsiasi cammino chiuso pu essere contratto fino a diventare un punto. 95. Attrattore - un insieme verso il quale evolve un sistema dinamico dopo un tempo sufficientemente lungo. Perch tale insieme possa essere definito attrattore, le traiettorie che arrivano ad essere sufficientemente vicine ad esso devono rimanere vicine anche se leggermente perturbate. Dal punto di vista geometrico un attrattore pu essere un punto, una curva, una variet, o anche un insieme pi complicato dotato di struttura frattale e noto con il nome di attrattore strano. 96. Teoria del caos - si occupa dei cosiddetti sistemi caotici. 97. Gruppo - una struttura algebrica formata da un insieme con un'operazione binaria (come la somma o il prodotto) che soddisfa alcuni assiomi. 98. Bottiglia di Klein - una superficie non-orientabile di genere 2 (particolare modalit di classificazione), cio una superficie per la quale non c' distinzione fra "interno" ed "esterno". strettamente correlata al nastro di Mbius. Si immagini una bottiglia con un buco sul fondo. Ora si estenda il collo della bottiglia, curvandolo su se stesso, fino ad inserirlo lateralmente all'interno di questa. Questa operazione richiede nello spazio tridimensionale che il collo perfori la parete della bottiglia: effettuata per nello spazio euclideo
39
quadridimensionale R4, l'operazione pu essere fatta senza toccare la parete. Infine, si colleghi il collo con il buco in fondo. Diversamente da un bicchiere, questo oggetto non ha "bordi" dove la superficie termina bruscamente. Diversamente da un pallone, una mosca pu andare dall'interno all'esterno senza attraversare la superficie (quindi non esiste realmente un "dentro" e un "fuori"). 99. Quaternioni - sono entit introdotte come estensioni dei numeri complessi. I quaternioni contengono i numeri complessi, e sono anche uno spazio vettoriale sui numeri reali a 4 dimensioni. I quaternioni hanno importanti applicazioni nella fisica (nella teoria della relativit e nella meccanica quantistica). Impieghi "sorprendenti" dei quaternioni sono la robotica, dove vengono impiegati per individuare la posizione spaziale dei bracci meccanici a pi snodi, e il controllo d'assetto, in quanto il calcolo tramite quaternioni pi stabile. 100. Operatore hamiltoniano - l'operatore associato all'energia totale di un sistema. 101. Ottetti (o ottonioni) - sono un'estensione non associativa dei quaternioni. 102. Algebra booleana - usare le tecniche algebriche per elaborare le espressioni nel calcolo proposizionale. Oggi, le algebre booleane trovano molte applicazioni, tra le quali la progettazione dei circuiti elettronici. 103. Ipotesi del continuo - riguarda le dimensioni possibili per gli insiemi infiniti. Cantor introdusse il concetto di cardinalit e di numero cardinale (che possiamo immaginare come una "dimensione" dell'insieme) per confrontare tra loro insiemi transfiniti, e dimostr l'esistenza di insiemi infiniti di cardinalit diversa, come ad esempio i numeri naturali e i numeri reali. 104. Ottavo problema (congettura di Riemann) Riguarda la distribuzione degli zeri nella funzione zeta di Riemann "(s). 105. Dodicesimo problema - Estendere il Teorema di Kronecker (teorema degli orlati in algebra lineare) a campi algebrici arbitrari. 106. Equazione integrale - ogni equazione che ha l'incognita sotto il segno di integrale. 107. Spazio di Hilbert - uno spazio vettoriale (generalizzazione dell'insieme formato dai vettori) che generalizza la nozione di spazio euclideo (generalizzazione degli spazi a due e a tre dimensioni studiati dalla geometria euclidea). 108. Paradosso di Russell (o paradosso del barbiere) - considerato una dei pi celebri paradossi della storia: "In un villaggio c' un unico barbiere. Il barbiere rade tutti (e solo) gli uomini che non si radono da s. Chi rade il barbiere?". Si possono fare due ipotesi: il barbiere rade s stesso, ma ci non possibile in quanto, secondo la definizione, il barbiere rade solo coloro che non si radono da s; il barbiere non rade s stesso, ma anche ci contrario alla definizione, dato che questa vuole che il barbiere rada tutti e solo quelli che non si radono da s, quindi in questa ipotesi il barbiere deve radere anche s stesso. In entrambi i casi si giunge ad una contraddizione. 109. Assiomi Zermelo-Fraenkel della teoria degli insiemi (ZF) - sono gli assiomi standard della teoria assiomatica degli insiemi. 110. 1 teorema di incompletezza - In ogni formalizzazione coerente (non contraddittoria) della matematica che sia sufficientemente potente da poter assiomatizzare la teoria elementare dei numeri naturali vale a dire, sufficientemente potente da definire la struttura dei numeri naturali dotati delle operazioni di somma e prodotto possibile costruire una proposizione sintatticamente corretta che non pu essere n dimostrata n confutata all'interno dello stesso sistema. Significato: Il primo teorema di incompletezza di Gdel dimostra che qualsiasi sistema che permette di definire i numeri naturali necessariamente incompleto: esso contiene affermazioni di cui non si pu dimostrare n la verit n la falsit. 2 teorema di incompletezza - Nessun sistema coerente pu essere utilizzato per dimostrare la sua stessa coerenza. Significato: Il secondo teorema di incompletezza di Gdel mostra che, dato che nemmeno un sistema particolarmente semplice come quello dell'aritmetica elementare pu essere utilizzato per provare la propria stessa coerenza, cos, a maggior ragione, esso non pu essere utilizzato per dimostrare la coerenza di sistemi pi potenti.
40
111. Funzione a gradino di Heaviside - una funzione discontinua che ha valore zero per argomenti negativi e uno per argomenti positivi:
112. Funzione delta di Dirac - una funzione generalizzata (generalizzazione del concetto di funzione) che soddisfa le propriet: ,(x)=0 per x $ 0
Viene utilizzata per rappresentare approssimativamente fenomeni come i picchi alti e stretti di alcune funzioni o le loro discontinuit: lo stesso tipo di astrazione che si fa per la carica puntiforme, la massa puntiforme, l'elettrone puntiforme. 113. Numero iperreale - un numero appartenente all'insieme R*, una struttura matematica che pu essere costruita a partire da R, ma che risulta pi ampia: la categoria dei numeri iperreali l'insieme dei reali, degli infinitesimi, dei reciproci degli infinitesimi (numeri infiniti) e di altri numeri infinitamente vicini ai reali 114. Numeri surreali - costituiscono un campo che contiene i numeri reali e anche numeri infiniti e infinitesimi, rispettivamente maggiori o minori in valore assoluto di qualunque numero reale positivo. 115. Campo algebricamente chiuso - F detto campo algebricamente chiuso se ogni polinomio di grado almeno 1, a coefficienti in F, ha una radice in F (cio un elemento x tale che il valore del polinomio in x l'elemento neutro dell'addizione in F). Ad esempio, il campo dei numeri reali non algebricamente chiuso, perch l'equazione polinomiale: 3x2 + 1 = 0 non ha soluzioni nei reali, anche se entrambi i suoi coefficienti (3 e 1) sono reali. 116. Classificazione dei gruppi finiti semplici - un teorema che pu essere considerato uno dei pi significativi teoremi del secolo scorso. I gruppi finiti semplici sono tutti quei gruppi che non contengono alcun sottogruppo normale proprio (che non possono essere scomposti in gruppi pi piccoli). 117. Gruppo mostro M - un gruppo finito di ordine 246 320 59 76 112 133 17 19 23 29 31 41 47 59 71 = 808017424794512875886459904961710757005754368000000000 - 8 1053 118. Teorema del punto fisso - un teorema di topologia che mette in relazione il concetto di funzione continua con la propriet di avere un punto fisso nell'ambito degli spazi euclidei. Un punto fisso di una funzione che manda un insieme in s stesso f:X%X un elemento a dell'insieme che viene mandato su s stesso dalla funzione cio tale che f(a)=a. 119. Superficie minima una superficie che ha curvatura media uguale a zero in ogni punto. In natura esempi di superfici minime si possono ottenere immergendo nell'acqua saponata un telaietto di ferro di una qualunque forma chiusa: all'estrazione del telaio, la lamina di sapone che rimane attaccata ad esso rappresenta una superficie che ha curvatura media nulla ovunque. La teoria delle superfici minime strettamente correlata ai problemi di area minima: date una o pi curve chiuse nello spazio, trovare, tra tutte le superfici aventi le curve date come bordo, quella che ha area minima. La superficie soluzione del problema, oltre a minimizzare l'area, avr anche curvatura media nulla ovunque, quindi sar una superficie minima. 120. Topologia differenziale - una parte della topologia che usa gli strumenti del calcolo infinitesimale. L'oggetto principalmente studiato la variet differenziabile, una generalizzazione a pi dimensioni delle curve e delle superfici. 121. Variet topologica - un concetto abbastanza generale definito con lo scopo di modellare "spazi a pi dimensioni", eventualmente curvi, che "visti con una lente di ingrandimento" sembrano piatti e simili allo spazio euclideo, ma che visti globalmente
41
possono assumere le forme pi svariate. Esempi di variet sono le curve e le superfici. L'universo intuitivamente un esempio di variet tridimensionale. La relativit generale descrive lo spaziotempo come una variet con 4 dimensioni. 122. Variet differenziabile - una generalizzazione del concetto di curva e superficie differenziabile in dimensione arbitraria. Si tratta di una realizzazione del concetto di variet che fa uso degli strumenti del calcolo infinitesimale. 123. Congettura di geometrizzazione - si tratta di una versione tridimensionale del teorema di uniformizzazione di Riemann (importante teorema di analisi complessa che descrive un forte collegamento fra l'analisi complessa e la geometria differenziale per le superfici). 124. Teoria dei nodi - una branca della topologia che si occupa di nodi, ovvero di curve chiuse intrecciate nello spazio. La teoria ha applicazioni in fisica subatomica, chimica molecolare e biologia. 125. Funzione di partizione - definita per ogni intero n come il numero di modi in cui si pu scrivere n come somma di interi, senza tener conto dell'ordine degli addendi. Per esempio: P(4) = 5 infatti 4 si pu scrivere come somma di interi in 5 modi: 4=4 4=3+1 4=2+2 4=2+1+1 4=1+1+1+1 126. Funzioni mock theta - fanno parte di un insieme di funzioni nominate da Srinivasa Ramanujan in una lettera scritta in punto di morte a G. H. Hardy e probabilmente descritte nel suo quaderno degli appunti andato perduto. Della lettera sono per andate perdute le prime pagine, per questa ragione del lavoro di Ramanujan rimangono solo 17 esempi e manca una definizione formale ed il procedimento di come possano essere derivate. Le funzioni mock theta costituiscono una serie infinita di numeri, note da secoli, e usate in un gran numero di problemi e analisi matematiche. In particolare, comportamenti descrivibili con funzioni mock theta sono oggi stati individuati in diversi campi: nei calcoli matematici, fisici, chimici ed anche nelle ricerche sul cancro. 127. Teorema di Gelfond - Il teorema afferma che dati due numeri a algebrico diverso da 0 e da 1 e b non razionale e algebrico ab trascendente cio non la radice di nessun polinomio a coefficienti interi. Per esempio il teorema afferma la trascendenza di numeri come , , ma anche (essendo i algebrico e "non razionale") di o di . 128. Numero di Erdos - Erd.s sicuramente il matematico che ha collaborato di pi con i suoi colleghi. Da questa enorme mole di collaborazioni nata l'usanza scherzosa, probabilmente inventata dall'analista Casper Goffman nel 1969 nel suo articolo And what is your Erd!s number?, di definire il numero di Erd.s di un matematico in questa maniera ricorsiva: Erd.s ha il numero di Erd.s 0; i suoi diretti collaboratori hanno il numero di Erd.s 1. Il numero di Erd.s 2 lo hanno invece quei matematici che hanno pubblicato lavori con un matematico che ha il numero di Erd.s 1, e cos via. 129. Gruppo di Lie - un gruppo G munito di una struttura di variet differenziabile compatibile con le operazioni di gruppo. 130. Tassellature - i modi di ricoprire il piano con una o pi figure geometriche ripetute all'infinito senza sovrapposizioni. 131. Tassellatura di Penrose - uno schema di figure geometriche basate sulla sezione aurea, che permette di ottenere una tassellatura di superfici infinite in modo aperiodico. Esistono pi insiemi possibili di tasselli di Penrose. Uno dei pi utilizzati composto da due tasselli, ognuno ha quattro lati di lunghezza unitaria. Entrambi sono legati alla sezione aurea. Un tassello ha due angoli di 72 e due di 108. L'altro tassello ha due angoli di 36 e due di 144. In altre parole gli angoli sono tutti multipli di un decimo di angolo giro (360), secondo i rapporti {2,2,3,3} e {1,1,4,4}. La coppia di tasselli pu essere costruita a partire da un rombo
42
avente angoli acuti di 72 ed angoli ottusi di 108, si riporta uno dei lati sulla diagonale maggiore ed in questo modo si ottengono due segmenti che stanno tra loro in rapporto aureo. Unendo questo punto sulla diagonale con i vertici degli angoli ottusi, si ottengono i due tasselli voluti, chiamati dardo ed aquilone. I tasselli devono essere uniti rispettando un'unica regola: nessuna coppia di tasselli dev'essere unita in modo che formi un singolo parallelogramma. I tasselli possono essere modificati con rientranze e denti in modo da forzare l'applicazione della regola ma la tassellatura ha un aspetto migliore se i tasselli hanno i lati lisci. Data questa regola esiste una quantit non numerabile di modi per tassellare un piano infinito senza lasciare intervalli o buchi. Limmagine mostra tassellature che rivelano una simmetria rotazionale a cinque movimenti, e cinque simmetrie assiali rispetto a cinque assi passanti per il centro. Per non esiste simmetria traslazionale: questo significa che le tassellature sono aperiodiche, lo schema non si ripete mai nello stesso modo. 132. Geometria non commutativa - una geometria non euclidea in cui le coordinate dei punti, quali latitudine longitudine e altezza, sono descritte da grandezze che non commutano tra loro. 133. Congettura di Keplero - una congettura riguardante l'impacchettamento di sfere nello spazio euclideo tridimensionale. Essa afferma che non esiste alcun modo di sistemare delle sfere nello spazio con densit media superiore a quella dell'impacchettamento cubico a facce centrate o a quella dell'impacchettamento esagonale. 134. Teorema dei quattro colori - afferma che data una superficie piana divisa in regioni connesse, come ad esempio una carta geografica politica, sono sufficienti quattro colori per colorare ogni regione facendo in modo che regioni adiacenti non abbiano lo stesso colore. 135. Insieme di Julia - consiste di tutti quei punti il cui comportamento dopo ripetute iterazioni della funzione caotico, nel senso che pu cambiare drasticamente in seguito ad una piccola perturbazione iniziale.
136. Curva di Koch - una delle prime curve frattali di cui si conosca una descrizione. 137. Frattale - un oggetto geometrico che si ripete nella sua struttura allo stesso modo su scale diverse, ovvero che non cambia aspetto anche se visto con una lente d'ingrandimento. Questa caratteristica spesso chiamata auto-similarit (selfsimilarity). 138. Insieme di Mandelbrot - definito come l'insieme dei numeri complessi tale per cui non divergente la successione definita da: con z0 = 0 L'insieme un frattale e, nonostante la semplicit della definizione, ha una forma non banale. Solo con l'avvento del computer stato possibile visualizzarla. 139. Macchina di Turing (termine spesso abbreviato con MdT) - una macchina formale, cio un sistema formale che pu descriversi come un meccanismo ideale, ma in linea di principio realizzabile concretamente, che pu trovarsi in stati ben determinati, opera su stringhe (si intende una sequenza composta da un certo numero di oggetti che ci si aspetta venga sottoposta ad elaborazioni senza modificare gli oggetti componenti) in base a regole ben precise e costituisce un modello di calcolo. Essa ha la particolarit di essere retta da regole di natura molto semplice, ovvero di potersi descrivere come costituita da meccanismi elementari molto semplici; inoltre possibile presentare a
43
livello sintetico le sue evoluzioni mediante descrizioni meccanicistiche piuttosto intuitive. D'altra parte essa ha la portata computazionale (potere computazionale) che si presume essere la massima: si dimostra infatti che essa equivalente, ossia in grado di effettuare le stesse elaborazioni di tutti gli altri modelli di calcolo di pi ampia portata. Di conseguenza si consolidata la convinzione che per ogni problema calcolabile esista una MdT in grado di risolverlo: questa la cosiddetta congettura di Church-Turing (se un problema intuitivamente calcolabile, allora esister una macchina di Turino, o un dispositivo equivalente, come il computer, in grado di risolverlo, cio di calcolarlo). Per le sue caratteristiche, il modello della MdT un efficace strumento teorico che viene largamente usato nella teoria della calcolabilit e nello studio della complessit degli algoritmi. Per definire in modo formalmente preciso la nozione di algoritmo oggi preferenzialmente si sceglie di ricondurlo alle elaborazioni effettuabili con macchine di Turing. 140. Test di Turing - un criterio, introdotto per determinare se una macchina sia in grado di pensare. Il test consiste in un gioco, noto come gioco dell'imitazione, a tre partecipanti: un uomo A, una donna B, e una terza persona C. Quest'ultimo tenuto separato dagli altri due e tramite una serie di domande deve stabilire qual l'uomo e quale la donna. 141. Intelligenza artificiale - si intende generalmente l'abilit di un computer di svolgere funzioni e ragionamenti tipici della mente umana. 142. Architettura di von Neumann (o macchina di von Neumann) - ci si riferisce a uno schema di progettazione di calcolatori elettronici che si basa su cinque componenti fondamentali: 1. CPU o unit di lavoro che si divide a sua volta in: Unit operativa, nella quale uno dei sottosistemi pi rilevanti l'ALU (Arithmetic Logic Unit); Unit di controllo 2. Unit di memoria, intesa come memoria di lavoro o memoria principale (RAM, Random Access Memory) 3. Unit di input, tramite la quale i dati vengono inseriti nel calcolatore per essere elaborati 4. Unit di output, necessaria affinch i dati elaborati possano essere restituiti all'operatore 5. Bus, un canale che collega tutti i componenti fra loro. 143. Programmazione lineare - quella branca della ricerca operativa che si occupa di studiare algoritmi di risoluzione per problemi di ottimizzazione lineari. 144. Metodo del simplesso (algoritmo del simplesso) - un metodo numerico per risolvere problemi di programmazione lineare. 145. Equilibrio di Nash in teoria dei giochi rappresenta un profilo di strategie (una per ciascun giocatore) rispetto al quale nessun giocatore ha interesse ad essere l'unico a cambiare. 146. Teoria dell'equilibrio economico generale - una branca della microeconomia, che ha per obiettivo spiegare la determinazione congiunta delle scelte di produzione e di consumo, e dei prezzi, nell'intera economia. L'approccio adottato dalla teoria dell'equilibrio economico generale di tipo bottom-up (dal basso verso lalto); in altre parole, la teoria deriva le sue conclusioni sulla base delle scelte di agenti individuali (consumatori, imprese) che operano in ciascun mercato. Un approccio alternativo, di tipo top-down (dallalto verso il basso), invece stato adottato dalla macroeconomia, a partire dalla sua formulazione originale ad opera di John Maynard Keynes. Nella teoria macroeconomica, l'analisi si fonda su aggregati di operatori economici; d'altra parte la moderna macroeconomia in generale pone una notevole enfasi sull'esigenza di dare una microfondazione, o fondazione in termini microeconomici, ai suoi modelli, cos che la distinzione tra i due tipi di approccio oggi pi sfumata. Ciononostante, i modelli macroeconomici tipicamente si concentrano su un generico "mercato dei beni e servizi", di cui studiano le interazioni, ad esempio, con il mercato delle attivit finanziarie. Per contro, i modelli di equilibrio economico generale sono basati sull'analisi di tutta una serie di mercati, dove sono scambiati diversi beni e servizi. L'idea alla base della teoria dell'equilibrio economico generale che in un sistema di mercato, i prezzi e le scelte di produzione e di consumo dei diversi beni (ivi compresi "beni" quali il denaro, o "prezzi" quali il tasso d'interesse) siano interrelati. Un
44
cambiamento nel prezzo di un bene, ad esempio il pane, potrebbe influenzare un altro prezzo, ad esempio il salario dei panettieri. A seconda delle preferenze dei panettieri, la domanda di pane sar allora influenzata dalla variazione nel salario dei panettieri, andando a incidere nuovamente sul prezzo del pane, e cos via. Dunque, la determinazione del prezzo di un singolo bene risulta potenzialmente collegata a quella del prezzo di qualunque altro bene nell'intera economia. La teoria dellequilibrio generale spiega come uneconomia decentralizzata, composta da numerosi agenti indipendenti che agiscono secondo il loro interesse, sia compatibile con un equilibrio su tutti i mercati. Questo equilibrio ottenuto senza che ci sia un organismo che si occupa della logistica economica. Si cita sovente il caso di una grande citt dove nessuno incaricato della distribuzione del pane e del latte. Ciononostante, c abbastanza pane e latte per tutti gli abitanti. Adam Smith parla di una mano invisibile che conduce gli agenti verso un equilibrio che ha molte propriet interessanti. 147. Attrattore di Lorenz - fu il primo esempio di un sistema di equazioni differenziali a bassa dimensionalit in grado di generare un comportamento complesso. 148. Costruttivismo - afferma la necessit di trovare o costruire un oggetto matematico per dimostrare la sua esistenza. Se dall'assunto che un oggetto con determinate caratteristiche non esiste si ricava una contraddizione, ancora non si trovato l'oggetto in esame e quindi secondo i costruttivisti non si dimostrata la sua esistenza. 149. Intuizionismo un approccio alla matematica in cui ogni oggetto matematico considerato un prodotto dell'attivit costruttiva della mente umana. 150. Principio del terzo escluso - Tertium non datur (un terzo non dato): sta a significare che una terza soluzione (una terza via, o possibilit) non esiste rispetto a una situazione che paia prefigurarne soltanto due. 151. Infinito attuale - secondo Aristotele, l'infinito attuale va inteso come un'infinit compiuta, che si presenta nella sua totalit in un momento ben determinato, mentre l'infinito potenziale un'infinit distribuita nel tempo, simile a un processo che non ha mai fine. 152. P contro NP - La teoria della complessit computazionale quella parte della teoria della computazione che studia la quantit di risorse richieste durante una computazione standard per risolvere un dato problema. Le risorse pi comunemente studiate sono il tempo (quanti passi sono necessari a risolvere un problema) e lo spazio (quanta memoria necessaria per risolvere un problema). In questa teoria, la classe P consiste di tutti quei problemi di decisione che possono essere risolti con una macchina sequenziale deterministica in un tempo che polinomiale rispetto alla dimensione dei dati di ingresso; la classe NP consiste di tutti quei problemi di decisione le cui soluzioni positive possono essere verificate in tempo polinomiale avendo le giuste informazioni, o equivalentemente, la cui soluzione pu essere trovata in tempo polinomiale con una macchina non deterministica. Senza dubbio, il pi importante problema aperto dell'informatica teorica riguarda la relazione tra queste due classi: P uguale a NP? La maggior parte degli esperti ritiene che la risposta sia probabilmente "no"; Essenzialmente, la domanda P = NP si pu riformulare cos: se le soluzioni positive a problemi di tipo SI/NO possono essere verificate velocemente, ne segue che le risposte possono essere anche calcolate velocemente? Un esempio per avere un'idea di cosa ci vuole dire. Dati due numeri grandi X e Y, potremmo chiederci se Y sia multiplo di un intero tra 1 e X, estremi esclusi. Per esempio potremmo chiederci se 69799 sia multiplo di un qualche intero tra 1 e 250. La risposta SI, sebbene sia necessaria una discreta quantit di lavoro per scoprirlo a mano. D'altra parte, se qualcuno ci dicesse che la risposta "SI, perch 223 un divisore di 69799", allora potremo velocemente verificare questo fatto con un'unica divisione. Verificare che un numero un divisore di un altro molto pi semplice che trovare il divisore stesso partendo da zero. L'informazione necessaria a verificare una risposta positiva anche chiamata certificato. Concludiamo cos che dati i certificati giusti, le risposte positive ai nostri problemi possono essere verificate velocemente (cio in tempo polinomiale) e questo il motivo per cui il problema in NP. Non noto se questo problema in P.
45
153. Congettura di Goldbach - uno dei pi vecchi problemi irrisolti nella teoria dei numeri. Essa afferma che ogni numero pari maggiore di 2 pu essere scritto come somma di due numeri primi (lo stesso numero primo pu essere usato due volte). Per esempio: 4 = 2 + 2 6 = 3 + 3 8 = 3 + 5 10 = 3 + 7 = 5 + 5 12 = 5 + 7 etc. 154. Congettura dei numeri primi gemelli - essa fu proposta per la prima volta da Euclide intorno al 300 a.C. e afferma: Esistono infiniti numeri primi p tale che anche p + 2 sia un numero primo. Due numeri primi che differiscono di 2 sono chiamati primi gemelli.
46

Storia Della Matematica

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Storia Della Matematica

Caricato da

Copyright:

Formati disponibili

Vincenzo Pappalardo

Da Wikipedia, l'enciclopedia libera

BREVE STORIA DELLA MATEMATICA

STORIA DELLA FISICA

Copyright ! 2011 di Vincenzo Pappalardo Tutti i diritti sono riservati

BREVE STORIA DELLA MATEMATICA

Il teorema che non potr mai essere dimostrato: Lamore

BREVE STORIA DELLA MATEMATICA

11 CAPITOLO 3: La Matematica greco-ellenistica (circa 550 a.C. 400 d.C.)

14 CAPITOLO 4: La Matematica medioevale

18 CAPITOLO 5: La Matematica nel periodo della rivoluzione scientifica

23 CAPITOLO 6: Let delloro della Matematica

27 CAPITOLO 7: La Matematica nel XX secolo

31 CAPITOLO 8: La matematica del XXI secolo 32 Glossario 4

BREVE STORIA DELLA MATEMATICA

' ' ' ' ' '

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

4. Media armonica - il reciproco della media aritmetica dei reciproci:

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

26. 27. 28.

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

ammette sempre una radice complessa.

57. 58. 59.

BREVE STORIA DELLA MATEMATICA

71. 72. 73. 74.

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

BREVE STORIA DELLA MATEMATICA

Potrebbero piacerti anche