Un paso extraño en una prueba sobre la distribución de formas cuadráticas

9

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.

ingrese la descripción de la imagen aquí

ingrese la descripción de la imagen aquí

JohnK
fuente

Respuestas:

7

(9.9.6) establece que Por lo tanto, multiplicando izquierda y derecha por y , obtenemos y No veo ninguna razón para el interior y

AB={Γ11Λ11}Γ11Γ21{Λ22Γ21}=UΓ11Γ21V
UV
UABV=UUΓ11Γ21VV
(UU)1UABV(VV)1=Γ11Γ21
UVpara desaparecer, así que apostaría por un error tipográfico. Sin embargo, la conclusión sigue siendo la misma, a saber, que si y solo si
Γ11Γ21=0
AB=0
Xi'an
fuente
Sí, ese fue mi hilo de pensamiento precisamente, gracias. Miré la lista de las erratas de este libro, pero esto no está en él, así que me pareció extremadamente desconcertante.
JohnK
7

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.UU0VVV

Para la prueba, supongamos que . EntoncesAB=0

U[Γ11Γ21V]=0

Debido a que el núcleo de es nulo, esto implica que cada columna de la matriz entre paréntesis es . Esto implica queU0

V[Γ21Γ11]=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)


JohnK
fuente