HISTOIRE DES SCIENCES MATHMATIQUES

MASTER MATHEMATIQUES ET APPLICATIONS : ENSEIGNEMENT ET FORMATION

jeudi 1 dcembre 2011

lments dhistoire de la gomtrie

jeudi 1 dcembre 2011

La Gomtrie
Dabord gomtrie =science des gures /arithmtique =science des nombres. Mais aussi : continu/discret Importance du modle euclidien => le fondement de la rigueur mathmatique est gomtrique. De plus : la gomtrie donne une reprsentation du monde (cf : Galile, LEssayeur, 1623 : [le grand livre de lunivers ] est crit dans le langage des mathmatiques, et ses caractres sont des triangles, des cercles et autres gures gomtriques)

MAIS....
jeudi 1 dcembre 2011

Les coniques comme intersection dun plan et dun cne (illustrations daprs Wikipedia, art. Coniques)

jeudi 1 dcembre 2011

Michel Chasles (1793-1880)

Entre Polytechnique en 1812 (prof. en 1841) Mmoire sur la dualit et lhomographie (1837) Chaire de gomtrie suprieure la Sorbonne (1846) Acadmie des sciences (1851) Trait de gomtrie suprieure (1852)

jeudi 1 dcembre 2011

Quon prenne une figure quelconque dans lespace, et lune des proprits connues ; quon applique cette figure une transformation, et quon suive les diverses modifications (...) quprouve le thorme qui exprime cette proprit, on aura une nouvelle figure, et une nouvelle proprit de cette figure, qui correspondra celle de la premire. Ces moyens (...) sont de vritables instruments, que ne possdait point lancienne gomtrie, et qui font le caractre fort distinctif de la gomtrie moderne. Michel Chasles, Aperu historique sur lorigine et le dveloppement des mthodes en gomtrie (1837)

jeudi 1 dcembre 2011

Quelques consquences
accent mis sur les transformations entre gures, tude explicite de certaines transformations et de leurs effets distinction entre divers types de proprits (mtriques, etc...), invariantes ou non par certaines transformations rexion explicite et technique sur la gnralit, la rigueur, lintuition en mathmatiques (et les moyens mathmatiques de les garantir) dbats sur les relations entre gomtrie et analyse
jeudi 1 dcembre 2011

Un exemple :linversion
Soit O un point du plan et k une constante. Linversion de ple O et de puissance k est la transformation plane P ->P, telle OP.OP=k et O, P, P aligns. inverse de O ? : point linni quations : x' = kx/(x+y) y' = ky/(x+y) droite se transforme en cercle ! daprs http://jellevy.yellis.net/
jeudi 1 dcembre 2011

Postulat des parallles

1ers postulats dEuclide : on peut mener une ligne droite de tout point tout point ; on peut prolonger en ligne droite un segment ; on peut dcrire un cercle partir dun centre et dun intervalle ; les angles droits sont tous gaux. 5e postulat : si une droite tombant sur deux droites fait les angles intrieurs et du mme ct plus petits que deux droits, les deux droites, indniment prolonges, se rencontrent du ct o sont les angles plus petits que les deux droits.

jeudi 1 dcembre 2011

Nombreuses tentatives de lAntiquit au 19e sicle pour le prouver partir des autres, ou trouver des postulats quivalents plus simples etc.
Exemples : 1) pour toute droite D et tout point P nappartenant pas D, il existe une unique droite D parallle D passant par P dans le plan contenant D et P. (axiome de Playfair) 2) La somme des angles dun triangle est gale deux droits. 3) Etant donn un point lintrieur dun angle, il existe au moins une droite D passant par ce point qui coupe les deux cts de langle.

jeudi 1 dcembre 2011

Gomtrie non euclidienne

Les essais de preuve par labsurde naboutissent aucune contradiction => existe-t-il une gomtrie alternative, trange gomtrie, tout fait diffrente de la ntre, entirement consquente en elle-mme (Gauss) ? c. 1825-1830 : indpendamment : Nikolai Ivanovich Lobatchevski et Janos Bolyai exposent une gomtrie logiquement cohrente o la somme des angles dun triangle est infrieure (innit de parallles une droite passant par un point extrieur)
jeudi 1 dcembre 2011

