HISTORIA DE LA MATEMTICA

(LNEA DEL TIEMPO)

La matemtica como elemento cultural de la humanidad
(La matemtica en la vida diaria)
La matemtica est presente prcticamente en todo aspecto de nuestra vida diaria. El funcionamiento de
casi cualquier artefacto que manipulamos en nuestra vida diaria puede ser descrito usando
el lenguaje matemtico; por ejemplo, la mquina que hace que se mueva cualquier
vehculo que usamos para trasladarnos de un lugar a otro, funciona de acuerdo a
ciertas leyes fsicas que pueden ser escritas en forma de ecuaciones matemticas.
Cuando trabajamos, nuestro sueldo est determinado por la cantidad de horas que
hemos trabajado, ste hecho se puede representar a travs de una ecuacin
matemtica; cuando vamos de compras, la cantidad de cosas que compramos depende
de la cantidad de dinero de que disponemos. Pero tambin en aspectos que al parecer no guardan ninguna
relacin con la matemtica, como el preparar la cena en una casa de familia, la cantidad de comida que se
prepara depende del nmero de personas que all viven (1 Kg Kg de pasta, 3 4 arepas, etc).
Estas relaciones en donde una cantidad depende de otra cantidad, en matemticas se conocen con el nombre
de funciones, y nuestra vida est impregnada de relaciones funcionales. Tambin vivimos
rodeados de formas geomtricas; cuadrilteros, tringulos y crculos de los ms diversos
tamaos encontramos en los objetos a nuestro alrededor: puertas, ventanas, ruedas,
arepas, galletas, etc.
LA PREHISTORIA
(600000 2000 A.C)
Cuando el hombre de una cultura
primitiva comienza a contar, aunque sea
tan simplemente como distinguir entre
uno, dos y varios, nace la Matemtica en
aquella cultura. En todas aquellas
civilizaciones que han dejado restos de
su existencia, los arquelogos han
encontrado muestras de que en ella se
contaba, como son las cuerdas con
nudos y las piedras entrelazadas
(cuentas), que utilizaban, al menos, para
saber si en un conjunto (animales,
plantas, joyas) haba ms elementos que
en otro. Quizs en algunas de estas
culturas cada nudo o cada piedra se
designaba con una palabra y entonces
los hombres que tal hacan ya saban
contar.
Hueso de Ishango
El hombre primitivo descubri como crear y preservar el fuego, aprendi a cazar
animales y a construir tumbas para sus muertos. Entre sus primeras actividades
matemticas se pueden mencionar, el clculo de distancias con su cuerpo y sus
pasos, actos en los que se encuentran implcitos los conceptos bsicos de la
matemtica: nmero, medida y orden. El reparto de los alimentos se haca de forma
igualitaria lo que significa que realizaban algn tipo de clculo para determinar la
cantidad que corresponda a cada miembro del grupo.
La forma de comercio en la prehistoria era el trueque, actividad que est basada
en la idea de correspondencia o funcin, uno de los conceptos ms importantes de la
matemtica.
Los pueblos primitivos contaban marcando los signos sobre los
troncos de los rboles o en huesos disecados; hubo pueblos que
los marcaban por medio de nudos, en cuerdas especiales, o
usaban piedrecillas coleccionadas convenientemente.
El imperio Inca abarcaba los actuales territorios de
Bolivia y Per, y el norte de Chile y Argentina. Este
pueblo alcanz un alto grado de civilizacin sin conocer
la escritura. Ellos basaron su organizacin y desarrollo
en un instrumento al que llamaban quipu. En la
figura se observa el instrumento conocido con el
nombre quipu, que en lengua Quechua significa nudo.
Este fue utilizado por los Incas para llevar censos
actualizados, organizar la poblacin en unidades
administrativas de al menos 10 familias cada una, e
incluso evaluar los impuestos que eran distribuidos en
forma de trabajo.
Se piensa que la mayor parte de los pueblos salvajes usaban un sistema de numeracin a
base del 5, el 10 el 20, del cual quedan en Europa algunos vestigios, como el score ingls
(score se traduce como muesca entalladura). Precisamente, con muescas marcaban los
pueblos prehistricos, huesos, rocas y otros utensilios. Es evidente que las bases de estos
sistemas tienen relacin con el nmero de dedos del hombre.
Roca hallada en la caverna de
Blombos en Sudfrica, en los aos
2001-2002. En ella se observan
formas talladas que parecen
patrones geomtricos. Se cree que
fue tallada hace 70000 aos.
Ubicacin de la caverna de Blombos
Tareas de excavacin
Otro registro importante se encuentra en el Instituto Real de Ciencias Naturales
de Blgica, situado en Bruselas. Se trata del hueso de Ishango, un baco de
hace 20000 aos.
Este hueso es el peron de un Babuino que tiene un pedazo de cuarzo
incrustado en uno de sus extremos. Data aproximadamente de 18000 a
20000 aos A.C. Fue hallado por el belga Jean de Heinzelin de Braucourt en
1960, en el rea africana de Ishango, cerca de donde nace el ro Nilo, en el
Lago Eduardo, entre las fronteras de Uganda y la Repblica Democrtica del
Congo.
En el recuadro est la zona donde fue hallado el hueso
Fotografa del hueso de Ishango expuesto
en Bruselas
El hueso de Ishango contiene tres filas de incisiones, al agruparlas de esta manera,
o sea, en tres filas, el primer grupo tiene 11, 21, 19 y 9 incisiones; el segundo grupo
tiene 11, 13, 17 y 19 incisiones, y se cree que podra ser el registro ms antiguo de
nmeros primos. El tercer grupo tiene 3, 6, 4, 8, 10, 5, 5 y 7 incisiones. El
matemtico Dirk Huylebrouck y otros especialistas notaron que el primer grupo
puede leerse como: 10+1, 20+1, 20-1 y 10-1; que el segundo est formado por
nmeros primos, y que el tercero parece seguir ms o menos alguna regla de
duplicacin, este comienza con 3 muescas y luego duplica su nmero, ocurre lo
mismo con el 4, el cual se duplica a 8 muescas, pero luego se invierte el proceso
con el nmero 10 que es dividido por la mitad, colocando a continuacin 5 muescas.
Estos hechos hacen pensar a los investigadores que estos nmeros no pueden ser
arbitrarios, sino que son producto de algn tipo de clculo en las que estn
involucradas las operaciones de multiplicacin y divisin por 2.
En los tiempos remotos el hombre utilizaba las cavernas para resguardarse de las inclemencias del
clima. En aquel hombre se manifest el sentimiento artstico, el cual se extendi por Europa hace de
25000 a 40000 aos. Ese es el perodo en el que el Hombre Moderno (Homo sapiens sapiens) sustituy
a su predecesor, el Hombre de Neanderthal. Este arte prehistrico es llamado Arte Parietal o Arte
Rupestre, y es un invento del hombre moderno.
En la imagen se muestran, a modo de comparacin, crneos de lo que se
consideran predecesores del hombre moderno. Sin embargo en el mundo
cientfico an hay fuertes controversias acerca de la validez de tales hiptesis.
Por ejemplo, hubo un tiempo en que se acept a australopitecus como antecesor
humano, el eslabn perdido. Ahora algunos cientficos como el anatomista
Zuckerman, concuerdan en que su crneo era arrolladoramente smico (de
antropoide) no humano.
Las fotografas presentan dibujos de arte parietal hallados en
1905 por D. Jos Bulln Lobato en la llamada Cueva de la Pileta
en Benaojn en el sur de Espaa.
El sentimiento religioso y artstico se revel tambin
cuando comenzaron a adorar al Sol, que les daba
calor, y a la Luna, que los alumbraba de noche, y les
erigan monumentos de grandes piedras, lo mismo
que a los muertos, porque la muerte les produca
una sensacin extraa e inexplicable.
En la fotografa se observa la construccin megaltica conocida
como Stonehenge, localizada a cien kilmetros al oeste de Londres,
en la llanura de Salisbury. Es un monumento milenario constituido
por rocas colosales, cuyos pesos varan de dos a treinta y cinco
toneladas. En el siglo XII al pueblo sajn les recordaba las vigas en
las cuales colgaban a los criminales, designndole Stonehenge (La
horca de piedra o la piedra del colgado). Investigaciones realizadas durante el siglo XX han mostrado que los
Dlmenes marcan las salidas y puestas de la Luna durante los solsticios de
invierno. En otras palabras, Stonehenge era un templo dedicado a los
movimientos del Sol y de la Luna construido por alguna civilizacin
paleoltica de origen pre-cltico. Aunque Stonehenge an presenta diversos
misterios, su finalidad ms evidente es que fue un templo para adorar al Sol
y a la Luna, astros que rigen el ciclo de las estaciones. Un calendario que
observado cuidadosamente, permitira predecir la llegada de las estaciones
para las actividades del campo. Los pre-celtas, iniciaron su construccin hacia
el 2800 A.C; se dieron el tiempo para edificarlo, y posteriormente tambin
fue un sitio sagrado, lugar de ritos funerarios como lo confirman los restos
desenterrados en diversas partes del recinto. Finalmente, hacia el ao 1100
A.C, Stonehenge fue abandonado.
La seccin principal constaba de un crculo de 30 columnas rectangulares
coronadas con dinteles. Este crculo de piedras tiene un dimetro de 29,6 metros.
Tres metros al interior exista un segundo anillo de 60 menhires, quedan 20, de
menos de dos metros de altura cada uno. Ms al interior se encuentra una
formacin en herradura con cinto trilitos de gran tamao. El mayor es de 8 metros
de altura. Dentro de la formacin de cinco trilitos se encuentra una herradura
interior de 19 menhires de no ms de 3 metros y tallados a manera de obeliscos.
Finalmente en el centro se encuentra la piedra del altar de 4,8 metros de largo.
El astrnomo Norman Lockyer, en 1901, descubri que una persona al pie de la
piedra del altar observando hacia la piedra Taln, en la base del crculo, poda
observar con gran exactitud el orto del Sol durante el solsticio de verano, el 21 de
Junio. Es decir, el centro de Stonehenge se alineaba con la piedra Taln, apuntando
al Sol, con un margen de error de 56 minutos de grado.
La Prehistoria la constituye el desarrollo de la vida del hombre primitivo
sobre la tierra; los nicos testimonios de su vida son los fsiles,
instrumentos, armas, objetos de piedra y hueso, hallados en las cavernas, y
algunos dibujos pintados en piedras y paredes, porque no hay ninguna
tradicin ni documentos escritos. El hombre lleg despus de muchos siglos a
una relativa civilizacin. Despus del descubrimiento del fuego, el
conocimiento de los metales result de gran importancia en la evolucin de la
cultura del hombre, y, durante la Edad del Hierro, apareci la escritura en
Caldea y Egipto, dando comienzo a la Historia.
Algunos investigadores sugieren que la escritura surge por la
necesidad de registrar las prcticas aritmticas que realizaban los
pueblos antiguos; si esto es verdad, entonces la matemtica es an
mas antigua que la escritura.
Venus de Willendorf
Los primeros acontecimientos histricos tuvieron lugar en Oriente,
Grecia y Roma. La civilizacin oriental comprendi diferentes pases y
distintas pocas, siendo Caldea, Egipto, China y la India las civilizaciones
ms antiguas conocidas.
EGIPTO
La historia de Egipto comienza ms de
cuarenta siglos A.C. Los antiguos lo
llamaban Potamia o Tierra Negra porque el
terreno del valle del Nilo era negro en
comparacin con las arenas de los desiertos
circundantes.
Egipto es la zona cultural ms antigua de
Africa. Est ubicada en el noreste del
continente. Est limitada por los mares
Rojo y Mediterrneo, rodeado de desiertos
de arena y a las frecuentes inundaciones
provocadas por el ro Nilo debe su
asombrosa fertilidad.
En el recuadro est Egipto
Ocupa el mismo territorio desde la antiguedad
Los primeros habitantes de Egipto eran africanos. Por
su vecindad con los semitas asiticos y con los nubios
se hizo un pueblo mestizo, que por la fuerza del suelo
y el clima lleg a adquirir individualidad.
Las primeras organizaciones sociales fueron los clanes totmicos
y cada uno tena su dios o ttem. Los clanes tuvieron que
agruparse formando as los nomos, los cuales tenan por centro
una aldea o ciudad. Cada nomo estaba gobernado por un Rey, que
era delegado de los ttems. Desde los primeros tiempos de su
civilizacin, los egipcios demostraron tener gran talento para la
ingeniera; construyeron una red de canales para la irrigacin
artificial de los cultivos cuando el ro Nilo bajaba de nivel.
Escena de cosecha
Tanto en tiempos antiguos como modernos, Egipto ha
debido su existencia al ro Nilo. Los nomos tuvieron
que unirse para poder reglamentar la irrigacin y esto
di origen a dos imperios: el Alto Egipto y el Bajo
Egipto. El bajo Egipto comprenda la vasta regin del
delta donde las aguas del Nilo se abren en abanico
antes de vaciarse en el mar Mediterrneo. Desde el
punto donde divergen las aguas del Nilo (en la regin
de El Cairo moderno) hasta la costa martima, hay
aproximadamente 160 Km. La antigua Helipolis se
halla a poca distancia al norte de El Cairo, mientras
que a pocos kilmetros al sur de El Cairo est Menfis.
Hacia el sur de Menfis empieza la regin del Alto
Egipto, que se extiende a lo largo de todo el valle hasta
la primera catarata del Nilo, en Asun, a una distancia
de aproximadamente 965 Km. Ms all de la primera
catarata estaba Nubia o Etiopa. El Alto Egipto tuvo
por capital la ciudad de Nekhab. El Bajo Egipto, el pas
del Delta, tuvo por capital la ciudad de Buto. Estos dos
reinos gobernaron por algn tiempo, prevaleciendo
siempre el norte sobre el sur, pero el Rey Menes, del
sur, conquist el delta y lo uni al valle, formando as
el reino de los faraones. El primer faran fue Menes,
quien fund la ciudad de Menfis, en la margen
izquierda del Nilo, cerca del Delta. Esta ciudad fue el
centro poltico de Egipto durante muchos siglos.
Los faraones ejercan un gobierno desptico, eran los dueos de todo el suelo de Egipto.
Eran adorados como dioses. Los egipcios los consideraban de origen divino; a su muerte
se les erigan templos y monumentales tumbas. Las imgenes de los faraones eran
representadas en las estatuas y en las pinturas como los smbolos de la divinidad: el
halcn, smbolo del dios Horus, o el disco solar entre dos cuernos como el dios sol Amon-
Ra.
Menes (el primer faran)
Mscara mortuoria de Tutankhamon
(Hecha de oro puro)
La sociedad egipcia estaba dividida en clases: los sacerdotes y militares eran la
clase privilegiada; los pastores, artesanos e industriales eran la clase
trabajadora o clase media; el resto eran esclavos.
Los egipcios adoraban distintas divinidades. Entre
sus dioses ms importantes estaban: el dios Sol, que
tena distintos nombres segn la regin; en Menfis
se llamaba Ptah; en Tebas, Amon; en Helipolis, Ra;
en Alydos, Osiris.
Imagen del dios Ra. Era la principal divinidad. Representa el sol.
Se muestra la forma como se escriba su nombre con jeroglficos.
Las creencias de los egipcios eran una mezcla de ideas
elevadas: la inmortalidad del alma, la existencia del
tribunal de los muertos presidido por Osiris, entre
otras. Tenan el culto de los muertos, y como crean
en la inmortalidad del alma ponan gran empeo en
conservar los cuerpos, esto lo obtenan
transformndolos en momias. En cada ciudad haba
embalsamadores, que tenan precios para cada caso,
segn se tratara de ricos o de pobres. La momia se
guardaba en un atad de madera, y se colocaba
dentro de un sarcfago de piedra. Las momias de los
faraones y de los nobles las guardaban en grandes
habitaciones funerarias que contenan los muebles,
objetos y dems elementos que los personajes haban
usado; las paredes eran decoradas con escenas de la
vida del difunto. Las tumbas ms fabulosas fueron las
pirmides, las mastabas, que eran tumbas en forma
de pirmide truncada, y los hipogeos, que eran
cavidades subterrneas que servan como habitacin,
lugares de culto o enterramiento. Sobre las momias se
colocaba un ejemplar del Libro de lo Muertos, el
cual contena el alegato que deba pronunciar el
difunto ante el tribunal de Osiris para obtener su
absolucin.
Embalsamadores trabajando
A los egipcios se debe la invencin del primer
calendario, as como la escritura de los jeroglficos. Para
la escritura empleaban rollos de una especie de papel
que obtenan del papiro. Trabajaron el oro, la plata y el
bronce; tallaron piedras finas; fabricaron vidrio y
porcelana y confeccionaron telas dibujadas.
La civilizacin y cultura de Egipto pas a otros pueblos de Oriente y a Grecia, que los pueblos
europeos aprovecharon en su beneficio.
Los egipcios fueron los primeros en fabricar vidrio
Escritura con jeroglficos
El sistema de numeracin utilizado por los egipcios era decimal
aditivo, se compona de ocho signos jeroglficos para indicar la
unidad y las primeras siete potencias de 10. En el contexto numrico
se escriban de derecha a izquierda segn las potencias decrecientes.
En Egipto, maravilloso pueblo de faraones y pirmides,
encontramos los primeros vestigios del desarrollo de una
ciencia matemtica. Sus exigencias vitales, sujetas a las
peridicas inundaciones del Nilo, los llevaron a perfeccionar
la Aritmtica y la Geometra.
Gran Pirmide de Giza
Valor 1 10 100 1000 10000 100000
1 milln
o infinito
Smbolo
jeroglfico
Con estos smbolos se escriba cualquier cantidad. Por ejemplo, hay
una piedra tallada en la que se lee el nmero 4622 escrito as
Fotografa de un trozo del Papiro de Rhind
en el British Museum
En el papiro de Rhind, debido al escriba Ahmes
(1650 A.C), el ms valioso y antiguo documento
matemtico que existe, se presentan entre
mltiples problemas, soluciones de ecuaciones
de segundo grado.
La base de la civilizacin egipcia fue la agricultura. De la
aplicacin de los conocimientos geomtricos a la medida de
la tierra se deriva el nombre dado a esta parte de la
matemtica. Geometra significa medida de la tierra.
Al parecer los egipcios se basaban en la representacin de un
tringulo inscrito en un rectngulo para llegar a la conclusin
2
altura base
Area

=
Los reyes de Egipto dividan las tierras en parcelas. Cuando el
Nilo inundaba parte de las tierras en sus crecidas peridicas,
los agrimensores tenan que rehacer las divisiones y calcular
cunto deba pagar el dueo de la parcela por concepto de
impuesto, dado que este era proporcional a la superficie
cultivada.
Los egipcios no estudiaron las matemticas slo para
medir las tierras, sus sacerdotes estudiaron la Geometra
y la aplicaron a la construccin. Hace ms de 20 siglos fue
construida la Gran Pirmide. Un pueblo que llev a
cabo una obra de tal magnitud, posea sin lugar a dudas,
extensos conocimientos de Geometra y de Astronoma
puesto que se ha comprobado, que adems de la
precisin con que estn determinadas sus dimensiones,
la Gran Pirmide de Egipto est perfectamente
orientada.
La matemtica egipcia la conocemos principalmente a travs de los
papiros. Entre los problemas geomtricos que aparecen resueltos en ellos
se encuentran:
- Area del tringulo issceles
- Area del trapecio issceles
- Area del crculo
Tringulo sagrado egipcio es el nombre
moderno dado a un tringulo rectngulo
cuyos lados tienen las longitudes 3, 4 y 5, o
sus medidas guardan estas proporciones. El
tringulo rectngulo semejante de 15, 20 y 25
codos egipcios, se emple en el antiguo
Egipto y fue llamado Isaco (por la diosa
Isis).
El sistema de numeracin egipcio es decimal. Se conoce el uso de
fracciones y se resuelven problemas sobre ecuaciones lineales,
progresiones aritmticas y geomtricas.
En los papiros aparece un estudio sobre los
cuadrados que sugiere que los egipcios conocan
algunos casos particulares de la propiedad del
tringulo rectngulo (ternas pitagricas). Conocen la
relacin pitagrica 5
2
= 4
2
+ 3
2
y se supone que la
utilizaban para el trazado de rectas perpendiculares.
El perfeccionamiento de las frmulas para el clculo de reas
conduce al clculo de volmenes hasta el punto que la frmula
para el clculo del volumen de un tronco de pirmide de base
cuadrada es rigurosamente exacta.
( )
2 2
3
b ab a
h
V + + =
Utilizan como valor de el nmero 4(8/9)
2
que se aproxima
ms a su verdadero valor que la aproximacin 3
babilnica.
2
9
8
4 |
.
|

