1.6

Достаточные статистики

[38/0%]
Показать
LaTeX
Задача 1.6.1

Обобщите Пример 6.2 на случай, когда X1,…,XrX_{1}, \ldots , X_{r} независимо распределены с распределениями Пуассона P(λi)P\left(\lambda_{i}\right), где λi=aiλ(ai>0, известно)\lambda_{i}=a_{i} \lambda \left(a_{i}>0 \text{, известно}\right).

?
Задача 1.6.2

Пусть X1,…,XnX_{1}, \ldots , X_{n} независимые одинаково распределённые согласно распределению FF и плотности вероятности ff. Покажите, что условное распределение, при условии X(i)=aX_{(i)}=a, значений в количестве i−1i-1, лежащих слева от aa, и значений в количестве n−in-i, лежащих справа от aa, совпадает с распределением i−1i-1 переменных, независимо распределённых с плотностью вероятности f(x)/F(a)f(x) / F(a), и n−in-i переменных, независимо распределённых с плотностью f(x)/[1−F(a)]f(x) /[1-F(a)], соответственно, причём эти два набора (условно) независимы друг от друга.

?
Задача 1.6.3

Пусть ff — положительная интегрируемая функция на (0,∞)(0, \infty ), и пусть pθ(x)p_{\theta }(x) — плотность на (0,θ)(0, \theta ), определённая как pθ(x)=c(θ)f(x)p_{\theta }(x)=c(\theta ) f(x), если 0<x<θ0<x<\theta, и 0 в противном случае. Если X1,…,XnX_{1}, \ldots , X_{n} независимые одинаково распределённые с плотностью pθp_{\theta }, покажите, что X(n)X_{(n)} достаточна для θ\theta.

?
Задача 1.6.4

Пусть ff — положительная интегрируемая функция, определённая на (−∞,∞)(-\infty , \infty ), и пусть pξ,η(x)p_{\xi , \eta }(x) — плотность вероятности, определённая как pξ,η(x)=c(ξ,η)f(x)p_{\xi , \eta }(x)=c(\xi , \eta ) f(x), если ξ<x<η\xi <x<\eta, и 0 в противном случае. Если X1,…,XnX_{1}, \ldots , X_{n} независимые одинаково распределённые с плотностью pξ,ηp_{\xi , \eta }, покажите, что (X(1),X(n))\left(X_{(1)}, X_{(n)}\right) достаточна для (ξ,n)(\xi , n).

?
Задача 1.6.5

Покажите, что каждая из статистик T1−T4T_{1}-T_{4} Примера 6.11 является достаточной.

?
Задача 1.6.6

Теорема 6.5 (критерий факторизации) утверждает: необходимым и достаточным условием того, что статистика TT достаточна для семейства P={Pθ,θ∈Ω}\mathcal{P}=\left\{ P_{\theta }, \theta \in \Omega \right\} распределений XX, доминируемого σ\sigma-конечной мерой μ\mu, является существование неотрицательных функций gθg_{\theta } и hh, таких что плотности pθp_{\theta } распределений PθP_{\theta } удовлетворяют pθ(x)=gθ[T(x)]h(x)p_{\theta }(x)=g_{\theta }[T(x)] h(x) (п.в. μ\mu).

Следствие 6.13 утверждает: в условиях Теоремы 6.5 необходимым и достаточным условием достаточности статистики UU является то, что для любых фиксированных θ\theta и θ0\theta_{0} отношение pθ(x)/pθ0(x)p_{\theta }(x) / p_{\theta_{0}}(x) является функцией только от U(x)U(x).

Докажите Следствие 6.13.

?
Задача 1.6.7

Пусть X1,…,XmX_{1}, \ldots , X_{m} и Y1,…,YnY_{1}, \ldots , Y_{n} независимо распределены согласно N(ξ,σ2)N\left(\xi , \sigma^{2}\right) и N(η,τ2)N\left(\eta , \tau^{2}\right) соответственно. Найдите минимальные достаточные статистики для следующих случаев:

?
(a)

ξ,η,σ,τ\xi , \eta , \sigma , \tau произвольны: −∞<ξ,η<∞,0<σ,τ-\infty <\xi , \eta <\infty , 0<\sigma , \tau.

(b)

σ=τ\sigma =\tau, а ξ,η,σ\xi , \eta , \sigma произвольны.

(c)

