The reals as a subset of an ultraproduct of finite fields

El artículo presenta nuevos métodos para construir subconjuntos externos de modelos no estándar de la aritmética a partir de conjuntos internos, demostrando que aunque es posible construir copias de los números reales algebraicos o de campos hiperreales dentro de un ultraproducto de campos finitos, no es posible construir ninguna copia del cuerpo de los números reales mediante estas técnicas.

Lo esencial

Imagina que el universo de las matemáticas es una inmensa biblioteca. En esta biblioteca, hay dos tipos de libros muy especiales:

1. Los Libros Finitos: Son libros que tienen un número limitado de páginas y palabras. Son como los campos finitos (campos de números con un número específico de elementos, como un reloj que solo tiene 12 horas, o 17, o un número primo gigante).
2. Los Libros Infinitos: Son los libros que conocemos bien, como el libro de los Números Reales (que incluye todos los números que puedes imaginar: enteros, fracciones, raíces cuadradas, números como $\pi$ y $e$, que nunca terminan y nunca se repiten).

El problema es que, en la lógica matemática, a veces queremos mezclar estos dos mundos. El autor del artículo, Roee Sinai, nos cuenta cómo intenta construir un "puente" entre los libros finitos y los infinitos usando una herramienta mágica llamada Ultraproducto.

¿Qué es un Ultraproducto? (La "Caja de Sorpresas")

Imagina que tienes un montón de cajas. En cada caja hay un reloj diferente: uno tiene 2 horas, otro 3, otro 5, otro 7, y así con todos los números primos.

Ahora, imagina que usas una "regla mágica" (un ultrafiltro) para combinar todas estas cajas en una sola Super-Caja. Esta Super-Caja no es simplemente una suma; es un nuevo universo donde las reglas de los relojes pequeños se mezclan para crear algo nuevo. A este nuevo universo lo llamamos Modelo No Estándar.

En esta Super-Caja, ocurren cosas extrañas:

• Hay números que son más grandes que cualquier número normal (números "infinitamente grandes").
• Hay números que son más pequeños que cualquier fracción, pero no son cero (números "infinitamente pequeños").

El objetivo del artículo es responder a una pregunta: ¿Podemos encontrar una copia exacta de los Números Reales (nuestro mundo infinito) dentro de esta Super-Caja hecha de relojes finitos?

El Gran Descubrimiento: ¿Dónde está el Real?

El autor nos dice que sí, podemos encontrar una copia de los Números Reales dentro de esta Super-Caja. ¡Pero hay un truco!

1. El Real "Invisible" (Externo):
Si intentas buscar los Números Reales dentro de la Super-Caja, no los encontrarás "etiquetados" o "construidos" de la manera normal. Serían como un fantasma. Matemáticamente, esto significa que no se pueden construir usando solo las reglas internas de la caja (conjuntos "internos"). Son conjuntos "externos".

• Analogía: Es como intentar encontrar un bosque dentro de una ciudad hecha de bloques de Lego. Si miras solo los bloques individuales, no ves el bosque. El bosque es una estructura que aparece cuando miras el todo, pero no está hecha de las mismas reglas que los bloques.

2. El Real "Casi Visible" (Casi Interno):
El artículo demuestra que, aunque no podemos construir el Real perfecto de forma "interna", podemos construir algo muy parecido usando una mezcla inteligente:

• Tomamos una función interna (una regla simple que funciona dentro de la Super-Caja).
• La aplicamos a un "corte" (una lista de números que crece hasta el infinito).
• El resultado es un subconjunto que se comporta casi como los Reales.

El autor define tres formas de hacer esto:

• Unión de infinitos pasos: Como construir una pared ladrillo a ladrillo, pero usando infinitos tipos de ladrillos.
• Intersección de infinitos pasos: Como filtrar agua a través de infinitas mallas cada vez más finas.
• Cortes y Funciones: Como usar un colador especial para separar los números "normales" de los "extraños".

El Resultado Sorprendente

El artículo tiene dos conclusiones principales, dependiendo de si en tu Super-Caja hay o no un número que, al multiplicarse por sí mismo, dé -1 (la famosa raíz cuadrada de -1, o $i$).

Caso A: No hay raíz de -1 (El mundo es "Real")
Si tu Super-Caja no tiene raíz de -1, puedes construir un sub-mundo que es un Campo Realmente Cerrado.

• ¿Qué significa? Significa que en este sub-mundo, puedes hacer todas las operaciones que haces con los números reales: puedes sumar, multiplicar, y lo más importante, siempre puedes sacar raíces cuadradas de números positivos y resolver ecuaciones polinómicas de grado impar.
• Es como si pudieras construir una "isla" dentro de la Super-Caja que se comporta exactamente como los Números Reales, pero que está hecha de "casi" bloques de Lego. Además, esta isla es tan grande que contiene infinitas copias de los Números Reales (tantas como el continuo, $2^{\mathfrak{c}}$).

