распределение при не зависит от (поскольку инвариантны относительно преобразования масштаба
Следующие лемма и теорема будут полезны в дальнейшем.
Лемма 6.7.1. Условная плотность распределения величины при заданных значениях где совпадает с условной плотностью т. е. с условной плотностью распределения при заданных значениях которой параметр у. заменяется на
Доказательство. Квадратичную форму можно записать в виде где вектор имеет плотность, показатель экспоненты которой равен —1/2, умноженной на Таким образом, имеет совместную плотность, совпадающую с совместной плотностью распределения случайных величин в которой параметр заменен на Отсюда и следует утверждение леммы.
Теорема 6.7.2. Условная плотность распределения величины при заданных значениях равна
Если , эта условная плотность не зависит от
Доказательство. В силу леммы 6.7.1, условная плотность распределения при заданных значениях совпадает с условной плотностью распределения величины для при заданных значениях (с заменой параметра на Этим доказана первая часть теоремы. Если легко проверить, что условная плотность (9) не зависит от Для этого достаточно подставить в (7) и (8) аргументы выражения (9).
Если из теоремы 6.7.2 вытекает, что совместная условная плотность распределения при заданном значении (являющаяся произведением условных плотностей вида не зависит от Таким образом, условная плотность величины при заданном значении не зависит от
Следует отметить, что лемма 6.7.1 и теорема 6.7.2 также справедливы для