ξ=η\xi =\eta, а ξ,σ,τ\xi , \sigma , \tau произвольны.

Задача 1.6.8

Пусть X1,…,XnX_{1}, \ldots , X_{n} независимые одинаково распределённые согласно N(σ,σ2),0<σN\left(\sigma , \sigma^{2}\right), 0<\sigma. Найдите минимальный набор достаточных статистик.

?
Задача 1.6.9
?
(a)

Если (x1,…,xn)\left(x_{1}, \ldots , x_{n}\right) и (y1,…,yn)\left(y_{1}, \ldots , y_{n}\right) имеют одинаковые элементарные симметрические функции Σxi=Σyi,Σi≠jxiyj=Σi≠jyiyj,…,x1⋯xn=y1⋯yn\Sigma x_{i}=\Sigma y_{i}, \Sigma_{i \neq j} x_{i} y_{j}=\Sigma_{i \neq j} y_{i} y_{j}, \ldots , x_{1} \cdots x_{n}=y_{1} \cdots y_{n}, то yy являются перестановкой xx.

(b)

В обозначениях Примера 6.10 покажите, что UU эквивалентна VV. [Указание: Сравните коэффициенты и корни многочленов P(x)=Π(x−ui)P(x)=\Pi \left(x-u_{i}\right) и Q(x)=Π(x−vi)Q(x)= \Pi \left(x-v_{i}\right).]

Задача 1.6.10

Покажите, что порядковые статистики являются минимальными достаточными для семейства сдвига (6.7), когда ff — плотность

?
(a)

двойного экспоненциального распределения D(0,1)D(0,1).

(b)

распределения Коши C(0,1)C(0,1).

Задача 1.6.11

Докажите следующее обобщение Теоремы 6.12 на семейства без общего носителя.

Теорема 9.1. Пусть P\mathcal{P} — конечное семейство с плотностями pi,i=0,…,kp_{i}, i=0, \ldots , k, и для любого xx пусть S(x)S(x) — множество пар индексов (i,j)(i, j), для которых pi(x)+pj(x)>0p_{i}(x)+p_{j}(x)>0. Тогда статистика

T(X)={pj(X)pi(X),i<j и (i,j)∈S(X)} T(X)=\left\{ \frac{p_{j}(X)}{p_{i}(X)}, \quad i<j \text{ и }(i, j) \in S(X)\right\}

является минимальной достаточной. Здесь pj(x)/pi(x)=∞p_{j}(x) / p_{i}(x)=\infty, если pi(x)=0p_{i}(x)=0 и pj(x)>0p_{j}(x)>0.

?
Задача 1.6.12

В Задаче 6.11 недостаточно заменить pi(X)p_{i}(X) на p0(X)p_{0}(X). Чтобы убедиться в этом, положим k=2k=2 и p0=U(−1,0),p1=U(0,1)p_{0}=U(-1,0), p_{1}=U(0,1), и p2(x)=2x,0<x<1p_{2}(x)=2 x, 0<x<1.

?
Задача 1.6.13

Пусть k=1k=1 и Pi=U(i,i+1),i=0,1P_{i}=U(i, i+1), i=0,1.

?
(a)

Покажите, что минимальная достаточная статистика для P={P0,P1}\mathcal{P}=\left\{ P_{0}, P_{1}\right\} есть T(X)=iT(X)=i, если i<X<i+1i<X<i+1, i=0,1i=0,1.

(b)

Пусть X1X_{1} и X2X_{2} независимые одинаково распределённые согласно распределению из P\mathcal{P}. Покажите, что каждая из двух статистик T1=T(X1)T_{1}=T\left(X_{1}\right) и T2=T(X2)T_{2}=T\left(X_{2}\right) достаточна для (X1,X2)\left(X_{1}, X_{2}\right).

(c)

Покажите, что T(X1)T\left(X_{1}\right) и T(X2)T\left(X_{2}\right) эквивалентны.

Задача 1.6.14

В Лемме 6.14 покажите, что предположение об общем носителе можно заменить более слабым предположением о том, что каждое P0\mathcal{P}_{0}-нулевое множество также является P\mathcal{P}-нулевым множеством, так что (п.в. P0\mathcal{P}_{0}) эквивалентно (п.в. P\mathcal{P}).

?
Задача 1.6.15

