Morris Kline

El pensamiento
matemtico de
la antigedad a
nuestros das

Edicin
Vols 1, 2 y 3 Edicin
digital:
impresa: TALLERES Educacin
Alianza Editorial ESTUDIANTILES
Primera edicin 1972 CIENCIAS
para todos
UNAM
 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 ope-
raciones aritmticas, 24.-5. El lgebra babilnica, 2 6 . 4 . La geome-
tra 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,
52.-5. Los pitagricos, 5 3 . 4 . La escuela eletica, 61.-7. Los
sofistas, 65.43. La escuela platnica, 71.-9. La escuela de Eudoxo,
79.-10. Aristteles y su escuela, 83.-Bibliografa, 86.

4. EUCLIDESY APOLONIO.............................................. 88
1. Introduccin, 88.-2. El marco de los Elementos de Euclides,

7
8 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 matem-
ticas 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 ................................................ 181
1. Los smbolos y operaciones de la aritmtica griega, 181.-2.
Crecimiento independiente de la aritmtica y el lgebra,
187.-Bibliografa, 198.

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 mate-
mtica 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. Aritmti-
ca 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 ............................ 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 9

Europa en la Alta Edad Media, 2 7 4 . 4 . El estancamiento en mate-

mticas, 276.-5. El primer renacimiento de las obras griegas,
2 7 7 . 4 . El renacimiento del racionalismo y del inters por la natura-
leza, 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 perspec-
tiva intelectual, 294.-3. La difusin de la instruccin, 2 9 6 . 4 . La
actividad humanstica en las matemticas, 298.-5. El clamor por la
reforma de la ciencia, 301.-El nacimiento de empirismo,
306.-Bibliografa, 309.

12. LASCONTRIBUCIONES MATEMTICAS E N EL RENACI-

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

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

XVII ............................................................................ 335
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 ecuacio-
nes, 3 6 1 . 4 . El teorema binomial y cuestiones afines, 364.-7. La
teora de nmeros, 366.-8. La relacin entre el lgebra y la geome-
tra, 372.-Bibliografa, 377.

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 geome-
tra 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 ......................... 430

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.
10 Morris Iline

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.

i
A mi esposa, Helen Mann Kline
530 Indice

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 deri-
vadas parciales de primer orden, 716.-9. El desarrollo de las ecua-
ciones 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. Cur-
vas 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 ........ 759

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 segun-
da variacin, 780.-Bibliografa, 781.

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. DE U N A VARIABLE COMPLEJA ..................

FUNCIONES 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 funcio-
nes, 8 5 0 . 4 . Funciones elpticas, 852.-7. Las integrales hiperelpti-
cas y el teorema de Abel, 861.-8. Riemann y las funciones multvo-
cas, 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 ................................................................... 886
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
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 ................................................................... 935
1. Introduccin, 935.-2. Soluciones con series y funciones especia-
les, 936.-3. La teora de Sturm-Liouville, 9 4 3 . 4 . Teoremas de
existencia, 946.-5. La teora de singularidades, 951.A.Las funcio-
nes automorfas, 957.-7. El trabajo de Hill sobre soluciones peridi-
cas 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 .......... 975

1. Introduccin, 975-2. La fsica matemtica y el clculo de varia-
ciones, 975.-3. Extensiones matemticas del propio clculo de
variaciones, 9 8 3 . 4 . Problemas relacionados en el clculo de varia-
ciones, 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 cons-
truccin geomtrica, 1 0 0 6 . 4 . La teora de los grupos de sustitucio-
nes, 1108.-Bibliografa, 1115.

32. CUATERNIONES,
VECTORES Y LGEBRAS LINEALES
ASOCIATIVAS .............................................................. 1017
1. El fundamento del lgebra sobre la permanencia de la forma,
1O 17.-2. La bsqueda de un nmero complejo tridimensional,
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 1048
1. Introduccin, 1048.-2. Algunos nuevos usos de los determinan-
tes, 1049.-3. Los determinantes y las formas cuadrticas, 1 0 5 3 . 4 .
Matrices, 1060.-Bibliografa, 1070.
1072 Morris Kline

sucesores de Riemann, 1184.-5. Los invariantes de las formas di-

ferenciales, 1188.-Bibliografa, 1192.

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

1. Introduccin, 1193.-2. Las superficies como modelos de la geo-
metra 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.-Bibliogra-
fa, 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.-Bibliogra-
fa, 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 situa-
cin del anlisis, 1283.-Bibliografa, 1289.

41. LA FUNDAMENTACIN DE LOS NMEROS REALES Y

TRANSFINITOS ............................................................. 1292
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. Car-
dinales y ordinales transfinitos, 1317.-9. La situacin de la teora
de conjuntos hacia 1900, 1322.-Bibliografa, 1324.

42. LOS FUNDAMENTOS DE LA GEOMETRA ..................... 1325

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

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

1. Las principales caractersticas de los desarrollos del siglo XIX,
1348.-2. El movimiento axiomtico, 1353.-3. La matemtica como
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 VARIA-

BLES REALES ................................................................ 1371
1. Los orgenes, 1371.-2. La integral de Stieltjes, 1372.-3. Prime-
ros trabajos sobre contenido y medida, 1373.-4. La integral de Le-
besgue, 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.-Biblio-
grafa, 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 di-
vergentes, 1448.-3. La teora formal de las series divergentes,
1448.-3. La teora formal de las series asintticas, 1 4 5 6 . 4 . El pro-
blema 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 ten-
sor, 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 gru-
pos, 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 .............................. 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. Generaliza-

ciones y extensiones, 1558.-Bibliografa, 1560.

51. LOS FUNDAMENTOS DE LA MATEMTICA ................... 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.

INDICEONOMSTICO ......................................................... 1603

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