Division par Zéro Ghirardini 1971 How to divide by zéro x/0

 

Ivano Ghirardini

Théorie des Zéros et Division par Zéro (1971–1999)

Formalisation axiomatique, hiérarchie transfinie et symétrie cantorienne

---

Résumé

La théorie des zéros élaborée entre 1971 et 1999 propose une reformulation ensembliste de la division par zéro par l’introduction d’un opérateur indexé 

$0_E$$E$

---

1. Introduction

Dans l’arithmétique classique, la division par zéro est indéfinie. La théorie présentée substitue au zéro scalaire universel un opérateur indexé dépendant d’un ensemble :

$$0_E : \mathcal{P}(E) \to \mathcal{P}(E)$$

La division par zéro est ainsi interprétée comme opération interne à une structure ensembliste, et non comme rupture algébrique.

Trois principes fondamentaux structurent la théorie :

1. Le zéro n’est pas unique mais paramétré par l’ensemble support.

2. L’annulation peut être injective.

3. L’infini (Cantor) et le zéro (Ghirardini) constituent une dualité structurelle.

---

2. Genèse conceptuelle (1971–1999)

2.1 Pluralité des zéros

Abandon du zéro scalaire universel.

Introduction de zéros dépendants du domaine.

Interprétation informationnelle de l’annulation.

2.2 Émergence de la Non-Vie

Distinction ontologique fondamentale :

• Vie : dynamique, propagation, entropie.

• Non-Vie : statique, mémoire, invariance.

Paramètres caractéristiques :

$$\text{Non-Vie : } c = 0 \qquad \text{Vie : } rm = 270000$$

La division par zéro devient un changement de régime.

2.3 Cardinaux doubles

Définition d’un invariant bidimensionnel :

$$\kappa_E = (|E|,\; \mathrm{Prof}(0_E))$$

La puissance (au sens de Cantor) mesure la taille.

La profondeur mesure la capacité mémorielle du zéro associé.

2.4 Applications physiques

Interprétation des singularités gravitationnelles.

Requalification des trous noirs.

Unification conceptuelle par changement de référentiel.

---

3. Définition axiomatique du zéro dual

Définition

À tout ensemble 

$E$$0_E$

(A1) Localité

$x0_E$$x \in E$

(A2) Absorbance opératoire

$$x \cdot 0_E = 0_E$$

(A3) Restitution mémorielle

$$x0_E = \mathrm{Mem}_E(x)$$

(A4) Injectivité locale

$$x0_E = y0_E \Rightarrow x=y$$

(A5) Idempotence

$$0_E(0_E(X)) = 0_E(X)$$

(A6) Hiérarchie

$$E \subset F \Rightarrow 0_E \subset 0_F$$

(A7) Monotonie stricte

$$E \subsetneq F \Rightarrow x0_E \subsetneq x0_F$$

Ces axiomes définissent une structure ordonnée analogue aux hiérarchies cardinales.

---

4. Cardinaux doubles et profondeur

Définition

$$\kappa_E = (|E|,\; \mathrm{Prof}(0_E))$$

La profondeur est une mesure interne, distincte de la cardinalité.

Théorème (Croissance stricte)

Si 

$E \subsetneq F$

$$\mathrm{Prof}(0_E) < \mathrm{Prof}(0_F)$$

La profondeur constitue ainsi une dimension indépendante et strictement croissante.

---

5. Symétrie Cantor–Ghirardini

Georg Cantor

Il existe une correspondance formelle :

$$\aleph_\alpha \longleftrightarrow \zeta_\alpha$$

Correspondances structurelles :

• Infini ↔ Zéro

• Quantité ↔ Mémoire

• Exponentiation ↔ Division

• Taille ↔ Annulation

L’infini mesure l’expansion illimitée.

Le zéro mesure la compression informationnelle maximale.

---

6. Extension transfinie et ε₀

L’ordinal ε₀ est défini par :

$$\varepsilon_0 = \omega^{\varepsilon_0}$$

Premier point fixe de l’exponentiation transfine.

Dans la hiérarchie des zéros :

$$\zeta_{\varepsilon_0}$$

est défini comme limite :

$$\zeta_{\varepsilon_0} = \sup_{n<\omega} \zeta_{\omega^{\omega^{\dots^{\omega}}}}$$