\
|
Papiro de Mosc, llamado as debido a que fue
adquirido por el museo de Bellas Artes de Mosc en
1912. Data de 1890 a.C., mide aproximadamente 5
metros de largo por 8 centmetros de ancho y al igual
que el papiro de Rhind, es un papiro con contenido
puramente matemtico, con 25 problemas planteados y
resueltos. En dicho papiro se encuentran problemas
relacionados con reas de tringulos y rectngulos,
volmenes de pirmides truncadas, clculo del rea
superficial de un cesto, ecuaciones lineales y fracciones
unitarias.
El ojo de Horus
Los egipcios utilizaron un sistema muy Antiguo para
representar fracciones en medidas agrarias de superficie
y volumen, basado en las divisiones entre dos, de . Los
signos de las fracciones mayores fueron tomados de las
partes que componan el jeroglfico del ojo de Horus.
Cada fraccin se representaba mediante una grafa del
jeroglfico del ojo.
MESOPOTAMIA (BABILONIA)
Babilonia es un antiguo reino situado en la regin de
Mesopotamia, en torno al actual Iraq, fundada aprox. en
el ao 2500 a.C. y que tuvo su final
alrededor del ao 550 a.C.
Mesopotamia era la regin comprendida
entre los ros Tigris y Eufrates, estuvo
ocupada por varios pueblos veinte siglos
antes de Jesucristo. Los ms antiguos
pobladores conocidos de Mesopotamia
fueron los sumerios, que procedan del
interior de Asia; era un pueblo fuerte y
pacfico, organizado en pequeos
estados; fueron agricultores, industriales
y comerciantes; cultivaron el trigo y
criaron ganado; construyeron canales,
diques y desecaron los pantanos. Fueron
los primeros en usar los ros como vas de
comunicacin. Se les atribuye la
construccin del arco y la bveda y
tambin la escritura cuneiforme.
Mesopotamia fue conquistada despus
por los semitas, llamados caldeos o
acadios, que se instalaron al norte del
pas, en la ciudad de Acad, sometiendo
a los sumerios y mezclndose con ellos.
Los caldeos haban sido tribus
nmadas que vivan en tiendas
porttiles, las cuales instalaban
alrededor de un manantial o en algn
lugar frtil, formando clanes
gobernados por patriarcas. Cansados de
esta vida se instalaron en
Mesopotamia. Era gente guerrera y
conquistadora; hacan la guerra y
saqueaban los pueblos, mataban a los
habitantes e incendiaban los campos.
Al contacto con los sumerios se
hicieron agricultores, comerciantes, y a
su vez influyeron en la cultura y
religin.
Parte de la escritura de la
antigua Mesopotamia
Los acadios fundaron un poderoso imperio que conquist
toda la Mesopotamia y Palestina y se puso en contacto con
Egipto. Despus de largo tiempo, el imperio fue invadido
por nuevos semitas, que fundaron la ciudad de Babilonia, a
orillas del ro Eufrates, y fue convertida en corte y capital
del nuevo imperio.
Alcanz un alto grado de progreso. Sus reyes entre los
que se destac Hammurabi, extendieron sus conquistas,
fundaron ciudades, construyeron grandes monumentos,
desarrollaron las ciencias y las artes. Hammurabi, con sus
dotes de legislador, convirti el imperio en una gran
potencia, venci y someti a las tribus indmitas, organiz
la seguridad del territorio, reglament el comercio,
construy un gran canal desde el Eufrates hasta el Golfo
Prsico. Fue el primer rgimen poltico de la Historia
donde imperaron las ideas claras de Derecho y Economa.
El pas fue invadido por tribus arias, que paralizaron la civilizacin e
hicieron decaer la energa del pueblo. La postracin de Babilonia fue
aprovechada por los reyes de Asiria, quienes la conquistaron y
formaron, junto con Caldea, Armenia, Media y Asiria, el Imperio Asirio,
con Nnive de capital.
La estela de Naram-Sim conmemora la victoria del
monarca acadio contra el pueblo de los lullubi de
los montes Zagros. La imagen representa a un rey
casi mitolgico, del doble del tamao de sus
soldados.
La crueldad de los vencedores dio origen a una
alianza entre los medos y babilonios, quienes
destruyeron la ciudad de Nnive y los pases que
formaban el imperio asirio volvieron a ser
independientes. Asiria qued sometida a
Babilonia por pocos aos, hasta que el noble
asirio Teglatfalazar restableci su independencia
y organiz un segundo imperio asirio, Nnive fue
restaurada y volvi a ser la capital. Los asirios
comenzaron de nuevo un periodo de grandes
guerras, conquistando el Asia Menor, Palestina,
Egipto y Siria, dominaron a Media y Babilonia e
impusieron fuertes tributos a los pases vencidos.
Protegieron las artes, que llegaron a su apogeo;
construyeron monumentos y palacios. Fue la
poca de mayor esplendor del imperio. Las
continuas guerras debilitaron al imperio, y el rey
de Media y el gobernador de Babilonia se
sublevaron y destruyeron completamente la
ciudad de Nnive, terminando as con el segundo
imperio Asirio.
Con esta destruccin surgi Babilonia y junto con Asiria y Caldea, se form el imperio
caldeobabilnico. Babilonia fue la capital, la cual, embellecida con suntuosos palacios y grandes
monumentos, lleg a ser la primera ciudad del mundo antiguo. Uno de sus emperadores,
Nabucodonosor, se apoder de Judea y Jerusaln y llev a Babilonia diez mil hebreos cautivos.
Representacin de la ciudad de Nnive
Las Ciencias y las Artes alcanzaron gran desarrollo, especialmente la astronoma, las
Matemticas, la Medicina, la Gramtica, la Arquitectura y la escultura. Sus templos y
palacios estaban adornados con esmaltes y pinturas. Tallaban la madera con
habilidad y gusto artstico. Sus estatuas y bajorrelieves representaban figuras
originales, como leones y toros alados con cabezas humanas.
Murallas del palacio de Nabucodonosor II.
Babilonia. Irak.
Representacin de la antigua Babilonia
LAS MATEMATICAS EN
BABILONIA
En los textos cuneiformes sumerios se han hallado tablas de
multiplicacin, de recprocos, de cuadrados y algunos clculos.
Es destacable las habilidades de los
clculos babilonios mediante la
construccin de tablas para ayudar a
calcular. De las tablillas babilnicas,
unas 300 se relacionan con las
matemticas, unas 200 son tablas de
varios tipos: de multiplicar, de
recprocos, de cuadrados, de cubos,
etc.
Los babilonios llevan a cabo la resolucin de ecuaciones cuadrticas o
reducibles a cuadrticas, utilizando la actual resolvente, a veces mediante
el recurso de reducir el problema a la determinacin de dos nmeros de
los cuales se conoce el producto y la suma.
Hasta la poca babilnica el estudio de las matemticas era de tipo
emprico, es decir, el estudio de stas se realizaba con el fin de resolver
problemas prcticos que repercutan en el mejoramiento de la vida diaria
de las personas y la nacin. No haba un inters cientfico ms elevado, ni
mucho menos la intencin de estudiar la ciencia numrica por simple
placer o curiosidad.
Con la Geometra de los Griegos del siglo VI a.C se da inicio a la
poca de la deduccin:
Inician las matemticas formales
Utilizan el mtodo deductivo (razonamiento deductivo)
El razonamiento deductivo se caracteriza por su formalidad
Abstraen la experiencia prctica (EUCLIDES)
Heredamos de Euclides la
insistencia en la
demostracin deductiva
Euclides
La contribucin griega desde cerca del ao 600
a.C, hasta aproximadamente el 300 d.C, fue la
mayor y mejor en los siglos IV y III a.C
Entre los filsofos griegos ms conocidos est Tales de Mileto
(630 545 a.C).
Tales fue el iniciador de la indagacin racional sobre el universo. Se
le considera el primer filsofo de la historia de la filosofa
occidental, y fue el fundador de la escuela jnica de filosofa. Fue el
primero de los Siete Sabios de Grecia y segn una antigua
tradicin, tuvo como protegido a Pitgoras. Fue adems uno de los
ms grandes matemticos de su poca.
Se atribuye a Tales el haber transportado de Egipto a Grecia mltiples conocimientos y herramientas
elementales de geometra. Aunque no es histricamente seguro, se acepta generalmente como su
principal aporte el haber sostenido ya en su poca lo que expresa un teorema que lleva su nombre,
es decir, que un tringulo que tiene por lado el dimetro de la circunferencia que lo circunscribe es
un tringulo rectngulo.
Asimismo es muy conocida la leyenda acerca de un mtodo de comparacin de sombras que Tales
habra utilizado para medir la altura de las pirmides egipcias, aplicndolo luego a otros fines
prcticos de la navegacin. Se supone adems que Tales conoca ya muchas de las bases de la
geometra, como el hecho de que cualquier dimetro de un circulo lo dividira en partes idnticas,
que un tringulo issceles tiene por fuerza dos ngulos iguales en su base o las propiedades
relacionales entre los ngulos que se forman al cortar dos paralelas por una lnea recta
perpendicular.
Los egipcios haban aplicado algunos de estos conocimientos para la divisin y parcelacin de sus
terrenos. Mas, segn los pocos datos con los que se cuenta, Tales se habra dedicado en Grecia
mucho menos al espacio (a las superficies) y mucho ms a las lneas y a las curvas, alcanzando as su
geometra un mayor grado de complejidad y abstraccin.
Semicrculo que ilustra un
teorema de Tales.
Los
Pitagricos
Los pitagricos eran aquellos miembros seguidores de la escuela
pitagrica, una organizacin griega de astrnomos, msicos, matemticos y
filsofos, que crean que todas las cosas son, en esencia, nmeros. El grupo
mantuvo en secreto el descubrimiento de los nmeros irracionales, y la
leyenda cuenta que un miembro fue ahogado por no mantener el secreto.
El pentagrama (estrella de cinco puntas) fue un importante smbolo religioso
usado por los pitagricos, que lo denominaban "salud". Los pitagricos deben
su nombre a la influencia que sobre ellos tuvo el filsofo presocrtico
Pitgoras.
Busto de Pitgoras
Smbolo de los pitagricos
El mximo representante de los pitagricos fue Pitgoras de Samos (aprox. 570 a.C. 500 a.C.)
De joven se instal en Crotona y fund su escuela.
Principales Aportes:
Dividieron los nmeros naturales en pares e impares
Consideran la Aritmtica como ciencia
Inventan la denominacin de nmeros amigos y nmeros perfectos
Conocan las proporciones aritmticas, geomtricas y armnicas, as como las medias
aritmticas, geomtricas y armnicas
Los Eleatas
En el siglo V a.C. Parmnides fund una escuela
de filosofa n Elea, colonia griega en la pennsula
itlica. Parmnides adopt una actitud en la que
mantuvo que el universo se puede describir como
una esfera indivisible e inmutable y que toda
referencia a cambio o diversidad es por s misma
contradictoria.
Zenn de Elea, discpulo de Parmnides, intent
probar la unidad del ser afirmando que la creencia
en la realidad del cambio, la diversidad y el
movimiento, conduce a paradojas lgicas.
Las aporas de Zenn llegaron a ser enigmas
intelectuales que filsofos y lgicos de todas las
pocas han intentado resolver. El inters de los
eleticos por el problema de la consistencia
racional propici el desarrollo de la ciencia de la
Lgica.
Los aportes de Parmnides
ayudaron bastante al
desarrollo de la matemtica.
Zenn de Elea se caracteriz
por ser crtico de las
concepciones pitagricas.
Ide paradojas que iban
dirigidas a cuestionar dichas
concepdiones.
Paradojas de Zenn
Argumento dicotmico: El movimiento es imposible. En efecto,
para que un mvil pueda recorrer una distancia dada, antes deber
haber recorrido la mitad de ella, y antes de recorrer dicha mitad
habr tenido que atravesar la cuarta parte de la distancia dada, y
antes de cubrir dicha cuarta parte deber haber atravesado la octava
parte de la distancia dada, etc. Entonces, retrocediendo de este
modo, el mvil nunca iniciar el movimiento.
Paradoja de Aquiles y la tortuga: Aquiles el de los pies ligeros
nunca podr dar alcance a una tortuga, aunque su velocidad sea
muy superior a la del animalito. Cuando Aquiles llegue al punto
desde donde parti la tortuga, sta habr avanzado una
determinada distancia, luego Aquiles recorre dicha distancia
mientras la tortuga de nuevo- habr tomado ventaja sobre l. Es
claro que este proceso puede repetirse Ad infinitum, con lo que
el rpido corredor nunca podr alcanzar a la tortuga.
Parmnides Zenn
Principales aportes de la escuela eletica:
Suma de puntos
El tiempo como suma de instantes
Movimiento como suma de pasajes de un lugar a otro
Aporte a la matemtica recursos de orden lgico, metodolgico y hasta
tcnico
Su proceso dicotmico se usa como recurso de demostracin y el mtodo de
reduccin al absurdo, es una consecuencia del principio de contradiccin,
eje de sus raciocinios
Desecha la concepcin mondica de los pitagricos
Platn (427 a.C. 347 a.C.)
Platn fue un filsofo griego de familia noble y de la
alta aristocracia. Alumno de Scrates y maestro de
Aristteles, su influencia como autor y sistematizador ha
sido incalculable en toda la historia de la filosofa. En el
siglo IV a.C. fund La Academia, una de las principales
escuelas de Atenas.
En la entrada a la academia se lea: Aquel que ignore
geometra no penetre bajo mi techo.
En los Dilogos de Platn aparecen consideraciones
matemticas.
Platn sintetiza su amor a la matemtica con la frase:
Dios geometriza constantemente.
La cosmologa platnica influenciada de pitagorismo, se
fundamenta sobre las proporciones, los polgonos y los
poliedros regulares.
Los poliedros eran conocidos como cuerpos platnicos.
Con el desarrollo de su pensamiento contribuy a
diferenciar el campo abstracto de los nmeros y la
aplicacin concreta de ellos.
Aristteles (384 a.C. 322 a.C.)
Aristteles fue un filsofo, lgico y cientfico de la
Antigua Grecia cuyas ideas han ejercido una gran
influencia sobre la historia actual de occidente por ms de
2 mil aos.
Aristteles escribi cerca de 200 tratados sobre una
enorme variedad de temas que incluyen lgica,
metafsica, filosofa de la ciencia, tica, filosofa poltica,
esttica, retrica, fsica, astronoma y biologa.
Transform muchas de las reas del conocimiento que
toc.
Es reconocido como el padre fundador de la lgica y la
biologa, pues aunque existen escritos previos sobre
ambas materias, es en el trabajo de Aristteles donde se
encuentran las primeras investigaciones sistemticas al
respecto.
La nocin central del sistema lgico de Aristteles es el
silogismo. Un silogismo es, segn Aristteles: Un
discurso en el cual, establecidas ciertas cosas, resulta
necesariamente de ellas, por ser lo que son, otra cosa
diferente.
Ejemplo de silogismo:
1. Todos los hombres son mortales
2. Todos los griegos son hombres
3. Por lo tanto, todos los griegos
son mortales
Aportes de la Academia
Euclides atribuye a Platn las siguientes contribuciones:
El mtodo analtico (mtodo de demostracin)
Una solucin de la ecuacin pitagrica (la relacin entre los lados del
tringulo rectngulo-Teorema de Pitgoras)
El problema de la duplicacin del cubo
2 2 2
z y x = +
Las Matemticas en el perodo Helenstico
En esta etapa la matemtica griega se caracteriz por su autonoma respecto a la
filosofa. Es la etapa en la que se llega a un mximo esplendor. Se crearon muchos
centros de investigacin como los de Alejandra, Prgamo y Rodas siendo sus
mximos representantes Euclides, Arqumedes y Apolonio.
En Alejandra se construyen bibliotecas y museos,
siendo su famosa biblioteca una de las ms
reconocidas hasta la actualidad, donde centenares
de sabios y estudiosos ensean, trabajan e
investigan. A su vez se levantan observatorios para
estudiar los fenmenos celestes. En este ambiente,
cientficos de Alejandra se vinculan directa e
indirectamente, entre ellos las tres figuras mximas
de la matemtica antigua: Euclides, Arqumedes y
Apolonio.
Imagen del legendario Faro de Alejandra. Una
de las siete maravillas del mundo antiguo
Los Elementos
Los Elementos, es un conjunto de libros que sistematiza una parte
de los conocimientos griegos acerca de la geometra. Recopila
aportes de culturas anteriores a la griega, como las de Babilonia y
Egipto, y sirve para las posteriores investigaciones en el campo de
la matemtica, por ejemplo ha sido la base para la creacin de una
serie de geometras no euclidianas. De los trece libros que
componen Los Elementos, los seis primeros corresponden a lo
que se entiende como geometra elemental, donde se recogen las
tcnicas geomtricas empleadas por los pitagricos para resolver
problemas referidos a ecuaciones lineales y cuadrticas, e incluyen
tambin la teora general de las proporciones atribuida a Eudoxo.
Los libros del sptimo al dcimo tratan de cuestiones numricas
(Teora de Nmeros) y los tres restantes se ocupan de la
geometra de los slidos, hasta terminar en la construccin de los
cinco poliedros regulares y sus esferas circunscritas, que ya haban
sido estudiadas porTeeteto.
Los Elementos
En Los Elementos se hace un estudio
deductivo cientfico de los conocimientos
matemticos, los principios que se toman
como punto de partida son veintitrs
definiciones (llamadas trminos), cinco
postulados y cinco axiomas (llamados
nociones comunes).
Los Axiomas de Euclides
Por cualquier punto se puede trazar una recta que pasa por otro punto cualquiera
Toda recta limitada puede prolongarse indefinidamente en la misma direccin
Con un centro dado y un radio dado se puede trazar un crculo
Todos los ngulos rectos son iguales entre s
Si una recta, al cortar a otras dos, forma los ngulos internos de un mismo lado menores
que dos rectos, esas dos rectas prolongadas indefinidamente se cortan del lado con que
estn los ngulos menores que dos rectos
Teoremas
Los teoremas de Euclides son los que generalmente se aprenden en la escuela moderna.
Por citar algunos de los ms conocidos:
La suma de los ngulos interiores de cualquier tringulo es 180
En un tringulo rectngulo el cuadrado de la hipotenusa es igual a la suma de los
cuadrados de los catetos, que es el famoso teorema de Pitgoras.
En los libros VII,VIII y IX de los Elementos se estudia la teora de la divisibilidad.
Arqumedes pensativo
leo sobre tela del pintor Domenico Fetti (1620)
Arqumedes fue un matemtico griego, fsico, ingeniero,
inventor y astrnomo, hijo del astrnomo y matemtico
Fidias. De su padre aprendi cuestiones de ciencia, ms
adelante trabajando en Alejandra obtiene
perfeccionamiento en sus conocimientos en
colaboracin con otros grandes matemticos. Es
reconocido por haber diseado armas innovadoras,
incluyendo armas de asedio y el tornillo de Arqumedes.
Es considerado uno de los ms grandes matemticos de
la historia. Uso el mtodo de exhauscin para calcular el
rea bajo una parbola con la suma de una serie infinita y
dio una aproximacin bastante precisa del nmero Pi.
Arqumedes muri durante el sitio de Siracusa (214
212 a.C.), al ser asesinado por un soldado romano, a
pesar de que existan rdenes de que no se le hiciese
ningn dao.
Contribuciones de Arqumedes a la Matemtica pura y aplicada
Invent mtodos generales para encontrar las reas de figuras planas curvilneas y
los volmenes limitados por superficies curvas, y aplic estos mtodos a muchos
casos especiales, incluyendo el crculo, la esfera, segmentos de una parbola, el rea
limitada entre dos radios y dos pasos sucesivos de una espiral, segmentos de esferas y
segmentos de superficies engendradas por la revolucin de rectngulos (cilindros),
tringulos (conos), parbolas (paraboloides), hiprbolas (hiperboloides) y elipses
(esferoides), alrededor de sus ejes principales.
Ide un mtodo para calcular la razn de la circunferencia de un crculo a su
dimetro, y fij el valor entre y
Encontr mtodos para hallar las races cuadradas aproximadas, con lo cual se
anticip a la invencin hecha por los hindes, respecto a las fracciones continuas
peridicas.
En Aritmtica sobrepaso la incapacidad del mtodo no cientfico griego de
simbolizar los nmeros al escribir o escribir incluso grandes nmeros, e invent un
sistema de numeracin capaz de tratar nmeros tan grandes como se deseara.
143 , 3 3
7
1
~ 141 , 3 3
71
10
~
Arqumedes fue capaz de utilizar los infinitesimales de forma similar al moderno clculo integral. A
travs de la reduccin al absurdo (reductio ad absurdum), era capaz de contestar problemas mediante
aproximaciones con determinado grado de precisin, especificando los lmites entre los cuales se
encontraba la respuesta correcta. Esta tcnica recibe el nombre de mtodo de exhauscin, y fue el
sistema que utiliz para aproximar el valor del nmero . Para ello, dibuj un polgono regular
inscrito y otro circunscrito a una misma circunferencia, de manera que la longitud de la
circunferencia y el rea del crculo quedan acotadas por esos mismos valores de las longitudes y las
reas de los dos polgonos. A medida que se incrementa el nmero de lados del polgono la
diferencia se acorta, y se obtiene una aproximacin ms exacta. Partiendo de polgonos de 96 lados
cada uno, Arqumedes calcul que el valor de deba encontrarse entre 3
10
/
71
(aproximadamente
3,1408) y 3
1
/
7
(aproximadamente 3,1429), lo cual es consistente con el valor real de . Tambin
demostr que el rea del crculo era igual a multiplicado por el cuadrado del radio del crculo. En
su obra Sobre la Esfera y el Cilindro, Arqumedes postula que cualquier magnitud, sumada a s misma
suficiente nmero de veces, puede exceder cualquier otra magnitud dada, postulado que es
conocido como la propiedad arquimediana de los nmeros reales.
Arqumedes utiliz el mtodo de
exhauscin para conseguir el
valor aproximado del nmero .
En su obra sobre La cuadratura de la Parbola,
Arqumedes prob que el rea definida por una
parbola y una lnea recta equivala exactamente a
4
/
3
el rea del correspondiente tringulo inscrito, tal y
como se puede observar en la figura de al lado. Para
obtener ese resultado, desarroll una serie geomtrica
infinita con una razn comn de
1
/
4
:
El primer trmino de esta suma equivale al rea del
tringulo, el segundo sera la suma de las reas de los
dos tringulos inscritos en las dos reas delimitadas por
el tringulo y la parbola, y as sucesivamente. Esta
prueba utiliza una variacin de la serie infinita
1
/
4
+
1
/
16
+
1
/
64
+
1
/
256
+ ..., cuya suma se demuestra que
equivale a
1
/
3
.

