es un espacio métrico completo (ver Kolmogorov & Fomin [4]), o sea que es un