Soit ƒ une application de E dans F où E et F sont deux espaces vectoriels sur un corps K. L'application ƒ est une application linéaire (ou morphisme de K-espaces vectoriels) si et seulement si : Une ...
L'ensemble des formes bilinéaires de ExF forme un espace vectoriel. Cette proposition découle directement du fait que la dimension de l'espace des applications linéaires d'un espace de dimension finie ...