2025-11-10T03:00:06.191509

Amorphous sets and dual Dedekind finiteness

Hu, Mao, Shen

A set $A$ is dually Dedekind finite if every surjection from $A$ onto $A$ is injective; otherwise, $A$ is dually Dedekind infinite. An amorphous set is an infinite set that cannot be partitioned into two infinite subsets. A strictly amorphous set is an amorphous set in which every partition has only finitely many non-singleton blocks. It is proved consistent with $\mathsf{ZF}$ (i.e., the Zermelo--Fraenkel set theory without the axiom of choice) that there exists an amorphous set $A$ whose power set $\mathscr{P}(A)$ is dually Dedekind infinite, which gives a negative solution to a question proposed by Truss [J. Truss, Fund. Math. 84, 187--208 (1974)]. Nevertheless, we prove in $\mathsf{ZF}$ that, for all strictly amorphous sets $A$ and all natural numbers $n$, $\mathscr{P}(A)^n$ is dually Dedekind finite, which generalizes a result of Goldstern.

academic

Ensembles amorphes et finitude duale de Dedekind

Informations fondamentales

ID de l'article: 2510.13508
Titre: Ensembles amorphes et finitude duale de Dedekind
Auteurs: Yifan Hu, Ruihuan Mao, Guozhen Shen
Classification: math.LO (Logique mathématique)
Date de publication: 15 octobre 2025
Lien de l'article: https://arxiv.org/abs/2510.13508

Résumé