Caso B: Sí hay raíz de -1 (El mundo es "Complejo")
Si tu Super-Caja sí tiene raíz de -1, entonces puedes construir un sub-mundo que es un Campo Algebraicamente Cerrado.

• ¿Qué significa? Aquí puedes resolver cualquier ecuación polinómica, incluso las que requieren raíces cuadradas de números negativos. Es como si tuvieras los Números Complejos.
• Al igual que en el caso anterior, este sub-mundo es enorme y contiene infinitas copias de los Números Reales.

¿Por qué es importante esto?

Imagina que eres un arquitecto que solo tiene bloques de Lego pequeños (campos finitos) y quieres construir una catedral infinita (los Números Reales).

• Antes, sabíamos que la catedral existía en algún lugar de tu almacén, pero no sabíamos cómo encontrarla sin romper las reglas de los bloques.
• Este artículo te da el plano de construcción. Te dice: "No puedes construir la catedral usando solo bloques puros, pero si usas una regla especial para agrupar los bloques (funciones internas) y aplicas un filtro (cortes), puedes construir una réplica perfecta que se siente y actúa como la catedral original".

En resumen

El autor nos enseña que, aunque los Números Reales no pueden ser "bloques internos" dentro de un universo hecho de números finitos, sí podemos construirlos usando una combinación astuta de reglas internas y filtros externos.

Es como si pudieras crear un espejo perfecto del mundo infinito usando solo piezas de un rompecabezas finito, siempre y sepas exactamente cómo encajarlas y qué piezas ignorar. Y lo mejor de todo: no hay una sola copia de este espejo; hay un número infinito de ellas, todas válidas, todas construidas con las mismas reglas.

La moraleja: Incluso en un mundo hecho de cosas pequeñas y finitas, si tienes la lógica correcta, puedes encontrar (o construir) estructuras infinitas y complejas que imitan perfectamente nuestra realidad matemática.

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "The reals as a subset of an ultraproduct of finite fields" (Los reales como un subconjunto de un ultraproducto de campos finitos), escrito por Roee Sinai y fechado en marzo de 2026.

1. Problema y Contexto

El artículo aborda la estructura de los ultraproductos de campos finitos ($\tilde{F} = \prod F_p / \mathcal{F}$) y su relación con los números reales ($\mathbb{R}$) y sus extensiones algebraicas.

• Antecedentes: Se sabe que existen ultraproductos de campos finitos que contienen copias isomorfas de los números reales ($\mathbb{R}$) y campos hiperreales. Sin embargo, estas copias son conjuntos externos (no internos) en el modelo no estándar de aritmética asociado.
• La Pregunta Central: ¿Es posible construir copias de $\mathbb{R}$ (o campos relacionados) dentro de tales ultraproductos utilizando "casi" conjuntos internos? Específicamente, el autor investiga si existen subcampos que sean:
  1. $\sigma$-conjuntos: Uniones numerables de conjuntos internos.
  2. $\delta$-conjuntos: Intersecciones numerables de conjuntos internos.
  3. Casi internos: Preimágenes de un "corte" (cut) bajo una función interna.
• Objetivo: Determinar si $\mathbb{R}$ puede ser construido de estas formas y, si no es posible, identificar qué estructuras algebraicas más grandes (como campos algebraicamente cerrados o campos reales cerrados saturados) sí pueden serlo.

2. Metodología

El autor emplea herramientas de Lógica Matemática, específicamente la teoría de modelos no estándar y la teoría de ultraproductos.

• Modelos No Estándar: Se trabaja en un modelo $(V(\mathbb{N}), V(^*\mathbb{N}), ^*)$ generado por un ultrafiltro no principal. Se definen campos pseudo-finitos $F_{\hat{p}}$ dentro de este modelo.
• Funciones de Medida Interna: Se definen funciones internas $f: F_{\hat{p}} \to ^*\mathbb{N}$ que actúan como "medidas de complejidad" o altura para los elementos del campo.
  • $f_{\mathbb{Q}}$: Mide la complejidad de las fracciones racionales.
  • $f_{\bar{\mathbb{Q}}}$: Mide la complejidad de los números algebraicos basándose en matrices (valores propios) con entradas acotadas.
• Cortes (Cuts): Se utilizan cortes (subconjuntos downwards-closed de $^*\mathbb{N}$) para definir subestructuras. Un conjunto $S$ se define como $f^{-1}[C]$, donde $C$ es un corte.
• Clasificación de Conjuntos: Se analizan las propiedades de los conjuntos bajo las operaciones de unión e intersección numerable ($\sigma$ y $\delta$) y su relación con la saturación $\aleph_1$.
• Análisis de Casos: El estudio se divide en dos escenarios principales:
  1. El campo $F_{\hat{p}}$ no contiene una raíz cuadrada de $-1$ (caso real).
  2. El campo $F_{\hat{p}}$ sí contiene una raíz cuadrada de $-1$ (caso complejo).

