You are on page 1of 1632

Morris Kline

El pensamiento matemtico de la antigedad a nuestros das

Edicin impresa:
Alianza Editorial

Vols 1, 2 y 3
TALLERES ESTUDIANTILES CIENCIAS UNAM

Edicin digital:
Educacin

Primera edicin 1972

para todos

Educacin

para todos
Educacin para todos no es un proyecto lucrativo, sino un esfuerzo colectivo de estudiantes y profesores de la UNAM para facilitar el acceso a los materiales necesarios para la educacin de la mayor cantidad de gente posible. Pensamos editar en formato digital libros que por su alto costo, o bien porque ya no se consiguen en bibliotecas y libreras, no son accesibles para todos. Invitamos a todos los interesados en participar en este proyecto a sugerir ttulos, a prestarnos los textos para su digitalizacin y a ayudarnos en toda la labor tcnica que implica su reproduccin. El nuestro, es un proyecto colectivo abierto a la participacin de cualquier persona y todas las colaboraciones son bienvenidas. Nos encuentras en los Talleres Estudiantiles de la Facultad de Ciencias y puedes ponerte en contacto con nosotros a la siguiente direccin de correo electrnico: eduktodos@gmail.com http://eduktodos.org.mx

INDICE

PRLOGO ...........................................................................
1. LA MATEMTICA EN MESOPOTAMIA ...........................
1. Dnde tuvo su origen la matemtica?, 18.-2. La historia poltica de Mesopotamia, 19.-3. Los smbolos numricos, 2 1 . 4 . Las operaciones aritmticas, 24.-5. El lgebra babilnica, 2 6 . 4 . La geometra babilnica, 29.-7. Aplicaciones de la matemtica en Babilonia, 30.-8. Evaluacin global de la matemtica babilnica, 33.-Bibliografa, 34.

13

18

2.

LA MATEMTICA

EGIPCIA ...........................................

35

1. El marco histrico, 35.-2. La arimtica, 37.-3. Algebra y geometra, 4 1 . 4 . Aplicaciones de la matemtica egipcia, 43.-Resumen, 45.-Bibliografa, 46.

3. LOS ORGENES DE LA MATEMTICA CLSICA GRIEGA..


1. El marco histrico, 47.-2. Las fuentes generales, 49.-3. Las escuelas principales del perodo clsico, 5 1 . 4 . La escuela jnica, Los 52.-5. Los pitagricos, 5 3 . 4 . La escuela eletica, 61.-7. sofistas, 65.43. La escuela platnica, 71.-9. La escuela de Eudoxo, 79.-10. Aristteles y su escuela, 83.-Bibliografa, 86.

47

4.

EUCLIDES Y APOLONIO ..............................................


1. Introduccin, 88.-2.

88

El marco de los Elementos de Euclides,


7

Morris Kline 89.-3. Las definiciones y axiomas de los Elementos, 9 0 . 4 . Los libros 1 a IV de los Elementos, 93.-5. El libro V: La teora de proporciones, 1 0 3 . 4 . El libro VI: Figuras semejantes, 109.-7. Los libros VII, VI11 y IX: La teora de nmeros, 114.-8. El libro X: La clasificacin de los inconmensurables, 118.-9. Los libros XI, XII y XIII: Geometra de slidos y mtodo de exhauscin, 119.-10. Los mtodos y defectos de los Elementos, 1 2 5 . 4 1. Otras obras matemticas de Euclides, 127.-12. La obra matemtica de Apolonio, 129.-Bibliografa, 141.

5. EL PERODO GRECO-ALEJANDRINO: GEOMETRA Y


TRIGONOMETR~A........................................................
1. La fundacin de Alejandra, 143.-2. El carcter de la matemtica greco-alejandrina, 146.-3. Areas y volmenes en os trabajos de Arqumedes, 1 4 8 . 4 . Areas y volmenes en los trabajos de Hern, 162.-5. Algunas curvas excepcionales, 1 6 4 . 4 . El nacimiento de la trigonometra, 166.-7. La actividad geomtrica tarda en Alejandra, 175.-Bibliografa, 180.

143

6. EL PERODO ALEJANDRINO: EL RESURGIR D E LA ARIT-

MTICA Y EL LGEBRA ................................................ 1. Los smbolos y operaciones de la aritmtica griega, 181.-2. Crecimiento independiente de la aritmtica y el lgebra, 187.-Bibliografa, 198.

181

7. LA RACIONALIZACIN GRIEGA D E LA NATURALEZA ....


