Deje X ser un espacio de Banach con la norma ||.|| y deje S ser un no-vacío subconjunto en X. Deje Fb(S,X) ser el espacio vectorial de F(S,X) de todas las funciones f:S→X tal que {||f(s)||:s∈S} es limitado y considerar la norma ||.||b F(S,X) dada por ||f||b=sup
Tengo que demostrar que F_b(S,X) es un espacio de Banach. Lo que significa que tengo que demostrar que es un espacio métrico completo. Si dejo d(f,g)=||f-g||_b, puedo demostrar que es un espacio métrico. Sin embargo, no soy capaz de probar que cada secuencia de Cauchy en F_b(S,X) convergería a algún elemento en F_b(S,X).