=

= + + + + =
0
3 2 1
3
4
4 4 4 1 4
n
n

Arqumedes demostr que

el rea del segmento
parablico de la figura es
igual a 4/3 de la del
tringulo inscrito
APOLONIO de Prgamo (262 a.C. 190 a.C.)
Apolonio naci en Prgamo alrededor
del ao 262 a.C. y falleci en el 190
a.C. Estudi en Alejandra siguiendo la
tradicin de Euclides y escribi ocho
libros, de los cuales los primeros
cuatro abarcan la Teora General de las
Cnicas y sus propiedades ms
importantes; son los nicos
sobrevivientes del texto original. En
cambio los otros cuatro se refieren a
propiedades especiales y pueden
considerarse como monografas.
Apolonio en sus obras sobre las cnicas introduce los nombres parbola, hiprbola y elipse para las
secciones del cono. Tambin se le atribuye la invencin del reloj solar y es uno de los precursores de los
descubrimientos astronmicos.
Adems de las cnicas (su obra mxima), se le atribuyen otros escritos cientficos:
Tangencias, propuso y resolvi el problema de hallar la circunferencia tangente a tres elementos
cualesquiera elegidos entre un punto, una recta y una circunferencia (este problema es conocido
como Problema de Apolonio). El problema aparece en su obra (hoy perdida), Las tangencias o Los
Contactos, conocida gracias a Pappus de Alejandra.
Reparto Rapido, obra en la que se enseaban mtodos rpidos de clculo y se daba una
aproximacin de .
Secciones en una Razn dada, trataba sobre los problemas derivados de trazar una recta que pase por
un punto dado y que corte a otras dos rectas dadas en segmentos que estn en una razn dada (este
problema es equivalente a resolver la ecuacin ).
Secciones en un rea dada, problema parecido al anterior, pero ahora se pide que los segmentos
determinados por las intersecciones formen un rectngulo equivalente a otro (este problema es
equivalente a resolver ).
Secciones Determinadas, dados cuatro puntos A, B, C, D, sobre una recta, encontrar un quinto punto
P, tal que el rectngulo construido sobre AP y CP est en una razn dada con el rectngulo
construido sobre BP y DP.
Lugares Planos, los griegos clasificaban las curvas en tres tipos: lugares planos, eran las rectas y las
circunferencias, lugares slidos eran las secciones cnicas y lugares lineales el resto de las curvas.
Inclinaciones, trataba el problema de trazar, en una circunferencia dada, una cuerda de longitud
dada pasando por un punto dado.
bc x ax =
2
bc x ax = +
2
Problema de Apolonio: Dadas dos circunferencias y un punto, construir
una circunferencia que contenga al punto (PCC).
Caso 1. Cuando el punto P es exterior a ambas circunferencias.
1. Hallar los centros de homotecia directo e inverso. (Directo H, inverso K)
2. Trazar el segmento C
1
C
2
(Que une los centros de las circunferencias dadas)
3. Hallar las intersecciones del segmento C
1
C
2
con las circunferencias dadas.
4. Trazar la circunferencia que pasa por los puntos A, B y P.
5. Trazar el segmento PH. (Une el punto P con el centro de homotecia H).
6. Hallar la interseccin entre el segmento PH y la circunferencia ABP. (Punto M).
7. Ocultar las rectas tangentes, el segmento C
1
C
2
, los puntos A, B, H y K.
8. Construir la circunferencia que pasa por P y M, tangente a la circunferencia
C
1
. Resultan dos circunferencias -rojas- que son las circunferencias pedidas.
9. Se pueden obtener dos circunferencias ms, repitiendo los pasos anteriores para
el centro de homotecia inverso K.
Problema de Apolonio: Dadas dos circunferencias y un punto, construir
una circunferencia que contenga al punto (PCC).
Caso 2. Cuando el punto P pertenece a una de las circunferencias.
Hallar los centros de homotecia directo e inverso (Directo H, inverso K).Trazar la recta PH (Del
punto P al centro de homotecia H). Hallar la interseccin de la recta PH con la circunferencia C
1
(punto Q). P y Q son los puntos de tangencia para una de las circunferencias buscadas.Trazar las
semirrectas C
1
Q y C
2
P. Hallar la interseccin entre las rectas C
1
Q y C
2
P. (PuntoT
1
, este es el centro
de una de las circunferencias buscadas).Trazar la circunferencia de centroT
1
y radioT
1
P
(Circunferencia roja). Ahora, trazar la recta PK (Del punto P al centro de homotecia inverso K).
Hallar la interseccin entre la recta PK y la circunferencia C
1
(Punto R). P y R son los puntos de
tangencia para otra de las circunferencias buscadas.Trazar las semirrectas C
1
R y C
2
P. Hallar la
interseccin entre las rectas C
1
R y C
2
P. (PuntoT
2
, este es el centro de otra de las circunferencias
buscadas).Trazar la circunferencia de centroT
2
y radioT
2
P. (Circunferencia roja)
Fue en Grecia, donde se hizo popular la creacin de escuelas, en donde los grandes pensadores de
la poca daban resolucin a los problemas ms populares de geometra, lgebra, y trigonometra.
Los aportes de esta cultura a las matemticas son de enorme magnitud. Por ejemplo en el campo
de la geometra, se dio la demostracin del teorema de Pitgoras, adems que fue hallado el
mtodo para conseguir la sucesin indefinida de ternas de nmeros pitagricos, que satisfacen la
ecuacin . Incluso se trabaj enormemente en la resolucin y demostracin de distintos
problemas, como en la triseccin de un ngulo, y en la cuadratura de reas acotadas por una curva.
Esto conllev a al avance en l calculo del nmero y a la creacin del mtodo de exhauscin
(predecesor del clculo de lmites), creado por Eudoxo. El avance que obtuvieron los griegos en
cuanto al lgebra y la geometra, los llev a la constriccin de una nueva rama de las matemticas,
llamada, lgebra geomtrica. Esta nueva rama inclua entre otros conceptos el mtodo de anexin
de reas, el conjunto de proposiciones geomtricas que interpretaban las cantidades algebraicas, y
la expresin de la arista de un poliedro regular a travs del dimetro de la circunferencia
circunscrita. En Grecia, no se hicieron esperar los problemas que implicaban la construccin de
lmites, por lo que en su poca, Demcrito y otros grandes pensadores intentan darles respuesta
con la unificacin de las matemticas y la teora filosfica atomicista. Considerando de esta forma
la primera concepcin del mtodo del lmite. El inters que produjeron las matemticas en
Grecia, hace que se considere como la cuna de esta ciencia. Por lo cual se bautiz a la poca
comprendida de los aos 300 a.C. a 200 a.C., como la edad de oro de las matemticas. Despus de
esta poca, Grecia deja de ser el centro evolutivo de las matemticas, conflictos sociales y polticos
que se vivan en esa poca alejan a Grecia de esta ciencia. Por esta situacin otro imperio toma las
riendas de los avances matemticos.
Aportes de la Cultura Griega
2 2 2
c b a = +
Perodo posterior a los
Griegos.
Edad Media.
La Cultura
rabe.
India y China
(aprox. 900 a.C. 1600 d.C.)
Muhammad ibn Ms al-Kwrizm
(Al-Juarismi)
ROMA
Segn la tradicin romana, la ciudad
de Roma fue fundada en el ao 753
a.C. por los gemelos Rmulo y Remo a
las orillas del Tber, esta pequea
ciudad floreci y se desarroll hasta
llegar a ser considerada durante la
poca previa a la Repblica, superior a
sus vecinos, hacindose cada vez ms
fuerte a medida que se apoderaba de
mas territorios. Ya en la Repblica,
alrededor del ao 270 a.C. Roma
dominaba toda la pennsula Itlica y
segua su expansin. Este imperio que
a partir del s. I a.C. sera gobernado
por emperadores, creci y absorbi
ciudades y territorios que hoy en da
comprenden mas de 40 pases con
5.000 Km., de un extremo a otro.
Ingeniera Romana
Los romanos no contribuyeron en gran
medida a la ciencia bsica; su contribucin
se hace en otra rea, en el dominio de la
organizacin, como la formacin de un
servicio mdico pblico, la construccin de
carreteras y acueductos, la introduccin al
calendario juliano y la promulgacin del
derecho romano que regulaba sus
organizaciones. Desde muy pronto, los
romanos estuvieron en contacto con los
griegos de Sicilia y del sur de Italia, y dado
que sojuzgaron las dinastas que haban
surgido del imperio de Alejandro Magno en
el siglo segundo antes de Cristo, se dieron
cada vez mas cuenta de la superioridad de
la cultura Griega.
Obreros completando el pretil de un
gran puente de piedra.
Las Matemticas en Roma
Se podra decir que el aporte conocido que
hicieron los romanos a las matemticas fue
su sistema de numeracin, de utilidad ms
bien esttica, utilizado hasta hoy en algunas
ocasiones. Esas cifras que an hoy vemos en
muchos de nuestros monumentos, no es una
buena herramienta para el clculo. Utiliza
letras del alfabeto para representar los
nmeros y no es posicional, es decir, cada
smbolo vale siempre lo mismo, no importa
donde est colocado. Las cifras que utilizaban
son: I, V, X, L, C, D, M.
El sistema se basa en la suma de los
smbolos. Salvo en el caso en que un signo
numrico menor precede a uno mayor, por
ejemplo:
1336 se escribe MCCCXXXVI
2894 se escribe MMDCCCXCIV
Boecio (480 524/525). Fue un filsofo romano. El
historiador francs tienne Gilson (1884 1978)
afirma que Boecio fue, para la escolstica
tradicional, por sus traducciones, comentarios y
escritos, la principal autoridad en lgica de la Edad
Media hasta que, en el siglo XIII, fue traducido al
latn y comentado directamente el Organon
completo de Aristteles.
Edad Media (siglo V al siglo XV)
Las Matemticas en la India(900 a.C. 1400 d.C.)
Las matemticas vdicas comenzaron en la Edad del Hierro, con el Shatpatha-
brhmana (texto religioso hinduistas snscrito en prosa que describe los rituales
vdicos) hacia el siglo IX a.C., donde se aproxima el valor de con dos decimales.
Tambin se tiene el Sulba Sutras (800 500 a.C.), que se compone de textos de
geometra que usaban nmeros irracionales, nmeros primos, regla de tres y races
cbicas, clculo de la raz cuadrada de 2 con dos decimales, un mtodo para
cuadrar el crculo, resolucin de ecuaciones lineales y cuadrticas, desarrollo
algebraico de ternas pitagricas y enunciado y demostracin numrica del teorema
de Pitgoras.
Pnini (siglo IV a.C.) fue el ms eminente de todos los gramticos snscritos de la
India. Formul las reglas gramaticales para el snscrito. Su notacin fue similar a
la notacin matemtica moderna y usaba metarreglas, transformaciones y
recursiones con tal sofisticacin que su gramtica tena el poder de clculo
equivalente a una Mquina de Turing. Pingala fue un matemtico indio autor del
Chanda-shastra, un libro escrito en snscrito acerca de las mtricas o slabas
largas. Present la primera descripcin conocida de un sistema de numeracin
binario. Describi dicho sistema en relacin con la lista de mtricas vdicas y las
slabas cortas y largas.
El anlisis que hizo Pingala sobre la
combinatoria de mtricas musicales
corresponde al teorema binomial. La obra de
Pingala tambin contiene ideas bsicas sobre
los nmeros de Fibonacci. Entre el 400 a.C. y
el 200 a.C. comienzan el estudio de las
matemticas para el exclusivo propsito de
las matemticas. Fueron los primeros en
desarrollar los nmeros transfinitos, la teora
de conjuntos, los logaritmos, leyes
fundamentales de los ndices, ecuaciones
cbicas y curticas, sucesiones y
progresiones, permutaciones y
combinaciones, cuadrados y extraccin de la
raz cuadrada y potencias finitas e infinitas.
El manuscrito Bakhshali, escrito entre el 200 a.C. y el 200 d.C., inclua
soluciones de ecuaciones lineales con ms de cinco incognitas, la solucin de
la ecuacin cuadrtica, progresiones aritmticas y geomtricas, series
compuestas, ecuaciones cuadrticas indeterminadas, ecuaciones
simultneas y el uso del cero y los nmeros negativos. Tambin pudieron
encontrarse clculos exactos de nmeros irracionales, que incluan races
cuadradas de nmeros tan grandes como un milln y con once decimales.
Aryabhata (476 550 ), quien fue el primer gran
matemtico y astrnomo de la era clsica india,
en 499, introdujo la funcin verseno, que es una
funcin trigonomtrica que se define con la
ecuacin
Produjo las primeras tablas trigonomtricas del
seno, desarroll tcnicas y algoritmos de lgebra,
infinitesimales, ecuaciones diferenciales y obtuvo
la solucin completa de ecuaciones lineales por
un mtodo equivalente al actual, adems de
clculos astronmicos basados en un sistema
heliocntrico de gravitacin. Desde el siglo VIII
estuvo disponible una traduccin al rabe de su
Aryabhatiya, seguida de una traduccin al latn
en el siglo XIII. Tambin calcul el valor de con
once decimales (3,14159265359).
( ) ( )
|
.
|

