Historia de La Matemática

HISTORIA DE LA MATEMTICA
Cd. 760

Gua Instruccional

3

CAV
QA21 Historia de la matemtica: Gua instruccional / [elaborado por] J os
H5 Gascn. -- Caracas: UNA, 2008.
206 p. : il. ; 29cm.
ISBN: 978-980-236-674-3
Carrera de Matemtica
Acompaado de: Seleccin de lecturas

1. Matemtica--Historia. 2. Educaci6n a distancia--Mdulo de
estudio. I. Universidad Nacional Abierta. II. Gascn, J os.

Todos los derechos reservados. Prohibida la reproduccin total o parcial por
cualquier
medio grfico, audiovisual o computarizado, sin previa autorizacin escrita.

Universidad Nacional Abierta
Apartado Postal N 2096
Caracas 1.010 A, Carmelitas, Venezuela

Copyright UNA 2008

ISBN 978-980-236-674-3
Primera edicin, 2008

If 13520085103156

Registro de Publicaciones de la
N UNA-2008-5946

4

UNIVERSIDAD NACIONAL ABIERTA
REA MATEMTICA

AUTOR
Prof. Jos Gascn

DISEADORES INSTRUCCIONALES
Profa. Judith Mendoza
Profa. Wendy Guzmn

5

Cmo citar este documento:

Gascn, J. (2008). Historia de la matemtica: Gua instruccional. Caracas: UNA

NDICE
Pg.
Introduccin 9
Objetivo del Curso
11
Estructura del Curso
11
Mdulo I. La prehistoria y el nacimiento de la matemtica en
occidente: Grecia y sus antecedentes
13
Unidad 1: La matemtica en la prehistoria y en la cultura
humana
17
Unidad 2: La matemtica en Babilonia y Egipto 27
Unidad 3: Los griegos 47
Mdulo II. La Edad Media, el Renacimiento y la fusin entre el
lgebra y la geometra: la geometra analtica
69
Unidad 4: La Edad Media 73
Unidad 5: Geometra analtica 83
Mdulo III. El clculo diferencial y la matemtica en la poca
Moderna
101
Unidad 6: El desarrollo del clculo diferencial e integral 105
Unidad 7: El siglo XIX: La aritmetizacin del anlisis y las geo-
metras no eucldeas
123
Unidad 8: La matemtica en el siglo XX 145
Autoevaluacin
195
Solucin a la autoevaluacin
198
Eplogo
201
Apndice I
203
Bibliografa
205

Iconos empleados en el material instruccional

A lo largo de la lectura de este material encontrar diversos iconos, cuyo
significado se explica a continuacin.

EJERCICIOS Y ACTIVIDADES PROPUESTAS: son ejercicios o
actividades sugeridas a manera de prctica sobre algn tema de la
unidad.

EJERCICIOS DE AUTOEVALUACIN: ejercicios que debe realizar
el estudiante y posteriormente verificar contra los resultados aqu
presentados.

LECTURA: indica un texto de carcter obligatorio para la consecu-
cin de los objetivos del curso.

OBJETIVO: indica la finalidad de la unidad, que es lo que se quiere
lograr con el estudio de la misma.

NOTAS MATEMTICAS: son informaciones complementarias so-
bre el tema que se est tratando.

RESPUESTA A LOS EJERCICIOS DE AUTOEVALUACIN: pre-
senta la clave de respuestas a los ejercicios de autoevaluacin, de
manera que puedas reforzar tus conocimientos o corregir cualquier
error.

TIEMPO ESTIMADO DE ESTUDIO: lapso que se considera sufi-
ciente para el aprendizaje del objetivo propuesto.

8

INTRODUCCIN

El curso Historia de la Matemtica (760) de la carrera Matemtica (128)
de la Universidad Nacional Abierta pretende darle un panorama al estudiante
UNA del desarrollo de la matemtica en occidente. El estudiante puede leer en
la Fundamentacin del Plan de Curso la importancia del curso dentro de la
especialidad y su relacin con el perfil del egresado.

El propsito de la Gua Instruccional es organizar el aprendizaje del estu-
diante UNA relacionando entre s los diferentes materiales instruccionales y
haciendo explcitos los enunciados de las estrategias instruccionales del Plan
de Curso. Tambin seala las diferentes actividades que el estudiante debe
realizar para lograr los objetivos de aprendizaje que hemos propuesto.

Vamos a explicar brevemente en qu consiste cada una de las secciones
que aparecen en la Gua Instruccional en cada Unidad de aprendizaje y cul es
su utilidad dentro de este material. En la Gua Instruccional correspondiente a
cada unidad encontramos:

1. El objetivo de aprendizaje de la unidad: sealamos al estudiante, de
una forma compacta, lo que debe aprender.

2. Tiempo estimado de estudio de la unidad: una aproximacin del tiempo
que el estudiante debera dedicarle al tema propuesto, a la lectura y a las
actividades de la Unidad. Como Ud. sabe dentro del marco de la edu-
cacin abierta esto es variable y depender finalmente de cada estu-
diante, as que slo es una gua.

3. Introduccin a la unidad: se explica de forma resumida el material
contenido en la lectura y se enlaza, en lo posible, con el material que la
precede.

4. Plan de instruccin: es muy importante ya que se indican, de forma
ordenada, las actividades a realizar para lograr el objetivo de aprendizaje.

5. El rincn del asesor: proponemos un tema a debatir con los profesores
de los centros locales y los dems estudiantes del curso. Estos temas van
a ser incluidos dentro del Foro en la plataforma en lnea del curso.

6. Los autores de la lectura: breve sinopsis biogrfica en honor a los
autores que escribieron el material de estudio.

9

7. Notas matemticas complementarias: comentarios que ahondan en lo
estrictamente matemtico dentro de la lectura. Explicaremos, con ejem-
plos, la matemtica de las civilizaciones estudiadas en una serie de notas.
La idea es no slo presentar una historia verbal de la matemtica sino
mostrar cmo enfrent el hombre el conocimiento matemtico en distintas
pocas. Si la notas provienen de los autores de la lectura van a escribi el
autor de la Gua Instruccional va ir precedida de los numerales aparecer
numeradas de la manera siguiente: 1,2,.
a
si la nota la romanos I, II,
Estas notas son importantes ya que nos ponen en contacto con la
matemtica de cada civilizacin, sus ideas y limitaciones.

8. Actividades y ejercicios matemticos: proponemos al estudiante ejerci-
cios y actividades donde, usando las tcnicas matemticas del pasado, el
estudiante UNA resuelva un problema determinado.

9. Autoevaluacin: serie de preguntas matemticas, de seleccin simple,
etc. para comprobar cunto hemos aprendido.

Como ya Ud. sabe la evaluacin sumativa del curso consiste en dos
tareas: la elaboracin de una lnea de tiempo del desarrollo de la matemtica y
un trabajo de investigacin sobre un tema especfico. Sabemos que Ud. es un
estudiante comprometido con el conocimiento, si no fuese as no estudiara
matemtica. Luego estamos seguros que Ud. trabajar completamente los
ejercicios, actividades y pruebas de autoevaluacin propuestas. Considero todo
esto como parte de su preparacin y de la evaluacin formativa, no los omita!.
Recuerde que su asesor y el autor de este material estamos dispuestos a
ayudarle en cualquier problema que surja en su estudio.

Prof. Jos Ramn Gascn Mrquez

a
En muchos casos hemos modificado las notas originales de los autores pero hemos mantenido el espritu de la misma

10

OBJETIVO DEL CURSO

Esbozar, de manera pertinente, la evolucin de las ideas matemticas a
travs de la historia.

ESTRUCTURA DEL CURSO

Mdulo I
La prehistoria y el
nacimiento de la
matemtica en
occidente: Grecia y sus
antecedentes
Unidad 1
La matemtica en la
prehistoria y en la
cultura humana
Unidad 2
La matemtica en
Babilonia y Egipto
Unidad 3
Los griegos

Mdulo II
La Edad Media, el
Renacimiento y la
fusin entre el lgebra
y la geometra: la
geometra analtica
Unidad 4
La Edad Media

Unidad 5
Geometra analtica
Mdulo III
El clculo diferencial y
la matemtica en la
poca Moderna
Unidad 6
El desarrollo
del clculo diferencial
e integral
Unidad 7
El siglo XIX: La
aritmetizacin del
anlisis y las geometras
no eucldeas
Unidad 8
La matemtica en el
siglo XX
Historia de la
Matemtica

11

13
MDULO I
La prehistoria y el nacimiento de la matemtica en occidente:
Grecia y sus antecedentes (Babilonia y Egipto)

Partenn
Pirmides de Egipto


ESTRUCTURA DEL MDULO I

Mdulo I

La prehistoria y el nacimiento de la matemtica en occidente (Grecia) y
sus antecedentes (Babilonia y Egipto)

Objetivo del Mdulo I

Describir, de manera pertinente, las principales ideas matemticas en
Grecia y las civilizaciones babilnica y egipcia.

Contenido del mdulo

I.1 La matemtica en la prehistoria y en la cultura humana:
La matemtica como una actividad fundamental de la cultura y su
aparicin en la prehistoria.

I.2 La matemtica en Babilonia y Egipto:
lgebra y Aritmtica en Babilonia: las grandes colecciones de tabletas
de arcilla. Problemas matemticos abordados por los babilonios.
Geometra en Babilonia. El teorema de Pitgoras. Posible influencia de
Babilonia en Grecia.
Egipto: tierra de gemetras.
Aritmtica y fracciones en Egipto.

I.3 Grecia: Un gran salto en el desarrollo de la matemtica:
Tales de Mileto.
Los pitagricos. Los eleatas.
Platn y Aristteles, su visin de la matemtica.
Matemtica en el perodo helenstico: Euclides. El ms grande mate-
mtico de la antigedad: Arqumedes. La obra de Apolonio.
Anlisis del perodo griego y su aporte.

15

Unidad 1

La matemtica en la prehistoria y en la cultura humana

Objetivo Unidad 1

Describir el papel de la matemtica como un elemento bsico en la
cultura.

Tiempo estimado de estudio

1 semana

17

INTRODUCCIN

La matemtica aparece como un elemento presente en cada cultura y
civilizacin. Indicios de uso de la matemtica aparecen en huesos con muescas
del paleoltico.

En el mundo actual no podramos realizar compras electrnicas, hacernos
una resonancia magntica, o ver la televisin de no existir una matemtica
apropiada. Luego surgen de manera natural las siguientes preguntas: Por qu
es tan importante la matemtica? y cundo el hombre empez a usarla? Esto
lo analizan de manera magistral Luis Santal y Rey Pastor y Babini en sus
lecturas Qu es la matemtica? y la matemtica en la Prehistoria respectiva-
mente.

Parece natural comenzar preguntndonos sobre la ciencia matemtica si
vamos a trazar su historia. En este sentido hemos incluido la lectura de
Santal. Observe la importancia del proceso dialctico que es inherente a la
matemtica: es abstracta pero surge de lo concreto. En esta lectura se hace
tambin un rpido recorrido por la historia de la matemtica y sus hitos ms
importantes.

Por otro lado, saber cundo el hombre empez a utilizar la matemtica es
crucial para entender su vinculacin con el resto de las actividades humanas.
Es muy importante entender que la matemtica es una actividad humana como
lo son la pintura o la msica. Sin embargo, las caractersticas y posible uso de
la matemtica son difciles de determinar en el perodo inicial del desarrollo del
hombre al no disponer de informacin escrita de lo que conocemos como
prehistoria. Es muy interesante la hiptesis que asoman Rey Pastor y Babini en
su lectura de que la escritura fuera posterior al uso de alguna notacin
matemtica. Tambin describen el papel de la matemtica en culturas donde

19

se halla asociada fuertemente a lo real y a las necesidades ms bsicas del
hombre.

Una vez terminado el estudio de est unidad empezaremos a estudiar
civilizaciones que dejaron un testimonio escrito, arquitectnico y tecnolgico de
su desarrollo matemtico.

Plan de instruccin Objetivo 1

1. Reflexione, con base en lo que ya conoce de matemtica, su
importancia en nuestro pas, en el mundo actual y en la mayora de las
culturas. Puede concebir un mundo sin matemtica? Qu
limitaciones tendra la tecnologa en l?

2. Lea las lecturas 1 y 2 de la seleccin de lecturas.

3. Qu significa la palabra dialctica? Qu relacin guarda la dialctica
con la riqueza de la matemtica?

4. En la pgina del moodle del curso encontrar otra lectura de Courant y
Robbins de su famoso libro Qu es la Matemtica, bjela y lala
cuidadosamente.

5. Cul es la hiptesis que asoman Rey Pastor y Babini en la lectura 2
sobre la posible invencin de la escritura?

6. Cules son las condiciones para que aparezca el conocimiento
matemtico en una determinada cultura?

7. Intervenga en el Foro cuando halla completado sus lecturas y discuta
con su asesor y compaeros el tpico propuesto.

8. Empiece la lnea del tiempo resumiendo lo que sabemos de la mate-
mtica en la prehistoria.

Tarea fundamental del curso

Como ya vio en el ltimo punto del Plan de Instruccin y como ya conoce
de la evaluacin sumativa en el Plan de curso la gran actividad a realizar en
el curso es construir una lnea de tiempo de la matemtica, luego vamos a
detenernos a explicar su concepto.

20

La construccin de la lnea histrica de la matemtica

Esta actividad la va a realizar el estudiante con la ayuda de sus asesores
dentro del semestre. Una lnea de la historia de la matemtica consiste en un
gran organizador, mapa y resumen de lo que el estudiante ha aprendido. No
proponemos una nica forma de hacerla pero puede organizarla, por ejemplo,
como la tabla que mostramos abajo.

Perodo:
800 A.C->300 A.C

La matemtica en
Babilonia

Grandes
matemticos:
No conocemos los
nombres

Hitos
matemticos:
Resolucin
de ecuacio-
nes de grado
2 y 3
Manejo de
las ternas
pitagricas,
etc.
Aproximacin
de Pi

Situacin poltica:
Al principio los
sumerios tenan un
.

Las flechas indican, como es natural, el avance del tiempo aunque a ve-
ces se puede dar coexistencia temporal de distintas civilizaciones y su aporte
matemtico. El grado de detalle de la lnea y la forma de organizarla depende
del estudiante. El esquema de arriba es slo una posibilidad, esperamos que
cada estudiante use su creatividad y esfuerzo en lograr lneas atractivas e
informativas. Por ejemplo, puede agregar en otro cuadro la ubicacin Geogr-
fica de la cultura en cuestin, qu civilizaciones existan en ese momento y
estaban en las proximidades de la cultura estudiada, otros aportes de esa

21

civilizacin fuera del rea de la matemtica, etc. Tambin puede usar
elementos grficos, montar la lnea en Power Point, pdf, u otros formatos. Esta
lnea la vamos a empezar a realizar en esta unidad sealando lo que
conocemos del uso de la matemtica (o suponemos) en la prehistoria. Cada
centro local y sus asesores escogern la mejor lnea realizada y al final un
jurado nacional escoger las tres mejores lneas elaboradas en el lapso. Las
ganadoras sern publicadas en la pgina moodle del curso.

Un bonito ejemplo de lo que se puede realizar lo va encontrar en
http://www2.nvnet.org/nvhs/dept/math/mathproject/Index_files/frame.htm#slide0
066.htm

Rincn del asesor

Discuta con su asesor y compaeros el siguiente punto: Es concebible
una matemtica sin la idea de demostracin? Como ya Ud. conoce de sus
cursos Matemtica I, II (178 y 179), Geometra (754), etc. una demostracin es
fundamental para aceptar un resultado matemtico como verdadero. Sin
embargo, las demostraciones empiezan con los griegos y no aparecen en el
conocimiento matemtico de algunas culturas. Algunos autores como Eric
Temple Bell dudan de que podamos hablar del nmero
sin haber demos-

trado que el cociente entre el permetro y el dimetro de un crculo es
constante. Luego seala que es absurdo que se hable de aproximaciones de
entre los babilonios y los egipcios ya que duda que comprendan que el
nmero
nos da la proporcionalidad sealada. Incluso la Biblia seala la

aproximacin de

3
b
. Qu opina Ud. de esto?

Autor de la lectura 2

Luis Santal (1911-2001)
Matemtico espaol de origen cataln. Discpulo del gran
Blaschke, es, junto a l, uno de los creadores de la Geometra
Integral. Fue, segn el testimonio de sus alumnos, un extraor-
dinario profesor. Su labor docente la desarroll principalmente
en Argentina, donde junto a Rey Pastor es uno de los funda-
dores de la importante escuela argentina de matemticas.
Debemos sealar la influencia de esta escuela en el continente
sudamericano en general y en Venezuela en particular.

b
Lo que demuestra que Dios no es muy buen matemtico

22

Autoevaluacin

Trate de responder con la alternativa que considere ms prxima a la
respuesta de la pregunta:

1- Las dos caras que caracterizan y enriquecen la matemtica son:
a) Abstracta y concreta
b) Aplicable y exacta
c) Ordenada y meticulosa
d) Antigua y hermosa

2- De acuerdo con Santal en la lectura 1, el matemtico que inicia la
matemtica moderna es:
a) Euclides con Los elementos
b) Cantor y la teora de conjuntos
c) Arqumedes y su mtodo
d) Von Neumann y su trabajo sobre los operadores

3- A qu se refieren Rey Pastor y Babini cuando hablan de las cuentas del
templo?
a) Largos rosarios hechos con cuentas usados como un baco
b) Especie de leyendas que usaban los sacerdotes con fines diversos
c) Marcas que aparecan en las paredes del templo sin explicacin alguna
d) Posible relacin entre la creacin de la escritura y registros matemticos

4- De acuerdo con Rey Pastor y Babini, los sistemas de numeracin y conteo
verbales aparecen en:
a) Las civilizaciones ms avanzadas
b) Todos los pueblos sin excepcin
c) Las tribus indgenas
d) La costa occidental del Mediterrneo

5- Nuestra palabra "clculo" proviene del latn:
a) Calculus que es una tcnica de derivacin
b) Calculare que significa contar
c) Calculi que significa guijarros
b) Calculere persona que llevaba las cuentas en las cortes

6- De acuerdo a Santal en los Elementos de Euclides encontramos princi-
palmente:
a) La obra matemtica ms antigua conocida
b) Sistematizacin y el mtodo axiomtico

23

c) Los distintos elementos que componen la matemtica: lgebra y geo-
metra
d) Un catlogo de las cosas conocidas por los griegos

24


1- a) La matemtica nace de la contraposicin entre lo abstracto y lo con-
creto, de all su riqueza y flexibilidad.

2- b) La matemtica moderna (las comillas son clave) es la corriente que
deriva del trabajo de Cantor, Hilbert y otros. Tuvo gran influencia en el
desarrollo y enseanza de la matemtica en el siglo XX. Si el estudiante
respondi con la opcin a) se puede aceptar su respuesta.

3- d) Las cuentas del templo eran los registros que practicaron los sacer-
dotes en Mesopotamia alrededor del cuarto milenio A.C. y de la cual
deriva, segn esta hiptesis, la escritura.

4- b) El conteo verbal y el uso de fracciones simples es una caracterstica del
hombre. La matemtica, como la msica y la literatura es profundamente
humana.

5- c) Calculi (guijarros) es el origen de la palabra clculo.

6- b) Los Elementos son la primera sistematizacin de la matemtica cono-
cida (avanzada) usando como medio de exposicin de la lgica aristot-
lica.

25

Unidad 2

La matemtica en Babilonia y Egipto

Objetivo Unidad 2

Describir el conocimiento matemtico en las civilizaciones babilnica y
egipcia.


2 semanas

27

INTRODUCCIN

La matemtica griega tiene dos antecedentes importantes desde el punto
de vista histrico: Babilonia y Egipto. En ambas culturas una matemtica se
desarroll impulsada por problemas de origen prctico. Recordamos, por ejem-
plo, que la geometra en Egipto se desarrolla asociado al problema de medir el
rea de regiones aledaas al ro Nilo que se inundaban cada ao. Esto obli-
gaba a realizar cuidadosas mediciones para asignar los lotes de terreno a los
encargados de cultivarlos.

El carcter no deductivo de la matemtica de estas civilizaciones difiere
del gran logro de la matemtica griega: el mtodo axiomtico. Quizs no exista
un inters intelectual en la matemtica pre-griega y slo reconocan su utilidad
en la solucin de problemas comerciales, agrcolas, etc. Por otro lado, fueron
capaces de resolver interesantes problemas y crear novedosos mtodos num-
ricos como el de la falsa posicin. La matemtica de estas culturas proba-
blemente influy en el desarrollo de la matemtica griega. Se cree que Thales
(tambin es correcto Tales) de Mileto, que inici la matemtica griega y es uno
de los siete sabios de la antigedad, viaj a Egipto buscando el saber de esta
cultura.

A los babilonios les debemos grandes progresos en la historia del hombre:
la escritura, la creacin de cdigos legales y comerciales e importantes de-
sarrollos matemticos. Ocuparon una regin frtil, regin que adems era
crucial para la comunicacin comercial. Desarrollaron una arquitectura muy rica
y una tecnologa importante. La matemtica era importante para estas activi-
dades y para su intensa actividad comercial. El lgebra puede considerarse en
su origen como babilnica: resolvieron la ecuacin de segundo grado de
manera completa y en algunos casos particulares la de tercer grado. Conocan
el teorema de Pitgoras y manejaron las ternas pitagricas. Posean un sis-
tema de numeracin en base 60 y manejaban el uso de fracciones. Como
veremos su matemtica era muy interesante.

Los egipcios deban tener, dado su alto grado de desarrollo comercial,
arquitectnico e ingenieril, una matemtica adecuada para los problemas que
se les presentaban en estas reas. Sin embargo, a diferencia de los babilonios
conservamos poco de la matemtica egipcia ya que escribieron sus resultados
en papiro. En la lectura el estudiante conocer que los babilonios registraron la
mayor parte de su conocimiento en tabletas de arcilla que se preservaron muy
bien con el tiempo. Luego es difcil conocer el grado de desarrollo matemtico
que alcanzaron. Sin embargo el haber obtenido la frmula del volumen de la
pirmide truncada es un logro notable. Sin duda, por lo que conocemos, mane-
jaban la trigonometra y el teorema de Pitgoras. El manejo de las fracciones

29

es realmente ingenioso y difcil. En las notas matemticas ahondaremos en la
matemtica de estas dos civilizaciones.


1. Qu conoce Ud. de Babilonia? Investigue sobre Babilonia, su situa-
cin geogrfica y su importancia histrica. Qu pas muy conocido se
encuentra en el territorio que ocupaba Babilonia?

2. Lea la lectura 3 sobre la matemtica en Babilonia.

3. Qu rea desarrollaron ms los babilonios? El lgebra o la geo-
metra? Base su anlisis en la lectura. Conocan el teorema de Pit-
goras los babilonios? Qu es una terna pitagrica?

4. Resuma la informacin relevante de la lectura de Babilonia y su
matemtica. Aada los resultados encontrados a la lnea histrica que
est desarrollando.

5. Realice las actividades adicionales que sugerimos ms adelante y lea
cuidadosamente las notas matemticas de la lectura 3 sobre la mate-
mtica en Babilonia.

6. Qu conoce Ud. de Egipto? Investigue sobre los egipcios, creencias
religiosas, sistema poltico su situacin geogrfica y su importancia
histrica. Ubique en un mapa actual la regin que corresponde al
antiguo Egipto.

7. Lea la lectura 4 sobre la matemtica en Egipto.

8. Cmo se comparan los logros alcanzados por los egipcios en relacin
a la matemtica de los babilonios?

9. Recuerde que el nacimiento de la geometra, como ya la debi ver en
el curso Geometra 754, est vinculado a las peridicas inundaciones
del Nilo. Investigue sobre Herodoto y su descripcin de estos hechos.

10. Lea cuidadosamente las notas matemticas de la lectura 4.

11. Vaya al foro a discutir con sus compaeros y asesores los temas pro-
puestos sobre la matemtica de Babilonia y Egipto.

30

12. Resuma la informacin relevante de la lectura sobre la matemtica en
Egipto. Aada los resultados encontrados a la lnea histrica que est
desarrollando.

13. Realice los ejercicios y actividades matemticas propuestas.

14. Realice los ejercicios de autoevaluacin.

Rincn del asesor

La matemtica se desarroll en las civilizaciones egipcia y babilnica
debido, en mi opinin, a la gran cantidad de problemas tcnicos y comerciales
que debieron resolver. Es el desarrollo matemtico siempre paralelo al de-
sarrollo tcnico de una cultura? Qu cree Ud.?

A continuacin ahondamos en algunas ideas matemticas de los
babilonios mediante unas notas complementarias. Las que tienen un numero
arbigo son modificaciones, realizada por el Prof. Gascn, de las originales de
la lectura. Las que aparecen con un nmero romano fueron escritas por el autor
del texto citado.

31

Notas matemticas complementarias de la lectura 3
c
.

(1) El calculista se enfrenta al problema de hallar la dimensin de dos
terrenos que tienen distintos coeficientes de productividad 2/3 y 1/2 y adems
conoce la suma de las reas de los terrenos (1800) y la diferencia de
produccin (500) esto conduce de manera elemental para nosotros al sistema
de ecuaciones:

1800
2 1
500
3 2
x y
x y
+ =

La solucin usa el mtodo de la falsa posicin (en realidad introduce una
ecuacin auxiliar), supone el calculista que los dos terrenos son iguales y por
ende cada uno mide 900 (por qu?). En ese caso cometemos un error de 350
en la diferencia de produccin, ya que
2 1
900 900 150
3 2
=
. Para compensar esto
el calculista observa que el error es
7 2 1
6 3 2
= +
del valor que sumado y restado
al dato inicial errneo dan las extensiones correctas. Obtiene entonces que
este valor es 300, midiendo un terreno 1200 y el otro 600. Observe que el
procedimiento es el mismo que hubisemos usado nosotros si suponemos que
900 , 900 x z y z = + =
introduciendo este cambio en la segunda ecuacin.

(2) El mtodo de resolucin de las ecuaciones de segundo grado es similar al
nuestro. Consideremos el problema de resolver el sistema .
Este sistema proviene de un problema artificial de medicin agrcola, que como
sealan Rey Pastor y Babini tiene como objeto introducir el mtodo de solucin.
Sumamos, siguiendo al calculista, las dos ecuaciones obteniendo
y sumamos 2 a la segunda
183
27
xy x y
x y
+ =
+ =
( 2) 210 x y + =
2 29 x y + + =
. Observe que hemos transformado el
problema en hallar 2 nmeros de los cuales se conoce su suma y su producto.
Esto es similar a encontrar las races de una ecuacin de segundo grado, por
qu? El calculista procede a calcular la conocida resolverte. Toma la mitad de
29 es decir 14 +1/2 de cuyo cuadrado resta 210, obteniendo del cual toma la
raz cuadrada, la cual es . El cual suma y resta a 14 obteniendo 15 y 14,
luego la solucin del problema es 15 y 12.

c
Las notas 1,2,corresponden a las llamadas que aparecen en la lectura y son modificaciones de las notas originales de Rey Pastor
y Babini. Las notas I, II, son elaboradas por el autor de la Gua para ahondar en la matemticas de estas culturas.

33

(3) Duplicacin de un capital a una determinada tasa de inters compuesto,
en el caso de la tableta estudiada el inters es del 20%. Esto conduce a la
ecuacin exponencial , y el calculista observa que la solucin est
entre 3 y 4, y aplica el mtodo de la falsa posicin para dar la siguiente
aproximacin de la solucin :
( )
t
1,2 =2
( )
4
4 3
1,2 1,2
1,2 1,2
.

(4) El teorema de Pitgoras es usado para determinar por ejemplo el
problema de la caa. Una caa est apoyada de una pared que tiene su misma
altura. De pronto la caa se desliza y conocemos la separacin b de la pared y
la distancia a su tope. Si llamamos h a la altura de la caa (y de la pared)
vemos que . De donde
2 2 2
y d b h a d + = + = h
2 2 2
( ) h a b h + =
, desarrollamos y
obtenemos y finalmente
2 2 2
2 h a
2
b h + = ha +
2 2
2
a b
h
a
+
=
. En la tableta se
tienen los valores a=3 y b=9 de donde h=15

(5) Para generar las ternas Pitagricas observa la identidad algebraic
2 2 2 2 2
( 1) (2 ) ( 1) n n n + = +
que genera infinitas ternas para distintos valores
de n. Una terna pitagrica x,y,z son tres enteros que satisface -
cin de Pitgoras
2 2 2
a
n la ecua
x y z + =
. Por la identidad anterior basta tomar

34

2 2
1, 2 , 1 n y n z n = = +
. Por ejemplo para n=2 obtenemos la solucin muy
da 3, 4 y 5.
los nmeros naturales y las usab
x =
conoci

I. Los babilonios construyeron extensas tablas de cuadrados y cubos de
an de manera muy ingeniosa. Por ejem-
plo para multiplicar dos nmeros consultaban las tablas de cuadrados
2 2
1
usando la identidad algebraica
( ) ( )
4
ab a b a b = +

Dichas tablas tambin eran usadas para resolver ciertas ecuaciones

II.
cbicas de la forma
3 2
ax bx c + =
. Veamos cmo lo hacan. Multiplicamos
ambos lados de la ecuacin por
2
3
a
b
obteniendo la ecuacin
3 2 2
a a a c a
z x
3 2
x x + = =
3 2 3
b b b
. Hacemos ahora
b
convirtiendo la ecuacin en
2
3 2
3
a c
z z d
b
+ = =
. El calculista buscaba en la tabla un nmero z cuyo
cubo sumado con su cuadrado diese d y a partir de z hallaban x. Muy
ingenioso de verdad!
Aritmtica Babilnica. Como ya sealamos el sistema de numeracin
babilnico es posicional con ausencia de un smbolo para el cero, lo que
trae aparejado el problema de reconocer nmeros con igua

III.
l escritura.
Expliquemos esto con cuidado. Si usamos un sistema sin 0 despus del
59 debemos escribir de nuevo el 1 aunque nosotros escribimos 10 o 1.0
(para no confundir las cosas). Es decir en numeracin babilnica el 99
se debe escribir 1.39=1x60+39. As el nmero 12.00.00 corresponde a
nuestro 12x60
2
. Usualmente el calculista saba cul es el nmero por el
contexto del problema o introduciendo smbolos auxiliares.

Numeracin babilnica
1 3 45
16 60 3600
= +
. IV. Para la divisin tenan tablas de recprocos. Por ejemplo

35

Luego si queremos dividir
87
16
escribimos 87=1.27 y 1/16 = 0,3.45 de
onde d

1.27,00x0,3.45=1.00,00x03+27,00x0 45+27.00x0,00.45=
+1.21+0,45+0,20.15=5,26.15

V. s a explicar el mtodo que usaban los calculistas babilonios para
extraer la raz cuadrada. Ellos usaban la primera versin del mtodo de
la falsa posicin. Calculemos la raz cuadrada de 28. Saban que estaba
entre 5 y 6, si fuese 5 entonces debemos tener

,3+1.00,00x0,00.
3
Vamo
28
5
5
=

Pero
28
5,6 =
6 y tomamos su

5

Pero 5x5,6=28, luego la raz debe estar entre 5 y 5,
promedio, es decir 5,3
28
5.283018867924528301
5,3
=

Luego, 28=5,3x5.283018867924528301

Recursivamente tomamos ahora el promedio entre 5,3
y 5.28301886792452830188679245283019, es decir
5.29150943396226415094339622641509.

Esto ya es una excelente aproximacin.

36

La tableta de Yale YBC 7289
En ella los babilonios calculan la aproximacin de
2
=1+24/60+51/60^2+10/60^3=1,41421963
para expresar el valor aproximado de la diagonal de un tringulo issce-
les de lado 30. El valor exacto es (hasta donde nos lo da la calculadora)
1.4142135623730950488016887242097. Lo que demuestra que la aproxi-
macin de los antiguos es notable.

Notas matemticas complementarias de la lectura 4

(1) Aritmtica Bsica de los egipcios

Para multiplicar los egipcios utilizaban un curioso e ingenioso mtodo de
duplicacin. Supongamos que debemos multiplicar 23x15. Escribimos en dos
columnas

23 1
46 2
92 4
184 8

La primera columna se obtiene de duplicar, sucesivamente, 23. La otra de
la duplicacin seguida de la unidad. Observe que la suma 1+2+4+8=15, luego
basta sumar 23+46+92+184=345. Similarmente para la divisin usaban el
mismo procedimiento. Supongamos que debemos dividir 19 entre 8

