Geometría

De Wikipedia, la enciclopedia libre

Tabla de contenidos

1 Historia y concepto actual
2 Método sintético de la Geometría
3 Métodos analíticos de estudio de las geometrías
4 Enlaces externos

La geometría es una rama de la matemática que estudia idealizaciones del espacio: puntos, rectas, planos, polígonos, poliedros, curvas, superficies...

En el "mundo real" se utiliza para solucionar problemas concretos y es la justificación teórica de muchos instrumentos: compás, teodolito, pantógrafo... También da fundamento teórico a inventos como sistema de posicionamiento global (en especial cuando se la considera en combinación con el Análisis Matemático y sobre todo con las Ecuaciones diferenciales). Es útil en la preparación de diseños (justificación teórica de la Geometría Descriptiva y del Dibujo Técnico), e incluso en la fabricación de artesanías.

[editar] Historia y concepto actual

Portal: Matemática

Contenidos relacionados con Matemática

René Descartes, La Géometrie 1637

Artículo principal: Historia de la Geometría

La geometría clásica se encargaba de buscar construcciones con regla y compas. Posteriormente, dado que toda construcción es repetición de cinco operaciones básicas sobre unos elementos (rectas y puntos), comenzaron a tratarse como operaciones con simbolos algebraicos, y la barrera entre álgebra y geometría se difuminó hasta llegar al Programa de Erlangen [1], que define la Geometría como el estudio los invariantes de un conjunto (como puede ser por ejemplo, pero no necesariamente, el espacio) mediante transformaciones. Esto quiere decir que cada grupo determina sobre un conjunto una serie de propiedades invariantes, y al estudio de cada familia de propiedades invariantes determinadas por cada grupo de transformaciones en cada conjunto es a lo que se dedica la Geometría.

Actualmente es difícil a veces establecer una distinción precisa entre la Geometría y el Análisis. En cualquier caso son fundamentales en ella las aportaciones del Álgebra y la Topología.

Como gran representante tómese a la Topología geométrica, una ciencia donde sus objetos, métodos y propiedades utiliza y desarrolla construcciones muy importantes: como el Polinomio de Jones —sofisticada construcción relacionada a los nudos en 3-variedades— que muestra muchas misteriosas conexiones de esta (topología de dimensiones bajas) con la física moderna. Otro buen ejemplo es la teoría de Blow Ups de la Geometría algebraica.

[editar] Método sintético de la Geometría

La geometría se propone ir más allá de lo alcanzado por la intuición, para lo que es necesario un método riguroso en el que no se deslicen errores. Para conseguirlo, se han utilizado históricamente los sistemas axiomáticos.

El primer sistema axiomático fue el de Euclides, pero hoy se sabe que este sistema euclídeo es incompleto. Hilbert propuso a principios del siglo XX otro sistema axiomático, éste ya completo.

Se distinguen tres tipos de enunciados: los axiomas, las definiciones y los teoremas.

Como en todo sistema formal, debe tenerse en cuenta lo siguiente: las definiciones, axiomas y teoremas no pretenden (o no sólo pretenden) describir el comportamiento de unos objetos. Cuando axiomatizamos algo, convertimos ese comportamiento en nuestro objeto de estudio, pudiendo olvidar ya los objetos iniciales del estudio (que se denominan modelo). Esto lo que significa es que en adelante, las palabras punto, recta y plano deben de perder todo significado visual para nosotros. Si conservamos las ideas de punto, recta y plano en nuestra mente como lo que todo el mundo comprende como tales, las definiciones y axiomas, e incluso algunos de los teoremas nos parecerán evidentes y carentes de importancia. Eso es porque consideramos un único modelo de geometría, muy relacionado con el espacio físico, que es precisamente el modelo sobre el que nos basamos para crear el sistema aximoático. Pero siendo rigurosos, cualquier conjunto de objetos que verifique las definiciones y los axiomas cumplirá también todos los teoremas de la geometría en cuestión, y su comportamiento será virtualmente idéntico del modelo "tradicional". Por ejempo, si en la noción de "punto" consideramos el modelo en el que un punto cualquiera es un polinomio cualquiera de segundo grado $f (x) = a x 2 + b x + c$ , si una recta es para nosotros entonces una familia de polinomios de la siguiente manera $\{ \lambda \cdot f(x): \lambda \in \mathbb{R}\}$ y un plano es entendido como el conjunto $\{ \lambda \cdot f(x) + \mu \cdot g(x) : \lambda, \mu \in \mathbb{R} \}$ , es posible ver que TODOS los resultados de las distintas geometrías son válidos para este modelo.

[editar] Axiomas

Los axiomas son proposiciones, o afirmaciones, que relacionan conceptos. Excepto el punto, la recta y el plano, todo otro concepto que se enuncie debe ser definido en función de los primeros (del punto, la recta o el plano).

En las distintas geometrías sintéticas se distinguen cuatro grupos de axiomas. Un quinto grupo de axiomas (el axioma de paralelismo) es el que distinguirá una geometría de otra:

[editar] 1-Existencia e Incidencia

Son aquellos axiomas que nos dan las condiciones para asegurar la existencia de puntos, rectas y planos y cómo inciden unos en otros.

Existen infinitos puntos, existen infinitos planos (que son conjuntos parciales e infinitos de puntos), también existen infinitas rectas (que también son conjuntos parciales e infinitos de puntos de un plano).

Para determinar una recta, son necesarios dos puntos distintos (y solo dos). En cambio, para determinar un plano son necesarios tres, y que los tres no determinen una recta.

Si dos puntos de una recta están en un plano, toda la recta está en el plano. Si dos puntos de una recta están en una recta, las rectas coinciden (son las mismas).

[editar] 2- Ordenación

Ordenación en la recta: Estos axiomas ayudan a que la recta quede determinada como lo que conocemos como recta (o mejor dicho como nuestro ideal de recta. Tengase en cuenta que nunca la definimos).

Axioma de Ordenación: Dados tres puntos, uno esta entre los otros dos. Asegura que todo segmento sea divisible. Si seleccionamos un punto cualquiera en una recta el resto de los puntos de la recta quedan divididos en dos clases (los que están de un lado y los que están del otro).

Axioma de Pascho: Dado un triangulo y una recta que no pasa por sus vertices, o la recta es externa al triangulo, o pasa por dos de los lados.

Este axioma garantiza que una recta divide a los puntos del plano en dos categorías (los que están de un lado se considera un movimiento).

Solo existe un movimiento que transforma una semirrecta en otra y un semiplano determinado por la misma en otro determinado por la otra.

[editar] 3- Congruencia

Se definen los conceptos siguientes:

Segmento: Una recta y dos puntos sobre ella
Angulo: Un punto y un par de semirrectas que parten de él.

Sobre estos dos conceptos recién definidos postulamos la existencia de una relación de congruencia, que es el equivalente axiomático a los movimientos. Básicamente dados dos segmentos o dos angulos, aceptamos que existe algún método que nos permite decir si son congruentes o no.

Sea cual sea el método para determinar la congruencia se le exigen los siguientes postulados:

Todo segmento es congruente consigo mismo
Si un segmento es congruente con uno dado, el dado es congruente con el primero
Si dos segmentos son congruentes con un tercero son congruentes entre ellos
Dados dos segmentos formando un angulo, congruentes con otros dos que forman un angulo congruente, al unir los extremos sueltos para formar dos triangulos, los tres lados y los tres angulos serán congruentes (Es decir, se postula que un triangulo queda definido por dos lados y su angulo).

[editar] 4-Continuidad.

Axioma de Arquímedes: Se impone que un segmento pueda dividirse en dos indefinidamente.
Axioma de la plenitud: Se impone que el conjunto de puntos de una línea no pueda ser ampliado mediante cierres (límites de sucesiones)

[editar] Definiciones

Se puede ver que en los anteriores axiomas todo es aceptable, excepto el detalle (importante) de que no dijimos que es una semirrecta, que es un semiplano y que es un movimiento (o sea, omitimos hasta ahora definir estos conceptos)

[editar] Semirrecta

Una semirrecta, es el conjunto de todos los puntos de una recta que están a un lado de un punto de ésta. Para determinarla se especificará la recta en cuestión, el punto que la divide y un punto del lado elegido. (tener en cuenta que el punto que divide a la recta pertenece a la semirrecta en cuestión)..

[editar] Semiplano

Un semiplano, análogo a la semirrecta, es el conjunto de puntos del plano que están a un lado de una recta. Para determinarlo se especifica el plano en cuestión, la recta que lo divide y un punto del lado elegido.(tener en cuenta que la recta que divide al plano pertenece al semiplano en cuestión)

[editar] Movimiento

La definición de un movimiento es más complicada que las anteriores, pero se hace más clara cuando se avanza en el estudio de los mismos. Aquí diremos simplemente que se trata de transformaciones que transforman figuras (puntos, rectas, planos, semiplanos, etc) en otros de la misma clase, a éstos últimos se los llama "homólogos de los primeros en la transformación". Hay que tener en cuenta que los mismos, transforman un punto que pertenece a una recta, en otro punto que pertenece a la recta homóloga. Esto se puede ver, cuando se piensa que si movemos una caja, que tiene un dibujo, el mismo seguirá en la caja al terminar de moverlo.

[editar] Teoremas

Teniendo en cuenta los axiomas precedentes podemos demostrar una vasta cantidad de teoremas.

Podemos afirmar por ejemplo que entre dos puntos de una recta existen infinitos puntos (fijesé que eso no lo habíamos dicho), y para demostrarlo, alcanza con aplicar el axioma que nos indica que hay un punto entre ambos repetidas veces (primero entre los dos puntos dados y luego entre uno de los puntos dados y el punto indicado en el axioma, etc.)
También podemos afirmar que una recta cualquiera y un punto fuera de ella, determinan un plano (que contiene a la recta y al punto simultáneamente). La demostración se basa en observar que la recta está determinada por dos puntos (cualesquiera) de ésta, los tres puntos (el que teníamos y los de la recta) determinan un plano, que contiene al punto y a la recta (ya que la recta tiene dos puntos en el plano).