\
|
= =
2
2 cos 1 sin
2
u
u u sen ver
Aryabhata
En el siglo VII Brahmagupta (598 660), quien fue un
matemtico y astrnomo indio, identific la identidad
de Brahmagupta, la cual enuncia que el producto de dos
nmeros, cada uno de los cuales es la suma de dos
cuadrados, tambin es la suma de dos cuadrados:
La identidad es cierta en cualquier anillo conmutativo,
pero tiene su mayor utilidad en el anillo de los enteros.
Tambin plante la Frmula de Brahmagupta, la cual
encuentra el rea de cualquier cuadriltero dadas las
longitudes de los lados y algunos de los ngulos.
Forma bsica de la Frmula de Brahmagupta
Da el rea de un cuadriltero cuyos lados tienen
longitudes a, b, c, d:
( )( ) ( ) ( )
( ) ( )
2 2
2 2
2 2 2 2
bc ad bd ac
bc ad bd ac d c b a
+ + =
+ + = + +
( )( )( )( )
.
2
: ,
d c b a
s
as tro semiperme el es s donde
d s c s b s a s A
+ + +
=
=
Brahmagupta tambin explic por primera vez los dos usos del nmero
cero (0): como un smbolo para rellenar un hueco en el sistema posicional
y como una cifra y explic el sistema de numeracin hindo-arbigo. Fue a
raz de una traduccin de su texto: Brahma-sphuta-siddhanta, hacia el ao
770, cuando las matemticas islmicas tuvieron acceso a este sistema de
numeracin, que posteriormente adaptaron usando los numerales
arbigos.
Bhaskara (1114 1185) fue un matemtico y
astrnomo indio. Representa el pico del
conocimiento matemtico y astronmico en
el siglo XII. Alcanz un conocimiento de
Clculo, Astronoma, los Sistemas de
Numeracin y la resolucin de ecuaciones,
que no haba sido alcanzado en ninguna
parte del mundo durante varios siglos. Sus
principales trabajos fueron: el Lilavati
(sobre aritmtica), Bijaganita (lgebra) y
Siddhanta Shiromani (escrito en 1150) que
consta de dos partes: Goladhyaya (esfera) y
Grahaganita (matemtica de los planetas).
Bhaskara
1
2 2
= ny x
En el siglo XII, Bhaskara concibi por primera vez el Clculo Diferencial, junto
con conceptos como derivada, coeficiente diferencial y diferenciacin. Tambin
estableci el Teorema de Rolle, estudi la ecuacin de Pell
donde n es un nmero entero que no es cuadrado perfecto.
Tambin investig la derivada de la funcin seno.
Desde al siglo XIV Madhava y otros matemticos de la escuela de Kerala (fue una
escuela de matemtica y astronoma fundada por Madhava en Kerala, provincia al
sur de la India), ampliaron las ideas Bhaskara: desarrollaron el concepto de
Anlisis Matemtico y Nmeros de Punto Flotante y conceptos fundamentales
para el desarrollo global del Clculo, incluyendo el Teorema del Valor Medio y la
integracin trmino a trmino; las relaciones entre el rea bajo una curva y su
antiderivada o integral; el test integral para la convergencia; mtodos iterativos
para la resolucin de ecuaciones no lineales y un buen nmero de series infinitas,
series de potencias, series de Taylor y series trigonomtricas.
En el siglo XVI Jyeshtadeva consolid la mayora de los desarrollos y teoremas de
la Escuela de Kerala en el Yuktibhasa, el primer texto en la historia sobre al
clculo diferencial, donde tambin se incluan conceptos de clculo integral.
El progreso matemtico en la India se estanc a partir de finales del siglo XVI
debido a conflictos polticos.
Sistema de numeracin Hind
Los hindes hicieron grandes y valiosos aportes en
matemticas a la humanidad. Los sacerdotes hindes
inventaron los nmeros que usamos, llamados
arbigos por ser los rabes quienes los divulgaron. Los
contactos comerciales entre la India y el imperio
construido por los rabes favorecieron que stos
ltimos adoptaran tanto el sistema de numeracin
hind como sus signos numerales, contribuyendo
luego decisivamente a difundirlos en occidente.
Adems, los hindes inventaron el valor de la cifra
cero (0) (en el siglo IX el cero era ya de uso comn en
los textos hindes), muchas nociones sobre decimales,
nuestra forma de valorar un nmero segn el valor que
ocupa en el conjunto de varias cifras y los fundamentos
del lgebra y la trigonometra. Tambin en la India
surgi el mtodo de expresar cada nmero posible
utilizando un conjunto de diez smbolos, cada uno de
ellos con un valor en su posicin y un valor absoluto.
Su simplicidad subyace en el modo en que facilit los
clculos aritmticos.
Nmeros hindes en distintas pocas
Matemticas en China
(500 a.C. 1300 d.C.)
En China, el emperador Qin Shi Huang orden en 212 a.C.
que todos los libros de fuera del estado de Qin fueran
quemados, como consecuencia de esto se conoce muy poco
de la matemtica de la China Ancestral. De la Dinasta Zhou,
que rein desde 1050 a.C. hasta 256 a.C., el libro de
matemticas ms antiguo que sobrevivi a la quema fue el I
Ching, que usa trigramas (tres lneas trazadas sobre un papel
a las que se asocia un determinado significado) y hexagramas
(los hexagramas chinos son combinaciones de trigramas),
para propsitos filosficos, matemticos y msticos. Estos
objetos matemticos estn compuestos de lneas enteras o
divididas llamadas yin (femenino) y yang (masculino),
respectivamente.
La obra ms antigua sobre geometra en China viene de
canon filosfico mohista hacia el 330 a.C., recopilado por los
aclitos de Mozi (470 390 a.C. fundador del mohismo y
considerado la primera figura importante de la filosofa
china). El Mo Jing describi varios aspectos de muchos
campos relacionados con la fsica y tambin proporcion una
pequea dosis de matemticas.
Los 64 hexagramas contenidos
en el I Ching
Despus de la quema de libros, la dinasta Han (202
a.C. 220 d.C.) produjo obras matemticas que
presumiblemente abundaban en trabajos que se
haban perdido. La ms importante de estas es Las
nueve lecciones sobre arte matemtico, cuyo ttulo
completo apareci hacia el 179 d.C., peo exista
anteriormente en parte bajo otros ttulos. La obra
consiste en 246 problemas en palabras que involucran
agricultura, negocios, usos geomtricos para establecer
las dimensiones de las pagodas (edificio de varios
niveles), ingeniera, agrimensura y nociones sobre
tringulos rectngulos y . Tambin se usa el Principio
de Cavalieri sobre volmenes ms de mil aos antes de
que el propio Cavalieri lo formulara en occidente. Se
crearon pruebas sobre el Teorema de Pitgoras y una
formulacin matemtica de la eliminacin de Gauss-
Jordan. Liu Hui (220 280), matemtico chino, hizo
un comentario de la obra hacia el siglo III d.C.
El clculo de pi fue una atraccin para los
matemticos expertos de todas las culturas. Hacia
120, el astrlogo chino Chang Hong (78-139) fue
uno de los primeros en usar la aproximacin, que
dedujo de la razn entre el volumen de un cubo y
la respectiva esfera inscrita. Un siglo despus, el
astrnomo Wang Fang lo estim en 142/45
(3,155555), aunque se desconoce el mtodo
empleado. Pocos aos despus, hacia 263, el
matemtico Liu Hiu fue el primero en sugerir que
3,14 era una buena aproximacin, usando un
polgono de 96 o 192 lados. Posteriormente estim
como 3,14159 empleando un polgono de 3.072
lados. A finales del siglo V, el matemtico y
astrnomo chino Zu Chongzhi calcul el valor de
en 3,1415926 al que llam valor por defecto y
3,1415927 valor por exceso, y dio dos
aproximaciones racionales de : 22/7 y 355/113
muy conocidas ambas, siendo la ltima
aproximacin tan buena y precisa que no fue
igualada hasta ms de nueve siglos despus, en el
siglo XV.
Mtodo de aproximacin de Liu Hui
Las obras matemticas del Han astrnomo e inventor Zhang Heng
(78 139), tambin contienen una formulacin para , la cual difiere
de los clculos de Liu Hui. Zhang Heng us su frmula de para
encontrar volmenes esfricos.
Tambin estaban los trabajos escritos del matemtico y terico de la
msica Jing Fang (78 37 a.C.); mediante el uso de la coma
pitagrica (intervalo musical que resulta de la diferencia entre doce
quintas perfectas y siete octavas; su expresin numrica es ),
Jing observ que 53 quintas juntas se aproximan a 31 octavas. Esto
llevara ms tarde al descubrimiento del temperamento igual que
divide a la octava en 53 partes iguales y no volvera a ser calculado
con tante precisin hasta que el siglo XVII lo hiciese el alemn
Nicholas Mercator.
Los chinos tambin hicieron uso de diagramas combinatorios
complejos conocidos como cuadrado mgico y crculo mgico,
descritos en tiempos ancestrales y perfeccionados por Yang Hui
(1238 1298).
( )
12
2 3
Un cuadrado mgico es
una tabla donde se dispone
de una serie de nmeros
enteros en un cuadrado o
matriz de forma tal que la
suma de los nmeros por
columnas, filas y
diagonales principales sea
la misma, la constante
mgica.
Zhang Heng
Zu Chongzhi (429 - 500). Fue un matemtico y astrnomo chino que vivi y
estuvo al servicio de las dinastas de Qi (dinastas del sur). Su familia estuvo
histricamente unida a la investigacin astronmica y desde su niez mantuvo
contacto con matemticos y astrnomos. Desde joven se hizo muy famoso por su
talento. Entre sus descubrimientos destacan:
El calendario Daming, introducido en 465.
Dos aproximaciones ; sostuvo el record de la aproximacin ms precisa
durante novecientos aos. Su mejor aproximacin cae entre 3.1415926 y
3.1415927, la aproximacin racional 355/113 ( , Mil, aproximacin
detallada) y 22/7 (, Yuel, aproximacin cruda).
Dedujo que el volumen de una esfera es , donde r es el radio; aunque este
resultado ya haba sido descubierto por Arqumedes.
3 4
3
r t
Zu Chongzhi
Matemticas de los rabes
(800 1500)
El imperio islmico, establecido a lo largo del Oriente Medio, Asia
Central, frica del Norte, Iberia y parte de la India, hizo aportes
significativos en matemticas en el siglo VIII. Aunque la mayor
parte de los textos islmicos sobre matemticas fueron escritos en
rabe, no todos fueron escritos por rabes, dado que, as como el
griego era usado en el mundo helenstico, el rabe era usado como
el lenguaje escrito de los intelectuales no rabes a lo largo del
mundo islmico en aquella poca. Junto con los rabes, muchos
otros importantes matemticos islmicos fueron persas.
Al-Juarismi (780 850), matemtico, astrnomo y gegrafo persa
musulmn chi, es considerado como el padre del lgebra y como el
introductor de nuestro sistema de numeracin. Hacia el ao 815 al-
Mamun, sptimo califa Absida, fund en Bagdad la Casa de la
Sabidura (Bayt al-Hikma), una institucin de investigacin y
traduccin que es comparada con la Biblioteca de Alejandra. En
ella tradujeron al rabe obras cientficas y filosficas griegas e
indias. Contaba tambin con observatorios astronmicos. En este
ambiente cientfico y multicultural se educ y trabaj al-Juarismi
junto con otros cientficos. Dos de sus obras, sus tratados de lgebra
y astronoma, estn dedicados al propio califa.
Texto islmico de lgebra
En el siglo, IX Al-Juarismi escribi varios libros importantes
sobre los nmeros arbigos y sobre los mtodos de resolucin
de ecuaciones. Su libro Sobre los clculos con nmeros
arbigos, escrito alrededor del ao 825, junto con el trabajo de
Al-Kindi (801 873. Trabaj en filosofa, astrologa,
astronoma, cosmologa, qumica, lgica, matemtica, msica,
medicina, fsica, psicologa y meteorologa), fueron
instrumentos para dar a conocer las matemticas rabes y los
nmeros arbigos en occidente. La palabra algoritmo se deriva
de la latinizacin de su nombre, Algoritmi, y la palabra lgebra
del ttulo de uno de sus trabajos: Al-Kitab al-mukhtasar fi
hisab al-gabr wal-mugabala (Compendio sobre el clculo de
complemento y equilibrio). Al-Juarismi realiz importantes
contribuciones al lgebra, entre ellas: aport una exhaustiva
explicacin a la solucin de ecuaciones de segundo grado con
races positivas, y fue el primero en ensear el lgebra en sus
formas ms elementales. Tambin introdujo el mtodo
fundamental de reduccin y balance, refirindose a la
colocacin de los trminos restados al otro lado de una
ecuacin, es decir, la cancelacin de trminos iguales que se
encuentran en lados opuestos de una ecuacin.
Al-Kindi
El posterior desarrollo del lgebra vino de la mano de Al-Karaji (953
1029). Al-Karaji fue un matemtico e ingeniero persa. Vivi y
trabaj la mayor parte de su vida en Bagdad, que era la capital
cientfica y comercial del mundo islmico. Contribuciones. Al-
Karaji era ingeniero y matemtico del ms alto nivel. Aunque
escribi apoyndose en el trabajo de matemticos anteriores, es el
primero que libera el lgebra de las operaciones geomtricas, que
eran fruto de la aritmtica griega, para sustituirlas por el tipo de
operaciones que constituyen la base del lgebra moderna. En sus
trabajos sobre lgebra, dio las reglas de las operaciones aritmticas
con polinomios. Se cree que es el primero que introdujo la teora del
clculo algebraico. Al-Karaji investig sobre los llamados coeficientes
binomiales y el tringulo de Pascal. Tambin hizo uso del mtodo de
induccin para probar sus resultados. Sus contribuciones al campo
de las matemticas y de la ingeniera todava se reconocen hoy por
sus trabajos sobre la tabla de coeficientes binomiales, su ley de
formacin:
y la expansin
para el nmero entero n.
Esto es una hiptesis, histricamente se le atribuye a Sir Isaac
Newton.
|
|
.
|

\
|
+
|
|
.
|

\
|

=
|
|
.
|

\
|
m
n
m
n
m
n 1
1
1
( )

=

|
|
.
|

\
|
= +
n
k
k n k n
b a
k
n
b a
0
Al-Karaji
En el siglo X, Abul-Wafa (940 998) matemtico y
astrnomo persa, tradujo las obras de Diofanto al
rabe y desarroll la funcin tangente. Su
contribucin a las matemticas est enfocada
principalmente en el campo de la trigonometra.
Mejor los mtodos de calcular las tablas de la
trigonometra, ide un mtodo nuevo de calcular las
tablas del seno. Sus tablas trigonomtricas son exactas
hasta 8 lugares decimales, y desarroll maneras de
solucionar algunos problemas de tringulos esfricos.
Abul-Wafa estableci las identidades trigonomtricas:
Y descubri la frmula del seno para la geometra
esfrica (que es similar a la ley de los senos):
Escribi una gran cantidad de libros, la mayor parte
de ellos se ha perdido.
( )
( )
( ) a a a
a a
b a b a b a
cos sin 2 2 sin
sin 2 1 2 cos
sin cos sin sin sin
2
=
=
+ = +
c
C
b
B
a
A
sin
sin
sin
sin
sin
sin
= =
Abul-Wafa
Ibn al-Haytham, conocido en occidente como Alhacn (965
1040). Fue un matemtico, fsico y astrnomo musulmn que
realiz importantes contribuciones a los principios de la ptica y a
la concepcin de los experimentos cientficos. Es considerado
creador del mtodo cientfico y padre de la ptica por sus trabajos
y experimentos con lentes, espejos, reflexin y refraccin. Escribi
el primer tratado amplio sobre lentes, donde describe la imagen
formada en la retina humana debido al cristalino. Alhacn es
considerado uno de los fsicos ms importantes de la Edad Media.
Sus trabajos fundamentales se refirieron a la ptica geomtrica,
campo en el que, al contrario que Ptolomeo, defenda la hiptesis
de que la luz proceda del Sol, y que los objetos que no poseen luz
propia lo nico que hacan es reflejarla gracias a lo cual es posible
verlos. Llev a cabo tambin diversos estudios referidos a la
reflexin y la refraccin de la luz, al origen del arco iris y al empleo
de las lentes (construyendo la llamada cmara oscura). Asimismo,
defendi la idea de la finitud del espesor de la atmsfera terrestre.
Fue el primer matemtico en deducir la frmula general de la
suma de cualquier potencia entera. Desarroll una integracin
para calcular el volumen de un paraboloide y fue capaz de
generalizar sus resultados para las integrales de polinomios ms
all de cuarto grado. Incluso se acerc bastante a la frmula
general de la integral de polinomios, aunque no estaba interesado
en polinomios de grado mayor que cuatro.
Alhacn
Omar Khayyam (1048 1131). Matemtico, astrnomo y poeta persa.
En las postrimeras del siglo XI, Omar Khayyam escribi Discusiones
sobre las dificultades en Euclides, un libro sobre los defectos en los
Elementos de Euclides, especialmente el postulado de las paralelas y
estableci los fundamentos de la geometra analtica y la geometra no
euclidea. Tambin fue el primero en encontrar la solucin geomtrica a
la ecuacin cbica. Tambin influy en la reforma del calendario. En su
Tesis sobre demostraciones de lgebra y comparacin desarrolla el
primer procedimiento de solucin de las ecuaciones cuadrticas y
cbicas a partir de las secciones cnicas, que permite encontrarles una
raz positiva, y asimismo logra demostrar que tienen al menos una
segunda raz. Fue el primero que describi el desarrollo de la potencia
de un binomio con exponente natural, y estableci, por primera vez en la
historia de las matemticas, la idea de que las fracciones podan
constituir un ampo numrico con propiedades ms amplias que el
campo de los nmeros naturales, nico conocido entonces, y que databa
de la poca de los griegos. Estos conceptos tericos se contaron entre las
matemticas de punta durante todo el renacimiento europeo. En 1070
escribi su famoso trabajo de lgebra: Tratado sobre demostraciones de
problemas de lgebra, el cual contiene una completa clasificacin de
ecuaciones cbicas resueltas geomtricamente, mediante la interseccin
de secciones cnicas. Y es que intent clasificar ecuaciones cuadrticas
con xito, aunque no pudo encontrar la solucin para todas las
ecuaciones cbicas, a pesar de estar seguro de que era posible hacerlo ya
que en algunos casos hall soluciones geomtricas.
Omar Khayyam
Clculo Diferencial e Integral
(Siglos XVII XVIII)
El Clculo Diferencial e Integral, tambin llamado Clculo Infinitesimal
o simplemente Clculo, constituye una parte muy importante de la
matemtica moderna. El clculo, como algoritmo desarrollado en el
campo de la matemtica, incluye el estudio de los lmites, derivadas,
integrales y series infinitas. Ms concretamente, el Clculo es el estudio
del cambio, en la misma manera que la geometra es el estudio del
espacio.
El clculo infinitesimal tiene amplias aplicaciones en la ciencia y la
ingeniera y se usa para resolver problemas para los cuales el lgebra
por s sola es insuficiente. Este se construye con base en el lgebra, la
trigonometra y la geometra analtica e incluye dos campos principales,
Clculo Diferencial y Clculo Integral, los cuales estn relacionados por el
Teorema Fundamental del Clculo. En matemtica ms avanzada, el
clculo es llamado Anlisis matemtico, y est definido como el estudio
de las funciones.
Los Pioneros del Clculo Moderno.
En el siglo XVII, los matemticos europeos Isaac
Barrow, Pierre de Fermat, Blaise Pascal, John Wallis y
otros, discutieron la idea de una derivada. En
particular, en sus publicaciones Methodus ad
disquirendan maximam et minima y De tangentibus
linearum curvarum, Fermat desarroll su mtodo
adequality para la determinacin de mximos,
mnimos y tangentes a varias curvas, que fue
equivalente a la diferenciacin. Isaac Newton ms
tarde escribi que sus primeras ideas propias acerca
del Clculo vinieron directamente de la Forma en
que Fermat dibujaba las tangentes. A Fermat tambin
se le atribuye un truco ingenioso para evaluar
directamente la integral de cualquier potencia de
una funcin. En su Tratado sobre la Cuadratura (1659),
Fermat escribi la primera prueba conocida del
clculo del rea bajo una parbola. Fermat tambin
obtuvo una tcnica para encontrar centros de
gravedad de varias figuras planas y slidas con lo
cual influenci posteriormente el trabajo en
cuadraturas.
Pierre de Fermat
Los Pioneros del Clculo Moderno.
James Gregory (1638 1675). Fue un matemtico y
astrnomo escocs. Describi uno de los primeros
diseos prcticos del Telescopio Reflector (construido
con una combinacin de espejos curvos que reflejan
la luz y forman la imagen). Hizo avances en
trigonometra, descubriendo representaciones en
series infinitas para varias funciones
trigonomtricas. Influenciado por las contribuciones
de Fermat a la tangencia y a la cuadratura, fue capaz
de probar una versin restringida del Segundo
Teorema Fundamental del Clculo, a mediados del siglo
XVII. La primera prueba completa del Teorema
Fundamental del Clculo fue dada por Isaac Barrow
(1630 1677), telogo cristiano y matemtico ingls.
El trabajo de Barrow se centr en las propiedades de
la tangente. Fue el primero en calcular las tangentes
de la curva Kappa: en geometra la curva Kappa es
una curva bidimensional parecida a la letra griega
(kappa). En el sistema de coordenadas cartesianas
puede ser expresada como
James Gregory
( )
2 2 2 2 2
y a y x x = +
Isaac Barrow
Los Pioneros del Clculo Moderno.
En lo concerniente a integral, Cavalieri (1598 1647),
matemtico italiano, desarroll su mtodo de
indivisibles en los aos 1630s 40s, proporcionando
una forma ms moderna del antiguo mtodo de
exhauscin griego. Adems, estableci la frmula de
cuadratura de Cavalieri:
y generalizaciones de la misma, y la utiliz para el
clculo de reas bajo curvas de la forma , con
grado superior, lo cual haba sido previamente
calculado nicamente para la parbola, por
Arqumedes.
Evangelista Torricelli (1608 1647), fue un fsico y
matemtico italiano, mejor conocido por ser el
inventor del barmetro (instrumento cientfico
utilizado en meteorologa para medir la presin
atmosfrica). Torricelli extendi el trabajo de
Cavalieri a otras curvas como la cicloide, luego la
frmula fue generalizada a potencias fracionarias y
negativas por Wallis (matemtico ingles, 1616 1703)
Torricelli
Wallis
0 ,
1
1
1
0
> =
+
+
}
n a dx x
n
n
a
n
n
x
Cavalieri
Los Pioneros del Clculo Moderno.
La primera prueba del Teorema de Rolle fue dada
por Michel Rolle (1652 1719), matemtico francs, en
1691 usando mtodos desarrollados por el
matemtico dans Johannes van Waveren Hudde (1628
1704). El Teorema del Valor Medio, en su forma
moderna fue establecida por Bernard Bolzano (1781
1848), matemtico, lgico, filsofo, telogo y
sacerdote catlico alemn; y por Agustin Louis
Cauchy (1789 1857), tambin despus del
establecimiento del clculo moderno. Contribuciones
importantes tambin fueron hechas por Descartes
(1596 1650), Huygens (1629 1695), y muchos otros.
Michel Rolle
Bernard Bolzano
Johannes Hudde
Agustin L. Cauchy
Newton y Leibniz
Antes de Newton y Leibniz, la palabra clculo era un trmino general usado
para referirse a cualquier tema de las matemticas, pero en los aos subsecuentes,
clculo se convirti en un trmino conocido para un campo de las matemticas con
identidad propia. A mediados del siglo XVII, los matemticos europeos han cambiado
su repositorio de conocimientos. A diferencia que en el ltimo siglo en el cual las
Matemticas Helensticas se mantenan como el punto de partida de las investigaciones,
Newton, Leibniz y sus contemporneos, cada vez ms, miraron hacia los trabajos de
los pensadores ms modernos. Europa se haba convertido en el hogar de una
creciente comunidad matemtica, y con el advenimiento de una mejora institucional y
base organizacional, se logr un nuevo nivel de organizacin e integracin acadmica.
Sin embargo, la comunidad careca de formalismo, consista de una masa desordenada
de mtodos, tcnicas, notaciones, teoras y paradojas.
Newton lleg al clculo como parte de sus investigaciones en la fsica y la
geometra. l vio el clculo como la descripcin cientfica de la generacin de
movimiento y magnitudes. En comparacin, Leibniz se centr en el problema de la
tangente y lleg a creer que el clculo era una explicacin metafsica del cambio. Estas
diferencias en el enfoque no deben ser subestimadas. Es importante destacar que el
ncleo de su visin fue la formalizacin de las propiedades opuestas entre la integral y
la diferencial. Esta idea haba sido anticipada por sus predecesores, pero ellos fueron los
primeros en concebir el clculo como una sistema en el que una nueva retrica y una
terminologa descriptiva fue creada. Sus descubrimientos nicos no solo radican en su
imaginacin, sino tambin en su habilidad para sintetizar los puntos de vista a su
alrededor en un proceso algortmico universal, formando de esta manera un nuevo
sistema matemtico.
Newton. Sir Isaac Newton (Diciembre 25,
1642 Marzo 20, 1727). Fue un fsico, matemtico,
astrnomo, filsofo natural, alquimista y telogo
ingls. Fue profesor de matemticas en Cambridge y
luego jefe de la casa de la moneda en Londres. Sus
principales ideas fueron desarrolladas en el perodo
1664-1666 cuando estaba recluido en su casa natal
de la aldea Woolsthorpe, ya que el Trinity College de
Cambridge, donde Newton era estudiante, estuvo
cerrado por la epidmia de la peste. All desarroll
sus ideas de la gravitacin universal, de la teora de
los colores y sobre la serie del binomio y el clculo
de fluxiones.
De naturaleza tmida, era reacio a publicar
sus resultados, para as evitar las posibles crticas y
controversias de sus contemporneos. En Octubre
de 1666 escribi un tratado sobre fluxiones y en 1669
De Analysi, un tratado sobre series infinitas que
circul en forma de manuscrito entre los miembros
de la Royal Society. Hay otro tratado sobre fluxiones
y series infinitas de 1671 y otro sobre la cuadratura
de curvas de 1693.
Isaac Newton
Newton.
Sin embargo, esos tratados fueron publicados hasta
bien tarde y algunos solo lo fueron despus de su
muerte. De Analysi fue publicado en 1771, y el
tratado sobre cuadratura de curvas, De Quadratura
Curvarum de 1693, apareci como un apndice de su
Opticks en 1704. Su obra ms famosa, donde expone
su teora de la gravitacin universal, los Principia,
fue publicada en 1687, pero sus argumentos son
muy geomtricos y slo dan una idea de sus
mtodos del clculo infinitesimal. En el trabajo
matemtico de Newton, se pueden distinguir
algunos temas centrales. Estos son los desarrollos en
series de potencias, en especial el desarrollo del
binomio, algoritmos para hallar races de ecuaciones
y de inversin de series, relacin inversa entre
diferenciacin e integracin y el concepto de
fluentes y fluxiones como variables que cambian en
el tiempo. Newton tambin estuvo muy interesado
en ptica, dinmica, alquimia, cronologa de la
historia y en la interpretacin de las sagradas
escrituras.
Isaac Newton
Newton. El Teorema del Binomio
La serie del binomio fue descubierta por Newton en el invierno
de 1664. Aparece expuesta en dos cartas, la Epstola Prior de
Junio de 1676, y la Epstola Posterior de Octubre de 1676, que
mand al secretario de la Royal Society of London, Henry
Oldenburg, para que se las transmitiera a Leibniz. Dice Newton:
La extraccin de races cuadradas se simplifica con este teorema
donde A, B, C, son los trminos inmediatos que les preceden en el
desarrollo.
Expresado de esta forma es poco familiar. Newton quiere decir
que toma
y as sucesivamente.
Isaac Newton
( ) +

