Cómo se ve La Geometría Desde Esta Perspectiva

La primera publicación de esta serie identificó tres primitivas geométricas: el punto sin dimensiones, la línea infinita y el círculo continuo, y argumentó que cada una conlleva supuestos importados de las condiciones históricas bajo las cuales se practicó por primera vez la geometría, no de ninguna necesidad inherente a la geometría misma. El segundo post intentó solucionar uno de esos problemas y fracasó honestamente. El tercero propuso un punto de partida diferente: una geometría construida a partir de movimientos en lugar de ubicaciones, de reglas en lugar de objetos.

Esta publicación explica qué es realmente ese marco, qué logra y qué sugiere.

I. Qué es realmente el Marco

Considera un triángulo. Probablemente lo pienses como tres puntos conectados por líneas — algo que se encuentra en algún lugar del espacio con coordenadas específicas, un tamaño específico, una orientación específica. La geometría clásica lo define así. Pero despoja todo eso —las coordenadas, el tamaño, la ubicación— y algo aún permanece. Un triángulo son tres pasos iguales, cada uno girando por el mismo ángulo, volviendo a cerrarse donde comenzó. Ese patrón —tres giros iguales que se cierran— es la identidad del triángulo. Todo lo demás es contexto.

El marco desarrollado en estas publicaciones toma esa observación en serio como punto de partida. En lugar de empezar con el espacio y colocar objetos dentro de él, empieza con movimientos elementales y pregunta qué objetos surgen de las reglas que los rigen.

El procedimiento es este. Tienes un pequeño conjunto de movimientos básicos — piénsalo como las operaciones primitivas disponibles en el sistema, como pasos en una dirección particular. Construyes secuencias de esos movimientos, componiéndolos uno tras otro. Luego declaras una regla para cuándo dos secuencias cuentan como la misma: cuando ningún movimiento adicional que pudieras agregar a una u otra produciría un resultado diferente. Todo lo que pasa esa prueba de indistinguibilidad se agrupa. Esos grupos son tus objetos geométricos.

Sin espacio de fondo. Sin coordenadas. Sin primitivas infinitas. Solo movimientos, reglas y la agrupación que resulta.

El círculo es el ejemplo más limpio. Toma un movimiento básico —un paso adelante— e impón una regla: después de un cierto número de pasos, regresas a donde empezaste. Esa única regla es todo el contenido geométrico del círculo. Los objetos que produce son posiciones dispuestas en un ciclo, cada una a un paso de la siguiente. Sin arco, sin divisibilidad infinita, sin plano ambiente. Solo una regla.

Cambiar la regla produce un objeto diferente. El mismo paso con una distancia de retorno diferente da un círculo diferente. Añadir un segundo movimiento independiente con su propia regla de retorno da como resultado un toro. Dejar que los dos movimientos interfieran entre sí en lugar de conmutar produce un tipo diferente de estructura geométrica — una cuya forma depende de cómo interactúan los generadores. La geometría reside enteramente en la elección de las reglas.

Las matemáticas formales precisan esto de una manera que vale la pena enunciar: para la clase más amplia de sistemas que abarca este marco, cada espacio métrico finito —cada forma de medir distancias entre una colección finita de puntos— puede expresarse como tal sistema de movimientos y reglas, y la correspondencia es exacta. La afirmación de que la geometría está en la elección de las reglas no es solo una posición filosófica — tiene un correlato matemático preciso. La interpretación filosófica es mía, pero está fundamentada en esa estructura.

II. Las cuatro cosas que siempre fueron externas

Una vez que este marco está en su lugar, cuatro propiedades que la geometría clásica trata como intrínsecas a los objetos geométricos se vuelven visiblemente externas — o, más precisamente, se vuelven visibles como consecuencias de las relaciones entre los objetos en lugar de propiedades de los propios objetos.

Una forma de ver su relación: la forma de medir la distancia es la más fundamental. El tamaño es esa medición aplicada con una unidad elegida. La posición requiere una regla de medición más un punto de referencia y orientación elegidos. Y el espacio —el más sorprendente de los cuatro— resulta no ser un contenedor en absoluto, sino la estructura que emerge cuando los objetos están conectados entre sí por relaciones. Este orden es mi lectura de lo que revela el marco, no una afirmación que el marco mismo prueba.

