Le théorème suivant provient de la 7ème édition de " Introduction to Mathematical Statistics " par Hogg, Craig et Mckean et il concerne la condition nécessaire et suffisante pour l'indépendance de deux formes quadratiques de variables normales.
Il s'agit d'un extrait assez long, mais ce que j'aimerais de l'aide, c'est seulement la transition de 9.9.6 à 9.9.7 . J'ai inclus les étapes précédentes juste pour donner l'image globale au cas où un résultat précédent serait implicitement utilisé. Pourriez-vous s'il vous plaît m'aider à comprendre alors pourquoi 9.9.6 et 9.9.7 sont des représentations équivalentes? J'ai essayé de dériver 9.9.7 par moi-même, mais toutes mes tentatives se sont soldées par de la frustration.
La preuve continue après ça mais je n'ai pas d'autres problèmes. Merci d'avance.
J'ai contacté l'auteur, le professeur Joseph W. McKean, qui a reconnu l'erreur et a très gentiment proposé la correction. Je le poste ici, au cas où quelqu'un d'autre étudiant seul en aurait besoin.
Après (9.9.6), écrivez:
Soit la matrice du premier ensemble d'accolades. Notez que a le rang de colonne complet, donc son noyau est nul; c'est-à-dire que son noyau est composé du vecteur . Soit la matrice dans le deuxième ensemble d'accolades. Notez que a un rang complet, donc le noyau de est nul.U U 0 V V V′
Pour la preuve alors, supposons . alorsA B = 0
Étant donné que le noyau de est nul, cela implique que chaque colonne de la matrice entre crochets est . Cela implique queU 0
De la même manière, comme le noyau de est nul, nous avons . D'où par ...V′ Γ11Γ′21= 0 ( 9.9.5 )
(et la preuve continue pour l'autre sens)
la source