Пусть X1,…,XnX_{1}, \ldots , X_{n} независимые одинаково распределённые согласно распределению из P={U(0,θ),θ>0}\mathcal{P}=\left\{ U(0, \theta ), \theta >0\right\}, и пусть P0\mathcal{P}_{0} — подсемейство P\mathcal{P}, для которого θ\theta рационально. Покажите, что каждое P0\mathcal{P}_{0}-нулевое множество в выборочном пространстве также является P\mathcal{P}-нулевым множеством.

?
Задача 1.6.16

Пусть X1,…,XnX_{1}, \ldots , X_{n} независимые одинаково распределённые согласно распределению из семейства P\mathcal{P}. Покажите, что TT является минимальной достаточной в следующих случаях:

?
(a)

P={U(0,θ),θ>0};T=X(n)\mathcal{P}=\left\{ U(0, \theta ), \theta >0\right\} ; T=X_{(n)}.

(b)

P={U(θ1,θ2),−∞<θ1<θ2<∞};T=(X(1),X(n))\mathcal{P}=\left\{ U\left(\theta_{1}, \theta_{2}\right),-\infty <\theta_{1}<\theta_{2}<\infty \right\} ; T=\left(X_{(1)}, X_{(n)}\right).

(c)

P={U(θ−1/2,θ+1/2),−∞<θ<∞};T=(X(1),X(n))\mathcal{P}=\left\{ U(\theta -1 / 2, \theta +1 / 2),-\infty <\theta <\infty \right\} ; T=\left(X_{(1)}, X_{(n)}\right).

Задача 1.6.17

Решите предыдущую задачу для следующих случаев:

?
(a)

P={E(θ,1),−∞<θ<∞};T=X(1)\mathcal{P}=\left\{ E(\theta , 1),-\infty <\theta <\infty \right\} ; T=X_{(1)}.

(b)

P={E(0,b),0<b};T=ΣXi\mathcal{P}=\left\{ E(0, b), 0<b\right\} ; T=\Sigma X_{i}.

(c)

P={E(a,b),−∞<a<∞,0<b};T=(X(1),Σ[Xi−X(1)])\mathcal{P}=\left\{ E(a, b),-\infty <a<\infty , 0<b\right\} ; T=\left(X_{(1)}, \Sigma \left[X_{i}-X_{(1)}\right]\right).

Задача 1.6.18

Покажите, что статистики X(1)X_{(1)} и Σ[Xi−X(1)]\Sigma \left[X_{i}-X_{(1)}\right] из Задачи 6.17(c) независимо распределены как E(a,b/n)E(a, b / n) и bb Gamma (n−2,1)(n-2,1) соответственно.

?
Задача 1.6.19

Покажите, что достаточные статистики

  1. Задачи 6.3 и

  2. Задачи 6.4

являются минимальными достаточными.

?
Задача 1.6.20
?
(a)

Покажите, что в искривлённом экспоненциальном семействе N(θ,θ)N(\theta , \theta ) достаточная статистика T=(∑xi,∑xi2)T= (\sum x_{i}, \sum x_{i}^{2}) не является минимальной.

(b)

Для плотности из Примера 6.19 покажите, что T=(∑xi,∑xi2,∑xi3)T=\left(\sum x_{i}, \sum x_{i}^{2}, \sum x_{i}^{3}\right) является минимальной достаточной статистикой.

Задача 1.6.21

Для ситуации из Примера 6.25(ii) найдите несмещённую оценку ξ\xi, основанную на ∑Xi\sum X_{i}, и ещё одну, основанную на ∑Xi2\sum X_{i}^{2}; отсюда сделайте вывод, что T=(∑Xi,∑Xi2)T=\left(\sum X_{i}, \sum X_{i}^{2}\right) не является полной.

?
Задача 1.6.22

Для ситуации из Примера 6.26 покажите, что X\mathbf{X} является минимальной достаточной и полной.

?
Задача 1.6.23

Для ситуации из Примера 6.27:

?
(a)

Покажите, что X=(X1,X2)\mathbf{X}=\left(X_{1}, X_{2}\right) является минимальной достаточной для семейства (6.16) с ограничением (6.17).

(b)

Установите (6.18) и, следовательно, покажите, что минимальная достаточная статистика из пункта (a) не является полной.

Задача 1.6.24

Покажите, что для общей модели «доза-эффект»