Un sistema de coordenadas entrega los cuatro simultáneamente, por eso es tan fácil pasar por alto su distinción. No son parte de lo que es un objeto. Son parte de cómo los objetos se relacionan entre sí y con su contexto.

Posición. Un círculo definido por una regla de retorno no tiene ubicación. Es un patrón de movimientos. La posición solo aparece cuando un contexto externo proporciona un punto de partida y una orientación. La geometría clásica fusiona el objeto y la posición porque el espacio ambiente siempre estaba ya presente. Este marco los separa por construcción: la regla define el objeto, el contexto define dónde se sitúa.

Tamaño. Un círculo definido por regresar después de seis pasos y uno definido por regresar después de seiscientos pasos son el mismo objeto a diferentes resoluciones. El número de pasos no es intrínseco, es la relación entre la circunferencia y el tamaño del paso. Cambia el tamaño del paso y el conteo cambia; el círculo no. El tamaño pertenece al contexto de la medición, no al objeto que se está midiendo.

Distancia. La forma de medir la distancia entre dos cosas no está fijada por la estructura de mover y medir. Asignar diferentes costos a diferentes movimientos produce diferentes medidas de distancia sobre la misma estructura subyacente. La forma euclidiana de medir la distancia es una opción entre muchas. Su familiaridad tiene raíces profundas — tanto en la experiencia física como en las propiedades matemáticas del espacio continuo — pero dentro de un sistema relacional finito, es una asignación contextual, no algo que la estructura exija. Cualquier forma específica de medir la distancia puede expresarse dentro de este marco, pero la expresión siempre refleja una elección contextual. El marco hace explícita esa elección en lugar de ocultarla dentro de la definición del objeto.

Espacio. Cuando dos objetos definidos por sus propias reglas están conectados por relaciones entre ellos —enlaces con distancias asociadas—, la estructura combinada produce un espacio. Ese espacio está totalmente determinado por las reglas internas de cada objeto y las relaciones de conexión entre ellos. No se requiere ni se asume espacio de fondo. El espacio no es el contenedor en el que se encuentran los objetos. Es la estructura relacional la que los conecta, producida por esas conexiones, que no pertenece a ninguno de los objetos por sí sola.

Mover un objeto en relación con otro significa cambiar las relaciones de conexión, no cambiar ninguno de los dos objetos. Dos objetos sin relaciones de conexión no tienen ninguna relación espacial, no una gran distancia, sino ninguna distancia en absoluto. El espacio entre ellos no existe hasta que se especifican las conexiones. Esta es la versión formal de la afirmación central de la serie: el espacio no es un escenario en el que ocurre la geometría. Surge de la geometría.

Y como la forma del espacio se deriva de las conexiones en lugar de asumirse de antemano, ninguna geometría particular es privilegiada. El resultado no tiene que ser euclidiano — plano, infinito, organizado a lo largo de tres ejes perpendiculares. No es necesario que tenga ninguna forma específica. Dependiendo de cómo se estructuren las relaciones de conexión, el espacio combinado puede tomar formas muy diferentes — similar a un producto o entrelazado, conectado o fragmentado. El marco no impone una geometría predeterminada y luego pregunta qué cabe dentro de ella. Deriva la geometría de las interacciones y pregunta qué emerge.

Las geometrías no euclidianas están bien establecidas dentro de las matemáticas clásicas: puedes elegir geometría hiperbólica o esférica y trabajar en ella perfectamente bien. Pero incluso esas elecciones aún asumen un espacio de fondo. En el marco relacional, la forma del espacio se deriva de las relaciones de conexión entre objetos, no se asume de antemano. Esa es una elección organizativa diferente — una que el marco hace explícita para el contexto de geometría métrica discreta que cubre.

III. Descripción y Objeto

