Annuler
connectez vous
analyse complexe en post-bac
- Les nombres complexes - supérieur
- Nombres complexes : les classiques
- Ensemble et application Partie II
- Équations différentielles : un Cours complet avec des exemples
- Généralités sur les matrices, applications linéaires, changement de base, rang d'une matrice - supérieur
- Espaces vectoriels et Applications linéaires - supérieur
- Un best-of d'exos de probabilités (après le bac)
Inscription / Connexion Nouveau Sujet
Accueil l'île des mathématiques Forum de mathématiquesListe de tous les forums de mathématiques SupérieurOn parle exclusivement de maths, pour le supérieur principalement, les BTS, IUT, prépas... LicenceMaths 2e/3e a Analyse complexeTopics traitant de analyse complexe [tout]Lister tous les topics de mathématiques
Niveau LicenceMaths 2e/3e a
Norme, produit scalaire et identité du parallélogramme
Posté par Kernelpanic
Bonjour à tous,
dans notre cours sur les espaces Hilbertien, notre professeur nous a dit que toute norme vérifiant l'identité du parallélogramme provient d'un produit scalaire sans nous donner de démo faute de temps. Je me suis lancé dans cette démonstration mais je bloque totalement. En me plaçant dans le corps des complexes, j'ai trouvé une identité de polarisation mais je ne sais pas si c'est la meilleure pour cet exercice... si il en existe une qui permet de résoudre cet exercice plus facilement, je suis preneur. J'introduis mes notations (libre à vous de les modifier) :
Soit donc notre norme sur E qui vérifie l'identité du parallélogramme.
En utilisant la formule de polarisation écrite au dessus, j'ai posé :
et je cherche à démontrer que :
- h est une forme sesquilinéaire à droite
- h est à symétrie hermitienne
- h est définie positive
j'ai pu montrer la dernière proposition, la deuxième je travaille encore dessus (je viens de me rendre compte en écrivant le sujet que j'avais oublié l'hypothèse sur l'identité du parallélogramme, à mon avis ça joue pas mal ici) mais je bloque totalement pour montrer la sesquilinéarité... quelle est l'astuce ? Merci d'avance !
Bon, en utilisant l'hypothèse, j'ai réussi à prouver que h est à symétrie hermitienne. Sesquilinéarité, à nous deux !
Bonjour,
Tu peux le faire pour un R-ev d'abord. C'est essentiellement la meme preuve.
Prouve que la forme que tu obtiens est bi-additive et continue, et donc qu'elle est R-bilinéaire, puis regarde ce que tu peux dire pour l'antilinéarité (par exemple en regardant la partie réelle sur le sous espace réel sous jacent) si tu veux en déduire le cas complexe.
Le lien 
contient le message suivant qui devrait te suffire :
Soit (c'est la partie réelle du produit hermitien que tu proposes).
Tu commences par montrer que est
bilinéaire symétrique avec les étapes suivantes :
symétrique.
(définition de
et relation du parallélogramme).
(utiliser la question précédente en introduisant
).
(dans l'ordre :
en utilisant la continuité de
).
Ensuite prendre le produit hermitien que tu proposes et montrer la propriété de conjugaison et la propriété de multiplication par .
...........................................................
Ci-après, un pdf" tout rédigé
malou edit > ***pdf rapatrié***
Bonjour luzak, merci pour le lien, je m'étais bien inspiré du topic partagé pour résoudre mon problème. Néanmoins je te suis infiniment reconnaissant pour ce pdf aussi bien rédigé, je vais me l'imprimer histoire de pas paumer la démo !