Digamos que es un subconjunto AA de RR tiene la propiedad P si todos los ϵ>0 no es una colección finita de intervalos abiertos (a1,b1),(a2,b2),⋯,(an,bn) tal que A⊂∪i(ai,bi) e ∑(bi−ai)<ϵ. 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 (α,β)⊂−A tome ϵ<β−α. Si A⊂∪i(ai,bi) e ∑(bi−ai)<ϵ entonces (α,β)⊂∪i[ai,bi] lo β−α<ϵ, 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.