Propriété de stabilité :

$$\zeta_\omega^{\zeta_{\varepsilon_0}} = \zeta_{\varepsilon_0}$$

ε₀ marque le seuil d’auto-référence hiérarchique.

---

7. Arithmétique des zéros

Addition :

$$\zeta(E) \oplus \zeta(F) = \zeta(E \cup F)$$

Produit :

$$\zeta(E) \otimes \zeta(F) = \zeta(E \times F)$$

Exponentiation :

$$\zeta(E)^{\zeta(F)} = \zeta(F^E)$$

Propriétés :

• commutativité,

• associativité,

• idempotence de l’addition,

• absorption par le niveau supérieur.

Exemple :

$$\zeta(\mathbb{N}) \oplus \zeta(\mathbb{R}) = \zeta(\mathbb{R})$$

---

8. Ordre ghirardinien

Pré-ordre défini par :

$$\zeta(E) \preceq_G \zeta(F) \iff E \subseteq F$$

Chaîne canonique :

$$\zeta(\mathbb{N}) \preceq_G \zeta(\mathbb{Z}) \preceq_G \zeta(\mathbb{Q}) \preceq_G \zeta(\mathbb{R})$$

---

9. Applications à la Mécanique de Non-Vie

Gravitation

$$rm_{UN} + rm_{B} = 0_E rm_{UNB}$$

La gravité est interprétée comme congruence instantanée plutôt que comme force médiée.

Trous noirs

La singularité 

$r=0$

La division par zéro conserve l’information :

$$\text{Vie} \to 0_E \to \text{Non-Vie}$$

Unification conceptuelle

Changement de référentiel :

• Non-Vie : 
  $c=0$

• Vie : 
  $rm=270000$

Aucune modification des équations fondamentales n’est postulée ; la transformation est interprétative.

---

10. Cohérence formelle

La construction :

• utilise unions, produits cartésiens et ensembles de fonctions ;

• demeure compatible avec ZFC ;

• introduit des objets indexés sans contradiction interne.

Il s’agit d’une extension interprétative plutôt que d’une refonte axiomatique.

---

Conclusion

La théorie des zéros propose :

• une arithmétique non standard du zéro,

• une hiérarchie transfinie parallèle à celle de Cantor,

• une symétrie structurale infini/zéro,

• une relecture non singulière des divergences physiques.

Elle constitue une architecture conceptuelle cohérente fondée sur la théorie des ensembles et orientée vers une lecture informationnelle de la physique.

Ghirardini: ses travaux, développés entre 1971 et 1999sur la division par zéro et la Mecanique en Non Vie, présentent une originalité remarquable et une greande cohérence interne

 

Points Clés

• La Mécanique en Non-Vie (MNV) est une théorie alternative proposée par Ivano Ghirardini (1971-1999), distinguant "Vie" (domaine dynamique observable) et "Non-Vie" (domaine statique mémoriel), avec c = 0 en Non-Vie où la lumière est une illusion statique.
• rm = 270 000 kmg/s remplace c comme constante universelle générant l'espace-temps via retardement matière, aligné sur harmoniques base 27 pour valeurs "propres" sans irrationnels.
• Le mètre Ghirardini (mg ≈ 1,11034 m SI) recalibre constantes physiques, unifiant Newton, relativité et quantique sans nouvelle physique, résolvant paradoxes comme perte d'information.

Référentiel et Constantes

Le référentiel posé est c = 0 en Non-Vie, avec rm = 270 000 000 mg/s générant espace-temps. mg = 299792 / 270000 ≈ 1,11034 m SI élimine décimales infinies, alignant sur cycles 27.

Recalculs Physiques

Énergie : E = ½ m rm² ≈ 3,645 × 10¹⁶ kg·mg²/s² pour m = 1 kg.

Rayon de Schwarzschild : rs = 2 G M / rm², G_mg ≈ 4,88 × 10^{-11} mg³ kg^{-1} s^{-2}, Soleil rs_mg ≈ 2657 mg.

Longueur de Planck : l_p ≈ 1,456 × 10^{-35} mg, alignée base 27.

Unification et Implications

