Geometría

Bajo el enfoque de la teoría de conjuntos, la geometría se define como el estudio matemático del conjunto universal llamado Espacio ($\mathcal{E}$) y de las propiedades de sus distintos subconjuntos.

En este marco conceptual, cualquier "figura geométrica" (ya sea un segmento, un triángulo, una circunferencia o una esfera) es simplemente un subconjunto específico de puntos. La labor de la geometría es analizar las relaciones lógicas y espaciales entre estos conjuntos —como la intersección, la unión o la inclusión— y deducir nuevas verdades a partir de un conjunto de reglas iniciales (axiomas).

1. Conceptos, Relaciones Primitivas y Operaciones

Todo sistema matemático formal necesita un punto de partida: elementos y vínculos básicos que aceptamos sin intentar definirlos con otros términos previos, para evitar caer en un círculo vicioso de definiciones.

En nuestra geometría, los conceptos primitivos (nuestros "ladrillos" de construcción) son el punto, la recta, el plano y el espacio. Al apoyarnos en la teoría de conjuntos, heredamos también sus relaciones primitivas (nuestro "cemento" lógico), que nos indican cómo interactúan estos conceptos:

• Pertenencia ($\in$): Relaciona un elemento individual con un conjunto (por ejemplo, un punto que pertenece a una recta).
• Inclusión ($\subset$): Relaciona un subconjunto con otro conjunto mayor (por ejemplo, una recta que está contenida en un plano).

A partir de estas relaciones básicas, podemos definir operaciones matemáticas formales para crear nuevos conjuntos o estudiar cómo interactúan. La más importante para esta etapa inicial de nuestro estudio es:

• Intersección ($\cap$): Es la operación que encuentra los elementos en común entre dos o más conjuntos. Si dos figuras geométricas (subconjuntos) comparten puntos, el nuevo conjunto formado exclusivamente por esos puntos en común es su intersección.

A continuación, describiremos intuitivamente (ya que formalmente no se definen) los conceptos primitivos y cómo aplican estas relaciones y operaciones.

El Espacio

Consideraremos al Espacio (que podemos denotar con la letra $\mathcal{E}$) como nuestro conjunto universal. Es el conjunto maestro que contiene de forma absoluta todo lo que vamos a estudiar y analizar en esta disciplina.

Los Puntos

Los puntos son los elementos fundamentales que conforman el Espacio. Al ser los componentes más básicos y primitivos, no tienen dimensiones (ni longitud, ni área, ni volumen).

• Se representan habitualmente con letras mayúsculas de imprenta: $A, B, P, Q, \dots$
• Al ser elementos del conjunto universal, utilizamos la relación primitiva de pertenencia. Por ejemplo, si $P$ es un punto, decimos que "$P$ pertenece al Espacio": $P \in \mathcal{E}$.

Rectas y Planos (Subconjuntos)

A diferencia de los puntos, que son los elementos básicos, las rectas y los planos son subconjuntos del Espacio. Es decir, son agrupaciones o colecciones de puntos.

Advertencia Pedagógica sobre el "Infinito":
Intuitivamente, al describir rectas y planos, pensaremos en ellos como colecciones infinitas de puntos. Sin embargo, para mantener el rigor matemático estricto, debemos aclarar que los primeros postulados que estudiaremos (los Axiomas de Incidencia) solo nos garantizarán una cantidad mínima de puntos (por ejemplo, que una recta tiene al menos dos puntos). La característica de que estas figuras posean infinitos puntos es, en realidad, una consecuencia matemática que se demostrará más adelante al introducir los Axiomas de Orden.

• La Recta: Intuitivamente, es un subconjunto de puntos que se extiende en una sola dimensión y en ambos sentidos sin principio ni fin.
  • Se suelen denotar con letras minúsculas: $r, s, t, \dots$
  • Como es un conjunto de puntos, si un punto $A$ se encuentra sobre la recta $r$, usamos la relación de pertenencia: $A \in r$.
