Morris Kline

El pensamiento
matemtico de
la antigedad a
nuestros das

Edicin
impresa:
Alianza Editorial

Primera edicin 1972

Vols 1, 2 y 3
TALLERES
ESTUDIANTILES
CIENCIAS
UNAM

Edicin
digital:
Educacin

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...........................................................................

13

1. LA MATEMTICA EN MESOPOTAMIA
...........................

18

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.

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..

47

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.

4.

EUCLIDESY APOLONIO..............................................
1. Introduccin, 88.-2.

El marco de los Elementos de Euclides,

7

88

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........................................................

143

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.

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 ....

200

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.

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

233

1. Resea de las realizaciones griegas, 233.-2.

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.

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

248

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.

10.

EL PERODO

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

MEDIEVAL E N EUROPA

1 . Los comienzos de la civilizacin europea, 271 .-2. Los elementos

disponibles para la cultura, 272.-3. El papel de las matemticas en

271

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 .....................................................

291

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.

12. LASCONTRIBUCIONES MATEMTICAS E N EL RENACI-

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

MIENTO
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~APROYECTIVA.. ......

3 80

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.

15. LA GEOMETR~AANAL~TICA.........................................

40 1

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.

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

Morris Iline

10

17.

LA CREACINDEL 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............................

516

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.

A mi esposa, Helen Mann Kline

Indice

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.

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

XVIII ...........................................................................

722

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.

........

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.

25. ELLGEBRA DEL SIGLO XVIII

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

759

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 ..................

828

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.

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

531

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.

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.

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

935

975

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.

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

992

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.

VECTORES Y LGEBRAS LINEALES

32. CUATERNIONES,

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

1017

YMATRICES .....................................
33. DETERMINANTES

1048

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.

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.

Morris Kline

1072

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

38. LASGEOMETR~ASPROYECTIVA Y MTRICA .................

1193

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.

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 ........

1250

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.

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.

42.

LOS FUNDAMENTOS DE LA GEOMETRA

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

1292

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.-2.

El movimiento axiomtico, 1353.-3.

La matemtica como

1348

El pensamiento matemtico de la Antigedad a nuestros das, 111

1073

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.

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 ..........................................

1387

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.

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

1419

1. Qu es el anlisis funcional?, 1419.-2.

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.

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

1446

1. Introduccin, 1448.-2.

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.

48.

EL ANLISIS TENSORIAL Y LA GEOMETRA TENSORIAL.

1480

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.

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

1499

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.

50.

L OS ORGENES DE LA TOPOLOGA

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

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-

1529

Morris Kline

1074

torios, 1 5 5 4 . 4 . Los teoremas de punto fijo, 1555.-7.

ciones y extensiones, 1558.-Bibliografa, 1560.

51. LOS FUNDAMENTOS DE LA MATEMTICA

Generaliza-

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

1562

1. Introduccin, 1562.-2.

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 ..........................................................
INDICEONOMSTICO

1603
1617