Digamos que es un subconjunto $A$ de $\mathbb R$ tiene la propiedad $P$ si todos los $\epsilon>0$ no es una colección finita de intervalos abiertos $(a_1,b_1),(a_2,b_2),\cdots,(a_n,b_n)$ tal que $A \subset \cup_i (a_i,b_i)$ e $\sum (b_i-a_i) <\epsilon$. Mi pregunta: si $A$ es un lugar denso conjunto con medida $0$ tiene la propiedad de $P$?
Algunos conceptos básicos: cada conjunto compacto de medida $0$ (obviamente) tiene la propiedad $P$. No denso conjunto de medida $0$ puede tener la propiedad $P$. Más generalmente, si $A$ tiene la propiedad $P$ entonces $A$ es denso en ninguna parte. Prueba: si $(\alpha,\beta) \subset \overset {-} {A}$ tome $\epsilon <\beta -\alpha$. Si $A \subset \cup_i (a_i,b_i)$ e $\sum (b_i-a_i) <\epsilon$ entonces $(\alpha,\beta) \subset \cup_i [a_i,b_i]$ lo $\beta -\alpha <\epsilon$, una contradicción. Mi pregunta es si cada nada denso conjunto de medida $0$ tiene la propiedad $P$. Supongo que la implicación no se sostiene, pero no tengo un contraejemplo.