37

2
18
1
8
1
2
4
1
2
4
1
1
8

Observe que 16+2+1=19, luego 2+
1 1
4 8
+
es el resultado.

Fragmento del papiro de Mosc, uno de los pocos documentos

que tenemos de la matemtica en Egipto

38

(2) La representacin numrica y fracciones unitarias

En primer lugar sealamos que los matemticos egipcios usaban un
sistema no posicional con base 10 y que slo usaban fracciones de la forma
1
n
(salvo la fraccin
2
3
). En el dibujo que sigue vemos cmo expresaban la
fraccin
1
5
.

Cualquier fraccin se denotaba usando primero el smbolo
pronunciado ro y debajo de l escriban el denominador.

Para los nmeros enteros usaban los siguientes smbolos:

Representa el nmero 100
Representa el 10.
Representa el 1.
As el numero 276 se escribe como

No debe sorprendernos el uso de fracciones con numerador 1 ya que,
usualmente, se introducen los nmeros dir una unidad en
amente
no trivial son algunas de las descomposiciones que obtienen para las frac-
ciones con numerador distinto de 1. Por ejemplo, el escriba Ahmes determina

fraccionarios para divi
partes iguales. Dichas fracciones se denominan unitarias Lo que es alt
7 1 1 1 1 1
29 6 24 58 87 232
= + + + +

No queda claro qu tipo de algoritmos usaban para realizar estas
descomposiciones, se conoce que para ello usaban tablas de las fracciones de

39

2
n
la forma expresadas como suma de fracciones unitarias. Algunos autores
como Morris Kline
d
piensan que tal complicado sistema de fracciones tuvo
como consecuencia frenar el avance de la matemtica en Egipcio.

(3) lgebra

Resolvieron ecuaciones de primer grado con un procedimiento similar al

Actividades y ejercicios matemticos

. Demuestre la identidad empleada usada por los babilonios para realizar
multiplicaciones usando las tablas de cuadrados:
de los babilonios usando el mtodo de la falsa posicin.

1

2 2
1
( ) ( )
4
ab a b a b = +

. Escriba los nmeros 19,68,120,360 y 1001 usando la notacin egipcia y la
babilnica.
. Hallar la raz de 138, hasta la cuarta cifra decimal, empleando el mtodo de
los antiguos babilonios, para hallar una aproximacin.
. Resolver, con el mtodo de los babilonios la ecuacin de tercer grado:
2

3

4
3 2
27
2 3 75
2
x x + =

. J ustifique la tabla como un procedimiento para efectuar la divisin 5
2
18
1
8
2
4
1
1
2
4
1
1
8

d
Mathematical Thought: From the ancient to the modern times, Vol I. Oxford University Press.1972

40

6. erifique cuidadosamente la tabla siguiente de fracciones unitarias: V

7. Use la tabla anterior para descomponer en fracciones unitarias 6/15.

T
de fracciones unitarias.
9. El mtodo de multiplicacin egipcio funciona s y slo si podemos probar
que cualquier natural es suma de potencias de 2. J ustifique esto.

Preg
strucciones: Responda cada pregunta con la alternativa que, en su opinin,
rrecta.
1- El concepto de demostracin en matemtica fue propio de la cultura:
a) babilnica
b) egipcia
c) griega
d) renacentista

- La principal fuente de conocimiento de las matemticas egipcias es:
1/ 10 1/10
2/10 1/5
3/10 1/5 + 1/10

8. rate de construir algn mtodo para descomponer una fraccin en suma

untas
In
se aproxime ms a la respuesta co

2
a) La piedra Roseta
b) Los papiros Rhind y de Mosc
4/10 1/3 + 1/5
5/10 1/2
6/10 1/2 + 1/10
7/10 2/3 + 1/30
8/10 2/3 + 1/10 + 1/30
9/10 2/3 + 1/5 + 1/30
1/ 10 1/10
2/10 1/5
3/10 1/5 + 1/10
4/10 1/3 + 1/5
5/10 1/2
6/10 1/2 + 1/10
7/10 2/3 + 1/30
8/10 2/3 + 1/10 + 1/30
9/10 2/3 + 1/5 + 1/30
1/ 10 1/ 10 1/10 1/10
2/10 2/10 1/5 1/5
3/10 3/10 1/5 + 1/10 1/5 + 1/10
4/10 4/10 1/3 + 1/5 1/3 + 1/5
5/10 5/10 1/2 1/2
6/10 6/10 1/2 + 1/10 1/2 + 1/10
7/10 7/10 2/3 + 1/30 2/3 + 1/30
8/10 8/10 2/3 + 1/10 + 1/30 2/3 + 1/10 + 1/30
9/10 9/10 2/3 + 1/5 + 1/30 2/3 + 1/5 + 1/30

41

c) Las colecciones de tabletas de arcilla de Yale
d) Los Elementos de Euclides

3- El escriba Ahmes es autor del:
a) papiro de Mosc
b) papir
c) una
d) una

4- Usaron
a) franc
b) egipc
dificultad que encontramos en la
numeracin:

o Rhind
importante coleccin de tabletas de arcilla
importante coleccin de leyes
una numeracin posicional con base en el nmero 60:
eses despus de la Revolucin
ios
c) timotocuicas
d) babilonios

5- El siguiente diagrama muestra una

ia
b) griega
c) babilonia
d) romana

6- El dibujo siguiente lo usaron
a) egipc

a) Matemticos egipcios para la construccin de la base de las pirmides
b) Matemticos babilonios para calcular el rea de un hexgono
c) El escriba Ahmes para inscribir un hexgono en un cuadrado
d) Matemticos egipcios para hallar un valor aproximado de Pi.
e

e
Esto es un adelanto al trabajo de Arqumedes con polgonos de un gran nmero de lados. La solucin al problema requiere que el
estudiante haga alguna investigacin. Vea de todas maneras la ltima lnea de la lectura 4 y la nota 4 del libro de Rey Pastor y
Babini

42

Autores de la lectura 3 y 4
Jos Babini (1897-1984)
Matemtico argentino cuyo principal tema de investigacin fue la
a ciencia y la matemtica. Egres como profesor de
matemtica del Instituto del Profesorado Secundario y posterior-
mente se grada de ingeniero en la Universidad de Buenos Aires,
M
d e la ciencia en Argentina.
Su biblioteca de ciencia y matemtica es el pilar del instituto que lleva su
nombre y que dirige, actualmente, su hijo.

una
antidad de libros entre los que destaca el de Anlisis
bor
omo disciplina
de investigacin es suficiente para recordarlo. Desde 1921 se
establece en la Universidad de Buenos Aires. Fund el Seminario Matemtico
Argentino en 1928. Tuvo discpulos relevantes en Argentina y en Espaa. Dej
una huella notable en los campos de la educacin matemtica y la historia de la
ciencia. En el ao 1954 ingres como miembro en la Real Academia Espaola
de la Lengua.

historia de l
aunque decide dedicarle su esfuerzo a la docencia y la
matemtica. Colabor con el famoso historiador de la ciencia Aldo
ieli cuando ste lleg a Argentina. Se encargaron, junto a Rey Pastor, de
arle un carcter de disciplina cientfica a la historia d

Julio Rey Pastor (1888-1962)
Matemtico espaol aunque su labor fundamental la realiza en
Argentina. Recibi su doctorado en Madrid en 1909. Escribi
gran c
Matemtico (4 volmenes) junto a Pi Calleja y Trejo. Pero su la
como organizador de la matemtica en Argentina c

43

Autoevaluacin

primera parte consiste en algunos
ejerc abilonios
para aterial del curso.

Ejerc
2
) (2 ) ( 1) n n
El test consta de dos partes. La
icios matemticos relacionados con las tcnicas usadas por los b
y egipcios. La segunda algunas preguntas muy sencillas de seleccin simple
verificar su conocimiento del m
icios
1. Demuestre la identidad
2
( 1 n
2 2 2
+ = +

eros pitagricos.
sando el mtodo de
ipcio. Efecte la multiplicacin 17x15 sabiendo que
plicacin 23x33 usando la tcnica de los babilonios.
a fraccin 13/15 en fracciones unitarias.
reguntas de seleccin simple
- El siguiente dibujo corresponde a:
2. Obtenga con la identidad anterior 5 ternas de nm
multiplicacin de los nmeros 23 y 33 u 3. Efecte la
duplicacin eg
2
32 =1024.
4. Efecte la multi
5. Descomponga l

P

1

a) La fraccin 1/5 para los egipcios
b) El dios Osiris
c) El nmero 15 para los babilonios
d) El dios Ahmon Ra (que representa el sol)
- Manejaron las ternas pitagricas, como 3, 4 y 5, desde el punto de vista
aritmtico:
a) Egipcios
b) Babilonios
c) Hebreos
d) Hititas
- En relacin al desarrollo matemtico, tuvieron un desarrollo superior:
a) Los babilonios sobre los egipcios
b) Los egipcios sobre los babilonios
c) Eran aproximadamente iguales
d) La informacin disponible no permite alcanzar una conclusin

2

3

44

4- La frmula que permite calcular el volumen de un tronco de pirmide
aparece, por primera vez, en:
a) la coleccin de tabletas de arcilla de Yale
b) En la matemtica griega
c) En la matemtica egipcia
d
Resolvieron ecuaciones de segundo y tercer grado:
hititas
b) Los egipcios
c) Los persas
d) Los babilonios

) Los Elementos de Euclides

5-
a) Los

45


Ejercicios
1.
2 2 2
( 1) (2 ) 2 1 4 1 ( 1) n n n n n + = + + + = +

Si tomamos n=2 obtenemos na 3, 4, 5. Para n=3 obtenemos
8,6 y 10, otra terna pitagrica! Dejamos al estudiante UNA que termine el
cmputo.
. De acuerdo a lo estudiado en la lectura y notas tenemos:

4 132
8 264

Como 1+2+4+16=23 luego el resultado debe ser 33+66+132+528=759.
ejamos el resto del problema al estudiante UNA.
. Un babilonio hubiese hecho el ejercicio anterior de la manera siguiente
(33+23)
2
=56
2
y (33-23)
2
=10
2
y 56
2
=3136 luego 3136-100=3036 y esto
debe ser dividido entre 4 obteniendo, como ya sabemos, 759.
. 1/6+1/5+1/2 es la descomposicin buscada.
- a) Para ubicar la respuesta correcta ver las notas matemticas.
- b) Dejamos al estudiante UNA que termine el cmputo.
- a) La matemtica babilnica es muy rica y superior a la de los egipcios.
- c) Eric Temple Bell llama a esta frmula la mayor pirmide egipcia.
- d) Grandes algebristas fueron los babilonios.

2 2 2 4 2 2 4
2 n n n = +
2. la clsica ter

3
1 33
2 66
16 528
D

4

5

P

1

2

3

4

5

46

Unidad 3

Los griegos

Objetivo Unidad 3

Describir el conocimiento matemtico en la civilizacin griega.

2 semanas

47

INTRODUCIN

Los griegos, los griegos! los griegos!! Estamos lejos de ellos pero, sin
mbargo, estamos cerca. El desarrollo de la matemtica nos abruma y sor-
rende: un solo tema y cientos de teoremas, problemas abiertos y aplicaciones.
ano al pensamiento griego. Todava demos-
amos, razonamos como Aristteles nos ense y trabajamos lo geomtrico:
geo
mtica Wiles.
Los griegos constituyen un salto en el pensamiento, estn muy lejos de los
egi
La lectura de Hofmann es ms acadmica y erudita que las anteriores, sin
em
griega
el principio del razonamiento lgico-deductivo en este perodo. Lea cuidadosa-
ente sobre el comienzo del proceso de demostracin, de acuerdo a Hofmann,
con
Veremos cmo los pitagricos plantearon un esquema de comprensin del
mu
tendido ento de los
racionales.
Luego Hofmann se pasea de manera muy completa por las figuras ms
imp
Eleme ides son una obra importantsima en la historia
el hombre. Hofmann posteriormente examina el matemtico ms grande del
mu
dose e la matemtica del barroco y el comienzo del
lculo integral.
A
decade dvenimiento de la matemtica en Roma, lo que
os sirve de enlace para la lectura que sigue sobre la matemtica en el
me
Queda por supuesto la interrogante si la matemtica de los egipcios y los
bab
lo ms n de la matemtica como un
roducto puro del intelecto humano.

e
p
Pero el espritu permanece cerc
tr
metra diferencial, sistemas dinmicos, geometra algebraica, etc. La arit-
de Diofanto inspir a Fermat y ste le pas el testigo a Andrew
pcios y babilonios. Son los maestros de todos nosotros.

bargo, nos informa de manera completa del desarrollo de la matemtica
: desde Tales de Mileto a Arqumedes y Apolonio. Es importante sealar
m
el trabajo de Hipcrates sobre la cuadratura de las lnulas.

ndo basado en los nmeros racionales: la Arithmetica Universalis. Lo pre-
por esta escuela queda destruido por el descubrimi
ir

ortantes del pensamiento matemtico griego: Euclides y Arqumedes. Los
ntos (Stokheia) de Eucl
d
ndo antiguo. El trabajo de Arqumedes destaca por su originalidad pudin-
nlazar este trabajo con
c

l final, Hofmann estudia al gran Apolonio y examina brevemente la
ncia de los griegos y el a
n
dioevo.

ilonios influy a estos grandes pensadores, de haberlo hecho no influy en
importante del aporte griego: la concepci
p

49

Pla

1. ue Ud. conoce de la geometra griega: el teorema de Tales y
Pitgoras, etc. Estos contenidos los puede ver en Geometra 754.
2. Repase en el libro de Matemtica I, Mdulo IV el concepto de
demostracin matemtica.
ficamente el mundo griego, note que algunas regiones
(como Sicilia) formaban parte del mundo griego aunque no
efiere Hofmann con el fin de la Arithmetica Universalis?

6.
8. Resuma la informacin conseguida en la lectura en la lnea del tiempo
que est construyendo.
9. El tema del Rincn del asesor es: Quin cree que fue ms importante
para el desarrollo de la matemtica: Euclides o Arqumedes? Participe
en el foro con sus ideas.
10. Vaya a las notas matemticas de la lectura. Lea cuidadosamente este
material.
11. Realice las actividades y ejercicios matemticos. Recuerde que ello es
fundamental para su evaluacin formativa.
12. Vea el video sobre el nmero Pi elaborado por RTVE en su serie
Universo matemtico. sta disponible en el espacio web de este curso
en Moodle.
13. Ya Ud. est listo para la autoevaluacin! Demuestre lo que Ud. conoce.
n de instruccin Objetivo 3
Repase lo q

3. Ubique geogr
corresponden a la Grecia actual.

4. Lea la lectura de Hofmann sobre la matemtica en Grecia. Vea los otros
recursos disponibles en la pgina Moodle del curso.

5. Quin y en qu trabajo se empez a usar el mtodo deductivo? A qu
se r
Cul es la importancia de los Elementos?

7. Seale los aspectos ms importantes en el trabajo de Arqumedes de
acuerdo con la lectura.

50

Rincn del asesor
Quin es ms importante para el desarrollo de la matemtica? El
istematizador Euclides o el genio Arqumedes? Se cree que mucho de lo que
parece en los Elementos de Euclides proviene del trabajo de otros matem-
cos y que, de hecho, existieron otros libros llamados Elementos anteriores
oy perdidos) al trabajo de Euclides. Sin embargo, nadie puede dudar de la
randeza del trabajo de Euclides y de la importancia e impacto del mtodo por
l usado.

Arqumedes es un genio solitario y en muchos casos incomprendido.
rabaj como trabajan los matemticos actuales, investigando problemas y
omunicando su solucin de manera sucinta a otros matemticos por medio de
artas. Quin es ms importante para el desarrollo de la ciencia matemtica?
Qu opina Ud de este punto?

s
a
ti
(h
g
T
c
c

51

Notas matemticas complementarias de la lectura de los griegos

I. Clculo del radio de la Tierra

El sabio Eratstenes
f
midi el radio de la Tierra con un procedimiento
muy ingenioso que vamos a describir. Sus clculos sobre la circunferencia
terrestre se basaron en la observacin que hizo en Cirene, su ciudad natal; a
medioda, en el solsticio de verano, los rayos del sol incidan perpendi-
cularmente sobre la Tierra y, por tanto, no proyectaban ninguna sombra (Cirene
estaba situada muy cerca del tr r). En Alejandra se percat de
que, en la misma fecha y hora, las ombras tenan un ngulo de aproxi-
mada istancia entre Cirene y
lejandra, pudo hallar a travs de clculos trigonomtricos la distancia al Sol y
circunferencia de la Tierra.
pico de Cnce
s
mente 7 con respecto a la vertical. Al conocer la d
A
la

Midi cuidadosamente (usando un promedio de varias mediciones!) la
istancia entre las ciudades de Cirene y Alejandra. Encontr que la distancia
ra de 5000 esta a fue de 7 grados y 12
minutos (observe que las mediciones
numeracin babi
d
e dios. El ngulo que midi en Alejandr
angulares se basan en el sistema de
lnico de base 60). Luego la medicin del ngulo
del dibujo
60=50x7,2 , de esta forma, para encontrar el radio de la Tierra
50x5000 estadios, luego el radio es de 250000 estadios. No

es de 7,2 pero 3
basta multiplicar

2 a.C.), matemtico, astrnomo, gegrafo, filsofo y poeta griego. Naci en Cirene (en la actualidad
aestros se encontraba el poeta griego Calmaco de Cirene. Hacia el 240 A.C., Eratstenes lleg a ser el
Alejandra. Eratstenes tambin midi la oblicuidad de la eclptica (la inclinacin del eje terrestre) con
y cre un catlogo (actualmente perdido) de 675 estrellas fijas. Su obra ms importante fue un tratado de
edarse ciego, muri en Alejandra por inanicin voluntaria. Referencia: Enciclopedia Encarta 2004
f
Eratstenes (c. 284-c. 19
Shahhat, Libia). Entre sus m
director de la Biblioteca de
un error de slo 7' de arco,
geografa general. Tras qu
1993-2003 Microsoft Corporation. Reservados todos los derechos.

53

conocemos el equivalente exacto entre metros y estadios, pero los estudiosos
iman que 1 estadio equivale a 150 metros, luego el radio de la Tierra es,

. Los ngulos de la base de un tringulo issceles son iguales. El
a en el curso Geometra 754, la
demostracin es conocida como el puente del asno.

4. os tringulos son congruentes si ellos tienen dos ngulos y un lado igual.
5. Todo ngulo inscrito en una semicircunferencia es recto.

Thales de Mileto
Naci alrededor del ao 640 AC en Mileto, Asia Menor (ahora
Turqua) Falleci: alrededor 560 AC en Mileto. Astrnomo,
comerciante y matemtico. Se le considera uno de los siete
sabios del mundo antiguo. Se cree que es uno de los primeros
matemticos que demuestra algunas proposiciones Geom.-
tricas elementales. Se dice que
eclipses d ue el ao tena 365 das.
No dej obra escrita conocida y lo que conocemos de l se
infier

le atr
bra y la altura de la pirmide y su sombra. Esta historia quizs
ea un mito pero uno muy hermoso. Es dudoso que Thales haya descubierto o
est
segn Eratstenes,
R=37500 Km

Este valor difiere en unos 2.500 Km del valor real.

II. La matemtica de Thales de Mileto

No est claro qu descubri o conoci Thales, sin embargo los siguientes
teoremas se le atribuyen:
1
estudiante UNA demostr este teorem
2. Un crculo es bisecado por cualquier dimetro.

3. Los ngulos entre dos lneas rectas que se cortan son iguales (opuestos
por el vrtice).

D

logr predecir y explicar los
e sol y de luna. Pensaba q
e de fuentes secundarias.
Tambin se ibuye el clculo de la altura de la pirmide de Keops me-
diante la aplicacin del teorema que todava lleva su nombre. La leyenda
cuenta que al ser retado por unos sacerdotes para realizar el clculo, clav su
bastn en la arena y seal la equivalente proporcin entre el tamao del
bastn y su som
s

54

demostrado l teorema que e lleva su nombre, cumplindose la frase del ma-
fi

III. El
ricos, tal como lo seala
Hofmann en la lectura, sobrevino con el descubrimiento de los irracionales.
Para esta escuela, el universo tena un lenguaje: los nmeros naturales y sus
razones que conocemos como fracciones. Pero en algn momento (no sabe-
mos onal de un cuadrado de lado 1
no se puede expresar como un cociente.

temtico alemn Flix Klein, quien a rm que el nombre de un teorema nunca
coincide con el de su verdadero descubridor. Lo que conocemos de la vida de
Thales ronda la leyenda.
descubrimiento de los irracionales

El fin de la Arithmtica Universalis de los pitag
cundo ni quin) descubrieron que la diag

Tringulo rectngulo issceles
En el dibujo anterior, aplicando l teorema de Pitgoras obtenemos

e
2 c a = 2 c =
, en particular si a=1. Vamos a utilizar el argumento de
Aristteles, de contraposicin entre par e impar, para demostrar la
raci ir onalidad de
2 c =
. La prueba la realizaremos por reduccin al absurdo
de Matemtica I lo fundamental de
este mtodo de demostracin).
(repase en su libro de Geometra o en el

Teorema:
2
es irracional
Demostracin: Supongamos que
2 c =
es racional, es decir existen nmeros
aturales p y q tales que: n
2
p
q
=

55

Simplificando al mximo, podemos suponer, sin prdida de generalidad,
que p y q no tienen factores comunes. En particular p y q no pueden ser ambos
pares. La ecuacin anterior se puede escribir como:

2
p
2 2
2
2 2q p
q
= =

. p es par y q es impar
Analicemos las posibilidades disponibles:

1. p y q son ambos impares
2
3. p es impar y q es par
Descartemos la posibilidad 1. Si ambos nmeros fueran impares, de la
ecuacin
2 2
2q p =

deducimos que el lado izquierdo es par pero el derecho es impar, un absurdo.

Veamos la posibilidad 2. Si p es par entonces p=2m para algn entero m,
luego
2 2 2 2 2
2 4 2 q p m q m = = =

pero esta ltima ecuacin implica que q es par contradiciendo lo asumido.

Dejamos al estudiante UNA que elimine la ltima posibilidad. Hemos
demostrado que
2
es irracional.

Este hecho caus una grave crisis en la matemtica griega. Crisis que
resolvi Eudoxio de Cnido con su definicin de igualdad entre proporciones y la
troduccin del principio de continuidad. Teodoro de Cirene extendi la
luir otros valores de n.
V. L

Los grandes problemas del mundo griego, que resultaron irresolubles
espus de la intervencin de matemti os como Galois, Lindemann y un
nli
in
demostracin para inc

I a cuadratrz de Hipas
d
a
c
sis de varios siglos, son:

56

1. Trisecar un ngulo cualquiera
2. Duplicar el cubo
3. Cuadrar el crculo

Expliquemos estos problemas brevemente. El primero consiste en que,
dado un ngulo cualquiera, lo dividam s en tres ngulos iguales slo usando
regla
El segundo problema tiene asociada una leyenda. Se cuenta que la
iudad de Delos, donde naci Apolo, estaba azotada por una epidemia y sus
de Delos cmo acabar con la peste. El
ltar del orculo tena forma cbica y el sacerdote que interpretaba al orculo
El ltimo problema tiene un enunciado sencillo. Dado un crculo cons-
tryase un cuadrado de la misma rea. Los matemticos griegos conocan un
rocedimiento para cuadrar cualquier polgono regular. Ya sealamos que, con
co
r uniforme. Tambin, y empezando en el mismo instante, el segmento
mpieza a mover, paralelo con el eje x, hacia el segmento
el tiempo t=1 ambos segmentos yacen sobre el eje x. La
uad

o
y comps. Esta restriccin, de usar slo regla y comps, se aplica a los
tres problemas y algunos se la atribuyen a Platn.

c
habitantes fueron a consultar al orculo
a
pidi que construyeran un altar del doble de volumen preservando la forma
cbica. De ser cierta la leyenda la ciudad debi perecer por la epidemia.

p
la ndicin de slo usar regla y comps, estos problemas son irresolubles.
Pero el hombre busca nuevas herramientas para resolver los problemas. Una
de stas es la curva conocida como la cuadratrz de Hipas. La cuadratz se
construye de manera mecnica, un procedimiento que Platn aborreca.
Tomemos en el plano cartesiano el segmento x=0, 0<y<1. Imagine que este
gira alrededor del (0,0), con el sentido de las agujas del reloj y velocidad
ngula a
y=1,0<x<1 se e
0,0<x<1. En y=
c ratrz de Hipas es el conjunto de puntos que se obtienen por la
interseccin de los dos segmentos
.

57

V. La espiral de Arqumedes
Esta curva se escribe de manera muy sencilla en coordenadas polares:

r

=

Su grfico, realizado con Maple, es el siguiente:

Espiral de Arqumedes

q medes estudi con detalle esta curva y la aplic en la solucin de
diversos problemas matemticos y geomtricos. En los ejercicios el estudiante
NA encontrar
Ar u
alguna de estas aplicaciones.
y su demostracin es una de las
yas que aparecen en los Elementos de Euclides (libro V Prop. XX).
Consideremos la sucesin de los nmeros primos

U

VI. Infinitud de los nmeros primos

Es la opinin del autor que este resultado
jo
2,3,5,7,11,13,

Tiene esta sucesin fin? o se prolonga indefinidamente? Los griegos
respondieron esta pregunta de manera concluyente: la sucesin de nmeros
primos es infinita. La prueba slo usa matemtica elemental y el mtodo de
reduccin al absurdo.

58

Teorema (Euclides Libro V Proposicin XX) Existen infin nmeros
primos
itos
:
s lo contrario, es decir existe un primo P el cual es el ms
amos el nmero
g

Demostracin

Supongamo
rande. Construy g

2 3 5 1 N P = +
.

Obsrvese que N es el producto d todos los primos al cual le aadimos
1. Afirmamos que N>P, ya que P aparece entre los factores que multiplicamos.
Luego N debe ser compuesto y divis
e
ible por algn primo, digamos por el primo
j, esto es
N j c =
. Pero
2 3 5 1 N j P = +
=j
c luego
1 ( 2 3 )
j
j c P =

ideramos la progr
tcnicas de variable compleja.

Los nmeros primos y sus propiedades son un tema difcil y apasionante,
xisten muchos problemas abiertos asociados a ellos. Uno de los ms difciles
es el
cree que pueden existir infinitas parejas, nadie lo
abe a ciencia cierta. Recientemente Goldston, Pitz y Yildririm han realizado un
Bulle al Society de Enero de 2007)

lo que indica que j divide a 1, una contradiccin. Luego la
sucesin de los primos es infinita.
h
La sucesin de los nmeros impares 2k+1 debe contener por ende
infinitos primos. Observe que la sucesin 2n+1 es una progresin aritmtica y
que 2 y 1 son primos entre s. Si cons esin aritmtica
es necesaria, para obtener de ella infinitos primos, que a,b
sean primos entre s. Es un resultado difcil y profundo que esto sea tambin
suficiente. Fue demostrado por Dirichlet, a finales del siglo XIX, usando
, 0,1, an b n + =
e
de los primos gemelos: parejas de primos que slo difieren en 2, como 3 y
5, 11 y 13, 17 y 19 etc. Se
s
avance prometedor en este problema (ver el artculo de Soundararajan en
tin of the American Mathematic

rmul el resultado sin hacer ninguna referencia al infinito lo que demuestra el espritu griego de evitar la idea
h
Existen otras demostraciones pero la dada es extraordinaria. El autor de estas notas tiene su propia demostracin usando clculo.
g
De hecho Euclides fo
de infinito.

59

VII. El mtodo de Exhaucin

El mtodo se debe al matemtico Eudoxio de Cnido
i
y el trmino ex
c
hau-
in fue acuado durante el renacimiento. Se basa en la definicin, dada en la
ctura de Hofmann, de igualdad entr proporciones y en el principio de
ontinuidad que explicamos a continuacin. Segn este principio, dados dos
meros A, B cualesquiera (puede pensar en dos longitudes o reas) si
n >
tal que . Es decir, aadiendo B al mismo
mero, quizs grande, de veces superamos a A.
jercic o de Arqumedes, demuestre
ue en
irma la proporcionalidad entre el rea
s y sus dimetros al cuadrado.
Teor
le e
c
n
entonces existe un natural A B nB A >
n

E io: Usando el principio de continuidad
tre dos reales x,y con 0<x<y siempre se puede encontrar un racional. q
Vamos ahora a estudiar el teorema que af
de dos crculo

ema: sean dos crculos de dimetros
, d d
y reas
, C C
respec-
tivamente entonces:

2
C d
C d
=

emostracin:

ostrar que las reas de estos
tn en la proporcin:

D
Inscrbanse en cada crculo un polgono regular de una cantidad n de
lados. Es un ejercicio de trigonometra dem
,
n n
A A
polgonos es
2
n
n
A d
A d
=

Muchos estaran tentados a afirmar que el resultado se obtiene del
endo n tender a infinito. Pero tenemos que tomar en cuenta que la
ite de una sucesin es posterior a los griegos, aunque el
roce

anterior haci
idea de lm
p dimiento de Eudoxio la tiene implcita. En realidad vamos a aplicar el

udoxio (
expuso
los 365 das. Eudoxio tambin
tent explicar los movimientos del Sol, la Luna y los planetas mediante un modelo del Sistema Solar basado en una complicada
as que giran. Su modelo tuvo un relativo xito en la prediccin de estos movimientos. Eudoxio tambin llev a
ubrimientos en matemticas; se le atribuyen muchos en geometra, posteriormente incluidos en los Elementos,
el tratad or e clides. 1993-2003 Microsoft Corporation. Reservados todos los
derecho
i
E 408-355 A.C.), astrnomo y matemtico griego que realiz importantes aportaciones en el campo de la geometra y
la primera explicacin sistemtica de los movimientos del Sol, la Luna y los planetas. Eudoxio naci en Cnido (en lo que
actualmente es Turqua). Fue discpulo del filsofo Arquitas y estudi con Platn durante un breve perodo.
A Eudoxio se le atribuye generalmente el descubrimiento de que el ao solar tiene 6 horas ms de
in
combinacin de esfer
cabo importantes desc
o de matemticas escrito p l matemtico griego Eu
s.

60

principio del tercero excluido. Supongamos que
2
C d
C d
<

, esto es
2
(1 ) ,0 1
C d
C d
= < <
. Tomemos ahora un nmero de lados n tal que

(1 ) (1 ) (1 )
n
n
A C d C
C A
C

= = =
(1 )
n
A C >
pero entonces
n n
d A A
pero
(1 ) 1
n
A
<
C
de donde
n
C A <
, es un absurdo ya que el polgono A
n
est
inscrito en el crculo. El estudiante UNA debe analizar y eliminar la posibilidad
que
2
C d
>
C d
idad, sta es . Slo queda una posibil
2
C d
C d
=

como queramos
servaciones.
n de equivalencia entre razones de Eudoxio puede ser usada sin

demostrar.

Ahora estamos en condiciones de dar una importante definicin pero
primero dos ob

1. La noci
introducir los nmeros reales.

2. Podemos a partir de la frmula del teorema anterior reescribir la condicin
de proporcionalidad de esta forma:
2 2
2 2
(2 )
(2 ) ( )
C d r r
C d r r
= = =

2 2
C C
r r
2
luego

Definicin:

El nmero es la constante de proporcionalidad, que afirma la observacin

re las reas y los radios al cuadrado de dos crculos, esto es: anterior, ent

2 2
C C
r r

= =

61

ctividad 1
e requiere formar equipo con otros estudiantes de la UNA (de diferentes
centr e
.
termine, a partir de la latitud y la longitud de estas ciudades, la distancia
e estos datos para calcular el radio de la Tierra.

ctividad 2
ue sobre la criba de Eratstenes que permite determinar los
imos hasta un determinado entero. Use el computador para escribir un
progr
Ejercicio 2

Realice una actividad para medir a lo Thales, en su localidad o ciudad, un
dificio, monumento, obelisco, antena, etc. de gran altura.
jercicio 3

A

S
os locales) para realizar esta actividad. Mida el ngulo de la incidencia d
los rayos solares, a la misma hora y en dos ciudades diferentes de Venezuela
De
entre ellas. Us
A

Investig
pr
ama que realice este procedimiento.

Actividad 3

Cmo determinar la distancia entre la Tierra y el sol usando las ideas de
Eratstenes?

Ejercicio 1

Demuestre los 5 teoremas atribuidos a Thales de Mileto

e

E
Demuestre que
3
es irracional
rcicio 4 Eje
Demuestre que
7
es irracional

Ejercicio 5
Demuestre que
n
es irracional si n no es un cuadrado. Sugerencia: Use
el teorema fundamental de la aritmtica.

Ejercicio 6

62

Explique cmo se puede usar la curva de Hipas para dividir un ngulo
cualquiera en 3 partes. Extienda su resultado a un nmero cualquiera de
divisiones.

Ejercicio 7

Investigue en Internet cmo se puede usar la cuadratrz para resolver el
problema de la cuadratura del crculo. Fue Hipas quien logr esta aplicacin
e su curva?

Ejercicio 8
ctividad 5
Investigar los conceptos y resultados bsicos de la teora de nmeros:
a clides, mximo comn divisor y mnimo
jerc
d ser de la forma 4n+1 o
4n+3.
a forma 4n+3
64 lados
d

Puede usar la espiral de Arqumedes para rectificar un arco de crculo?
Por rectificar entendemos construir un segmento de igual longitud que la
longitud del arco. Razone su respuesta.

A

divisor, nmero primo, lgoritmo de Eu
omn mltiplo. c

icio 9 E

Demuestre que los primos impares slo pue en

jercicio 10 E

Modificando el argumento de Euclides, demuestre que existen infinitos
rimos de l p

Ejercicio 11

Convirtase en un Arqumedes moderno: use un polgono de
ara lograr una aproximacin del nmero p

.

Ejercicio 12

El estud
o
iante UNA debe demostrar que un impar al cuadrado es impar.
s en la demostracin de la irracionalidad de la raz cuadrada de Esto lo usam
2.

63

Ejercicio 13
Investigue sobre los nmeros pitagricos: triangulares, cuadrados, etc.
s estuvieron muy prximos a desarrollar el Clculo
qumedes. Investigue cmo
rqumedes calcul el volumen de la esfera de radio r. Arqumedes consider,
u
to en su tumba la cual con el paso del tiempo se perdi. Qu
istoriador muy famoso consigui la tumba de Arqumedes?

Encuentre la ecuacin paramtrica o implcita de la cuadratriz de Hipas.

lectura
atemtica y
profesor honorario de la Universidad de Tubingen. Es autor del libro (tres
Historia de la matemtica y realiz investigacin matemtica en
a plana.

Actividad 6

Los matemticos griego
Integral por ejemplo en el trabajo de Ar
A
este logro, su mayor obra y mand que inscribieran una figura de s
descubrimien
h

Ejercicio 14

Use un software para obtener su grfico.

Autor de la

Joseph Ehrenfried Hofmann (1900-1973) Historiador de la M
volmenes)
geometr

64

Autoevaluacin
El test consta de dos partes. La primera parte consiste en algunos ejer-
ios matemticos relacionados con las tcnicas usadas por los babilonios y
gipcios. La segunda algunas preguntas muy sencillas de seleccin simple
ara verificar su conocimiento del material del curso.
Ejercic
stre que

ic
e
p

ios

5
1. Demue es irracional.
Arqumedes para 2. Use la espiral de dividir un ngulo cualquiera en un
determinado nmero de partes iguales.

3. D una demostracin pictrica de la identidad
2
1 3 5 2 1 n n + + + =

+ +
.

La
.- Un mtodo similar al de los infinitesimales (exhaucin) se debe al
matemtico:

a) Euclides
) Arqumedes
) Anaxgoras
.- La obra maestra de la matemtica griega es:
a) L
b) E
c) L
d) L

