Nous nous plaçons toujours dans l'espace FA de toutes les fonctions d'un ensemble A quelconque à valeurs dans un espace normé E.
De plus, on vérifie immédiatement que :
$$f\rightarrow \left \| f \right \|=\sup_{x\in A}\left \| f\left ( x \right ) \right \|$$
est une norme.
Si F est de dimension finie et si (ai)1≤i≤n est une base de F telle que ||ai||=1 pour tous les indices i, toute application de A dans f peut s'écrire de manière unique :
$$x\rightarrow f\left ( x \right )=f_{1}\left ( x \right )a_{1}+...f_{n}\left ( x \right )a_{n}$$
Dans ces conditions :
Toujours dans ces conditions et compte tenu de ce résultat, de cet autre, et de cet autre encore :
Toujours dans le cas de la dimension finie pour F on désigne par Li le sous-espace de $\mathfrak{B}_{F}\left ( A \right )$ formé de toutes les applcations bornées de la forme x → f(x)ai où f est une fonction à valeurs scalaires.
Alors en utilisant de nouveau ce résultat et ce résultat
En particulier si on considère l'espace vectoriel réel normé sous-jacent à l'espace $\mathfrak{B}_{\mathbb{C}}\left ( A \right )$, on voit qu'il est la somme directe topologique $\mathfrak{B}_{\mathbb{R}}\left ( A \right )$+i$\mathfrak{B}_{\mathbb{R}}\left ( A \right )$
Nous abandonnons maintenant l'hypothèse selon laquelle F est de dimension finie.
De la définition de la norme dans $\mathfrak{B}_{F}\left ( A \right )$, il résulte que ∀x∈A on a
||fm(x)-fn(x)||≤ε pour m≤n0 et n≤n0. Par suite, puisque f est complet la suite (fn(x)) converge vers un élément g(x) ∈F.
On a de plus, en vertu du principe de prolongement des inégalités, ||fm(x)-g(x)||≤ε pour tout x∈A et tout m≥n0. Il en résulte que ||g(x)||≤||fm||+ε, donc g est bornée. De plus on a ||fm-g||≤ε pour tout m≥n0, ce qui signifie que la suite (fn) converge vers g dans $\mathfrak{B}_{F}\left ( A \right )$.