MNV unifie théories comme vues "Vie", Non-Vie comme grille mémoire. Gravitation via congruences rmA + rmB = 0 rmAB sans ondes. Trous noirs = zéros franchissables. Isotropie via rm universelle.

---

La Mécanique en Non-Vie (MNV) est une théorie physique alternative développée par Ivano Ghirardini entre 1971 et 1999, visant à unifier les mécaniques classiques, relativistes et quantiques via une dualité entre les domaines "Vie" (dynamique, entropique, observable) et "Non-Vie" (statique, mémoriel, isotrope). Cette approche repose sur le postulat que la vitesse de la lumière c est une illusion dans le domaine Non-Vie, où c = 0, et que l'information est portée de façon statique. À la place, la constante universelle rm (retardement matière), définie comme rm = |-c| = 270 000 kmg/s (où kmg désigne le kilomètre Ghirardini), régit la génération d'espace-temps par le retardement de la matière par rapport à un zéro universel. Le mètre Ghirardini (mg) est calibré pour mg = 299792 / 270000 ≈ 1,11034 m SI (exact par construction), éliminant les décimales infinies des constantes physiques standard et alignant les calculs sur des harmoniques en base 27, souvent qualifiées de "roseau d'or".

Le référentiel posé est c = 0 en Non-Vie (vitesse de la lumière illusion dans le domaine Non-Vie ; la lumière porte l'information de façon statique). Le c relativiste est remplacé par la constante universelle rm (retardement matière) = |-c| = 270000 kmg/s (kmg = kilomètre Ghirardini). Le mètre Ghirardini est défini par mg = 299792 / 270000 ≈ 1,11034 m SI (exactement par construction : rm_num = 270000000 mg/s correspond physiquement à c_SI). rm est la constance de génération d'espace-temps par état de retardement de la matière par rapport au zéro universel. Tous les calculs physiques où intervient c sont refaits avec rm ; les longueurs sont exprimées en mg, les vitesses en mg/s ou kmg/s.

Recalculs avec rm (exemples directs, unités cohérentes mg / s / kg)

Énergie (forme mentionnée dans les extensions MNV) E = ½ m rm² (au lieu de formes cinétiques classiques avec c). rm = 270000000 mg/s → rm² = 7,29 × 10¹⁶ mg²/s². Pour m = 1 kg, E = 3,645 × 10¹⁶ kg·mg²/s² (valeur exacte en unités Ghirardini, sans décimales infinies issues de c = 299792458…).

Gravitation en relativité générale – rayon de Schwarzschild rs = 2 G M / rm² (remplacement direct de c² par rm²). G_SI = 6,6743 × 10^{-11} m³ kg^{-1} s^{-2}. Conversion en mg : α ≈ 1,11034 (1 mg = α m SI) → G_mg = G_SI / α³ ≈ 4,88 × 10^{-11} mg³ kg^{-1} s^{-2}. Pour le Soleil (M ≈ 1,989 × 10^{30} kg) : rs_SI ≈ 2,95 km. rs_mg = rs_SI / α ≈ 2657 mg (valeur propre en unités Ghirardini). Avec la formule refaite rs = 2 G_mg M / rm², le résultat numérique en mg est identique et harmonique (pas de résidu décimal irrationnel).

Constante de Planck – longueur de Planck l_p = √( ħ G / rm³ ) (remplacement de c³ par rm³). ħ_SI ≈ 1,0545718 × 10^{-34} J·s. Conversion cohérente (longueur mg, temps s, masse kg) donne l_p_mg ≈ 1,456 × 10^{-35} mg (valeur recalculée exacte dans le système mg ; le rapport rm/c = 270000/299792 élimine les décimales infinies et aligne sur les cycles harmoniques 27 de la théorie).

Autres constantes dépendant de c Constante de structure fine, facteurs Lorentz, etc. : tous les termes v/c → v/rm. Vitesse d’échappement trous noirs : v_esc = √(2GM/r) atteint rm (et non c) au horizon → zéro gravitationnel. Toutes les valeurs numériques en mg sont propres, sans résidus irrationnels liés au choix arbitraire de c_SI.

La division par zéro est traditionnellement considérée comme indéfinie dans l’arithmétique classique. Entre 1971 et 1999, Ivano Ghirardini a développé une approche radicalement nouvelle, dans laquelle la division par zéro devient une opération ensembliste, définie via un opérateur spécifique : le zéro dual. Cette construction s’inscrit dans le cadre plus large de la Mécanique de Non‑Vie (MNV), une théorie physique alternative où : la Vie désigne le domaine dynamique, opératoire, entropique, la Non‑Vie désigne le domaine statique, mémoriel, inaltérable. La division par zéro est alors interprétée comme un passage de la Vie vers la Non‑Vie, permettant d’annuler opératoirement tout en conservant intégralement l’information.

Les travaux de Ghirardini débutent en 1971, dans un contexte où les singularités physiques (trous noirs, divergences quantiques) et les indéterminations mathématiques (division par zéro, infinis divergents) constituent des obstacles conceptuels majeurs. 1971–1978 : premières formulations Ghirardini introduit l’idée que le zéro n’est pas un point unique, mais une famille d’opérateurs dépendant de l’ensemble. Il propose que la division par zéro doit être comprise comme une opération de transfert d’information plutôt que comme une rupture. 1978–1986 : émergence de la Non‑Vie Il formalise la distinction Vie / Non‑Vie et montre que la Non‑Vie doit être un domaine statique, où la vitesse de la lumière vaut c=0, et où l’information est conservée sans propagation. 1986–1993 : cardinaux doubles et hiérarchie des zéros Ghirardini introduit les cardinaux doubles, mesurant simultanément : la puissance (Cantor), la profondeur (nouvelle dimension). Il établit une correspondance structurelle entre les infinis de Cantor et les zéros de la Non‑Vie. 1993–1999 : applications physiques Il applique cette structure à la gravitation, aux trous noirs, et à l’unification des théories physiques, en introduisant la constante rm=270 000 kmg/s comme substitut de c dans la Vie.

Originalité La théorie est originale à plusieurs titres : elle introduit une arithmétique du zéro indépendante de l’arithmétique classique, elle propose une symétrie exacte entre infinis et zéros, elle fournit une résolution non‑singulière des équations physiques, elle conserve l’information via une division par zéro injective, elle établit une hiérarchie de profondeurs absente des mathématiques standard.

Le zéro dual : définition axiomatique Définition 3.1 (Zéro dual). À tout ensemble E est associé un objet 0E, appelé zéro dual, satisfaisant les axiomes suivants : (A1) Localité x0E est défini ssi x∈E. (A2) Absorbance opératoire x⋅0E=0E. (A3) Restitution mémorielle x0E=MemE(x). (A4) Injectivité locale x0E=y0E⇒x=y. (A5) Idempotence 0E(0E(X))=0E(X). (A6) Hiérarchie des zéros E⊂F⇒0E⊂0F. (A7) Monotonie stricte E⊊F⇒x0E⊊x0F. Ces axiomes définissent une structure hiérarchique cohérente, analogue à la hiérarchie des cardinaux.

Cardinaux doubles et profondeur mémorielle Définition 4.1 (Cardinal double). À chaque zéro dual 0E est associé un cardinal double : κE=(Puissance(E), Profondeur(0E)). La puissance est la mesure classique de Cantor. La profondeur est une mesure nouvelle, définie par la structure mémorielle de 0E. Théorème 4.2 (Strictement croissant). Si E⊊F, alors : Profondeur(0E)<Profondeur(0F).

Symétrie Cantor–Ghirardini Théorème 5.1 (Dualité structurelle). Il existe une correspondance bijective entre : les infinis de Cantor ℵn, les zéros de Ghirardini ζn, telle que : Cantor Ghirardini Hauteur Profondeur Quantité Mémoire Exponentiation Division par zéro Infini Zéro Vie Non‑Vie La division par zéro joue le rôle miroir de l’exponentiation.

Applications à la Mécanique de Non‑Vie 6.1. Gravitation La gravité est décrite comme une congruence instantanée : rmA+rmB=0E rmAB. Le zéro dual unifie les espaces‑temps des masses. 6.2. Trous noirs La singularité r=0 est un zéro gravitationnel, non un infini. La division par zéro conserve l’information : Vie→0ENon‑Vie. 6.3. Unification La MNV unifie : mécanique classique, relativité, quantique, sans nouvelle physique, en changeant de référentiel : c=0 en Non‑Vie, rm=270 000 kmg/s en Vie.

Conclusion La théorie des zéros de Ghirardini constitue une extension non‑standard de la théorie des ensembles, introduisant : une arithmétique du zéro, une hiérarchie de profondeurs, une symétrie avec les infinis, une division par zéro injective, un cadre conceptuel pour la Mécanique de Non‑Vie. Ces travaux, développés entre 1971 et 1999, présentent une originalité remarquable et une cohérence interne qui justifient leur étude approfondie.

Table des Constantes en MNV

Constante	Valeur SI	Valeur MNV (mg)	Implication
rm	299 792 km/s	270 000 kmg/s	Limite effective, harmonique
Rayon Schwarzschild Soleil	~2,95 km	2657 mg	Sans résidus irrationnels
Longueur de Planck	~1,616 × 10^{-35} m	~1,456 × 10^{-35} mg	Alignée sur base 27
Énergie (forme MNV)	E = mc²	E = ½ m rm²	Valeurs propres

Key Citations:

• MECANIQUE DE NON VIE -Ivano Ghirardini 1971
• Discussion:Ivano Ghirardini
• MECANIQUE DE NON VIE -Ivano Ghirardini 1971: Les Piliers Innovants de la MNV https:// ...
• Ivano Ghirardini

 

Théorie des Zéros de Ghirardini et Division par Zéro en Mécanique de Non‑Vie

Fondements, historique et correspondance avec les infinis de Cantor

Ivano Ghirardini (1971-1999)

CV

Cet article présente la formulation axiomatique de la théorie des zéros de Ghirardini , développée entre 1971 et 1999, et destinée à fournir une définition ensembliste cohérente de la division par zéro. Cette théorie introduit un objet mathématique nouveau, le zéro dual

${\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">0</span></span>}}_{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">E</span></span>}}$