Una vez que la distancia, el tamaño, la posición y el espacio se entienden como relacionales en lugar de intrínsecos, lo que queda como la identidad de un objeto geométrico es exactamente su regla: el patrón de movimientos y las condiciones bajo las cuales las secuencias de esos movimientos se consideran equivalentes.

Esto tiene una consecuencia sorprendente. El objeto y la regla que lo define son dos descripciones de la misma cosa. Conocer la regla completamente determina el objeto. Conocer el objeto completamente determina la regla. Es la misma información expresada de dos maneras diferentes.

Las matemáticas formales confirman una versión precisa de esto: todo espacio métrico finito corresponde a un sistema de reglas, y todo sistema de reglas corresponde a un espacio métrico finito. Las dos son lo mismo visto desde diferentes ángulos — al menos dentro del dominio de la geometría métrica finita, que es lo que el marco cubre.

Una consecuencia más: la complejidad de un objeto es exactamente la complejidad de su regla. Una regla simple —un movimiento, una ley— produce un objeto simple. Una regla compleja produce un objeto complejo. No hay complejidad geométrica oculta que la regla pase por alto, ni complejidad en la regla que no corresponda a algo geométrico. La simplicidad es simplicidad en todo momento.

IV. Lo que esto conecta

La geometría clásica describe varios tipos de curvatura —plana, hiperbólica, esférica— cada uno presentado típicamente con sus propios axiomas y espacio de fondo. En este marco, sus análogos discretos no son tipos de objetos separados. Son la misma construcción con diferentes opciones de reglas.

Un sistema con un movimiento básico y sin regla de retorno, donde los caminos se ramifican hacia afuera, produce una estructura cuyo volumen crece exponencialmente con la distancia — la firma de la curvatura negativa. Dos movimientos independientes con sus propias reglas de retorno producen una estructura plana donde los caminos que salen siempre vuelven al punto de partida. Una aproximación finita de curvatura positiva produce caminos que se separan y luego vuelven a converger. Los tres de la misma construcción. La diferencia es la regla, no el tipo de objeto.

Esto no subsume las teorías clásicas completas. Lo que muestra es que el tipo de curvatura es una consecuencia de la estructura de las reglas, no una propiedad asumida de antemano. Dentro del contexto de geometría métrica discreta que cubre el marco, la diferencia entre estas geometrías es una diferencia de presentación, no de tipo.

V. El patio de recreo

El marco es computacional por naturaleza. Las reglas son finitas y descriptibles; ejecutar una regla produce una forma. Esto significa que las ideas pueden explorarse directamente en lugar de solo describirse.

Actualmente se está desarrollando una herramienta interactiva que te permitirá hacer exactamente eso. Especificarás cuánto cambia la dirección en cada paso —la regla— y observarás cómo aparece la forma resultante. Un giro constante en cada paso produce polígonos regulares; pasos más finos con el mismo giro constante dan el círculo. Un giro que crece exponencialmente produce la espiral logarítmica. Un giro que oscila produce curvas en forma de onda. En cada caso, la forma está completamente determinada por esa única regla; no hay nada más que la especifique.

La herramienta también hará visibles los parámetros externos. Cambiar el tamaño del paso y la dirección inicial cambiará el tamaño y la orientación de la forma sin cambiar lo que es la forma. La separación entre la identidad intrínseca y la ubicación contextual —una de las afirmaciones centrales del marco— será directamente observable en lugar de simplemente descrita.

[Parque infantil interactivo — próximamente]

VI. Lo que esto abre

El marco no es una teoría terminada. Varias direcciones se derivan de lo establecido —matemáticas, computacionales, físicas, filosóficas— y algunas de las conexiones que surgieron en el camino no formaban parte de la pregunta original en absoluto.

Esas conexiones son el tema de la siguiente parte de esta serie.

VII. Creado o Descubierto, Revisado

La primera publicación de esta serie se abrió con una pregunta dejada deliberadamente sin respuesta: ¿las matemáticas se crean o se descubren?