+ + = + DQ
n
n m
CQ
n
n m
BQ
n
n m
AQ
n
m
P PQ P
n
m
n
m
4
3
3
2
2

2
2
2 . 3
2 1
3
2
2
1
2 2
, ,
Q P
n
m
n
m
n
m
CQ
n
n m
D
Q P
n
m
n
m
Q Q P
n
m
n
n m
BQ
n
n m
C
Q P
n
m
AQ
n
m
B P A
n
m
n
m
n
m
n
m
n
m
|
.
|

\
|

|
.
|

\
|

=

=
|
.
|

\
|

|
.
|

\
|
= |
.
|

\
|
=

=
= = =
De esta manera, luego de sustituir y
reducir adecuadamente queda la forma
que es la expresin ms familiar que
usamos hoy.
( ) +
|
.
|

\
|

|
.
|

\
|

+
|
.
|

\
|

|
.
|

\
|
+ + = +
2 2
3 . 2
2 1
2
1
1 1 Q
n
m
n
m
n
m
Q
n
m
n
m
Q
n
m
Q
n
m
Newton. Newton abord el desarrollo del clculo
a partir de la geometra analtica, desarrollando un
enfoque geomtrico y analtico de las derivadas
matemticas aplicadas sobre curvas definidas a travs de
ecuaciones. Durante su aislamiento inducido por la plaga
logr la primera concepcin del Clculo de Fluxiones, este
trabajo se registr en el indito De Analysi per Aequationes
Numero Terminorum Infinitas. En este escrito, Newton
determin el rea bajo una curva calculando en primer
lugar, una tasa momentnea de cmbio y luego
extrapolndola al rea toral. El comenz su razonamiento
sobre un tringulo infinitamente pequeo cuya rea es
funcin de x y y. A continuacin razon que el
incremento infinitesimal en la abscisa crear una nueva
frmula donde x = x + o (o es la letra, no el nmero 0).
Entonces recalcul el rea con la ayuda del teorema
binomial, removi todas las cantidades que contenan la
letra o y reformul una expresin algebraica para el rea.
De modo significativo, Newton entonces borr las
cantidades que contenan o, porque los trminos
multiplicados por o no sern nada con respecto a los
dems.
Newton. En este punto Newton haba comenzado a
darse cuenta de la propiedad central de inversin. Ha creado
una expresin para el rea bajo una curva considerando un
incremento momentneo en un punto. En efecto, el Teorema
Fundamental del Clculo fue incluido en sus clculos. Mientras
su nueva formulacin ofreca un potencial increble, Newton
era consciente de sus limitaciones lgicas en ese momento. El
admite que los errores, en matemticas, no deben ser ignorados,
por pequeos que sean, y que lo que haba logrado era poco
explicativo ms que demostrado con precisin. En un esfuerzo
por dar al clculo un marco y una explicacin ms rigurosa,
Newton compil en 1671 el Methodus Fluxionum et Serierum
Infinitarum. En este libro, el empirismo estricto de Newton
formar y definir su Clculo de Fluxiones. Explot,
informalmente, sus ideas sobre el movimiento instantneo y
los infinitesimales. Us la matemtica como una herramienta
metodolgica para explicar el mundo fsico. La idea de
continuidad se convirti en el pilar del clculo revisado de
Newton; como tal redefini sus clculos en trminos de
movimiento fluido continuo. Para Newton, las magnitudes
variables no son agregados de elementos infinitesimales,
pero son generadas por hechos indisputables de movimiento.
Teorema Fundamental
del Clculo en su
forma actual
Newton. Newton trat de evitar el uso de los
infinitesimales mediante la formulacin de clculos basados
en las relaciones de los cambios. En el Methodus Fluxionum l
defini la tasa de cambio generada como una fluxin, la cual
representaba por una letra con un punto encima, y la
cantidad generada la defini como un fluido. Por ejemplo, si
x y y son fluidos, entonces y representan sus respectivas
fluxiones. Este clculo de relaciones continuas, fue establecido
con madurez en el texto de 1676 De Quadratura Curvarum,
donde Newton lleg a definir la derivada que estudiamos hoy,
como la razn ltima de cambio, la cual defini como la
relacin entre incrementos evanescentes (la proporcin de
fluxiones) puramente en el momento en cuestin.
Esencialmente, la razn ltima es la razn de que los
incrementos se desvanezcan en la nada. Es importante
destacar que, Newton explic la existencia de la relacin
ltima apelando al movimiento: Por velocidad mxima se
entiende que es aquella con la que el cuerpo se mueve, no antes de
llegar a su ltimo lugar, cuando el movimiento cesa, ni despus,
pero en el mismo instante en que llega la razn ltima de
cantidades evanescentes ha de entenderse como la relacin de
cantidades, no antes de que desaparezcan, y no despus, pero con la
que desaparecen. Newton desarroll su Clculo de Fluxiones en un
intento de evadir el uso informal de infinitesimales en sus clculos.
Definicin de la
Derivada de primer
orden en su forma
actual
x
-
y
-
Leibniz. Gottfried Wilhelm Leibniz (Julio 1, 1646
Noviembre 14, 1716). Fue un filsofo, matemtico jurista,
bibliotecario y poltico alemn. Fue uno de los grandes
pensadores de los siglos XVII y XVIII, y se le reconoce como
El ltimo Genio Universal. Realiz profundas e importantes
contribuciones en las reas de metafsica, epistemologa,
lgica, filosofa de la religin, as como a la matemtica,
fsica, geologa, jurisprudencia e historia.
Matemtica. Aunque la nocin matemtica de
funcin estaba implcita en la trigonometra y las tablas
logartmicas , las cuales ya existan en su tiempo, Leibniz fue
el primero, en 1692 y 1694, en emplearlas explcitamente para
denotar alguno de los varios conceptos geomtricos
derivados de una curva, tales como abscisa, ordenada,
tangente, cuerda y perpendicular. En el siglo XVIII, el
concepto de funcin perdi estas asociaciones meramente
geomtricas. Tambin, Leibniz fue el primero en ver que los
coeficientes de un sistema de ecuaciones lineales podan ser
organizados en un arreglo, ahora conocido como matriz, el
cual poda ser manipulado para encontrar la solucin del
sistema, si la hubiera. Este mtodo se conoci mas tarde
como Eliminacin Gaussiana. Leibniz tambin hizo aportes en
el campo del lgebra booleana y la lgica simblica.
Gottfried Leibniz
Leibniz. Mientras que Newton comenz el desarrollo
de su Clculo de Fluxiones en 1665-1666, sus resultados no
fueron ampliamente divulgados hasta ms tarde. En el
intervalo de esos aos, Leibniz tambin se esforz por crear
su Clculo. En comparacin con Newton, quien lleg a las
matemticas a una temprana edad, Leibniz comenz su
estudio riguroso de las matemticas a una edad madura. En
1672 Leibniz conoci al matemtico holands Huygens quien
lo convenci de dedicar una cantidad significante de tiempo
al estudio de la matemtica. Por el ao 1673, Leibniz haba
progresado hasta la lectura del escrito de Pascal (1623 1662),
Trait des Sinus du Quarte Cercle. Leibniz, al igual que
Newton, vio la tangente como una razn, pero la declar de
manera ms sencilla, como la razn entre las ordenadas y las
abscisas. El continu argumentando que la integral era, de
hecho, la suma de las ordenadas de intervalos infinitesimales
en las abscisas, en efecto, una suma de un nmero infinito de
rectngulos. De estas definiciones, la relacin inversa queda
clara y Leibniz rpidamente tuvo el potencial para formar un
sistema matemtico completamente nuevo. Donde Newton
rehuy el uso de infinitesimales, Leibniz los convirti en la
piedra angular de su notacin y clculo.
Gottfried Leibniz
Leibniz. En el manuscrito del 25 de Octubre al 11 de
Noviembre de 1675, Leibniz registr sus descubrimientos y
experimentos con varias formas de notacin. El est muy
consciente de los trminos de notacin usados en sus planes
anteriores para formar un simbolismo lgico y preciso.
Eventualmente, Leibniz denota los incrementos
infinitesimales de las abscisas y las ordenadas con los
smbolos dx y dy, respectivamente, y la suma de
infinitamente muchos rectngulos infinitesimales, con una s
alargada, la cual se convirti en el actual smbolo integral .
De acuerdo con los cuadernos de Leibniz, el 11 de Noviembre
de 1675 tuvo lugar un acontecimiento fundamental, ese da
emple por primera vez el clculo integral para encontrar en
rea bajo la curva de una funcin y = f(x). Esa ingeniosa y
sugerente notacin para el clculo, de Leibniz, es
probablemente su legado matemtico ms perdurable.
Leibniz no public nada acerca de su Calculus hasta 1684. La
regla del producto del clculo diferencial es an denominada
Regla de Leibniz para la derivacin de un producto. Adems, el
teorema que dice cundo y cmo diferenciar bajo el smbolo
integral, se llama la Regla de Leibniz para la derivacin de unaa
integral.
Gottfried Leibniz
Smbolo para la integral
ideado por Leibniz
A lo largo del siglo XIX, las matemticas se van
haciendo cada vez ms abstractas. En el siglo XIX vivi
Carl Friedrich Gauss (1777 1855). Matemtico,
astrnomo y fsico alemn. Contribuy
significativamente en muchos campos, incluida la teora
de nmeros, el anlisis matemtico, la geometra
diferencial, la geodesia, el magnetismo y la ptica.
Considerado el Prncipe de las Matemticas y el
matemtico ms grande desde la antigedad, Gauss ha
tenido una influencia notable en muchos campos de la
matemtica y de la ciencia, y es considerado uno de los
matemticos que ms imfluencia ha tenido en la
historia. Fue de los primeros en extender el concepto de
divisibilidad a otros conjuntos. Completo su Magnum
Opus, Disquisitiones Arithmeticae a los 21 aos (1798),
aunque no sera publicado hasta 1801. Un trabajo que
fue fundamental para que la teora de los nmeros se
consolidara y ha moldeado esta rea hasta los das
presentes. En matemticas puras Gauss hizo un trabajo
revolucionario sobre funciones de variable compleja, en
geometra, y sobre la convergencia de series. Dio la
primera demostracin satisfactoria del Teorema
Fundamental del Algebra y a la Ley de Reciprocidad
Cuadrtica.
Es clebre la siguiente ancdota: Tena Gauss 10
aos cuando un da en la escuela el profesor manda a
sumar los 100 primeros nmeros naturales, transcurridos
unos pocos segundos Gauss levanta la mano y dice tener
la solucin, los cien primeros nmeros naturales suman 5050.
Y efectivamente es as. Cmo lo hizo Gauss? Pues
mentalmente el nio se dio cuenta de que la suma del
primer nmero con el ltimo, la del segundo con el
penltimo, y as sucesivamente, era constante:
1+100 = 2+99 = 3+98 = = 50+51 = 101
Con los 100 nmeros se pueden formar 50 pares, de
forma que la solucin final viene dada por el producto
101x50 = 5050. Gauss haba deducido la frmula que da
la suma de n trminos de una progresin aritmtica de la
que se conocen el primero y el ltimo trmino:
Donde es el primer trmino, el ltimo y n es el
nmero de trminos de la progresin.
Fue el primero en probar rigurosamente el
Teorema Fundamental del Algebra (disertacin para su tesis
doctoral en 1799), aunque una prueba casi completa de
dicho teorema haba sido hecha por Jean Le Rond dAlembert.
( )
2
1
n a a
S
n
n
+
=
1
a
n
a
En 1801 public el libro Disquisitiones
Aritmeticae, con seis secciones dedicadas a la Teora de
nmeros, dndole a esta rama de la matemtica una
estructura sistematizada. En la ltima seccin del libro
expone su tesis doctoral. Ese mismo ao predijo la rbita
del asteroide Ceres aproximando parmetros por el
mtodo de mnimos cuadrados, un procedimiento
utilizado en todas las ciencias hasta el da de hoy para
minimizar los efectos del error de medicin.
En 1809 public Theoria Motus Corporum
Coelestium in Sectionibus Conicis Solem Ambientum
describiendo cmo calcular la rbita de un planeta y
cmo refinarla posteriormente. Profundiz sobre
ecuaciones diferenciales y secciones cnicas.
Quizs Gauss haya sido la primera persona en
intuir la independencia del postulado de las paralelas de
Euclides y de esta manera anticipar una geometra no
euclideana.
En 1823 publica Theoria combinationis
observationum erroribus minimis obnoxiae, dedicado a la
estadstica, concretamente a la distribucin normal cuya
curva caracterstica, denominada como Campana de
Gauss, es muy usada en disciplinas no matemticas
donde los datos son susceptibles de estar afectados por
errores sistemticos y casuales como por ejemplo la
psicologa diferencial. Hay que aclarar que Gauss no fue
el primero en hacer referencia a la distribucin normal.
Mostr un gran inters en geometra diferencial
y su trabajo Disquisitiones generales circa superficies curva
publicado en 1828 fue el ms reconocido en este campo.
En dicha obra expone el famoso Teorema Egregium. De
esta obra se deriva el trmino curvatura gaussiana.
En 1831 se asocia al fsico Wilhelm Weber
durante seis fructferos aos en los que realizan
investigaciones sobre las Leyes de Kirchhoff,
publicaciones sobre magnetismo y construyen un
telgrafo elctrico primitivo.
El siglo XIX vio el desarrollo de
dos formas de geometra no euclidiana, donde el postulado de las paralelas de la
geometra de Euclides ya no es vlido. El primer ejemplo de geometra no euclidiana fue la
hiperblica, teorizada inicialmente por Immanuel Kant (1724 1804), filsofo alemn, y
formalizada posterior e independientemente por varios autores a principios del siglo XIX
tales como Carl F. Gauss, Nikoli Lovachevski, Jnos Bolyai y Ferdinand Schweickard. Los
desarrollos de geometras no eucldeas se gestaron en sus comienzos con el objetivo de
construir modelos explcitos en los que no se cumpliera el Quinto Postulado de Euclides. La
geometra Euclideana haba sido desarrollada por los griegos y expuesta por Euclides en la
obra Los Elementos. En su primera obra publicada, Pensamiento sobre la verdadera estimacin
de las fuerzas vivas (1746), Immanuel Kant considera espacios de ms de tres dimensiones y
afirma: Una ciencia de todas estas posibles clases de espacio sera sin duda la empresa ms elevada
que un entendimiento finito podra acometer en el campo de la Geometra... Si es posible que existan
extensiones con otras dimensiones, tambin es muy probable que Dios las haya trado a la
existencia, porque sus obras tienen toda la magnitud y variedad de que son capaces. Esas posibles
que Kant entrev son las que hoy se llaman geometras euclidianas de dimensin mayor
que 3. Por otra parte, ya desde la antigedad se consider que el quinto postulado del libro
de Euclides no era tan evidente como los otros cuatro pues, al afirmar que ciertas rectas no
se cortarn al prolongarlas indefinidamente, habla de una construccin mental un tanto
abstracta. Por eso durante muchos siglos se intent sin xito demostrarlo a partir de los
otros cuatro. A principios del siglo XIX, se intent demostrarlo por reduccin al absurdo,
suponiendo que es falso y tratando de obtener una contradiccin. Sin embargo, lejos de
llegar a un absurdo se encontr que existan geometras coherentes diferentes de la
eucldea. Se haba descubierto as la primera geometra no eucldea (en concreto el primer
ejemplo que se logr era una geometra llamada hiperblica).
A principios del siglo XIX, y de modo independiente, Gauss (1777-1855), Lobachevsky (1792-
1856), Bolyai y Schweickard lograron construir la geometra hiperblica, a partir del intento
de negar el quinto postulado de Euclides y tratar de obtener una contradiccin. En lugar
de obtener una contradiccin lo que obtuvieron fue una curiosa geometra en la que los
tres ngulos de un tringulo sumaban menos de 180 sexagesimales (en la geometra
eucldea los ngulos de cualquier tringulo suman siempre exactamente 180). La
naturalidad de esta geometra qued confirmada a finales del siglo, cuando Beltrami (1835
1900), matemtico italiano, demostr que la geometra hiperblica coincide con la
geometra intrnseca de cierta superficie y Felix Klein (1849 - 1925), matemtico alemn, dio
la interpretacin proyectiva de la geometra hiperblica. Ambos resultados prueban que es
tan consistente como la geometra eucldea (es decir, si la geometra hiperblica lleva a
alguna contradiccin, entonces la geometra eucldea tambin).
Nikoli Ivnovich Lobachevski (en caracteres
cirlicos: )
(1792 1856). Fue un matemtico ruso del
siglo XIX. Entre sus principales logros se
encuentra la demostracin de varias conjeturas
relacionadas con el clculo tensorial aplicado a
vectores en el espacio de Hilbert. Fue uno de
los primeros matemticos que aplic un
tratamiento crtico a los postulados
fundamentales de la geometra euclidiana.
Jnos Bolyai fue un matemtico hngaro (1802 1860).
Su padre, Farkas Bolyai, tambin era matemtico y amigo
de Gauss.
La geometra elptica (llamada a veces riemanniana) es un modelo de geometra no
eucldea de curvatura constante que satisface slo los cuatro primeros postulados de
Euclides pero no el quinto. Aunque es similar en muchos aspectos y muchos de los
teoremas de la geometra euclidiana siguen siendo vlidos en geometra elptica, no se
satisface el quinto postulado de Euclides sobre las paralelas. Al igual que la geometra
euclideana y la geometra hiperblica es un modelo de geometra de curvatura constante,
siendo la diferencia entre estos tres modelos el valor de la curvatura: La Geometra Euclidiana
satisface los cinco postulados de Euclides y tiene curvatura cero. La Geometra Hiperblica satisface
slo los cuatro primeros postulados de Euclides y tiene curvatura negativa. La Geometra Elptica
satisface slo los cuatro primeros postulados de Euclides y tiene curvatura positiva.
Georg Friedrich Bernhard Riemann (1826 1866). Fue un matemtico alemn
que realiz contribuciones muy importantes en anlisis y geometra
diferencial, algunas de ellas allanaron el camino para el desarrollo ms
avanzado de la relatividad general. Su nombre est conectado con la Funcin
Zeta, la Integral de Riemann, el Lema de Riemann, las Variedades de Riemann, las
Superficies de Riemann y la Geometra de Riemann.
A propuesta de Gauss, la disertacin de Riemann vers sobre la hiptesis de la Geometra.
En su tesis, Riemann considera las posibles geometras que infinitesimalmente (por
ejemplo, en regiones muy pequeas) sean eucldeas, cuyo estudio se conoce hoy en da
como Geometras Riemannianas. Estas geometras resultan en general no-homogneas:
algunas de las propiedades del espacio pueden diferir de un punto a otro, en particular el
valor de la curvatura. Para el estudio de estas geometras, Riemann introdujo el
formalismo del tensor de curvatura y demostr que la geometra eucldea, la geometra
hiperblica y la geometra elptica son casos particulares de geometras riemannianas,
caracterizadas por valores constantes del tensor de curvatura. En una geometra
riemanniana general, el tensor de curvatura tendr valores variables a lo largo de
diferentes puntos de dicha geometra. Eso hace que la geometra no sea homognea, y
permite distinguir unos puntos de otros. Esto es relevante en la teora de la relatividad
general, ya que en principio es posible hacer experimentos de medicin de distancias y
ngulos que permitan distinguir unos puntos del espacio de otros, tal como especifican
numerosos experimentos mentales imaginados por Einstein y otros en los que un
experimentador encerrado en una caja puede realizar experimentos para decidir la
naturaleza del espacio-tiempo que le rodea. Finalmente un aspecto interesante de la
geometra riemanniana es que si la curvatura no es constante entonces el grupo de
isometra del espacio tiene dimensin estrictamente menor, que siendo la dimensin del
espacio. En concreto segn la relatividad general un espacio-tiempo con una distribucin
muy irregular de la materia podra tener un grupo de isometra trivial de dimensin 0.
El siglo XIX vio el comienzo de una gran cantidad de lgebra
abstracta. William Rowan Hamilton (1805 1865), en Irlanda desarrolla el lgebra no
conmutativa. El matemtico britnico George Boole (1779 1848), ide un lgebra que pronto
se convirti en lo que ahora se denomina lgebra booleana, en la que los nicos nmeros
son 0 y 1 con su famoso 1 + 1 = 10. El lgebra booleana es el punto de partida de la lgica
matemtica y tiene importantes aplicaciones en ciencias de la computacin. Agustin Louis
Cauchy (1789 1857), Bernhard Riemann (1826 1866) y Karl Weierstrass (1815 1897),
reformularon el clculo de una forma ms rigurosa. Adems, por primera vez, se estudiaron
los lmites de las matemticas. El noruego Niels Henrik Abel (1802 1829) y el francs Evariste
Galois (1811 1832), demostraron que no hay ningn mtodo algebraico general para
resolver ecuaciones polinmicas de grado superior a cuatro. Otros matemticos del siglo
XIX utilizaron sto para demostrar que no se puede trisecccionar un ngulo arbitrario con
regla y comps, ni construir el lado de un cubo cuyo volumen es el doble del volumen de un
cubo dado, ni construir un cuadrado cuya rea sea igual a la de un crculo dado. Los
matemticos haban tratado de resolver, en vano, todos estos problemas desde la poca de
los antiguos griegos.
Las investigaciones de Abel y Galois sobre las soluciones de
ciertas ecuaciones polinmicas, sentaron las bases para el posterior desarrollo de la
teora de grupos, y de los campos de lgebra abstracta asociados. En el siglo XX los
fsicos y otros cientficos han visto la teora de grupos como la forma ideal para
estudiar la simetra. Ms entrado el siglo XIX, Georg Cantor (1845 1918), invent la
teora de conjuntos, lo que permiti el tratamiento riguroso de la nocin de infinito y
se ha convertido en el lenguaje comn de casi toda la matemtica. La teora de
conjuntos de Cantor, y el surgimiento de la lgica matemtica de las manos de Peano
(1858 1932), Luitzen Egbertus Jan Brouwer (1881 1966), David Hilbert (1862 1943),
Bertrand Russell (1872 1970), y A.N. Whitehead (1861 1947), iniciaron un largo debate
sobre los fundamentos de las matemticas. El siglo XIX vio la fundacin de una serie
de sociedades nacionales de matemticas: The London Mathematical Society en 1865, la
Socit Mathmatique de Francia en 1872, el Mathematico Circolo di Palermo en 1884, la
Sociedad Matemtica de Edimburgo en 1883, y la Sociedad Americana de Matemticas en
1888.
Siglo XX
Nacimiento de la Teora de Conjuntos
Direccin Principal que Toma la Matemtica
Las Matemticas en el Siglo XX
El siglo XX vio como las matemticas se convierten en una profesin
importante. Cada ao, se concedan miles de nuevos doctorados en
matemticas, y haba puestos de trabajo disponibles en la enseanza y la
industria. En siglos anteriores, hubo pocos matemticos creativos en el mundo.
En su mayor parte, fueron matemticos de familias adineradas, como Napier, o
apoyados por ricos mecenas, como Gauss. Unos pocos, como Fourier, con
escasos medios de subsistencia se ganaban la vida con la enseanza en las
universidades. Niels Henrik Abel, incapaz de obtener una posicin, muri en la
pobreza, de desnutricin y tuberculosis a la edad de veintisis.
Durante el siglo XX, el grueso de las matemticas conocida creci a un
ritmo exponencial, de modo que en esta seccin se mencionaran slo algunos de
los descubrimientos ms importantes. En 1900 en un discurso ante el Congreso
Internacional de Matemticos, David Hilbert estableci una lista de 23
problemas sin resolver en matemticas. Estos problemas, que abarcan muchas
reas de las matemticas, fueron el centro de atencin de muchos matemticos
durante gran parte del siglo XX. Hoy en da, 10 de ellos se han resuelto, 7 estn
parcialmente resueltos, y 2 an estn abiertos. Los 4 restantes estan demasiado
vagamente formulados para ser considerados como resueltos o no.
Fin del siglo XIX. Georg Cantor. Teora de Conjuntos y el Infinito.
Georg Ferdinand Ludwig Philipp Cantor (San Petersburgo, 3 de marzo de 1845 Halle, 6
de Enero de 1918). Fue un matemtico alemn, inventor junto con Dedekind (1831
1916) y Frege (1848 1925) de la teora de conjuntos, que es la base de la matemtica
moderna. Gracias a sus atrevidas investigaciones sobre los conjuntos infinitos fue el
primero capaz de formalizar la nocin de infinito bajo la forma de los nmeros
transfinitos (cardinales y ordinales). Cantor vivi aquejado por episodios de depresin,
atribuidos originalmente a las crticas recibidas y sus fallidos intentos de demostracin de
la Hiptesis del Continuo, aunque actualmente se cree que posea algn tipo de
depresin ciclo-manaca. Hoy en da, la comunidad matemtica reconoce plenamente
su trabajo, y admite que significa un salto cualitativo importante en el raciocinio lgico.
Hiptesis del Continuo. En teora de conjuntos, la hiptesis
del continuo (abreviada HC), es una hiptesis, debida a Georg
Cantor, sobre la cardinalidad (nmero de elementos) del
conjunto de los nmeros reales (denominado continuo por la
recta real). Cantor introdujo el concepto de nmero cardinal
para comparar el tamao de conjuntos infinitos, demostrando
en 1874 que el cardinal del conjunto de los enteros es
estrictamente inferior al de los nmeros reales. Lo siguiente a
preguntarse es si existen conjuntos cuyo cardinal est incluido
estrictamente entre los cardinales de ambos conjuntos. La
hiptesis del continuo viene a decir: No existen conjuntos cuyo
tamao est comprendido estrictamente entre el de los
enteros y el de los nmeros reales.
Matemticamente hablando, si el
cardinal de los enteros es (aleph cero)
y el cardinal de los nmeros reales es ,
la hiptesis del continuo afirma que:
, donde indica el
cardinal de A. Admitiendo el axioma de
eleccin, existe un
nmero cardinal
(aleph uno),
el inmediato superior
a , , siendo la
hiptesis del continuo
equivalente a la
igualdad
0