1. La inspiracin de la matemtica griega, 200.-2. Los comienzos de una visin racional de la naturaleza, 201.-3. El desarrollo de la creencia en una estructura matemtica, 2 0 3 . 4 . La astronoma matemtica griega, 211.-5. La Geografa, 2 1 9 . 4 . La Mecnica, 222.-7. La Optica, 227.-8. La Astrologa, 230.-Bibliografa, 23 1.

200

8. EL FINAL DEL M U N D O GRIEGO ...................................


Las limitaciones de la matemtica griega, 236.-3. Los problemas legados por los griegos, 2 4 0 . 4 . La desaparicin de la civilizacin griega, 242.-Bibliografa, 247.
1. Resea de las realizaciones griegas, 233.-2.

233

9. LAMATEMTICA D E LOS HINDES Y D E LOS RABES ....


1. La primera matemtica hind, 248.-2. Aritmtica y lgebra indias del perodo 200-1200, 250.-3. Geometra y trigonometra indias durante el perodo 200-1200,255.4. Los rabes, 258.-5. Aritmtica y lgebra rabes, 2 5 9 . 4 . La geometra y la trigonometra rabes, 264.-7. La matemtica alrededor del 1300, 266.-Bibliografa, 269.

248

10.

EL PERODO

MEDIEVAL E N EUROPA

............................

271

1 . Los comienzos de la civilizacin europea, 271 .-2. Los elementos disponibles para la cultura, 272.-3. El papel de las matemticas en

El pensamiento matemtico de la Antigedad a nuestros das, 1 Europa en la Alta Edad Media, 2 7 4 . 4 . El estancamiento en matemticas, 276.-5. El primer renacimiento de las obras griegas, 2 7 7 . 4 . El renacimiento del racionalismo y del inters por la naturaleza, 279.-7. El progreso especfico en matemticas, 282.-8. El progreso en las ciencias fsicas, 285.-9. Sumario, 288.-Bibliografa, 290.

11. EL RENACIMIENTO .....................................................


1. Influencias revolucionarias en Europa, 291 .-2. La nueva perspectiva intelectual, 294.-3. La difusin de la instruccin, 2 9 6 . 4 . La actividad humanstica en las matemticas, 298.-5. El clamor por la nacimiento de empirismo, reforma de la ciencia, 301.-El 306.-Bibliografa, 309.

291

12. LASCONTRIBUCIONES MATEMTICAS E N EL RENACIMIENTO 1. Perspectiva, 31 1.-2. La geometra propiamente dicha, 315.-3. Algebra, 318 . 4 . Trigonometra, 319.-5. Los principales progresos cientficos del Renacimiento, 3 2 3 . 4 . Notas sobre el Renacimiento, 33 1.-Bibliografa, 332.

......................................................................

311

13. LA ARITMTICA Y EL LGEBRA E N LOS SIGLOS XVI Y


XVII ............................................................................ 1. Introduccin, 335.-2. La situacin del sistema numrico y la aritmtica, 336.-3. El simbolismo, 3 4 6 . 4 . La solucin de las ecuaciones de tercer y cuarto grados, 351.-5. La teora de ecuacioLa nes, 3 6 1 . 4 . El teorema binomial y cuestiones afines, 364.-7. teora de nmeros, 366.-8. La relacin entre el lgebra y la geometra, 372.-Bibliografa, 377.

335

14. LOS COMIENZOS DE LA GEOMETR~A PROYECTIVA.. ......


1 . El renacer de la geometra, 380.-2. Problemas planteados por los trabajos sobre la perspectiva, 382.-3. La obra de Desargues, 3 8 4 . 4 . La obra de Pascal y La Hire, 392.-5. La aparicin de nuevos principios, 396.-Bibliografa, 399.

3 80

15. LA GEOMETR~A ANAL~TICA .........................................


1. La motivacin de la geometra de coordenadas, 41 .-2. La geometra analtica de Fermat, 402.-3. Ren Descartes, 4 0 3 . 4 . La obra de Descartes en geometra analtica, 408.-5. El avance de la geometra analtica, 408.-5. El avance de la geometra analtica durante el siglo XVII, 4 1 9 . 4 . La importancia de la geometra analtica, 424.-Bi bliografa, 428.

40 1

16. LA MATEMATIZACIN DE LA CIENCIA .........................