Preguntas de seleccin simple

1.- De acuerdo a lo discutido en el curso, el principal logro de la matemtica
griega es:

) El clculo de Pi a
b) invencin de la geometra
c) El mtodo axiomtico deductivo
) La determinacin del volumen de la esfera hecha por Arqumedes d

2
b) Eudoxio
c
d

3

os elementos de Euclides
l arenario de Arqumedes
as cnicas de Apolunio
a cuadratura de las lnulas de Hipcrates

65

4.- F
las l

) Hipcrates
c) T
) Pitgoras
5.- C

) Euclides
c) A
) Eudoxio
6.- Crtico acrrimo de las ideas de movimiento, espacio y tiempo:
) Zenn
d) P
.- Da importancia a los mtodos de deduccin matemtica en comparacin a
s mtodos puramente filosficos:
) Aristteles
) Platn
) Euclides
) Pitgoras
ue el primero en demostrar resultados matemticos en su cuadratura de
nulas:
a
b) Euclides
hales
d

alcul aproximadamente el valor de Pi :
a
b) Pitgoras
rqumedes
d

a) Dimedes
b
c) Aristteles
latn

7
lo

a
b
c
d

66

jercicios
. Supongamos que

E
1

2
2 2
5 5
p
p q
q

= =

podemos suponer sin prdida de
eneralidad que la fraccin
p
q
es irreducible. De la igualdad
2 2
5 p q = se
duce que 5 debe dividir a
g
de p , luego 5 p k = con entero, luego
k y esto implica que 5 debe dividir a
con el he
k
2 2 2 2
(5 ) 5 5 k q q = = q . Una contradiccin
cho que
p
q
es irreducible. Hemos demostrado la afirmacin. El
imilar a la demostracin estudiante observar que la prueba es esencialmente s
ue 2 q es irracional. Trate de generalizar los argumentos usados para
emostrar que
3
3 d es irracional.
. Use la espiral de Arqumedes combinada con el teorema de Thales que
ermite dividir un segmento dado en un nmero cualquiera de partes.

2
p

. El estudiante UNA debe interpretar estos diagramas.

Preguntas de Seleccin Simple

1. c) La matemtica en Babilonia y Egipto era fundamentalmente emprica.
Los griegos con Hipcrates de Chios empiezan a buscar la certeza
absoluta en matemtica. Es opinin de algunos que ya Thales de Mileto
demostr algunas proposiciones pero no tenemos certeza de esto. Sin
duda Aristteles y Platn con su peso filosfico empujan an ms la
tendencia deductiva de la matemtica pero es sin duda el extraordinario
libro Los Elementos de Euclides el que presenta por primera vez el
mtodo axiomtico deductivo, marcando el desarrollo posterior de toda la
matemtica.

3

67

2. b) Es Eudoxio el que crea de manera magistral el mtodo de exhaucin y
lo aplica en la demostracin de la existencia del nmero .

3. a) Sin duda Los Elementos. Las otras alternativas son libros muy
importantes pero Los Elementos de Euclides son una obra maestra que
influy en todo el desarrollo de la matemtica.

4. a) Hipcrates fue el autor de esta obra que sienta de manera explcita el
mtodo deductivo como una herramienta matemtica.

5. c) Arqumedes uso polgonos de un gran nmero de lados (96) para
aproximar el nmero .

6. b) Zenn.
. b) Platn le dio gran importancia a la matemtica y mando a inscribir en el
prtico de la Academia No entre aqu quien no sepa de Geometra.

7

68

MDULO II
La Edad Media, el Renacimiento y la fusin entre el lgebra y la
geometra: la geometra analtica

Perre de Fermat
Co-descubridor de la

geometra analtica

69


ESTRUCTURA DEL MDULO II
Objetivo del Mdulo II
Describir el nacimiento de la geometra analtica como una sntesis entre
l lgebra rabe y la geometra griega.
Contenido del mdulo

.4 La edad media
Matemtica en la Edad Media: el aporte de los rabes. Creacin del
lgebra.
Aportes de la India y China: el sistema de numeracin hind.
Labor de los rabes en la pr nocimiento griego.
.5 La geometra analtica
El desarrollo de la geometra analtica como sntesis entre el lgebra y la
geometra.
Vida de Ren Descartes.

e

II
eservacin del co

II

71

Unidad 4

La Edad Media
Objetivo Unidad 4

Describir el rol de la civilizacin rabe en la preservacin y desarrollo del
conocimiento matemtico.

1 semana y media.

73

INTRODUCCIN

tico a
Por l oriente ya que
nalizamos la matemtica de los babilonios y egipcios.
ue importante para el desarrollo de la
atemtica europea. Sealemos solamente el sistema de numeracin que nos
usab a complejo cualquier clculo, el
istema indoarbigo es flexible y transparente y debe considerarse como uno
occid

la matemtica griega y Europa, as como entre el conocimiento hind y la
europea. Sus mltiples conquistas, viajes y curiosidad
cientfica sirvieron para revitalizar un mundo europeo que tenda a estar para-
lizado
El plan de la lectura es el siguiente. Empiezan los autores evaluando el
aspecto poco desarrollado de la matemtica en Roma y en la temprana Edad
Media. Brevemente tocan el tema de la matemtica en China sealando que
oseemos un desconocimiento importante de lo alcanzado por los chinos.
Posteri r la matemtica hind en esa
tacando su importancia. Para luego entrar a discutir el conocimiento
yor detalle. Los rabes trasmiten a
onocimiento matemtico griego revitalizado ya que es probable que
sas matemticas griegas hubiesen sido preservadas en ciertas bibliotecas
on unos trasmisores, su aporte es original y nuestra
lgebra es su mayor logro.
o y poeta desarroll originales
todos como una solucin geomtrica de la ecuacin cbica.

Los maestros Rey Pastor y Babini nos llevan a conocer el mundo matem-
sociado a civilizaciones cargadas de misterio: las civilizaciones orientales.
supuesto que no ha sido nuestra nica incursin por e
a

La matemtica de estas culturas f
m
viene de los rabes e hindes todava presente entre nosotros. Los romanos
an un sistema engorroso de cifras que hac
s
de los componentes cruciales que facilitaron el desarrollo de la matemtica en
ente.
Por otro lado, los rabes cumplieron el papel de correa de trasmisin entre
anquilosada cultura
entre el fervor religioso y el oscurantismo de la Edad Media. Debemos
reconocer la importancia y el aporte de la cultura rabe en Europa y en
nosotros a travs de su notoria influencia en Espaa. Fueron unos apasionados
de la matemtica en la que buscaban quizs la simetra de un desierto ya
olvidado.

p
ormente, hacen una breve incursin po
poca, des
de los rabes, el cual analizan con ma
Europa un c
e
europeas. Pero no slo s

Despus los autores analizan la alta y baja Edad Media, donde se centran
en figuras como Al-Khuwarizmi y Omar Khayyam, matemticos de una incues-
tionable originalidad. Al primero le debemos el primer estudio sistemtico de las
ecuaciones algebraicas. El segundo, matemtic
m

75

Los autores no descuidan las posibles influencias de la cultura hind
occidente para lo cual los rabes servan co
en
mo vaso comunicante.

Al final de la lectura se plantea el renacer de la matemtica europea.
a a liberar, mediante la imprenta y la aparicin de pensadores
origin
a ser el
entro de nuestra historia. El lgebra de los rabes y la geometra de los
riegos, se van a unir. Oriente y occidente se van a mezclar para producir una
emtica de importancia: la geometra analtica que es el objeto de
lan de instruccin Objetivo 4
. Lea sobre los romanos y su imperio, y la Edad Media.
de Rey Pastor y Babini La poca Medieval.
3. Qu podemos decir del desarrollo de la matemtica en el imperio

hindes y chinos? Base su anlisis en la lectura.

4. Cul fue el rol de los rabes en la matemtica que se desarrolla en

. Con qu matemtico empieza la matemtica europea a tener
representantes originales e importantes?
. Lea cuidadosamente las notas matemticas de la lectura 6. En esta
Unidad de la Gua Instruccional las notas son las originales del libro de
Rey Pastor y Babini y las encontrar en la propia lectura.
. Recuerde hacer un resumen de toda la informacin recabada en la lnea
de tiempo que est construyendo.
. Vaya a las actividades y ejercicios matemticos y enfrente problemas ata-
cados por los rabes, hindes, chinos etc.
. Vaya al Rincn del asesor a discutir y compartir con los compaeros y
asesores.
0. Realice los ejercicios de autoevaluacin, confiamos en Ud. y los resul-
tados que obtendr.
Europa se v
ales en todas las reas del saber, de la supersticin y la contemplacin
divina. Europa a partir de este momento, con sus matemticos y cultur
c
g
sntesis mat
nuestra prxima lectura.

P

1

2. Lea la lectura 6

romano? tienen alguna importancia las matemticas que desarrollaron
occidente?
5

6

7

8

9

1

76

Rincn del asesor
Los rabes mantuvieron importantes obras matemticas griegas median-
sus traducciones. Sin embargo los monasterios tuvieron un rol importante en
ste aspecto. Puede Ud. considerar cul fue su aporte? Una buena novela
ue recomendamos a los estudiantes es el Nombre de la Rosa de Humberto
co (hay una pelcula del mismo nombre protagonizada por Sean Connery). En
lla se adentrar en el mundo de los monasterios y su trabajo intelectual.

jercicio1
ea el siguiente prrafo:

Cual es el cuadrado que sumado a diez races da el nmero 39? Dice:
races, en este caso 5, y multiplicarlo
por s
Verifique que el algebrista est enunciando la conocida frmula de las
ces de una ecuacin de segundo grado.
rmula
te
e
q
E
e

E

L
"Debes tomar la mitad del nmero de las
mismo y obtienes 25 al que le sumas el nmero 39, con el resultado 64.
Tomas la raz cuadrada de este nmero que es 8 y le restas la mitad de las
races 5 y obtienes 3, que es el valor buscado".

ra

Actividad 1
Usando sus conocimientos de geometra demuestre la f
( )( )( )( ) a p b p c p d de Brahmagupta que da el rea de un cuadril-
tero inscrito en un crculo.
icio 2
Dos nmeros se denomina
S p =

Ejerc
n amigos si la suma de los divisores de uno

Activ
Si p =3 2
n-1
- 1,
q =3 2
n
- 1,

equivale al otro. Demuestre que 220 y 284 son amigos.

idad 2

77

r =9 2
2n-1
- 1,
donde n >1 es entero y p, q, y r son nmeros primos, demuestre que entonces
meros amigos.

2
n
pq y 2
n
r son un par de n
Esta frmula genera los pares (220, 284), (17.296, 18.416).

78

Autoevaluacin

egipc nda algunas preguntas muy sencillas de seleccin simple

Ejerc

. Dos nmeros se denominan amigos si la suma de los divisores de uno
equivale al otro. Demuestre que A=17296 , B =18416 son amigos
j

. Resuelve el siguiente problema de Baskhara: "La raz cuadrada de la
mitad de un enjambre de abejas se esconde en la espesura de un jardn.
Una abeja hembra con un macho quedan encerrados en una flor de loto,
que los sedujo por su dulce perfume. Los
8
/
9
del enjambre quedaron atrs.
D

. Un nmero que es amigo de si mismo se denomina perfecto. Es decir, un
tal que la suma de sus divisores es igual al mismo nmero se
denomina perfecto. Demostrar que la frmula 2
n1
(2
n
1) genera un
imo.

4. cuacin de segundo grado

cicios matemticos relacionados con las tcnicas usadas por los babilonios y
ios. La segu
p
icios
1

2
ime el nmero de abejas.
3
nmero
nmero perfecto par siempre que 2
n
1 es pr
Convierta la e
2
6 5 0 x x + = a uno de los tipos

Preg

1- matemtica de los romanos fue:

b) una continuacin vigorosa de la matemtica griega
c) una matemtica simple orientada a las aplicaciones prcticas

2- El renacer de la matemtica europea en la Edad Media se debi a:

a) la influencia de la matemtica que vino del Oriente
l educa-

considerados por Al-Khuwarizmi
untas de seleccin simple
De acuerdo a la lectura la
a) un retroceso a los mtodos de los babilonios
d) un estancamiento de lo conocido por los griegos
b) al emperador Carlomagno que se preocupo de mejorar el nive
tivo

r es atribuido mu
j
Este pa chas veces a Descartes pero ya era conocido por los rabes.

79

c) a los matemticos griegos que reaparecieron en la biblioteca de
t bre
la matemtica en occidente:
a) los hindes que los chinos
b) los chinos que los hindes
l
d) debido a su situacin geogrfica no tuvieron influencia alguna
4- y Babini el aporte de los rabes a la ciencia en
la Edad Media fue:
lar de primera importancia
c) las guerras y el fanatismo religioso los mantuvieron al margen de
osibles es:
c) facilitar el clculo de las races

- El primer matemtico que represent el renacer de la matemtica en
Europa fue:
a) Cardano
b) Abelardo de Bath
c) Fibonacci
d) Newton
Alejandra
d) al estudio de los religiosos como Beda el venerable

3- En relacin al desarrollo matem ico, tuvieron una influencia mayor so

c) fue aproximadamente igua

De acuerdo a Rey Pastor

a) simple recoleccin del saber griego
b) aporte singu
cualquier conocimiento cientfico
d) Aporte menor que fue absorbido por la importante matemtica de
Europa

5- La razn para manipular los trminos de una ecuacin de segundo grado
y considerar los seis casos p

a) todos los coeficientes deban ser positivos
b) evitar races complejas
d) El nmero seis era un nmero importante para el Islam
6

80


jercicios
. Calculemos los divisores de 17296 ellos son
Su suma es:
>1+ 2+ 4+ 8+ 16+ 23+ 46+ 47+ 92+ 94+ 184+ 188+ 368+ 376+ 752+
1081+ 2162+ 4324+ 8648;
(hemos hecho los clculos con Maple)
Por otro lado los divisores de 18416 son
Su suma es
>1+ 2 +4+ 8+ 16+ 1151+ 2302+ 4604+ 9208;

. El planteamiento del problema lleva a la ecuacin

E

1
{ } , , , , , , , , , , , , , , , , , , , 1 2 4 8 16 23 46 47 92 94 184 188 368 376 752 1081 2162 4324 8648 17296

18416

17296

2
2
8 1
2 2 9 2 9 2
9 2 2
81 4 4
x x x x
x x x x x
x x
+ + = + = + = =
= +

Procediendo como Al-Khuwarizmi escribimos esta ecuacin como
2 9 2
x
2
2 2
81 4 4 81 4 4
2 2
x x
x x x x = + + = + . El estudiante UNA debe verificar que
la raz es 72 y que la otra raz es negativa.

3. S o es muy sencillo decir
cules son sus divisores: 1,2(2 1),2 (2 1) 2
n2
(2
n
1) y 2
n
1.
Dejamos al estudiante UNA verificar que
1+ 2
n
1+2(2
n
1)+2
2
(2
n
1) +2
n2
(2
n
1) es igual a 2
n1
(2
n
1)
. Esto es muy sencillo y lo dejamos a la interpretacin del estudiante UNA.

- Los romanos ni siquiera mantuvieron viva la matemtica griega, la res-
puesta es la alternativa c.
, , , , , , , , , 1 2 4 8 16 1151 2302 4604 9208 18416
i el nmero 2
n1
(2
n
1) es tal que 2
n
1 es prim
n 2 n

4
P

1

81

2- La matemtica en occidente retrocedi mucho al decaer el mundo hel-
nico y la influencia de oriente fue lo que la revitaliz, luego la alternativa a
es la correcta.
- La matemtica hind es muy importante para lo que ocurre en occidente.
Nos llega su conocimiento por intermedio de los rabes. La influencia de
China no est tan clara. La respuesta correcta es la alternativa a.
- Est textual en la lectura, el aporte de los rabes es singular. Luego la
alternativa b es la correcta.
- La alternativa correcta es la a los matemticos siempre han enfrentado
con suspicacia la introduccin de nuevos tipos.
6- La alternativa c es la correcta como puede observar el lector atento cuan-
do Rey Pastor y Babini hablan de Fibonacci.

3

4

5

82

Unidad 5
Geometra analitica

Objetivo Unidad 5

Conocer el desarrollo de la Geometra analtica.


1 semana y media

83

85
INTRODUCCIN

Descartes y su creacin de la geometra analtica. Se puede apreciar la fusin
el lgebra y sus ecuaciones con la geometra de los antiguos. Al final todo se
tica universalis.
odemos apreciar adems la creacin de un lenguaje flexible y potente, ade-
estud

usaban una notacin muy verbal que tuvo que ser mejorada por los mate-
ticos europeos para lograr el dinamismo que requera la geometra analtica.
una
para otable, los objetos
eomtricos correspondan a ecuaciones algebraicas.

Pero el lgebra es fundamentalmente algortmica y esto implica que posee
roce

Ecuacin
En esta lectura, con un estilo muy ameno Berlinski examina la vida de
d
reduce al nmero como deseaban los pitagricos en su arithme
P
cuado para empresas mayores como es la creacin del clculo, hecho que
iaremos en la prxima Unidad.
Como ya vimos el lgebra es una creacin de los rabes pero stos
m
Lamentablemente no entraremos en este aspecto. Una vez que se logr tener
notacin algebraica ms adecuada e introducidos los ejes coordenados
asociar a los puntos nmeros se logr un efecto n
g

Objeto

algebraica geomtrico

p dimientos sistemticos para resolver los problemas que enunciemos
dentro de su lenguaje. Luego los problemas geomtricos se traducan a pro-
blemas algebraicos que eran resueltos con las herramientas del lgebra y su
solucin era interpretada geomtricamente.

Problema

geomtrico
Problema
algebraico
Inter
geom
res
Solucin pretacin
trica del
ultado
mediante los
algoritmos del
lgebra

Es de hacer notar que muchos de los problemas geomtricos indujeron el
estudio de importantes nociones algebraicas, por ejemplo, el estudio de los
variantes de las formas cuadrticas empieza con la geometra analtica.

s se estableci una relacin simbitica entre el lgebra y la geometra que
reparaba el mayor avance de la matemtica desde Los elementos de
uclides: el nacimiento del clculo
lan de instruccin Objetivo 5
. Ubquese en la Europa de Descartes y Fermat. Existe ya el concepto de
nacin en el viejo continente?
. Recuerde lo que Ud. aprendi en la geometra analtica de quinto ao o
tome cualquier libro de geometra analtica y observe su principal carac-
terstica: la introduccin de sistemas coordenados para escribir algebrai-
camente los lugares geomtricos.
. Es la falta de un lenguaje apropiado el impedimento para el desarrollo de
una teora matemtica?
. Lea la lectura de Berlinski sobre Descartes y el nacimiento de la geometra
analtica.
. De acuerdo a la lectura:
Qu es un sistema coordenado? Cul es su importancia?
Qu parmetros aparecen en la ecuacin de la recta?
En qu famoso libro de filosofa aparece el trabajo matemtico de
Descartes?
Qu cantidad caracteriza a las diferentes cnicas?
Qu relacin guarda la geometra analtica con la idea pitagrica que
todo es nmero?
. Lea las notas matemticas complementarias de la lectura.
. Las actividades y ejercicios matemticos estn relacionadas con la eva-
luacin formativa, no las omita.
. Resuma la informacin relevante que ha encontrado sobre la geometra
analtica en su lnea de tiempo.
in
A
p
E

P

1

2

3

4

5

6

7

8

86

9. Recuerde que tiene un trabajo sobre la disputa sobre quin descubri en
realidad la geometra analtica. Fue Descartes o Fermat? Converse con
su asesor y vaya al foro para discutir sobre este tema.
0. Puede ver tambin el video sobre Fermat cuyo enlace lo damos en el
Moodle del curso.
1. Vaya a la prueba de autoevaluacin, demuestre lo que Ud. conoce.
incn del asesor
La discusin se va a centrar en el tema de la tarea: fue Fermat o
escartes el descubridor de la geometra analtica? Es conocido que Fermat
posea
mximos y mnimos. Recientemente recib del matemtico francs Hiriart-
Urruty un artculo que sustenta la tesis de que Fermat no slo es el fundador
e la geometra analtica sino tambin del clculo. Investigue y discuta con su

Autor de la lectura

La geometra analtica

David Berlinski (1942)
Matemtico y filsofo norteamericano, autor de diversas obras
de divulgacin matemtica entre ellas Ascenso infinito (2005) de

1

1

R

D
la nocin de ejes coordenados y un claro algoritmo para buscar
d
asesor y compaeros este tpico fascinante.
la cual tomamos la lectura. Ha mantenido un criterio polmico en
relacin a la evolucin darwiniana realizando profundas crticas a
sus principales ideas.

87

Notas Matemticas complementarias de la lectura de la geometra
analtica

I. Estudio de las cnicas y formas cuadrticas

Consideremos la forma cuadrtica general:

[ ]
2 2 2
( , )
2
b
a
x
f x y ax bxy cy x y
b y
c

= + + =

.

Una primera observacin es que podemos hacer una rotacin que elimine
e la forma cuadrtica el trmino cruzado xy. Comprobemos sto en detalle.
a

d
Un rotacin est dada por la ecuacin lineal de la forma:
cos
cos
x sen x
y sen y

=

.

Observe que el determinante de la matriz es 1 y que su inversa es
tambin una rotacin. Veamos la forma cuadrtica en las coordenadas , x y
Como
cos
cos
x x sen y
y sen x y

=
= +
en las nuevas coordenadas la forma cuadrtica
se escribe como:
[ ]
cos cos
2
( , )
cos cos
2
b
a
sen sen x
f x y x y
sen b sen y
c

=

ar:

La matriz de la nueva forma se calcula sin mucho esfuerzo, hagamos el
clculo. En primer lug
cos
2
b
sen
a
cos
2
b sen
c

=

=
cos cos
2 2
cos cos
2 2
b b
a sen asen
b b
csen sen c

+ +

+ +

89

Tenemos ahora que multiplicar

cos cos
cos
2 2
b b
a sen asen
sen

+ +
cos
cos cos
2 2
sen b b
csen sen c

+ +

=

2 2 2
cos cos cos cos
b
a b sen csen asen
2
cos
2 2
b
sen c sen
+ +
2 2 2 2
cos cos cos cos cos
2 2
b b
a sen sen c sen asen bsen c

+ + +

Observe cuidadosamente la ltima matriz, afirmamos que existe un
ngulo
para el cual:
2 2
cos cos cos
2 2
n sen c
b b
a se sen + + =0

Teorema de los
jes Principales

Tomemos la cudrica 5 1
Luego la matriz corresponde a una forma cuadrtica que no tiene trmino
cruzado. Esto lleva al siguiente teorema conocido como el
E

Teorema: Dada la forma cuadrtica existe una rotacin
mediante la cual la nueva forma asociada no tiene trmino cruzado.

La interpretacin geomtrica del resultado es muy sencilla. El resultado
indica que mediante una rotacin apropiada los ejes de una cnica son
paralelos a los ejes coordenados.

Veamos un ejemplo:
2 2
ax bxy cy + +
2 2
8 5 x xy y + + = , su grfica es:

90

Por otro lado le podemos aplicar una rotacin de 45 grados para obtener
la grfica de abajo. Note que, en este caso, la elipse luce como las elipses que
estudiamos en quinto ao de bachillerato, mientras que la primera es oblicua.

II.
veces decimos no hay nada nuevo bajo el sol y en matemtica
sto es cierto. Si bien acreditamos al binomio de Newton y Leibnitz como los
cread
Arqu a s. Vamos a examinar en esta
nota el mtodo de Fermat para calcular la tangente con la misin clara de
ubicar los mximos y mnimos de determinadas curvas. En primer lugar
e Fermat al igual que Descartes posea la idea bsica de la
naltica: la introduccin de ejes coordenados que permiten cuanti-
El problema de la tangente: Mximos y mnimos

Muchas
e
ores del clculo diferencial e integral, los nombres de Fermat,
medes o Cav lieri no pueden ser olvidado
sabemos qu
eometra a g

91

ficar
variacin (derivada) de la curva deba ser 0.

las relaciones geomtricas. Tambin Fermat tena claro que en un punto
de mximo la

Veamos cmo proceda Fermat en su Mtodo para la evaluacin de
ximos y mnimos.

ierre de Fermat (1601-1665)

Me voy a basar en el trabajo del matemtico francs Hiriart-Urruty: Du
alcul differentiel au calcul variationnel: un apercu delevolution de P. Fermat a
os tours (Del clculo diferencial al clculo de variaciones: un resumen de la
volucin de Fermat a nuestros das). Hemos recibido el mismo por
orrespondencia del autor y no s si est publicado. El trabajo original de
ermat se titula Methodus ad disquirendam maximam et minimam.
ersin en lnea: http://fr.wikisource.org/wiki/%C5%92uvres_de_Fermat_-
Livre_I_-_Maxima_et_Minima). Conocido como Maxima et Minima escrito en
638 y enviado a Descartes por intermedio de Mersenne.
Por supuesto que Fermat no hablaba de funciones ni derivadas, todas
sas ideas son posteriores. Sin embargo el propio Newton en una carta
conoci que su clculo de la fluxin (derivada) fue inspirado en el mtodo de
s tangentes de Fermat. Voy a trabajar con un ejemplo especfico tratando en
posible de mantener el espritu del trabajo de Fermat.

Como ya dije Fermat estaba interesado en buscar el mximo o mnimo de
na curva, por ejemplo y=(x-1)
2
. Fermat llama a al punto buscado y lo primero
m
P
c
n
e
c
F
(V
_
1

e
re
la
lo

u

92

que considera es la expansin de (a-1)
2
=a
2
-2a+1. Ahora viene la idea
portante de considerar una pequea variacin en el punto a y considerar
+e. El valor de la curva en ese punto est dado por (a+e-1)
2
=a
2
-2a+1+2e(a-1)
ahora adiguala
k
las expresiones
a
2
-2a+1=a
2
-2a+1+2e(a-1)
De do ora divide por e, lo que indica que Fermat est
alculando la derivada e igualndola a 0. Obtiene entonces
nota presentada puede servir
e enlace a nuestra prxima Unidad sobre el clculo diferencial. Sin duda lo
echo por Fermat est muy prximo a lo que Newton y Leibniz van a
Lagrange consideraba a Fermat el creador del clculo diferencial e
tegral ya que adems de su mtodo de la tangente calcul el rea debajo de
ermat en
Toulouse dice: Pierre Fermat creador del clculo.

Estatua de Fermat en el Capitolio de Toulouse (Francia)
C
naltica.
im
a
y

nde 2e(a-1)=0, ah
c

a-1=0
de donde a=1.

Vamos a hacer unos comentarios finales. La
d
h
desarrollar.
In
la grfica de todas las potencias enteras dex . La estatua de F

Luego Fermat:

1. re con Pascal la teora de probabilidades.
2. Fue creador, junto a Descartes, de la geometra a

k
Adi alar lo toma Fermat de Diofanto y significa igualar cantidades muy pr gu ximas.

93

3. Es, sin duda, pionero del desarrollo del clculo.
blema ms famoso de la matemtica: El ltimo teorema
ambin encontr originales mtodos en teora de nmeros
dos.

Por favor vaya a http://en.wikipedia.org/wiki/Pierre_de_Fermat para una
es matemticos de E. T.
ell que est en http://www.geocities.com/grandesmatematicos/.

A

jercicio 1

o geometra analtica, que si en un cuadriltero
cualq ra o.

Ejercicio 2
Demuestre que una circunferencia de centro (a,b) y radio r tiene ecuacin:

4. Plante el pro
de Fermat. T
y nuevos resulta
biografa corta. Tambin puede ver el libro Los grand
B

ctividades y ejercicios matemticos

E

Demuestre, usand
uie unimos los cuatro puntos medios se forma un paralelogram

2 2 2
( ) ( ) x a y b r + =
Ejerc

jerc o 4

rico de los puntos que equidistan del punto
icio 3
Demuestre que si dos rectas se intersecan lo hacen en un solo punto.

E ici
De uestre que el lugar geo m mt
y de la recta y a = est dado por la ecuacin:

(0, ) a
2
4 x ay =
Ejercicio 5
Demuestre que la cantidad discriminante es una invariante de la forma
uadrtica: c
[ ]
2 2 2
( , )
2
b
a
x
f x y ax bxy cy x y
b y
c

= + + =

94

Sugerencia: antes de embarcarse en largos clculos piense un poco en tr-
inos de matrices y determinantes.
jercicio 6
Aplique el mtodo de Fermat para hallar mximos y mnimos al problema
de determinar de todos los rectngulos de un permetro dado el de mayor rea.

m

E

95

Autoevaluacin

icios matemticos relacionados con las tcnicas usadas por Descartes y
verifi del curso.
jercicios
.- Calcule el discriminante para deducir la naturaleza de la cnica:

1

.- Halle la frmula de la ecuacin de la recta que pasa por los puntos (a,b) y
(c,d).
.- Demuestre mediante un clculo que mediante una rotacin siempre se
puede eliminar el trmino xy en una forma cuadrtica
.- Demuestre la igualdad
c
Fermat. La segunda algunas preguntas muy sencillas de seleccin simple para
car su conocimiento del material

E

1
5
2 2
8 5 x xy y + + =
2

3
[ ]
2 2 2
( , )
2
b
a
x
f x y ax bxy cy x y
b y
c

= + + =

4

scoja la alternativa que ms se aproxime a responder la pregunta
- La descripcin ms adecuada de la geometra analtica es:
a) Anlisis de los mtodos geomtricos griegos realizado por Descartes
b) Fusin del lgebra y la geometra creando un lenguaje potente
c) Geometra de la elipse, la parbola y la circunferencia
d) Geometra no euclidiana basada en el anlisis