0
2

-
0
0
: 2 A A

< < A
1

0
1
2

=
Fin del siglo XIX. Georg Cantor. Teora de Conjuntos y el Infinito.
Los estudios universitarios de Georg Cantor iniciaron en Zrich, en 1862. Pero pas a la
Universidad de Berln al siguiente ao, despus de la muerte de su padre. En Berln se
especializ en matemticas, filosofa y fsica. El inters de joven recay en las dos
primeras. Tuvo como profesores en el campo de matemticas a Ernst Kummer (1810
1893), Karl Weierstrass (1815 1897) y Leopold Kronecker (1823 1891). El trabajo de
Cantor en teora de conjuntos fue motivado por el estudio de las series trigonomtricas.
Hay que sealar que el estudio de las series de Fourier contribuy a esclarecer el
concepto de funcin, integral y conjunto. As vemos como un tema matemtico
especfico y los problemas asociados al mismo puede impulsar el desarrollo de ideas
fundamentales y bsicas.
Sin duda la nocin de cardinal es la ms importante.
Adems de su propio trabajo sobre series
trigonomtricas se debe 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 (1859 1919),
matemtico alemn, de una funcin de variable
compleja fue un temprano xito de la teora de
conjuntos.
Teorema de Bolzano-Weierstrass.
En el anlisis real, el teorema de Bolzano-
Weierstrass es un importante teorema
que caracteriza los conjuntos
secuencialmente compactos. Es un
resultado fundamental referente a la
convergencia en un espacio eucldeo
dimensionalmente finito
El teorema establece que
Cada sucesin acotada
en tiene una subsu-
-cesin convergente.
n

Fin del siglo XIX. Georg Cantor. Teora de Conjuntos y el Infinito.

Para Cantor un conjunto es cualquier coleccin constituida por objetos separados de
nuestra intuicin o pensamiento. Esta definicin no alcanza el rigor que se 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 aparecen 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 definicin de conjunto que da Cantor. Era
solo el punto de partida para el trabajo que sobre cardinalidad y el infinito iba a
desarrollar.
Contar y la idea de biyeccin. La idea de contar
est asociada a la idea de biyeccin, decimos
que dos conjuntos A y B tienen la misma
cantidad de elementos o cardinal, si existe una
biyeccin f : AB. As, los conjuntos A = {1, 2,
3}, B = {a, b, c}, tienen el mismo cardinal,
pudiendo ser la biyeccin f(1) = a, f(2) = b, f(3) =
c, aunque existen otras posibilidades. Es decir,
establecer una biyeccin entre dos conjuntos
permite establecer que ambos conjuntos tienen
algo en comn: el mismo cardinal o nmero de
elementos.
El concepto de Infinito segn Cantor y Dedekind
Ya Galileo (1564 1642), haba notado que
existen tantos nmeros naturales como
cuadrados. Esto le pareci paradjico y descart
el uso del infinito en matemtica. Cantor y
Dedekind (1831 1916) tuvieron una idea
brillante. La propiedad de existir una biyeccin
entre el conjunto y una parte de l es lo que
caracteriza a un conjunto infinito.
Definicin. Decimos que un conjunto A es
infinito, si y slo si, existe una biyeccin f : AB,
B A.
Observemos, retomando el ejemplo de Galileo,
que f definida como f : N C, ,
es una biyeccin, donde N son los nmeros
naturales y C = {0, 1, 4, 9, }, es el conjunto de
todos los cuadrados.
c
( )
2
f n n =
Fin del siglo XIX. Georg Cantor. Teora de Conjuntos y el Infinito.
Entonces, un conjunto es infinito si se puede poner en correspondencia biunvoca con
una parte propia. Esta es la caracterizacin que dan Dedekind y 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.
Posteriormente, Cantor examina la nocin de conjunto numerable que aparece
en su trabajo sobre las series trigonomtricas. De alguna manera lo numerable es el
primer escaln dentro de la larga escalera del infinito. Demuestra un resultado
sorprendente: que el conjunto de los nmero racionales, que es denso en la recta, es
numerable. Un conjunto A es numerable si se puede establecer una biyeccin entre A y
los naturales.
La Numerabilidad de los Racionales . Esto fue un
hallazgo sorprendente: existen tantos naturales como
racionales, aunque entre dos cualesquiera existen
infinitos racionales! El dibujo es una manera de visualizar
este hecho. En la primera columna se colocan las
fracciones con denominador 1, en la siguiente columna
las que tienen denominador 2, y as sucesivamente. Al
final obtendremos todas las fracciones positivas en algn
lugar del arreglo. Despus se recorre el arreglo tal como
indica la lnea roja dando una numeracin de los
racionales. La demostracin es ingeniosa y grfica.

Fin del siglo XIX. Georg Cantor. Teora de Conjuntos y el Infinito.

Despus de su hallazgo de la numerabilidad de los nmeros racionales, Cantor 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.
El argumento diagonal y la no numerabilidad de los reales.
Otra sorpresa aguardaba a Cantor y Dedekind. Los nmeros
reales no son numerables. La demostracin de este hecho es
una de las pruebas matemticas ms hermosas que alguna
vez se han realizado. Cantor realiza su demostracin
mediante el mtodo de reduccin al absurdo. Supongamos
que los reales pudiesen ser numerados, es decir, existe una
biyeccin de los naturales en los reales . En lugar de
trabajar con todo se trabaja con el intervalo [0,1]. Cantor
describe tal biyeccin mediante una matriz infinita, como la
mostrada a la izquierda. Observemos la diagonal de la misma
y construyamos un nmero entre 0 y 1 cuyo primer decimal
sea distinto de 1, su segundo decimal distinto de 8, su tercer
decimal distinto de 1, etc. Tal nmero puede ser construido
sin problema pero, dnde est el mismo? Qu posicin
ocupa en la tabla? Debe estar en algn lugar porque una
biyeccin debe ser sobreyectiva. Supongamos que est en la
fila 1234. Veamos su decimal 1234! Debe diferir del decimal
de este elemento y por tanto el nmero no puede estar en
posicin alguna. Los nmeros reales no son numerables.

Fin del siglo XIX. Georg Cantor. Teora de Conjuntos y el Infinito.

