Bonjour à tous,
j'ai une petite question à vous poser consernant le determinant de Gram
Soit H un espace de Hilbert et soit une famille de n vecteurs dans H\{0}
on pose:

il faut montrer que
je connais la demonstration de celle ci mais dans un espace euclidien de dimension n, est ce que je procede de la meme façon, c'est a dire que je considere comme etant une base orthogonale de l'espace engendré par et je montre que
avec A une certaine matrice dont j'ai determiné les elements

Merci beaucoup pour votre aide ....