pθ(x)=∏i=1m(nixi)[ηθ(di)]xi[1−ηθ(di)]ni−xi, p_{\theta }(\mathbf{x})=\prod _{i=1}^{m}\binom {n_{i}}{x_{i}}\left[\eta _{\theta }\left(d_{i}\right)\right]^{x_{i}}\left[1-\eta _{\theta }\left(d_{i}\right)\right]^{n_{i}-x_{i}},

статистика X=(X1,X2,…,Xm)\mathbf{X}=\left(X_{1}, X_{2}, \ldots , X_{m}\right) является минимальной достаточной, если существуют векторы θ1,θ2,⋯ ,θm)\left.\theta_{1}, \theta_{2}, \cdots , \theta_{m}\right), такие что матрица размера m×mm \times m

P={log⁡(ηθj(di)[1−ηθ0(di)]ηθ0(di)[1−ηθj(di)])} P=\left\{ \log \left(\frac{\eta _{\theta _{j}}\left(d_{i}\right)\left[1-\eta _{\theta _{0}}\left(d_{i}\right)\right]}{\eta _{\theta _{0}}\left(d_{i}\right)\left[1-\eta _{\theta _{j}}\left(d_{i}\right)\right]}\right)\right\}

обратима. (Указание: Теорема 6.12.)

?
Задача 1.6.25

Пусть (Xi,Yi),i=1,…,n\left(X_{i}, Y_{i}\right), i=1, \ldots , n, независимые одинаково распределённые согласно равномерному распределению на множестве RR на плоскости (x,y)(x, y), и пусть P\mathcal{P} — семейство распределений, получаемое при изменении RR в некотором классе R\mathcal{R} множеств RR. Найдите минимальную достаточную статистику для следующих случаев:

?
(a)

R\mathcal{R} — множество всех прямоугольников a1<x<a2,b1<y<b2,−∞<a1<a2<∞a_{1}<x<a_{2}, b_{1}<y<b_{2},-\infty <a_{1}<a_{2}<\infty, −∞<b1<b2<∞-\infty <b_{1}<b_{2}<\infty.

(b)

R′\mathcal{R}^{\prime } — подмножество R\mathcal{R}, для которого a2−a1=b2−b1a_{2}-a_{1}=b_{2}-b_{1}.

(c)

R′′\mathcal{R}^{\prime \prime } — подмножество R′\mathcal{R}^{\prime }, для которого a2−a1=b2−b1=1a_{2}-a_{1}=b_{2}-b_{1}=1.

Задача 1.6.26

Решите предыдущую задачу, если

?
(a)

R\mathcal{R} — множество всех треугольников со сторонами, параллельными оси xx, оси yy и прямой y=xy=x соответственно.

(b)

R′\mathcal{R}^{\prime } — подмножество R\mathcal{R}, в котором стороны, параллельные осям xx и yy, равны.

Задача 1.6.27

Сформулируйте общий результат, частными случаями которого являются Задачи 6.25(a) и 6.26(a).

?
Задача 1.6.28

Если YY распределена как E(η,1)E(\eta , 1), то распределение X=e−YX=e^{-Y} есть U(0,e−η)U\left(0, e^{-\eta }\right). (Этот результат полезен при компьютерной генерации случайных величин; см. Задачу 4.4.14.)

?
Задача 1.6.29

Если минимальная достаточная статистика существует, то необходимым условием полноты достаточной статистики является её минимальность.

?
Задача 1.6.30

Покажите, что минимальные достаточные статистики T=(X(1),X(n))T=\left(X_{(1)}, X_{(n)}\right) из Задачи 6.16(b) полны. [Указание: Используйте подход Примера 6.24.]

?
Задача 1.6.31

Для каждой из следующих задач определите, является ли минимальная достаточная статистика полной:

?
(a)

Задача 6.7(a)-(c);

(b)

Задача 6.25(a)-(c);

(c)

Задача 6.26(a) и (b).

Задача 1.6.32
?
(a)

Покажите, что если P0,P1\mathcal{P}_{0}, \mathcal{P}_{1} — два семейства распределений, такие что P0∈P1\mathcal{P}_{0} \in \mathcal{P}_{1} и каждое нулевое множество P0\mathcal{P}_{0} также является нулевым множеством P1\mathcal{P}_{1}, то достаточная статистика TT, полная для P0\mathcal{P}_{0}, также полна для P1\mathcal{P}_{1}.

(b)

