Árbol de Aronszajn

En teoría de conjuntos , un árbol de Aronszajn es un árbol de altura incontable sin ramas incontables ni niveles incontables. Por ejemplo, cada árbol de Suslin es un árbol de Aronszajn. De manera más general, para un cardinal κ , un árbol κ -Aronszajn es un árbol de altura κ en el que todos los niveles tienen un tamaño menor que κ y todas las ramas tienen una altura menor que κ (por lo que los árboles de Aronszajn son lo mismo que los árboles -Aronszajn). Reciben su nombre de Nachman Aronszajn , quien construyó un árbol de Aronszajn en 1934; su construcción fue descrita por Kurepa (1935). $estilo de visualización {\aleph _{1}}$

Se dice que un cardinal κ para el cual no existen árboles κ -Aronszajn tiene la propiedad de árbol (a veces se incluye la condición de que κ sea regular e incontable).

El lema de Kőnig afirma que los árboles -Aronszajn no existen. $estilo de visualización {\aleph _{0}}$

La existencia de árboles de Aronszajn ( árboles -Aronszajn) fue probada por Nachman Aronszajn , e implica que el análogo del lema de Kőnig no es válido para árboles incontables. ${\displaystyle =\aleph_{1}}$

La existencia de árboles -Aronszajn es indecidible en ZFC: más precisamente, la hipótesis del continuo implica la existencia de un árbol -Aronszajn, y Mitchell y Silver demostraron que es consistente (en relación con la existencia de un cardinal débilmente compacto ) que no existan árboles -Aronszajn. $estilo de visualización {\aleph _{2}}$$estilo de visualización {\aleph _{2}}$$estilo de visualización {\aleph _{2}}$

Jensen demostró que V = L implica que hay un árbol κ -Aronszajn (de hecho, un árbol κ - Suslin ) para cada cardinal sucesor infinito  κ .

Cummings y Foreman (1998) demostraron (utilizando un axioma cardinal grande) que es consistente que no existen árboles -Aronszajn para ningún n finito distinto de 1. ${\displaystyle \aleph _{n}}$

Si κ es débilmente compacto, entonces no existen árboles κ -Aronszajn. Por el contrario, si κ es inaccesible y no existen árboles κ -Aronszajn, entonces κ es débilmente compacto.

Un árbol de Aronszajn se llama especial si hay una función f del árbol a los racionales tal que f ( x ) <  f ( y ) siempre que x  <  y . El axioma de Martin MA( ) implica que todos los árboles de Aronszajn son especiales, una proposición a veces abreviada por EATS . El axioma de forzamiento propio más fuerte implica la afirmación más fuerte de que para cualesquiera dos árboles de Aronszajn existe un conjunto club de niveles tal que las restricciones de los árboles a este conjunto de niveles son isomorfas, lo que dice que en algún sentido cualesquiera dos árboles de Aronszajn son esencialmente isomorfos (Abraham y Shelah 1985). Por otro lado, es consistente que existan árboles de Aronszajn no especiales, y esto también es consistente con la hipótesis del continuo generalizado más la hipótesis de Suslin (Schlindwein 1994). $estilo de visualización {\aleph _{1}}$

Un árbol de Aronszajn especial se puede construir de la siguiente manera.

Los elementos del árbol son ciertos conjuntos bien ordenados de números racionales cuyo supremo es racional o −∞. Si x e y son dos de estos conjuntos, entonces definimos x  ≤  y (en el orden del árbol) para significar que x es un segmento inicial del conjunto ordenado  y . Para cada ordinal contable α escribimos U _α para los elementos del árbol de nivel α, de modo que los elementos de U _α son ciertos conjuntos de racionales con orden de tipo α. El árbol especial de Aronszajn T es la unión de los conjuntos U _α para todos los α contables.

Construimos los niveles contables U _α por inducción transfinita sobre α de la siguiente manera comenzando con el conjunto vacío como U ₀ :

• Si α  + 1 es un sucesor, entonces U _{α + 1} consiste en todas las extensiones de una secuencia x en U _α por un racional mayor que sup x . U _{α  + 1} es contable ya que consiste en un número contable de extensiones de cada uno de los un número contable de elementos en U _α .
• Si α es un límite, entonces sea T _α el árbol de todos los puntos de nivel menor que α . Para cada x en T _α y para cada número racional q mayor que sup x , elija una rama de nivel α de T _α que contenga x con supremo q . Entonces U _α consta de estas ramas. U _α es contable ya que consta de un número contable de ramas para cada uno de los un número contable de elementos en T _α .

La función f ( x ) = sup  x es racional o −∞, y tiene la propiedad de que si x  <  y entonces f ( x ) <  f ( y ). Cualquier rama en T es contable ya que f mapea ramas inyectivamente a −∞ y a los racionales. T es incontable ya que tiene un nivel no vacío U _α para cada ordinal contable α que compone el primer ordinal incontable . Esto prueba que T es un árbol de Aronszajn especial.

Esta construcción se puede utilizar para construir árboles κ -Aronszajn siempre que κ sea un sucesor de un cardinal regular y se cumpla la hipótesis del continuo generalizado, reemplazando los números racionales por un conjunto η más general .

• Árbol de kurepa
• Línea Aronszajn

• Abraham, Uri; Shelah, Saharon (1985), "Tipos de isomorfismo de árboles de Aronszajn", Israel Journal of Mathematics , 50 : 75–113, doi : 10.1007/BF02761119
• Cummings, James; Foreman, Matthew (1998), "La propiedad del árbol", Advances in Mathematics , 133 (1): 1–32, doi : 10.1006/aima.1997.1680 , MR  1492784
• Kunen, Kenneth (2011), Teoría de conjuntos , Estudios de lógica, vol. 34, Londres: College Publications, ISBN 978-1-84890-050-9, Zbl1262.03001 ​
• Kurepa, G. (1935), "Ensembles ordonnés et ramifiés", Publ. matemáticas. Univ. Belgrado , 4 : 1–138, JFM  61.0980.01, Zbl  0014.39401
• Schlindwein, Chaz (1994), "Consistencia de la hipótesis de Suslin, un árbol de Aronszajn no especial y GCH", Journal of Symbolic Logic , 59 (1), The Journal of Symbolic Logic, vol. 59, n.º 1: 1–29, doi : 10.2307/2275246, JSTOR  2275246
• Schlindwein, Ch. (2001) [1994], "Árbol de Aronszajn", Enciclopedia de Matemáticas , EMS Press
• Schlindwein, Chaz (1989), " Árboles especiales no especiales ", Teoría de conjuntos y sus aplicaciones , 1401 : 160–166, doi :10.1007/BFb0097338$estilo de visualización {\aleph _{1}}$
• Todorčević, S. (1984), "Árboles y conjuntos ordenados linealmente", Handbook of set-theoretic topology , Ámsterdam: Holanda Septentrional, págs. 235-293, MR  0776625

• PlanetaMatemática