En esta respuesta, solo voy a usar una f genérica para las funciones de densidad (o funciones de probabilidad) sin denotar adecuadamente si es marginal, conjunta o condicional. Con suerte, será claro en su contexto. También supondré que sus variables aleatorias tienen tal representación (ya que no todas las variables aleatorias tienen una distribución lo suficientemente agradable como para escribir una función de densidad o probabilidad).
[matemáticas] f \ left (x_1, \ ldots, x_n | \ frac 1 n \ sum X_i = \ mu \ right) = \ frac {P \ left (\ frac 1 n \ sum X_i = \ mu | x_1, \ ldots , x_n \ right) f (x_1, \ ldots, x_n)} {P \ left (\ sum X_i = n \ mu \ right)} [/ math]
Como las muestras son iid podemos escribir:
[matemáticas] f \ left (x_1, \ ldots, x_n | \ frac 1 n \ sum X_i = \ mu \ right) = \ frac {P \ left (\ sum X_i = n \ mu | x_1, \ ldots, x_n \ right) \ prod_ {i = 1} ^ nf (x_i)} {P \ left (\ sum X_i = n \ mu \ right)} [/ math]
La probabilidad condicional en el numerador solicita la probabilidad de que la suma sea igual a un valor particular dado el valor de todas las variables aleatorias individuales. Obviamente, esto es cero (si los valores dados no suman a [math] n \ mu [/ math] o uno si suman a [math] n \ mu [/ math]. No sé cómo para escribir una función de indicador en el TeX de Quora, a partir de este momento, asumiremos que los valores dados de [math] x_1, x_2, \ ldots, x_n [/ math] tienen la propiedad de que [math] x_1 + x_2 + \ ldots + x_n = n \ mu [/ math] para que estemos trabajando en la parte distinta de cero de la densidad condicional.
- Cómo racionalizar el denominador de [matemáticas] \ frac {1} {\ sqrt 7 + \ sqrt 6 – \ sqrt {13}} [/ matemáticas]
- Gramática inglesa: ¿’entre dos números a y b’ incluye a y b?
- ¿Por qué es [math] 0 <\ cos A <\ sin A <\ frac {1} {\ cos a} \ \ text {for} \ 0 <A <\ frac {\ pi} {2} [/ math]?
- ¿Cuál es la transformación inversa de Laplace de esto?
- ¿Por qué la gráfica de x ^ (ln y) = y ^ (ln x) es el primer cuadrante abierto? ¿En qué clase debería haber aprendido eso y cómo podría probarlo?
[matemáticas] f \ left (x_1, \ ldots, x_n | \ frac 1 n \ sum X_i = \ mu \ right) = \ frac {\ prod_ {i = 1} ^ nf (x_i)} {P \ left (\ sum X_i = n \ mu \ right)} [/ math]
Finalmente, tenemos que encontrar el denominador que normaliza la distribución.
Dejar
[matemáticas] A = \ {x_1, x_2, \ ldots, x_n | \ sum x_i = n \ mu \} [/ math].
Entonces
[matemáticas] P \ left (\ sum X_i = n \ mu \ right) = \ int _ {\ {x_1, \ ldots, x_n \ in A \}} f (x_1, \ ldots, x_n) dx_1, dx_2, \ ldots , dx_n [/ math]
Nuevamente, usando el hecho de que las variables aleatorias son iid, podemos reducir la unión al producto de los marginales.
[matemáticas] P \ left (\ sum X_i = n \ mu \ right) = \ int_ {x_1, \ ldots, x_n \ in A} \ prod_ {i = 1} ^ nf (x_i) dx_i [/ math]
Debido a que [math] A \ ne \ mathbb {R} ^ n [/ math] o cualquier otro espacio de producto agradable, el denominador no se puede simplificar a una agradable integral iterada de marginales. (Puede progresar escribiéndolo como una integral iterada de condicionales cada vez más desagradables).
Entonces terminas con una respuesta como:
[matemáticas] f \ left (x_1, \ ldots, x_n | \ frac 1 n \ sum X_i = \ mu \ right) = \ frac {\ prod_ {i = 1} ^ nf (x_i)} {P (\ sum X_i = n \ mu)} [/ matemáticas]
(Recuerde que esta respuesta realmente necesita una función de indicador en el numerador que hará que la respuesta sea distinta de cero SOLAMENTE cuando [math] x_i [/ math] en el numerador satisfaga [math] \ sum x_i = n \ mu [/ math] .)
Esto es realmente una derivación complicada de un resultado simple y obvio.
Dice que la probabilidad condicional de observar una colección particular [math] x_i [/ math] es solo proporcional al producto de cuán probable es que vea cada uno de los [math] x_i [/ math]. Sin embargo, dado que no todas las combinaciones de [math] x_i [/ math] producen la media muestral dada, restringimos nuestra atención solo a las [math] x_i [/ math] que satisfacen [math] \ sum x_i = n \ mu [ /matemáticas]. Finalmente, dado que queremos una distribución adecuada, debemos normalizar por el valor correcto (que es la integral que podría ser muy difícil de encontrar en el denominador).