The magmatic universe revisited: we define ordered pairs, relations, numbers and a special form of Separation

Each language version is independently generated for its own context, not a direct translation.

Imagina que el universo matemático que conocemos (el de los conjuntos) es como una ciudad perfectamente organizada, donde cada edificio es un bloque de construcción independiente. Puedes tomar un ladrillo, ponerlo en una caja, y esa caja es un objeto nuevo que no afecta a los ladrillos de al lado. Todo es claro, separado y predecible.

Ahora, imagina un universo alternativo llamado "El Universo Mágico" (o Magmatic Universe). Aquí, las reglas son totalmente diferentes. En este mundo, nada es independiente. Todo está conectado, pegado y dependiente de todo lo demás. Si tocas una parte de un objeto, inevitablemente tocas y arrastras consigo a todo lo que está "debajo" o "dentro" de él. Es como si vivieras en una masa de plastilina infinita donde no puedes separar una bola pequeña sin que se estire y cambie la forma de la bola grande.

El artículo de Athanassios Tzouvaras es como un manual de supervivencia para intentar vivir y hacer matemáticas en este mundo de plastilina. El autor se pregunta: "¿Podemos definir cosas básicas como pares ordenados, funciones o números en este mundo tan extraño?".

Aquí te explico los hallazgos principales con analogías sencillas:

1. El problema de los "Pares Ordenados" (Las cajas pegajosas)

En el mundo normal, un par ordenado (A, B) es como una caja que contiene dos objetos distintos. Si abres la caja, ves solo A y B.
En el Universo Mágico, no existen cajas vacías ni cajas pequeñas. Todo es una masa infinita.

La solución: El autor crea un "Par Mágico". Imagina que para hacer un par (A, B), no usas una caja, sino que creas una estructura compleja que incluye a A y B, pero también incluye infinitas versiones más pequeñas de A y B que están pegadas a ellos.
El problema: Cuando intentas hacer una lista de estos pares (una relación), el problema es que si quieres incluir el par (A, B), la naturaleza "pegajosa" del universo te obliga a incluir automáticamente todas esas versiones pequeñas y dependientes.
La analogía: Es como si quisieras invitar a una fiesta a tu amigo Juan. Pero en este universo, al invitar a Juan, automáticamente se invitan a todos sus primos, sus amigos de la infancia y sus sombras, porque en este mundo no se puede separar a Juan de su entorno.

2. Los "Elementos Intencionados" vs. "Elementos Colaterales"

Aquí es donde el autor introduce una distinción crucial para entender el caos:

Elementos Intencionados: Son los que tú realmente querías invitar a la fiesta (el par (A, B) específico).
Elementos Colaterales: Son todos los "ruidos" o invitados no deseados que llegan porque están pegados a los intencionados (los primos, las sombras, etc.).

El autor explica que en este universo, siempre hay un montón de "ruido" colateral. No puedes tener solo lo que quieres; siempre viene con el paquete completo de dependencias.

3. El desafío de las Funciones (El problema de la unicidad)

En matemáticas normales, una función es como una máquina: metes una entrada (ej. 2) y sale una y solo una salida (ej. 4).

En el Universo Mágico: Si metes una entrada, la máquina no solo te da la salida que querías, sino que también te da infinitas variaciones de esa salida (versiones más pequeñas o dependientes).
El resultado: Es casi imposible definir una función normal. La "máquina" se vuelve impredecible porque la salida nunca es única; es un abanico infinito de posibilidades pegadas entre sí.
La solución parcial: El autor logra definir "funciones mágicas", pero solo bajo condiciones muy estrictas y especiales. Es como si pudieras usar la máquina, pero solo si te aseguras de que todas las entradas sean tan diferentes entre sí que sus "ruidos colaterales" no se mezclen.

4. Los Números (Construyendo con plastilina)

En matemáticas normales, el número 0 es el conjunto vacío (una caja vacía). Pero en el Universo Mágico, no existen las cajas vacías. Todo debe tener contenido.

La solución: El autor elige un "átomo" (un punto de partida) y construye los números como capas de plastilina.
- El 0 no es vacío, es la capa más pequeña que rodea a ese átomo.
- El 1 es esa capa más una nueva capa que la envuelve.
- Y así sucesivamente.
Es como construir una muñeca rusa, pero en lugar de madera, cada capa es una masa infinita que contiene a la anterior.

5. Separación vs. Reemplazo (Lo que funciona y lo que no)

El artículo prueba dos cosas importantes sobre las reglas de este universo:

La Separación (Funciona con condiciones): Imagina que tienes un gran montón de plastilina y quieres cortar solo la parte roja. En el mundo normal, cortas y listo. En el mágico, si cortas la parte roja, inevitablemente traes un poco de la parte azul que estaba pegada.
- El hallazgo: El autor descubre que puedes hacer el corte (Separación) SI la regla que usas para cortar es "mágica". Esto significa que la regla debe ser lo suficientemente flexible para aceptar que, si cortas un trozo grande, también cortas los trozos pequeños que le pertenecen. Si la regla es rígida, el corte falla.
El Reemplazo (Falla estrepitosamente): Esta regla dice: "Si tomas un conjunto y cambias cada elemento por otro, el resultado sigue siendo un conjunto".
- El fallo: En el Universo Mágico, esto no funciona porque las funciones (las reglas de cambio) son tan "pegajosas" que el resultado final se vuelve tan grande y desordenado que deja de ser un objeto válido dentro del universo. Es como intentar cambiar una gota de agua por un océano; el contenedor se rompe.

Conclusión

El mensaje central del artículo es que el Universo Mágico es un lugar fascinante pero muy difícil de navegar. Nos enseña que la idea de que las cosas pueden ser totalmente independientes y separables (como en nuestra vida cotidiana o en la matemática estándar) es una excepción, no la norma.

En este universo de dependencia total, para hacer matemáticas, debemos aceptar que cada objeto que tocamos viene con un "ruido" o un "acompañante" infinito. No podemos tener cosas puras y aisladas; todo está conectado en una red inseparable. El autor nos muestra cómo sobrevivir en este mundo, definiendo herramientas nuevas, pero advirtiendo que algunas reglas clásicas simplemente no pueden aplicarse aquí.

Each language version is independently generated for its own context, not a direct translation.

Resumen Técnico Detallado: "El universo mágico revisitado: definimos pares ordenados, relaciones, números y una forma especial de Separación"

Autor: Athanassios Tzouvaras
Contexto: Artículo complementario a la obra previa [4] sobre el "universo mágico" $M$ , una subestructura de la teoría de conjuntos ZF con átomos (ZFA), diseñada para formalizar las nociones filosóficas de Cornelius Castoriadis sobre los "magmas" (colecciones de entidades dependientes e inseparables).

1. El Problema Central

El universo mágico $M$ carece de conjuntos finitos (incluido el conjunto vacío) y, por lo tanto, no admite la definición estándar de pares ordenados de Kuratowski ( $\langle x, y \rangle = \{\{x\}, \{x, y\}\}$ ). Esto impide la construcción directa de productos cartesianos, relaciones binarias, funciones y números naturales/ordinales, que en la teoría de conjuntos estándar dependen intrínsecamente de los pares ordenados.

El artículo aborda dos preguntas fundamentales:

¿Es posible definir análogos mágicos de pares ordenados, relaciones, funciones y números en $M$ ?
¿Existen formas restringidas de los esquemas de Separación y Reemplazo que sean válidos en $M$ ?

2. Metodología y Construcciones Clave

A. Pares Ordenados Mágicos

Dado que no existen conjuntos unitarios $\{x\}$ en $M$ , el autor utiliza los conjuntos abiertos inferiores (básicos) $pr(x)$ (el conjunto de predecesores de $x$ bajo una preordenación $\preceq$ ) como sustitutos de los conjuntos unitarios.

Definición: Se fijan dos átomos incomparables $a_0, a_1$ . Para $x, y \in M$ , el par ordenado mágico se define como:
$\langle\langle x, y \rangle\rangle := pr(pr^2(x) \cup pr^2(a_0)) \cup pr(pr^2(y) \cup pr^2(a_1))$
Propiedad: Se demuestra que $\langle\langle x, y \rangle\rangle = \langle\langle x', y' \rangle\rangle \iff x = x' \land y = y'$ .
Limitación: A diferencia de los pares de conjuntos, un par mágico contiene infinitos "sub-pares" dependientes ( $\langle\langle x', y' \rangle\rangle$ donde $x' \subseteq x, y' \subseteq y$ ).

B. El Dilema de los Elementos "Intencionados" vs. "Colaterales"

La dependencia inherente en los magmas genera un problema crucial: al incluir un par "intencionado" en una relación, el axioma de cierre de los magmas obliga a incluir también todos sus sub-pares y elementos dependientes.

Elementos Intencionados: Los pares específicos que el agente desea incluir en la relación.
Elementos Colaterales: Todos los demás elementos que aparecen forzosamente debido a la relación de dependencia ( $\subseteq$ ).
Consecuencia: El producto mágico $x \boxtimes y$ (el magma mínimo que contiene los pares) es mucho más grande que el "producto débil" $x \boxtimes y$ (el conjunto de solo los pares intencionados). El producto mágico contiene "ruido" infinito de elementos colaterales.

C. Relaciones y Funciones Mágicas

Relaciones: Se definen como magmas generados por un conjunto de pares intencionados. Sin embargo, la presencia de pares colaterales (sub-pares) hace que la definición de funciones sea extremadamente restrictiva.
Funciones: Una relación mágica $R$ $R$ es una función solo si, para cada entrada $z$ $z$ , existe un elemento máximo (greatest element) en el conjunto de imágenes $R[z]$ $R [z]$ . Esto se debe a que si hay múltiples imágenes incomparables, no hay un único valor de salida.
- Se introduce la condición de que los dominios generadores deben ser disjuntos (Lema 4.8) para garantizar que sea una función, aunque esto no es estrictamente necesario en todos los casos (se dan contraejemplos).
- El autor concluye que definir funciones mágicas que imiten fielmente a las de ZF es problemático debido a la proliferación de pares colaterales.

D. Números Naturales y Ordinales Mágicos

Base: Se elige un átomo fijo $a_0$ .
Definición:
- $0 := pr^2(a_0) $(en lugar de$ \emptyset$).
- Sucesor: $n' := n \cup pr(n)$ (donde $pr(n)$ actúa como el análogo de $\{n\}$ ).
- Ordinales límite: Unión de los anteriores.
Orden: La relación de orden entre ordinales mágicos es la inclusión propia estricta ( $\alpha < \beta \iff \alpha \subset \beta$ ).
Números Alternativos: Se presenta una definición alternativa donde $n+1 = pr(n)$ , lo que genera números disjuntos entre sí, facilitando ciertas construcciones de magmas generados contablemente.

3. Resultados Principales

A. Esquema de Separación Mágica (MSS)

El esquema de Separación estándar falla en $M$ porque la intersección de un conjunto con una propiedad definible no siempre resulta en un magma (puede faltar la propiedad de cierre bajo submagmas).

Solución: Se define una clase de fórmulas llamadas "fórmulas mágicas". Una fórmula $\phi(x)$ es mágica si es cerrada hacia abajo respecto a la inclusión:
$\forall x, y (\phi(x) \land y \subseteq x \implies \phi(y))$
Teorema: El Esquema de Separación Mágica (MSS) es válido en $M$ . Si $\phi$ es una fórmula mágica y $u \in M$ , entonces $\{x \in u : \phi(x)\}$ es un magma.

B. Fallo del Esquema de Reemplazo

El esquema de Reemplazo falla irreparablemente en $M$ .

Causa: El fallo se debe a la naturaleza funcional de la relación. Incluso si se intenta restringir las fórmulas a "completaciones mágicas", la relación resultante deja de ser funcional.
Ejemplo: La operación $pr(x) = y$ . Si aplicamos Reemplazo a un magma $u$ , la imagen $\{pr(x) : x \in u\}$ no es un magma porque contiene uniones de submagmas que no tienen la forma de un solo $pr(y)$ . Además, cualquier intento de "completar" la fórmula funcional para hacerla mágica destruye la unicidad de la imagen (si $y$ es imagen, cualquier submagma de $y$ también lo sería), violando la definición de función.

4. Contribuciones y Significancia

Formalización de la Dependencia: El artículo demuestra rigurosamente cómo la lógica de los "magmas" (entidades inseparables y dependientes) difiere fundamentalmente de la lógica de conjuntos independientes. La distinción entre elementos "intencionados" y "colaterales" es una contribución conceptual clave para entender la estructura de $M$ .
Límites de la Traducción Set-Teórica: Muestra que ciertos conceptos fundamentales (como funciones unívocas) son difíciles o imposibles de trasladar directamente a un universo donde la separación de elementos es imposible. La "funcionalidad" en $M$ requiere condiciones de maximalidad que no existen en ZF.
Axiomática Restringida: Establece que, aunque $M$ no satisface ZFC, posee una estructura lógica interna coherente bajo el Esquema de Separación Mágica (MSS), lo que permite desarrollar matemáticas dentro de este universo no separativo, aunque con limitaciones severas en la teoría de funciones y reemplazo.
Implicaciones Filosóficas: El trabajo valida formalmente la intuición de Castoriadis de que existen formas de pensamiento y colecciones que escapan a la "separatividad" occidental estándar, proporcionando un modelo matemático donde la indeterminación y la dependencia son reglas estructurales, no excepciones.

En resumen, el paper logra definir análogos de pares y números en un universo sin conjuntos finitos, pero revela que la definición de funciones es el punto de quiebre donde la estructura mágica diverge irreductiblemente de la teoría de conjuntos estándar, limitando la validez de los esquemas de Reemplazo pero salvando una versión restringida de la Separación.