Предварительные сведения
[173/0%]Если — это точек на плоскости, найдите наилучшую в смысле метода наименьших квадратов прямую , то есть найдите значения и , минимизирующие .
Пусть — некоррелированные случайные величины с общим математическим ожиданием и дисперсией . Тогда среди всех линейных оценок параметра , удовлетворяющих условию , среднее имеет наименьшую дисперсию.
В предыдущей задаче минимизируйте дисперсию
Когда дисперсия равна ( известно).
Когда имеют общую дисперсию , но коррелированы с общим коэффициентом корреляции .
(Обобщения этих результатов см., например, Watson 1967 и Kruskal 1968.)
Пусть и имеют общее математическое ожидание , дисперсии и и коэффициент корреляции . Определите условия на и , при которых
.
Значение , минимизирующее , отрицательно.
Дайте интуитивное объяснение полученным результатам.
Пусть независимо распределены согласно плотностям Коши . Тогда распределена как . [Указание: Перейдите к новым переменным .]
Если независимые одинаково распределённые как , то распределение снова является . [Указание: Докажите по индукции, используя Задачу 5.]
Медианой называется любое значение , такое что и .
Покажите, что это эквивалентно условиям и .
Покажите, что множество медиан всегда является замкнутым интервалом .
Если для некоторого , покажите, что минимизируется любой медианой . [Указание: Если (в обозначениях Задачи 1.7) и , то
Медианой любого набора различных действительных чисел называется средний элемент упорядоченных , если нечётно, и любое значение между двумя средними упорядоченными , если чётно. Покажите, что это также медиана случайной величины , принимающей каждое из значений с вероятностью .
Для любого набора различных действительных чисел сумма абсолютных отклонений минимизируется любой медианой чисел .
Для заданных точек , найдите значение , минимизирующее . [Указание: Сведите задачу к частному случаю Задачи 8.]
Для любого набора чисел и монотонной функции покажите, что значение , минимизирующее , задаётся формулой . Найдите функции , при которых минимизирующее значение даёт среднее арифметическое, среднее геометрическое и среднее гармоническое.
Если две оценки имеют непрерывные симметричные плотности , и , то
и, следовательно, будет ближе к , чем , по отношению к мере (1.5).
Пусть независимо распределены с общей непрерывной симметричной плотностью , и пусть . Неравенство из пункта (a) будет выполняться, если (Edgeworth 1883, Stigler 1980).
Пусть . Покажите, что является плотностью вероятности и что все её моменты порядка конечны.
Плотность из пункта (a) удовлетворяет неравенству Задачи 1.11(b).
Если биномиальна , покажите, что
Постройте график функции риска из пункта (i) для и .
Если — элементы -алгебры (множества не обязательно непересекающиеся), то их объединение и пересечение также принадлежат .
Для любых следующие множества являются борелевскими
и
.
В условиях Задачи 2.1 пусть
Тогда и принадлежат .
Покажите, что
Если , то .
Если , то .
Для любой последовательности действительных чисел покажите, что множество всех предельных точек подпоследовательностей замкнуто. Наименьшая и наибольшая из таких предельных точек (которые могут быть бесконечными) обозначаются через и соответственно.
В условиях Задач 2.1 и 2.3 покажите, что
где обозначает индикатор множества .
Пусть — пространство с мерой, и пусть — класс всех множеств , где , а — подмножество некоторого множества с . Покажите, что является -алгеброй.
Если и — измеримые функции, то измеримыми являются и
-
, и
-
.
Если интегрируема относительно , то и интегрируема, причём . [Указание: Выразите через и .]
Пусть считающая мера на , и интегрируема. Тогда . [Указание: Предположим сначала, что , и пусть — простая функция, равная при , и 0 в остальных случаях.]
Пусть или 0 в зависимости от того, рационально или иррационально. Покажите, что интеграл Римана от не существует.
Пусть имеет стандартное нормальное распределение, и пусть . Определите, является ли
функция распределения пары непрерывной.
распределение абсолютно непрерывным относительно меры Лебега на плоскости .
Покажите, что любая функция , удовлетворяющая (3.7), непрерывна.
Пусть — измеримое преобразование из в (то есть такое, что для любого множество принадлежит ), и пусть — измеримое преобразование из в . Тогда является измеримым преобразованием из в .
В Примере 3.1 покажите, что носитель равен тогда и только тогда, когда строго возрастает на .
Пусть — носитель распределения на евклидовом пространстве . Тогда,
-
замкнуто;
-
;
-
является пересечением всех замкнутых множеств с .
Если и — две эквивалентные вероятностные меры на одном и том же евклидовом пространстве, то они имеют один и тот же носитель.
Пусть и задают вероятности
Тогда покажите, что и имеют один и тот же носитель, но не являются эквивалентными.
Пусть и — независимые случайные величины с и . Непосредственные наблюдения и получить невозможно. Вместо этого мы наблюдаем случайные величины и , где
Найдите совместное распределение и и покажите, что они независимы. (Переменные и цензурированы — ситуация, часто встречающаяся в медицинских экспериментах. Предположим, что измеряет время выживания при некотором лечении, а пациент выбывает из исследования по причине, не связанной с этим. Мы не получаем измерения , а только нижнюю границу.)
Если распределения положительной случайной величины образуют семейство масштаба, покажите, что распределения образуют семейство сдвига.
Если распределена согласно равномерному распределению , покажите, что распределение является показательным.
Пусть равномерно распределена на , и рассмотрим переменные . Покажите, что это определяет групповое семейство, и найдите плотность .
Покажите, что группа преобразований является группой.
Если — произвольный элемент группы , покажите, что когда пробегает , то и пробегает .
Покажите, что при плотность (4.15) переходит в (4.16).
Покажите, что семейство преобразований (4.12) с невырожденной нижнетреугольной матрицей образует группу .
Покажите, что совокупность всех невырожденных многомерных нормальных распределений может быть получена с помощью подгруппы из (4.12), описанной в Задаче 4.7.
В предыдущей задаче покажите, что можно заменить подгруппой нижнетреугольных матриц , в которых диагональные элементы все положительны, но никакая собственная подгруппа для этого не подойдёт.
Покажите, что семейство всех непрерывных распределений, носитель которых представляет собой интервал с положительной нижней границей, является групповым семейством. [Указание: Пусть равномерно распределена на интервале , и пусть , где , а непрерывна и взаимно однозначна из в .]
Найдите модификацию группы преобразований (4.22), порождающую случайную выборку из генеральной совокупности , в которой значения , вместо того чтобы быть произвольными, ограничены условием
быть положительными и
удовлетворять .
Обобщите группу преобразований из Примера 4.10 на случай генеральных совокупностей , когда из -й совокупности берётся случайная выборка объёма .
Пусть — положительная случайная величина, и пусть
Покажите, что это определяет групповое семейство.
Если распределена как , то распределена согласно распределению Вейбулла с плотностью
Если и — две непрерывные строго возрастающие функции распределения на вещественной прямой, и если функция распределения равна , а строго возрастает, покажите, что функция распределения равна тогда и только тогда, когда .
Следующие два семейства распределений не являются групповыми семействами:
Класс биномиальных распределений с фиксированным и .
Класс распределений Пуассона .
Пусть имеют многомерное нормальное распределение с и ковариационной матрицей . Если — вектор-столбец с элементами , а — матрица констант размера , то имеет многомерное нормальное распределение со средним и ковариационной матрицей .
Найдите естественное параметрическое пространство для (5.2), когда — мера Лебега, а равно
-
и
-
.
Предположим, что в (5.2) и . Объясните, почему невозможно оценить . [Указание: Сравните эту модель с моделью, полученной при подстановке .]
Покажите, что распределение выборки из -мерной нормальной плотности (4.15) образует -мерное экспоненциальное семейство. Найдите и определите функции , и из (5.1).
Efron (1975) даёт весьма общие определения кривизны, обобщающие (10.1) и (10.2). Для -мерного семейства (5.1) с ковариационной матрицей , если — скаляр, определим статистическую кривизну как , где
причём и . Вычислите кривизну семейства (см. Пример 6.19) для . Упорядочены ли значения так, как вы ожидали?
Пусть имеет двумерное нормальное распределение с вектором средних и единичной ковариационной матрицей. В каждой из следующих ситуаций проверьте кривизну семейства.
.
.
В плотности (5.1)
Для покажите, что и .
Для покажите, что , где — матрица Якоби, определённая как , а — вектор градиента .
(Общее рассмотрение этих тождеств см. в Johnson, Ladalla, and Liu (1979).)
Проверьте соотношения
(5.22) и
(5.26).
Для биномиального распределения (5.28) проверьте
производящую функцию моментов (5.30) и
моменты (5.31).
Для распределения Пуассона (5.32) проверьте моменты (5.35).
В последовательности испытаний Бернулли с вероятностью успеха пусть — число испытаний, необходимых для достижения успехов.
Покажите, что распределение — отрицательное биномиальное распределение — задаётся Таблицей 5.1.
Проверьте, что вероятности отрицательного биномиального распределения в сумме дают 1, разложив .
Покажите, что распределения из пункта (a) образуют однопараметрическое экспоненциальное семейство.
Покажите, что производящая функция моментов равна .
Покажите, что и .
Разложив , покажите, что первые четыре кумулянта равны , и .
В предыдущей задаче пусть — число испытаний, требуемых после -го успеха до наступления следующего успеха. Используя тот факт, что , найдите альтернативный вывод среднего и дисперсии из пункта (e).
Дискретная случайная величина с вероятностями
называется распределением степенного ряда. Это экспоненциальное семейство (5.1) с и . Производящая функция моментов равна .
Покажите, что биномиальное, отрицательное биномиальное распределения и распределение Пуассона являются частными случаями распределения степенного ряда из Задачи 5.12, и найдите и .
Распределение из Задачи 5.12 с и , является логарифмическим распределением. Покажите, что производящая функция моментов равна , и найдите и .
Для полиномиального распределения (5.4) проверьте формулы моментов (5.16).
В качестве альтернативы использованию (5.14) и (5.15), получите моменты (5.16), представив каждую в виде суммы индикаторов, как это было сделано в (5.5):
Для гамма-распределения (5.41).
проверьте формулы (5.42), (5.43) и (5.44);
покажите, что (5.43) без среднего члена выполняется не только для всех положительных целых , но и для всех действительных .
Лемма 5.15 (тождество Стейна) утверждает: если распределена с плотностью (5.2) и — произвольная дифференцируемая функция, такая что , то
при условии, что носитель — это . Если носитель — ограниченный интервал , то тождество выполняется, если при или .
Докажите Лемму 5.15. (Используйте интегрирование по частям.)
Выбирая равным и , используйте тождество Стейна для вычисления третьего и четвёртого моментов распределения .
Используя Лемму 5.15:
Выведите вид тождества для и используйте его для проверки моментов, приведённых в (5.44).
Выведите вид тождества для и используйте его для проверки того, что и .
В качестве альтернативы подходу Задачи 5.19(b) для вычисления моментов можно вывести общую формулу для (аналогичную уравнению (5.43)). Сделайте это и используйте полученный результат для проверки среднего и дисперсии , найденных в Задаче 5.19. [Указание: Запишите в виде интеграла от и используйте константу из Таблицы 5.1. Заметьте, что аналогичный подход применим и ко многим другим распределениям, включая распределения , Стьюдента и .]
Тождество Стейна также может быть применено к дискретным экспоненциальным семействам, как показано у Hudson (1978) и обобщено у Hwang (1982a). Если принимает значения в с функцией вероятности
то для любой с имеет место тождество
где и при .
Докажите это тождество.
Используйте тождество для вычисления первых четырёх моментов биномиального распределения (5.31).
Используйте тождество для вычисления первых четырёх моментов распределения Пуассона (5.35).
Обратное гауссовское распределение имеет функцию плотности
Покажите, что эта плотность образует экспоненциальное семейство.
Покажите, что эта плотность является семейством масштаба (в смысле определения из Примера 4.1).
Покажите, что статистики и являются полными достаточными статистиками.
Покажите, что и .
Замечание: Наряду с нормальным и гамма-распределением, обратное гауссовское распределение завершает тройку семейств, являющихся одновременно экспоненциальным и групповым семейством распределений. Этот факт играет важную роль в теории распределений, основанной на седловых приближениях (Daniels 1983) или теории правдоподобия (Barndorff-Nielsen 1983).
В Примере 5.14 покажите, что
— это распределение , где распределена как ;
— это распределение , где независимы и распределены как .
Найдите значения , при которых плотность (5.41) является
убывающей функцией на и
возрастает при и убывает при .
В случае (b) найдите моду плотности.
Случайная величина имеет распределение Парето , если её функция распределения равна , .
Распределения образуют однопараметрическое экспоненциальное семейство (5.2) с и .
Статистика распределена как .
Семейство является групповым семейством.
Если распределена согласно двумерному нормальному распределению (4.16) с :
Покажите, что производящая функция моментов равна
Используя (a), покажите, что
Если — случайный вектор-столбец с математическим ожиданием , то ковариационная матрица равна .
Если плотность равна (4.15), то и .
Пусть распределена с плотностью , заданной (5.1), и пусть — произвольное фиксированное подмножество выборочного пространства. Тогда распределения , усечённые на , то есть распределения с плотностью , снова образуют экспоненциальное семейство.
Приведите пример, в котором естественное параметрическое пространство исходного экспоненциального семейства является собственным подмножеством естественного параметрического пространства усечённого семейства.
Если независимо распределены согласно , покажите, что распределена как . [Указание: Метод 1. Докажите это сначала для суммы двух гамма-величин с помощью перехода к новым переменным , а затем используйте индукцию. Метод 2. Найдите производящую функцию моментов и используйте тот факт, что распределение однозначно определяется своей производящей функцией моментов, если последняя существует хотя бы для некоторого .]
Если независимо распределены согласно распределениям Пуассона , найдите распределение .
Пусть независимо распределены как . Покажите, что совместное распределение является двухпараметрическим экспоненциальным семейством, и определите функции и из (5.1).
Если распределена как , найдите распределение и покажите, что при фиксированном и меняющемся оно определяет экспоненциальное семейство.
Morris (1982, 1983b) исследовал свойства естественных экспоненциальных семейств с квадратичными функциями дисперсии. Существует лишь шесть таких семейств: нормальное, биномиальное, гамма-распределение, распределение Пуассона, отрицательное биномиальное и менее известное обобщённое распределение гиперболического секанса, являющееся плотностью , где .
Найдите плотность и покажите, что она образует экспоненциальное семейство.
Найдите среднее и дисперсию и покажите, что дисперсия равна , где — среднее.
Дальнейшие работы по квадратичным и другим семействам со степенной дисперсией принадлежат Bar-Lev and Enis (1986, 1988), Bar-Lev and Bshouty (1989) и Letac and Mora (1990).
Обобщите Пример 6.2 на случай, когда независимо распределены с распределениями Пуассона , где .
Пусть независимые одинаково распределённые согласно распределению и плотности вероятности . Покажите, что условное распределение, при условии , значений в количестве , лежащих слева от , и значений в количестве , лежащих справа от , совпадает с распределением переменных, независимо распределённых с плотностью вероятности , и переменных, независимо распределённых с плотностью , соответственно, причём эти два набора (условно) независимы друг от друга.
Пусть — положительная интегрируемая функция на , и пусть — плотность на , определённая как , если , и 0 в противном случае. Если независимые одинаково распределённые с плотностью , покажите, что достаточна для .
Пусть — положительная интегрируемая функция, определённая на , и пусть — плотность вероятности, определённая как , если , и 0 в противном случае. Если независимые одинаково распределённые с плотностью , покажите, что достаточна для .
Покажите, что каждая из статистик Примера 6.11 является достаточной.
Теорема 6.5 (критерий факторизации) утверждает: необходимым и достаточным условием того, что статистика достаточна для семейства распределений , доминируемого -конечной мерой , является существование неотрицательных функций и , таких что плотности распределений удовлетворяют (п.в. ).
Следствие 6.13 утверждает: в условиях Теоремы 6.5 необходимым и достаточным условием достаточности статистики является то, что для любых фиксированных и отношение является функцией только от .
Докажите Следствие 6.13.
Пусть и независимо распределены согласно и соответственно. Найдите минимальные достаточные статистики для следующих случаев:
произвольны: .
, а произвольны.
, а произвольны.
Пусть независимые одинаково распределённые согласно . Найдите минимальный набор достаточных статистик.
Если и имеют одинаковые элементарные симметрические функции , то являются перестановкой .
В обозначениях Примера 6.10 покажите, что эквивалентна . [Указание: Сравните коэффициенты и корни многочленов и .]
Покажите, что порядковые статистики являются минимальными достаточными для семейства сдвига (6.7), когда — плотность
двойного экспоненциального распределения .
распределения Коши .
Докажите следующее обобщение Теоремы 6.12 на семейства без общего носителя.
Теорема 9.1. Пусть — конечное семейство с плотностями , и для любого пусть — множество пар индексов , для которых . Тогда статистика
является минимальной достаточной. Здесь , если и .
В Задаче 6.11 недостаточно заменить на . Чтобы убедиться в этом, положим и , и .
Пусть и .
Покажите, что минимальная достаточная статистика для есть , если , .
Пусть и независимые одинаково распределённые согласно распределению из . Покажите, что каждая из двух статистик и достаточна для .
Покажите, что и эквивалентны.
В Лемме 6.14 покажите, что предположение об общем носителе можно заменить более слабым предположением о том, что каждое -нулевое множество также является -нулевым множеством, так что (п.в. ) эквивалентно (п.в. ).
Пусть независимые одинаково распределённые согласно распределению из , и пусть — подсемейство , для которого рационально. Покажите, что каждое -нулевое множество в выборочном пространстве также является -нулевым множеством.
Пусть независимые одинаково распределённые согласно распределению из семейства . Покажите, что является минимальной достаточной в следующих случаях:
.
.
.
Решите предыдущую задачу для следующих случаев:
.
.
.
Покажите, что статистики и из Задачи 6.17(c) независимо распределены как и Gamma соответственно.
Покажите, что достаточные статистики
-
Задачи 6.3 и
-
Задачи 6.4
являются минимальными достаточными.
Покажите, что в искривлённом экспоненциальном семействе достаточная статистика не является минимальной.
Для плотности из Примера 6.19 покажите, что является минимальной достаточной статистикой.
Для ситуации из Примера 6.25(ii) найдите несмещённую оценку , основанную на , и ещё одну, основанную на ; отсюда сделайте вывод, что не является полной.
Для ситуации из Примера 6.26 покажите, что является минимальной достаточной и полной.
Для ситуации из Примера 6.27:
Покажите, что является минимальной достаточной для семейства (6.16) с ограничением (6.17).
Установите (6.18) и, следовательно, покажите, что минимальная достаточная статистика из пункта (a) не является полной.
Покажите, что для общей модели «доза-эффект»
статистика является минимальной достаточной, если существуют векторы , такие что матрица размера
обратима. (Указание: Теорема 6.12.)
Пусть , независимые одинаково распределённые согласно равномерному распределению на множестве на плоскости , и пусть — семейство распределений, получаемое при изменении в некотором классе множеств . Найдите минимальную достаточную статистику для следующих случаев:
— множество всех прямоугольников , .
— подмножество , для которого .
— подмножество , для которого .
Решите предыдущую задачу, если
— множество всех треугольников со сторонами, параллельными оси , оси и прямой соответственно.
— подмножество , в котором стороны, параллельные осям и , равны.
Сформулируйте общий результат, частными случаями которого являются Задачи 6.25(a) и 6.26(a).
Если распределена как , то распределение есть . (Этот результат полезен при компьютерной генерации случайных величин; см. Задачу 4.4.14.)
Если минимальная достаточная статистика существует, то необходимым условием полноты достаточной статистики является её минимальность.
Покажите, что минимальные достаточные статистики из Задачи 6.16(b) полны. [Указание: Используйте подход Примера 6.24.]
Для каждой из следующих задач определите, является ли минимальная достаточная статистика полной:
Задача 6.7(a)-(c);
Задача 6.25(a)-(c);
Задача 6.26(a) и (b).
Покажите, что если — два семейства распределений, такие что и каждое нулевое множество также является нулевым множеством , то достаточная статистика , полная для , также полна для .
Пусть — класс биномиальных распределений фиксировано, и пусть , где — распределение Пуассона с математическим ожиданием 1. Тогда полно, а — нет.
Пусть независимые одинаково распределённые, каждая с плотностью (относительно меры Лебега), которая неизвестна. Покажите, что порядковые статистики полны.
Пусть — независимая одинаково распределённая выборка из семейства сдвига-масштаба с функцией распределения .
Если известно, покажите, что разности , являются вспомогательными.
Если известно, покажите, что отношения , являются вспомогательными.
Если ни , ни неизвестны, покажите, что величины , являются вспомогательными.
Используя теорему Басу, докажите независимость следующих пар статистик:
и , где независимые одинаково распределённые как .
и в Задаче 6.18.
В условиях Задачи 6.18 отношения , независимы от .
В условиях Задач 6.16(b) и 6.30 отношения , независимы от .
В условиях Теоремы 6.5 пусть — произвольное фиксированное множество в выборочном пространстве, — распределение , усечённое на , и . Тогда докажите
если достаточна для , то она достаточна для .
если, кроме того, полна для , то она также полна для .
Обобщения этого результата были получены Tukey в 1940-х годах, а также Smith (1957). Аналогичная задача для наблюдений, которые цензурированы, а не усечены, рассматривается у Bhattacharyya, Johnson, and Mehrotra (1977).
Если независимые одинаково распределённые как ,
Покажите, что является минимальной достаточной для .
Найдите минимальную достаточную статистику при .
Проверьте выпуклость функций (i)-(vi) из Примера 7.3.
Покажите, что вогнута на , если .
Приведите пример, показывающий, что выпуклая функция не обязательно непрерывна на замкнутом интервале.
Если выпукла на , а выпукла и не убывает на области значений , покажите, что функция выпукла на .
Докажите или опровергните контрпримером каждое из следующих утверждений. Если выпукла на , то выпукла и
-
и
-
, если .
Покажите, что если в (7.1) достигается равенство при некотором , то линейна на .
Установите следующую лемму, полезную при исследовании функций риска некоторых оценок. (Дальнейшее обсуждение см. в Casella 1990).
Лемма 9.2. Пусть вогнута. Тогда,
-
не убывает и
-
не возрастает.
Докажите неравенство Йенсена для случая, когда принимает значения с вероятностями , непосредственно из (7.1) по индукции по .
Несколько иная форма теоремы Рао—Блэквелла, применимая только к дисперсии оценки, а не к произвольной выпуклой функции потерь, может быть установлена без неравенства Йенсена.
Для произвольной оценки с и произвольной статистики покажите, что
Опираясь на тождество из пункта (a), сформулируйте и докажите теорему типа Рао—Блэквелла для дисперсий.
Тождество из пункта (a) играет важную роль как в теоретической, так и в прикладной статистике. Например, объясните, как уравнение (1.2) можно интерпретировать как частный случай этого тождества.
Пусть равномерно распределена на , и пусть — функция распределения на вещественной прямой.
Если непрерывна и строго возрастает, покажите, что имеет функцию распределения .
Для произвольной покажите, что по-прежнему имеет функцию распределения .
Покажите, что -мерный шар выпуклый.
Покажите, что минимизируется при и .
Покажите, что выпукла, показав, что её матрица Гессе положительно полуопределена.
Покажите, что результат Задачи 7.4 остаётся справедливым, если — выпуклая функция, определённая на открытом выпуклом множестве в .
Используя (b), получите альтернативное доказательство результата из пункта (a).
Определите, являются ли следующие функции супер- или субгармоническими:
.
.
.
Функция называется полунепрерывной снизу в точке , если . Определение супергармоничности можно распространить с непрерывных функций на полунепрерывные снизу.
Покажите, что непрерывная функция полунепрерывна снизу.
Функция супергармонична на .
Для оценки параметра покажите, что функция потерь
субгармонична.
Если супергармонична, то также супергармонична, где — дважды дифференцируемая возрастающая вогнутая функция.
Если супергармонична, то также супергармонична, где — плотность.
Если супергармонична, то и супергармонична, где — функция распределения.
(Предполагается, что все необходимые интегралы существуют и что дифференцирование можно вносить под знак интеграла.)
Используя выпуклость функции из Задачи 7.13, покажите, что естественное параметрическое пространство экспоненциального семейства (5.2) выпукло.
Покажите, что если определена и ограничена на или , то не может быть выпуклой (если только она не постоянна).
Покажите, что выпукла при .
Если и — вещественнозначные функции, такие что измеримы относительно -конечной меры , докажите неравенство Шварца
Покажите, что функции потерь (7.24) непрерывно дифференцируемы.
Докажите утверждения, сделанные в Примере 7.20(i) и (ii).
Пусть — унимодальная плотность, симметричная относительно 0, и пусть — функция потерь с , не убывающей на и симметричной относительно 0.
Функция , определённая в Теореме 7.15, принимает минимум при 0.
Если
то принимает своё единственное минимальное значение при тогда и только тогда, когда существует , такое что , и для всех . [Указание: Заметьте, что , причём строгое неравенство имеет место тогда и только тогда, когда для всех .]
Предположим, что и удовлетворяют условиям Задачи 7.23 и что строго убывает на . Тогда, если для некоторого , имеет единственный минимум в нуле, если только не существует , такие что
Если симметрична относительно 0, строго возрастает на , и для некоторого , то имеет единственный минимум в (0) для всех симметричных унимодальных .
[Задачи 7.23 и 7.24 сообщены Dr. W.Y. Loh.]
Пусть — вещественнозначная функция, удовлетворяющая
и пусть — случайная величина с непрерывной плотностью вероятности . Тогда достигает своего минимума.
Пусть — строго выпуклая функция, определённая на интервале (конечном или бесконечном). Если существует значение в , минимизирующее , то единственно.
Следствие 7.19 утверждает: в условиях Теоремы 7.15 (пусть — выпуклая функция, определённая на , а — случайная величина, такая что конечна при некотором ), предположим, что чётна, а симметрична относительно . Тогда достигает минимума при .
Обобщите Следствие 7.19 на случай, когда и являются векторами.
Лемма 9.3 утверждает: достаточным условием сходимости по вероятности к является .
Докажите неравенство Чебышёва: для любой случайной величины и неотрицательной функции ,
для каждого . (Во многих статистических приложениях полезно брать для некоторых констант и .)
Докажите Лемму 9.3. [Указание: Примените неравенство Чебышёва.]
Чтобы убедиться, что обратное утверждение к Теореме 8.2 не верно, пусть независимые одинаково распределённые с , и пусть с вероятностью и с вероятностью . Если и — константы, удовлетворяющие
то состоятельна для оценивания , но не стремится к нулю.
Предположим, что — чётная функция, не убывающая и неотрицательная при и положительная при . Тогда для всех влечёт, что состоятельна для оценивания .
Если и сходятся по вероятности к и соответственно, то сходится по вероятности к .
Если принимает постоянное значение с вероятностью 1, и , то по вероятности.
Обращаясь к Примеру 8.4, покажите, что для любой последовательности констант . В частности, MLE является состоятельной оценкой .
Проверьте уравнение (8.9).
Если — последовательность действительных чисел, стремящаяся к , и если , то .
Если состоятельна для , а непрерывна, то состоятельна для .
Пусть независимые одинаково распределённые как , и пусть , если , и . Найдите состоятельную оценку .
В Примере 8.5 найдите для любых .
Проверьте (8.10).
В Примере 8.5 найдите значение , при котором становится независимым от .
Если имеет значение, найденное в (a), то для любых целых и совместное распределение совпадает с распределением .
Предположим, что имеют общее среднее и дисперсию , и что . Для оценивания покажите, что:
не состоятельна, если для всех ;
состоятельна, если при .
Предположим, что сходится по распределению к непрерывному предельному распределению . Докажите, что:
Если или , то также сходится к непрерывному предельному распределению.
Если или , то сходится по вероятности к нулю или бесконечности соответственно.
Если , то по вероятности.
Покажите, что если по вероятности, то она сходится по распределению к случайной величине , равной с вероятностью 1.
В Примере 8.7(i) и (ii) по вероятности. Покажите, что:
Если обозначает функцию распределения в Примере 8.7(i) и (ii), то для всех и для всех .
Найдите для Примера 8.7(i) и (ii).
Если удовлетворяет , найдите предельное распределение (надлежащим образом нормированных)
и
.
Если удовлетворяет , найдите предельное распределение (надлежащим образом нормированных)
,
,
, и
.
Дисперсионно-стабилизирующие преобразования — это преобразования, при которых полученная статистика имеет асимптотическую дисперсию, не зависящую от интересующих параметров. Для каждого из следующих случаев найдите асимптотическое распределение преобразованной статистики и покажите, что оно стабилизирует дисперсию.
.
.
Функция является дисперсионно-стабилизирующим преобразованием, если оценка имеет асимптотическую дисперсию , где — константа, не зависящая от .
Для произвольного положительного целого найдите дисперсионно-стабилизирующее преобразование, если . В частности, будьте внимательны в важном случае .
[Дисперсионно-стабилизирующее преобразование (если оно существует) является решением дифференциального уравнения, возникающего из приближения дельта-метода для дисперсии оценки (Теорема 8.12), и не зависит от распределения статистики (за исключением того, что распределение определяет вид дисперсии). Преобразования из пункта (b) известны как семейство степенных преобразований Бокса—Кокса и играют важную роль в прикладной статистике. Подробнее и для интересных обсуждений см. Bickel and Doksum 1981, Box and Cox 1982 и Hinkley and Runger 1984.]
Serfling (1980, Раздел 3.1) отмечает, что можно установить следующие вариации Теоремы 8.12. Покажите, что:
Если дифференцируема в окрестности , а непрерывна в , то можно заменить на , получив
Более того, если — непрерывная функция , скажем, , её можно заменить на , получив
Теорема 8.16 утверждает (она начинается в многомерной постановке, но её заключение одномерно): пусть , , — независимых -наборов случайных величин с и . Пусть , и предположим, что — вещественнозначная функция от аргументов с непрерывными первыми частными производными. Тогда,
где , при условии .
Докажите Теорему 8.16.
Говорят, что последовательность чисел есть при , если , и есть , если существуют и , такие что для всех , или, что эквивалентно, если ограничена.
Если , то .
тогда и только тогда, когда ограничена.
тогда и только тогда, когда .
Если есть , а стремится к конечному пределу, то есть .
Если и оба есть , то и есть .
Если и оба есть , то и есть .
Предположим, что .
Если и , то .
Если и , то .
Последовательность случайных величин называется ограниченной по вероятности, если для любого существуют и , такие что для всех . Покажите, что если сходится по распределению, то ограничена по вероятности.
В обобщение обозначений и , будем говорить, что , если по вероятности, и что , если ограничена по вероятности. Покажите, что результаты Задач 8.21-8.23 остаются справедливыми, если и заменить на и .
Пусть имеет двумерное нормальное распределение со средними , дисперсиями и коэффициентом корреляции , стремящимся к 1 при .
Покажите, что , где есть и .
Если , покажите, что (8.25) не выполняется.
Теорема 8.22 утверждает: предположим, что сходится по распределению к многомерному нормальному распределению с вектором средних и ковариационной матрицей , и предположим, что — вещественнозначных функций от , определённых и непрерывно дифференцируемых в окрестности точки параметра и таких, что матрица частных производных невырождена в . Тогда сходится по распределению к многомерному нормальному распределению с вектором средних и ковариационной матрицей .
Докажите Теорему 8.22. [Указание: Проведите разложение Тейлора, как в доказательстве Теоремы 8.12, и используйте Задачу 4.16.]