Si $A = a_1 \oplus a_2 \oplus \cdots \oplus a_m$ $m \leq n$ donde $a_i$ fila vectores de dimensión $n_i$ tal que $\sum_{i=1}^m n_i = n$ $\oplus$ denota la suma directa, entonces el vector aleatorio $Y$ tiene coordenadas independientes.
Esto no es difícil de ver desde $Y_1$ es medible con respecto a $\sigma(X_1, \ldots X_{n_1})$, $Y_2$ es medible con respecto a $\sigma(X_{n_1+1}, \ldots, X_{n_1+n_2})$, etc., y estos $\sigma$-álgebras son independientes puesto que el $X_i$ son independientes (esencialmente, por definición).
Obviamente, este resultado aún se mantiene si consideramos las matrices que son la columna permutaciones de la matriz $A$ descrito anteriormente. De hecho, como veremos más adelante, en el caso de que la distribución de cada una de las $X_i$ no es normal (aunque tal vez en función del índice de $i$), esto es, esencialmente, la única forma de que $A$ puede tomar para el resultado deseado para celebrar.
En la normal de distribución de caso, mientras los $A A^T = D$ para algunos matriz diagonal $D$, entonces las coordenadas de $Y$ son independientes. Esto es fácil de comprobar con el momento de generación de función.
Supongamos $X_1$ $X_2$ son iid con varianza finita. Si $X_1 + X_2$ es independiente de $X_1 - X_2$, $X_1$ $X_2$ son normales distribuidas variables aleatorias. Vea aquí. Este resultado se conoce como la del teorema de Bernstein y puede ser generalizada (ver más abajo). Una prueba se puede encontrar en Talador o aquí (Capítulo 5).
En el caso de que $A$ no puede ser escrita como una suma directa de vectores fila, siempre se puede cocinar una distribución de $X$ tal que $Y$ no tiene coordenadas independientes. De hecho, hemos
Teorema (Lukacs y el Rey, 1954): Vamos a $X_1, X_2, \cdots, X_n$ $n$ de forma independiente (pero no necesariamente idéntica) que se distribuyen las variables aleatorias con variaciones $\sigma_i^2$, y se supone que los $n$th momento de cada una de las $X_i(i = 1, 2, \cdots, n)$ existe. Las condiciones necesarias y suficientes para la existencia de dos estadísticamente independientes lineal formas $Y_1 = \sum^n_{i=1} a_i X_i$ $Y_2 = \sum^n_{i=1} b_i X_i$
- Cada variable aleatoria que tiene un coeficiente distinto de cero en ambas formas se distribuye normalmente, y
- $\sum^n_{i=1} a_i b_i \sigma^2_i = 0$.