Il est incroyable que cette obscurit obstine, cette clipse ternelle, cette tare dans la gomtrie, le nuage ternel sur la pure vrit puisse tre support. [ Mais] tu ne dois pas tenter dapprocher le problme des parallles. Je connais ce chemin jusqu sa n. Jai travers cette nuit sans n, qui a teint toute lumire et toute joie de ma vie. Je ten conjure, laisse de ct cette science des parallles ...Je pensais me sacrier au nom de la vrit, jtais prt devenir un martyr qui enlverait cette tare de la gomtrie et la retournerait purie lhumanit. Jai accompli des travaux monstrueux, normes... Jai tourn le dos quand jai vu quaucun homme ne pouvait atteindre le fond de la nuit. Jai tourn le dos inconsol, me plaignant moi-mme et toute lhumanit... Wolfgang Bolyai son ls Johann

jeudi 1 dcembre 2011

Gomtrie diffrentielle
1827 :Disquisitiones generales circa supercies curvas (Recherches gnrales sur les les surfaces courbes), C. F. Gauss : tude intrinsque des surfaces, autrement dit indpendamment de leur plongement dans lespace 3 dimensions ; introduction de : ds2=dx2+dy2+dz2=Edp2+2Fdpdq+Gdq2, p et q coordonnes locales, intrinsques notion de courbure (intrinsque)
jeudi 1 dcembre 2011

Courbure >0 Courbure <0

Courbure = 0 (gomtrie euclidienne)

Gomtrie diffrentielle
1854 : ber die Hypothesen, welche der Geometrie zu Grunde ligen [Sur les hypothses qui servent de fondement la gomtrie], Bernhard Riemann Riemann tudie les multiplicits (=aujourdhui, varits) : espaces n dimensions, n quelconque, avec un lment de longueur ds, tel que ds2= aijdpidpj qui permet de mesurer la distance entre deux points proches. Riemann ralise un modle de gomtrie non euclidienne (avec somme des angles dun triangle >180) sur la sphre : les droites sont les cercles passant par les ples. La consistance de cette gomtrie est assure par la gomtrie euclidienne.
jeudi 1 dcembre 2011

1868: Saggio duna interpretazione della geometria non euclidea (Essai dune interprtation de la gomtrie non euclidienne) Eugenio Beltrami interprte localement la gomtrie de Bolyai (astrale) et Lobatchevski (imaginaire) comme celle dune pseudosphre, les droites tant les godsiques.
jeudi 1 dcembre 2011

Dessin montrant plusieurs godsiques parallles une godsique (r) donne, passant toutes par un point P (daprs Cours Insa Lyon)
jeudi 1 dcembre 2011

Felix Klein
physique et mathmatiques 1868 1865-66: Universit de Bonn pour tudier 1868: Thse de gomtrie dirige par Plcker en 1870-71 : voyage Paris avec Lie d'Erlangen)

