Il est égal au carré du déterminant de la dite matrice.
Sa propriété essentielle est d'être toujours positif pour une matrice réelle.
On parlerait d'une extension au Schostien faisant appel au module au carré pour pouvoir étendre ce merveilleux résultat aux matrices complexes. A suivre...
Espace de Schost
Egalement appelé racine carrée de R, il vérifie ExE=R. Aucune particularité topologique ne lui a encore été trouvée.