Figura 1: El punto "A" y el punto "B" determinan a la recta "r", (por el axioma citado) Sabemos que existe un punto C en el plano (toda la imagen está en un plano). Los puntos B y C determinan la recta s. y sabemos que entre B y C hay infinitos puntos (por el teorema citado). Esos puntos están fuera de la recta r y están dentro del plano

Como un ejemplo más complejo, podemos afirmár que dada una recta en un plano, existen infinitos puntos del plano que no pertenecen a la recta. Esto parece obvio, pero demostrarlo es complicado, primero, vemos que existe un punto dentro del plano y fuera de la recta (por el axioma que nos dice que la recta es un conjunto parcial de puntos), para demostrar que los puntos son infinitos, vemos que entre ese punto fuera de la recta y un punto cualquiera de la recta, hay infinitos puntos (recurriendo al primer teorema que enunciamos) y éstos deben estar fuera de la recta (ya que si tubieran otro punto común las dos rectas coincidirían y eso es una contradicción, ya que aclaramos que el punto fuera de la recta estaba fuera de la recta)). Veasé la figura 1.

[editar] Las figuras geométricas y las construcciones

Una figura geométrica es, en la geometría euclidiana, todo espacio encerrado entre líneas. Las construcciones son secuencias de operaciones elementales para construir estas figuras geometricas.

En Geometria Clásica solo se buscaban construcciones con regla y compas. Las construcciones son equivalentes al concepto de algoritmo en un álgebra.

La geometría ha sido desde los las definiciones; las propiedades de los triángulos son posibles de enunciar sin hacer referencia a éstos, pero sería un proceso largo, tedioso e inútil. Por lo tanto, los teoremas relativos a cada figura que se defina (y su respectiva definición), serán enunciados dentro de sus páginas respectivas.

Las figuras fundamentales (sin definición): punto, recta y plano.
En la recta se pueden ver: segmentos, semirrectas y vectores.
En el plano, una recta determina dos semiplanos, su intersección determina las figuras convexas: faja, ángulo, triángulo, cuadriángulo y polígono.
Utilizando el concepto de distancia, se definen: el círculo y la esfera.
Utilizando el concepto de semiespacio se definen: el diedro, el espacio prismático, el triedro, el ángulo poliedro, y los poliedros. Entre los últimos encontramos como casos particulares: el tetraedro, el prisma, la pirámide y el paralelepípedo.
El concepto de círculo en el espacio da origen a: el cono y el cilindro.

Existen otras figuras geométricas, que serán definidas dentro de cada página vinculada a ésta.como lo son el cubo y el poliedro en si

[editar] Relaciones y propiedades

Entre dos o más figuras puede haber relaciones diferentes, dos rectas pueden ser paralelas, perpendiculares o oblicuas (se cortan en un punto formando angulos no rectos). En el espacio, también pueden ser alabeadas (o cruzadas). Notese que estas relaciones son definiciones (en nuestro esquema). Uno de los conceptos más importantes dentro de la geometría es el de congruencia o igualdad.

[editar] Clases de geometrías

Cada sistema axiomático determina una matemática (en este caso una geometría). Si nosotros agregamos mayor cantidad de axiomas, todos los teoremas validos en la primera geometría valen también para la segunda (la que tiene los axiomas de la primera y otros más).

Los axiomas hasta aquí enunciados se encuentran en todas las geometrías. (a pesar de que no siempre enunciados en la misma forma) A esta geometría se le llama geometría absoluta o geometría neutral.

Teniendo en cuenta más axiomas se obtienen otras geometrías (en las cuales todo lo dicho hasta aquí es válido). Si damos por cierto el axioma del paralelismo de Euclides, obtenemos la Geometría euclidiana.

Agregando a éstos los axiomas relativos al espacio, obtenemos la geometría espacial (éstos últimos no son más que extensiones de los axiomas relativos al plano). La Geometría descriptiva, es la que se encarga de que los problemas posibilitar la resolución de los problemas de la geometría del espacio por medio de operaciones efectuadas en un plano.

Todos estos sistemas axiomáticos permiten definir segmentos y compararlos. Esto permite a su vez definir un patrón de medida y asignar una medida a los segmentos. Se llaman por tanto geometías métricas. Hay sistemas de axiomas donde esto no es posible y se dice que son una Geometría de incidencia.

Utilizando otros axiomas de paralelismo (distintos que el de euclides) se obtienen las geometrías no euclídeas.

Finalmente, incluyendo un axioma que considere la existencia de los puntos del infinito, obtenemos la Geometría Proyectiva

[editar] Métodos analíticos de estudio de las geometrías

Véase: Geometría cartesiana y Geometría diferencial.

Véase también:

[editar] Enlaces externos