- Adems de matemtico Descartes era:
a) Filsofo
b) Fsico
c) Abogado
d) Mdico

E

1

2

96

3- El primer invariante matemtico descubierto fue:
a) La ecuacin de la recta
b) La ecuacin de la circunferencia
c) El concepto de excentricidad de Apolonio
d) El discriminante b
2
-4ac asociado a una forma cuadrtica

- Una ecuacin de primer grado Ax+By=C representa en el plano:
a) La solucin al problema griego de bisecar el ngulo
b) Una recta
c) La proporcionalidad establecida por el teorema de Thales
d) La ecuacin de un semiplano

- Descartes muere en Suecia a causa de:
a) Vejez
b) Envenenado en el palacio de la reina Cristina
c) Pulmona
d) Ahogado en un naufragio

- La clave de la geometra analtica es:
a) La introduccin de ejes de coordenadas
b) El mtodo deductivo
c) El anlisis matemtico
d) Las ideas que se derivan de Los elementos de Euclides

4

5

6

97

jercicios
.- Al calcular vemos que tenemos una elipse.
.- La pendiente viene dada por

E

2
4 5*5 16 25 9 0 = = = < 1

d b
m
c a
2 y por ende la recta debe ser la

forma:

( )
d b
y x b
c a
= +
. El parmetro b se calcula con cualquiera de los puntos. Si a=c

la pendiente no est definida pero la recta tiene una ecuacin muy sencilla que
dejamos al estudiante UNA.
- Basta ver que podemos encontrar un ngulo tal que: 3.
2 2
cos cos cos
2 2
b b
a sen sen c sen + +
El punto es
=0
que podemos usar identidades trigonomtricas bien conocidas
2
b
y factorizar en la expresin anterior para obtener:
cos2 2 ( ) 0 b sen c a + =

Dejamos al estudiante UNA completar el clculo.

.- Esto es una computacin directa basada en la multiplicacin de matrices.
No la vamos a realizar.
reguntas de Seleccin Simple

1- b) La geometra analtica une el l
sistemas de referencia.

2- a) Descartes fue un gran filsofo autor del Discurso del mtodo.

3- d) Tal como lo seala Berlinski e
descubierto.

4- a) La ecuacin de la recta. Esto aparece al principio de la lectura cuando
caracterizan la ecuacin de la rect

4

P
gebra y la geometra mediante el uso de
ste fue el primer invariante matemtico
a por medio de dos parmetros.

98

5- c) Ver el final de la lectura.

6- a) Los ejes coordenados permiten cuantificar, asociar nmeros y ecua-
ciones a los entes geomtricos.

99

MDULO III
El clculo diferencial y la Matemtica en la poca moderna

101


ESTRUCTURA DEL MDULO III
Mdulo III
El clculo diferencial y la Matemtica en la poca moderna.

Objetivo del Mdulo III
Describir la evolucin del clculo desde su nacimiento hasta su forma-
zacin y la influencia de este proceso en la matemtica del siglo XX.

Contenido del mdulo
I.6 El desarrollo del clculo diferencial e integral
Creacin del clculo en el trabajo de Newton y Leibnitz.
Vida y obra de Leibnitz
I.7 La aritmetizacin del anlisis
El siglo XIX: la formalizacin del anlisis.
La geometra no Eucldea.
I.8 La teora de conjuntos y la matemtica del siglo XX
El fin del siglo XIX: La obra de Cantor
El siglo XX: David Hilbert, sus 23 problemas y su programa logicista.
La crisis de los fundamentos de las matemticas: Russell y Godel.
El concepto de espacio abstracto y estructura
Las matemticas despus de la segunda guerra mundial: el grupo
Bourbaki y su influencia en la matemtica y educacin

li

II

II

II

103

Unidad 6
El desarrollo del clculo diferencial e integral

La naturaleza y sus leyes se escondan en la noche, Dios dijo,
Alexander Pope
Conocer el desarrollo del clculo diferencial e integral.

hgase Newton: y se hizo la luz.

Objetivo Unidad 6


2 semanas

105

INTRODUCCIN

El clculo diferencial e integral
desarrollo de la matemtica. Ideas como lmite, velocidad instantnea o el rea
de regiones irregulares se llevaron a una precisin que permiti contar con la
mate
mo ya estudiamos, es la geometra analtica el lenguaje apropiado
ara desarrollar el clculo. De hecho Fermat conoca cmo calcular mximos y
mnimos usando la geometra analtica. El clculo diferencial es fundamen-
talmente algortmico y en sus inicios fue mu a ebraico. La matemtica griega
fue esttica y geomtrica. Esto quizs haya frenado a matemticos como
rqumedes a avanzar hacia la senda prxima, a lo que ahora conocemos
omo clculo. Tambin debemos resaltar que los griegos fueron escrupulosos

Berlinski lleva al estudiante de la m is del clculo, tomando
como hilo conductor el trabajo de Leibniz. Aqu se aleja un poco del camino
trillado de vincular el clculo l trabajo de Newton en fsica. Examina
Berlinski con detenimiento el concepto de de recta tangente, rea y la vin-
culacin entre ambos: el teorema fundamental del clculo.

Berlinski examina el difcil concepto de lmite
represent un avance crucial en el

mtica que necesitaba la tcnica, la fsica y la inminente revolucin
industrial. Muchas de estas ideas venan de la matemtica griega pero los
griegos aferrados a lo geomtrico no disponan del lenguaje para desarrollar el
clculo. Co
p
y lg
A
c
en relacin al uso de lo infinitamente grande o pequeo evitando estas ideas
cuando les era posible.
ano en la gnes
origen del a
y se pasea por los
infinitesimales y la crtica que hizo B llos. Habla del trabajo de
formalizacin que inician Weierstrass y Cauchy. Esto prepara de manera
natural para parte de lo que veremos en la prxima lectura: el proceso de

vada y el teorema
ndamental del clculo. Tambin puede tomar un libro de Fsica
eneral (el de la UNA por ejemplo) y leer sobre los conceptos de
velocidad y aceleracin.

2. Ubquese en la Inglaterra y la Europa continental de la poca de Newton y
Leibniz.

erkeley de e
formalizacin del clculo.
Plan de instruccin

1. Repase lo que conoce de matemtica I, matemtica II y Clculo Integral.
En particular la idea de lmite, velocidad o deri
fu
G

107

3. Lea la lectura de Berlinski con cuidado y resuma la informacin revelante
en la lnea de tiempo.

4. Complemente su informacin con la lectura de una biografa de Newton
(el MacTutor de Historia de la matemtica es un buen lugar donde ir o
tambin la Wikipedia).

5. Recuerde ir al foro del rincn del asesor, en este caso planteamos otra
disputa de prioridad: Quin fue el primero en crear o descubrir el clculo?
Newton o Leibniz? Toma Berlinski partido por alguno de los dos? Vea el
video de RTVE en su serie Universo matemtico sobre estos genios y el
descubrimiento del clculo. A investigar y discutir!

6. Resuma todos sus hallazgos en la lnea de tiempo que est construyendo.

7. No olvide leer las notas matemticas complementarias que aparecen la
Gua Instruccional a la lectura de Berlinski.

8. Realice las actividades y ejercicios matemticos. Recuerde que ello es
fundamental para la evaluacin formativa.

. Hemos colocado un enlace al video sobre Leonard Euler, de quien se
conmemoran 300 aos de nacimiento.
realizar sus grandes descubrimientos en ambas reas. Hacia 1676 Leibniz
redescubre el clculo infinitesimal pero obligando a Newton
a revelar que ya l conoca el mismo. El terreno ya se encontraba abonado
an partido por

9

10. Ya Ud. est listo para la autoevaluacin! Demuestre lo que conoce

Rincn del asesor

Esto es una disputa vieja que de hecho nace con el tema mismo. Una
versin muy conocida de cmo se desarrollaron los hechos es la siguiente:
hacia 1666 ya Newton conoca lo que llamamos hoy clculo diferencial e
integral. Sin embargo, no quiso divulgar su mtodo. El mismo le proporcionaba
una ventaja grande sobre el resto de los matemticos y fsicos y lo us para
publica su trabajo,
para una pelea que hizo que los matemticos de entonces tomar
Newton o Leibniz. Qu cree Ud?

108

Notas matemticas complementarias de la lectura Clculo

I. Crtica del obispo Berkeley al uso de los infinitesimales

El obispo Berkeley (1685-1753) escribi una obra titulada El analista
dedicada a un infiel matemtico (Newton?, Halley?) que reflexionaba sobre
el uso de las cantidades infinitamente pequeas o evanescentes. Deca
Berkeley que su uso era arbitrario y careca de lgica porque en algn
momento eran no nulas y luego eran 0. Ilus on
ejemplo muy conocido. Veam ulamos, en una tpica clase de
emtica, la derivada o fluxin de x
2
. Planteamos el lmite

tremos lo afirmado por Berkeley c
os cmo calc un
at m

2 2
0
( )
lim
h
x h x
h
+

Usualmente advertimos a nuestros estudiantes que h es muy pequeo
pero no 0 y por ende tiene sentido el cociente, sigamos con el lgebra

2 2 2 2 2
0 0 0 0
( ) 2 ( 2 )
lim lim lim lim2 2
h h h h
x h x x h xh x h h x
x h x
h h h

+ + + +
= = = + =

Observe que en ltimo paso hemos hecho h igual a 0

Obispo George Berkeley

El clculo del lmite anterior recuerda los actos de magia: antes no eras 0
y ahora s. De aqu la crtica de Be keley. Notemos que Newton y Leibniz
conceban a estas can imales como menores que cualquier
nmero positivo pero mayores que 0. Tales cantidades no pueden satisfacer el
principio de continuidad de Arqumedes que nos viene desde Eudoxio: si a>0 y
b>a entonces sumando a suficientes veces con l mismo en algn momento se
va a tener: na b >

r
tidades infinites

109

La crtica de George Berkeley es de difcil refutacin: esencialmente tena
razn. Solamente, como veremos ms adelante, con Cauchy y Bolzano se
define de manera o
entrando en la forma c
tesimales, esas cantidades
ntasmales como las llam Berkeley,
del anlisis no estndar de Abraham Robinson. Robinson legitima el uso de los
infinitesimales por medio de la lgica amos al lector
interesado leer, en primera instancia, el libro Infinitesimal calculus de Henle y
Kleinberg como primera lectura de este novedoso enfoque.
rigur sa el concepto de lmite aritmetizando el mismo y
liza in del clculo.

Debemos sin embargo sealar que los infini
fa reapareceran en el siglo XX en la forma
matemtica. Recomend

Abraham Robinson
(1918-1974)

II. Enunciado de las leyes de la Fsica
La segunda ley de Newton nos indica que lo que produce un cambio en
a de movi-
iento se calcula mediante la expresin:
la c ntidad de movimiento de un cuerpo es la fuerza. La cantidad
m

p mv =

En la frmula anterior, p es la cantidad de movimiento, m es la masa
inercial del cuerpo y v es la velocidad del mismo. Newton se dio cuenta que el
concepto matemtico asociado al cambio era la derivada, luego la fuerza deba
satisfacer:

d
F mv
dt
=
=ma

donde a es la aceleracin. Hemos deducido a partir de sencillas definiciones
fsicas y las herramientas del clculo la conocida frmula F ma =

110

Definicin

matemtica
concepto
fsico

III. Una competencia que hizo poca

embargo, el libro fue publicado como escrito por el Marques de
LHo ue su regla
perm m

J ohann Bernoulli es famoso por diversos resultados matemticos y por
haber escrito el primer libro de clculo diferencial: Anlisis de lo infinitamente
pequeo. Sin
Uso
del
clculo
Leyes de Fsica
pital. LHopital es recordado por todos los estudiantes ya q
ite el clculo de uchos lmites de manera sencilla.

111

LHopital fue alumno privado de Bernoulli y le solicit que escribiese unas
notas El estudiante puede
imag s de LHopital public
el trabajo como suyo, ganando una reputacin como matemtico. Ahora el
estudiante sabe que la regla de LHopital es la regla de Bernoulli.

n 1696 J . Bernoulli ret a la comunidad matemtica internacional a
resol
para el curso y que no las mostrase a nadie.
inar el resto de la historia. El inescrupuloso Marque
E
ver el problema de la curva de descenso mnimo: dados dos puntos A y B
en el espacio encontrar la curva que los une tal que si soltamos una partcula
desde el punto de mayor altura y la partcula se desliza por la curva

la partcula llega en un tiempo mnimo al punto de menor altura.
a
e Bernoulli es
un arco de cicloide (http://es.wikipedia.org/wiki/Cicloide).

Contrario a lo que uno puede pensar la solucin al problema no es un
recta o un arco de parbola. La curva que resuelve el enigma d

Arco de cicloide

a cicloide se genera por el movimiento de un punto P, que est sobre
un c
u
oga ptico-mecnica. Invitamos al
lector interesado a leer el libro de Polya citado en la bibliografa para ahondar
en las ideas de Bernoulli.
L
rculo, cuando este rueda sin deslizar. La solucin del problema que
encontr Bernoulli es de na brillantez y belleza notable, se basa en el principio
de mnima accin de Fermat y de una anal

112

El problema inici una rama de las matemticas conocida como clculo
de variaciones. Varios matemticos resolvieron el problema y enviaron sus
soluciones con un pseudnimo. Se dice que al leer la de Newton, Bernoulli
excla
leonis)
. El teorema fundamental del clculo y las sumas telescpicas

Existen muchas maneras de demostrar el teorema fundamental, en esta
nota pretendemos dar un enfoque intuitivo del mismo. Sabemos que el teorema
fundamental del clculo dice que:

m: Es Newton! Le preguntaron, Cmo lo sabe? Y respondi,
porque conozco las garras del len (Ex ungue

IV
( ) ( ) ( )
b
a
f t dt f b f a =

Una manera de ver el resultado es pensar que lo que ocurre entre , a b

slo depende de lo que pasa en los extremos. Veamos una situacin similar.
Supongamos que queremos calcular
20
1
( 1) n n
1 n=
+
. Esto parece un ejercicio

tedioso hasta que observamos que
1 1 1
( 1) 1 n n n n
=
+ +

sumas telescpicas. Apliquemos la observacin hecha para el clculo de la
y aparece la magia de las
suma
20
1
1 1 1 1 1 1 1
(1 ) ( ) ( ) 1
( 1) 2 2 3 20 21 21
n
n n
=
= + + =
+
, el valor slo depende

del primero y ltimo trmino! Tales sumas ocurren con frecuencia en
matemtica y se denominan telescpicas. Tendr algo que ver el teorema
fundamental del clculo con las sumas telescpicas?

Recordamos que:
( ) (
( )
) f t h f t
f t
h
+
si es pequeo. Por otro lado la integral
a
h
( )
b
f t dt
se
uede a mas de Riemann p proximar mediante las su

1
1
( ) ( )( )
b
n
j j j
j
a
f t dt f t t t
+
=

pero

1
( ) ( )
( ) ( )
( ) ( ) ( )( ) ( )
b
n n
j j
j j j j j
a
f t h f t
f t h f t
1
1 1 j j
f t f t dt t t t t t
h
+
f
h
+
= =
+
+

113

Ahora vamos a tomar
1 j j
h t t
+
= y lo sustituimos en la ltima suma de la
expresin anterior para obtener

1
1
1 1
( ) ( )
) ( ) ( )
n n
j j
b
(
j j
j j
a
f t f t
f t dt h f t f t
h
+
+
= =
o
1
,
1 1
1
( ) ( ) ( ) ( )
n
j j n
j
f t f t f t f t
+ +
=
=
Pero la ltima suma es telescpica, lueg

y como los
j
t eran una particin del intervalo, el ltimo debe ser y el primero
. Haciendo arbitrariamente pequeo las aproximaciones anteriores se
conv

b
a h
ierten en igualdades luego
1
1
0
1 1
h
j j
( ) ( )
( ) lim ( ) ( ) ( ) ( )
n n
j j
j j
a
f t f t
b
f t dt h f t f t f b f a
+
+
=

emtica del siglo XVIII y su gran representante: Euler

La nota que presentamos es en honor de los 300 aos del nacimiento de
Leonard Euler (1707-1783) y pretende remediar una gran omisin en nuestro
mode
h
= =

= =

V. La mat
sto trabajo. Sin duda el siglo XVIII es un siglo excitante para la mate-
mtica en general y para el clculo diferencial en particular.

Leonard Euler

a un extraordinario matemtico que escribi ms que ningn otro y
r publicada (van ms de 70 volmenes
y se cree que llegarn a 200) a pesar de haber trabajado ciego en los ltimos
aos de su vida (desde 1766 en adelante). Naci en Basilea, Suiza pero vivi
Euler er
su obra completa no ha terminado de se

114

en R rte del siglo
XVIII mpetente le
ado a la mayor parte de la matemtica conocida
pos de trabajo como la Topologa (problema de
los 7 puentes de Knigsberg), Clculo de Variaciones (Ecuacin de Euler-
agrange), etc. Discuti sobre el concepto de funcin acercndose al concepto
r usamos . Tambin la notacin de
frmula considerada la ms
tica e :
usia la mayor parte de su vida, vida que cubre la mayor pa
. Su padre que adems de pastor era un matemtico co
ense matemtica. Discpulo de J ean Bernoulli (1667-1748) se vio involucrado
en las amargas disputas de esta familia de genios pero los super a todos.

Su trabajo estuvo relacion
de la poca y abri nuevos cam
L
mode no y creando la notacin que ( ) f x
sumatoria
nos viene del trabajo de Euler. La

bella frmula matem s de su creacin

1 0
i
e
+ =

Observe que en ella aparecen los 5 nmeros ms importantes de la
atemtica:
El numero
m
, viejo amigo en nuestro viaje desde Babilonia
El nmero base de los logaritmos neperianos que Euler defini
como la suma infinita
e
1
1
!
n
n

hind: el 0
El nmero imaginario , el salto a lo complejo
La gran invencin
i
La unidad 1 que genera todo lo dems

Voy a sealar cmo Euler descubri otra frmula notable. Varios matem-
ticos, entre ellos J ean Bernoulli, haban tratado de encontrar el valor exacto de
serie convergente: la

2 2
1
1
4 9
n
n n
=
1 1 1 1
= + + + + +

Euler parte de un hecho conocido desde la poca de MacLaurin (1696-
1746) y de Brook Taylor (1685-1731)
l

l
Lo que conocemos como series de Taylor aparentemente son invencin de MacLaurin y recprocamente.

115

Taylor
imos:

MacLaurin

Usando las series de estos caballeros, escrib
2 4
1
sen x x x
6 120 x
= + + +
ler. Tambin Euler, como cual-
quier
deter n
olin

Este resultado era bien conocido por Eu
estudiante de bachillerato, conoca que las races de un polinomio
minan los coeficientes y su factorizacin. Por ejemplo, si tenemos u
omio mnico ( ) p x de segundo grado de races , ento p nces:

2
( ) ( )( ) ( ) p x x x x x = = + +

rior. Esto puede ser generalizado a polinomios de grado supe

Ahora Euler vuela alto. Plantea la ecuacin
2 4
1
x x
= + + +
6 120 x
alvo 0 x = , sabemos que el seno se anula en , 2 , , x k
sen x

=0 que tiene como soluciones los ceros del seno
s , = y piensa
que l
2 4
1
sen x
=
a expresin
6 120
x x
+ + +
puede ser vista como un
polinomio de grado infinito! del cual conocemos sus races, Euler se atreve a
n:
x
escribir la factorizaci

2 4
sen x x
1
x
x
= + + +
=(1 )(1 )(1 )(1 ) (1 )(1 )
2 2
x x x x x x
k k 6 120
+ + +

116

2 2
( )( ) a b a b a b + = Recordando la identidad obtenemos

( ) ( )
2 2 2
2 2 2
)(1 )(1 )(1 ) (1 )(1 ) (1 )(1 ) (1 )
2 2
2
x x x x x x x x x
k k
k

+ + + =

Si suponemos que esto es correcto, tendramos

(1

( ) ( )
2 4 2 2 2
2 2 2
1 (1 )(1 ) (1 )
6 120
2
x x x x x
k

+ =

Supongamos que expandimos el producto infinito del lado derecho y
emos el coeficiente de
2
x v obtendramos

2 2 2 2
1 1 1
( )
4 k
+ + + +

Pero si dos polinomios son iguales, contina Euler hilando fino, sus
oeficientes deben ser iguales entre si, luego

c
2 2 2 2
1 1
4 6 k

+ + + = de don
1 1
( )
+ de

2 2
1
1 1 1 1
1
4 9
n
n n
=
= + + + + +

2
6
=

Un descubrimiento notable.

Debo alertar al lector que en muchos libros presentan a Euler como una
doso en relacin a
convergencia de las series y sucesiones. Esto dista mucho de la realidad. En
a frmula:

especie de algebrista y algortmico irresponsable, poco cuida
la
el argumento que mostramos para descubrir la notable y hermos
2
1
1
n
= +
2
1
1 1 1
4 9
n
n
=
+ + + + =
2
6

De h pasaba
cuando realizaba clc

Euler estaba consciente que haba realizado varias peligrosas analogas.
echo tard 10 aos en probar rigurosamente el mismo. Lo mismo
ulos de series divergentes como

117

1
1 2! 3! ( 1) !
n
n
+
+ + + . Euler saba muy bien que la serie es divergente
and his work on infinite series de
d
ctividad 1
Construya una definicin de funcin continua en un punto usando
finitesimales. La idea es que si es continua en
y que lo que hace, al calcularla, es introducir un mtodo de sumacin. Reco-
mendamos al lector el artculo Euler
Vara arajan en el Bulletin de la AMS de octubre de 2007 para profundizar en
estas ideas. Vaya al Moodle del curso y disfrute del video de Euler.

Actividades y ejercicios

A

f x a = y in es un
finitesimal Qu debera ser ? in ( ) ( ) f a f a +

Ejercicio 2

se
puede satis

Sugerencia: razone por reduccin al absu
jercicio 3
Demuestre que un infinitesimal dx verifica que dx
2
<dx

Ejercic

Demuestre que usando el principio de continuidad se puede probar que
jercic
Demuestre que en los reales adjuntndoles los infinitesimales no
facer el principio de Arqumedes.
rdo

E

io 4
entre dos nmeros positivos siempre existe un racional.

E io 5

118

Supongamos que en t=0 el punto P est en el origen de coordenadas y
ue el radio del crculo es 1. Halle la ecuacin de la cicloide.
ugerencia:
Parametrice la trayectoria dividiendo el movimiento en x y en y. Observe
u ocurre con el ngulo que forma P con el centro del crculo a medida que
ste avanza.

jercicio 6
Calcule la longitud del arco que genera P hasta su primer rebote en el eje
(B en el dibujo de arriba)
jercicio 7
Calcule el rea bajo la cicloide que genera P hasta su primer rebote en el
je x (regin verde en el dibujo de arriba).
ctividad 8
A lo Euler pretendemos justificar el resultado de Leibniz
q
S

q
e
E

x

E

e

A
1
1 1 1
2
+ = .
bviamente la suma infinita es divergente, pero vamos a justificar el resultado
tuitivo de Leibniz. Observe que las sumas parciales de
O
in 1 1 1 + toman dos
alores: 0 y 1. As que Leibniz le asocia a la suma infinita el punto medio o
romedio entre ellos. Cambiemos la serie por:

) si
v
p
2
1 1 1 x x +

1 x = a obtenemos la serie numrica.
) Demuestre que si
1 x <
entonces
2
1
1 1 1
1
x x
x
+ =
+
b
) Demuestre que
1
1 1
lim
1 2
x
x
=
+
c . Esto justifica el resultado de Leibniz.

119

Autoevaluacin
El test consta de dos partes. La primera parte consiste en algunos
jercicios matemticos relacionados con las tcnicas usadas por los babilonios
egipcios. La segunda algunas preguntas muy sencillas de seleccin simple
jercicios
- Use las tcnicas de Euler y el teorema fundamental del clculo para que
partir de:

e
y
p

E

1
a
2
1
1 1 1
1
x x
x
+ =
+
obtener
1 1
ln2 1
2 3
= + +

- Demuestre que entre dos racionales siempre hay un racional.
3- Use el teorema fundamen trar que el rea de un
crculo de radio 1 es
2

tal del clculo para demos
.


Trate de responder con la alternativa que considere ms prxima a la
respuesta de la pregunta.

1.- Empezaron a usar los infinitesimales para hallar el rea bajo una curva y
a tangente a una curva en un punto: la rect

a) Eudoxio y Arqumedes
b) Newton y Leibnitz
c) El obispo Berkeley y Robinson
d) Los algebristas italianos del renacimiento

2.- El teorema fundamental del clculo relaciona:

a) El concepto de derivada e integral como operaciones inversas una de
la otra
b) La integral como rea bajo una curva
c) La integral y el volumen de la esfera como lo estableci Arqumedes
d) Las sumas de Riemann y la particin de un intervalo

120

3.- La posicin de Berlinski sobre la creacin del clculo diferencial e Integral
es:

a) Indiscutiblemente producto del gran genio de Newton
Abraham Robinson
idea que viene de los babilonios y egipcios

b) Leibniz se adelant a Newton un par de aos
c) Fermat y Descartes son los verdaderos creadores del clculo
d) Newton y Leibnitz lo descubren independientemente

4.- Critic el concepto de infinitesimal en el naciente clculo:

a) El obispo Berkeley
b) Arqumedes
c)
d) Halley

5.- De acuerdo a Berlinski la definicin de lmite es:

a) un concepto sencillo y natural
b) Difcil de manejar por la presencia de varios cuantificadores y nmeros
simultneamente
c) Equivalente al uso de los infinitesimales
d) una

121


- Como 1=

Ejercicios
1
2 1
(1 )(1 ( 1) ) ( 1)
n n n n
x x x x x
+
+ + + + entonces:
1
2
( 1)
(1 ( 1) )
(1 )
n n
n n
1
(1 )
x
x x x
x x
+
+ + + , si =
+ +
1 x < el ltimo trmino va a 0 si n,
de donde:
1
1
2
1
(1
n n
dx
+
0 0
(1 ( 1) )
)
x x x dx
x
= + + + +
y
1
0
1 1
) ln2 1
2 3
x = = + + ln(1+
2-
-

1.-
.- d) Es claro a partir de la lectura que Berlinski admira a Newton y Leibnitz
por igual y los considera como codescubridores del clculo.
.- a) Aparece tanto en la lectura como en las notas complementarias.
.- b) Un concepto muy difcil de aprehender, el estudiante UNA tendr que
reflexionar y madurar esta idea.

Tome el punto medio entre ellos, y esto es un racional.

3 Recuerde lo que aprendi en su curso de Clculo Integral


b) El uso de los infinitesimales arranca con los creadores del clculo,
Newton y Leibniz, aunque antecedentes de los mismos se pueden
encontrar en la obra de Cavalieri y en la matemtica del barroco.

2.- a) La importancia del teorema fundamental del clculo es relacionar los
conceptos de derivada e integral.

3

4

5

122

Unidad 7

El siglo XIX: La aritmetizacin del anlisis y las geometras no eucldeas

Hilbert es el campen de la axiomtica
H. Weyl
Objetivo Unidad 7

Conocer el proceso de formalizacin en el clculo diferencial y la crea-
cin de la geometra no eucldea.

2 semanas

123

INTRODUCCIN

La matemtica del siglo XIX es una matemtica impresionante: la for-
maliz
a
compuesta por inmortales de la
matemtica: Gauss, Riemann, Galois, Weierstrass, Kummer, Dedekind, Cantor
y Cauchy entre otros. No he incluido a Hilbert ni a Poincare por considerarlos
matemticos que cabalgan entre los siglos XIX y XX.

De nuevo Rey Pastor y Babini nos indican los hitos importantes en el
emtica del siglo XIX. Lo primero que examinan es el
la geometra no eucldea, un hecho que tiene importancia
er intentos de gemetras como Lambert y
ioma de las paralelas del resto de los
stu
que lo nico que importaba
u que matemticos como
auss estaban convencidos de que eran las mediciones astronmicas las
tra. Es sin duda una onsi-
abstracto se terminar
poniendo con el resultado sorprendente que las matemticas sern cada vez

atemticos como Gauss, Lobachebsky, Boliay y Riemann y su aporte al

Posteriormente Rey Pastor y Babini en el proceso que se conoce como la
ritmetizacin del anlisis, analizan brevemente a Bolzano cuyo importantsimo
traba
rdan con xito la nocin de continuidad y la
ergencia de series numricas. Recordemos que Abel trat de expurgar a la
mate que consideraba sin sentido.
ambin el proceso de integracin es analizado por Cauchy quien, sin embar-
go, tiene en su trabajo algunas importantes omisiones.

El proceso de construccin de los nmeros reales es llevado a cabo por
varios matemticos: Weierstrass, Cantor (completacin mediante sucesiones
de Cauchy) y Dedekind. La construccin de Dedekind ser examinada en las
notas matemticas complementarias a la lectura. Sin duda, la construccin de
los nmeros reales era la base que necesitaba el proceso de formalizacin del
aritmetizacin del anlisis descansa
acin del anlisis matemtico, la teora de funciones de variable compleja,
la aparicin de las geometras no eucldeas, el nacimiento de la teora de
onjuntos y el lgebra moderna bastaran para sustentar mi afir-macin. La list c
de los matemticos de esa centuria est
desarrollo de la mat
nacimiento de
div sa. Por un lado se cerraban los
Sachieri que intentaron derivar el ax
po lados de Euclides. Pero ms importante que sto es que se percibi que
los axiomas tenan cierto grado de arbitrariedad y
es que no fuesen contradictorios entre s. Esto liberaba a la matemtica de
manera violenta de cualquier atadura con lo real, a n
G
que determinaran la verdad de una u otra geome c
deracin transitoria y el punto de vista axiomtico-
im
ms relevantes para las aplicaciones a la mayor parte de los campos. Los
m
nuevo campo de la geometra no eucldea son examinados.
a
jo no es bien conocido y por supuesto la obra de Cauchy, Abel y
Weierstrass. Estos matemticos abo
conv
mtica de las series divergentes, a las
T
clculo, ya que de una u otra manera la

125

en e e esarrollara
despus desde un punto de vista ms abstracto y general.

t lo que
enlaz XX, que
enco
estud
plosin matemtica del siglo XX.
e
.
4. le cin de las
naciones en Europa, guerras entre ellas, etc.

5.
Cules matemticos trabajaron en el desarrollo de las nuevas
etras y en qu orden cronolgico?
clculo de Newton y Leibniz?
Cules matemticos trabajaron en el desarrollo de la formalizacin
del anlisis?
l conjunto de los nmeros reales, prototipo de todo lo que s d

Al final, los autores examinan el trabajo de Poincare y Hilber
a esta lectura con nuestro trabajo sobre la matemtica en el siglo
ntrar en el ltimo captulo de la gua instruccional. Pasemos ahora al
io de este siglo de guerras y avances importantes, un siglo que prepara la
ex

Plan d instruccin Objetivo 7

1. Repase el concepto de lmite y de nmero real de su curso de Matemtica
I, observe que las definiciones apelan a nociones intuitivas como cercano,
aproximndose, etc.

2. Lea en el libro de Daro Duran La geometra euclidiana la importancia del
axioma de las paralelas y de los intentos fallidos en demostrarlo.

3 Vuelva a la lectura de Berlinsky sobre el clculo (Unidad 6) y el concepto
de lmite, as como a la crtica del obispo Berkeley sobre el uso de los
infinitesimales.

Ubquese como siempre en el siglo XIX, a sobre la situa
Lea la lectura de Rey Pastor y Babini sobre la matemtica en el siglo XIX.

6. Resuma los hechos ms importantes en la lnea de tiempo que est
construyendo:

geom

Cul es la direccin que seala Riemann para el trabajo geomtrico?

Estaba Gauss al tanto de los nuevos desarrollos en geometra?

Qu problemas tena el

126

Quines contribuyeron a aclarar el concepto de nmero irracional?
el e d lmite?
7. notas matemticas co plementarias encontrar una descripcin de
taduras de Dedekind estudie cuidadosamente su construccin.
Tambin hablaremos del disco de Poincare y del modelo de Klein-Beltrami
no eucldea hiperblica y en una breve nota, en
definicin de continuidad.

