17 votos

¿Pueden ser conjuntos de dos puntos Borel?

Recuerda que un conjunto de dos puntos es un subconjunto del plano que se encuentra con cada línea exactamente en dos puntos. Tal conjunto fue construido por primera vez por Mazurkiewicz en 1914.

Me pregunto si se resolvió la siguiente pregunta de Erdos:

Pregunta. ¿Existe un conjunto de dos puntos que sea Borel?

Ver Sobre conjuntos que se encuentran con cada línea exactamente en dos puntos, donde Mauldin dice que él "cree" que escuchó por primera vez el problema de Erdos, quien a su vez dijo que había estado presente desde que era un "bebé".

Observaciones. Un conjunto de dos puntos no puede ser $F_\sigma$ (según un resultado de Larman). También se sabe que si un conjunto de dos puntos es analítico, entonces es Borel.

0 votos

¿Tienes una referencia para la pregunta de Erdös?

1 votos

Creo que todavía está abierto según una búsqueda en Google Académico. Para un ejemplo de esto, ver la nota al pie 3 en Chad & Good's (2011) Homeomorfismos de Conjuntos de Dos Puntos en las Actas de la AMS (pdf).

2 votos

Para las personas curiosas sobre construcciones de conjuntos de dos puntos, agregaré un enlace a una pregunta anterior: Subconjunto del plano que interseca cada línea exactamente dos veces.

15voto

Will Brian Puntos 1370

Un conjunto de dos puntos no puede ser $F_\sigma$, como menciona Mohammad en su pregunta. Además,

Un conjunto de dos puntos no puede contener un subconjunto denso $G_\delta$ de un arco.

Esto fue demostrado por Gareth Davies en su tesis (Oxford, 2011), pero no creo que haya publicado este resultado. Hasta donde sé, no se conocen mejores resultados en la dirección de los conjuntos de Borel que no deberían funcionar.

En la otra dirección, los mejores resultados conocidos pertenecen a Arnie Miller. Mostró que

Si $V=L$, entonces existe un conjunto de dos puntos co-analítico.

Ver este artículo suyo de 1989 donde escribe sobre esta pregunta y otras cosas relacionadas, como bases de Hamel bien definidas y familias MAD. También ver este artículo relacionado de Zoltan Vidnyansky, que apareció más recientemente y extendió/aligeró algunos de los trabajos de Miller.

En un manuscrito no publicado que puso a disposición aquí en su sitio web, Arnie Miller también demostró que

Es consistente que el Axioma de Elección falle gravemente, pero aún así tenga conjuntos de dos puntos (por ejemplo, los conjuntos de dos puntos pueden existir incluso cuando no hay un buen ordenamiento de los números reales).

Ben Chad hizo bastante trabajo hace unos 5-10 años tratando de eliminar la Axioma de Elección de las construcciones de conjuntos de dos puntos tanto como fuera posible. Algunas de estas cosas se incluyeron en este artículo, en conjunto con Robin Knight y Rolf Suabedissen.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X