On note
l'espace vectoriel normé des applications linéaires continues de l'espace normé dans l'espace normé . Cet espace est normé par
On peut vérifier facilement qu'il s'agit bien d'un espace vectoriel normé.
Définition [Dual topologique]
L'espace dual topologique du
-espace vectoriel normé est l'espace
des formes linéaires continues.
Définition [topologie forte]
On appelle topologie forte la topologie définie sur le dual par la norme usuelle.
On va voir un peu plus loin des topologies plus ludiques sur le dual. La topologie usuelle sur le dual est la topologie faible, et pas la topologie forte (voir définition plus loin...). Notamment la partie est plus fournie en la matière.