En las m
las cor ,
en relacin a la geometra
honor a Bolzano, se presenta su

8. Es hora de demostrar sus conocimientos, resuelva la autoevaluacin
sabemos que Ud. lo va a hacer muy bien.

127

Notas matemticas complementarias de la lectura de la matemtica

I. Las cortaduras de Dedekind

onal. Definir cuidadosamente los nmeros reales era el problema a
resolver para que el anlisis matemtico tuviese una fundamentacin irre-
prochable. Dedekind logr este objetivo mediante la construccin de los reales
empleando el concepto de cortaduras. Sin embargo, su exposicin ha sido
desplazada por la presentacin del conjunto de los nmeros reales a travs del
enfoque axiomtico encontrndose en pocos lugares. En estas notas queremos
mostrarle al estudiante uno de los hitos
tico.
cionales es un cuerpo ordenado
(vea las definiciones en el texto de lgebra I de la UNA o un poco ms abajo).
La id
racionales a la derecha. Por
supuesto que se deben evitar referencias cclicas y no definir algo a partir de lo
que

en el siglo XIX

Desde Eudoxio los matemticos han tratado de resolver el problema de
los inconmensurables o irracionales. Como ya el estudiante conoce, los
pitagricos descubrieron que existen longitudes que no corresponden a ningn
nmero raci
en el desarrollo del anlisis matem-

Recordemos que el conjunto de los ra
ea de Dedekind es brillante y simple, se trata de construir cada real como
un punto de la recta que separa en dos clases A y B los racionales, siendo A
los racionales a la izquierda del punto y B los
pretendemos determinar. Dedekind logra esto de manera clara. Cualquier
definicin aceptable en matemticas tiene que basarse en cosas anterio-
res que estn claramente definidas.

Punto r de la recta que determina una cor dura ta
Antes de dar la definicin veamos el siguiente par de ejemplos. En lo que
sigue p,q son en q no nulo. Consideremos los dos conjuntos:

teros, siendo
2
2
tales que 0 y 2
tales que 0 o 2
p p p
B
q q q
p p p
A

= > >
q q q

= < <

129

Observamos:

1. Los racionales se escriben como A B

2. Las clases de racionales A y B son disjuntas, A B =

3. La clase B no est acotada superiormente y si y
p r p r
B B
q s q s
>

. La clase A no est acotada inferiormente y si y
p r p
4
r
A A
q s q s
<
5. La clase A no tiene mayor elemento y la clase B no tiene menor elemento

La idea intuitiva es que el irracional

6. Todo elemento de la clase B es mayor que cualquier elemento de la clase
A

2 queda determinado por la
cortadura (A,B) antes definida.

Supongamos ahora que tomamos ahora:

1
tales que
2
1
tales que
2
p p
C
q q
p p
D
q q

= <

=

Tenemos:

1. Los racionales se particionan en las clases C,D esto es:
= , C D C D =
2. La clase D no est acotada superiormente y si y
p r p r
D D
q s q s
>
3. La clase C no est acotada inferiormente y no tiene un mayor
y
p r p r
C C elemento, adems si
q s q s
<
4. Todo elemento de la clase D es mayor que cualquier elemento de la
clase C

130

Es decir, se cumplen las mismas propiedades que en el ejemplo anterior
con una sutil diferencia: la clase D contiene un menor elemento, en este
caso
1
. Luego el p
2
unto que determina la cortadura es un racional, a diferencia
que e
e Dedekind.

Estamos listos para la definicin estrella de esta seccin, pero antes una
recapitulacin corta de algunas propiedades de

Consideramos el conjun
n el ejemplo anterior que era un irracional. Este es el punto bsico de las
cortaduras. Los irracionales caracterizan una cortadura donde las clases A
y B no tienen un mayor elemento(A) y la otra no tiene un menor elemento
(B). Mientras que para un racional una de las clases siempre tiene un
mayor elemento (la clase A) o un menor elemento (la clase B). No puedo
enfatizar la brillantez de la idea d

to de los racionales con el orden:
0
p r r p
q s s q
< < .
cir es un
rpo. Una propiedad bsica de los racionales es su densidad: entre dos
racio
Una cortadura (A, B) en el conjunto de los racionales es un par de
subconjuntos A, B de que verifican:
1.

2.

3. Si

Sabemos adems que es un grupo abeliano respecto a la suma y que
si sacamos el 0 es un grupo abeliano para la multiplicacin, es de
cue
nales siempre se puede insertar otro racional.

Definicin:

=A B
A B =
y es cualquier elemento de
p r p
A B
q s q

r
s
<

4. El conjunto A no est acotado inferiormente y es un ideal en el sentido
que si y
p r p r
A A
q s q s
<

131

5. El conjunto B no est acotado superiormente y es un ideal en el sentido
que si y
p r p r
B B >
q s q s
Observaciones a la definicin:

Las propieda
manera sigui

La propiedad
izquierda de

No excluimos
pleto significa sin huecos lo que correspondera a la idea intuitiva de
parcialmente
rd nado por si la relacin

des 1 y 2 de la cortadura usualmente se resumen de la
ente: los conjuntos A,B particionan a .
3 indica que todos los elementos de la clase A estn a la
los elementos de la clase B.
la posibilidad que el conjunto B tenga un menor elemento o
que A tenga un mayor elemento si lo tiene debe ser u racional que
caracteriza la cortadura (ver el ejemplo anterior) Si la clase B no tiene un
menor elemento y la clase A no tiene un mayor la cortadura est
definiendo un nmero irracional.

Cmo operamos con estas nuevas entidades llamadas cortaduras?
Cmo las sumamos? Cmo las ordenamos? Es un conjunto completo?
Aqu com
que la recta real es continua.

Vamos a ir respondiendo a estas preguntas de manera pausada pero le
debemos decir al estudiante UNA que las respuestas son sencillas y se basan
casi en la intuicin geomtrica que genera el concepto de cortadura. Invitamos
al estudiante UNA a reflexionar sobre las preguntas anteriores antes de conti-
nuar leyendo.

Recordamos al estudiante UNA que un conjunto A est
o e es transitiva, esto es si
y a b b c a c donde , , a b c A. Un orden s
das las cortaduras mediante la relacin:
e puede definir en el conjunto
de to

( , ) ( , ) A B C D A C

En cualquier conjunto parcialmente ordenado se puede definir la nocin
de conjunto acotado superiormente: decimos que A est acotado superior-
M tal que
para todo x b x A
. mente si existe un b Un conjunto acotado
superiormente tiene un supremo s y slo si existe una cota superior mnima.
Un conjunto parcialmente ordenado es completo s y slo si todo conjunto
acotado superiormente tiene supremo. El siguiente resultado es fundamental.

132

Teorema: El conjunto de todas las cortaduras (A, B) es completo.

Demostracin:

( , ) A B I

una familia de cortaduras acotada superiormente por la Sea
cortadura ( , ) M N A M
para todo . Verifiquemos que:

( , ) A B = (
I
A
, )
c
I
A

es una cortadura y ella es el candidato natural a ser el supremo de la familia
( , ) A B I

.

En primer lugar tenemos:

1.
c
I I
A A

=

2.

de forma directa por la

=
definicin de complemento de un conjunto.

Verifiquemos ahora la propiedad 3:

si
c
I I
A A

p r p r
A B
q s q s
< .Tomemos
p r
A B
q s
, como donde
p
A A A I

I
q
, al
tener que entonces
I
r r p r
A A
s s q s

<

ya que
( )
( , )
c
A A

es una
cortadura.

Tenemos que verificar la propiedad 4 de la cortadura, esto es el conjunto
c
A no est acotado inferiormente y es un ideal en el sentido que si
y
p r p r
A A
q s q s
< . Como A A
I
y cada A es no acotado
I
A A
no puede estar acotado inferiormente. inferiormente el conjunto

133

Por otro lado si y y
I
p r p p p r p
A A A
q s q q q s q

< <
pero A
es
una cortadura de donde
r
A
s

. Las otras 2 partes que restan son ejercicios y
ctividades para el estudiante UNA. Esto termina nuestra demostracin.

V as. Por ejemplo examinemos
cmo se suman las cortaduras
a
eamos un poco el lgebra de las cortadur
( , ),( , ) A B C D parece natural definir esta
operacin como:
( , ) ( , ) ( , ) A B C D A C B D + = + +
Pero vamos a tomar un atajo. Una simplificacin en el concepto de
elem tal que en la cortadura (A,
cortadura es posible mediante la observacin en

) la clase A determina a la clase B y recprocamente. Es decir podemos B
considerar a una cortadura como el conjunto A que verifica las propiedades
siguientes:

, A A
, A
y b <a entonces
A no tiene mayor elemento.
racionales quedan caracterizados por la siguiente propiedad de la
cor

As los
tadura supA y los irracionales por las cortaduras que no tienen
sup m re o en
.

Luego la suma de cortaduras A y B se puede definir como la suma de
onjuntos c A y B . El estudiante UNA debe observar que entendemos por la
uma de los conjuntos A y B al conjunto A+B ={ , , z x y x A y B = + }
m
.
i a, si esta operacin es conmutativa etc.

Finalmente la definicin de los nmeros reales.
El conjunto de todas las cortaduras A con el orden y operaciones antes
efinidas constituyen el cuerpo de los nmeros reales .
s informacin en: http://es.wikipedia.org/wiki/Cortaduras_de_Dedekind

s

El estudiante UNA va demostrar que esto es una cortadura, tambin invi-
tamos al estudiante UNA a pensar cul es el elemento neutro para la suma
antes defind

Definicin:

d
M

m
Tambin se llama suma de Minkowski de dos conjuntos.

134

R. Dedekind
Nace en Braunschweig (Brunswick en castellano), Alemania el
6 de octubre de 1831. Uno de los ms destacados matem-
ticos del siglo XIX. Es junto con Cantor uno de los creadores
del concepto de infinito actual en matemtica. Su trabajo en la
fundamentacin del anlisis es muy importante construyendo
de manera slida el continuo de los nmeros reales mediante
el expediente de las cortaduras. Destac tambin su trabajo en
el campo del lgebra y los nmeros algebraicos introduciendo
l concepto de ideal e ideal principal, fundamentales para desarrollar una teora
e factorizacin en los anillos. Tambin divulga y esclarece la Teora de Galois
ara los matemticos alemanes. Fue un matemtico solitario, que nunca se
as y vivi siempre con su familia.
uere en 1916 en la ciudad que lo vio nacer.
ara mas informacin:
http://www-gap.dcs.st-and.ac.uk/~history/Biographies/Dedekind.html
http://es.wikipedia.org/wiki/J ulius_Wilhelm_Richard_Dedekind
. El disco de Poincare

Los matemticos tardaron en entender el significado de la aparicin de las
eometras no eucldeas. Lo primero era entender que no haba una geometra
erdadera y que exista cierto grado de arbitrariedad al escoger los axiomas de
una teo

e
d
p
c
M
P

II
g
v
ra matemtica.

Mosaicos de Escher en el disco de Poincare
n
.

mosaico del dibujo tiene el mismo tamao.
n
Cada

135

Era mucho ms importante que de un sistema axiomtico no se derivaran
tradicciones, es decir que el sistema fuese consistente. Tambin se reque-
que los axiomas f
con
ra ueran independientes: un axioma no debera ser conse-
uencia de los otros.
los matemticos establecieron
ruebas de consistencia relativas: si la geometra euclidea era consistente tam-
in lo era la geometra no euclidea. Para lograr esto construan un modelo
sentaban la geometra no eucldea. Si esta
ora tena contradicciones, stas se reflejaran en la geometra eucldea a
Una de las posibles negaciones del axioma de las paralelas es que dada
una recta L y un punto fuera de ella es que existen infinitas rectas paralelas a L.
Klein y Beltrami construyen un modelo de esa geometra que usa el interior de
un crculo como plano y las cuerdas como las lneas del plano. Observe
que lo no estn en el plano. Dos rectas (cuerdas) se deno-
inan paralelas si no se cortan.

c

En el caso de las geometras no eucldeas
p
b
eucldeo de los objetos que repre
te
travs del modelo.

los puntos del crcu
m

Modelo de Klein-Beltrami
, Observe que por
p son paralelas) a la cuerda a. As si se
pre lica, ella se traducira en
una contradiccin en la geometra eucldea del interior del crculo.

As las lneas a y b del dibujo arriba son rectas paralelas
D asan infinitas cuerdas que no cortan (
sentase una contradiccin en la geometra hiperb

136

El modelo del disco de Poincare es similar al de Klein-Beltrami y se basa
n la introduccin de una distancia que aleja los puntos a medida que se
son dimetros o crculos
togonales al crculo unidad.

e
acercan al borde del crculo. Las rectas en este caso
or

Disco de Poincare
Vemos que los arcos son rectas en este modelo de la geometra
iperblica y por ejemplo las rectas son paralelas entre s ya que no se
ortan.
Matemtico francs nacido el 29 de abril de 1854. Se le
considera junto a David Hilbert como los ltimos matem-
abarca tem u
ortante es Ciencia e Hiptesis y fue uno de los
pioneros en el estudio de la relatividad. Su trabajo incluye
tes en el campo de la mecnica celeste
donde abord el problema de los tres cuerpos desde un
hsianas, vinculando las ecuaciones diferenciales
neales, la geometra hiperblica y la teora de invariantes. Enunci el
Los matemticos se quejaban del estilo intuitivo de sus demostraciones,
mitiendo los clculos tediosos. Poincare en su libro El valor de la ciencia

, , , r n l m
, l m
h
c

H. Poincare
ticos que ron el conocimiento ma tico de s
poca. Fue adems un importante filsofo de la ciencia cuyo
libro ms imp
importantes apor
enfoque novedoso, analizndolo desde un punto de vista cualitativo. Estudi el
grupo de transformaciones fuc
li
problema conocido como la Conjetura de Poincare recientemente resuelto por
Perelman, que propuls el desarrollo de la topologa algebraica. Asoci a un
espacio topo-lgico su grupo fundamental para estudiar las propiedades del
mismo.

o

137

cataloga a los matemticos como gemetras y analistas; los primeros eran
tuitivos y visualizaban en el espacio los resultados. Los segundos eran
de s
mani siderar a Poincare como uno
de los precursores del intuicionismo. Muere en Pars en 1912.

f (x+ iempre que
de co
continua en
in
formales y rigurosos. Poincare sin duda fue un matemtico gemetra. Al final
u vida fij posicin en relacin a la naciente teora de conjuntos,
festndose en contra de ella pudindose con

III. El concepto de continuidad segn Bolzano

El concepto de continuidad de Bolzano, enunciado en 1818, es:
Una funcin f (x) vara de acuerdo a una ley de continuidad para todos los
valores de x entre ciertas cotas si cuando tomamos uno de estos x la diferencia
a)-f (x) se puede hacer ms pequea que cualquier cantidad s
podamos tomar a tan pequeo como queramos

Por supuesto que el estudiante puede ver en el mismo el concepto usual
ntinuidad definido por Cauchy con su epsilon y delta: decimos que f es
0
x s y slo si dado cualquier 0 > existe un 0 > tal que si
0 0
( ) ( ) w f x w f x < + < . De hecho la definicin de Bolzano es preferible
y formal definicin de Cauchy. Le recordamos
l estudiante que el difcil concepto de continuidad invariablemente asociado al
e lmite nos viene desde los griegos y que tard ms de 2000 aos en ser
nunciado de la forma que conocemos.

Bolzano pudo demostrar que una funcin que verifica una ley de con-
nuidad y que cambia de signo se debe anular en algn punto. Es lo que
onocemos como el Teorema del valor medio de Bolzano, resultado importante
esde el punto de vista terico y que se aplica para ubicar races de
cuaciones generando el mtodo de biseccin.
Bolzano es un matemtico de alguna forma olvidado pero lo conside-
mos uno de los matemticos ms innovadores del siglo XIX.

Bolzano
Matemtico checo, aunque en ese momento lo que se
conoce como Checoslovaquia est bajo el dominio del
imperio Austro-Habsburgo. Su padre era de origen Italia-
no. Nace en Praga en el ao de 1781 y fue un clrigo
muy dedicado aunque racionalista en su aproximacin a
la religin. Hacia 1800 estudia matemtica pero pronto
cambia hacia el estudio de teologa y filosofa. Nunca
ya que es ms intuitiva que la mu
a
d
e

ti
c
d
e

ra

138

abandona completamente el estudio de la matemtica. Se presenta a concurso
or las ctedras de Filosofa de la Religin y Matemtica en la Universidad
harles. Gana ambos concursos pero las auto-ridades prefieren que dicte
ilosofa. La compleja situacin poltica y su visin de lo religioso afectan a
olzano quien pierde su ctedra y es puesto bajo arresto domiciliario. Nada de
que escribe puede ser publicado lo que afecta la divulgacin de su
portante obra. Su trabajo matemtico es descubierto despus de su
llecimiento.

Su obra matemtica es importante definiendo de manera moderna el
oncepto de continuidad. Tambin demuestra la existencia de una biyeccin
ntre los intervalos [1,3] y [1,2], sealando que no es posible establecer una
iyeccin entre el conjunto de los nmeros naturales y cualquiera de estos
tervalos, por lo que se le puede considerar como el precursor directo de la
ora de conjuntos. Establece el importante Teorema del valor medio y el
rincipio de acumulacin de una infinidad de puntos que conocemos como
eorema de Bolzano-Weierstrass.

Muere en Praga en 1848. Sus obras se empiezan a publicar en 1862,
uince aos despus de su muerte. Entre ellas destaca su trabajo titulado
aradojas del infinito.

Actividades y eje
jercicio 1. Demostrar que en el conjunto de todas las cortaduras la relacin:
p
C
F
B
lo
im
fa
c
e
b
in
te
p
T
q
P

rcicios matemticos

E
( , ) ( , ) A B C D A C
es una

Ejercic
relacin de orden.
io 2. Si ( , ) A B es una cortadura entonces
c
B A =

jercic 3. Complete la demostracin del teorema de completitud de las
ortaduras de Dedekind.
jercic e cortaduras est bien definida, es decir
E io
c

E
que
io 4. Demuestre que la suma d
B + es una cortadura si , A B A son cortaduras.
jercicio 5. Enuncie y demuestre las propiedades bsicas de la suma de
ortaduras:
La propiedad conmutativa
La propiedad asociativa

E
c

139

Actividad 1. Discuta y construya la multiplicacin de cortaduras.
ugerencia: considere diversos casos.
jercicio 6. Cmo define una cortadura positiva? Cmo define una cortadu-
negativa?
jercicio 7. Sea 0 la cortadura
S

E
ra
0
p
q

<

. Demuestre que 0+A A = E para cual-
uier cortadura
ctividad 2. Utilizando cuidadosamente el concepto de nmero real y la
efinicin de Bolzano, demuestre el Teorema del valor medio.
. A q

A
d

140

Autoevaluacin
icios matemticos relacionados con la fundamentacin del anlisis y los temas
atados en la lectura y las notas matemticas. La segunda consiste en algunas
reguntas muy sencillas de seleccin simple para verificar su conocimiento del
aterial del curso.
jercicios
.- Demuestre usando la definicin de Bolzano que si una funcin es
continua en y , entonces existe un intervalo )

c
tr
p
m

E

1 : f
a ( ) 0 f a > ( , a a + tal que
0 ( , ) ( ) x a a f x + >

2.- Construya la definicin de la cortadura - A(opuesta de A) y demuestre que
.- Demuestre que en el modelo de Klein-Beltrami dos puntos cualesquiera
determinan unvocamente una recta en el plano hiperblico (interior del
crculo)
.- Demuestre usando cortaduras de Dedekind que la suma de un racional y un
ir

2.- A inc

a ue
) sta
( ) 0 A A + =

3

4
racional es, necesariamente, un irracional.


1.- De acuerdo a lo discutido en la lectura la historia de la matemtica ms
detallada y extensa escrita es:

a) La de Ptolomeo de Alejandra
b) La de Euclides
c) La de Hofmann
) La de M. Cantor d
l pr ipio del siglo XIX los mtodos infinitesimales:
) F ron sustituidos por el rigor del anlisis
E ban an presentes en el uso matemtico b
c) Fueron sustituidos por la geometra no eucldea
d) Fueron criticados por el obispo Berkeley

141

3.- Reintroduce el rigor en las matemticas basndolas en el mtodo deductivo:

a) Gauss
b)

d) Gauss

Riemann
c) Pitgoras
d) Newton

4.- Uno de los precursores de las geometras no euclidianas es:

a) Hipcrates
b) Bolzano
c) Saccheri
d) Leibniz

5.- Gauss en relacin a la geometra no euclidiana pensaba:

a) Que era un disparate matemtico
b) que estaba contenida en el trabajo de Euclides
c) no estaba al tanto de su desarrollo
d) trabajo sobre ella pero no quiso publicar nada por lo polmico del tema

6.- Trata de manera sistemtica de fundar el anlisis:
a) Cauchy
b) Euler
c) LHopital
d) J ean Bernoulli

7.- Pensaba que el uso de las series divergentes era algo diablico:

a) Zenn
b) Newton
c) Abel

142

143

Ejerc

icios
1.- Si la funcin verifica que ( ) 0 f a > basta que tomemos
( )
0
2
f a
= > y 0 >
tal que si
( ) ( ) 3 ( )
( , ) ( ) ( ) 0 ( )
2 2 2
f a f a f a
x a a f x f a f x + < < < < para
los un p tos en el intervalo ) ( , x a a +

del interior del crculo determinan
nvocamente) una cuerda.
cionan los nmeros irracionales son aquellas
a
el de
erific

teora de
conjuntos) es una de las obras ms completas (hasta el siglo XIX) que
2.
3. amiento de Pfaff reintroduce las pruebas
rigurosas.
4. ldea, sola-
5. abstuvo de publicar
6.
7. c) La expresin es de Abel.

2.- Lo dejamos al estudiante UNA.

.- Basta ver que dos puntos cualesquiera 3
(u

.- Las cortaduras que nos propor 4
para las cuales su supremo no existe (no es racional). Si el supremo de la
sum existiese y fuera racional, al existir el supremo de una de las cortaduras,
la otra tambin existira y sera racional. Invitamos al estudiante UNA a
ar los detalles. v

1. d) La historia de M. Cantor (no confundir con el creador de la
traza la evolucin de las ideas matemticas.
b) Tardaron un poco en verse expulsados del clculo por el trabajo de
Cauchy entre otros.
a) Gauss influenciado por el pens
c) Saccheri estuvo a punto de descubrir la geometra no euc
mente su excesivo respeto al trabajo de Euclides se lo impide.
d) Gauss no quiso desatar la ira de los beocios y se
sus ideas sobre el axioma de las paralelas. Fue un gran admirador de
Lobachevsky a quin propuso como miembro honorario de la Academia
de Ciencia.
a) Cauchy como ya hemos mencionado.

143

Unidad 8

el

La matemtica en el siglo XX
Objetivo Unidad 8

Conocer la direccin principal de la matemtica en el siglo XX y
nacimiento de la Teora de Conjuntos.

2 semanas

145

INTRODUCCIN

la
solu a
de la
mat n-
tica, -
tica. XX
vam ad
del sin
escr pa,
ade de
la m

uso de la teora de conjuntos a partir del trabajo de Cantor
2.

na
un l podemos afirmar con
completa seguridad, que en matemtica todo es conjunto. Adems el trabajo
de Cantor y Dedekind daba legitimidad a un evasivo concepto necesario para
entender en profundidad la idea de lmite y de clculo diferencial: el infinito.

El siglo XX vio la mayor cantidad de matemtica producida jams,
cin de importantes problemas como la demostracin del ltimo teorem
Fermat, el uso intensivo del mtodo axiomtico y la aplicacin de
emtica en mltiples reas del conocimiento y la tcnica: mecnica cu
economa, medicina etc. Podemos afirmar que fue el siglo de la matem
Debido a la naturaleza mltiple y profunda de la matemtica del siglo
os a concentrarnos en algunas ideas que corresponden a la primera mit
siglo. Es imposible describir el panorama de la matemtica del siglo XX
ibir un tratado (probablemente de varios volmenes), lo cual esca
ms, a mi competencia. Nos concentraremos en los siguientes aspectos
atemtica del siglo XX:
1. El
El programa de Hilbert y su famosa lista de problemas
3. El concepto de estructura en matemtica y el grupo Bourbaki
Estos tres aspectos estn vinculados. La teora de conjuntos proporcio
enguaje adecuado para el resto de la matemtica,
Hilbert, por otro lado, adopta de manera decidida el trabajo de Cantor
como el lenguaje para presentar, de manera axiomtica, una teora matem-
tica. Hilbert dice nadie podr arrojarnos jams del paraso que Cantor ha
creado para nosotros. Como veremos fue un paraso con un pecado original
que se manifest con el surgimiento de paradojas. A raz del surgimiento de las
antinomias en la Teora de Conjuntos, Hilbert pretendi poner toda la matem-
tica a salvo de contradicciones mediante un poderoso programa lgico. Hilbert
intent, en su programa de fundamentacin de la matemtica, tres cosas, en
primer lugar formalizar la matemtica escribindola en un lenguaje donde no se
colase lo intuitivo. Tambin quera librar Hilbert a la matemtica de contra-
dicciones - mediante la elaboracin de pruebas de en el devenir de la matem
tica del siglo XX con la lista de problemas que propuso en el Congreso de Pars
de 1 te- 900.consistencia absoluta. Por ltimo, Hilbert quera mostrar que la ma
mt ser ica era completa, en el sentido que toda proposicin verdadera pudiese
dem a. ostrada a partir del tinglado lgico matemtico y los axiomas de la teor
Com na o veremos, este programa era irrealizable en su totalidad pero marc u
man de era de entender y enfocar la matemtica. Tambin, Hilbert contribuy
manera decisiva en el devenir de la matemtica del siglo XX con la lista de
problemas que propuso en el Congreso de Pars de 1900.

147

Bourbaki adopta el enfoque de Hilbert de manera sistemtica. Pretenden
pres que entar de manera rigurosa, axiomtica y abstracta toda la matemtica
con las sideran relevante. Para ello escriben una obra titulada Los elementos de
mat ico emticas (Elements des Mathematiques) que contena el saber matemt
mod ta- erno. El primer libro de 1939 es sobre la Teora de Conjuntos donde es
blec la en la notacin y estilo que prevalecer en el resto de la obra. Usan
estr c- ategia de Hilbert en la resolucin de muchos problemas: crear una estru
tura te axiomtica donde el problema queda inmerso y resolver el mismo en es
con tal texto. Es esa idea de estructura matemtica la que unifica el monumen
trabajo emprendido por Bourbaki y que adems unifica, en su visin, la
mat
Bourbaki arremete contra la intuicin geomtrica, sealando sta como
intil (Go
abs so
pas un
prog

pto
de c te-
riorm n-
tare elebres 23 problemas
presentada en el Congreso de Pars de 1900. Mostraremos las limitaciones de
su programa formalista que surge a partir del trabajo de Godel.

Al final, el concepto de espacio abstracto y estructura matemtica,
fundament rtir
del ki.
Refe -
ticos a-
mos

tado de mantener la estructura del trabajo en esta Unidad de la
Gua Instruccional. Sin embargo, me parece ms natural incluir las notas
matemticas dentro de la propia lectura.


1. Resuma los hechos ms relevantes del siglo XX: guerras mundiales,
revolucin rusa, avances en la fsica, nuevas corrientes artsticas: cubis-
mo, surrealismo, etc. Surgimiento del cine, la televisin y la radio.

emtica.

dement) para el desarrollo de nuestra ciencia. Esta tendencia hacia la
traccin marc una pauta en la forma de desarrollar la matemtica e inclu
a la Educacin Matemtica aunque no directamente por medio de
rama establecido por Bourbaki como aclar Dieudonne.
El plan de la lectura es el siguiente. Comenzamos hablando del conce
onjunto e infinito. Una breve biografa de Cantor ser presentada. Pos
ente hablaremos del trabajo de Hilbert, su vida y su programa. Come
mos sobre su decisiva ponencia que contena sus c
ales para la matemtica del siglo XX, sern presentados a pa
trabajo del grupo de matemticos franceses conocido como Bourba
riremos al lector algunas historias y ancdotas de este grupo de matem
que influy no slo en la matemtica sino en la forma como la ense
.
Hemos tra

148

2. Lea la lectura 10 escrita por el Prof. J os Gascn titulada La matemtica
en el siglo XX.
3. Resuma la informacin relevante sobre Cantor, su vida y obra.
4. Resuma la informacin relevante sobre la teora de conjuntos de Cantor:
Cul es el concepto de conjunto para Cantor? Cul es la definicin de
conjunto infinito? Existen diferentes tipos de infinito? Es el cardinal de
los nmeros reales mayor que el de los nmeros naturales? Qu
problemas se presentaron con los fundamentos de la Teora de
Conjuntos? Vaya a la referencia
http://es.wikipedia.org/wiki/Axiomas_de_Zermelo-Fraenkel para ver los
axiomas ms usados como base para la Teora de Conjuntos.
5. Resuma la informacin rel ert, su vida y obra. Observe la
imp
6. e:
lb

7. u
8. Vea s:
de
9. ms relevante sobre Nicols Bourbaki y su matemtica. Qu
ras existen? Vaya a la biblioteca
en los libros de matemtica encuentre los axiomas que
intos tipos.
10. ay
11. so:
/B
12.
tendr problema
evante sobre Hilb
ortancia educativa e investigativa de David Hilbert.
Vea en el moodle del curso el documento Grundlagen der Geometri
http://academico.una.edu.ve/foro/file.php/40/MaterialesInstruccionales/hi
ertgrundlagen-pdf.pdf Qu importancia tuvieron los Grundlagen? Qu
defectos tena la axiomtica de Euclides? Qu es el Zahlbericht?
Resuma la informacin relevante sobre el programa de Hilbert. Por q
fue destruida la pretensin de Hilbert de mostrar que la Matemtica era
completa?
en el Moodle del curso la Conferencia de Hilbert en Par
http://academico.una.edu.ve/foro/mod/resource/view.php?id=928.
Visite los otros enlaces sugeridos para tener una visin ms completa
los problemas de Hilbert.
Resuma lo
es una estructura? Qu tipos de estructu
del centro local y
caracterizan estructuras de los dist
V a al Foro y discuta con sus compaeros el tema propuesto.
Lea la referencia sobre Nicols Bourbaki en el moodle del cur
http://divulgamat.ehu.es/weborriak/historia/MateOspetsuak/Inprimaketak
ourbaki.asp.
Resuelva los ejercicios y actividades matemticas propuestos.
13. El test de autoevaluacin lo espera, seguro que Ud. no
alguno en resolverlo.

149

Lectura: La matemtica en el siglo XX.
Autor: J os Gascn
Breve perfil biogrfico de George Cantor

George Cantor

I. Algunos datos familiares, estudios y carrera acadmica

George Cantor naci en San Petesburgo (posteriormente
Leningrado) en 1845 en el seno de una familia burguesa. Nace en
Rusia aunque su carrera la realiza fundamentalmente en Alemania y
se le c nsidera un matemtico alemn, aunque Cantor nunca olvid su
tierra
openhague y fue formado bajo la
religin luterana, aunque, probablemente, tanto su madre como su
padr
Mar or la msica.
s s en los negocios, el padre de Cantor
tuvo o
e inculc en el joven Cantor el amor por el trabajo, la religin y la
disci a y parte de
su fo edio de un tutor. Al
terminar el Gymnasium (bachillerat udiar
mate
licto se resolvi cuando el padre
acept la vocacin de su hijo permitindole estudiar matemtica en la
Universidad de Zurich a partir del ao de 1862. Algo similar ocurri con
o
natal y siempre manifest nostalgia por la Rusia perdida. Su
padre George Cantor naci en C

e, provienen de una familia de judos conversos. Su madre fue
a Anna Bhm, de religin catlica y con gran aficin p

De pus de algunos fracaso
xit en el mercado de valores. Su padre era una persona estricta
plin . Cantor ingresa relativamente mayor a la escuela
rmacin inicial la recibi en su hogar por m
o alemn) Cantor quiere est
mtica pura. Sin embargo tuvo una moderada oposicin de su
padre. Este le pidi que estudiase Ingeniera lo cual Cantor realiz del
ao 59 al 62, en la escuela de formacin profesional de Darmstadt. El
padre de Cantor quera que su hijo fuese una estrella brillante en el
firmamento de la Ingeniera. El conf

150

