Decimos que un espacio métrico MM es totalmente acotado si para cada aϵ>0ϵ>0, x1,…,xn∈Mx1,…,xn∈M tal que M=Bϵ(x1)∪…∪Bϵ(xn)M=Bϵ(x1)∪…∪Bϵ(xn).
Probar que si MM es totalmente acotado espacio métrico, a continuación, MM está acotada. Dado un ejemplo para mostrar que el recíproco es falso.
La "demostrar" que es parte de la rutina. Dado los puntos de a,ba,b, supongamos aa está en la bola de xixi yy está en la bola de xjxj. A continuación,d(a,b)≤d(a,xi)+d(xi,xj)+d(xj,b)<ϵ+d(xi,xj)+ϵd(a,b)≤d(a,xi)+d(xi,xj)+d(xj,b)<ϵ+d(xi,xj)+ϵ. Ya que hay sólo un número finito de valores de d(xi,xj)d(xi,xj), hemos terminado.
Para el "ejemplo" de la parte, el espacio debe ser limitada, pero de alguna manera no existe ϵϵ de manera tal que el espacio no pueden ser cubiertas con un número finito de bolas de radio ϵϵ. No puedo pensar en lo que el espacio debería parecer... cosas como [a,b][a,b], abierto a la pelota, etc. son totalmente acotado.