1. Introduccin, 430.-2. El concepto de la ciencia de Descartes, 431.-3. El enfoque de la ciencia de Galileo, 4 3 2 . 4 . El concepto de funcin, 443.-Bibliografa, 450.

430

10

Morris Iline

17.

LA CREACIN DEL CLCULO

......................................

452

1. La motivacin del clculo, 452.-2. El trabajo sobre el clculo de principios del siglo XVII, 454.-3. La obra de Newton, 4 7 1 . 4 . La obra de Leibniz, 489.-5. Una comparacin de las obras de Newton y Leibniz, 5 0 0 . 4 . La controversia sobre la prioridad, 502.-7. Algunas adiciones inmediatas al clculo, 503.-La solidez del clculo, 506.-Bibliografa, 514.

18. LASMATEMTICAS A PARTIR DE 1700............................


1. La transformacin de las matemticas, 516-2. Las matemticas y la ciencia, 520.-3. La comunicacin entre los matemticos, 5 2 2 . 4 . Las perspectivas para el siglo XVIII, 526.-Bibliografa, 527.

516

A mi esposa, Helen Mann Kline

530 Ecuaciones en derivadas parciales de primer orden, 7 0 5 . 4 . Monge y la teora de las caractersticas, 710.-7. Monge y las ecuaciones de segundo orden no lineales, 714.-8. Sistemas de ecuaciones en derivadas parciales de primer orden, 716.-9. El desarrollo de las ecuaciones en derivadas parciales como disciplina matemtica, 719.-Bibliografa, 720.

Indice

23. GEOMETRA ANALTICA Y DIFERENCIAL E N EL S C L O


XVIII ...........................................................................
1 . Introduccin, 722.-2. Geometra analtica bsica, 722.-3. Curvas planas de grado superior, 7 2 6 . 4 . Los orgenes de la geometra diferencial, 735.-5. Curvas planas, 7 3 6 . 4 . Curvas en el espacio, 738.-7. La teora de superficies, 745.-8. El problema de los mapas, 755.-Bibliografa, 757.

722

24. EL CLCULO

D E VARIACIONES E N EL SIGLO XVIII 1. Los problemas iniciales, 759.-2. Los primeros trabajos de Euler, 765.-3. El principio de mnima accin, 7 6 7 . 4 . La metodologa de Lagrange, 771.-5. Lagrange y la mnima accin, 7 7 7 . 4 . La segunda variacin, 780.-Bibliografa, 781.

........

759

25. ELLGEBRA DEL SIGLO XVIII

......................................

783

1. La situacin de los nmeros, 783.-2. La teora de ecuaciones, 789.-3. Determinantes y teora de la eliminacin, 8 8 1 . 4 . La teora de nmeros, 804.-Bibliografa, 810.

26. LASMATEMTICAS DE 1800

..........................................

812

1 . La aparicin del anlisis, 812.-2. La motivacin del trabajo del siglo XVIII, 814.-3. El problema de la demostracin, 8 1 6 . 4 . La base metafsica, 819.-5. La expansin de la actividad matemtica, 821.-6. Un vistazo adelante, 823.-Bibliografa, 827.

27.

FUNCIONES DE U N A VARIABLE COMPLEJA ..................


1. Introduccin, 828.-2. Los principios de la teora de funciones complejas, 828.-3. La representacin geomtrica de los nmeros complejos, 8 3 2 . 4 . Los fundamentos de la teora de funciones complejas, 836.-5. La visin de Weierstrass de la teora de funciones, 8 5 0 . 4 . Funciones elpticas, 852.-7. Las integrales hiperelpticas y el teorema de Abel, 861.-8. Riemann y las funciones multvocas, 866.-9. Integrales y funciones abelianas, 876.-10. Aplicaciones conformes, 880.-11. La representacin de funciones y los valores excepcionales, 882.-Bibliografa, 884.

828

28. LAS ECUACIONES

E N DERIVADAS PARCIALES E N EL SIGLO XIX 1. Introduccin, 886.-2. La ecuacin de calor y las series de Fourier, 887.-3. Soluciones explcitas: la integral de Fourier, 8 9 6 . 4 . La ecuacin del potencial y el teorema de Green, 900.-5. Coordenadas

...................................................................

886

Indice curvilneas, 9 0 7 . 4 . La ecuacin de ondas y la ecuacin de ondas reducida, 910.-7. Sistemas de ecuaciones en derivadas parciales, 919.-8. Teoremas de existencia, 923.-Bibliografa, 933.

531

29. LASECUACIONES DIFERENCIALES ORDINARIAS E N EL


