Puisque est une forme bilinéaire, l'application est une application linéaire de dans , on peut donc considérer son noyau .