El siguiente teorema proviene de la séptima edición de " Introducción a la estadística matemática " de Hogg, Craig y Mckean y se refiere a la condición necesaria y suficiente para la independencia de dos formas cuadráticas de variables normales.
Este es un extracto bastante largo, pero agradecería algo de ayuda con solo la transición de 9.9.6 a 9.9.7 . He incluido los pasos anteriores solo para dar una idea general en caso de que un resultado anterior se use implícitamente. ¿Podría ayudarme a entender por qué 9.9.6 y 9.9.7 son representaciones equivalentes? He intentado obtener 9.9.7 por mi cuenta, pero todos mis intentos terminaron en frustración.
La prueba continúa después de eso, pero no tengo ningún otro problema. Gracias de antemano.
Me puse en contacto con el autor, el profesor Joseph W. McKean, quien conoció el error y muy amablemente ofreció la corrección. Lo estoy publicando aquí, en caso de que alguien más estudiando por su cuenta lo necesite.
Después de (9.9.6) escriba:
Deje que denote la matriz en el primer conjunto de llaves. Tenga en cuenta que tiene rango de columna completo, por lo que su núcleo es nulo; es decir, su núcleo consiste en el vector . Deje que denote la matriz en el segundo conjunto de llaves. Tenga en cuenta que tiene rango de fila completo, por lo tanto, el núcleo de es nulo.U U 0 V V V′
Para la prueba, supongamos que . EntoncesAB=0
Debido a que el núcleo de es nulo, esto implica que cada columna de la matriz entre paréntesis es . Esto implica queU 0
Del mismo modo, debido a que el núcleo de es nulo, tenemos . Por lo tanto, por ...V′ Γ11Γ′21=0 (9.9.5)
(y la prueba continúa para la otra dirección)
fuente