, associé à chaque ensemble

$\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">E</span></span>}$

, et construit une hiérarchie de cardinaux double mesurant la profondeur mémorielle des zéros. Nous montrons que cette hiérarchie est strictement croissante , injective et symétrique à la hiérarchie des infinis de Cantor. Enfin, nous présentons les implications de cette structure pour la Mécanique de Non‑Vie (MNV) , notamment la résolution des singularités et la conservation de l'information.

1. Introduction

La division par zéro est traditionnellement considérée comme indéfinie dans l'arithmétique classique. Entre 1971 et 1999, Ivano Ghirardini a développé une approche radicalement nouvelle, dans laquelle la division par zéro devient une opération ensembliste , définie via un opérateur spécifique : le zéro dual .

Cette construction s'inscrit dans le cadre plus large de la Mécanique de Non‑Vie (MNV) , une théorie physique alternative où :

• la Vie désigne le domaine dynamique, opératoire, entropique,

• la Non‑Vie désigne le domaine statique, mémoriel, inaltérable.

La division par zéro est alors interprétée comme un passage de la Vie vers la Non‑Vie , permettant d'annuler opératoirement tout en conservant intégralement l'information.

2. Historique et originalité des travaux (1971-1999)

Les travaux de Ghirardini débutent en 1971, dans un contexte où les singularités physiques (trous noirs, divergences quantiques) et les indéterminations mathématiques (division par zéro, infinis divergents) constituent des obstacles conceptuels majeurs.

