Hola.
Estoy viendo la demostración de que sea

un espacio métrico y

un subconjunto compacto entonces

es acotado.
Dem: Sí

la colección de bolas

es un recubrimiento abierto de

que, como

es compacto, admite un subrecubrimiento finito

. Como se trata de bolas concéntricas, sí

se tiene

.
Mis dudas son las siguientes:
1. ¿A qué se refiere con bolas concéntricas?
2. Equivalencias entre ser un conjunto acotado:
2.1 Un espacio métrico

es acotado sí existe

tal que para cada

,

. (Entendido).
2.2 Supongamos que

es cualquier espacio métrico. Un subcojunto

de

es dicho acotado sí

para algún

y

.
Por lo que veo la demostración utilizó el 2.2, ahora quisiera saber ¿Cómo veo la equivalencia entre 2.2 y 2.1?
Muchas gracias.