Geometría

La geometría es la matemática que estudia idealizaciones del espacio: los puntos, las rectas, los planos y otros elementos conceptos derivados de ellos, como polígonos o poliedros.

Se utiliza para solucionar problemas concretos en el mundo de lo visible y es la justificación teórica de muchos instrumentos: compás, teodolito, pantógrafo, sistema de posicionamiento global. También es la que define la medida de áreas y volúmenes, es útil en la preparación de diseños, e incluso en la fabricación de artesanías.

Desde un punto de vista más riguroso, según el Programa de Erlangen ^*, la Geometría es la Matemática que estudia los invariantes del 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.

La geometría moderna es una gama de interacciones con las otras principales técnicas matemáticas: Análisis, Álgebra, todas las Topologías, el Análisis matemático, inclusive las Estadísticas.

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.

Historia

Método sintético de la Geometría

La geometría se propone ir más allá de lo alcanzado por la intuición, entonces es necesario un método riguroso (que no permita deslices). 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 euclideo es incompleto y en su lugar se usa el de Hilbert.

Este diferencian tres tipos de enunciados: los axiomas, las definiciones y los teoremas.

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. Nótese que éstos sólo afirman cosas terriblemente obvias.

Se distinguen cuatro grupos de axiomas (aunque a veces se incluye un quinto grupo con un solo axioma de paralelismo), que son:

1-Existencia e Incidencia

Son aquellos que aseguran las condiciones de existencia de los puntos, rectas y planos. (sin estos no podríamos empezar a trabajar) y también nos indican cómo inciden unos conceptos en los 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 (y solo dos). En cambio, para determinar un plano son necesarios tres.

Para ver estos conceptos más gráficamente se puede observar que si se agarra un palo "recto" en un solo punto, el palo se balancea, mientras que si se toman dos, este queda fijo. Igualmente, se puede ver al agarrar una hoja de cartón desde uno o dos puntos (entonces se balancea como la recta) y que se fija si la agarramos en tres puntos.

Además, la recta es intuitivamente una figura plana así como una figura recta, si dos puntos de una recta están en un plano, toda la recta está en el plano y si dos puntos de una recta están en una recta, las rectas coinciden (son las mismas).

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 moviento que transforma una semirrecta en otra y un semiplano determinado por la misma en otro determinado por la otra.

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).

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 linea no pueda ser ampliado mediante cierres (límites de sucesiones)

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)

Semirrecta

Una semirrecta, es el conjunto de todos los puntos de una recta que están a un lado de un punto de esta. 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).

Semiplano

Un semiplano, analogo 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)

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 estos ú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.

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).

Demostración teorema 1 (geometría).PNG

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 estos 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.

Extensiones

Dada la vastedad del tema en cuestión, aquí se proponen algunos temas relativos a la geometría para encontrar la totalidad de los datos en la Wikipedia relativos a la geometría, simplemente elija por donde desea continuar.

Las figuras geométricas

Una figura geométrica es, en la geometría euclidiana, todo espacio encerrado entre líneas.

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.

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.

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 también conocida como geometría plana (enseñada en la escuela).

Agregando a estos los axiomas relativos al espacio, obtenemos la geometría espacial (estos ú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

Métodos analíticos de estudio de las geometrías

Véase: Geometría cartesiana y Geometría diferencial también la geometría se conoce como pixol.

Enlaces externos

Geometría | Matemática

Gourt Home::Gourt :: Geometría