SIGLO XIX 1. Introduccin, 935.-2. Soluciones con series y funciones especiales, 936.-3. La teora de Sturm-Liouville, 9 4 3 . 4 . Teoremas de existencia, 946.-5. La teora de singularidades, 951.A. Las funciones automorfas, 957.-7. El trabajo de Hill sobre soluciones peridicas de las ecuaciones lineales, 963.-8. Ecuaciones diferenciales no lineales : la teora cualitativa, 965.-Bibliografa, 973.

...................................................................

935

30. EL CLCULO D E VARIACIONES E N EL SIGLO XIX ..........


1. Introduccin, 975-2. La fsica matemtica y el clculo de variaciones, 975.-3. Extensiones matemticas del propio clculo de variaciones, 9 8 3 . 4 . Problemas relacionados en el clculo de variaciones, 989.-Bibliografa, 990.

975

................................................ 31. LA TEORA DE GALOIS


1. Introduccin, 992.-2. Ecuaciones binmicas, 992.-3. El trabajo de Abel sobre la solucin de ecuaciones por radicales, 9 9 5 . 4 . La teora de resolubilidad de Galois, 997.-5. Los problemas de construccin geomtrica, 1 0 0 6 . 4 . La teora de los grupos de sustituciones, 1108.-Bibliografa, 1115.

992

VECTORES Y LGEBRAS LINEALES 32. CUATERNIONES,


ASOCIATIVAS 1. El fundamento del lgebra sobre la permanencia de la forma, La bsqueda de un nmero complejo tridimensional, 1O 17.-2. 1022.-3. La naturaleza de los cuaterniones, 1 0 2 7 . 4 . El clculo de la extensin de Grassmann, 1030.-5. De los cuaterniones a los vectores, 1034.-6. AIgebras lineales asociativas, 1043.-Bibliografa, 1046. YMATRICES ..................................... 33. DETERMINANTES
1. Introduccin, 1048.-2. Algunos nuevos usos de los determinantes, 1049.-3. Los determinantes y las formas cuadrticas, 1 0 5 3 . 4 . Matrices, 1060.-Bibliografa, 1070.

..............................................................

1017

1048

1072

Morris Kline sucesores de Riemann, 1184.-5. Los invariantes de las formas diferenciales, 1188.-Bibliografa, 1192.

38. LASGEOMETR~AS PROYECTIVA Y MTRICA .................


1. Introduccin, 1193.-2. Las superficies como modelos de la geometra no eucldea, 1194.-3. Las geometras proyectiva y mtrica, 1 1 9 6 . 4 . Los modelos y el problema de la consistencia, 1205.-5. La geometra desde el punto de vista de las transformaciones, 1 2 1 0 . 4 . La realidad de la geometra no eucldea, 1215.-Bibliografa, 1218.

1193

39.

LA GEOMETRA

ALGEBRAICA

......................................

1219

1. Antecedentes, 1219.-2. La teora de invariantes algebraicos, 1220.-3. El concepto de transformacin birracional, 1 2 3 0 . 4 . El enfoque de la teora de funciones en geometra algebraica, 1232.-5. El problema de la uniformizacin, 1 2 3 7 . 4 . El enfoque de la geometra algebraica, 1239.-7. El enfoque aritmtico, 1243.-8. La geometra algebraica de superficies, 1245.-Bibliografa, 1248.

40. LA INTRODUCCIN DEL RIGOR E N EL ANLISIS ........


1. Introduccin, 1250.-2. Las funciones y sus propiedades, 1252.-3. La derivada, 1 2 5 9 . 4 . La integral, 1263.-5. La teora de series infinitas, 1 2 6 9 . 4 . Las series de Fourier, 1276.-7. La situacin del anlisis, 1283.-Bibliografa, 1289.

1250

41. LA FUNDAMENTACIN DE LOS NMEROS REALES Y


TRANSFINITOS 1. Introduccin, 1292.-2. Nmeros algebraicos y trascendentes, 1294.-3. La teora de los nmeros irracionales, 1 2 9 6 . 4 . La teora de los nmeros racionales, 1302.-5. Otros enfoques del sistema de los nmeros reales, 1 3 0 6 . 4 . El concepto de conjunto infinito, 1309.-7. Los fundamentos de la teora de conjuntos, 1311.-8. Cardinales y ordinales transfinitos, 1317.-9. La situacin de la teora de conjuntos hacia 1900, 1322.-Bibliografa, 1324.

