¿Cuáles son algunos conjuntos contables interesantes?

Esta pregunta tiene exactamente los mismos problemas que la pregunta discutida aquí:

¿Cuáles son algunos de los espacios vectoriales más interesantes?

Los únicos conjuntos contables son conjuntos finitos y conjuntos infinitamente contables, y desde el punto de vista de la teoría de conjuntos, estos conjuntos se clasifican por su número de elementos. Todos los ejemplos son igualmente interesantes y no interesantes por este motivo. En el caso infinito, el “único” conjunto contable infinito es el conjunto de números naturales.

¿Es un conjunto de cinco elementos más interesante que un conjunto de dos elementos? Esto se reduce a si el número 5 es más interesante que el número 2, para lo cual puedes hacer interminables argumentos estúpidos en cualquier dirección. En todo caso, el conjunto de números naturales es el conjunto contable más interesante ya que tiene la teoría matemática más rica, pero los ejemplos se detienen allí.

El punto es que en la teoría de conjuntos no importa qué elementos se nombren, hasta el isomorfismo solo importa la cardinalidad del conjunto. Todos los demás ejemplos de conjuntos contables, como los números racionales, los números algebraicos, etc., solo son intrínsecamente interesantes porque generalmente están dotados de alguna estructura adicional, como la suma o la multiplicación; prácticamente nunca nos importa la identificación teórica de conjuntos de tales un conjunto con los números naturales porque esta identificación no conserva ninguna de las estructuras interesantes.

Tal vez la pregunta es pedir conjuntos cuya contabilidad sea sorprendente.
Yo votaría por:

  • Los números racionales
  • Los números algebraicos
  • Uniones contables de conjuntos contables (suponiendo el Axioma de elección, una nota interesante)

Estoy seguro de que alguien que sepa más de matemáticas que yo podría proporcionar mejores ejemplos de conjuntos sorprendentemente contables.

Agregaré dos conjuntos contables notables:

  • [matemáticas] \ epsilon_0 [/ matemáticas] Es el punto fijo ordinal más pequeño para un mapa exponencial (es el límite de la secuencia [matemáticas] \ omega, \ omega ^ {\ omega}, \ omega ^ {\ omega ^ {\ omega }} … [/ math]), pero aún es contable.
  • [math] \ omega ^ {CK} _1 [/ math] que es el supremum de todos los ordinales recursivos (es decir, computables).