el gran matemtico J ohn Von Neumann que se gradu de qumico y
matemtico por la presin de su padre quin consideraba la matem-
tica
Cantor interrumpe brevemente sus estudios de matemtica al
morir su padre para luego continuarlos en la Universidad de Berln.
matemtico alemn, la universidad del
gran Weierstrass, de Kummer, de Kronecker, etc. Posteriormente dej
d
niversidades de Berln
de Gauss sobre la
t
dmica. Grandes matemticos han sufrido penurias para encontrar un
puesto en la enseanza superior alemana. Recordemos el caso de
Weierstrass quin ense por aos en secundaria antes de obtener
una posicin en la universidad de Berln, logrando sto cuando el
ios tan
ana del
siglo XIX.
presenta la posibilidad de trabajar en
preocupa abandonar sus investiga-
ciones. De hecho trabaja algn tiempo en un Gymnasium de seoritas.
Se considera un investigador matemtico no un docente de bachi-
llerat
como una profesin poco rentable.

Berln era el centro del mundo
e ser el centro de gravitacin de la matemtica alemana cuando ste
se desplaz a Gotinga (Gttingen), bajo la influencia de Hilbert de
quin hablaremos ms tarde. Debemos sealar que la competencia
acadmica entre las dos u y Gotinga fue favo-
rable para el desarrollo matemtico alemn. Gotinga fue la universidad
del gran Gauss por lo que la competencia entre los dos centros llevaba
cerca de un siglo.

Cantor se doctora mejorando los resultados
eora de nmeros en 1867 y tuvo como tutor de tesis a Kummer y
sirvi de segundo tutor Weierstrass.

El sistema de educacin alemn es muy estricto para la contra-
tacin y obtencin de una posicin fija y remunerada en la universidad.
El doctorado obtenido no le garantizaba a Cantor una carrera aca-
matemtico Richelot de Knigsberg interviene a su favor. Adems de
esta favorable recomendacin, el nombre de Richelot debe ser
recorda o d por ser el matemtico que crea el sistema de seminar
importante en el desarrollo de la investigacin matemtica alem

Al doctorarse Cantor se le
educacin secundaria pero le
o. Una plaza de privatdozent aparece vacante en la Universidad
de Halle. Un privatdozent ganaba un salario ofreciendo cursos a
grupos de estudiantes que le pagaban lo estipulado de comn acuer-
do. La Universidad de Halle era de poca importancia en el sistema
universitario alemn, sin embargo, Cantor se sinti aliviado al pre-
sentrsele la posibilidad de continuar su trabajo como matemtico.

151

Aprueba la habilitacin (especie de concurso de oposicin) con
un trabajo sobre teora de nmeros. La Universidad de Halle contaba
entre sus miembros a Heine que realiz destacadas investigaciones de
anlisis, por ejemplo en el concepto de continuidad y convergencia
uniforme y el celebrado teorema de Heine-Borel. La influencia de
Heine es importante en el trabajo de Cantor. Heine le plantea a Cantor
un problema ya abordado por Riemann: la unicidad del desarrollo en
serie de Fourier. Es a partir de este problema que fluye la matemtica
de Cantor de manera imparable. Luego el trabajo investigativo de
Cantor se movi del lgebra al anlisis.

Edificio de los Leones, Universidad de Halle

En 1872 Cantor conoce a quien fue su colaborador por un largo
perodo de tiempo: Richard Dedekind.

Richard Dedekind

Dedekind fue una persona reservada que nunca se separ de su
madre y de su hermana por lo que la colaboracin con Cantor fue
epistolar. Las cartas entre Cantor y Dedekind sobre la teora de

152

conjuntos, el concepto de nmero real y su construccin y lo
asombroso del concepto de infinito son un caso notable de cola-
bora
versar en la Conferencia Internacional
de Zurich de 1897 y el trabajo conjunto se restablece en 1899. Pero ya
en este momento la carrera matemtica de Cantor vena en claro
declive.
La carrera docente de Cantor es importante, dict clases por ms
d
cin matemtica. Al morir Heine en 1881 su ctedra le es ofrecida
a Dedekind quin no la acepta, causando la molestia de Cantor, quin
haba elaborado la terna de profesores para sucederle y colocado a
Dedekind en primer lugar. Cantor y Dedekind dejan de comunicarse,
lamentablemente, por un largo perodo de tiempo. Las heridas empie-
zan a cicatrizar despus de con

e cuarenta aos pero nunca logr una posicin como profesor en una
mejor Universidad. Tuvo un solo estudiante de doctorado: Alfred
Barneck, quizs porque no se encontraba en una Universidad que
atrajese a estudiantes dotados para la matemtica.

Kronecker

Se cree que Cantor no logr una mejor posicin en el sistema
universitario alemn debido a lo polmico de su trabajo sobre el infinito
y a la oposicin de algunas figuras destacadas del mundo acadmico.
En particular, Kronecker fue el que ms oposicin le present. No voy
a entrar en detalles de la disputa entre ambos, existen muchas
crnicas de ello donde Kronecker aparece usualmente como villano y
Cantor como hroe. Lo cierto es que Kronecker tena un sistema filos-
fico en torno a la matemtica y sus objetos. Es famosa su frase Dios
cre los nmeros naturales, lo dems es creacin del hombre. Se
cuenta que cuando Lindemann demostr que era trascendente,
Kronecker le escribi, felicitndolo de manera sarcstica, por su des-

cubrimiento. Kronecker conceba los nmeros de manera constructiva
y un irracional era la idealizacin de un proceso donde en cada paso

153

i
ntos de Cantor.
Todo apunta tambin a que intent evitar que los artculos de Cantor
f
e puede considerar que una carrera universitaria en una univer-
sidad de segunda categora, la disputa con Kronecker y el mediano
reconocimiento de su importantsimo trabajo matemtico contribuyeron
al de
a en su Tierra: la Academia de Berln nunca le
reconoci incluyndolo como miembro de la misma.
a E

en su excelente casa de la calle Hndelstrasse (calle que lleva por
antor se cas con
Vally Guttmann en 1874, con ella tuvo seis hijos: 2 varones y cuatro
h
ntervenan intervalos de extremos racionales. Pero era un proceso
nunca acabado. De acuerdo a esa concepcin no existan los nmeros
trascendentes. Por supuesto que con semejante sistema de ideas
Kronecker iba a reaccionar contra la teora de conju
ueran publicados y que Cantor lograra abandonar la Universidad de
Halle. Kronecker no se gan tampoco la simpata de Hilbert, proba-
blemente por su cerrada filosofa de la matemtica.

S
terioro de su salud mental y fsica. Quizs uno de los pocos
reconocimientos que se le hizo en vida fue el nombramiento como
primer presidente de la Sociedad Matemtica Alemana, sumando esto
a reconocimientos en Noruega e Inglaterra. Se puede aplicar la frase
que nadie es profet

Cantor y su persona

Cantor adems de ser un matemtico destacado tena una
ficin por la m sica que hered de sus padres. ra un violinista
competente y disfrutaba de largas veladas musicales que organizaba
coincidencia el nombre del gran msico Hndel). C
embras.

Cantor y su esposa

154

La muerte de su primognito hacia finales del siglo XIX le caus
una profunda depresin. El hecho es que Cantor tuvo que ser recluido
en varias oportunidades en sanatorios mentales. Investigaciones
desde el punto de vista clnico realizadas por el historiador de la
matemtica Ivor Grattan-Guinness sealan que Cantor era un
maniaco-depresivo, sin embargo esto no toma en cuenta la tremenda
soledad en la que desarroll su trabajo y la oposicin que ste obtuvo.
Quizs el concepto de infinito y en particular la hiptesis del continuo
atenten contra la salud mental de cualquier persona.
o

Finalmente en 1916 Cantor fallece en un hospital, a pesar de
haber manifestado su deseo de morir en su casa, en la cual vivi por
rrollo de la Primera Guerra
liares que no permitieron que
C
a esclarecer el concepto de funcin,
integral y conjunto. As vemos cmo un tema matemtico especfico y
l d pulsa
cin de cardinal es la ms im-
portante. Adems de su propio trabajo sobre series trgonomtricas
debemos sealar la influencia en la creacin de la teora de conjuntos
de la obra de Weierstrass quien, en relacin con su trabajo de
funciones analticas demostr el teorema de Bolzano-Weierstrass en el
cual el concepto de conjunto infinito de puntos es la hiptesis central.
La clasificacin de las singularidades realizada por Hurwitz de una
funcin de variable compleja fue un temprano xito de la teora de
conjuntos.

Para Cantor un conjunto (Menge) es cualquier coleccin consti-
objetos separados e nuestra intuicin o pensamiento. El
rigor que se

cerca de 40 aos. Al parecer, el desa
Mundial influy en la decisin de los fami
antor regresara a su casa ya que la situacin de todos era muy
precaria
p
.

Teora de Conjuntos y el infinito

El trabajo de Cantor en Teora de Conjuntos fue motivado por el
estudio de las series trigonomtricas. Debemos sealar que el estudio
de las series de Fourier contribuy
os problemas asociados a ese tema pue e im r el desarrollo de
ideas fundamentales y bsicas. No vamos a explicar el problema de la
unicidad del desarrollo en serie trgono-mtrica sino ms bien a
explicar la nocin de conjunto y las importantes concepciones alre-
dedor de esta idea. Sin duda, la no
tuida por d
lector debe notar que esta definicin no alcanza el

o
El matemtico ruso Aleksandrov sinti que enloqueca al intentar por un ao resolver este problema.
p
Contra esta asuncin podemos decir que el hospital donde fue recluido Cantor pasaba por una situacin crtica y que Cantor all
padeci hambre.

155

desarroll en la matemtica (geometra y anlisis) durante el siglo XIX,
impulsado por Cauchy, Weierstrass, Hilbert, Pfaff , Riemann y Frege
entre otros. Es una definicin que recuerda las definiciones que apa-
recen en Los Elementos de Euclides. Euclides deca que punto es lo
que no tiene partes. Es decir lo atmico, lo que compone el resto de
las cosas. Sin duda es una definicin que apela a la intuicin, a lo
visual, a lo geomtrico. Pero no es una definicin rigurosa. Pasa lo
mismo con la defi-nicin de conjunto de Cantor. Era solamente el
punto de partida para el trabajo que sobre cardinalidad y el infinito va a
desarrollar.
ccin
6. Las paradojas en la teora de conjuntos

La idea de definir lo infinito proviene de Dedekind y Cantor usan-
do la aparente propiedad contradictoria de que para conjuntos infinitos
el todo no es mayor que las partes. Antes de ver esto analizaremos el
.

Notas matemticas complementarias de la lectura matemtrica del

1. C
os
con

A continuacin explicaremos una serie de ideas importantes en
las notas matemticas que siguen:

1. Contar y la idea de biye
2. El concepto de infinito segn Cantor y Dedekind
3. La numerabilidad de Q
4. La no numerabilidad de IR
5. El teorema de Cantor sobre el conjunto de partes
concepto de cardinal de un conjunto

siglo XX
ontar y la idea de biyeccin

La idea de contar est asociada a la idea de biyeccin, decimos que d
juntos , A B tienen la misma cantidad de elementos o cardinal si exis
biyeccin : f A B . As los conjuntos
te
una { } { } 1,2,3 , , , A B a b c = = tienen el
in mismo cardinal, pudiendo ser la biyecc (1) , (2) , (3) 6 f a f b f = = = aunque
existen otras posibilidades. Es decir, establecer una biyeccin entre dos con-

156

juntos pe o
card
2. E

mo
cua finito en matem-
tica. Cantor y Dedekind tuvieron una ide nte (Bolzano se anticip a los
dos pero no entraremos en detalles) La pro iedad de existir una biyeccin entre
el conjunto y una parte de l es lo que caracteriza a un conjunto infinito.

rmite establecer que ambos conjuntos tienen algo en comn: el mism
inal o nmero de elementos.
l concepto de infinito segn Cantor y Dedekind
Ya Galileo haba notado que existen tantos nmeros naturales co
drados. Esto le pareci paradjico y descart el uso del in
a brilla
p

Galileo Galilei (1564-1642)

INICIN: Decimos que un conjunto DEF A es infinito s y slo si existe un
ccin : , f A B B A
erve, retomando el ejemplo de Galileo, que f definida como:
a
biye
Obs
2
:
( )
f IN C
f n n =

es una biyeccin donde IN son los nmeros naturales y { } 0,1,4,9, C = es
njunto de todos los cuadrados.

Luego un conjunto es infinito si se puede poner en corres-
pondencia biunvoca con una parte propia. Esto es la caracteri-
zacin que dan, tanto Dedekind como Cantor, de conjunto infinito. De
esta manera, la aparente propiedad paradjica de los conjuntos
infinitos de poder establecer una biyeccin con una parte propia sirve
para definir de manera rigurosa el concepto de infinito.

el co

Posteriormente, Cantor examina la nocin de conjunto nume-
rable que aparece en su trabajo sobre las series trigonomtricas. De
alguna manera lo numerable es el primer escaln dentro de la larga

157

escalera del infinito. Demuestra un resultado sorprendente: que el
conjunto de los nmeros racionales, que es denso en la recta, es
numerable. Un conjunto A es numerable si se puede establecer una
biyec

3. L

io-
nale
sigu
cin entre A y los naturales.

a numerabilidad de los racionales Q
Esto fue un hallazgo sorprendente: existen tantos naturales como rac
s, aunque entre dos naturales cualesquiera existan infinitos racionales! El
iente dibujo explica el por qu.

En la primera fila colocamos las fracciones con denominador 1, en la
siguiente fila las que tienen denominador 2, etc. Al final obtendremos todas las
fracciones (positivas) en algn lugar de
cuadro tal como indican las eracin de los racionales.
La demo dio
otra

nuestro cuadro. Despus recorremos el
flechas dando una num
stracin es ingeniosa y grfica. El gran matemtico Kolmogorov
prueba basada en el concepto de altura de una fraccin.

Kolmogorov(1903-1987)

158

Si tenemos una fraccin
n
m
podemos pensar que ella est escrita de
manera irreducible. Asociamos a cada fraccin su altura h definida por
( )
n
h n
m
= + m lo que siempre es un nmero natural. Para cada nmero natural
slo existen una cantidad finitas de fracciones con esa determinada altura. Por
ejemplo, si la altura es 3 solamente las fracciones
1 2 0
, ,
2 1 3
tienen esa altura.
De esta propiedad de la altura se deduce que las fracciones son numerables.

antor despus de su hallazgo de la numerabilidad de los n-
mero

4. E
no
son as
matemticas ms hermosas que alguna vez se han realizado. Cantor realiza su
demostracin mediante el mtodo de reduccin al absurdo. Supongamos que
los reale os
naturales IN en los reales IR.

En lugar de trabajar con todo IR trabajamos solamente con el intervalo
[0,1]. Cantor describe tal biyeccin mediante una matriz infinita (a la derecha en
el dibujo abajo).

C
s racionales se cuestiona: acaso lo numerable equivale a lo
infinito? La respuesta es negativa y constituye un gran hallazgo,
aunque Bolzano lo haba previsto. En 1873 Cantor demuestra que
los nmeros reales no son un conjunto numerable mediante su
clebre argumento diagonal
q
.

l argumento diagonal y la no numerabilidad de los reales

Otra sorpresa aguardaba a Cantor y a Dedekind. Los nmeros reales
numerables. La demostracin de este hecho es una de las prueb
s pudiesen ser numerados. Es decir existe una biyeccin de l

q
El argumento diagonal contrario a la terminologa usual no se debe a Cantor , fue
Ascoli en 1884 quin por primera vez lo us.

159

Observemos la diagonal de esta matriz y construyamos un nmero entre 0
y 1 cuyo primer decimal sea distinto de 3, su segundo decimal distinto de 2 etc.
Tal nmero puede ser construido sin problemas pero dnde est ese nmero
n nues osicin ocupa en la tabla?
tar
en posicin alguna. Los nmeros reales no son numerables.

continuo. Es el primer problema de la lista de Hilbert que veremos en
la prxima seccin.

io cuenta que existan cardinales infinitos cada vez
mayores, como hemos dicho que forman una escalera infinita. La
operacin clave era tomar el conjunto de partes de un conjunto dado.
e tra numeracin? Qu p

Debe estar en algn lugar porque una biyeccin debe ser sobreyectiva.
Supongamos que est en la fila posicin 1234. Veamos su decimal 1234!
Debe diferir del decimal de este elemento y por ende el nmero no puede es

Esto planteaba un problema muy serio e importante. Existir
algn cardinal intermedio entre el cardinal de los nmeros reales y los
naturales? Cantor pensaba que no y esto constituye su hiptesis del
Cantor se d
Es un resultado elemental que si A es un conjunto finito y P (A) es el
conjunto de partes (todos los subconjuntos de A) entonces P (A) tiene
elementos si 2
n
A tiene n elementos se verifica
p

, la desigualdad 2
n
n >
ara cada natural n. Cantor generaliz este resultado a conjuntos
infinitos.

160

5. El teorema de Cantor sobre el conjunto de partes

Supongamos que A es un conjunto, veamos que es imposible establecer
una aplicacin sobreyectiva desde A hasta ( ) A . El argumento es
esencialmente diagonal, supongamos que : ( ) f A A es sobreyectiva.
Formemos el conjunto { } / ( ) B x A x f x = . Puede haber un / ( ) a A f a B = ?
En ese caso podramos examinar si a B o no. Si a B entonces
( ) a f a B = , esto es absurdo. Pero si ( ) a B f a = entonces, por definicin de
{ } / ( ) B x A x f x = tendramos que a B , de nuevo una contradiccin. Esto
demuestra que es imposible la biyeccin entre A y ( ) A . Luego si A es infinito
el cardinal de ( ) A es estrictamente mayor que el de

A. Este resultado fue publicado en 1891 con el ttulo ber eine elementare
Frage der Mannigfaltigkeitslehre.

Cantor establec

