Προβολική Βασικά

Un sistema lógico axiomático parte de la definición de un reducido número de elementos básicos que se relacionan mediante un conjunto de reglas. La aplicación de estas reglas permite inferir propiedades o teoremas que a su vez son útiles para generar nuevas propiedades.

Se genera de esta forma un conjunto amplio de relaciones a partir de unas definiciones básicas (elementos) y un limitado número de reglas (axiomas).

Las reglas de inferencia son las operaciones proyectivas que relacionan a los elementos.

Los elementos básicos de la geometría clásica son los puntos, las rectas y los planos. Es posible definir nuevas geometrías con otros elementos básicos y diferentes operaciones y axiomas.

Estos elementos son los números de la geometría, y pueden ser usados, junto con las transformaciones gráficas como operadores, para idealizar y describir los modelos de la realidad.

Los elementos pueden pertenecer a un espacio unidimensional, bidimensional, tridimensional …

Las figuras geométricas se forman a partir de los elementos básicos, por lo que interesa el estudio de sus posibles relaciones. En particular el enfoque basado en los invariantes conduce a un modelo de pensamiento que agrupa los conceptos en función de su independencia en la aplicación a la resolución de los problemas.

Ο razón simple y la razón doble, como se verá más adelante, permiten establecer nuevos modelos de solución en problemas que se han tratado normalmente desde una perspectiva pitagórica, en la que las medidas absolutas de las distancias, y no tanto sus relaciones con otras, constituyen el elemento argumental.

Al operar con estos elementos, los restantes deben considerarse agrupaciones de los primeros. Για παράδειγμα, si el elemento base es el punto, la recta y el plano deben reducirse a conjuntos de puntos; la recta debe entenderse como un conjunto de infinitos puntos que se pueden determinar con un simple parámetro o coordenada respecto de un punto origen,; el plano como un conjunto de infinitos puntos determinados mediante dos parámetros de un sistema de coordenadas.

El lenguaje geométrico

Esta forma de relacionar los elementos permite generalizar los teoremas obtenidos para un elemento dado, al resto de elementos.

La ley de dualidad recoge esta idea aportando un mecanismo semántico para este fin. Un simple cambio de palabras en un teorema sobre rectas, puede convertirse en otro para planos o para puntos simplificando mediante abstracción lógica la estructura geométrica.

Στοιχεία και γεωμετρικά σχήματα

Ο γεωμετρικά στοιχεία se pueden estructurar en grupos que los contienen y que se denominan formas geométricas.

Για παράδειγμα, los elementos (σημεία) del espacio tridimensional R³ que distan una longitud constante de otro dado determinan la forma geométrica denominada esfera. Los que equidistan de una recta determinarían un cilindro o superficie cilíndrica de revolución, y los que se encuentran a igual distancia de un plano formaran dos nuevos planos paralelos al anterior, κλπ..

Se puede utilizar una semántica que generaliza los conceptos independientemente de la naturaleza de los elementos básicos constitutivos. Obsérvese la “forma dual” en que se presentan los siguientes enunciados.

La “Serie rectilínea”, “Haz de rectas” y el “Haz de planos” son las formas geométricas más básicas. Sus elementos son puntos, rectas y planos respectivamente.

Serie rectilínea La forman los infinitos puntos de una recta.
Haz de rectas Lo forman las infinitos rectas de igual vértice.
Haz de planos Los forman los infinitos planos que comparten una recta

Tabla 1 Formas de primera categoría

Sistemas_de_representacion

Προβολική Γεωμετρία