.............................................................

1292

42.

LOS FUNDAMENTOS DE LA GEOMETRA

.....................

1325

1. Los defectos de Euclides, 1325.-2. Contribuciones a la fundamentacin de la geometra proyectiva, 1328.-3. Los fundamentos de la geometra eucldea, 1 3 3 1 . 4 . Otros trabajos de fundamentacin, 1338.-5. Algunas cuestiones abiertas, 1340.-Bibliografa, 1347.

43. LA MATEMTICA EN TORNO A 1900...........................


1. Las principales caractersticas de los desarrollos del siglo XIX,

1348

1348.-2.

El movimiento axiomtico, 1353.-3.

La matemtica como

El pensamiento matemtico de la Antigedad a nuestros das, 111


creacin del hombre, 1 3 5 4 . 4 . La prdida de la verdad, 1359.-5. La matemtica como el estudio de estructuras arbitrarias, 1 3 6 5 . 4 . El problema de la consistencia, 1368.-7. Una mirada hacia el futuro, 3368.-Bibliografa, 1369.

1073

44. LA TEORA DE FUNCIONES DE UNA o VARIAS VARIABLES REALES

................................................................

1371

1. Los orgenes, 1371.-2. La integral de Stieltjes, 1372.-3. Primeros trabajos sobre contenido y medida, 1373.-4. La integral de Lebesgue, 1377.-5. Generalizaciones, 1384.-Bibliografa, 1385.

45. ECUACIONES INTEGRALES ..........................................


1. Introduccin, 1387.-2. Los comienzos de una teora general, 1393.-3. La obra de Hilbert, 1 3 9 8 . 4 . Los sucesores inmediatos de Hilbert, 1412.-5. Generalizaciones de la teora, 1416.-Bibliografa, 1417.

1387

46. EL ANLISIS FUNCIONAL ............................................


La teora de funcionales, 1420.-3. El anlisis funcional lineal, 1 4 2 7 . 4 . La axiomatizacin de los espacios de Hilbert, 1440.-Bibliografa, 1444.
1. Qu es el anlisis funcional?, 1419.-2.

1419

47. LA TEORA DE SERIES DIVERGENTES ...........................


La utilizacin informal de las series divergentes, 1448.-3. La teora formal de las series divergentes, 1448.-3. La teora formal de las series asintticas, 1 4 5 6 . 4 . El problema de la sumabilidad de series divergentes, 1464.-Bibliografa, 1478.
1. Introduccin, 1448.-2.

1446

48.

EL ANLISIS TENSORIAL Y LA GEOMETRA TENSORIAL.


1. Los orgenes del anlisis tensorial, 1480.-2. El concepto de tensor, 1481.-3. Derivacin covariante, 1 4 8 7 . 4 . El desplazamiento paralelo, 1491.-5. Generalizaciones de la geometra riemanniana, 1495.-Bibliografa, 1497.

1480

49. LA APARICIN DEL LGEBRA ABSTRACTA ..................


1. El panorama del siglo XIX, 1499.-2. La teora abstracta de grupos, 1501.-3. La teora abstracta de cuerpos, 1 5 1 2 . 4 . Anillos, 1518.-5. La teora de lgebras no asociativas, 1 5 2 2 . 4 . Panorama general del lgebra abstracta, 1525.-Bibliografa, 1527.

1499

50.

L OS ORGENES DE LA TOPOLOGA

..............................

1529

1. {Qu es la topologa?, 1529.-2. La topologa conjuntista, 1531.-3. Los comienzos de la topologa com binatoria, 1 5 3 6 . 4 . La obra combinatoria de Poincar, 1545.-5. Los invariantes combina-

1074

Morris Kline torios, 1 5 5 4 . 4 . Los teoremas de punto fijo, 1555.-7. ciones y extensiones, 1558.-Bibliografa, 1560. Generaliza-

51. LOS FUNDAMENTOS DE LA MATEMTICA


1. Introduccin, 1562.-2.

...................

1562

Las paradojas de la teora de conjuntos, 1563.-3. La axiomatizacin de la teora de conjuntos, 1566.4. La aparicin de la lgica matemtica, 1569.-5. La escuela logicista, 1 5 7 6 . 4 . La escuela intuicionista, 1583.-7. La escuela formalista, 1591.-8. Algunos desarrollos recientes, 1598.-Bibliografa, 1600.

......................................................... INDICE DE MATERIAS ..........................................................


INDICE ONOMSTICO

1603 1617