• El Plano: Intuitivamente, es un subconjunto de puntos que forma una superficie perfectamente llana, extendiéndose en dos dimensiones.
  • Se identifican tradicionalmente con letras del alfabeto griego: $\alpha, \beta, \pi, \dots$
  • Si un punto $P$ está en el plano $\pi$, la relación es de pertenencia: $P \in \pi$.
  • Por otro lado, si todos los puntos de una recta $r$ pertenecen al plano $\pi$, aplicamos la relación primitiva de inclusión, indicando que un conjunto está dentro de otro, y decimos que la recta está contenida en el plano: $r \subset \pi$.

2. Axiomas de Incidencia

Los axiomas (o postulados) son verdades fundamentales que aceptamos sin demostración y que establecen las "reglas del juego" de nuestra geometría. El primer grupo que estudiaremos son los Axiomas de Incidencia (o de enlace). Su función es regular cómo se conectan o "inciden" nuestros conceptos primitivos mediante las relaciones de pertenencia e inclusión.

Antes de enunciar los postulados, estableceremos dos definiciones clave basadas en la pertenencia a subconjuntos:

• Definición 1 (Puntos alineados o colineales): Decimos que dos o más puntos están alineados si existe una recta a la cual todos ellos pertenecen.
• Definición 2 (Puntos coplanares): Decimos que tres o más puntos están coplanares si existe un plano al cual todos ellos pertenecen.

Para organizar nuestro estudio de manera clara, dividiremos estos axiomas en tres categorías:

2.1 Relaciones entre puntos y rectas

Estos primeros axiomas establecen cómo se vinculan los puntos con las rectas, asegurando la existencia de ambos y su interacción fundamental.

• Axioma 1: Dos puntos distintos determinan una recta y solo una a la cual pertenecen. Por un punto pasa al menos una recta.
  • Interpretación conjuntista: Si $A$ y $B$ son puntos y $A \neq B$, entonces existe una única recta $r$ tal que $A \in r$ y $B \in r$.
• Axioma 2: A toda recta pertenecen al menos dos puntos distintos.
  • Interpretación conjuntista: Si $r$ es una recta, existen al menos dos puntos $A$ y $B$ con $A \neq B$, tales que $A \in r$ y $B \in r$. (Esto confirma la advertencia pedagógica de que, por ahora, una recta es solo "un conjunto con al menos dos puntos").
• Axioma 3: Dada una recta, existe al menos un punto del espacio que no está en la recta.
  • Interpretación conjuntista: Si $r$ es una recta, existe al menos un punto $P \in \mathcal{E}$ tal que $P \notin r$. (Este postulado es vital para asegurar que nuestro Espacio no sea simplemente una única línea).

2.2 Relaciones entre puntos y planos

Estos axiomas expanden nuestras reglas al espacio tridimensional, definiendo cómo interactúan los puntos con las superficies planas.

• Axioma 4: Tres puntos distintos que no están en una misma recta, determinan un plano y solo uno al cual pertenecen. Por dos puntos distintos pasa al menos un plano.
  • Interpretación conjuntista: Si $A$, $B$ y $C$ son puntos no colineales, entonces existe un único plano $\pi$ tal que $A \in \pi$, $B \in \pi$ y $C \in \pi$.
• Axioma 5: A todo plano pertenecen al menos tres puntos distintos no colineales.
  • Interpretación conjuntista: Si $\pi$ es un plano, existen al menos tres puntos $A$, $B$ y $C$ no colineales tales que $A \in \pi$, $B \in \pi$ y $C \in \pi$.
• Axioma 6: Dado un plano, existe por lo menos un punto del espacio que no está en el plano.
  • Interpretación conjuntista: Si $\pi$ es un plano, existe al menos un punto $P \in \mathcal{E}$ tal que $P \notin \pi$. (Este postulado garantiza que nuestro Espacio es verdaderamente tridimensional y no colapsa en un solo plano).

2.3 Relaciones entre puntos, rectas y planos

