Professional Documents
Culture Documents
muy
desarrollada,
segn
los
textos
geomtricos
durante
ms
de
un
milenio. Ren
Descartes desarroll
simultneamente el lgebra y la geometra analtica, marcando una nueva etapa, donde las
figuras
geomtricas,
tales
como
podran
ser
representadas
ndice
[ocultar]
2 La Geometra griega
o
4 La Geometra Proyectiva
5 La Geometra Cartesiana
8.2 Riemann
9 Referencias
10 Enlaces externos
11 Vase tambin
La geometra en el Antiguo Egipto[editar]
Papiro de Ahmes.
Artculo principal: Geometra en el Antiguo Egipto
despus
de
las
inundaciones
anuales.
De
all
el
La Geometra griega[editar]
Vase tambin: Geometra clsica
La Geometra Griega fue la primera en ser formal. Parte de los conocimientos concretos y
prcticos de tesis. La veracidad de la tesis depender de la validez del razonamiento con el
que se ha extrado (esto ser estudiado por Aristteles al crear la Lgica) y de la veracidad
de las hiptesis. Pero entonces debemos partir de hiptesis ciertas para poder afirmar con
rotundidad la tesis. Para poder determinar la veracidad de las hiptesis, habr que
considerar cada una como tesis de otro razonamiento, cuyas hiptesis deberemos tambin
comprobar. Se entra aparentemente en un proceso sin fin en el que, indefinidamente, las
hiptesis se convierten en tesis a probar.
Euclides y Los elementos[editar]
Fragmento de uno de los Papiros de Oxirrinco con unas lneas de Los elementos de Euclides.
construir un cubo cuyo volumen fuese exactamente el doble del volumen de otro cubo dado,
y el problema matemtico persisti durante siglos (no as la enfermedad).
Este problema consiste en dividir un ngulo cualquiera en tres ngulos iguales, empleando
nicamente la regla y el comps, de manera que la suma de las medidas de los nuevos tres
ngulos sea exactamente la medida del primero.
La cuadratura del crculo[editar]
Artculo principal: Cuadratura del crculo
La cuadratura del crculo consiste en tratar de obtener un cuadrado cuya rea mida
exactamente lo mismo que el rea de un crculo dado. Anaxgoras fue el primero en intentar
resolverlo, dibujando en las paredes de su celda. Fue apresado por explicar diversos
fenmenos que los griegos atribuan a los dioses. Tampoco pudo ser resuelto por los
gemetras de la antigedad, y lleg a ser el paradigma de lo imposible. Como curiosidad, el
filsofo ingls David Hume lleg a escribir un libro con supuestos mtodos para resolver el
problema. Hume no tena suficientes conocimientos matemticos, y nunca acept que sus
mtodos eran fallidos.
La Geometra Proyectiva[editar]
Es en el Renacimiento cuando las nuevas necesidades de representacin del arte y de la
tcnica empujan a ciertos humanistas a estudiar propiedades geomtricas para obtener
nuevos instrumentos que les permitan representar la realidad. Aqu se enmarca la figura del
matemtico y arquitecto Luca Pacioli, de Leonardo da Vinci, deAlberto Durero, de Leone
Battista Alberti, de Piero della Francesca, por citar slo algunos. Todos ellos, al descubrir la
perspectiva y la seccin, crean la necesidad de sentar las bases formales en la que cimentar
las nuevas formas de Geometra que sta implica: la Geometra proyectiva, cuyos principios
fundamentales aparecen de la mano de Desargues en el siglo XVII. Esta nueva geometra
de Desargues fue estudiada ampliamante ya por Pascal o por de la Hire, pero debido al
inters suscitado por la Geometra Cartesiana y sus mtodos, no alcanz tanta difusin
como mereca hasta la llegada a principios del siglo XIX de Gaspard Monge en primer lugar
y sobre todo de Poncelet.
La Geometra Cartesiana[editar]
Ren Descartes.
comps clsicos
por
expresiones
numricas
que
se
pueden
representar
mediante coordenadas cartesianas. Utilizando notacin actual, dicho mtodo se expresa as:
En un plano se trazan dos rectas perpendiculares (ejes) que por convenio se trazan de
manera que una de ellas sea horizontal y la otra vertical, y cada punto del plano queda
unvocamente determinado por las distancias de dicho punto a cada uno de los ejes,
siempre
cuando
se
tambin
un
criterio
para
determinar
sobre
qu semiplano determinado por cada una de las rectas hay que tomar esa distancia, criterio
que viene dado por un signo. Ese par de nmeros, las coordenadas, quedar representado
, siendo
hacia la derecha del eje vertical (eje de ordenadas), y el signo negativo (nunca se omite)
indica que la distancia se toma hacia la izquierda. Para la coordenada
, el signo positivo
(tambin se suele omitir) indica que la distancia se toma hacia arriba del eje horizontal (eje
de abscisas), tomndose hacia abajo si el signo es negativo (tampoco se omite nunca en
este caso). A la coordenada
la
Ejes coordenados.
Existe una cierta controversia (aun hoy) sobre la verdadera paternidad de este mtodo. Lo
nico cierto es que se publica por primera vez como "Geometra Analtica", apndice al
"Discurso del Mtodo", de Descartes, si bien se sabe que Pierre de Fermat conoca y
utilizaba el mtodo antes de su publicacin por Descartes. Aunque Omar Khayyam ya en el
siglo XI utilizara un mtodo muy parecido para determinar ciertas intersecciones entre
curvas, es imposible que alguno de los citados matemticos franceses tuviera acceso a su
obra.
representa
una funcin.
En
particular,
las
rectas
resto
de
cnicas
como
circunferencia
ecuaciones
pueden
expresarse
) y las circunferencias y
polinmicas
, la hiprbola
de
grado
(v.g.:
la
Geometra griega en el estudio de las relaciones que existen entre polinomios de grados 1 y
2. Desde un punto de vista formal (aunque ellos aun lo saban), los gemetras de esta
poca han encontrado una relacin fundamental entre la estructura lgica que usaban los
gemetras
griegos
(el
plano,
la
regla,
el
comps...)
la estructura
algebraica del ideal formado por los polinomios de grados 0, 1 y 2 del Anillo de
polinomios
fundamental (no visto con nitidez hasta el desarrollo del lgebra Moderna y de la Lgica
Matemtica entre finales del siglo XIX y principios del siglo XX) resulta fundamental para
entender por qu la Geometra de los griegos puede desprenderse de sus axiomas y
estudiarse directamente usando la axiomtica de Zermelo-Fraenkel, como el resto de la
Matemtica.
El mtodo original de Descartes no es exactamente el que se acaba de explicar. Descartes
utiliza solamente el eje de abscisas, calculando el valor de la segunda componente del
punto
. Por otro
, dado que en la
poca aun resultaban "sospechosos" los nmeros negativos. Como consecuencia, en sus
estudios existen ciertas anomalas y aparecen curvas sesgadas. Con el tiempo se aceptaron
las modificaciones que muestran el mtodo tal y como lo conocemos hoy en da.
en la que
. La generalizacin de todo
del Clculo
Infinitesimal.
La
relacin
entre
el Anlisis
Matemtico y
Gauss devuelve el carcter geomtrico que impregna parte del anlisis matemtico,
fundamentalmente con dos contribuciones: el nacimiento del anlisis complejo y de
la geometra diferencial.
Pero no son las nicas contribuciones de ste genio al campo de la geometra. En su
adolescencia se vio dividido entre dedicarse a la filologa o a la matemtica. A los 17
descubri la manera de construir el polgono regular de 17 lados, y la condicin necesaria y
suficiente para que un polgono regular pueda construirse. Esto determin su vocacin.
En su primera demostracin del teorema fundamental del lgebra (de las cinco que realiz a
lo largo de su carrera) sent las bases del anlisis de variable compleja, usando la
interpretacin geomtrica de los nmeros complejos como vectores fijos del plano (no en
este lenguaje, que ser introducido mucho ms tarde). Por cierto, se atribuye a Gauss la
paternidad de esta idea. Primero Wessel y luego Argand se le anticiparon, pero nadie
conoca los estudios de ambos. Aunque no es propiamente obra suya, pues el anlisis
complejo est desarrollada fundamentalmente por Cauchy, s es el primero en abordarla
seriamente, y sobre todo le da una interpretacin geomtrica que marcar el desarrollo de
esta rama.
Pero la principal contribucin de Gauss a la geometra es la creacin de la geometra
diferencial, retomando las ideas que sobre las relaciones entre el anlisis matemtico y la
geometra haba hasta entonces y desarrollndolas ampliamente.
Partiendo de la base de que la geometra estudia el espacio, las curvas y las superficies,
establece la nocin fundamental decurvatura de una superficie. Gracias a ella, y a la
definicin de geodsica, demuestra que si consideramos que una geodsica es una curva
con menor distancia entre dos puntos sobre una superficie (es decir, si tenemos dos puntos
sobre una superficie, el camino ms corto entre esos dos puntos sin salirnos de la superficie
es un segmento de geodsica), concepto totalmente anlogo sobre la superficie al de recta
en el plano, existen superficies en las que los tringulos formados por las geodsicas miden
ms de la medida de dos ngulos rectos, y otras en las que mide menos. Esto,
esencialmente, es contradecir el V postulado de Euclides.
Estas consideraciones llevaron a Gauss a considerar la posibilidad de crear geometras no
eucldeas, pero aunque a esas alturas ya era el matemtico ms prestigioso de Europa,
consider que la mentalidad de la poca no estaba preparada para un resultado de tal
magnitud, y nunca public esos resultados. Slo vieron la luz cuandoBolyai public su
geometra no eucldea, y comprob que la comunidad cientfica general aceptaba el
resultado.
As que, por un lado, Gauss fue el primero en crear una geometra no eucldea, y por otro
fue el creador de la geometra diferencial y precursor de la variable compleja.
Adems, Gauss es el primero en considerar una nueva propiedad en la geometra: la
orientacin.
Jnos Bolyai.
Como ya se ha adelantado, Gauss es el primero en construir una geometra (un modelo del
espacio) en el que no se cumple el V postulado de Euclides, pero no publica su
descubrimiento.
Son
Bolyai
y Lobatchevsky quienes,
de
manera
independiente
simultneamente publican cada uno una geometra distinta en la que no se verifica tampoco
el V postulado.
Qu quiere decir esto? Tanto Bolyai como Lobatchevsky parten de un objeto geomtrico y
establecen sobre l unos postulados que son idnticos a los de Euclides en Los Elementos,
excepto el quinto. Pretenden originalmente razonar por reduccin al absurdo: si el V
postulado depende de los otros cuatro, cuando lo sustituya por aqul que dice exactamente
lo contrario, he de llegar a alguna contradiccin lgica. Lo sorprendente es que no se llega a
contradiccin ninguna, lo cual quiere decir dos cosas:
1 El V postulado es independiente de los otros cuatro, es decir, no puede deducirse de los
otros cuatro, no es un teorema, y Euclides hizo bien en considerarlo como un postulado.
2 Existen modelos del espacio en los que, en contra de toda intuicin, por un punto que no
est en una cierta recta no pasa una nica recta paralela a la dada. Esto es tremendamente
antiintuitivo, pues no podemos concebir tal cosa, no podemos imaginar (ni mucho menos
dibujar) una situacin as, sin reinterpretar los conceptos de recta, plano, etc. Pero desde el
punto de vista lgico es perfectamente vlido.
Como es de imaginar, esto supuso una fuerte crisis en la Matemtica del siglo XIX, que vino
a sumarse a otras controversias.
Es importante sealar que las geometras de Bolyai y de Lobatchevsky, no depende de si se
construyen usando mtodos analticos o sintticos. Existen formas de construirlas tanto de
manera sinttica como analtica. El modelo es el mismo se llegue como se llegue, lo que
abunda en su veracidad.
La triseccin del ngulo y la duplicacin del cubo[editar]
Un hecho aparentemente lejano en lgebra dar como resultado la resolucin de estos dos
problemas. Galois muere a los 21 aos de edad dejando un "testamento" lleno de ideas
apresuradamente escritas. Entre ellas se encuentran las bases de laTeora de Grupos y de
la Teora de Galois. Galois resolvi el problema de encontrar una frmula para solucionar las
ecuaciones de 5 grado, pero este resultado no lleg a ser publicado en (su corta) vida.
Concluy que una ecuacin de grado 5 o mayor no puede ser resoluble por radicales (es
decir, mediante una frmula con un nmero finito de operaciones algebraicas). Su manera
de abordar el problema abre una nueva va dentro de la Matemtica.
Pero la Teora de Galois (una rama del lgebra que trata sobre cundo es posible resolver
una ecuacin polinmica estudiando el conjunto de nmeros en los que se expresa esa
ecuacin) no da slo esos frutos. Tambin demuestra que todo lo construible con regla y
comps tiene una traduccin a polinomios muy concreta. Se demuestra que trisecar un
ngulo o duplicar un cubo necesita de polinomios que no tienen esa forma, y por lo tanto, es
imposible con la sola ayuda de la regla y el comps trisecar un ngulo cualquiera o duplicar
un cubo.
La cuadratura del crculo[editar]
En 1862, Lindemann demuestra que el nmero
raz de ningn polinomio con coeficientes enteros. Esto implica que no es unnmero que
pueda construirse con regla y comps, y demuestra que no es posible construir con slo
estos instrumentos un cuadrado de rea igual a la de un crculo dado.
Geometra intrnseca[editar]
Resulta complicado establecer una fecha precisa en la que los gemetras comenzaron a
interesarse por cuestiones de geometra intrnseca. La matemtica griega plante los
problemas geomtricos haciendo referencia a las propiedades mtricas de un conjunto de
puntos definidos y localizados en el plano y en el espacio. La perspectiva era, por tanto,
extrnseca.
Tradicionalmente, se le atribuye a Euler el descubrimiento en 1752 de una propiedad de
los poliedros convexos.1 Llamando S, A y F al nmero de vrtices, aristas y caras, Euler
demostr la relacin de igualdad S-A+F=2, conocida hoy como caracterstica de Euler. El
resultado era sorprendente porque no haca intervenir ni la longitud ni el rea.
En 1813 Simon Antoine Jean L'Huillier se dio cuenta de que la frmula de Euler se
modificaba para un poliedro no convexo, con la forma, por ejemplo, de un slido con
agujeros (como el toro: S-A+F=2-2g, siendo g el nmero de agujeros).2 ste es el primer
clculo de un invariante topolgico que permit clasificar las superficies del espacio. No
obstante, la perspectiva continuaba siendo extrnseca, pues los agujeros se ven desde el
exterior. Cmo, por ejemplo, una hormiga que anduviese por una habitacin sin techo
podra representarse el agujero?
Carl Friedrich Gauss, interesado por la geometra de las superficies, estableci un resultado
sin precedentes: el teorema egregium: "la curvatura de Gauss de una superficie del espacio
no depende del modo en el que sta se inserta en el espacio ambiente. 3 "
La frmula de Gauss-Bonnet, presentida por Gauss y demostrada por Pierre-Ossian
Bonnet en 1848, expresar la caracterstica de Euler en trminos de curvatura, evidenciando
la imbricacin entre las consideraciones geomtricas y topolgicas.
alternativas
la
eucldea.5 Estas
geometras
seran
desarrolladas
Riemann[editar]
Bernhard Riemann.
demostraciones,
introduce
primero
el
concepto
de variedad
diferenciable,
variaran para ir obteniendo los puntos del objeto. Las superficies seran las variedades de
dimensin 2, mientras que las curvas seran las variedades de dimensin 1, y aun los
puntos las de dimensin 0. De todas formas, esta aproximacin al concepto es demasiado
imprecisa, pues el punto clave de la definicin formal de una variedad diferenciable
(definicin no expuesta correctamente hasta 1913 por Hermann Weyl) es que esto es
cierto localmente, es decir, cada punto de la variedad tiene algn entorno homeomorfo a un
abierto del espacio eucldeo
en otro abierto de
volver
nuevamente
en
repetidas
ocasiones.
Le
seguirn Sylvester, Clifford, Grassmann y Schlfli entre otros, aunque hay que decir que la
visin de todos ellos es mucho ms algebraica que geomtrica.
Es probable que el estudio de las superficies de Riemann, objetos a cuyo estudio haba
dedicado su tesis doctoral, indujeran a Riemann a pensar en este concepto de variedad de
dimensin arbitraria.
Si tomamos unos ejes coordenados y dibujamos todos los puntos
vara en un intervalo y
, donde
, donde
, obtenemos una superficie (dimensin 2).
Riemann estudia funciones complejas de variable compleja, es decir, funciones cuya grfica
tendra por puntos cosas de la forma
tanto
como
, siendo
nmero real). Las grficas de este tipo de funciones tendran dimensin 2, es decir, seran
superficies, pero estaran en un espacio de 4 dimensiones.
Klein[editar]
Felix Klein.
Felix Klein es la otra gran pieza clave de la Geometra en el siglo XIX. En 1871 descubri
que la geometra euclidiana y las no euclidianas pueden considerarse como casos
particulares de la geometra de una superficie proyectiva con una seccin cnica adjunta.
Esto implicaba dos cosas: la primera es que la geometra euclidiana y las no euclidianas
podan considerarse como casos particulares de la geometra proyectiva (o mejor dicho, de
la geometra de una superficie en un espacio proyectivo). La segunda, que la geometra
euclidiana es consistente (es decir, no puede llevar a contradicciones) si y slo si lo son las
geometras no euclidianas.
Con esto se da fin a la controversia de si las geometras no euclidianas tienen sentido o no,
aunque el asunto colear aun unos aos ante el escepticismo de quienes considerarn
errneo el argumento de Klein.
Pero la aportacin ms importante de Klein a la Geometra es su famoso Programa de
Erlangen, donde da una nueva definicin de Geometra.
El Programa de Erlangen[editar]
Con motivo de su ingreso como profesor en la Facultad de Filosofa y al Senado de la
Universidad de Erlangen, Klein escribi una memoria en 1872 (que por cierto no lleg a leer
en pblico) que puede considerarse, junto a la Conferencia de Riemann y a los Elementos
de Euclides, como los puntos esenciales del estudio de la Geometra.
en el que hay
que a cada par de
elementos del conjunto le asigna otro elemento del conjunto (que ser el resultado de operar
dichos dos elementos). Mientras que la mayora de la gente est familiarizada con las
operaciones numricas, les resulta difcil imaginar que puedan operarse puntos, rectas, etc.
Puede hacerse, y no hay ms que pensar en, por ejemplo, la operacin "tomar el punto
medio", que a cada par de puntos le asigna el punto medio del segmento que une los dos
primeros puntos.
Para que un conjunto en el que haya una operacin sea un grupo deben de cumplirse
ciertas condiciones, que son:
La operacin debe ser asociativa: esto quiere decir que si tomamos cualesquiera
tres elementos
)y
operar el resultado de ello con el tercero ( ) debe de ser lo mismo que si primero
operamos el segundo y el tercero (
ha de ocurrir que
debe
Debe existir un elemento neutro: esto quiere decir que ha de haber un elemento
, es decir, es como si al
Por ltimo, cada elemento debe tener un elemento simtrico: esto quiere decir que si
yo tomo un elemento cualquiera
elemento
del conjunto de tal manera que al operar ambos, el resultado que obtengo
es el elemento neutro: