Forme bilinéaire

En mathématiques, plus précisément en algèbre linéaire, une forme bilinéaire est une application qui à un couple de vecteurs associe un scalaire, et qui a la particularité d'être linéaire en ses deux arguments. Autrement dit, étant donné un espace vectoriel V sur un corps commutatif K, il s'agit d'une application f : V × V → K telle que, pour tous et tous , Les formes bilinéaires sont naturellement introduites pour les produits scalaires. Les produits scalaires (sur les espaces vectoriels de dimension finie ou infinie) sont très utilisés, dans toutes les branches mathématiques, pour définir une distance. La physique classique, relativiste ou quantique utilise ce cadre formel. Les formes bilinéaires interviennent dans de nombreux domaines des mathématiques. Elles forment une vaste classe d'outils utilisés pour résoudre des questions de natures très diverses. Algèbre linéaire Le domaine natif des formes bilinéaires est celui de l'algèbre linéaire. La notion de forme bilinéaire est définie sur les espaces vectoriels et se généralise sur les modules, structures de base de l'algèbre linéaire. Ces formes sont intimement liées aux applications linéaires. Le savoir associé à ces dernières permet d'éclairer la structure d'une forme bilinéaire et réciproquement les formes bilinéaires permettent d'élucider certaines particularités d'applications linéaires, par exemple dans le cas des endomorphismes autoadjoints. Il existe un espace vectoriel particulier, jouant un grand rôle pour les formes bilinéaires : le dual. L'espace vectoriel des formes bilinéaires est une copie exacte de celui des applications linéaires d'un espace dans un dual. La connaissance de la géométrie de l'espace ainsi que celle du dual permet d'élucider celle des applications linéaires de l'un vers l'autre et par la même occasion celle des formes bilinéaires. Dans le cas de la dimension finie, cette analyse est simple, le dual est une copie (non canonique) de l'espace de départ.