La pregunta es, ¿cómo demostrar matemáticamente que B(−1,r)∩(−1,1) es no vacío para todo r>0? Aquí, B(−1,r) es la bola alrededor de −1 dentro de R. De manera intuitiva, es claro, ya que hay un intervalo [−1,r) dentro de B(−1,r) que contendrá un elemento de (−1,1). Pero ¿está garantizado esto cuando r es increíblemente pequeño (cerca de 0)? No logro escribir la prueba correctamente.
Aquí hay un ejemplo de lo que pensé. Supongamos por el contrario que B(−1,r)∩(−1,1) es vacío para algún r>0. ¿Debería elegir un elemento y∈(−1,1) para demostrar que y está de hecho en B(−1,r) y así llegar a una contradicción? Si es así, ¿cómo?