Base dans un espace de Hilbert
Bonjour
Pour un exercice d'application, j'ai 8 états d'un espace de Hilbert complexe $\C^4$, notés de $\Psi_1$ à $\Psi_8$, j'ai calculé tous les produits scalaires des $<\Psi_n\mid \Psi_m>$ pour chaque $n$ et $m$ dans $\{1,\ldots,8\}$, j'ai le tableau en ci-joint.
On me demande s'il y a un sous-espace de $\{\Psi_1,\ldots,\Psi_8\}$ formant des bases orthogonales ou orthonormales.
Mon feeling est qu'une base orthonormale doit répondre à la propriété suivante : $<e_k\mid e_j> = 0$, pour tout $k, j$ dans $B$, avec $k \neq j$, et que je vois qu'il y a 2 "carrés" de "0" dans mon tableau des produits scalaires calculés ce qui me met sur cette voie, cependant je ne suis pas tout à fait sûr, et je ne sais pas trop de quels états est constituée ma base, auriez-vous une aide à me fournir s'il vous plaît ?
Merci !
Pour un exercice d'application, j'ai 8 états d'un espace de Hilbert complexe $\C^4$, notés de $\Psi_1$ à $\Psi_8$, j'ai calculé tous les produits scalaires des $<\Psi_n\mid \Psi_m>$ pour chaque $n$ et $m$ dans $\{1,\ldots,8\}$, j'ai le tableau en ci-joint.
On me demande s'il y a un sous-espace de $\{\Psi_1,\ldots,\Psi_8\}$ formant des bases orthogonales ou orthonormales.
Mon feeling est qu'une base orthonormale doit répondre à la propriété suivante : $<e_k\mid e_j> = 0$, pour tout $k, j$ dans $B$, avec $k \neq j$, et que je vois qu'il y a 2 "carrés" de "0" dans mon tableau des produits scalaires calculés ce qui me met sur cette voie, cependant je ne suis pas tout à fait sûr, et je ne sais pas trop de quels états est constituée ma base, auriez-vous une aide à me fournir s'il vous plaît ?
Merci !
Réponses
-
Tu t'exprimes mal quand tu parles de "sous-espace de $\{\Psi_1, \dots, \Psi_8\}$". Ensuite quand tu dis base orthogonale ou orthonormale, il faut dire de quel espace on parle. Évidemment, n'importe lequel de tes $\Psi_i$ forme une base orthogonale de la droite qu'il engendre, et pour $4$ d'entre eux, une base orthonormale.
J'imagine que la question correcte est "existe-t-il une sous-famille de $\{\Psi_1, \dots, \Psi_8\}$ formant une base orthogonale ou orthonormale de $\mathbb C^4$ ? (Au passage la mention "espace de Hilbert est ici inutile...)
Tu peux regarder la famille $\{\Psi_1, \Psi_4, \Psi_5, \Psi_6\}$ par exemple. -
Je suppose qu'il parle du $\mathbb{C}$-espace vectoriel engendré par les $\Psi_j$. Il faut faire du calcul matriciel. La matrice $M$ des coordonnées des $\Psi_j$ est écrite, il faut calculer $MM^T$ : soit calculer deux produits de matrices $4\times 4$.Les mathématiques ne sont pas vraies, elles sont commodes.Henri Poincaré
-
Bonjour,
Merci beaucoup pour ta réponse !
Effectivement les termes que j'ai employé ne sont pas appropriés, désolé, c'est un peu nouveau pour moi :-S
La question correcte est efectivement "existe-t-il une sous-famille de {PSI1,…,PSI8} formant une base orthogonale ou orthonormale de C4"
Mais du coup je ne vois pas trop pourquoi la famille que tu donnes, est-ce parce que les autres ont des valeurs de produits scalaires différents de 1 ?
Merci ! -
Il faut faire du calcul matriciel. La matrice $M$ des coordonnées des $\Psi_j$ est écrite, il faut calculer $MM^T$ : soit calculer deux produits de matrices $4\times 4$.Les mathématiques ne sont pas vraies, elles sont commodes.Henri Poincaré
-
Si $e_1,\dots, e_8$ est une base orthonormale alors quelle est la matrice du produit scalaire dans la base
$\Psi_1,\dots,\Psi_8$ et comment orthonormaliser cette derniere base? Que peut-on dire de l'application linéaire $e_i\mapsto\Psi_i$?Les mathématiques ne sont pas vraies, elles sont commodes.Henri Poincaré -
supp
-
Appelons cette matrice $M_1$ quels sont ses valeurs propres et vecteurs propres?Les mathématiques ne sont pas vraies, elles sont commodes.Henri Poincaré
-
Quels sont les valeurs propres et vecteurs propres de la matrice symétrique $(<\Psi_i,\Psi_j>)_{i,j}$?
(:P)Les mathématiques ne sont pas vraies, elles sont commodes.Henri Poincaré -
La matrice symétrique $(<\Psi_i,\Psi_j>)_{i,j}$ est-elle diagonalisable?
(:P)Les mathématiques ne sont pas vraies, elles sont commodes.Henri Poincaré -
Il y a une erreur de calcul car la matrice des produits scalaires n'est pas symétrique!Les mathématiques ne sont pas vraies, elles sont commodes.Henri Poincaré
-
Bonjour,
Merci Poirot, j'ai bien compris
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres