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.

🌌 L'Univers des "Magma" : Quand les choses ne peuvent pas être séparées

Imaginez que vous vivez dans un univers mathématique très étrange, appelé l'Univers Magma (ou Magmatic Universe). Dans notre monde habituel (celui des ensembles classiques, comme en ZFC), tout est clair et net : vous pouvez prendre une pomme, la couper en deux, et avoir deux moitiés distinctes. Vous pouvez créer un couple ordonné (comme un couple marié) en mettant deux objets dans une boîte spécifique.

Mais dans l'Univers Magma, les règles sont différentes. Ici, rien ne peut être coupé. Tout est collé ensemble, comme une masse de pâte à modeler vivante ou une soupe épaisse. Si vous touchez un élément, vous touchez tout ce qui est "lié" à lui. C'est un monde de dépendance totale.

L'auteur, Athanassios Tzouvaras, se pose deux grandes questions dans cet article :

Comment définir des choses de base (comme des paires, des relations, des nombres) dans ce monde où l'on ne peut pas séparer les éléments ?
Peut-on encore faire des mathématiques "sérieuses" (comme la séparation ou le remplacement d'éléments) dans ce chaos ?

Voici ce qu'il a découvert, expliqué avec des images simples.

1. Le problème du "Couple" (Les Paires Ordonnées)

Dans nos maths classiques, pour dire "X et Y sont un couple", on utilise une recette précise (comme la définition de Kuratowski : {{X}, {X, Y}}). C'est comme mettre deux objets dans une boîte étiquetée.

Dans l'Univers Magma :
Il n'y a pas de boîtes vides ni de petites boîtes. Si vous essayez de créer un couple <X, Y>, vous ne créez pas juste X et Y. Vous créez X, Y, et toute la famille de X et Y qui leur est liée.

L'analogie : Imaginez que vous voulez envoyer une lettre à votre ami Paul. Dans le monde normal, vous mettez la lettre dans une enveloppe. Dans le monde Magma, l'enveloppe est faite de colle magique. Dès que vous collez la lettre, l'enveloppe colle aussi tout ce qui est proche de Paul : sa maison, son chat, ses amis, et même les chats de ses amis.
La conséquence : Votre "paire" <X, Y> contient non seulement X et Y, mais aussi une infinité de "sous-paires" cachées à l'intérieur. C'est comme si votre couple marié incluait involontairement tous leurs cousins éloignés et leurs voisins.

L'auteur a réussi à définir une version "Magma" de la paire (qu'il appelle paire magmatique), mais il y a un gros piège : chaque paire contient une infinité de partenaires collatéraux.

2. Les Intentionnels vs Les Collatéraux (Le bruit de fond)

C'est ici que ça devient fascinant. L'auteur distingue deux types d'éléments dans une masse magmatique :

Les éléments "Intentionnels" : Ce sont ceux que vous vouliez vraiment mettre là. (Exemple : Vous vouliez dire "Paul aime Marie").
Les éléments "Collatéraux" : Ce sont les éléments qui arrivent par la force des choses à cause de la colle magique. (Exemple : Parce que Paul aime Marie, la colle fait que "Paul aime aussi le chat de Marie" et "Marie aime le chat de Paul" apparaissent automatiquement, même si vous ne le vouliez pas).

Le problème des fonctions :
Une fonction, c'est une machine qui prend une entrée et donne une seule sortie.

Exemple : Une machine à café qui donne du café.
Dans le Magma : Si vous mettez un grain de café (l'entrée), la machine ne donne pas juste une tasse de café. À cause de la colle, elle donne la tasse, mais aussi la soucoupe, la table, et la pièce entière où se trouve la tasse.
Résultat : Il est très difficile de définir une fonction propre dans cet univers. Si vous voulez que A donne B, vous obtenez B et tout ce qui est collé à B. L'unicité (une seule sortie) est brisée par ce "bruit de fond" infini.

3. Les Nombres Magmatiques

Comment compter dans un monde où il n'y a pas de zéro (le vide) et où tout est infini ?

Le Zéro : Au lieu de commencer par le vide (∅), l'auteur commence par un "atome" de base (un grain de poussière magique).
Le Successeur : Pour passer de 0 à 1, on ne fait pas juste {0}. On prend 0 et on y ajoute tout ce qui est "collé" à 0.
L'image : Imaginez que vous construisez une tour.
- Dans le monde normal : Vous posez un bloc, puis un autre bloc dessus.
- Dans le monde Magma : Vous posez un bloc, mais il s'agrandit tout seul et englobe tout le sol autour de lui. Pour faire le bloc suivant, vous devez prendre ce bloc géant et l'agrandir encore plus.
- Les nombres magmatiques sont donc des masses de plus en plus énormes qui contiennent tout ce qui a été créé avant, avec toute la "colle" incluse.

4. La Séparation et le Remplacement (Les règles du jeu)

En mathématiques classiques, on a deux règles d'or :

Séparation : Si vous avez un tas d'objets, vous pouvez en sélectionner certains qui ont une propriété (ex: "tous les objets rouges").
Remplacement : Si vous appliquez une règle à un tas d'objets, vous obtenez un nouveau tas d'objets.

Ce que l'auteur découvre :

La Séparation (MSS) fonctionne, mais avec une condition :
Vous ne pouvez pas sélectionner n'importe quoi. Pour qu'un groupe soit valide dans le Magma, il doit être "fermé". Si vous sélectionnez un objet, vous devez aussi sélectionner tout ce qui est collé à lui.
- Métaphore : Vous ne pouvez pas choisir "seulement la pomme" dans un panier magique. Si vous prenez la pomme, vous devez prendre tout le panier qui l'entoure. Si votre règle de sélection respecte cette règle (si vous prenez A, vous prenez tout ce qui est lié à A), alors la séparation fonctionne. L'auteur appelle cela la Séparation Magmatique.
Le Remplacement échoue lamentablement :
C'est là que ça casse. Le problème vient des fonctions. Comme nous l'avons vu, les fonctions dans le Magma sont "sales" à cause des éléments collatéraux.
- Métaphore : Imaginez que vous essayez de transformer un tas de pommes en jus. Dans le monde normal, vous obtenez du jus. Dans le Magma, à cause de la colle, quand vous transformez une pomme, vous transformez aussi la table, le sol et l'arbre entier. Le résultat n'est plus un "tas de jus" propre, c'est un mélange informe.
- L'auteur montre qu'il est impossible de créer une règle de remplacement fiable qui respecte la structure du Magma, car les fonctions y sont trop "contaminées" par les éléments collatéraux.

En résumé

Cet article explore un univers mathématique où l'indépendance n'existe pas. Tout est lié à tout.

L'auteur a réussi à inventer des paires et des nombres pour cet univers, mais ils sont lourds et encombrés de "dépendances".
Il a trouvé une façon de sélectionner des éléments (Séparation), à condition de toujours prendre le "paquet complet" (l'élément + ses dépendances).
Mais il a échoué à faire fonctionner le Remplacement, car la nature même des fonctions dans ce monde (où une entrée entraîne une explosion de sorties collatérales) rend impossible la création de structures mathématiques propres.

La leçon philosophique : Vivre dans un monde où tout dépend de tout change radicalement la logique. On ne peut plus isoler les concepts. Pour faire des maths ici, il faut accepter le "bruit" et les "effets de bord" comme faisant partie intégrante de la réalité, et non comme des erreurs à corriger. C'est un monde moins "propre" que le nôtre, mais peut-être plus proche de la façon dont nous percevons parfois la réalité complexe et interconnectée.

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

Voici un résumé technique détaillé de l'article « The magmatic universe revisited » d'Athanassios Tzouvaras, rédigé en français.

Titre : L'univers magmatique revisité : définition de paires ordonnées, relations, nombres et d'une forme spéciale de séparation

Auteur : Athanassios Tzouvaras (Université Aristote de Thessalonique)
Contexte : Article complémentaire à la référence [4], qui a construit l'univers magmatique $M$ comme un sous-univers de $V(A)$ (l'univers ZF avec un ensemble d'atomes $A$ ), visant à formaliser la notion de « magma » de C. Castoriadis.

1. Problématique et Contexte

L'univers magmatique $M$ se distingue fondamentalement de l'univers des ensembles standard ( $V$ ) par l'inséparabilité de ses éléments. Contrairement aux ensembles, les magmas ne contiennent pas de sous-ensembles finis arbitraires (y compris l'ensemble vide) et leurs éléments sont liés par une relation de dépendance ( $\subseteq$ ).

Les questions centrales abordées sont :

Définition d'objets de base : Peut-on définir dans $M$ des analogues des objets théoriques fondamentaux manquants, tels que les paires ordonnées, les relations binaires (et surtout les fonctions), ainsi que les nombres naturels et ordinaux ?
Validité des schémas d'axiomes : Existe-t-il des formes restreintes des schémas de Séparation et de Remplacement qui soient valables dans $M$ ?

Le défi principal réside dans le fait que la construction standard de ces objets en théorie des ensembles repose sur les paires ordonnées de Kuratowski ( $\{\{x\}, \{x,y\}\}$ ), qui n'existent pas dans $M$ car les singletons et les ensembles finis y sont absents.

2. Méthodologie

L'auteur adopte une approche constructive et logique au sein de la structure $\langle A \cup M, \in \rangle$ :

Utilisation de la topologie inférieure : Au lieu des singletons $\{x\}$ , l'auteur utilise les plus petits magmas contenant un élément, notés $pr(x)$ (l'ensemble des prédécesseurs de $x$ dans la topologie inférieure).
Extension de l'univers : Pour gérer la distinction entre les éléments « intentionnels » (ceux que l'on veut sélectionner) et les éléments « collatéraux » (ceux qui sont imposés par la dépendance), l'auteur étend $M$ en un univers élargi $\hat{M} = M \cup M_{seq}$ , où $M_{seq}$ contient les ensembles de magmas isolés (vus comme des fonctions de l'extérieur).
Définitions par récurrence et complétion : Définition des paires, des produits et des nombres par induction, et introduction d'une notion de « complétion magmatique » pour les formules logiques afin de garantir la stabilité par sous-magma.

3. Contributions Clés et Résultats Techniques

A. Paires Ordonnées Magmatiques

L'auteur définit une paire ordonnée magmatique $\langle\langle x, y \rangle\rangle$ pour $x, y \in M$ en utilisant deux atomes incomparables $a_0, a_1$ :
$\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))$

Résultat : Cette définition satisfait la propriété fondamentale d'unicité : $\langle\langle x, y \rangle\rangle = \langle\langle x', y' \rangle\rangle \iff x=x' \land y=y'$ .
Problème majeur : Contrairement aux paires ensemblistes, une paire magmatique contient une infinité de sous-paires $\langle\langle x', y' \rangle\rangle$ où $x' \subseteq x$ et $y' \subseteq y$ . Cela introduit une multitude d'éléments « collatéraux » indésirables.

B. Produits, Relations et Fonctions

Produit Magmatique ( $x \boxtimes y$ ) : Défini comme le plus petit magma contenant toutes les paires $\langle\langle z, w \rangle\rangle$ $⟨⟨ z, w ⟩⟩$ pour $z \in x, w \in y$ $z \in x, w \in y$ .
- Il contient non seulement les paires « intentionnelles » (le produit faible $x \boxtimes y$ ), mais aussi une infinité d'éléments collatéraux (des magmas qui ne sont pas des paires).
Relations et Fonctions :
- Une relation est un sous-magma généré par un ensemble de paires intentionnelles.
- Obstacle pour les fonctions : La condition d'unicité de la fonction ( $\forall x, \exists ! y$ ) est violée par les éléments collatéraux. Si une fonction contient $\langle\langle z, w \rangle\rangle$ , elle contient nécessairement tous les $\langle\langle z', w' \rangle\rangle$ avec $z' \subseteq z$ et $w' \subseteq w$ . Ainsi, un même « entrée » $z$ est associée à une infinité de « sorties » $w'$ .
- Solution partielle : L'auteur définit une semi-fonction et introduit une notion de fonction magmatique où, pour chaque entrée $z$ , l'ensemble des images $R[z]$ possède un élément maximal (par rapport à $\subseteq$ ). Cela permet de définir une valeur $R(z)$ , mais sous des conditions très restrictives (ex: domaines disjoints).

C. Nombres Naturels et Ordinaux

En l'absence d'ensemble vide $\emptyset$ , l'auteur définit les nombres magmatiques en partant d'un atome $a_0$ :

$0 := pr^2(a_0)$
$n+1 := n \cup pr(n)$
Les ordinaux sont définis par récurrence transfinie similaire.
Résultat : La relation d'ordre sur les ordinaux magmatiques est l'inclusion stricte ( $\alpha < \beta \iff \alpha \subset \beta$ ). L'auteur montre également comment définir des magmas générés dénombrablement via ces nombres.

D. Schéma de Séparation Magmatique (MSS)

L'auteur identifie une classe de formules appelées formules magmatiques.

Définition : Une formule $\phi(x)$ est magmatique si elle est stable par sous-magma : $\forall x, y ( \phi(x) \land y \subseteq x \implies \phi(y) )$ .
Théorème : Le Schéma de Séparation Magmatique (MSS) est vrai dans $M$ . Pour toute formule magmatique $\phi$ et tout magma $u$ , l'intersection $\{x \in u \mid \phi(x)\}$ est un magma (si non vide).
Mécanisme : Cela fonctionne car la propriété de stabilité par sous-magma garantit que l'intersection d'un magma avec une classe définie par une telle formule reste un magma.

E. Échec du Remplacement

Résultat : Le schéma de Remplacement échoue irrémédiablement dans $M$ , même sous forme restreinte.
Cause : Le Remplacement repose sur la notion de fonction. Comme démontré en section 4, les fonctions dans $M$ sont pathologiques en raison des éléments collatéraux. L'image d'un magma par une relation fonctionnelle (même définie par une formule « complétée ») n'est généralement pas un magma, car elle ne satisfait pas la condition de clôture par sous-magma (l'image d'un sous-élément n'est pas nécessairement l'image de l'élément parent).

4. Signification et Conclusion

Cet article démontre que l'univers magmatique $M$ , bien qu'il soit un cadre cohérent pour modéliser des collections d'entités dépendantes et inséparables (selon la philosophie de Castoriadis), impose des limites structurelles sévères à la logique mathématique classique :

Impossibilité de l'indépendance totale : La distinction entre éléments « intentionnels » et « collatéraux » est inévitable. On ne peut pas isoler une relation ou une fonction sans accepter la « pollution » par tous ses sous-éléments dépendants.
Limites de la formalisation : Si des analogues des paires et des nombres peuvent être construits, la notion de fonction (et donc de Remplacement) devient extrêmement restrictive et souvent inutilisable dans sa forme standard.
Séparation conditionnelle : La validité de la Séparation est préservée uniquement pour des propriétés qui respectent la structure de dépendance (les formules magmatiques), ce qui reflète la nature « non-séparative » de l'univers.

En conclusion, l'article valide l'intuition de Castoriadis selon laquelle les collections magmatiques opèrent selon une logique différente de celle de la pensée occidentale standard (basée sur l'indépendance des ensembles), tout en fournissant les outils techniques pour naviguer dans cet univers mathématique alternatif.