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

Conjuntos amorfos y finitud dual de Dedekind

Información Básica

  • ID del Artículo: 2510.13508
  • Título: Conjuntos amorfos y finitud dual de Dedekind
  • Autores: Yifan Hu, Ruihuan Mao, Guozhen Shen
  • Clasificación: math.LO (Lógica Matemática)
  • Fecha de Publicación: 15 de octubre de 2025
  • Enlace del Artículo: https://arxiv.org/abs/2510.13508

Resumen

Un conjunto AA se denomina dualmente Dedekind finito si toda función sobreyectiva de AA a AA es inyectiva; en caso contrario, se denomina dualmente Dedekind infinito. Un conjunto amorfo es un conjunto infinito que no puede particionarse en dos subconjuntos infinitos. Un conjunto estrictamente amorfo es un conjunto amorfo en el que toda partición tiene solo finitos bloques no singulares. Este artículo demuestra que en la teoría de conjuntos ZF (sin el axioma de elección), es consistente la existencia de un conjunto amorfo AA tal que su conjunto potencia P(A)\mathscr{P}(A) es dualmente Dedekind infinito, proporcionando una respuesta negativa a una pregunta planteada por Truss en 1974. Sin embargo, los autores demuestran en ZF que para todos los conjuntos estrictamente amorfos AA y todos los números naturales nn, P(A)n\mathscr{P}(A)^n es dualmente Dedekind finito, generalizando un resultado de Goldstern.

Antecedentes y Motivación de la Investigación

  1. Problema a resolver: Este artículo investiga principalmente la cuestión de la finitud dual de Dedekind del conjunto potencia de conjuntos amorfos en el marco de la teoría de conjuntos ZF sin el axioma de elección.
  2. Importancia del problema:
    • Dedekind en 1888 definió un conjunto infinito como aquel equipotente a un subconjunto propio, lo que es equivalente al concepto usual de infinitud cuando se tiene el axioma de elección
    • Sin el axioma de elección, existen múltiples conceptos distintos de finitud, y estudiar sus relaciones tiene una importancia fundamental en la teoría de conjuntos
    • La finitud dual de Dedekind es un concepto importante de finitud introducido por Truss en 1958
  3. Limitaciones de los métodos existentes:
    • Truss en 1974 conjeturó que todos los conjuntos finitos de subconjuntos de conjuntos amorfos son dualmente Dedekind finitos
    • Este problema ha sido mencionado en múltiples referencias pero nunca ha sido resuelto
    • Falta un método sistemático para construir contraejemplos
  4. Motivación de la investigación: Resolver la conjetura de Truss mediante la construcción de modelos de permutaciones específicos e investigar profundamente las propiedades de los conjuntos estrictamente amorfos.

Contribuciones Principales

  1. Resolución negativa de la conjetura de Truss: Se demuestra que existen conjuntos amorfos AA tales que tanto P(A)\mathscr{P}(A) como fin(A)\text{fin}(A) son dualmente Dedekind infinitos
  2. Generalización de resultados para conjuntos amorfos proyectivos: Se demuestra que todos los conjuntos amorfos proyectivos tienen conjuntos potencia dualmente Dedekind infinitos
  3. Establecimiento de equivalencia entre conjuntos estrictamente amorfos y fuertemente amorfos: Se demuestra que estos dos conceptos son completamente equivalentes
  4. Generalización del teorema de Goldstern: Se demuestra que para todos los conjuntos estrictamente amorfos AA y números naturales nn, P(A)n\mathscr{P}(A)^n es dualmente Dedekind finito

Explicación Detallada de los Métodos

Definición de la Tarea

Investigar la finitud dual de Dedekind del conjunto potencia de conjuntos amorfos en el marco de la teoría de conjuntos ZF. Dado un conjunto AA:

  • Entrada: Conjunto amorfo AA (conjunto infinito que no puede particionarse en dos subconjuntos infinitos)
  • Salida: Determinar la finitud dual de Dedekind de P(A)\mathscr{P}(A) o P(A)n\mathscr{P}(A)^n
  • Restricciones: Proceder dentro del marco de la teoría de conjuntos ZF (sin el axioma de elección)

Arquitectura del Modelo

1. Construcción del Modelo de Permutaciones (Sección 2)

Los autores construyen un modelo de permutaciones para demostrar el Teorema 1.1:

Configuración del Conjunto de Átomos: A={av∣v∈V}A = \{a_v \mid v \in V\} donde VV es un espacio vectorial infinito sobre F2\mathbb{F}_2.

Acción de Grupo:

  • GG es el grupo lineal general de AA (todas las transformaciones lineales invertibles)
  • Cada permutación π\pi se extiende recursivamente a todo el universo: πx={πz∣z∈x}\pi x = \{\pi z \mid z \in x\}

Condición de Soporte: Un conjunto xx pertenece al modelo de permutaciones VV si y solo si x⊆Vx \subseteq V y xx tiene soporte finito.

2. Demostración de Infinitud Dual de Dedekind

Se construye una función sobreyectiva no inyectiva f:fin(A)→fin(A)f: \text{fin}(A) \to \text{fin}(A):

undefined