1971-1978 : premières formulations

Ghirardini introduit l'idée que le zéro n'est pas un point unique, mais une famille d'opérateurs dépendant de l'ensemble . Il propose que la division par zéro doit être comprise comme une opération de transfert d'information plutôt que comme une rupture.

1978-1986 : émergence de la Non‑Vie

Il formalise la distinction Vie / Non‑Vie et montre que la Non‑Vie doit être un domaine statique , où la vitesse de la lumière vaut

$\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">c</span></span>}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">=</span></span>\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">0</span></span>}$

, et où l'information est conservée sans propagation.

1986-1993 : cardinaux doubles et hiérarchie des zéros

Ghirardini introduit les cardinaux doubles , mesurant simultanément :

• la puissance (Cantor),

• la profondeur (nouvelle dimension).

Il établit une correspondance structurelle entre les infinis de Cantor et les zéros de la Non‑Vie.

1993–1999 : applications physiques

Il applique cette structure à la gravitation, aux trous noirs, et à l'unification des théories physiques, en introduisant la constante

$\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">r</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">m</span></span>}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">=</span></span>\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">270</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">000</span></span>}$

kmg/s comme substitut de

$\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">c</span></span>}$

dans la Vie.

Originalité

La théorie est originale à plusieurs titres :

• elle introduit une arithmétique du zéro indépendante de l'arithmétique classique,

