Детали определения сходимости по распределению

математика

1 Определение

Определение сходимости по распределению таково: последовательность случайных величин{Xn}n=1\{X_n\}_{n=1}^{\infty}, если их кумулятивная функция распределения cdf sequence{F1}n=1\{F_1\}_{n=1}^{\infty}, с некоторой случайной величинойXXcdfFF, удовлетворять

limnFn(x)=F(x)\lim_{n\to\infty} F_n(x)=F(x)

в любойF(x)F(x)последовательные точкиxxустановлен повсеместно. говорят, что они сходятся к случайным величинам в соответствии с распределениемXX, обозначаемый какXnDXX_n\stackrel{D}\longrightarrow X.

В этом определении есть два важных момента, которые легко упустить из виду: во-первых, оно должно соответствовать cdf случайной величины, а не какой-либо функции.F(x)F(x)Условие выполняется в непрерывных точках .

Далее мы анализируем, почему он так определен.

2 Предельная функция должна быть cdf

учитыватьXnN(0,оn2)X_n\sim N(0,\sigma_n^2),оn+\sigma_n\to +\infty,У нас есть

Fn(x)=P(xnоnxоn)=Φ(xоn)F_n(x)=P(\dfrac{x_n}{\sigma_n}\leq \dfrac{x}{\sigma_n})=\Phi(\dfrac{x}{\sigma_n})

в любой моментxxвезде естьΦ(xоn)Φ(0)=12\Phi(\dfrac{x}{\sigma_n})\to\Phi(0)=\dfrac{1}{2}, поэтому можно установитьF(x)=12F(x)=\dfrac{1}{2}, оно удовлетворяет предельным условиям в определении. Но в это время,F(x)F(x)не является cdf любой случайной величины, потому что cdf случайной величины должен удовлетворятьlimxF(x)=0\lim\limits_{x\to -\infty}F(x)=0а такжеlimxF(x)=1\lim\limits_{x\to \infty}F(x)=1.

Как это исправить? Мы просто позволяем последовательности{Xn}n=1\{X_n\}_{n=1}^{\infty}Его можно ограничить вероятностью. В определении требуется, чтобы предельная форма последовательности функций cdf соответствовала cdf случайной величины.

3 Учитывать только последовательные точки

Напомним еще одно свойство cdf: непрерывность справа, т. е.F(x)=F(x+)F(x)=F(x+). Однако в случае сходимости по распределению вероятны неудовлетворительные ситуации, такие какXn=X+1nX_n=X+\dfrac1 n, легко узнать

Fn(x)=P(Xnx)=P(Xx1n)=F(x1n)F_n(x)=P(X_n\leq x)=P(X\leq x-\dfrac 1 n)=F(x-\dfrac{1}{n})

какnn\to\infty,ноFn(x)F(x)F_n(x)\to F(x-). какFFсуществуетxxне удовлетворяет непрерывности слева, то не может удовлетворятьFn(x)F(x)F_n(x)\to F(x), поэтому в определенииFFразрывы исключены.

Для конкретного примера, напримерXnU(0,1/n)X_n\sim U_{(0,1/n)},ноXnX_nРаспределение в пределе вырождается кX=1X=1Fn(0)=0F_n(0)=0Хэн установлен, ноF(0)=1F(0)=1, Таким образом, дляx=0x=0не в состоянии удовлетворитьFn(x)F(x)F_n(x)\to F(x),ноx=0x=0даF(x)F(x)разрывы, поэтому их можно устранить. Так что все еще думаюXnDXX_n\stackrel{D}\longrightarrow X.