Platón creía que lo estaba descubriendo. Las formas —las estructuras eternas bajo las apariencias— estaban allí esperando, y el trabajo del filósofo era ver a través de la superficie y alcanzarlas. Euclides formalizó la geometría de su mundo como si estuviera transcribiendo leyes que existían independientemente de cualquier mente. El punto, la línea, el círculo no fueron invenciones. Eran sofía: estructura profunda hecha visible.

Y quizás tenían razón sobre el sentimiento. Cuando una consecuencia necesaria se deriva de un conjunto de reglas, algo genuinamente no se siente inventado. El círculo discreto —posiciones dispuestas en un ciclo, cada una a un paso de la siguiente, volviendo al inicio— no se elige. Es lo que sigue cuando se impone una única regla de retorno a un único movimiento. Ese sentido de necesidad es real. Hay algo ahí.

Pero esta serie ha estado argumentando, desde el principio, que algunas de las cosas que Euclides transcribió como fundamentales no lo eran en absoluto. El punto sin extensión, la línea infinita en ambas direcciones, el círculo como objeto límite distinto de los polígonos: estas se sintieron como descubrimientos de estructura profunda. Eran, en parte, formalizaciones de las condiciones cognitivas y prácticas de un mundo particular: la experiencia del espacio continuo y suave, el hábito de la medición, la geometría de las superficies en las que la gente ya vivía. Lo que parecía Sofía era en parte el mundo mediterráneo hecho riguroso.

La inquietante implicación no es que Platón y Euclides simplemente estuvieran equivocados. Es que no podían ver sus propias suposiciones desde dentro. Las suposiciones eran invisibles precisamente porque estaban tan profundamente arraigadas. No parecían opciones. Parecían la forma en que son las cosas.

Y aquí estamos, haciendo el mismo tipo de afirmación. Este marco identifica supuestos en la geometría clásica que la geometría clásica no podía ver. Hace visibles ciertas cosas que antes eran invisibles. Pero lo hace desde dentro de un momento particular, moldeado por la computación digital, por la experiencia de trabajar con estructuras discretas finitas, por conceptos que estuvieron disponibles en un punto específico. Lo que nos parece una descripción más fundamental podría parecer, desde una perspectiva futura, otra capa de encuadre históricamente condicionado. Las cosas que no podemos ver desde aquí son, por definición, cosas que actualmente no podemos nombrar.

Esta no es una razón para detenerse. Es la postura epistémica correcta hacia cualquier trabajo fundamental: hacer las suposiciones lo más explícitas posible, reducir lo que se da por sentado, permanecer genuinamente abierto a la posibilidad de que incluso las categorías que se utilizan para hacer eso —intrínseca, contextual, relacional, emergente— sean en sí mismas parte de lo que se aportó a la investigación en lugar de encontrarse en ella.

La cuestión de si las matemáticas se crean o se descubren puede no tener una respuesta que nuestra naturaleza como perceptores nos permita alcanzar plenamente. Encontramos cosas desde nuestra perspectiva interior. Si lo que encontramos nos estaba esperando, o si el hallazgo dio forma al hallazgo, es una pregunta que no podemos responder saliendo de nosotros mismos.

Lo que podemos hacer es reconocer humildemente esa condición y encontrar algo que valga la pena celebrar en ella. Las matemáticas nunca han sido un destino fijo. Siempre ha sido un proceso de preguntas que abren a mejores preguntas, marcos que revelan los límites de los marcos anteriores, cada generación viendo un poco más lejos al pararse sobre lo que la anterior construyó. Las suposiciones que no podemos ver hoy se harán visibles para alguien. Las estructuras que se sienten más fundamentales ahora mismo serán el punto de partida para una investigación futura que no podemos anticipar. Eso no es una limitación de la empresa. Es lo que lo mantiene vivo.

Hay una satisfacción particular en el trabajo fundamental que no proviene de cerrar preguntas, sino de abrirlas con mayor precisión. Este marco no ofrece sabiduría. Le da a la siguiente persona una visión más clara de lo que queda por encontrar, y eso, en las matemáticas que aún estamos creando, es un tipo de descubrimiento en sí mismo.

El desarrollo matemático formal detrás de estas ideas está siendo desarrollado en un artículo complementario actualmente en progreso.