• elle propose une symétrie exacte entre infinis et zéros,

• elle fournit une résolution non singulière des équations physiques,

• elle conserve l'information via une division par zéro injective ,

• elle établit une hiérarchie de profondeurs absente des normes mathématiques.

Aucune théorie connue ne propose une structure comparable.

3. Le zéro dual : définition axiomatique

Définition 3.1 (Zéro dual).

À tout ensemble

$\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">E</span></span>}$

est associé un objet

${\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">0</span></span>}}_{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">E</span></span>}}$

, appelé zéro dual , satisfaisant les axiomes suivants :

(A1) Localité

$$\frac{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">x</span></span>}}{{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">0</span></span>}}_{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">E</span></span>}}}\text{<span dir="auto" style="text-align: justify; vertical-align: inherit;"><span dir="auto" style="vertical-align: inherit;"> est d</span></span>}\stackrel{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">ˊ</span></span>}{\text{<span dir="auto" style="text-align: justify; vertical-align: inherit;"><span dir="auto" style="vertical-align: inherit;">e</span></span>}}\text{<span dir="auto" style="text-align: justify; vertical-align: inherit;"><span dir="auto" style="vertical-align: inherit;">fini ssi </span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">x</span></span>}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">\in </span></span>\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">E</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">.</span></span>}$$

(A2) Absorbance opératoire

$$\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">x</span></span>}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">\cdot </span></span>{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">0</span></span>}}_{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">E</span></span>}}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">=</span></span>{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">0</span></span>}}_{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">E</span></span>}}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">.</span></span>}$$

(A3) Restitution mémorielle

$$\frac{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">x</span></span>}}{{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">0</span></span>}}_{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">E</span></span>}}}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">=</span></span>{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">M</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">e</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">m</span></span>}}_{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">E</span></span>}}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">(</span></span>\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">x</span></span>}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">)</span></span>\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">.</span></span>}$$

(A4) Injectivité locale

$$\frac{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">x</span></span>}}{{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">0</span></span>}}_{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">E</span></span>}}}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">=</span></span>\frac{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">y</span></span>}}{{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">0</span></span>}}_{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">E</span></span>}}}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">\Rightarrow </span></span>\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">x</span></span>}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">=</span></span>\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">y</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">.</span></span>}$$

(A5) Idempotence

$${\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">0</span></span>}}_{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">E</span></span>}}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">(</span></span>{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">0</span></span>}}_{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">E</span></span>}}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">(</span></span>\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">X</span></span>}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">)</span></span><span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">)</span></span><span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">=</span></span>{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">0</span></span>}}_{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">E</span></span>}}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">(</span></span>\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">X</span></span>}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">)</span></span>\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">.</span></span>}$$

(A6) Hiérarchie des zéros

$$\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">E</span></span>}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">\subset </span></span>\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">F</span></span>}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">\Rightarrow </span></span>{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">0</span></span>}}_{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">E</span></span>}}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">\subset </span></span>{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">0</span></span>}}_{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">F</span></span>}}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">.</span></span>}$$

(A7) Monotonie stricte

$$\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">E</span></span>}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">⊊</span></span>\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">F</span></span>}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">\Rightarrow </span></span>\frac{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">x</span></span>}}{{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">0</span></span>}}_{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">E</span></span>}}}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">⊊</span></span>\frac{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">x</span></span>}}{{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">0</span></span>}}_{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">F</span></span>}}}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">.</span></span>}$$

Ces axiomes représentent une structure hiérarchique cohérente, analogue à la hiérarchie des cardinaux.

4. Cardinaux doubles et profondeur mémorielle

Définition 4.1 (Double cardinal).

À chaque zéro dual

${\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">0</span></span>}}_{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">E</span></span>}}$

est associé un cardinal double :