Estos últimos axiomas de incidencia actúan como los engranajes que conectan las estructuras unidimensionales (rectas) con las bidimensionales (planos).

• Axioma 7: Si dos puntos de una recta están en un plano, la recta está contenida en el plano.
  • Interpretación conjuntista: Si $r$ es una recta y $\pi$ es un plano, y existen dos puntos distintos $A, B \in r$ tales que también $A \in \pi$ y $B \in \pi$, entonces todo el conjunto $r$ es un subconjunto de $\pi$ ($r \subset \pi$).
• Axioma 8: Si dos planos diferentes se cortan, su intersección es una recta.
  • Interpretación conjuntista: Si $\alpha$ y $\beta$ son dos planos distintos ($\alpha \neq \beta$) que tienen al menos un punto en común, entonces la intersección de ambos conjuntos es exactamente una recta $r$ ($\alpha \cap \beta = r$).

Observaciones sobre el lenguaje geométrico

Es importante detenernos en ciertas palabras clave que utilizamos habitualmente en geometría clásica y que, en nuestro marco formal basado en la teoría de conjuntos, tienen traducciones lógicas muy precisas:

• "Determinar" (Unicidad y Existencia): Cuando decimos que dos puntos determinan una recta (o tres puntos no colineales un plano), la palabra clave es unicidad. Significa que ese conjunto de puntos funciona como una "huella dactilar" para identificar un único subconjunto del espacio. Al elegir esos puntos, el axioma asegura que existe ese conjunto y que no hay margen de ambigüedad.
• "Pasar por" (Pertenencia): La palabra pasa es un vestigio del lenguaje dinámico y gráfico (imaginamos un lápiz trazando una línea que "atraviesa" el punto). Sin embargo, en un lenguaje estricto, "pasar por" es simplemente la relación de pertenencia. Decir que "una recta $r$ pasa por el punto $P$" es semántica y matemáticamente idéntico a decir "el punto $P$ pertenece al conjunto $r$" ($P \in r$).
• "Cortarse" (Intersección de Conjuntos): Al igual que "pasar", la idea de que dos figuras se "corten" evoca imágenes de tijeras o cruces en el espacio. Matemáticamente, esto equivale a la operación de intersección ($\cap$). Que dos rectas o dos planos se corten significa simplemente que dichos conjuntos comparten elementos (puntos). El subconjunto formado por esos elementos en común es la intersección.

3. Teoremas y Demostraciones

A diferencia de los axiomas (que son verdades aceptadas sin prueba), un teorema es una afirmación matemática que debe ser demostrada. Esta demostración se construye mediante un razonamiento lógico deductivo, apoyándose únicamente en los conceptos primitivos, las definiciones previas, los axiomas y otros teoremas ya demostrados.

Reflexión: El motor del matemático moderno
El avance de la geometría no es un proceso mecánico; es el resultado de la acción más excelsa del matemático moderno, donde convergen dos fuerzas: la intuición y la lógica.
Primero actúa la intuición, esa chispa creativa que nos permite visualizar figuras en el espacio y sospechar (conjeturar) que existe una verdad oculta. Pero la intuición puede ser engañosa. Es aquí donde entra la demostración basada en la lógica matemática. La demostración es la herramienta que filtra, depura y valida nuestra intuición, garantizando paso a paso que nuestro descubrimiento es una consecuencia innegable de los axiomas. Demostrar un teorema es transformar una brillante corazonada en una verdad absoluta e inmortal.

Antes de enunciar nuestro primer teorema, es vital aclarar dos cuestiones fundamentales: cómo demostramos en matemáticas y qué significa realmente la "igualdad" de figuras geométricas.

3.1 Métodos de Demostración

En matemáticas, existen diferentes estrategias o "caminos lógicos" para demostrar que un teorema es cierto. Los dos métodos principales que utilizaremos en nuestro viaje son:

1. Demostración Directa: Es el camino lógico más natural. Partimos de la Hipótesis (los datos que sabemos que son ciertos) y, mediante una cadena de deducciones fundamentadas estrictamente en axiomas o teoremas previos, avanzamos paso a paso hasta llegar directamente a la Tesis (la conclusión que queríamos probar).
2. Demostración Indirecta (o por Reducción al Absurdo): A veces, el camino directo es esquivo. En este método, comenzamos suponiendo temporalmente que la Tesis que queremos probar es falsa. A partir de esa suposición, aplicamos la lógica hasta que chocamos contra una contradicción (algo que viola un axioma, una definición o la propia hipótesis inicial). Al darse una situación lógicamente imposible, concluimos que nuestra suposición de que la tesis era falsa estaba equivocada, probando así que la tesis original tiene que ser obligatoriamente verdadera.

Nota semántica: ¿Existen dos rectas "iguales"?
En el lenguaje cotidiano, hablamos de "dos objetos iguales" (por ejemplo, dos sillas idénticas). Sin embargo, en la teoría de conjuntos, la igualdad ($=$) significa identidad absoluta. Si la recta $r$ tiene exactamente los mismos puntos que la recta $s$, entonces $r$ y $s$ son exactamente el mismo conjunto. No hay "dos rectas iguales"; hay una sola recta con dos nombres distintos (a menudo llamadas rectas coincidentes).
Por lo tanto, cuando queremos referirnos a dos líneas verdaderamente separadas, estamos obligados a hablar de "dos rectas distintas" ($r \neq s$).

Teorema 1

Enunciado: Si dos rectas distintas tienen intersección, se cortan en un único punto.

• Hipótesis: Sean $r$ y $s$ dos rectas distintas ($r \neq s$) con intersección no vacía ($r \cap s \neq \emptyset$).
• Tesis: La intersección es exactamente un solo punto $P$ ($r \cap s = \{P\}$).

Demostración (Por Reducción al Absurdo):

1. Suposición inicial: Supongamos que las dos rectas distintas $r$ y $s$ se cortan en más de un punto. Digamos que comparten los puntos diferentes $A$ y $B$ ($A \neq B$).
2. Traducción a conjuntos: Esto significa que $A \in r$ y $B \in r$. Pero a la vez, $A \in s$ y $B \in s$.
3. Aplicación de Axiomas: Nuestro Axioma 1 establece que "dos puntos distintos determinan una recta y solo una".
4. La Contradicción: Si por $A$ y $B$ no puede pasar más de una recta, el conjunto $r$ y el conjunto $s$ deben ser el mismo conjunto ($r = s$). Sin embargo, la Hipótesis afirma que son distintas ($r \neq s$). Hemos llegado a un absurdo.
5. Conclusión: Es imposible que compartan dos o más puntos. Deben cortarse forzosamente en un único punto. $\blacksquare$ (El símbolo $\blacksquare$ indica el fin de la demostración).

4. Posiciones Relativas de dos Rectas en el Espacio

Habiendo establecido nuestro Teorema 1 y basándonos exclusivamente en los Axiomas de Incidencia, ahora podemos clasificar cómo pueden ubicarse dos rectas distintas en nuestro Espacio tridimensional.

Dado que aún no hemos definido conceptos métricos como la "distancia" o la "medida de ángulos" (no podemos hablar de rectas perpendiculares u oblicuas), nuestra clasificación se basará únicamente en dos criterios fundamentales de la teoría de conjuntos:

1. La intersección: ¿Tienen puntos en común? ($r \cap s = \emptyset$ o $r \cap s \neq \emptyset$).
2. La coplanaridad: ¿Existe un plano que las contenga a ambas al mismo tiempo?

Bajo estos criterios, dadas dos rectas distintas $r$ y $s$ ($r \neq s$), exploraremos las siguientes posiciones relativas (dejando una tercera clasificación en suspenso hasta incorporar axiomas que garanticen su existencia):

4.1 Rectas Secantes

Definición 3 (Rectas secantes): Decimos que dos rectas distintas son secantes si tienen una intersección no vacía.