1872 : Poste Erlangen (programme 1875 : Professeur Munich, nombreux tudiants 1880-86: Professeur Leipzig, concurrence 1886: Professeur Gttingen, travail Encyclopdie der mathematischen Wissenschaften) avec Poincar sur les fonctions automorphes administratif intense (Mathematische Annalen,

1849-1925

jeudi 12 novembre 2009 jeudi 1 dcembre 2011

Dans le domaine gomtrique galement, le dveloppement mathmatique moderne prit en Allemagne son point de dpart de linuence franaise....Lintrt se dirigea vers la gomtrie algbrique. ... Je voudrais indiquer deux oppositions qui ont t dune importance dcisive dans ce dveloppement. La premire est la sparation entre les traitements analytique et synthtique de la gomtrie. Les dfenseurs de chaque direction mettaient leur honneur ne travailler quavec leurs outils spciques....La gomtrie analytique a pour elle les algorithmes confortables qui permettent les plus vastes gnralisations, mais qui conduit aussi facilement perdre des yeux lobjet propre de la gomtrie : la gure et sa construction. Avec la gomtrie synthtique menace en revanche le danger que lesprit reste prisonnier du cas spcial considr ou dun nombre restreint de possibilits. Ce qui est louer dans le traitement synthtique est la conscience claire de la racine vivante de toute gomtrie, la joie de la forme ([Freude an der Gestalt]). Un dveloppement sain se servira des deux mthodes ... Lautre opposition dont je voudrais parler est moins dans la nature des choses...Je parle de lopposition des coles, des cliques, tout le vaste domaine de la polmique scientique...dans notre cas il sagit du combat entre le tenant de la gomtrie synthtique Steiner, appuy par Jacobi et son cercle, et Plcker. Felix Klein, Vorlesungen ber die Entwicklung der Mathematik im 19. Jahrhundert, 1926

jeudi 1 dcembre 2011

Agenda de Felix Klein

Prserver lunit des mathmatiques (contre la distinction arithmtique gnrale vs gomtrie et physique) Prserver le lien avec les sciences physiques et la technique

jeudi 12 novembre 2009 jeudi 1 dcembre 2011

Des gomtries aux groupes

Sappuyant sur des ides de Cayley, Klein montre comment englober la gomtrie euclidienne et les gomtries de Riemann et de Bolyai-Lobatchevski dans la gomtrie projective : celle-ci est la gomtrie absolue 1872 : Considrations comparatives sur les recherches gomtriques modernes (= programme dErlangen)

jeudi 1 dcembre 2011

Programme dErlangen
La plus essentielle [des notions] est celle de groupe de transformations de lespace Il y a des transformations de lespace qui naltrent en rien les proprits gomtriques des gures...Si lon remplace [ce] groupe principal par un groupe plus tendu, une partie seulement des proprits est conserve Programme : Etant donne une multiplicit et un groupe de transformations, en tudier les tres au point de vue des proprits qui ne sont pas altres par les transformations
jeudi 1 dcembre 2011

 Changer le point de vue:

sintresser aux groupes de transformation de lespace plutt quaux figures.

Toute gomtrie peut tre conue comme:

Un espace et un groupe de transformation qui agit sur cet espace [Euclide: plan et groupe des isomtries].
Groupes Identit Translations Dplacements Isomtries Similitudes Gr. affine Gr. projectif
21/05/2009 Rvolutions du 19e sicle 39

Position

Direc- Orien- Distance tion tation

Angle

Paralllisme

Collinarit

Proprits invariantes par quelques sous-groupes du groupe projectif (daprs J. Peiffer et A. Dahan, Routes et ddales)

09
jeudi 1 dcembre 2011

Gomtries non euclidiennes

Aussi hors du champ des spcialistes ! Ex : Si Dieu existe vraiment et si vraiment il a cr le monde, alors, comme nous savons tous, il la cr en accord avec la gomtrie euclidienne et il a cr lesprit humain avec la conception de seulement trois dimensions spatiales. Et pourtant il y a eu et il y a encore des mathmaticiens et des philosophes...qui doutent que lunivers entier ..tait cr seulement selon la gomtrie euclidienne et ils osent mme rver que deux lignes parallles qui selon Euclide ne se rencontre jamais sur terre, puissent se rencontrer quelque part linni. (F. Dostoievsky, Les Frres Karamazov) Problme de la libert, du ralisme, de la vrit, etc... Approche gnrale de Riemann en dimension n encore hors du programme de Klein
jeudi 1 dcembre 2011

Vers de nouveaux fondements

Plusieurs problmes : gomtries non euclidiennes, mais aussi nouveaux types dobjets en analyse (fonctions nulle part drivables, ...). Sur quoi fonder ? Nombres entiers ? Nouveaux principes gomtriques ? Rapport entre mathmatiques et monde naturel ? Nature des objets mathmatiques par rapport lexprience ? Nombreuses propositions 1899 : Grundlagen der Geometrie (Fondements de la gomtrie), David Hilbert. Pour lui, laxiomatisation est la solution : axiomatiser un domaine permet de voir clairement les problmes et les voies de dveloppement. La vrit mathmatique est dans la cohrence des relations entre objets, dans la dduction logique partir des axiomes.

jeudi 1 dcembre 2011

Grundlagen der Geometrie

Notions de base non dnies : point, droite, plan Plusieurs groupes daxiomes Des changements daxiomes produisent dautres gomtries (y compris dans le rapport entre droite et nombres rels => gomtries non archimdiennes, gomtries nies, etc.). Discussion sur le rapport des axiomes entre eux (indpendance, consistance, etc.) => logique mathmatique

jeudi 1 dcembre 2011

Euclide
Un point est ce dont il ny aucune partie Une ligne est une longueur sans largeur notions communes : les choses gales une mme chose sont aussi gales entre elles

Hilbert
Convention: Concevons trois systmes dtres : ... points, droites, plans...Quils aient entre eux certaines relations mutuelles : sont situs, entre ....[dcrits]au moyen des axiomes
ex : si A, B, C dsignent trois points sur une droite, et si B est situ entre A et C, il lest aussi entre C et A.

jeudi 1 dcembre 2011