Un ensemble $A$ est dit dualement Dedekind fini si toute surjection de $A$ vers $A$ est une injection ; sinon, il est dit dualement Dedekind infini. Un ensemble amorphe est un ensemble infini qui ne peut pas être partitionné en deux sous-ensembles infinis. Un ensemble strictement amorphe est un ensemble amorphe dont chaque partition ne possède qu'un nombre fini de blocs non-singuliers. Cet article démontre qu'il est compatible avec la théorie des ensembles ZF (sans l'axiome du choix) qu'il existe un ensemble amorphe $A$ tel que son ensemble des parties $\mathscr{P}(A)$ soit dualement Dedekind infini, ce qui fournit une réponse négative à une question posée par Truss en 1974. Néanmoins, les auteurs démontrent en ZF que pour tous les ensembles strictement amorphes $A$ et tous les entiers naturels $n$ , $\mathscr{P}(A)^n$ est dualement Dedekind fini, généralisant un résultat de Goldstern.

Contexte et motivation de la recherche

Problème à résoudre: Cet article étudie principalement la question de la finitude duale de Dedekind de l'ensemble des parties d'ensembles amorphes dans le cadre de la théorie des ensembles ZF sans l'axiome du choix.
Importance du problème:
- Dedekind a défini en 1888 un ensemble infini comme un ensemble équipotent à un de ses sous-ensembles propres, ce qui est équivalent au concept usuel d'infinitude avec l'axiome du choix
- Sans l'axiome du choix, il existe plusieurs concepts distincts de finitude, et l'étude de leurs relations possède une importance théorique majeure en théorie des ensembles
- La finitude duale de Dedekind est un concept important de finitude introduit par Truss en 1958
Limitations des approches existantes:
- Truss a conjecturé en 1974 que tous les ensembles finis de tout ensemble amorphe sont dualement Dedekind finis
- Ce problème a été mentionné dans plusieurs publications mais n'a jamais été résolu
- Il manquait une méthode systématique pour construire des contre-exemples
Motivation de la recherche: Résoudre la conjecture de Truss en construisant des modèles de permutation concrets et étudier en profondeur les propriétés des ensembles strictement amorphes.

Contributions principales

Réfutation de la conjecture de Truss: Démonstration de l'existence d'un ensemble amorphe $A$ tel que $\mathscr{P}(A)$ et $\text{fin}(A)$ soient tous deux dualement Dedekind infinis
Généralisation des résultats pour les ensembles amorphes projectifs: Démonstration que tous les ensembles amorphes projectifs possèdent un ensemble des parties dualement Dedekind infini
Établissement de l'équivalence entre ensembles strictement amorphes et fortement amorphes: Démonstration que ces deux concepts sont complètement équivalents
Généralisation du théorème de Goldstern: Démonstration que pour tous les ensembles strictement amorphes $A$ et tous les entiers naturels $n$ , $\mathscr{P}(A)^n$ est dualement Dedekind fini

Explication détaillée de la méthode

Définition de la tâche

Étudier la finitude duale de Dedekind de l'ensemble des parties d'ensembles amorphes dans le cadre de la théorie des ensembles ZF. Étant donné un ensemble $A$ :

Entrée: Ensemble amorphe $A$ (ensemble infini qui ne peut pas être partitionné en deux sous-ensembles infinis)
Sortie: Détermination de la finitude duale de Dedekind de $\mathscr{P}(A)$ ou $\mathscr{P}(A)^n$
Contraintes: Opérer dans le cadre de la théorie des ensembles ZF (sans l'axiome du choix)

Architecture du modèle

1. Construction du modèle de permutation (Section 2)

Les auteurs construisent un modèle de permutation pour démontrer le théorème 1.1:

Configuration de l'ensemble d'atomes: $A = \{a_v \mid v \in V\}$ où $V$ est un espace vectoriel infini sur $\mathbb{F}_2$ .

Action de groupe:

$G$ est le groupe linéaire général de $A$ (toutes les transformations linéaires inversibles)
Chaque permutation $\pi$ s'étend récursivement à l'univers entier: $\pi x = \{\pi z \mid z \in x\}$

Condition de support: Un ensemble $x$ appartient au modèle de permutation $V$ si et seulement si $x \subseteq V$ et $x$ possède un support fini.

2. Démonstration de la finitude duale de Dedekind infinie

Construction d'une surjection non-injective $f: \text{fin}(A) \to \text{fin}(A)$ :

S \setminus \bigcup\{W \in \text{Sub}(A) \mid W \subseteq S \text{ with } |W| \text{ maximal}\} & \text{si } 0 \in S \\ S \cup \{0\} & \text{sinon} \end{cases}$$ #### 3. Analyse des ensembles amorphes projectifs (Section 3) Pour les ensembles amorphes projectifs, utilisation de la structure de prégeométrie: - **Opérateur de fermeture**: $\text{cl}: \text{fin}(A) \to \text{fin}(A)$ - **Propriétés de commutation**: Propriétés cardinales spéciales pour les ensembles indépendants - **Homogénéité locale**: Garantit la cohérence de la construction ### Points d'innovation technique 1. **Méthode du modèle de permutation**: Utilisation ingénieuse de la structure linéaire de l'espace vectoriel pour construire le groupe de permutation 2. **Technique de construction récursive**: Utilisation de la sélection récursive de vecteurs dans la démonstration de surjectivité 3. **Application de la théorie de prégeométrie**: Introduction de concepts de théorie des modèles dans la recherche en théorie des ensembles 4. **Cadre unifié**: Unification des ensembles strictement amorphes et fortement amorphes dans un même cadre théorique ## Configuration expérimentale ### Méthode de vérification théorique En tant qu'article de théorie mathématique pure, cet article emploie des méthodes de démonstration mathématique rigoureuses: 1. **Vérification du modèle de permutation**: Conversion des résultats du modèle de permutation en résultats de cohérence ZF via le théorème d'encastrement de Jech-Sochor 2. **Démonstration constructive**: Construction directe de fonctions surjectives pour démontrer la finitude duale de Dedekind infinie 3. **Démonstration par induction**: Utilisation de l'induction mathématique dans le lemme 4.1 pour démontrer les propriétés des ensembles strictement amorphes ### Stratégie de démonstration 1. **Preuve par l'absurde**: Dans la démonstration du théorème 5.3, hypothèse de l'existence d'une finitude duale de Dedekind infinie conduisant à une contradiction 2. **Démonstration d'équivalence**: Démonstration de l'équivalence des ensembles strictement amorphes et fortement amorphes par double implication 3. **Analyse paramétrée**: Utilisation d'ensembles de paramètres finis pour analyser la définissabilité du premier ordre ## Résultats expérimentaux ### Résultats principaux #### Théorème 1.1 (Réponse négative) **Résultat**: Il est compatible avec ZF qu'il existe un ensemble amorphe $A$ tel que $\mathscr{P}(A)$ et $\text{fin}(A)$ soient tous deux dualement Dedekind infinis. **Signification**: Réfutation complète de la conjecture de Truss, résolution d'un problème ouvert existant depuis 50 ans. #### Théorème 3.2 (Extension projective) **Résultat**: Pour chaque ensemble amorphe projectif $A$, $\text{fin}(A)$ et $\mathscr{P}(A)$ sont tous deux dualement Dedekind infinis. **Signification**: Généralisation des résultats de contre-exemple à une classe plus large d'ensembles amorphes. #### Théorème 4.2 (Équivalence) **Résultat**: Un ensemble $A$ est strictement amorphe si et seulement s'il est fortement amorphe. **Signification**: Unification de deux concepts importants d'ensembles amorphes. #### Théorème 5.3 (Résultat positif) **Résultat**: Pour tous les ensembles strictement amorphes $A$ et tous les entiers naturels $n$, $\text{fin}(A)^n$ et $\mathscr{P}(A)^n$ sont tous deux dualement Dedekind finis. **Signification**: Généralisation du résultat de Goldstern, fournissant une caractérisation positive de la finitude duale de Dedekind. ### Lemmes clés #### Lemme 2.1 Dans le modèle de permutation construit $V$, $A$ est amorphe. #### Lemme 2.2 Dans $V$, $\text{fin}(A)$ est dualement Dedekind infini. #### Lemme 4.1 Pour les ensembles strictement amorphes, chaque relation peut être définie par une formule du premier ordre sans quantificateurs. ## Travaux connexes ### Développement historique 1. **Dedekind (1888)**: Définition du concept d'infinitude de Dedekind 2. **Levy (1958)**: Étude de divers concepts de finitude sans l'axiome du choix, introduction des ensembles amorphes 3. **Truss (1974)**: Introduction de la finitude duale de Dedekind, proposition de la conjecture résolue dans cet article 4. **Goldstern (1997)**: Démonstration que l'ensemble des parties d'ensembles fortement amorphes est dualement Dedekind fini ### Relation de cet article avec les travaux connexes - **Réfutation de la conjecture de Truss**: Fourniture d'un contre-exemple longtemps attendu - **Généralisation du résultat de Goldstern**: Extension des ensembles fortement amorphes aux ensembles strictement amorphes, et de l'ensemble des parties aux puissances finies de l'ensemble des parties - **Perfectionnement du système théorique**: Établissement de l'équivalence entre ensembles strictement amorphes et fortement amorphes ## Conclusion et discussion ### Conclusions principales 1. La conjecture de Truss selon laquelle tous les ensembles finis de tout ensemble amorphe sont dualement Dedekind finis est erronée 2. Les ensembles amorphes projectifs fournissent une source systématique de contre-exemples 3. Les ensembles strictement amorphes et fortement amorphes sont des concepts équivalents 4. Les puissances finies de l'ensemble des parties d'ensembles strictement amorphes sont toujours dualement Dedekind finies ### Limitations 1. **Dépendance du cadre ZF**: Les résultats pourraient ne pas tenir avec l'axiome du choix 2. **Restrictions constructives**: La méthode du modèle de permutation ne peut démontrer que la cohérence, non pas fournir de contre-exemple direct en ZF 3. **Complexité technique**: Les démonstrations impliquent des techniques avancées de théorie des modèles et de théorie des ensembles ### Directions futures L'article propose deux problèmes ouverts: **Problème 6.1**: ZF peut-il démontrer que chaque ensemble amorphe possédant un ensemble des parties dualement Dedekind infini est projectif? **Problème 6.2**: Est-il compatible avec ZF qu'il existe une famille d'ensembles amorphes $\langle A_n \rangle_{n \in \omega}$ telle que pour tous les $n$, $\mathscr{P}(A_n)^n$ soit dualement Dedekind fini, tandis que $\mathscr{P}(A_n)^{n+1}$ soit dualement Dedekind infini? ## Évaluation approfondie ### Points forts 1. **Percée théorique**: Résolution d'un important problème ouvert existant depuis 50 ans 2. **Innovation méthodologique**: Combinaison ingénieuse de techniques d'algèbre linéaire, de théorie des modèles et de théorie des ensembles 3. **Résultats complets**: Fourniture à la fois d'une réponse négative et de caractérisations positives 4. **Rigueur technique**: Toutes les démonstrations sont des preuves mathématiques complètement rigoureuses ### Insuffisances 1. **Limitations d'application**: En tant que recherche théorique pure, la valeur d'application directe est limitée 2. **Seuil technique**: Nécessite une connaissance approfondie de la logique mathématique et de la théorie des ensembles pour la compréhension 3. **Problèmes ouverts**: Plusieurs questions importantes restent non résolues ### Impact 1. **Valeur académique**: Impact important dans les domaines de la théorie descriptive des ensembles et de la combinatoire infinie 2. **Contribution théorique**: Perfectionnement du système théorique des concepts de finitude sans l'axiome du choix 3. **Inspiration méthodologique**: La méthode de construction du modèle de permutation pourrait inspirer la recherche sur d'autres problèmes connexes ### Domaines d'application - Théorie descriptive des ensembles - Combinatoire infinie - Applications de la théorie des modèles - Recherche sur l'indépendance de l'axiome du choix ## Références bibliographiques L'article cite les publications clés du domaine, notamment: - Dedekind (1888): Définition originale de l'infinitude - Levy (1958): Introduction des ensembles amorphes - Truss (1974, 1995): Finitude duale de Dedekind et ensembles strictement amorphes - Goldstern (1997): Étude des ensembles fortement amorphes - Halbeisen (2025): Manuel moderne de théorie combinatoire des ensembles --- **Évaluation générale**: Cet article est une publication mathématique théorique de haute qualité qui résout un important problème longtemps ouvert par une construction ingénieuse, apportant une contribution majeure au domaine de la théorie descriptive des ensembles. Bien que techniquement exigeant, sa valeur théorique et son innovation méthodologique sont remarquables.