La no numerabilidad de los nmeros reales planteaba un problema muy serio e
importante, existir algn cardinal intermedio entre el cardinal de los nmero reales y el
de los naturales? Cantor pensaba que no y esto constituye su Hiptesis del Continuo.
Pronto Cantor se dio cuenta de que existan cardinales infinitos cada vez
mayores. La operacin clave era tomar el conjunto de partes de un conjunto dado. 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 A tiene n elementos, la
desigualdad se verifica para cada natural n. Cantor generaliz este resultado a
conjuntos infinitos.
2
n
2
n
n >
El Toerema de Cantor sobre el Conjunto de Partes. Supongamos
que A es un conjunto, veamos que es imposible establecer una
aplicacin sobreyectiva desde A hasta P(A). El argumento es
esencialmente diagonal, supongamos que f : A P(A) es
sobreyectiva. Formemos el conjunto . Puede
haber un a que pertenece a A tal que f(a) = B? En ese caso
podramos examinar si a pertenece a B o no. Si a pertenece a B,
entonces , esto es absurdo. Pero si
entonces, por definicin de , tendramos que
, de nuevo una contradiccin. Esto demuestra que es
imposible la biyeccin entre A y P(A). Luego si A es infinito el
cardinal de P(A) es estrictamente mayor que el de A. Este
resultado fue publicado en 1891 con el ttulo ber eine
elementare Frage der Mannigfaltigkeitslehre.
{ } : ( ) B x A x f x = e e
( ) a f a B e = ( ) a B f a e =
{ } : ( ) B x A x f x = e e
a B e
Cantor estableci 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 naturaleza intuitiva
del trabajo de Cantor tena fisuras
por las cuales el peligroso concepto
de infinito 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.
Fin del siglo XIX.
Las Paradojas en la Teora de Conjuntos
Bertrand Russell (1872 1970). Fue un filsofo, matemtico
y escritor britnico. Russell tuvo una gran influencia en la lgica
matemtica moderna.
Friedrich Ludwig Gottlob Frege (1848 1925). Fue un
matemtico, lgico y filsofo alemn, padre de la lgica matemtica y
la filosofa analtica. Frege es ampliamente reconocido como el mayor
lgico desde Aristteles.
En 1879, Frege public su revolucionaria obra titulada Conceptografa
(Begriffsschrift), en la que sent las bases de la lgica matemtica
moderna, iniciando una nueva era en esta disciplina que haba
permanecido prcticamente inalterada desde Aristteles. Mediante la
introduccin de una nueva sintaxis, con la inclusin de los llamados
cuantificadores (para todo o para al menos un), permiti
formalizar una enorme cantidad de nuevos argumentos. Tambin fue el
primero en distinguir la caracterizacin formal de las leyes lgicas de su
contenido semntico. Una vez fijados los principios axiomticos de la
lgica, acometi la tarea de edificar la aritmtica sobre la base de
aqulla. Un problema en las revolucionarias obras de Frege es la
cantidad de espacio impreso que requiere su notacin; no fue
realmente hasta la publicacin de los Principia Mathematica de Alfred
North Whitehead y Bertrand Russell cuando el poder de la lgica
formal, en una notacin menos extensa (pero que requiere muchos
signos de agrupacin) fue apreciable.
Frege
Russell
Fin del siglo XIX.
Las Paradojas en la Teora de Conjuntos
Bertrand Russell plante una pregunta aparentemente ingenua en
relacin al trabajo de Frege. Dividamos los conjuntos en dos tipos: los
que se pertenecen a s mismos y los que no lo hacen. Por ejemplo el
conjunto de las ideas se pertenece a s mismo como elemento ya que
es, sin duda, una idea. Por otro lado si consideramos el conjunto de
todas las personas, este 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 elementos, en smbolos:
Russell se pregunt es cierto o no que ? Si , por la
definicin de A, se debe tener , una contradiccin. Por otro lado,
si afirmamos que , de nuevo aplicando la definicin de A, .
Estamos en una encrucijada. Frege estaba tratando de deducir toda la
matemtica a partir de los conceptos de Cantor y la lgica. Cuando
recibi la carta de Russell que contena su paradoja dijo: con nada ms
indeseable puede enfrentarse un cientfico que con deshacerse de sus
fundamentos despus de terminar su obra. Me ha puesto en esta
situacin una carta de Mr. Bertrand Russell cuando estaba a punto de
mandar mi obra a la imprenta. La obra se titulaba Leyes
fundamentales de la Aritmtica.
Sin embargo, el trabajo de Cantor se poda poner en una
base firme y de l se deriva la matemtica moderna con su tendencia a
la abstraccin y al formalismo.
Frege
Russell
B A B B e e
A A e A A e
A A e
A A e
A A e
Siglo XX. David Hilbert, sus 23 problemas y su programa
logicista. David Hilbert (1862 1943). Fue un matemtico alemn, reconocido como
uno de los ms influyentes del siglo XIX y principios del XX. Estableci su reputacin como
gran matemtico y cientfico inventando o desarrollando un gran abanico de ideas, como la
teora de invariantes, la axiomatizacin de la geometra y la nocin de espacio de Hilbert,
uno de los fundamentos del anlisis funcional. Hilbert y sus estudiantes proporcionaron
partes significativas de la infraestructura matemtica necesaria para la mecnica cuntica y
la relatividad general. Fue uno de los fundadores de la teora de la demostracin, la lgica
matemtica y la distincin entre matemtica y metamatemtica. Adopt y defendi
vivamente la teora de conjuntos y los nmeros transfinitos de Cantor. Un ejemplo famoso
de su liderazgo mundial en la matemtica es su presentacin en 1900 de un conjunto de
problemas que establecieron el curso de gran parte de la investigacin matemtica del
siglo XX.
El Toerema de Finitud. El primer trabajo de Hilbert sobre funciones invariantes le
llev en 1888 a la demostracin de su famoso teorema de finitud. Veinte aos antes,
Paul Gordan (1837 1912), haba demostrado el teorema de la finitud de generadores
para formas binarias usando un complejo enfoque computacional. Los intentos de
generalizar este mtodo a funciones con ms de dos variables fallaron por la enorme
dificultad de los clculos implicados. Hilbert se dio cuenta de que era necesario seguir
un camino completamente diferente. Como resultado, demostr el Teorema
Fundamental de Hilbert: mostrar la existencia de un conjunto finito de generadores,
para las invariantes cunticas en cualquier nmero de variables, pero de forma
abstracta. Esto es, demostr la existencia de dicho conjunto, pero no de forma
algortmica sino mediante un teorema de existencia.
Siglo XX. David Hilbert, sus 23 problemas y su programa
logicista. Teorema de la base de Hilbert. En matemtica, el Teorema
Fundamental de Hilbert toma su nombre de David Hilbert que fue el primero en
probarlo en 1888. Enunciado:
Sea A un anillo conmutativo con elemento identidad igual a 1 (puede ser
0). Se dice que A es Noetheriano si todo ideal de A est finitamente generado. Es
fcil probar que son equivalentes:
1. A es Noetheriano.
2. Todo conjunto no vaco de ideales de A admite un elemento maximal.
3. A cumple la condicin de cadena ascendente (ACC o CCA):
Si
es una cadena de ideales, entonces existe N tal que
Teorema Fundamental de Hilbert
Si A es Noetheriano, entonces A[X] es Noetheriano.
0 1 n
I I I _ _ _ _
1 2 N N N
I I I
+ +
= = =
Siglo XX. David Hilbert, sus 23 problemas y su programa
logicista. Axiomatizacin de la Geometra. El texto Grundlagen der Geometrie
(Fundamentos de la geometra) que Hilbert public en 1899 sustituye los axiomas de
Euclides tradicionales por un conjunto formal de 21 axiomas. Evitan las debilidades
identificadas en los de Euclides, cuyos trabajos seguan siendo usados como libro de texto
en aqul momento. El estudiante estadounidense de 19 aos Robert Lee Moore (1882
1974), public de forma independiente y contempornea un conjunto equivalente de
axiomas. Algunos de ellos coinciden, mientras que algunos de los axiomas del sistema de
Moore son teoremas en el de Hilbert, y viceversa. El enfoque de Hilbert marc el cambio al
sistema axiomtico moderno. Los axiomas no se toman como verdades evidentes. La
geometra puede tratar de cosas, sobre las que tenemos intuiciones poderosas, pero no es
necesario asignar un significado explcito a los conceptos indefinidos. Como dice Hilbert,
los elementos tales como el punto la recta, el plano y otros, se pueden sustituir con mesas,
sillas, jarras de cerveza y otros objetos. Lo que se discute son sus relaciones definidas.
Hilbert comienza enumerando los conceptos sin definicin: punto, recta,
plano, incidencia (una relacin entre puntos y planos), estar entre,
congruencia de pares de puntos y congruencia de angulos. Los axiomas
unifican la geometra plana y la slida de Euclides en un nico sistema.
Siglo XX. David Hilbert, sus 23 problemas y su programa
logicista. Los 23 Problemas. Hilbert propuso una lista muy influyente de 23
problemas sin resolver en el Congreso Internacional de Matemticos de Pars en 1900. Se
reconoce de forma general que sta es la recopilacin de problemas abiertos ms exitosa y
de profunda consideracin producida nunca por un nico matemtico. Tras reescribir los
fundamentos de la geometra clsica, Hilbert poda haberlo extrapolado al resto de las
matemticas. Este enfoque difiere, sin embargo, de los posteriores 'fundacionalistas'
Russel-Whitehead o el 'enciclopedista' Nicolas Bourbaki, y de su contemporneo Giuseppe
Peano. La comunidad matemtica al completo podra embarcarse en problemas que l
identific como aspectos cruciales en las reas de la matemtica que l considero como
claves. Lanz el conjunto de problemas en la conferencia "Los problemas de la
matemtica" presentada durante el curso del Segundo Congreso Internacional de
Matemticos celebrado en Pars. sta es la introduccin a la conferencia de Hilbert:
Quin entre nosotros no estara contento de levantar el velo tras el que se
esconde el futuro; observar los desarrollos por venir de nuestra ciencia y
los secretos de su desarrollo en los siglos que sigan? Cual ser el
objetivo hacia el que tender el espritu de las generaciones futuras de
matemticos? Qu mtodos, qu nuevos hechos revelar el nuevo
siglo en el vasto y rico campo del pensamiento matemtico?
Present menos de la mitad de los problemas en el Congreso, que fueron
publicados en las actas. Extendi el panorama en una publicacin
posterior, y con ella lleg la formulacin cannica actual de los 23
Problemas de Hilbert.
Siglo XX. David Hilbert, sus 23 problemas y su programa
logicista. Los 23 Problemas. Los 23 problemas o planteamiento que hizo Hilbert son
los siguientes:
1. Problema de Cantor sobre el cardinal del continuo. Cul es el cardinal del continuo?
2. La compatibilidad de los axiomas de la aritmtica. Son compatibles 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 definen el grupo.
6. Axiomatizacin de la fsica. Es posible crear un cuerpo axiomtico para la fsica?
7. La irracionalidad y trascendencia de ciertos nmeros como e, etc.
8. El problema de la distribucin de los nmeros primos.
9. Demostracin de la ley ms general de reciprocidad en un cuerpo de nmeros cualesquiera.
10. Establecer mtodos efectivos de resolucin de ecuaciones diofnticas.
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. Fundamentacin rigurosa del clculo enumerativo de Schubert o geometra
algebraica.
16. Problema de la topologa de curvas algebraicas y de superficies.
17. La expresin de formas definidas por sumas de cuadrados.
18. Construccin del espacio de los poliedros congruentes.
Siglo XX. David Hilbert, sus 23 problemas y su programa
logicista. Los 23 Problemas. Los 23 problemas o planteamiento que hizo Hilbert son
los siguientes:
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.
Aunque se han producido intentos de repetir el xito de la lista de Hilbert, ningn otro conjunto
tan variado de problemas o conjeturas ha tenido un efecto comparable en el desarrollo del tema
y obtenido una fraccin importante de su celebridad. La matemtica de aquel tiempo era an
discursiva: la tendencia a sustituir palabras por smbolos y apelaciones a la intuicin y conceptos
mediante axiomtica pura segua subyugada, aunque se volvera fuerte durante la siguiente
generacin. En 1900, Hilbert no pudo acudir a la teora axiomtica de conjuntos, la integral de
Lebesgue, los espacios topolgicos o la tesis de Church, que cambiaran sus respectivos campos
de forma permanente. El anlisis funcional, fundado en cierto modo por el propio Hilbert como
nocin central de los espacios de Hilbert, no se haba diferenciado an del clculo de variaciones;
hay en la lista dos problemas de matemtica variacional, pero nada, como podra asumirse
inocentemente, sobre teora espectral. La lista no fue predictiva en ese sentido: no consigui
plasmar o anticipar el fulgurante ascenso que experimentaran la topologa, la teora de grupos y
la teora de la medida en el siglo XX, as como no previ la manera en que iba a avanzar la lgica
matemtica. Por tanto, su valor documental es el de ensayo: una visin parcial, personal. Sugiere
algunos programas de investigacin y algunas direcciones por seguir sin fin concreto.
Siglo XX. David Hilbert, sus 23 problemas y su programa
logicista. El Programa de Hilbert. En 1920 Hilbert propuso de forma explcita un
proyecto de investigacin (en metamatemtica, como se llam entonces) que acab siendo
conocido como programa de Hilbert. Quera que la matemtica fuese formulada sobre unas
bases slidas y completamente lgicas. Crea que, en principio, esto poda lograrse,
mostrando que:
1. toda la matemtica se sigue de un sistema finito de axiomas escogidos correctamente; y
2. que tal sistema axiomtico se puede probar consistente.
El programa sigue siendo reconocible en la filosofa de la matemtica ms popular, donde
se le llama normalmente formalismo. Por ejemplo, el grupo Bourbaki adopt una versin
selectiva y diluida como adecuada para los requisitos de sus proyectos gemelos:
(a) escribir trabajos fundamentales enciclopdicos, y (b) dar soporte al sistema axiomtico
como herramienta de investigacin. Este enfoque ha tenido xito e influencia en relacin
con el trabajo de Hilbert en el lgebra y el anlisis funcional, pero no ha conseguido cuajar
igual con sus intereses en fsica y lgica.
El programa fue una solucin propuesta ante la crisis fundacional de las matemticas, en
pocas en que, en los primeros intentos por clarificar los fundamentos de la matemtica,
estos contenan paradojas e inconsistencias. Como solucin, Hilbert propuso basarse en
todas las teoras existentes para formar un conjunto de axiomas finito y completo, y
proveer prueba de que esos axiomas eran consistentes. El alemn propuso que la
consistencia de sistemas ms complicados, como el anlisis real, podra ser probada en
trminos de sistemas ms simples. ltimamente, la consistencia de toda la matemtica
puede ser reducida a aritmtica bsica.
Siglo XX. David Hilbert, sus 23 problemas y su programa
logicista. Afirmacin del Programa de Hilbert.
El principal objetivo del programa de Hilbert era dotar de fundamentos
para todas las matemticas. En particular esto deba incluir:
1. Una formalizacin de todas las matemticas. En otras palabras, todas
las afirmaciones matemticas deberan ser escritas en un lenguaje
preciso y formal, y manipuladas de acuerdo a reglas bien definidas.
2. Integridad. Una prueba de que todas las afirmaciones matemticas
pueden ser probadas en el formalismo.
3. Consistencia. Una prueba de que ninguna contradiccin puede ser
obtenida en el formalismo de las matemticas. Esta prueba de
consistencia debera preferentemente usar slo razonamiento finitista
acerca de los objetos matemticos finitos.
4. Conservacin. Una prueba de que ningn resultado acerca de "objetos
reales" obtenido usando razonamientos sobre "objetos ideales" (como
los conjuntos incontables) puede ser probado sin usar objetos ideales.
5. Decidibilidad. Debera haber un algoritmo para decidir la verdad o
falsedad de cualquier afirmacin matemtica.
Siglo XX. La crisis de los fundamentos de las matemticas:
Gdel. Kurt Gdel (1906 1978). Fue un lgico, matemtico y filsofo austriaco-
estodounidense). Reconocido como uno de los ms importantes lgicos de todos los tiempos, el
trabajo de Gdel ha tenido un impacto inmenso en el pensamiento cientfico y filosfico del siglo XX.
Gdel, al igual que otros pensadores como Bertrand Russel, A. N. Whitehead y David Hilbert, intent
emplear la lgica y la teora de conjuntos para comprender los fundamentos de la matemtica. A Gdel
se le conoce mejor por sus dos Teoremas de Incompletitud, publicados en 1931 a los 25 aos de edad,
un ao despus de finalizar su doctorado en la Universidad de Viena.
Hilbert y los matemticos de talento que trabajaron con l en la empresa de axiomatizar toda la
matemtica, estaban dedicados al proyecto. Su intento de dar soporte a la matemtica axiomatizada
con principios definidos, que eliminara las incertidumbres tericas, iba sin embargo a acabar en
derrota. Gdel demostr que no se poda demostrar la completitud de ningn sistema formal no
contradictorio que fuera suficientemente amplio para incluir al menos la aritmtica, slo mediante sus
propios axiomas. En 1931 su Teorema de la Incompletitud mostr que el ambicioso
plan de Hilbert era imposible tal como se planteaba. El segundo requisito no poda
combinarse con el primero de forma razonable, mientras el sistema axiomtico sea
genuinamente finito. Sin embargo, el Teorema de Completitud no dice nada al
respecto de la demostracin de la completitud de la matemtica mediante un
sistema formal diferente. Los logros posteriores de la teora de la demostracin
como mnimo, clarificaron la relacin de la consistencia con las teoras de inters
principal para los matemticos. El trabajo de Hilbert haba empezado lgico en su
camino a la clarificacin; la necesidad de entender el trabajo de Gdel llev
entonces al desarrollo de la Teora de la Computabilidad y despus de la Lgica
Matemtica como disciplina autnoma en la dcada de 1930-1940. De este 'debate'
naci directamente la base para la Informtica Terica de Alonzo Church y Alan Turing.
Siglo XX. La crisis de los fundamentos de las matemticas:
Gdel. Los Teoremas de Incompletitud de Gdel. Gdel demostr que la
mayora de los objetivos del programa de Hilbert eran imposibles de alcanzar, por
lo menos si eran interpretados en la forma ms obvia. Su segundo teorema de
incompletitud afirm que cualquier teora lo suficientemente consistente como
para cifrar la suma y multiplicacin de enteros, no puede probar su propia
consistencia. Esto acaba con la mayor parte del programa de Hilbert:
1. No es posible formalizar toda la matemtica, ya que cualquier intento dentro
del formalismo omitir ciertas afirmaciones matemticas verdaderas.
2. Una simple consecuencia del teorema de incompletitud de Gdel es que no hay
una extensin completa consistente incluso de la aritmtica de Peano con un
conjunto recursivamente enumerable de axiomas, por lo tanto, en particular, la
mayora de las teoras matemticas interesantes no estn completas.
3. Una teora como la de axiomas de Peano no puede siquiera probar su propia
consistencia, de modo que un subconjunto limitado finitista del mismo
seguramente no puede probar la consistencia de teoras ms poderosas, como
la teora de conjuntos.
4. No existe algoritmo para decidir la veracidad (o probabilidad) de afirmaciones
en ninguna extensin consistente del teorema de Peano. (Estrictamente
hablando este resultado apareci recin unos aos despus de los teoremas de
Gdel, ya que por esa poca la definicin de un algoritmo no era exacta.)
Siglo XX. La crisis de los fundamentos de las matemticas:
Gdel. El Programa de Hilbert luego de Gdel. Muchas de las lneas actuales de
investigacin sobre lgica matemtica, teora de la demostracin y matemtica
inversa pueden ser vistas como continuaciones naturales del programa original de
Hilbert. Gran parte de l puede ser salvado cambiando sus objetivos ligeramente, y
con las siguientes modificaciones cierta parte pudo ser exitosamente completada:
1. Si bien no es posible formalizar toda la matemtica, s es posible formalizar
esencialmente toda matemtica que cualquiera usa. En particular la teora de
conjuntos de Zermelo y Fraenkel, combinada con lgica de primer orden,
resulta en un formalismo satisfactorio y generalmente aceptado para,
esencialmente, toda matemtica actual.
2. Aunque no es posible probar la integridad en sistemas tan poderosos como la
aritmtica de Peano, al menos (si tienen un conjunto computable de axiomas),
es posible probar formas de integridad en muchos sistemas interesantes. El
primer gran xito fue del mismo Gdel (antes haba probado los teoremas de
incompletitud), quien prob el teorema de completitud para lgica de primer
orden, demostrando que cualquier consecuencia lgica de una serie de
axiomas es demostrable. Un ejemplo de una teora no trivial para la cual la
completitud ha sido probada es la teora de los cuerpos algebraicamente
cerrados de una caracterstica dada.
Siglo XX. La crisis de los fundamentos de las matemticas:
Gdel. El Programa de Hilbert luego de Gdel.
3. La pregunta de si hay pruebas de consistencia finitistas para teoras fuertes, es
difcil de responder. Principalmente porque no hay, generalmente, una
definicin convenida para la "prueba finitista". La mayor parte de los
matemticos en la teora de la demostracin parecen considerar a las
matemticas finitistas como contenidas dentro de la aritmtica de Peano, y en
este caso no es posible dar pruebas finitistas de teoras razonablemente
fuertes. Por otro lado, el mismo Gdel sugiri la posibilidad de dar pruebas de
consistencia finitistas usando mtodos del mismo estilo, que no pueden ser
formalizados en la aritmtica de Peano, por lo tanto l parece haber tenido
una mirada ms liberal acerca de qu mtodos finitistas podran ser
permitidos. Pocos aos despus, Gerhard Gentzen (1909 1945), matemtico
alemn, dio una prueba de consistencia para los axiomas de Peano, cuya nica
parte que no era claramente finitista era una cierta induccin transfinita hasta
el ordinal
0
. Si esta induccin transfinita es aceptada como mtodo finitista,
entonces se puede asegurar que existe prueba finitista de la consistencia de la
aritmtica de Peano.
Siglo XX. La crisis de los fundamentos de las matemticas:
Gdel. El Programa de Hilbert luego de Gdel.
4. Aunque no hay algoritmo para decidir la veracidad de las afirmaciones de los
postulados de Peano, hay muchas teoras interesantes y no triviales para las
cuales dichos algoritmos s han sido encontrados. Por ejemplo, el matemtico
polaco Alfred Tarski (1902 1983) encontr un algoritmo que puede decidir la
veracidad de cualquier afirmacin dentro de la geometra analtica (ms
precisamente, Tarski prob que la teora de cuerpos algebraicamente cerrados
es decidible). Dado el axioma Cantor-Dedekind, este algoritmo puede ser visto
como un algoritmo para decidir la veracidad de cualquier afirmacin dentro
de la geometra euclideana. Esto es importante ya que pocas personas
consideraran a la geometra euclidiana una teora trivial.
Siglo XX. Nicols Bourbaki
Nicolas Bourbaki ha sido uno de los matemticos ms famoso e influyente del siglo
XX. A l se deben, entre otras aportaciones, una reestructuracin de los
fundamentos matemticos y una polmica reforma de la enseanza de las
matemticas. Entre los numerosos libros que escribi destacamos Elementos de
las Matemticas con ms de 7.000 pginas en varios volmenes, el primer
volumen apareci en 1939 y el ltimo volumen, en 1998. El propsito de esta
magna obra era poner en cierto orden el mundo de las matemticas estableciendo
un lenguaje claro y unificado, un mtodo riguroso, unas reglas de juego lgico y en
definitiva sentar las bases de la matemtica moderna. Su modelo de rigor ha sido
universalmente aceptado, todos los textos matemticos a partir de los aos 60 se
escriben siguiendo sus pautas. Partiendo del concepto de conjunto y mediante el
mtodo axiomtico construiran las bases donde sustentar todo el edificio
matemtico. Bourbaki deca de sus libros que no eran libros de texto sino que eran
una especie de "caja de herramientas" para el investigador matemtico. Pues
bien, Nicols Bourbaki nunca existi, tras este nombre se encuentra un grupo de
brillantes matemticos franceses, que se unieron con el fin de unificar criterios
entorno a las matemticas, que se renovaban peridicamente, ninguno de sus
miembros poda pertenecer al grupo a partir de los 40 aos.
Siglo XX. Nicols Bourbaki
Desde el principio trataron de mantener la simptica ficcin de que Nicols
Bourbaki era un matemtico poldavo. Firmaban sus obras como profesor N.
Bourbaki de la Real Academia de Poldavia y Universidad de Nancago (Nancy y
Chicago). La razn principal para esta combinacin de nombres es que uno de los
patriarcas fundadores Andr Weil (1906 1998), perteneca al cuerpo docente de
la Universidad de Chicago.
Fue fundado en Nancy en 1935 por Henri Cartan (1904
2008) y Andr Weil. En este grupo figuran entre otros Jean
Dieudonn (1906 1992), Szolem Mandelbrojt (1899
1983), to de Benoit Mandelbrot (1924 2010) creador de los
fractales, Claude Chevalley (1909 1984), Jean Coulomb
(1904 1999), y en l han aportado sus ideas los ms
grandes matemticos franceses del siglo XX, que bajo el grito
de guerra "todos deben interesarse en todo", se propusieron
redactar textos nuevos para sus clases.
Siglo XX. Nicols Bourbaki
El grupo se organiz siguiendo una serie de normas y costumbres, entre las que
estaban organizar el trabajo en reuniones, una vez al ao, hechas en general en
verano, de una o dos semanas en algn lugar agradable de la campia francesa
para determinar las decisiones estratgicas de mayor importancia.
Una de las cosas que atrajeron estudiantes a Bourbaki desde el comienzo fue que
Bourbaki present el primer tratamiento sistemtico de algunos temas (por
ejemplo, topologa general y lgebra multilineal) que no estaban a disposicin del
pblico en ninguna otra parte en forma de libro. Bourbaki fue pionero en la obra
de reducir de forma ordenada una gran masa de artculos que haban aparecido a
lo largo de varias dcadas en muchas revistas y en idiomas diferentes.
Los Elementos de las Matemticas. Nicols Bourbaki
El sistema de trabajo consista en reuniones anuales, en verano,
denominadas Congreso. En ellas se escoga y discuta sobre el prximo trabajo a
ser publicado. Usualmente una persona era asignada para escribir los captulos del
siguiente libro durante un perodo de un ao. Al ao siguiente el manuscrito era
repartido al resto de los miembros quienes usualmente lo criticaban hasta
destruirlo, el autor, resignado, deba empezar prcticamente desde cero. Se
trataba de seguir ciertas pautas que le daban a Bourbaki un estilo caracterstico y
uniforme independientemente de quien escriba el texto.
Siglo XX. Nicols Bourbaki
Los Elementos de las Matemticas. Nicols Bourbaki
En la eleccin de Bourbaki para el desarrollo de su obra matemtica se
plantean varias cosas:
1. Uso del lenguaje de la teora de conjuntos, de hecho el primer volumen iba a
ser sobre conjuntos y fue publicado en 1939.
2. Uso del mtodo axiomtico que Hilbert y su escuela impusieron.
3. Una presentacin completa de las principales estructuras matemticas.
El lenguaje fue muy cuidado en la obra de Bourbaki, dado que sometan
los trabajos a una minuciosa revisin. Uno de los puntos importantes del uso del
lenguaje en Bourbaki es la presentacin de un lenguaje unificado que se mantena
en las diversas obras.
Debemos sealar una diferencia entre el trabajo en la axiomtica de
Hilbert en Geometra y lo que pretenda Bourbaki. Hilbert en su Grundlagen der
Geometrie axiomatiza una teora especfica, 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, de Orden, Topolgicas.
Siglo XX. Nicols Bourbaki
Los Elementos de las Matemticas. Nicols Bourbaki
Las estructuras algebraicas se entienden claramente considerando una
estructura madre: la estructura de Grupo. Una estructura madre o bsica es
aquella de la cual derivan, o est incluida en la formulacin de, estructuras ms
complejas. Recordemos que en la formulacin del concepto de Anillo, Cuerpo o
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.
Las estructuras de orden son fciles de entender al recordar el concepto
de orden parcial. La estructura bsica o fundamental es la de Reticulado.
Reticulados. Decimos que L es un reticulado si: L es un conjunto con un orden
parcial para el cual si tenemos dos elementos cualesquiera x, y existe el mx{x,y}
y el mn{x,y} que verifican:
1. x mx{x,y}, y mx{x,y} y mx{x,y} es el menor elemento de L con esta
propiedad.
2. mn{x,y} x, mn{x,y} y y mn{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. Tambin dentro
de la teora de Grupos podemos dar como ejemplo de reticulado el conjunto de
todos los subgrupos de un grupo dado, con el orden natural de la inclusin.
Siglo XX. Nicols Bourbaki
Los Elementos de las Matemticas. Nicols Bourbaki
El ltimo tipo de estructura considerada es la estructura topolgica. 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 enunciados 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: Espacios
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 E es un conjunto (los elementos de E se llaman puntos) dotado
de una distancia d entre los puntos de E que satisface los siguientes axiomas:
1. La distancia d en E asocia a cada par de puntos un nmero real, es
decir como funcin d : ExE R.
2. La distancia es simtrica, es decir, para cada par de puntos x, y en E se tiene
d(x,y) = d(y,x).
3. La distancia siempre es positiva, esto es, para cada par de puntos x, y en E se
tiene d(x,y) 0. An ms, d(x,y) = 0 x = y.
, x y E e
Siglo XX. Nicols Bourbaki
Los Elementos de las Matemticas. Nicols Bourbaki
4. La distancia verifica la desigualdad triangular, es decir para cada terna de
puntos x,y,z en 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 el
punto y el punto es la misma que entre el punto y el punto .
El axioma 3 es muy natural, dicindonos que la distancia es siempre una cantidad
positiva y que solo es nula en el caso que los puntos coincidan. El axioma 4 es muy
importante, probablemente el ms importante. Indica que siempre el camino ms
corto es ir directamente de un punto al otro. Se debe sealar que estos axiomas no
son independientes entre s.
El concepto de Espacio Mtrico evolucion a un importante hito en la
matemtica del siglo XX: el concepto de Espacio Topolgico, debido a Hausdorff
quien en 1914 publica Grundzge der Mengenlehre. Este trabajo abarcaba la
teora de los Espacios Mtricos y la de los Espacios Topolgicos.
x E e y E e y E e x E e
Felix Hausdorff (1868 1942). Matemtico de origen judo. Naci en
Breslau que ahora es parte de Polonia. Destaca su obra en la Teora de
Conjuntos y en la formulacin de la Teora de Espacios Topolgicos. A raz de
la llegada de los nazis padece el infortunio de ser judo. El y su esposa
cometen suicidio en Bonn en el ao 1942, cuando era inevitable que lo
enviasen a un campo de concentracin.
Siglo XX. Nicols Bourbaki
Los Elementos de las Matemticas. Nicols Bourbaki
Una cosa que hay que sealar, comn a todos estos desarrollos del siglo
XX y al enfoque Bourbaki es el creciente grado de abstraccin de la matemtica.
Pero como seala Bourbaki, no es una bsqueda de los abstracto como equivalente
de lo separado de la realidad. Las estructuras matemticas que estudia Bourbaki
son concebidas como estructuras relevantes y preadas de posibilidades. Son el
alma del cuerpo de la matemtica y unifican la misma. Por supuesto que estas
estructuras se combinan entre ellas dando lugar a la Geometra Analtica.
Por ejemplo, de la estructura algebraica de los Espacios Vectoriales y la
topologa de los Espacios Topolgicos surge la Teora de los Espacios Vectoriales
Topolgicos. De la Teora de Espacios Vectoriales Topolgicos surge, por ejemplo, la
Teora de Distribuciones de Laurent Schwartz con aplicaciones en Fsica
Matemtica, Ecuaciones en Derivadas Parciales, etc. Por cierto, Laurent Schwartz
(1915 2002) fue un miembro destacado de Bourbaki que gano la medalla Fields
en el ao 1950.
Siglo XX. Nicols Bourbaki
Los Elementos de las Matemticas. Nicols Bourbaki
El grupo Bourbaki marco 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 Matemtica. 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 solo llevase a un proceso muerto donde la
matemtica se alejara de sus fuentes vitales. No queran lo abstracto por lo
abstracto. Siempre se preocuparon por mantener es sus libros una matemtica
relevante. Su obra es una piedra fundamental de lo que entendemos por
matemtica en el siglo XX.
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 Dieudonn alertaron que ellos no haban propuesto nada al respecto. Sin
embargo con una obra escrita tan importante, han influenciado el currculo
universitario y en algunas universidades como la de Sao Paulo sus libros fueron
usados como libros de texto.
MatemticaV, J. Gimnez Romero, Ediciones ENEVACaracas, Segunda Edicin 1986.
Quinto y SextoGrado Enciclopdico, Asia Medina de Dam, Tomo I, segunda edicin, editorial AMDAM.
Gran Enciclopedia Universal, Tomo 8, Ediciones Educacionales S.A, 1979.
CRONICAS DELCOSMOS, Curiosidades de Astronoma y Astrofsica, Nelson FalcnVeloz, 2006.
La vida cmo se present aqu? Por evolucin, o por creacin?, Editores WATCHTOWER BIBLE AND TRACT
SOCIETYOF NEWYORK, INC., 1985.
http://cabmec1.cnea.gov.ar/~padrac/divulgacion/prehist.pdf
http://es.wikipedia.org/wiki/Cuneiforme
http://www.elestrecho.com/arte-sur/paleo.htm
http://www.avizora.com/publicaciones/colaboradores/textos_francisca_martin_cano_abreu/0003_interpretacion_ar
te_prehistorico.htm
http://www.hechohistorico.com.ar/Archivos/Culturas_Antiguas/POA/cuneiforme.html
http://www.uam.es/personal_pdi/ciencias/barcelo/fcmatematicas/1.html
http://delta.cs.cinvestav.mx/~ccoello/librohistoria/ishango.html
http://es.wikipedia.org/wiki/Antiguo_Egipto
http://www.elinformadordegalicia.com/jms/egipto/
http://es.wikipedia.org/wiki/Matem%C3%A1ticas_en_el_Antiguo_Egipto
http://es.wikipedia.org/wiki/Geometr%C3%ADa_en_el_Antiguo_Egipto
http://www.egiptologia.org/fuentes/papiros/rhind/
http://es.wikipedia.org/wiki/Tri%C3%A1ngulo_sagrado_egipcio
http://www.google.co.ve/imgres?imgurl=http://1.bp.blogspot.com/_RJ1GL9CAxSc/SZvs1qEZfVI/AAAAAAAAAXI/Uu
kvgPQHYe8/s320/egipto%2B013.jpg&imgrefurl=http://masdehistoria.blogspot.com/2009/02/los-egipcios-y-las-
fracciones.html&usg=__m5lrfAcah8G2fz8R3j79blDFmqM=&h=320&w=233&sz=16&hl=es&start=2&itbs=1&tbnid=Pw
MpYx_uJxwvkM:&tbnh=118&tbnw=86&prev=/images%3Fq%3Dcalculo%2Bde%2Bareas%2Ben%2Begipto%26hl%3D
es%26client%3Dfirefox-a%26rls%3Dorg.mozilla:es-ES:official%26gbv%3D2%26tbs%3Disch:1
http://es.wikipedia.org/wiki/Ojo_de_Horus
http://www.ehu.es/aba/div/paseo-06-07.pdf
http://perso.wanadoo.es/amiris/trigonometria/documentos/lecturatrigo.html
http://www.google.com/imgres?imgurl=http://www.proyectopv.org/ASTRO%2520ARQ%2520PROV/fig007.gif&imgr
efurl=http://www.proyectopv.org/2-
verdad/civilizacionrepentina4.htm&usg=__88EFW1CM3raKjvAurEFMdmgb5kk=&h=503&w=400&sz=29&hl=es&start
=0&zoom=1&tbnid=pKzJeWwERWhFuM:&tbnh=139&tbnw=111&ei=wyWOTcibMMXZgQeBxqm6DQ&prev=/images
%3Fq%3Dacadios%26um%3D1%26hl%3Des%26client%3Dfirefox-a%26sa%3DN%26rls%3Dorg.mozilla:es-
ES:official%26channel%3Ds%26biw%3D1360%26bih%3D578%26tbs%3Disch:1&um=1&itbs=1&iact=hc&vpx=431&vp
y=211&dur=3531&hovh=252&hovw=200&tx=84&ty=112&oei=wyWOTcibMMXZgQeBxqm6DQ&page=1&ndsp=23&ve
d=1t:429,r:10,s:0
http://www.proyectopv.org/2-verdad/civilizacionrepentina4.htm
http://es.wikipedia.org/wiki/Historia_de_Mesopotamia
http://www.google.com/imgres?imgurl=http://1.bp.blogspot.com/_mqztikd9L0E/TQAI8kHsKII/AAAAAAAAAl4/zgHh
cgIt85A/s1600/babilonia.jpg&imgrefurl=http://ministeriounidosxisrael.blogspot.com/2010/12/reflexionbabilonia-en-
el-
escenario.html&usg=__ylDREK9HA9RDmC8Kjd46TqKsBDo=&h=319&w=500&sz=106&hl=es&start=21&zoom=1&tbn
id=0zG9e-9G-
pB6nM:&tbnh=124&tbnw=172&ei=9HOTTZTJK4GdgQe1l5kZ&prev=/images%3Fq%3Dbabilonia%26um%3D1%26hl
%3Des%26client%3Dfirefox-a%26rls%3Dorg.mozilla:es-
ES:official%26channel%3Dnp%26biw%3D1360%26bih%3D585%26tbs%3Disch:10%2C485&um=1&itbs=1&iact=hc&v
px=115&vpy=97&dur=3744&hovh=179&hovw=281&tx=186&ty=110&oei=LHGTTZTmFIT4gAfrv-
gZ&page=2&ndsp=22&ved=1t:429,r:0,s:21&biw=1360&bih=585
http://es.wikipedia.org/wiki/Hexagrama
http://www.google.com/imgres?imgurl=http://www.profesorenlinea.cl/imagenmatematica/babilonia01.jpg&imgrefur
l=http://www.profesorenlinea.cl/matematica/MatematicaBabilonia.html&usg=__OXIxiGlAb3qq0VfIgD3x3xTgJ0g=&h
=388&w=620&sz=94&hl=es&start=0&zoom=1&tbnid=FcijWaU6IL4yFM:&tbnh=129&tbnw=206&ei=X-
mYTeqnOM_pgAfb29G_CA&prev=/images%3Fq%3Dmatematicas%2Ben%2Bbabilonia%26um%3D1%26hl%3Des%2
6client%3Dfirefox-a%26sa%3DN%26rls%3Dorg.mozilla:es-
ES:official%26channel%3Ds%26biw%3D1360%26bih%3D585%26tbs%3Disch:1&um=1&itbs=1&iact=hc&vpx=776&vp
y=92&dur=285&hovh=177&hovw=284&tx=190&ty=103&oei=X-
mYTeqnOM_pgAfb29G_CA&page=1&ndsp=21&ved=1t:429,r:4,s:0
http://jose-chamorro.blogspot.com/2011/01/el-teorema-de-pitagoras-en-babilonia.html
http://es.wikipedia.org/wiki/Pitag%C3%B3ricos
http://es.wikipedia.org/wiki/Parm%C3%A9nides_de_Elea
http://es.wikipedia.org/wiki/Arist%C3%B3teles
http://7maravillasmundo.webcindario.com/faro.htm
http://es.wikipedia.org/wiki/Euclides
http://www.google.co.ve/imgres?q=axiomas+de+euclides&um=1&hl=es&sa=N&tbm=isch&tbnid=L1TKhtNpclBF6M:
&imgrefurl=http://www.emiliosilveravazquez.com/blog/2011/07/18/alejandria-
i/&docid=l_KzlibGx9bEdM&w=245&h=346&ei=ClI3TojkFoWugQeum9mvAg&zoom=1&iact=hc&vpx=492&vpy=110&d
ur=695&hovh=267&hovw=189&tx=87&ty=143&page=2&tbnh=170&tbnw=120&start=30&ndsp=21&ved=1t:429,r:9,s:3
0&biw=1360&bih=675
http://es.wikipedia.org/wiki/Arqu%C3%ADmedes
http://es.wikipedia.org/wiki/Apolonio_de_Perge
http://igweb.euita.upm.es/?p=1647
http://es.wikipedia.org/wiki/Historia_de_la_matem%C3%A1tica
http://www.enllave.es/actualidad/noticias/2009/11/16/los-ingenieros-romanos/
http://es.wikipedia.org/wiki/Boecio
http://enciclopedia.us.es/index.php/Historia_de_las_Matem%C3%A1ticas
http://www.diarioelpeso.com/anteriores/2010/14032010/ACT_140310_MisteriosoDiaPi.php
http://www.euskalnet.net/pasku/cuadrado.html
http://es.wikipedia.org/wiki/Zu_Chongzhi
http://www.conocereisdeverdad.org/website/index.php?id=2870
http://es.wikipedia.org/wiki/Al-Karaji
http://es.wikipedia.org/wiki/Abul_Wafa
http://es.wikipedia.org/wiki/Ibn_al-Haytham
http://es.wikipedia.org/wiki/Omar_Khayyam
http://en.wikipedia.org/wiki/History_of_calculus
http://es.wikipedia.org/wiki/%C3%9Altimo_teorema_de_Fermat
http://en.wikipedia.org/wiki/James_Gregory_%28astronomer_and_mathematician%29
http://es.wikipedia.org/wiki/Bonaventura_Cavalieri
http://en.wikipedia.org/wiki/Evangelista_Torricelli
http://en.wikipedia.org/wiki/Cavalieri%27s_quadrature_formula
http://en.wikipedia.org/wiki/Isaac_Barrow
http://es.wikipedia.org/wiki/John_Wallis
http://en.wikipedia.org/wiki/Bernard_Bolzano
http://www.educared.org/global/premiointernacional/finalistas/710/biograf/Brolle.html
http://en.wikipedia.org/wiki/Johann_van_Waveren_Hudde
http://en.wikipedia.org/wiki/Augustin-Louis_Cauchy
http://www.taller54.com/newton.htm
http://bvpb.mcu.es/es/consulta/registro.cmd?id=449512
http://la-mecanica-cuantica.blogspot.com/2010/11/solucion-numerica-de-la-ecuacion-de.html
http://scientia1.wordpress.com/2011/05/19/la-guerra-del-calculo-matematico-newton-contra-leibniz/
http://es.wikipedia.org/wiki/Gottfried_Leibniz
http://en.wikipedia.org/wiki/Blaise_Pascal
http://es.wikibooks.org/wiki/Lista_de_derivadas_y_su_deducci%C3%B3n
http://maralboran.org/wikipedia/index.php/Gauss
http://maralboran.org/wikipedia/index.php/Las_matem%C3%A1ticas_en_el_siglo_XIX
http://sinmasporhoy.blogspot.com/2010/12/planeta-enano-ceres.html
http://www.matetam.com/glosario/definicion/quinto-postulado-euclides
http://www.abciencia.com.ar/matematicas/distribucion-normal
http://es.wikipedia.org/wiki/Geometr%C3%ADa_no_euclidiana
http://es.wikipedia.org/wiki/Nikol%C3%A1i_Lobachevski
http://es.wikipedia.org/wiki/J%C3%A1nos_Bolyai
http://es.wikipedia.org/wiki/Geometr%C3%ADa_el%C3%ADptica
http://es.wikipedia.org/wiki/Bernhard_Riemann
http://www.emiliosilveravazquez.com/blog/2009/04/10/riemann/
http://es.wikipedia.org/wiki/Hip%C3%B3tesis_del_continuo
http://es.wikipedia.org/wiki/Georg_Cantor
http://maralboran.org/wikipedia/index.php/Las_matem%C3%A1ticas_en_el_siglo_XX
http://es.wikipedia.org/wiki/Teorema_de_Bolzano-Weierstrass
http://es.wikipedia.org/wiki/Julius_Wilhelm_Richard_Dedekind
http://es.wikipedia.org/wiki/David_Hilbert
http://es.wikipedia.org/wiki/Teorema_de_la_Base_de_Hilbert
http://es.wikipedia.org/wiki/Problemas_de_Hilbert
http://es.wikipedia.org/wiki/Programa_de_Hilbert
http://es.wikipedia.org/wiki/Kurt_G%C3%B6del
http://es.wikipedia.org/wiki/Gerhard_Gentzen
http://es.wikipedia.org/wiki/Alfred_Tarski
http://es.wikipedia.org/wiki/Gottlob_Frege
http://es.wikipedia.org/wiki/Bertrand_Russell
http://revistasacitametam.blogspot.com/2008/09/nicolas-bourbaki-1935-1998.html
http://en.wikipedia.org/wiki/Jean_Dieudonn%C3%A9
http://www.datuopinion.com/henri-cartan
http://jerome.hubert1.perso.sfr.fr/Go/Histoire/Fr/go_en_france65-78.htm