6. L
Bertrand Russell plante una pregunta aparentemente ingenua en
relacin al trabajo de Frege. Dividamos los conjuntos en dos tipos: los que se
que es,
in d
i una aritmtica de los cardinales infinitos y sus
propiedades principales, de tal manera que el infinito actual adquiri
nacionalidad matemtica. Cantor y Dedekind cerraron el camino que
los filsofos griegos como Zenn empezaron. Sin embargo, la natu-
raleza intuitiva del trabajo de Cantor tena fisuras por las cuales el
peligroso concepto del infinito se trat de escapar. Las paradojas
aparecieron, algunas de las cuales el propio Cantor descubri. Se
debe al trabajo de Zermelo, Fraenkel y Von Neumann el alcanzar una
axiomtica sobre la cual derivar toda la teora de conjuntos
(http://es.wikipedia.org/wiki/Axiomas_de_Zermelo-Fraenkel).
as paradojas en la teora de conjuntos

pertenecen a s mismos como elementos y los que no lo hacen. Por ejemplo el
conjunto de todas las ideas se pertenece a s mismo como elemento ya
s uda, una idea. Por otro lado, si consideramos el conjunto de todas la
personas, no se pertenece a s mismo como elemento ya que no es una
persona. Sea A el conjunto de todos los conjuntos que no se pertenecen a s
mismos como elemento, en smbolos:
B A B B

161

Russell se pregunt es cierto o no que A A ? Si A A por la definicin
de A se debe tener que A A , una contradiccin. Por otro lado si afirmamos
que A A entonces, de n plicando la definicin de uevo a A, A A . Estamos en
una e ru ijada.

nc c

Bertrand Russell Gotlob Frege

antor y la lgica cuando recibi la carta de Russell que contena su
aradoja dijo: "con nada ms indeseable puede enfrentarse un cientfico que
i obra a la imprenta". La obra se titulaba Leyes funda-
entales de la aritmtica.
na base
firme como ya sealamos y de l s

Frege estaba tratando de deducir toda la matemtica a partir de los conceptos
de C
p
con deshacerse de sus fundamentos despus de terminar su obra. Me ha
puesto en esa situacin una carta de Mr. Bertrand Russell cuando estaba a
punto de mandar m
m

Sin embargo, el trabajo de Cantor se poda poner en u
e deriva la matemtica moderna
con su tendencia a la abstraccin y al formalismo. El trabajo de for-
malizacin lo llevan a cabo Zermelo, Fraenkel y Von Neumann entre
otros. Invitamos al lector a ir a:
http://es.wikipedia.org/wiki/Axiomas_de_Zermelo-Fraenkel para
que lea sobre la axiomtica ms exitosa de la Teora de Conjuntos. La
axiomtica va a ser crucial en el desarrollo de la matemtica en el siglo
XX. Esta tendencia la veremos en el trabajo de Hilbert, nuestro prxi-
mo invitado. El propulsar los mtodos que cimentarn de manera
irreprochable la matemtica

162

Breve biografa de David Hilbert

Nosotros debemos conocer, nosotros conoceremos
David Hilbert

I. David Hilbert, datos fa admica

miliares y carrera ac
Hilbert a diferencia de Cantor disfrut de un gran prestigio como
matemtico y junto a Klein movi las piezas del ajedrez acadmico
alemn de su poca. Hilbert fue un matemtico de importancia mundial
y para muchas personas el ltimo matemtico universal. Sin embargo,
existen interesantes similitudes biogrficas entre ambos personajes,
muchas de ellas derivadas del sistema universitario alemn y las
creencias de la poca.

Hilbert nace en Knigsberg, la ciudad de Kant y del famoso
problema de los siete puentes
r
, el 23 de enero de 1862. Debemos
sealar que esta ciudad, despus de la Segunda Guerra Mundial pas
al dominio ruso y hoy se conoce como Kaliningrado. Es decir, Cantor
naci en Rusia y se hizo alemn pero Hilbert naci en Alemania pero
hoy en da sera considerado como un matemtico ruso.

Emplazamiento de los puentes en la poca de Euler

Al igual que Cantor, el padre de Hilbert Otto era una persona con
slidos valores, estricta y juez de profesin. La madre Maria Therese
Erdtmann representaba un lado ms intelectual, sensible y artstico.
Entre sus diversas aficiones estaban los nmeros primos y sus
propiedades. As tanto Cantor como Hilbert provenan del seno de la

r
El problema consista en cruzar los siete puentes pasando por cada puente una sola vez. Euler resolvi el problema, pero reto al
estudiante UNA a decir si es posible o no. Ver el dibujo arriba.

163

burgu
ocho aos, por lo que es pro-
bable que haya recibido, al igual que Cantor, las primeras letras en
casa
le
importaba demasiado estudiar en ese momento ya que saba que
volve
arcter ms fuerte que el de
Cantor decide que quiere estudiar Matemtica en Knigsberg, una
ciuda
la evaluacin deba no ser tan
estricta en semejante enfoque ya que usualmente los temas y
semi
esa de su tiempo, con padres relativamente autoritarios y
madres con vocacin por el arte y la ciencia.

Empez el colegio a la edad de
. Podramos especular que fue la madre la que ense a Hilbert
los primeros conocimientos, quizs transmitindole su inclinacin por
la matemtica. Al igual que Cantor no manifest Hilbert precocidad
para la matemtica. Muchas personas creen que los grandes matem-
ticos son genios precoces y hay ejemplos de ello: Gauss, Galois, etc.
Pero ni Hilbert ni Cantor lo fueron. Cantor dio muestras de talento en la
escuela pero no fue como Gauss. Alguna vez, siendo Hilbert un
matemtico famoso, se le consult sobre su impresin sobre la ma-
temtica cuando era nio y adolescente. Hilbert seal que no
ra a ella ms adelante. Hilbert fue un estudiante promedio con
poco entusiasmo por aprender de memoria, lo cual era tpico de la
enseanza de aquel tiempo.

En 1880 Hilbert inicia sus estudios universitarios en la Univer-
sidad de Knigsberg. Al igual que Cantor el padre de Hilbert quera
orientar la vocacin de su hijo indicndole que siguiera estudios de
derecho. Pero Hilbert que era de un c
d que siempre am. Debo sealar el enfoque liberal que tena la
enseanza de la matemtica en la Alemania de Hilbert. En primer lugar
los alumnos podan escoger entre las diversas asignaturas que los
profesores ofertaban. Usualmente los profesores en-seaban lo que
investigaban, este modelo lo impulso Humboldt para la Universidad
alemana. Humboldt conceba que enseanza e investigacin eran un
binomio inseparable. Por supuesto que
narios versaban sobre matemtica avanzada. Muchos cursos no
se evaluaban y slo a la hora de doctorarse el candidato deba
presentar exmenes. Los alumnos podan moverse de una universidad
a otra, acreditndose las asignaturas cursadas en distintas institu-
ciones. Por ejemplo Hilbert, sigui en sus primeros semestres cursos
en Heideberg con Lzaro Fuchs sobre ecuaciones dife-renciales.

La Universidad de Knigsberg no era la de Berln donde estudi
Cantor o la de Gotinga donde ense Gauss, pero el gran J acobi
haba sido profesor en ella lo que le daba prestigio acadmico.

164

Universidad de Knigsberg

Hilbert asiste a diversos cursos en Knigsberg: Clculo Integral,
Teora de Determinantes e Invariantes, Geometra Diferencial, etc.

Un hecho debemos destacar en los estudios de Hilbert en
Knigsberg: encontr y se hizo amigo de Minkowski. Minkowski nacido
en Rusa y de origen judo, fue un genio precoz. Era dos aos menor
que Hilbert y gan a los 18 aos el Grand Prix des Sciences
Mathematiques de la Academia de Francia por su trabajo en formas
cuadrticas. Debemos sealar que el premio tuvo cierta controversia al
alcanzada por Minkowski habia sido
temtico ingls Henri Smith.

Hermann Minkowski (1864-1909)
com
m d

comprobarse que la solucin
obtenida aos antes por el ma

Al final la Academia opt por el expediente de dar el premio
partido aunque Smith falleci poco antes de la entrega de la
alla. e

165

El trabajo de Minkowski estaba orientado a la teora geomtrica
de nmeros (sus resultados sobre reticulados en el plano y convexidad
son primordiales) y las formas cuadrticas, sin embargo, obtuvo
resultados impor-tantes en anlisis matemtico e introdujo brillantes
mtodos matemticos para la Teora de la Relatividad como las
transformaciones del espacio-tiempo que llevan su nombre. Einstein
fue alumno de Minkowski en Zurich y por cierto un alumno no muy
d la matemtica que
E a tan
m eron
g Hilbert se haya
manifestado el espritu de competencia y el deseo de superar a su muy
joven condiscpulo.

Otro joven matemtico que despert admiracin de Hilbert y
Minkowski fue Hu

estacado. Un da Minkowski bromeaba que
instein haba usado para desarrollar su trabajo en relatividad er
ala por haber sido alumno suyo. Aunque Minkowski y Hilbert fu
randes amigos, no podemos descartar que en
rwitz.

Adolf Hurwitz (1859-1919)

Hurwitz, un estudiante de doctorado de Flix Klein, mezcl ideas
de Weierstrass y Klein para resolver un problema importante de las
A pesar de su juventud conoca una
y Hilbert aspiraba a emularlo en este
a mos sealar
q omo profesor
o emos as al joven Hilbert en contacto con
dos grandes matemticos Hurwitz y Minkowski, uno profesor el otro
estudiante, con los que entabla una franca amistad pero que seguro
e eracin como matemtico. Sus largas
c Knigsberg son
l ebe adivinar, la
m
funciones modulares elpticas.
gran cantidad de matemticas
specto: convertirse en un matemtico universal. Debe
e a pesar de ser muy joven Hurwitz lleg contratado c u
rdinario a Knigsberg. Ten
stimulan su espritu de sup
aminatas para conversar por los alrededores de
egendarias. El tema principal de charla era, como d
atemtica.

166

Hilbert escoge como tutor de tesis doctoral al matemtico
Lindemann. Debemos recordar que entre los logros de su asesor de
tesis est la demostracin de la trascendencia de en el ao de
1882.

1. La trascendencia de

Los matemticos dividieron el campo de los nmeros reales en dos clases
isjuntas: los racionales y los irracionales. Dentro del campo de los
racionales una nueva dicotoma se establece: algebraico y trascendente.
d
ir

Ferdinand Von Lindemann (1852-1939)

Sabemos que el nmero 2 es irracional (ver la gua Instruccional de
ad 3), es decir no puede ser solucin de ninguna ecuacin de la forma:
0 ax b
la
Unid
+ =
de , a b . Sin embargo es solucin de la ecuacin de segundo grado co
ficientes enteros:
don n
coe
2
2 0 x =

INICIN: Un nmero irracional que no es raz de polinomio algu
coeficientes enteros se denomina trascendente.
Los nmeros irracionales que son soluciones de ecuaciones polinmic
ado con coeficientes enteros se denominan algebraicos
DEF no
con

as
de algn gr . As 2 es
irracional os
tras 22-
190 ra
trascendente. Liouville, se le haba
algebraico y surge de inmediato una pregunta: existen nmer
cendentes? La solucin es afirmativa, el matemtico francs Hermite (18
1) demostr que el nmero e base de los logaritmos naturales e
adelantado a Hermite, demostrando la

167

exis s
s
.
Sin ros
tras de
man ebraicos es numerable.
Pero lo r ros
real a
des
tencia de nmeros trascendentes pero con nmeros un tanto artificiale
embargo, Cantor dio una prueba de la existencia de nme
cendentes usando su teora de los cardinales infinitos. Cantor demuestra
era sencilla que el conjunto de los nmeros alg
eales
no son numerables, luego la mayor parte de los nme

es son trascendentes! Era el tipo de prueba no constructiva que deb
quiciar a Kronecker.

Al demostrar la trascendencia de , Lindemann resolvi el problema de
dratura del crculo, este problema, que proviene de la matemtica grie
la
cua ga
como vimos en la Unidad 3, co lo regla y comps construir
un cuadra se
pos
nsiste en, usando s
do de rea igual a un crculo dado. La cuadratura del crculo, si fue
ible, implicara que es algebraico lo cual Lindemann prob imposible.

Hilbert empieza a trabajar en fracciones continuas y logra
algunas generalizaciones de ellas, pero Lindemann le seala que ya
J acobi haba logrado sus resultados. Le sugiere, para evitar este tipo
de accidente, que trabaje en un rea de investigacin en boga: la
teora de los invariantes algebraicos. Hacia 1884 la defiende con xito,
pero queda mucho camino que andar en la teora, camino que Hilbert
cruz con xito creando nuevas tcnicas y enfoques. Suceda aqu lo
mism
2. G

el
con a
de E en
la id

DEF un
gru

o que molest al joven Galois en relacin a las ecuaciones
algebraicas: la falta de una teora que explicase lo que se saba y
ayudase a entender lo que no se conoca. La teora de los invariantes
estaba dominada por largos y tediosos clculos. Hilbert introdujo
potentes mtodos que clarificaron y unificaron el panorama. La teora
es compleja, trataremos de darle al estudiante UNA algo del sabor de
la misma.

rupos de transformaciones, formas cuadrticas e invariantes
Desde el trabajo de Galois, los matemticos percibieron la importancia d
cepto de grupo. Flix Klein unific las diferentes geometras en el Program
rlangen (http://es.wikipedia.org/wiki/Programa_de_Erlangen) basndose
ea de grupo.
INICIN: Un conjunto G con una ley de composicin interna es
po si se verifica

s
Los nmeros de Liouville son de la forma 0,101001000001 Observe que entre dos unos hay n! ceros.

168

1. si , a b G a b G
2. La operacin es asociativa ( ) ( a b c a b c) = para todo , , a b c G
3. Existe un elemento neutro e G que verifica e a a e a = = ra pa
todo a G
4. Todo elemento a tiene un inverso
1
a
que verifica
1 1
a a a a

= =
Un ejemplo de grupo son las transformaciones lineales del plano en
o que tienen determinante 1
e

el
plan . Una transformacin lineal T del plano en el
plano est caracterizada por una matriz
a b
c d

(para simplificar fijamos la base
cannica de
2
) de forma que:

x a b x
T
y c d y

=

As que
{ }
2 2
: lineal y det( ) 1 G T T = = y la operacin q
amos es la composicin de funciones. Por ejemplo cualquier rotacin est
ue
tom
en
{ }
2 2
: lineal y det( ) 1 G T T = = ya que su matriz es de la forma
sen
cos
cos
sen

.
INICION: Una forma cuadrtica homognea es una funcin del plano en
o de la forma
2 2
( , )

DEF s
mism f x y ax bxy cy = + +
Si cambiamos las coordenadas mediante una transformacin lineal d
nemos una nueva forma cuadrtica que es sencilla de calcular. Lo que
resante es que la cantidad conocida como el discriminante
2
4 b =

e G
obte es
inte c
permanece invariante respecto a las transformaciones que estn en el grupo
a
{ }
2 2
: lineal y det( ) 1 T T = . Se saba que slo existan fini
riantes bsicos para las formas cuadrticas, cbicas, etc. Cualquier o
riante se escriba como un polinomio de los invariantes fundamentales,
les constituan una base. El gran maestro (conocido como el rey de
riantes) de la manipulacin algebraica de los invariantes era Gordan (183
2). Gordan demostr que exista siempre una base de invariantes pero
ba era oscura y basada en un largo clculo. Hilbert demostr lo mismo
ginas despus de clarificar qu es lo que se quera demostrar. Gor
G = tos
inva tro
inva los
cua los
inva 7-
191 su
prue en
2 p dan
pronunci una frase celebre eso no es matemtica, es teologa

169

xito acadmico y Gotinga

Flix Klein era sin duda el general en jefe de la matemtica
alemana. Brillante matemtico que haba establecido desde muy joven
las profundas relaciones entre objetos matemticos diversos como las
isometras de las figuras geomtricas y la solucin de ecuaciones por
radicales. Su importante programa de Erlangen en 1872 caracterizaba
los distintos tipos de geometras por medio de la teora de grupos y sus
invariantes.

Flix Klein (1849-1925)

Klein estaba consciente de la fuerza de Hilbert como matemtico
y qued impres n su seminario
alrededor d ca anterior
la demo i a la
tesis doctoral bajo la supervisin de Lindemann constituy un xito
at rechaz en la mencionada revista. Klein se
nt el Mathematische Annalen.
valid
asp
ilb o valor la crtica de Gordan y
ionado desde que lo oy hablar e
e 1885. Como ya sealamos en la nota matemti
stracin de una base finita de invariantes que prosigu
acadmico notable. Al principio Gordan se neg a aceptar el trabajo de
Hilbert e incluso, como era rbitro del artculo que Hilbert envi al
hematische Annalen, lo M
molest con Gordan y enderez el entuerto publicando el artculo de
Hilbert tal como fue enviado; de hecho lo refiri como el ms impor-
e artculo de lgebra publicado en ta
Gordan no estaba tan contento. En primer lugar consideraba la
demostracin de Hilbert errnea. Klein, que estaba convencido de la
ez del argumento de Hilbert, se reuni con Gordan durante una
semana para discutir la demostracin. Al final Gordan tuvo que
conceder que la demostracin era correcta pero enfoc su crtica en el
ecto no constructivo de la prueba proporcionada por Hilbert.
ert, quien era un matemtico profund H
trat de mejorar su prueba dando en unos aos una demostracin
constructiva.

170

La carrera de Hilbert se encamina al xito, va a Pars en 1885
con nostalgia su viaje a Pars cuando era un joven matemtico y a su
tico noruego creador de la teora de grupos continuos, adems de
je de Hilbert
ra un hombre amargado que criticaba a todos. Como no hay nadie
impulsar la carrera de Hausdorff, sacando al mismo del relativo
mateurismo que practicaba. Hilbert, a pesar de la mala compaa,
no tan amable Henri Poincare. Hilbert asisti al curso de Teora de
otencial que Poincare dictaba. Quizs Poincare prevea ya que

Hur de Hilbert dentro del
scalafn acadmico. Tambin logra sucesivos xitos en la teora de
La Sociedad Matemtica Alemana le encarga en 1893 la ela-
alge nto a Minkowski. Segn Herman Weyl el Zahlbericht es
o slo una obra maestra de la matemtica sino tambin del idioma
pero ya. Minkowski estaba encargado de escribir
parte de fundamentos y bsica de la teora, Hilbert iba a redactar los
el
ahlbericht slo increment la fama de Hilbert como matemtico.
En 1895 Hilbert logra un puesto en Gotinga debido a que
oria de la
niversidad de Gtingen, cuyo departamento de matemticas iba a
Matemticos de todas partes del mundo estudiaron en Gotinga que
ajo la gua de Hilbert se convierte en el primer centro matemtico del
usco
n su investigacin sorprendi a todos.
mentos de Geometra. Hilbert, como ya explicamos que hacan los
rofesores alemanes, enseaba sobre lo que investigaba, usualmente
inte
siguiendo el consejo de Klein acompaado de Study. Klein recordaba
compaero de viaje: el legendario Sophus Lie. Lie era un genio mate-
m
una excelente persona. Pero Study, el compaero de via
e
absolutamente malo, debemos sealar que Study con-tribuy con
a
aprovech el viaje y conoci a diversos matemticos, entre ellos a uno
P
Hilbert iba a ser su competidor como el mejor matemtico viviente.
Movimientos como la salida de Lindemann por jubilacin y de
witz quin march a Zurich acelera la subida
e
invariantes y en el lgebra abstracta.

boracin del Zahlbericht (Informe de la teora de los nmeros
braicos) ju
n
alemn. Minkowski tuvo problemas en terminar su parte del trabajo,
Hilbert complet la su
la
aspectos ms novedosos y avanzados. La publicacin en 1897 d
Z

Schwarz se mueve a Berln, lo que cambia sin duda la hist
U
convertirse en el primer departamento de matemticas a nivel mundial.
b
mundo. La carrera de Hilbert iba viento en popa pero un cambio br
e

En 1898 Hilbert ofreca en Gotinga un curso titulado Funda-
p
si quera investigar sobre un tema abra un curso sobre el mismo. Su
rs sobre el tema geomtrico no era nuevo ya que desde 1891

171

hab
sobre geometra proyectiva y eucldea.

laba, era un
temblor leve pero para Hilbert era un alerta. Oscuras sombras se
desplegaron sobre la matemtica y sus fundamentos al aparecer
paradojas en la teora de conjuntos, algunas previstas por Cantor y
otras
1
f
e
r
c
a
Grun
hilbe

matemticas. Pero, desde las primeras proposiciones se aceptan y
aplican resultados que usaban nociones de orden y continuidad no
explcitamente enunciadas. Adems, Hilbert no estaba adems de
acuerdo con definiciones como Punto es lo que no tiene partes. Para
na teora quedaban caracterizados por los
ntos, rectas y planos pero
pod
3.

cualquier nio conoce. Pero la m
que el sig X axiomas que
caracterizan los nmeros naturales.

a dictado conferencias y cursos, con poco xito de audiencia,
Quizs Hilbert senta que el edificio matemtico temb
en la teora de ordinales como la de Burali-Forti publicada en
897. Hilbert saba que lo primero que se formaliz en matemticas
ue la geometra, siendo Euclides el arquitecto de la obra. Pero Hilbert
ra un matemtico meticuloso. Era el edificio de Euclides slido?
No sera conveniente refrescar el andamiaje del mismo mediante el
igor que impulsaron los matemticos del siglo XIX? Existan ante-
edentes en el trabajo de Peano y Pfaff (1765-1825)
t
sobre la
xiomtica de la geometra. Pero Hilbert buscaba ms y lo encontr.

dlagen der Geometrie (Los fundamentos de la geometra)

En 1899 Hilbert publica un trabajo fundamental: Grundlagen der
Geometrie que el estudiante UNA encontrar en el Moodle del curso
(http://academico.una.edu.ve/foro/file.php/40/MaterialesInstruccionales/
rtgrundlagen-pdf.pdf). En ese trabajo la geometra alcanz un
desarrollo riguroso. Un matemtico, dijo que lo que encontramos en los
Elementos de Euclides son razonamientos incorrectos sobre figuras
bien trazadas. Nosotros no llevamos nuestra crtica a ese extremo y
consideramos que Los elementos son una obra crucial para las
Hilbert los objetos de u
axiomas y por eso deca hablamos de pu
emos hablar de sillas, mesas y jarras de cerveza.

Qu es un nmero natural?
Parece sorprendente que lleguemos al siglo XX para responder lo que
atemtica deba alcanzar un estndar de rigor
lo IX aport. Giussepe Peano propuso los siguientes

t
Pfaff fue el tutor de Gauss y de Mobius. Pfaff es un precursor de la orientacin que seguira la matemtica alemana del siglo XIX.

172

1. 0

2. T

o

y
sor tambin est en A entonces A es el conjunto

es
ante los
nm ue
Hilb
sob los
nm

na
ue
ntre todos los hombres.
Impuls el uso de la lgica y simbologa matemtica. Es
a
as
para caracterizar un espacio vectorial que todava
usamos.

es un nmero natural.
odo nmero natural tiene un nmero que le sigue, o un sucesor.
3. 0 no es el sucesor de ningn nmero natural.
4. Si dos nmeros naturales tienen el mismo sucesor son el mism
nmero.
5. Si A es un subconjunto de los nmeros naturales tal que 0 est en A
si x est en A su suce
de los naturales.
La idea de Peano, como de Hilbert, es que el conjunto de propiedad
riormente escritas como axiomas representan o capturan lo esencial de
eros naturales. Luego los definen unvocamente. Debemos destacar q
ert ide en 1899 una axiomtica de los nmeros reales que ha prevalecido
re el uso de las cortaduras de Dedekind. Los axiomas de Hilbert para
eros reales son:

1. Los nmeros reales son un cuerpo ordenado.
2. Toda parte acotada de los nmeros reales tiene un supremo.
3. Los reales verifican la propiedad arquimediana.
Giussepe Peano (18581932)
Matemtico, filsofo y profesor italiano. Hombre de u
personalidad polifactica, ide un lenguaje con el q
pretenda lograr la comunicacin e
importante su teorema de existencia de soluciones
ecuaciones diferenciales y su construccin de una curva
que llena un cuadrado. En el ao de 1888 dio los axiom

173

4. E

4. Axiomas de congruencia.
5. Axioma de continuidad(principio de Arqumedes).
de definir lo que es un punto o una recta, esos
objetos quedan determinados por los axiomas. Las letras maysculas
A,B,
structura de los Grundlagen
Hilbert dividi los axiomas de la geometra en 5 grupos:

1. Axiomas de incidencia.
2. Axiomas de orden.
3. Axioma de las paralelas.

No hace ningn intento
designan los puntos y las letras minsculas a,b las lneas rectas y los
planos con letras griegas , , . Observe que esa notacin es la que se
acostumbra a usar en los textos de geometra ms de 100 aos despus.

Hilbert tambin incluye, en su obra maestra sobre los fundamentos de
geometra, la geometra proyectiva y los desarrollos que conocemos como
geometra no eucldea. Era una obra que abarcaba el desarrollo de ms de
2.300 aos y que pona la piedra definitiva del edificio que el anciano Euclides
empez a armar.

As tenemos a un David Hilbert en la cumbre de sus poderes
matemticos con un importante trabajo en la teora de invariantes y en
el lgebra conmutativa y que quiere poner el cuerpo de las
matemticas en orden y a salvo tal como lo haba hecho con la
geometra. Pero antes de exponer su programa y ver el impacto de su
charla de 1900 en el Congreso Mundial de Pars, terminemos esta
corta biografa.

Hilbert y su persona
vida, la poltica, los paseos, et Se le poda ver en bicicleta
recorriendo el campus universitario y ya hablamos de su carcter
peripattico disfrutando, desde que era estudiante, largas caminatas
con
sociable a quien le encantaban las fies

A diferencia de Cantor, Hilbert fue una persona que disfrut la
c.
Minkowski y Hurwitz. Era una forma que le encantaba para
aprender y discutir sobre matemticas. Tambin era una persona
tas y bailar. Disfrutaba de la
compaa de los otros y stos tambin lo queran. Sin ser un muje-

174

riego, le encantaban las mujeres comportndose caballeroso pero a
veces realizaba atrevidos avances.

No se desenvolva mal en el ajedrez acadmico alemn y el
importante ministro para la Educacin y Ciencia Althoff, propici el
avance de Hil n universitario alemn. Althoff sigui
en varias opor e Hilbert sobre promociones y
movimientos d
reputacin de

Hilbert se
de Knigsberg
profesor de m
el rector de la
entrevista y sa
en una banca, s entana y le grit, qu era lo
s estudios
y le trajo a los Hilbert diversas preocupaciones. Franz muri en el ao

bert en el escalaf
tunidades los consejos d
e profesores; debemos sealar que Althoff tena la
ser autoritario y poco influenciable.
cas en 1892 con Kathe J erosch, hija de un profesor
. Kathe represent un balance importante en el distrado
atemticas. Se cuenta que una vez estando reunido con
Universidad de Knigsberg, Hilbert olvid el motivo de la
biendo que Kathe estaba en el patio de enfrente sentada
e asom por la v
importante que tena que conversar con el rector?

Weyl consideraba que, en buena parte, el Zahlbericht estaba
escrito de manera tan impecable por la intervencin y revisin que
realiz Kathe. Hilbert y Kathe tuvieron un hijo: Franz. Lamentable-
mente fue un joven frgil mentalmente, que no destac en lo
1969.
Hilbert mantuvo su actitud alegre, activa y social toda su vida.
Cuando Runge lleg a Gotinga en 1904 ense a Hilbert a esquiar. Un
da Hilbert perdi uno de los esqus en la parte superior de la montaa
y el mismo desliz pendiente abajo hasta una ladera de la montaa.
Hilbert baj penosamente la montaa llevando un solo esqu. Al
comentar en una carta el incidente a Minkowski, ste le respondi por
qu no te liberaste del otro esqu?, si lo hubieras lanzando cuesta
abajo en el mismo lugar donde perdiste el primero, con seguridad
hubiese terminado cerca de ste y tu descenso no hubiera sido tan
fastidioso. En la siguiente carta Hilbert le dijo a Minkowski: Runge no
me ense eso!

Bajo la gida de Hilbert, Gotinga lleg a ser el principal centro
matemtico mundial. Importantes matemticos fueron discpulos de
Hilbert. Invitamos al lector a ir a la web The Mathematics Genealogy
Project(http://genealogy.math.ndsu.nodak.edu/id.php?id=7298) para
que observe la impresionante lista de 75 estudiantes de doctorado de
David Hilbert, en esto Hilbert super a Cantor quien solamente tuvo un
estudiante de doctorado y el mismo no destac como matemtico.

175

A pesar de ser un alemn a carta cabal, Hilbert se opuso sin xito
a las polticas de d
adelante los nazis desde los
iscriminacin con base a la raza que llevaron
aos treinta. Grandes matemticos
iscpulos de Hilbert fueron judos: Lasker (campen mundial de
etc. Incluso Weyl tuvo

otros fueron asesinados o encar-
celados por los nazis. Sabemos que los nazis atacaron no slo a las
personas sino tambin al conocimiento que ellas generaron. Por
ejemplo, calificaron a la Teora de la Relatividad como una patraa
juda. Una muestra del valor y la
a de eso.

Hilbert fallece en 1943 a consecuencia de una cada y las
complicaciones e inactividad derivada de ella, pocas personas fueron a
su funeral; recordamos que en este momento Alemania ya perda la
Segunda Guerra Mundial y que la situacin para los civiles era terrible.
los nazis provocaron la prdida del
ompa a Hilbert durante su vida. En
su lpida se lee:
r
L
marc la matemtica del siglo XX de manera decisiva. Hilbert tiene la
responsabilidad de una de las conferencias en la plenaria. Llevaba
t

Adems, la conferencia inauguraba un nuevo siglo y deba
marcar caminos matemticos para la nueva centuria. Hilbert comenz
locucin con palabras muchas veces mencionadas: Quin de
tras el cual yace escondido el
futuro, y asomarse, aunque fuera por un instante, a los prximos
a

d
ajedrez de 1894-1921), Courant, Steinhauss,
ue dejar Alemania por que su esposa era juda. Algunos de estos q
matemticos huyeron de Europa,
independencia de Hilbert es que,
siendo Hilbert un anciano, el ministro de Educacin nazi Rust, le
pregunt cmo iba la matemtica en Gotinga despus de ser liberada
de la influencia juda. Hilbert respondi de manera sarcstica:
Matemtica? All no queda nad
Adems, como ya lo sealamos,
importante grupo humano que ac
Nosotros debemos conocer, nosotros conoce-
emos.

os 23 problemas de Hilbert

En el congreso de Pars en 1900 ocurri uno de los hechos que
iempo planificando su alocucin; recordaba que Minkowski le seal
lo aburrida que le pareci la conferencia de Poincare en el Congreso
de Zurich de 1897 y Hilbert no quera sufrir crticas similares.
su a
nosotros no quisiera levantar el velo
vances de nuestra ciencia y a los secretos de su desarrollo ulterior en
los siglos futuros? Cules sern las metas particulares que tratarn
de alcanzar los lderes del pensamiento matemtico de las gene-
raciones futuras? Qu nuevos mtodos y nuevos hechos nos depa-

176

rarn los siglos por venir en el ancho y rico campo del pensamiento
m
Hilbe e los problemas
para la vi e problemas era
l fue
v l e
p blema se e
abarca el problema en particular pero quizs otros problemas, el
matemtico desarrolla en abstracto la teora considerada y la solucin
del problema emerge de los enidos en la teora, pudin-
d e o s que pueden aplicarse a
e Angus Taylor,
traduzco: El tratamiento de muchos tpicos en matemtica pura y
a
a del problema considerado, y los
a
As, Hilbert no contemplaba su lista como una serie de acertijos
ms o menos difciles de resolver sino como la fuente para la creacin
d im
n ideales primos o las
extensiones ciclotmicas. Hilbert quera postular una serie de proble-
iglo XX en el
rciales, etc.

el cardinal del continuo. Cul es el
c

atemtico?

u
rt como Halmos reconoca la importancia d
talidad de las matemticas. La resolucin d
a nte para la creacin de teoras matemticas. Este es un punto
ita n el trabajo de Hilbert, puede ser llamado el mtodo de Hilbert. El
ro coloca en un contexto muy general, en una teora qu
resultados obt
os encontrar en el camino nuevos mt do
un espectro diferente de problemas. Veamos lo que dic
plicada es caracterizado por el esfuerzo de eliminar los detalles que
no son esenciales para mostrar claramente los postulados funda-
mentales y la estructura del razonamiento. El esfuerzo frecuentemente
lleva a un cierto grado de abstraccin, donde ponemos temporalmente
de lado la naturaleza concret
spectos del problema que son de gran importancia son exhibidos de
manera axiomtica.

e portantes teoras que a su vez generaran nuevos problemas. La
importancia de la solucin del ltimo teorema de Fermat no radica
tanto en la verificacin de lo que pensaba Fermat. La importancia es
que al intentar resolver el problema se desarrollaron novedosos m-
todos del lgebra como la factorizacin e
mas que impulsasen el desarrollo matemtico en el s
lgebra, teora de conjuntos, ecuaciones en derivadas pa

La siguiente lista resume los problemas de Hilbert.
LOS 23 PROBLEMAS DE HILBERT
(Nota de la Edicin del Prof. J os Ramn Ortiz:
http://personales.ya.com/casanchi/ref/pfuturos01.htm)

1. P oblema de Cantor sobre r
ardina l del continuo?

Heart of Mathematics [The American Mathematical Monthly, Volumen 87, Nmero 7, AgostoSeptiembr
9524],
u
The e de
1980, pginas 51

177

2. La compatibilidad de los axiomas de la aritmtica. Son com-
patibles los axiomas de la aritmtica?

3. La igualdad de los volmenes de dos tetraedros de igual base e
igual altura.

4. El problema de la distancia ms corta entre dos puntos. Es la
lnea recta la distancia ms corta entre dos puntos, sobre cualquier
superficie, en cualquier geometra?

5. Establecer el concepto de grupo de Lie, o grupo continuo de
transformaciones, sin asumir la diferenciabilidad de las funciones
que de finen el grupo.

6. Axiomatizacin de la fsica. Es posible crear un cuerpo axioma-
tico para la fsica?
7. La irracionalidad y trascendencia de ciertos nmeros como
2
2 ,etc.

8. El problema de la distribucin de los nmeros primos.

9. Demostracin de la ley ms general de reciprocidad en un cuerpo
mentacin rigurosa del clculo enumerativo de Schubert o
geometra algebraica.
de nmeros cualesquiera.

10. Establecer mtodos efectivos de resolucin de ecuaciones diofn-
ticas.

11. Formas cuadrticas con coeficientes algebraicos cualesquiera.

12. La extensin del teorema de Kronecker sobre cuerpos abelianos a
cualquier dominio de racionalidad algebraica.

13. Imposibilidad de resolver la ecuacin general de sptimo grado por
medio de funciones de slo dos argumentos.

14. Prueba de la condicin finita de ciertos sistemas completos de
funciones.

15. Funda

16. Problema de la topologa de curvas algebraicas y de superficies.

17. La expresin de formas de finidas por sumas de cuadrados.

178

18. Construccin del espacio de los poliedros con gruentes.

19. Las soluciones de los problemas regulares del clculo de
variaciones, son siempre analticas?

20. El problema general de condiciones de contorno de Dirichlet.

21. Demostracin de la existencia de ecuaciones diferenciales lineales
de clase fuchsiana, conocidos sus puntos singulares y grupo
monodrmico.

22. Uniformidad de las relaciones analticas por medio de funciones
automrficas: siempre es posible uniformizar cualquier relacin
algebraica entre dos variables por medio de funciones automorfas
de una variable.

23. Extensin de los mtodos del clculo de variaciones.

Algunos problemas son muy sencillos de entender. Por ejemplo,
Hilbert se pregunt por la naturaleza del nmero
2
2 , es este
nmero trascendente? Guelfond (1906-1968) demostr en 1934 que
el nmero era de hecho trascendente resolviendo el problema. El
primer problema es la Hiptesis del Continuo, propuesta inicialmente
por Cantor. Esto indica la importancia que Hilbert le daba a la Teora
de Conjuntos. En la pgina del moodle del curso hemos dejado para
los estud
a de la lista ganaron reconocimiento mundial.

iantes la charla original de Hilbert, as como un par de
referencias sobre la importancia de los problemas en el siglo XX.

Algunos de los problemas son muy difciles de entender y no hay
consenso matemtico sobre lo que Hilbert pretenda. Quizs el
carcter universal de Hilbert y su amplia visin de la matemtica haya
hecho que esos enunciados permanezcan oscuros para la mayora.

Hilbert logr sus objetivos, sus problemas motivaron desarrollos
importantes y casi todos fueron resueltos mediante la introduccin de
importantes ideas y mtodos. Los matemticos que resolvieron algn
problem

179

El programa de Hilbert

. La teora fuera completa.

El e
estas ide conjunto de axiomas verifica la condicin 1. s y slo si
ningu d
pued
delo de la teora axiomtica en la cual se verifique el resto de los
axiom
pendiente. Si el axioma fuera una consecuencia del resto, al hacer lo
anterior encontraramos una teora contradictoria o inconsistente, y no
podr
usando las
leyes de inferencia de la lgica. Una contradiccin fulmina una teora
mate
a
persona, Hardy dijo: si 2+2=3 entonces, restando 2 a ambos lados, se
tiene que 2=1, como el Papa y Churchill son dos ellos son uno. No s
si est erta pero es muy hermosa.
v
La he colocado para
demostrarle al estudiante lo peligroso de encontrar en una teora una
contradiccin, a partir de ella se puede demostrar cualquier cosa.

Como ya sealamos la aparicin de paradojas en la Teora de
Conjuntos, como la Burali-Forti y la de Bertrand Russell, indicaban que
un esfuerzo deba ser realizado para sostener el importante edificio de
la matemtica. Hilbert concibi un plan completo a comienzos de los
aos veinte, basado en la lgica matemtica, para garantizar la esta-
bilidad del universo matemtico. Hilbert pretenda que cada teora
matemtica deba consistir en cuerpo axiomatizado de forma que:

1. Los axiomas fueran independientes unos de otros.
2. Los axiomas fueran consistentes.
3
studiante debe recordar de su curso de Geometra algunas de
as. Un
no e los axiomas se puede derivar de los otros. Usualmente uno
e mostrar la independencia de un axioma construyendo un mo-
as y se niegue el axioma que queremos mostrar que es inde-
a existir un modelo.

Una teora axiomtica se denomina consistente si no podemos
derivar contradicciones de los axiomas que la determinan,
mtica. No vale aquello de que la excepcin confirma la regla. En
matemtica las reglas no tienen excepciones y si encontramos una
regla (teorema) que afirma P y otra que afirma no P la teora no es
vlida desde el punto de vista matemtico. El estudiante debe recordar
que en un sistema contradictorio se puede probar cualquier propo-
sicin. Una vez le preguntaron a Hardy cmo se poda deducir de que
si 2+2=3 entonces el Papa J uan XXIII y Churchill eran la mism
a ancdota es ci
La completitud de una teora matemtica significa que si una
proposicin es verdadera ella puede ser demostrada a partir de los

de que he ledo la misma historia atribuida a otros matemticos y con otros personajes, pero eso ocurre frecuentemente.
v
Suce

180

axiomas. De alguna manera los axiomas constituyen una base para
construir el resto de las proposiciones verdaderas.

Por supuesto Hilbert tambin favoreca el uso de la teora de
conjuntos y de un lenguaje depurado con una simbologa matemtica
adecuada. Ninguna intrusin de la intuicin o de un lenguaje vago era
permitida.

Godel y Einstein en Princeton

Un primer xito de este pr
t ndo, K rt Go ajo la tute
que gico de primer orden era completo y consistente. Este
t ajo fue la te doctoral de del y slo
habla muc tanc
de y aliviado. Era un gran xito en la direccin
que haba planteado. No present
sus resultados

Lo que voy a relatar es difcil de asimilar. Godel demuestra un resultado
denominado Teorema de Incom
difer tica
es i
Pea
P v in-
cipio es.
Lue as
mat al
estu
ograma viene cuando un joven doc-
ora u del, b la de Hans Hahn, demuestra en 1931
el clculo l
rab sis Go tena 11 pginas, lo cual
ho de la relacin entre impor ia y cantidad. Hilbert se
i sentir entusiasmado b
a que ese mismo joven iba a acabar
de plano con su programa, asestndole un golpe mortal.

5. Godel y
pletitud. Esencialmente el mismo dice que, a
encia de lo que ocurra en el clculo lgico de primer orden, la aritm
ncompleta. Es decir, en cualquier sistema que contenga los postulados de
no ocurre la existencia de proposiciones P tales que ni P ni la negacin de
an a ser demostrables. Pero una de ellas debe ser verdadera por el pr
del tercio excluso, es decir la teora admite verdades indemostrabl
go estamos en una encrucijada insalvable ya que la mayora de las teor
emticas son ms complejas que la aritmtica de Peano. Invitamos
diante UNA a leer la divertida novela

181

to Petros y la conjetura de Goldbach El s sobr
profundo resultado de Godel.

Se cuenta que Hilbert se enfureci cuando conoci el resultado
teo in t pero contino expl ando la posibilidad de
salvar su programa, bus-cando nuevos mtodos e ideas en la lgica
m
ama
1. El Teorema de Incompletitud de los sistemas formales.
2. Solucin parcial de la hiptesis del continuo, finalmente
resuelta por Paul Cohen.
la-
Estu de
los era
invitado con frecuencia. Personalidad hipocondraca, depresiva y un manitico
compulsivo. Muere de inanicin porque pensaba que le podan dar comida
envenenada, de hecho, por aos, solamente coma lo que su esposa le prepa-
raba. Fue sin duda uno de los genios matemticos del siglo XX.

w
de Apostolos Doxiadis para reflexionar m e el

de Godel, despus invito a Godel a Gotinga para conversar sobre su
rema. Al f al lo acep or
atemtica, pero la historia nos muestra que fue un vano intento. Kurt
Godel acab con el progr logicista de David Hilbert.

Kurt Godel(1906-1978)
Matemtico austraco, posteriormente nacionalizado nortea-
mericano. Public poco pero su trabajo fue profundo e
importante:
3. Un modelo matemtico para la teora general de la re
tividad de Einstein.
diante de Hans Hahn, miembro del Crculo de Viena, a raz del ascenso
nazis decide quedarse en la Universidad de Princeton ( EEUU) donde

afirma que cualquier nmero par es la suma de dos primos. Fue un problema planteado por Goldbach a
n 1742.
w
La conjetura de Goldbach
Euler en una carta fechada e

182

Los espacios de infinitas dimensiones

Voy a concluir con el trabajo de Hilbert en una rama de las
matemticas conocida como anlisis funcional. La idea inicial de
espacios de infinitas dimensiones est claramente expresada en el
trabajo de Riemann Sobre las hiptesis que sirven de fundamento a la
geometra, cito: Pero existen variedades en las cuales la determinacin
de la posicin exige, no un nmero finito, sino una serie infinita, o una
varie
=
=
= <

y la bola unitaria es el

dad continua de determinaciones de magnitudes. Tales son, por
ejemplo, las variedades formadas por las determinaciones posibles de
una funcin en una regin dada, por las formas posibles de una figura
en el espacio, etc. Sin embargo, la motivacin de Hilbert para con-
siderar espacios de infinitas dimensiones viene del estudio de las
ecuaciones integrables, iniciado por Vito Volterra (1860-1940) e Ivar
Fredholm (1866-1927). Hilbert geometriza la teora de ecuaciones
integrables, considerando las funciones incgnitas como vectores de
infinitas componentes. La teora obtenida era similar a la del espacio
de Euclides de n dimensiones, en la cual se mantenan las nociones
de ortogonalidad y era vlido el Teorema de Pitgoras. Por supuesto
la nocin de convergencia adquiere crucial importancia para poder
definir el tamao o norma de un vector que tiene infinitas compo-
nentes. En un trabajo de 1906, Hilbert define la bola unitaria del
espacio
2
l como el dominio de las formas cuadrticas; el espacio
2
l
queda definido por:

( )
2
2
1
1
,
i i
i
i
l
conjunto B definido por:
B
( )
2
1
1
, 1
i i
i
i

=
=

= <

Se cuenta que un da en el seminario de Gotinga, Weyl dio una
charla del teorema de Riesz-Fischer sobre la completitud del espacio
de Hilbert. A la salida del seminario Hilbert le dijo: no entend algo,
qu es un espacio de Hilbert?

183

6.
En el espacio de tres dimensiones que denominamos tenemos:

cio
al.
or:
Qu es un espacio de Hilbert?

3
1. La estructura de espacio vectorial, es decir los elementos del espa

son vectores los cuales se pueden sumar y multiplicar por un nmero re

2. La nocin de tamao de un vector dada p
2 2 2
1 2 3 1 2 3
( , , ) x x x x x x = + +
Observe que el tamao de un vector se puede definir a partir del producto
scalar de dos vectores; recordamos que el producto escalar en se define
como:
e
3

3
1 2 3 1 2 3
1
i i
i
( , , ),( , , ) x x x y y y x y =
=

Luego:
1
2
1 2 3 1 2 3 1 2 3
( , , ) ( , , ),( , , ) x x x x x x x x x =
.

Con estas ideas se pueden definir las nociones bsicas de distancia entre
vectores, lmite, continuidad de funciones, etc. Es decir podemos hacer anlisis
en el espacio
3
. Hilbert quera extender estas ideas a espacios de vectores
con infinitas componentes y lo logr.

Un espacio de Hilbert H es un espacio vectorial sobre los nmeros reales
comp scalar (o lejos) y sobre l se define un producto e , que verifica:
, x y es un nmero real para cualquier x,y en H
, , x y y x = para cualquier x,y en H , es decir el producto escalar es
simtrico
, 0 x x para cualquier x en H y vale 0 slo para el vector nulo
, , , x y z x + = z y z + para cualquier terna x,y,z en H
, , x y x y = para cualquier x,y en H y escalar

El tamao de un vector se define como: , x x x = .
Comprobaciones no muy difciles indican que el nmero , x x x = tiene
las propiedades que debe tener una funcin que mida el tamao de un vector.

184

Luego, Hilbert log nocin de espacio de ndimensiones a una
cantidad arbitraria de dimensione

r extender la
s.
La presentacin axiomtica y geomtrica de la teora se debe a Erhard

La obra de Hilbert permanecer como una montaa impresio-
n , pero una montaa sin nubes y
con profundas hondonadas. Una montaa que muestra toda su belleza
pero que tiene profundidades no exploradas.
Nicolas Bourbaki: Uno para todo y todos para uno
guerras y disputas: guerras napolenicas, Primera Guerra Mundial,
S atemticos
de esos grandes pases un campo de batalla pacfico pero intenso. Se
cuenta que al terminar un conflicto blico los matemticos de ambos
de cicatrizar las

lois, etc. Sin embargo, con la puesta en marcha del plan de Pfaff y
ville o Poincare. Pero los desarrollos ms
novedosos en lgebra (Kummer, Dedekind), Teora de Nmeros
, Riemann) se realizaron en Alemania. Adems, los alemanes
n el agravante de la
prdida de muchos jvenes prospectos en la primera guerra mundial.
As encontramos en el ao 1935 a dos amigos, egresados de la Ecole
Normale (Escuela Normal) discutiendo qu libro deberan usar para
ensear el curso de Clculo en la Universidad de Caen. Los amigos

Schmidt (1876-1959) y a J ohn Von Neumann (1903-1957).

ante en la cordillera de la matemtica

Alemania y Francia fueron dos pases con una gran cantidad de
egunda Guerra Mundial, etc. La matemtica fue para los m
pases organizaban encuentros conjuntos para tratar
heridas dejadas por la guerra.
En la poca de la Revolucin Francesa el centro de la mate-
mtica era Francia, la Francia de Cauchy, Lagrange, Laplace, Fourier,
Ga
el sistema de seminarios vigente en Alemania impulsado por Richelot,
el centro de la matemtica se desplaza a Alemania. A ello contri-
buyeron matemticos como Gauss, Dirichlet, Riemann etc. Berlin y
Gotinga se erigen como los centros principales del saber matemtico a
nivel mundial. Francia reacciona con algunas individualidades impor-
tantes como Hermite, Liou
(Kronecker, Minkowski), Fundamentacin del Anlisis (Riemann,
Weierstrass), Teora de Conjuntos (Cantor) y Geometra no eucldea
(Klein
tenan al director de orquesta ms genial en el perodo entre siglos:
David Hilbert. Esta decadencia de la matemtica francesa se mantiene
en las dos primeras dcadas del siglo XX co

185

eran Andr Weil y Henri Cartan. Ellos usaban el libro de Goursat, el
c 02-1913 y era un considerado un texto clsico
pero que no inclua modernos desarrollos. De hecho, en su tiempo,
este tratado de tres volmenes fue considerado un gran libro de texto.

upremaca que Europa
mantuvo por varios siglos. Sentan que la matemtica francesa perda
el tren de la historia y que deba ser renovada. As se plantean
e nuevas reuniones e invitan a otros condiscpulos
como Dieudonn y Chevalley, quienes se unen al grupo y empiezan
una serie de reuniones en un caf del barrio latino. Empiezan a discutir
sobre el texto de clculo, pero pronto los diversos intereses de los
participantes se manifiestan. Quieren escribir sobre lgebra, teora de
conjuntos, topologa, etc. ya no era un libro de clculo, el proyecto se
torna en una reedicin del famoso enciclopedismo francs: una obra
monumental que incluyese toda la matemtica. El autor va a ser un
desconocido pero pronto famoso matemtico inexistente: Nicols
Bourbaki.

La obra que planifican no poda tener un nombre ms
emblemtico: lments des mathmatiques
(http://www.bourbaki.ens.fr/Ouvrages.html). El nombre recordaba
el nombre de la gran obra griega Los elementos (Stokheia) de
Euclides. Euclides de alguna manera recopil el saber geomtrico y
aritmtico de la poca. Adems, Euclides lo organiz de manera
brillante: el mtodo axiomtico guiaba su trabajo. Ya hemos sealado
que el mtodo de Euclides tena fallas, como seala Blanch:
suprimid la figura, trazada o imaginada, y la demostracin se viene
abajo. Hilbert con sus Grundlagen subsan estas deficiencias, es-
pecific un grupo de axiomas que eliminaban el llamado a lo sensorial,
a lo pictrico. Poincare pensaba se haba alcanzado el rigor absoluto.
El mtodo axiomtico es fundamental para la empresa que Nicols
Bourbaki se va a trazar.

La empresa adems result un xito editorial grande lo cual
permiti editar una gran cantidad de volmenes (30 aproximada-
mente) en 70 aos de existencia. Por supuesto que no todo fue escrito
por los legendarios miembros iniciales, de hecho para mantener el
vigor del grupo se puso la condicin que todo miembro deba retirarse
a los 50 aos. Tambin por la necesidad de una buena comunicacin
ual fue escrito entre 19
Los jvenes profesores estaban preocupados viendo cmo la
matemtica en Francia se encontraba rezagada respecto a la ma-
temtica alemana e incluso la naciente matemtica en Estados Unidos
de Amrica, amenazaba con acabar la s
empezar por lo fundamental: escribir el mejor y ms moderno texto de
clculo. Plan an

186

los miembros deban hablar un francs muy fluido. De hecho Bourbaki
es una obra francesa con la participacin de pocos extranjeros. Una de
l
a todos saban que Bourbaki era un grupo de matem-
ticos franceses que se escondan bajo un seudnimo. La reaccin no
se hizo esperar. Bourbaki en un artculo llam gusano a Boas y
deca que Boas era un grupo de matemticos americanos que
publicaban bajo el seudnimo de Boas.
e oscuro, algunos dicen
que se debe a una representacin en broma que realiz un actor en la
E
d B
s una
batalla amenaz con suicidarse, de hecho no lo hizo y se convirti en
u
N
D
p
t
as pocas excepciones fue Samuel Eilenberg de origen polaco.
Bourbaki fue creciendo en los aos cincuenta y sesenta y su im-
portancia lleg a ser incuestionable. En algn momento el matemtico
americano Ralph Boas en un artculo en la Enciclopedia Britnica
coment que y
adems

El origen del nombre Bourbaki permanec
col Normale pretendiendo ser un matemtico. En algn momento,
emostr el Teorema de ourbaki. Otra historia seala que el nombre
e debe a un general francs de origen griego, que al perder
n venerable anciano. Una estatua suya permanece en la ciudad de
ancy donde varios de los miembros fundadores fueron profesores.
e cualquier forma, estas historias nos revelan el espritu juvenil de los
articipantes y la alegra con la que emprendieron su monumental
area.

Bourbaki: Primer Congreso 1935

L

El sistema de trabajo consista en reuniones anuales, en verano
xi-
mo trabajo a ser publicado. Usualmente una persona era asignada
p urante un perodo de un
a o de los
m r
r e se-
os elementos de las matemticas
denominadas Congreso. En ellas se escoga y discuta sobre el pr
ara escribir los captulos del siguiente libro d
o. Al ao siguiente el manuscrito era repartido al rest
iembros quienes usualmente lo criticaban hasta destruirlo, el auto
esignado deba empezar prcticamente de nuevo. Se trataba d

187

guir ciertas pautas que le daban a Bourbaki un estilo caracterstico y
in
de Bourbaki para el desarrollo de su obra matemtica se plantean
v
del lenguaje de la Teora de Conjuntos, de hecho el
primer volumen iba a ser sobre conjuntos y fue publicado en
del mtodo axiomtico que Hilbert y su escuela impu-
presentacin completa de las principales estructuras
emticas

Bourbaki, quienes
sometan los trabajos a una minuciosa revisin. Uno de los puntos
i ourbaki es la presentacin de un
l
de Hilbert en geometra y lo que pretenda Bourbaki. Hilbert en sus
cfica, en este
caso la geometra. Bourbaki quera axiomatizar las grandes teoras
unificadoras de la matemtica. Esa unificacin se lograba a travs del
concepto de estructura. Era el concepto de estructura lo que quera
atrapar Bourbaki. Bourbaki define tres tipos de estructuras bsicas:
Algebraicas
e entienden claramente conside-
rando una estructura madre: la estructura de grupo (ver la nota 2.
matemtica arriba). Una estructura madre o bsica es aquella de la
de estructuras ms
complejas. El estudiante recordar que en la formulacin del concepto
de anillo, cuerpo o de espacio vectorial el concepto de grupo aparece
inmerso. En las estructuras algebraicas tenemos entonces un conjunto
dotado de leyes de composicin (externas o internas) que verifican
ciertas propiedades o axiomas.

diante
recuerda el concepto de orden parcial ya revisado en esta unidad. La
estructura bsica o fundamental es la de reticulado.
uniforme independientemente de quin escriba el texto. En la elecc
arias cosas:

1. Uso
1939.
2. Uso
sieron.
3. Una
mat
El lenguaje fue muy cuidado en la obra de
mportantes del uso del lenguaje en B
enguaje unificado que se mantena en las diversas obras.

Debemos sealar una diferencia entre el trabajo en la axiomtica
Grundlagen der Geometrie axiomatiza una teora espe

De orden
Topolgicas

Las estructuras algebraicas s
cual derivan o est incluida en la formulacin
Las estructuras de orden son fciles de entender si el estu

188

189
1. R
Notas matemticas complementarias

eticulados

Decimos que L es un reticulado si: L un conjunto con un orden par

cial
para el cual si tenemos dos elementos cualesquiera , x y existe el mximo
{ }
max , x y
y el m o nim { }
min , x y
que verifican:
1. x { },
y { }
max , x y
y { }
max , x y , x y max
es el menor elemento
de L con esta propiedad
2. { }
min , x y x
, { }
min , x y y
y { }
min , x y
es el mayor elemento
de L con esta propiedad.

Ejemplos de reticulado son la recta real con el orden usual o el conjunto
de partes de un conjunto dado, donde la relacin de orden es la inclusin.
dar como ejemplo de reticulado el
onjunto de todos los subgrupos de un grupo dado, con el orden natural de la
clusin.

El ltimo tipo de estructura considerada es la estructura to-
polgica. En este caso queremos unificar las partes de la matemtica
donde las nociones de continuidad y convergencia son estudiadas.
Esto es realmente un desarrollo matemtico propio del siglo XX ya que
alrededor de los aos 20, estos conceptos son clarificados y enun-
ciados de manera definitiva. Antecedentes de los conceptos que van a
surgir son la teora de los espacios de Hilbert desarrollada por Schmidt
en 1906 y la teora de espacios mtricos desarrollada por Frechet el
mismo ao. Por cierto que el concepto de espacio mtrico engloba
varias estructuras: espacio de Hilbert, espacio normado, etc. Vamos a
describir lo que es un espacio mtrico donde el concepto fundamental
es el de distancia.

. Espacios mtricos

Un espacio mtrico
Tambin dentro la teora de grupos podemos
c
in
2
E es un conjunto (los elementos de E se llaman
untos) puntos de p dotado de una distancia d entre los E que satisface los
iguien

s tes axiomas:

1. La distancia en d E asocia a cada par de puntos , x y E un nmero
es decir como funcin : d E E real,

2. La distancia es simtrica, es decir para cada par de puntos , x y E se
tiene ( , ) ( , ) d x y d y x =
. La distancia siempre es positiva, esto es decir para cada par de puntos
,

3
x y E se tiene ( , ) 0 d x y . An ms, ( , ) 0 d x y x y = =

4. La distancia verifica la desigualdad triangular, es decir para cada terna
de puntos , , x y z E se tiene ( , ) ( , ) ( , ) d x y d x z d z y +

Unos comentarios sobre los axiomas. El axioma 2 indica que la distancia
entre l p e unto x E y el punto y E es la misma que entre el punto y el
punto . El axioma 3 es muy natural, dicindonos que la distancia es siem-
coinc
Indica que siempre el camino ms corto es ir directamente de un punto al otro.
ebemos sealar que estos axiomas no son independientes entre s, aunque

ncepto de espacio mtrico evolucion a un importante hito
en la matemtica del siglo XX: el concepto de espacio topo-
lgico, debido a Hausdorff quien en 1914 publica Grundzge der
arcaba la teora de los espacios mtricos
y la de los espacios topolgicos.

8 en
Breslau, que ahora es parte de Polonia. De familia rica, se
de otros matemticos
alemanes desarro-llando su trabajo despreocupadamente por
su trabajo matemtico ms
profesionalmente. Destaca su obra en la Teora de Conjuntos
y e
de los adecer el infortunio de ser judo. l y su esposa
y E
x E
pre una cantidad positiva y que slo es nula en el caso que los puntos
idan. El axioma 4 es muy importante, probablemente el ms importante.
D
creo conveniente, por la claridad de la exposicin, escribir los 4 postulados.

El co
mengenlehre. Este trabajo ab

Felix Hausdorff
Matemtico alemn de origen judo. Naci en 186
dedica a la filosofa y a la matemtica. En el campo de la
matemtica no padeci el infortunio
su situacin eco-nmica. Es en el siglo XX y por la influencia
de Study que toma
n la formulacin de la Teora de Espacios Topolgicos. A raz de la llegada
nazis empieza a p

190

com
enviasen aun campo de concentracin.
Uno cosa que debemos sealar comn a todos estos desarrollos
ab
bsqueda de lo abstracto como equivalente de lo separado de la
realidad. Las estructuras matemticas que estudia Bourbaki son con-
el
es
sn
ge
espacios vectoriales y la topolgica de los espacios topolgicos surge
qu
Ve r ejemplo, la Teora de Distribuciones
de Laurent Schwartz con aplicaciones en fsica matemtica, ecuacio-
miembro destacado de Bourbaki que gan la medalla Fields en el ao
de 1950.
enten suicidio en Bonn en el ao de 1942, cuando era inevitable que lo
del siglo XX y al enfoque de Bourbaki es el creciente grado de
straccin de la matemtica. Pero como seala Bourbaki no es una
cebidas como estructuras relevantes y preadas de posibilidades. Son
alma del cuerpo de la matemtica y la unifican. Por supuesto que
tas estructuras se combinan entre ellas dando lugar a una nueva
tesis en matemtica, tan potente como la que dio lugar a la
ometra analtica. Por ejemplo, de la estructura algebraica de los
la teora de los Espacios Vectoriales Topolgicos. Alertamos al lector
e esto no es un juego del arte por el arte. De la teora de Espacios
ctoriales Topolgicos surge, po
nes en derivadas parciales, etc. Por cierto Laurent Schwartz fue un

Laurent Schwartz (1915-2002)

El grupo Bourbaki marc una tendencia en la matemtica del
siglo XX, dominada por un enfoque abstracto donde lo axiomtico era
omnipresente. El siglo XX vio el desarrollo de la lgica matemtica y la
Teora de Conjuntos a una altura no sospechada por Cantor ni Russell.
Los matemticos tambin formularon la Teora de Categoras y
Funtores que era un nuevo paso hacia una mayor abstraccin en ma-
temtica. Bourbaki no dio ese paso y se mantuvo dentro del esquema
derivado de la Teora de Conjuntos y su axiomtica, fue una eleccin
deliberada. Quizs teman que esto solamente llevase a un proceso
muerto donde la matemtica se alejar de sus fuentes vitales. No

191

queran lo abstracto por lo abstracto. Siempre se preocuparon por
mantener en sus libros una matemtica relevante. Su obra es una
piedra fundamental de lo que entendemos por matemtica en el siglo
XX como lo seal Halmos.

Se ha hablado de la influencia de la matemtica de Bourbaki en
la enseanza de la matemtica a nivel medio y primario. Sus miembros
destacados como Dieudonne han alertado que ellos no han propuesto
nada al respecto. Sin embargo, con una obra escrita tan importante,
han influido el currculo universitario y en algunas universidades como
la de Sao Paulo sus libros fueron usados como libros de texto. El
tiempo nos dir cul va a ser el aporte final de este grupo de amigos
que slo queran escribir el mejor libro de clculo que se hubiese
escrito.

incn del asesor
El desarrollo del campo matemtico en el siglo XX fue tremendo.
urgieron reas como el Anlisis Funcional, la Teora de la Medida, la
opologa Algebraica, etc. De hecho se considera a Hilbert como el ltimo
atemtico universal. Actualmente cada matemtico se dedica a una
equea parcela y conoce slo un dominio bien delimitado. Cabe pregn-
rse: tenemos una matemtica o infinidad de disciplinas que por razones
istricas y sociales se siguen agrupando con el nombre de matemtica?
speramos or sus ideas.

jercicio 1. Demuestre que definida como:

R
S
T
m
p
ta
h
E

E f
2
:
( )
f IN C
f n n
=

{ } 0,1,4,9, C = es una biyeccin, donde IN son los nmeros naturales y es el
onjunto de todos los cuadrados.
jercicio 2. Demuestre que exist y
los nmeros na

c

E e una biyeccin entre los nmeros enteros
turales.

192

Ejercicio 3. Sea K el conjunto de todas las sucesiones de ceros y unos, es
decir un elemento tpico de K es 1010101010101010101. Para ser un poco
ms formales, K= { } { }
: 0,1 f . Demuestre, usando el argumento diagonal de
Cantor, que K es no numerable.

Actividad 1. Recordamos que la definicin de tamao de un vector
, x x x . Demuestre la importante desigualdad de Cauchy-Schwarz : =
, x y x y

Siguiendo los pasos que sugerimos:

. Defina el polino 1
2. mio en , ( ) , p x y x y = + + y calcule el mismo. Imagine que los
vectores x,y estn fijos. Cul es el grado de ? p

3. Verifique que para todo es positivo Cmo debe ser el discriminante
de p?

4. Establezca la desigualdad que queremos demostrar.

Ejercicio 4. Usando la actividad anterior demuestre que:
x y x y + +

jercicio 5. Demuestre que en un grupo cualquiera el elemento neutro es
nico.
jercicio 6. Un caballo determina la distancia entre dos casillas del tablero de
jedrez de la manera siguiente: la distancia entre la casilla A y la casilla B es el
enor nmero de saltos que debe hacer el caballo para ir de A hacia B.
emuestre que sto es en realidad es una distancia que convierte el tablero de
jedrez en un espacio mtrico.
ctividad 2. Demuestre que los axiomas de la distancia no son indepen-
ientes.
ctividad 3. Vaya a la biblioteca del centro local y busque los axiomas que
aracterizan las siguientes estructuras matemticas:
1. Anillo
E

E
a
m
D
a

A
d

A
c

193

2. Espacio vectorial
3. Ideal
4. Espacio topolgico
5. Espacio vectorial topolgico
6. Espacio normado
7. Reticulado normado
Indique cales son estructuras algebraicas, de orden, topolgicas o una
ezcla de las anteriores. Busque ejemplos de cada una de estas estructuras:
nillo, ideal, etc. Los libros de Matemtica de la UNA (carreras 106 y 120)
ueden ser de valiosa ayuda para esta actividad.
jercicio 7. Demuestre que si un conjunto tiene n elementos, el conjunto de
us partes tiene .

m
a
p

E
s 2
n

194

Autoevaluacin
El test consta de do rtes. La parte consiste nos ejer-
temticos relaci l mtica del siglo XX y los emas
en la lectura y las s matem . La segunda con a unas
preguntas muy sencillas de selec para verificar su conocimiento del
del curso.

s

uestre que el co od tiene un
ayor que el de los nmeros reales.

conjunto dotado de una ley de composicin interna

s pa primera en algu
cicios ma
tratados
onados con
nota
a mate
ticas
t
lg siste en
cin simple
material
Ejercicio
1. Dem
cardinal m
njunto de t as las funciones de en
2. Un

se denomina un
semigrupo s y slo si es asociativa. Son los nmeros naturales un
espe a .
3. En las calles de una stablece la distancia del taxista como el
e cu un punto a otro. a ue la
ciudad y sus cuadras an una cuadrcula uniforme y qu alles son
ntido. Ve es una distancia. E camno de
ncia nic
l retic os reales con las io s de
ultiplicacin usuales, demostrar que

semigrupo con r

cto a la sum usual?. Razone su respuesta
ciudad se e
adras que lle
form
menor nmero d va ir de Supong
e las c
q
de doble se
menor dista
rifique que
o?
to es s el i

4. Se considera e
suma y m
ulado de los nmer operac
a b
ne
a b a b + .
lectura del siglo XX, Bourbaki fue:

matemtico fr ig go
b) Un grupo de matemticos franceses
general griego len
grupo de mate os ame encabezados po B

2.- Dos caractersticas principales de la matemtica del siglo XX son:
uso todo a
=

1.- De acuerdo a lo discutido en la
a) Un ancs de or en grie
c) Un
d) Un
que derrot
mtic
a Napo
ricanos r Ralph oas

a) Abstraccin y del m xiomtico

