Принцип эквивариантности
[28/0%]Покажите, что класс является группой.
В Примере 2.2(ii) покажите, что преобразования вместе с тождественным преобразованием образуют группу.
Пусть — группа преобразований, оставляющих модель (2.1) инвариантной. Если распределения различны, покажите, что индуцированные преобразования являются взаимно однозначными преобразованиями .
При условиях Задачи 2.3 покажите, что
преобразования удовлетворяют и ;
преобразования , соответствующие , образуют группу.
установите (2.3) и (2.4).
Покажите, что функция потерь удовлетворяет (2.9) тогда и только тогда, когда она имеет вид (2.10).
Преобразования , определённые формулой (2.12), удовлетворяют и .
Если — группа, оставляющая (2.1) инвариантной, и , то является группой.
Пусть имеет распределение , и пусть . Задача инвариантна относительно преобразований . Покажите, что единственной эквивариантной оценкой является .
Покажите, что:
Если выполняется (2.11), то преобразования , определённые формулой (2.12), являются взаимно однозначными отображениями на себя.
Если из для всех следует , то , определённое формулой (2.14), единственно и является взаимно однозначным преобразованием на себя.
Если — истинная температура в градусах Цельсия, то — истинная температура в градусах Кельвина. Пусть дано наблюдение в градусах Цельсия:
Покажите, что оценка функционально эквивариантна, если она удовлетворяет для всех .
Предположим, что наша оценка есть , где — наблюдённая температура в градусах Цельсия, — априорная догадка о температуре, а и — константы. Покажите, что для некоторой константы , так что не удовлетворяет принципу функциональной эквивариантности.
Покажите, что оценки из пункта (b) не будут удовлетворять принципу формальной инвариантности.
Чтобы проиллюстрировать различие между функциональной эквивариантностью и формальной инвариантностью, рассмотрим следующий пример. Для оценки количества электроэнергии, которое можно получить от реки, можно использовать оценку
где расход воды в потоке в — пропускная способность трубы, ведущей к турбине, а — уменьшение расхода, необходимое, чтобы не нанести вред форели. Константа , измеряемая в киловаттах , переводит расход в оценку мощности в киловаттах.
Если бы измерения вместо этого производились в литрах и ваттах, так что и , покажите, что функциональная эквивариантность приводит к оценке
Принцип формальной инвариантности приводит к оценке . Покажите, что эта оценка не является разумной оценкой мощности в ваттах.
(Сообщено L. LeCam.)
В инвариантной вероятностной модели запишем , где достаточна для , а — вспомогательная статистика.
Если групповая операция транзитивна, покажите, что любая инвариантная статистика обязательно является вспомогательной.
Что можно сказать об инвариантности вспомогательной статистики?
В инвариантной задаче оценивания запишем , где достаточна для , а — вспомогательная статистика. Если группа преобразований транзитивна, покажите:
Наилучшая эквивариантная оценка является решением задачи .
Если — единичный элемент группы , то можно найти, решая для каждого задачу .
Для ситуации из Примера 2.11:
Покажите, что класс преобразований является группой.
Покажите, что эквивариантные оценки должны удовлетворять .
Покажите, что при использовании инвариантной функции потерь риск эквивариантной оценки симметричен относительно .
Для ситуации из Примера 2.12:
Покажите, что класс преобразований является группой.
Покажите, что оценки вида , где и , эквивариантны, где — произвольная функция.
Покажите, что при использовании инвариантной функции потерь риск эквивариантной оценки является функцией только от .
Теорема 2.7 утверждает: если — эквивариантная оценка в задаче, инвариантной относительно группы преобразований , то функция риска удовлетворяет для всех и всех .
Следствие 2.13 утверждает: при условиях Теоремы 2.7 функция риска любой эквивариантной оценки постоянна на орбитах .
Докажите Следствие 2.13.
Если — преобразование (2.20), найдите .
В Примере 2.12 покажите, что (2.22) не только достаточно для (2.14), но и необходимо.
В Примере 2.12 найдите наименьшую группу , содержащую и , и .
Покажите, что единственной оценкой, инвариантной относительно , является .
Если — эквивариантная оценка относительно группы , то таковой же является и , где определено формулами (2.12) и (2.13), при условии, что коммутативна.
Покажите, что:
В Примере 2.14(i) не является риск-несмещённой.
Группа преобразований вещественной прямой не коммутативна.
В Примере 2.14 найдите совокупность всех эквивариантных оценок относительно наименьшей группы , содержащей и .
Пусть вещественнозначен, а строго возрастает, так что (2.11) выполняется тривиально. Пусть — потери от оценивания величиной , и предположим, что потери от оценивания величиной равны . Покажите, что:
Если задача оценивания с функцией потерь инвариантна относительно , то и задача оценивания с функцией потерь также инвариантна.
Если эквивариантна относительно для оценивания с функцией потерь , покажите, что эквивариантна для оценивания с функцией потерь .
Если является MRE для с , то является MRE для с .
Если является MRE для оценивания в Примере 2.2(i) с функцией потерь , сформулируйте свойство оптимальности как оценки .
Пусть , и распределены с плотностью вида
где , и рассмотрим задачу оценивания с функцией потерь . Покажите, что:
Эта задача остаётся инвариантной относительно преобразований
Оценка величины эквивариантна относительно этих преобразований, если
Теорема 1.4 утверждает: пусть имеет распределение с плотностью (1.9), и пусть — эквивариантная оценка относительно функции потерь (1.15). Тогда смещение, риск и дисперсия являются постоянными (т.е. не зависят от ).
Обобщите Теорему 1.4 на ситуацию Задачи 2.23.
Если — произвольная эквивариантная оценка в Задаче 2.23, и если , покажите, что наиболее общая эквивариантная оценка имеет вид
Теорема 1.10 утверждает: пусть имеет распределение согласно (1.9), пусть и . Предположим, что функция потерь задаётся (1.15) и что существует эквивариантная оценка параметра с конечным риском. Предположим, что для каждого существует число , минимизирующее . Тогда существует эквивариантная относительно сдвига оценка параметра с минимальным риском, задаваемая формулой .
Следствие 1.12 утверждает: в условиях Теоремы 1.10: (i) если , то ; (ii) если , то — произвольная медиана относительно условного распределения при заданном .
Обобщите Теорему 1.10 и Следствие 1.12 на ситуацию Задач 2.23 и 2.25.
Покажите, что MRE-оценки из пункта (a) можно выбрать не зависящими от .
Предположим, что переменные в Задаче 2.23 независимо распределены как , известно. Покажите, что:
MRE-оценка тогда равна , где , а минимизирует (1.24) при .
Если выпукла и чётна, то MRE-оценка равна .
Результаты пунктов (a) и (b) остаются справедливыми, когда неизвестно, а распределение зависит от (но не от ).
Покажите, что преобразование из Примера 2.11 и тождественное преобразование являются единственными преобразованиями, оставляющими семейство биномиальных распределений инвариантным.