3. Contribuciones Clave y Resultados Principales

El artículo establece teoremas fundamentales sobre la imposibilidad y la posibilidad de construir ciertos campos mediante métodos "casi internos".

A. Imposibilidad para los Reales ($\mathbb{R}$)

• Teorema 0.5 y 0.6: Ninguna copia de $\mathbb{R}$ dentro de $F_{\hat{p}}$ puede ser un $\sigma$-conjunto, un $\delta$-conjunto ni un conjunto "casi interno".
  • Razón: Si $\mathbb{R}$ fuera un $\sigma$-conjunto, sería una unión numerable de conjuntos finitos (ya que los subconjuntos internos de $\mathbb{R}'$ son finitos), lo que implicaría que $\mathbb{R}$ es numerable (contradicción). Si fuera un $\delta$-conjunto o casi interno, se podría enumerar o saturar de manera que contradiga las propiedades de orden y completitud de los reales dentro del modelo no estándar.

B. Construcción de Campos "Casi Internos"

Aunque $\mathbb{R}$ no se puede construir así, el autor demuestra que se pueden construir campos mucho más grandes que contienen copias de $\mathbb{R}$:

• Caso sin $\sqrt{-1}$ (Campo Real):

  • Teorema 0.7: Existe un subcampo $\delta$-casi interno que es realmente cerrado y $\aleph_1$-saturado. Este campo tiene cardinalidad al menos $\mathfrak{c}$ (continuo) y contiene al menos $2^{\mathfrak{c}}$copias de$\mathbb{R}$.
  • Teorema 0.8: Existe un subcampo $\sigma$-casi interno que es realmente cerrado (pero no $\aleph_1$-saturado). También contiene al menos $2^{\mathfrak{c}}$copias de$\mathbb{R}$.

• Caso con $\sqrt{-1}$ (Campo Complejo):

  • Teorema 0.7 (adaptado): Existe un subcampo $\delta$-casi interno que es algebraicamente cerrado y de cardinalidad $\ge \mathfrak{c}$. Contiene $2^{\mathfrak{c}}$copias de$\mathbb{R}$.
  • Teorema 0.8 (adaptado): Existe un subcampo $\sigma$-casi interno que es algebraicamente cerrado y de cardinalidad $\ge \mathfrak{c}$.

C. Estructuras Algebraicas Específicas

• Se demuestra que los números racionales $\mathbb{Q}$ y los números algebraicos reales $\bar{\mathbb{Q}} \cap \mathbb{R}$ son conjuntos casi internos (preimágenes de $\mathbb{N}$ bajo funciones internas específicas).
• Se estudian subestructuras adicionales, como anillos de enteros algebraicos no estándar y campos de fracciones, mostrando cómo las restricciones en los parámetros de las matrices definitorias afectan la estructura resultante.

D. Cortes Externos

En el Apéndice A, el autor explora la existencia de cortes que no son ni $\sigma$ ni $\delta$, demostrando que bajo ciertas condiciones del ultrafiltro (como ser una suma de Fubini de ultrafiltros), existen cortes externos que no caen en ninguna de estas categorías, lo que enriquece la comprensión de la jerarquía de conjuntos en modelos no estándar.

4. Significado e Impacto

1. Límites de la Construcción Interna: El trabajo establece límites precisos sobre qué estructuras matemáticas pueden ser "capturadas" dentro de un ultraproducto de campos finitos utilizando definiciones que son "casi" internas. Confirma que la complejidad de $\mathbb{R}$ (su completitud y no numerabilidad) lo impide ser un conjunto de este tipo.
2. Existencia de Estructuras Ricas: A pesar de la imposibilidad de construir $\mathbb{R}$ directamente, el paper demuestra que el ultraproducto es lo suficientemente rico para contener campos $\aleph_1$-saturados y algebraicamente cerrados que son casi internos. Estos campos son lo suficientemente grandes para albergar $2^{\mathfrak{c}}$ copias de los reales, ofreciendo un marco robusto para el análisis no estándar.
3. Nuevas Técnicas de Definición: La introducción y uso de funciones basadas en matrices y valores propios para definir la "altura" de los elementos algebraicos proporciona una nueva herramienta metodológica para caracterizar subcampos en contextos no estándar.
4. Relación entre Estructuras Finitas y Continuo: El artículo refuerza la conexión profunda entre la aritmética de campos finitos y la estructura de los números reales, mostrando cómo propiedades de orden y cerradura algebraica emergen en el límite ultraproducto, incluso cuando la estructura exacta de $\mathbb{R}$ permanece "externa".

En resumen, el paper resuelve la cuestión de la constructibilidad de los reales en ultraproductos de campos finitos bajo definiciones casi internas, demostrando su imposibilidad directa pero revelando la existencia de estructuras supercampos extremadamente ricas y saturadas que sí son constructibles y contienen múltiples copias de los reales.