195

b) Una vuelta al uso de los infinitesimales y a lo geomtrico
c) La aparicin de la geometra no ea y la teora de conjuntos
d) Aparicin de la m cepto de
3.- Colabor con Cantor para el desarrollo de la Teora de Conjuntos:
a) Gauss
c) Dedekind
4.- Uno de los dos ltimos matemticos universales es:
b) Arqumedes
onjuntos:
r ic
d l
c) no estaba al tanto u desarr
o o de tema
undadores del grupo Bourbaki es:
a) David Hilbert
b) Andr Weil
re
d) J ean Bernoulli
tesis doct ral de Hilber sobre:

c) Lindemann
eucld
atemtica aplicada y del con grupo

b) Riemann
d) Hilbert

a) Euclides
c) Gauss
d) Hillbert

5.- Pensaba Kronecker

sobre la Teor a de C
a) que era un dispa
b) que era el punto
ate matemt
e partida de
de s
o
a matemtica contempo
ollo
rnea
d) trabaj sobre ella

pero no quis publicar nada por lo polmic l
6.- Uno de los miembros f

c) Henri Poinca

7.- El trabajo de o t vers

a) Geometra y sus fundamentos
b) Espacios de Hilbert
c) Teora de nmeros algebraicos
d) Teora de invariantes
8.- Demostr la imposibilidad de cuadrar el crculo:

a) Gauss
b) Galois
d) Hilbert

196

a) El trabajo de Cantor sobre Teora de Conjuntos
c) de la formalizacin de Cauchy sobre el concepto de funcin continua
d) del trabajo de Hilbert en sus Grundlagen
10.- Centrar la matemtica en el concepto de estructura es una idea de:
b) Hilbert
d) Kronecker
11.- Destruy el programa logicista de Hilbert con sus resultados:
b) Russell
d

9.- El problema conocido como la hiptesis del continuo surge de:
b) del trabajo del griego Eudoxio y su concepto de continuidad

a) Cantor
c) Bourbaki

a) Godel
c) Frege
) Burali-Forti

197


cios Ejerci

c nmeros reales en los nmeros
reales,

1. Supongamos que se pueda establecer una biyeccin entre los reales y el
onjunto de todas las funciones de los

{ } : M f = . El argumento, si el lector observa cuidadosa-
x asociamos una funcin
mente, es una variacin del argumento diagonal de Ascoli-Cantor. A cada
real le
x
x f . Consideramos ahora los valores
diagonales ( )
x
f x y construimos una funcin g que verifica:
( ) ( )
x
g x f x

Le preguntamos al lector: se puede construi ? Si la respuesta es r g
afirmativa y debe serlo, ve Ud. estimado lector el problema que se presenta
con g ?
os nmeros naturales son un ejemplo muy importante . L de semigrupo. El

4. Si sumo dos nmeros y le quito el ms pequeo de ellos, me queda el ms
grande.

Preguntas de Seleccin Simple

1. b) Grupo de matemtico franceses autores de una extraordinaria obra
matemtica: Los elementos.

2. a) Del trabajo de la escuela alemana se deriva el enfoque principal de la
matemtica en el siglo XX: la abstraccin y el mtodo axiomtico.

3. c) Como sealamos en la lectura Dedekind y Cantor tuvieron una
copiosa correspondencia en relacin al infinito.

4. d) Hilbert y Poincare son los dos ltimos matemticos que tuvieron una
visin panormica de nuestra ciencia.

2
lector debe recordar que en los nmeros naturales con la suma usual se
verifica la propiedad asociativa.

3. Lo dejamos al lector del curso, lo nico algo difcil de demostrar es la
desigualdad triangular. Trate de demostrarla usando reduccin al absurdo.

198

199
5. a) A Kronecker le disgustaba la idea del infinito, era un matemtico con
una visin limitada.

6. b) Andre Weil. Saba Ud. que Henri Cartan es el nico miembro fun-
dador vivo?

7. d) Lindemann le propone a Hilbert trabajar en la Teora de Invariantes
despus de un tropezn que sufri Hilbert al trabajar en fracciones
continuas.

8. c) Lindemann al demostrar que era trascendente acab con el asunto.
Por favor si alguien les muestra una prueba de cmo cuadrar el crculo
ni la vean. La duplicacin del cubo y la triseccin del ngulo tuvieron
igual suerte: son imposibles. Todos estos resultados estn enmarcados
en la Teora de Extensiones de Cuerpo que surge del trabajo de Galois.

9. a) La Hiptesis del Continuo nos pregunta si existen o no cardinales
intermedios entre el cardinal de los naturales y el de los nmeros reales
y viene del trabajo de Cantor.

10. c) Bourbaki considera tres tipos de estructuras matemticas fundamen-
tales.

11. a) Godel le dio jaque mate al programa de Hilbert.


201
A manera de Eplogo: Lecturas recomendadas

Todava recuerdo cuando encontr la seleccin de lecturas recomen-
dadas en el libro Calculus de Michael Spivak. Pensaba que si Spivak fue capaz
de escribir esa maravilla que es su Calculus entonces los libros que sugera
deban ser las fuentes de su extraordinario talento como escritor matemtico.
Con el tiempo he podido verificar mi hiptesis y he ido adquiriendo muchas de
las obras que Spivak me seal. Vamos a intentar sugerirle a lector ms cosas
que leer en el futuro.

Me encant el delicioso libro de Almira y Sabina: Hilbert: matemtico
fundamental. Muy bien escrito, se escapa de lo puramente anecdtico con sus-
tanciosas notas matemticas. Si el lector cree que es mejor muchas biografas
en lugar de una sola, el libro de Eric Temple Bell Men of mathematics es el
indicado. En el moodle del curso puse un enlace a una versin en espaol que
se puede descargar.

Para una visin panormica de la historia de la matemtica nos quedamos
el libro de Rey Pastor y Babini; el mismo est en nuestros centros de
recursos mltiples.

La comunidad hispanoamericana sufri recientemente una lamentable
perdida, la muerte de Miguel de Guzmn. Sus libros rebozan de amor por la
matemtica y sus personajes. Uno de sus libros, escrito con Claudi Alsina, es
Los matemticos no son gente seria. Lleno de ancdotas que presentan de
manera muy humana y jocosa a los matemticos. Pero su obra de divulgacin
es importante y recomendamos al estudiante UNA sus libros.


203
Apndice I: Obra de Bourbaki y miembros del grupo
Lo siguiente lo tomamos de la pgina web oficial del grupo Bourbaki, es un
resumen de los ttulos publicados por el grupo Bourbaki.
lments de Mathmatique:
Ttulos en francs
Thorie des Ensembles
chapitres 1
4
1970 (rimpression en
1998)
352
pages

Algbre
chapitres 1
3
1970
654
pages

Algbre
chapitres 4
7
1981
432
pages

Algbre chapitre 8
1958 (nouveau tirage
en 1973)
190
pages
puis
Algbre chapitre 9
en 1973)
212
pages
puis
Algbre chapitre 10 1980
224
pages

Topologie Gnrale
chapitres 1
4
1990)
376
pages

Topologie Gnrale
chapitres 5
10
1974
334
pages

Fonctions d'une
Variable Relle
chapitres 1
7
1976
336
pages

Espaces Vectoriels
Topologiques
chapitres 1
5
1981
400
pages

Intgration
chapitres 1
4
en 1973)
284
pages
puis
Intgration chapitre5 1967
154
pages
puis
Intgration chapitre 6 1959
106
pages
puis
Intgration
chapitres 7
et 8
1963
222
pages
puis

204
Intgration chapitre 9 1969
134
pages

Algbre Commutative
chapitres 1
4
1968 et 1969
(rimpression en
1985)
364
pages

Algbre Commutative
chapitre 5
7
1964et 1965
(rimpression en
1985)
352
pages

Algbre Commutative
chapitres 8
et 9
1983
208
pages

Algbre Commutative chapitre 10 1998
187
pages

Varits Diffrentielles
et Analytiques
1 15
1967 et 1971
(rimpression en
1998)
198
pages

Groupes et Algbres de
Lie
chapitre 1 1971
146
pages

Lie
chapitres 2
et 3
1972
320
pages

Lie
chapitres 4
6
1981)
288
pages

Lie
chapitres 7
et 8
1998)
272
pages

Lie
chapitre 9 1982
144
pages

Thories spectrales
chapitres 1
et 2
1967
168
pages
puis
Elments d'histoire des
mathmatiques

1984)
376
pages

La lista de miembros fundadores incluye a: Henri Cartan, Claude
Chevalley, J ean Coulomb, J ean Delsarte, J ean Dieudonn, Charles
Ehresmann, Ren de Possel, Szolem Mandelbrojt, Andr Weil.

Otros miembros de gran importancia han sido : Alexandre Grothendieck
(medalla Fields 1966), Samuel Eilenberg y Alain Connes (medalla Fields 1982).


205
BIBLIOGRAFA

Almira, J., Sabina, J. (2007). Hilbert: Matemtico fundamental. Espaa: Nivola

Alsina, C., De Guzman, M. (1998). Los matemticos no son gente seria.
Madrid: Editorial Rubes.

Babini, J., Rey Pastor, J. (1997). Historia de la Matemtica, Vols. I y II.
Barcelona: Editorial Gedisa

Bell, E. (1996). Historia de las Matemticas. Mexico: Fondo de Cultura Econ-
mica.

Bell, E. (1986). Men of Mathematics. New York: Simon and Schuster

Berlinski, D. (2006). Ascenso Infinito. Barcelona: Debate

Blanch, R. (1965). La Axiomtica. Mxico: Universidad Autonoma de de
Mxico.

Boyer, C. (2004). History of Analytic Geometry. New York: Dover.

Cantor, G. (1955). Contributions to the founding of the Theory of Transfinite
Numbers. New York : Dover.

Cotlar,M., Sadowsky, C.(1966). Introduccin al lgebra. Nociones de Algebra
Lineal. Buenos Aires: Eudeba.

Courant, R., Robbins, H. (1996) What is Mathematics?. Oxford: Oxford
University Press

De Guzmn, M. (2006). Aventuras Matemticas: Una ventana hacia al caos y
otros episodios. Madrid: Pirmide

Dedekind, R. (1901). Essays on the Theory of Numbers. Extrado el 10 de
Noviembre de 2007 desde HT http://www.gutenberg.org/etext/21016TH

Domingo, C. (2003). Historia de las Ideas Matemticas. Merida: Escuela
Venezolana para la enseanza de la Matemtica

Euclid. (1956). The Elements, Vols. I, II y III. New York: Dover.

Gray, J. (2003). El reto de Hilbert. Barcelona: Critica

206
Hilbert, D. (1900). Los problemas futuros de la matemtica ( traduccin J os
Ramn Ortiz). Extrado el 21 de diciembre de 2007 desde
http://personales.ya.com/casanchi/ref/pfuturos01.htm.

Hilbert, D. (1899). Foundations of Geometry. Extrado el 10 de Noviembre
desde HT http://www.gutenberg.org/etext/17384TH

Hiriart-Urruty. J. (2006). Du Calcul Differentiel au Calcul Variationnel: un
apercu delevolution de P. Fermat a nos jours. Manuscrito no publicado.

Kline, M. (1972). Mathematical Thought:From the ancient to the modern times,
Vol I. Oxford: Oxford University Press.

Le Lionnais, F. (2004). Great Currents of Mathematical Thought. New York:
Dover

Pietsch, A. (2007). History of Banach Spaces and Linear Operators. Boston:
Birkhusser.

Reid, C. (1996). Hilbert. New York: Springer-Verlag

Riemann, B. (1854). Sobre las Hiptesis que sirven de Fundamento a la
Geometra. Extraido el 11 de diciembre de 2007 desde
http://personales.ya.com/casanchi/ref/riemann03.htm.

Santalo, L. et al (1994). Enfoques: Hacia una didctica humanstica de la
matemtica. Buenos Aires: Trovquel Educacin

Taylor, A. (1958). Introduction to Functional Anlisis.New York: J ohn
Wiley&Sons

Historia de La Matemática

Diunggah oleh

Informasi Dokumen

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Historia de La Matemática

Diunggah oleh

Hak Cipta:

Format Tersedia

HISTORIA DE LA MATEMTICA

sin haber demos-

nos da la proporcionalidad sealada. Incluso la Biblia seala la

. Tomemos ahora un nmero de lados n tal que

El nmero es la constante de proporcionalidad, que afirma la observacin

2 y por ende la recta debe ser la

. El parmetro b se calcula con cualquiera de los puntos. Si a=c

Una manera de ver el resultado es pensar que lo que ocurre entre , a b

. Esto parece un ejercicio

, el valor slo depende

Pero la ltima suma es telescpica, lueg

nos viene del trabajo de Euler. La

para todo . Verifiquemos que:

no puede estar acotado inferiormente. inferiormente el conjunto

cortadura es posible mediante la observacin en

no son numerables, luego la mayor parte de los nme

1. La estructura de espacio vectorial, es decir los elementos del espa

Anda mungkin juga menyukai