• Condición: $r \cap s \neq \emptyset$.
• Consecuencia: Por nuestro Teorema 1, sabemos que su intersección es un único punto: $r \cap s = \{P\}$.

4.2 Rectas Alabeadas (o que se cruzan)

Definición 4 (Rectas alabeadas): Decimos que dos rectas son alabeadas si su intersección es vacía y, además, no existe ningún plano que las contenga a ambas simultáneamente.

• Intuición espacial: Como un puente elevado sobre una autopista, se cruzan en diferentes alturas del espacio tridimensional sin tocarse jamás ni formar un plano liso entre ellas.

5. Determinación de un Plano

Ya sabemos por el Axioma 4 que "tres puntos no colineales" son la receta básica para construir (determinar) un único plano. Ahora, combinando este axioma con las posiciones de las rectas, demostraremos qué otras combinaciones de figuras son suficientes para fijar un único plano en el espacio.

Teorema 2

Enunciado: Dos rectas secantes determinan un único plano al que pertenecen.

• Hipótesis: Sean $r$ y $s$ dos rectas secantes, es decir, distintas ($r \neq s$) y que se cortan en un único punto $P$ ($r \cap s = \{P\}$).
• Tesis: Existe un único plano $\pi$ tal que $r \subset \pi$ y $s \subset \pi$.

Demostración (Directa):

1. Sabemos que el punto $P$ pertenece tanto a $r$ como a $s$.
2. Por el Axioma 2, toda recta tiene al menos dos puntos. Por lo tanto, existe un punto $A$ en $r$ (con $A \neq P$) y un punto $B$ en $s$ (con $B \neq P$).
3. Los puntos $A$, $P$ y $B$ son tres puntos no colineales. (Si estuvieran alineados, la recta que los une sería a la vez $r$ y $s$, contradiciendo que son rectas distintas).
4. Por el Axioma 4, los tres puntos no colineales $A, P, B$ determinan un único plano, al que llamaremos $\pi$.
5. Ahora observemos la recta $r$: tiene los puntos $A$ y $P$ que pertenecen al plano $\pi$. Por el Axioma 7 (si dos puntos de una recta están en un plano, toda la recta lo está), concluimos que la recta $r \subset \pi$.
6. Lo mismo ocurre con la recta $s$: tiene los puntos $B$ y $P$ en $\pi$. Por el Axioma 7, la recta $s \subset \pi$.
7. Unicidad: Cualquier plano que contenga a $r$ y a $s$ obligatoriamente debe contener a los puntos $A$, $P$ y $B$. Como el Axioma 4 asegura que solo hay un plano para esos tres puntos, el plano $\pi$ es único. $\blacksquare$

Teorema 3

Enunciado: Una recta y un punto exterior a ella determinan un único plano al que pertenecen.

• Hipótesis: Sea una recta $r$ y un punto $P$ exterior a ella ($P \notin r$).
• Tesis: Existe un único plano $\pi$ tal que $r \subset \pi$ y $P \in \pi$.

Demostración (Directa):

1. Por el Axioma 2, sabemos que a la recta $r$ pertenecen al menos dos puntos distintos. Llamémoslos $A$ y $B$.
2. Tenemos entonces tres puntos: $A, B \in r$ y el punto $P$. Como $P$ es exterior a la recta $r$, estos tres puntos no están alineados.
3. Por el Axioma 4, los tres puntos no colineales $A, B, P$ determinan un único plano $\pi$ al que pertenecen.
4. Como los puntos $A$ y $B$ (que forman parte de la recta $r$) pertenecen al plano $\pi$, el Axioma 7 nos asegura que toda la recta está contenida en dicho plano ($r \subset \pi$).
5. Además, por la construcción del paso 3, sabemos que $P \in \pi$.
6. Unicidad: Todo plano que contenga a la recta $r$ y al punto $P$ tiene que contener forzosamente a los puntos $A, B$ y $P$. Al ser estos no colineales, el plano que los contiene es único. $\blacksquare$