Пусть P0\mathcal{P}_{0} — класс биномиальных распределений b(p,n),0<p<1,n=b(p, n), 0<p<1, n= фиксировано, и пусть P1=P0∪{Q}\mathcal{P}_{1}=\mathcal{P}_{0} \cup \left\{ Q\right\}, где QQ — распределение Пуассона с математическим ожиданием 1. Тогда P0\mathcal{P}_{0} полно, а P1\mathcal{P}_{1} — нет.

Задача 1.6.33

Пусть X1,…,XnX_{1}, \ldots , X_{n} независимые одинаково распределённые, каждая с плотностью f(x)f(x) (относительно меры Лебега), которая неизвестна. Покажите, что порядковые статистики полны.

?
Задача 1.6.34

Пусть X1,…,XnX_{1}, \ldots , X_{n} — независимая одинаково распределённая выборка из семейства сдвига-масштаба с функцией распределения F((x−a)/b)F((x-a) / b).

?
(a)

Если bb известно, покажите, что разности (X1−Xi)/b,i=2,…,n\left(X_{1}-X_{i}\right) / b, i=2, \ldots , n, являются вспомогательными.

(b)

Если aa известно, покажите, что отношения (X1−a)/(Xi−a),i=2,…,n\left(X_{1}-a\right) /\left(X_{i}-a\right), i=2, \ldots , n, являются вспомогательными.

(c)

Если ни aa, ни bb неизвестны, покажите, что величины (X1−Xi)/(X2−Xi),i=3,…,n\left(X_{1}-X_{i}\right) /\left(X_{2}-X_{i}\right), i= 3, \ldots , n, являются вспомогательными.

Задача 1.6.35

Используя теорему Басу, докажите независимость следующих пар статистик:

?
(a)

Xˉ\bar{X} и Σ(Xi−Xˉ)2\Sigma \left(X_{i}-\bar{X}\right)^{2}, где XX независимые одинаково распределённые как N(ξ,σ2)N\left(\xi , \sigma^{2}\right).

(b)

X(1)X_{(1)} и Σ[Xi−X(1)]\Sigma \left[X_{i}-X_{(1)}\right] в Задаче 6.18.

Задача 1.6.36
?
(a)

В условиях Задачи 6.18 отношения Zi=[X(n)−X(i)]/[X(n)−X(n−1)],i=1,…,n−2Z_{i}=\left[X_{(n)}-X_{(i)}\right] / \left[X_{(n)}-X_{(n-1)}\right], i=1, \ldots , n-2, независимы от {X(1),Σ[Xi−X(1)]}\left\{ X_{(1)}, \Sigma \left[X_{i}-X_{(1)}\right]\right\}.

(b)

В условиях Задач 6.16(b) и 6.30 отношения Zi=[X(i)−X(1)]/[X(n)−X(1)],i=2,…,n−1Z_{i}=\left[X_{(i)}-X_{(1)}\right] / \left[X_{(n)}-X_{(1)}\right], i=2, \ldots , n-1, независимы от {X(1),X(n)}\left\{ X_{(1)}, X_{(n)}\right\}.

Задача 1.6.37

В условиях Теоремы 6.5 пусть AA — произвольное фиксированное множество в выборочном пространстве, Pθ∗P_{\theta }^{*} — распределение PθP_{\theta }, усечённое на AA, и P∗={Pθ∗,θ∈Ω}\mathcal{P}^{*}=\left\{ P_{\theta }^{*}, \theta \in \Omega \right\}. Тогда докажите

?
(a)

если TT достаточна для P\mathcal{P}, то она достаточна для P∗\mathcal{P}^{*}.

(b)

если, кроме того, TT полна для P\mathcal{P}, то она также полна для P∗\mathcal{P}^{*}.

Обобщения этого результата были получены Tukey в 1940-х годах, а также Smith (1957). Аналогичная задача для наблюдений, которые цензурированы, а не усечены, рассматривается у Bhattacharyya, Johnson, and Mehrotra (1977).

Задача 1.6.38

Если X1,…,XnX_{1}, \ldots , X_{n} независимые одинаково распределённые как B(a,b)B(a, b),

?
(a)

Покажите, что [ΠXi,Π(1−Xi)]\left[\Pi X_{i}, \Pi \left(1-X_{i}\right)\right] является минимальной достаточной для (a,b)(a, b).

(b)

Найдите минимальную достаточную статистику при a=ba=b.