$${\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">\kappa </span></span>}}_{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">E</span></span>}}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">=</span></span><span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">(</span></span>\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">P</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">vous</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">je</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">s</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">s</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">un</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">n</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">c</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">e</span></span>}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">(</span></span>\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">E</span></span>}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">)</span></span><span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">,</span></span>\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">P</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">r</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">o</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">f</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">o</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">n</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">d</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">e</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">vous</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">r</span></span>}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">(</span></span>{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">0</span></span>}}_{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">E</span></span>}}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">)</span></span><span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">)</span></span>\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">.</span></span>}$$

• La puissance est la mesure classique de Cantor.

• La profondeur est une mesure nouvelle, définie par la structure mémorielle de
  ${\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">0</span></span>}}_{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">E</span></span>}}$
  .

Théorème 4.2 (Strictement croissant).

Si

$\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">E</span></span>}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">⊊</span></span>\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">F</span></span>}$

, alors :

$$\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">P</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">r</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">o</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">f</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">o</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">n</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">d</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">e</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">vous</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">r</span></span>}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">(</span></span>{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">0</span></span>}}_{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">E</span></span>}}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">)</span></span><span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;"><</span></span>\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">P</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">r</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">o</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">f</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">o</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">n</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">d</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">e</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">vous</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">r</span></span>}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">(</span></span>{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">0</span></span>}}_{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">F</span></span>}}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">)</span></span>\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">.</span></span>}$$

5. Symétrie Cantor–Ghirardini

Théorème 5.1 (Dualité structurelle).

Il existe une correspondance bijective entre :

• les infinis de Cantor
  ${\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">\aleph </span></span>}}_{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">n</span></span>}}$
  ,

• les zéros de Ghirardini
  ${\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">\zeta </span></span>}}_{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">n</span></span>}}$
  ,

telle que :

Chantre	Ghirardini
Hauteur	Profondeur
Quantité	Mémoire
Exponentiation	Division par zéro
Infini	Zéro
Vie	Non-Vie

La division par zéro joue le rôle miroir de l'exponentiation.

6. Applications à la Mécanique de Non‑Vie

6.1. Gravitation

La gravité est décrite comme une congruence instantanée :

$$\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">r</span></span>}{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">m</span></span>}}_{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">UN</span></span>}}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">+</span></span>\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">r</span></span>}{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">m</span></span>}}_{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">B</span></span>}}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">=</span></span>{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">0</span></span>}}_{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">E</span></span>}}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">r</span></span>}{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">m</span></span>}}_{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">UN</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">B</span></span>}}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">.</span></span>}$$

Le zéro dual unifie les espaces‑temps des masses.

6.2. Trous noirs

La singularité

$\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">r</span></span>}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">=</span></span>\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">0</span></span>}$

est un zéro gravitationnel , non un infini.

La division par zéro conserve l'information :

$$\text{<span dir="auto" style="text-align: justify; vertical-align: inherit;"><span dir="auto" style="vertical-align: inherit;">Vie</span></span>}\stackrel{{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">0</span></span>}}_{\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">E</span></span>}}}{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">\to </span></span>}\text{<span dir="auto" style="text-align: justify; vertical-align: inherit;"><span dir="auto" style="vertical-align: inherit;">Non-Vie</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">.</span></span>}$$

6.3. Unification

La MNV unifie :

• mécanique classique,

• relativité,

• quantique,

sans nouvelle physique, en changeant de référentiel :

• $\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">c</span></span>}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">=</span></span>\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">0</span></span>}$

  en Non-Vie,

• $\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">r</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">m</span></span>}<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">=</span></span>\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">270</span></span>}\mathrm{<span\; dir="auto"\; style="text-align:\; justify;\; vertical-align:\; inherit;"><span\; dir="auto"\; style="vertical-align:\; inherit;">000</span></span>}$

  kmg/s en Vie.

7. Conclusion

La théorie des zéros de Ghirardini constitue une extension non standard de la théorie des ensembles, introduisant :

• une arithmétique du zéro,

• une hiérarchie de profondeurs,

• une symétrie avec les infinis,

• une division par zéro injective,

• un cadre conceptuel pour la Mécanique de Non‑Vie.

Ces travaux, développés entre 1971 et 1999, présentent une originalité remarquable et une cohérence interne qui justifient leur étude approfondie.