Википедия

Первая и вторая теоремы Хелли: различия между версиями

Интерактивная навигация по истории
(Показать все непатрулированные изменения)
[непроверенная версия][отпатрулированная версия]
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
Нет описания правки
Строка 3:
 
== Первая и вторая теоремы Хелли ==
 
=== Первая теорема Хелли ===
Из всякой [[Числовая последовательность|последовательности]] [[Функция распределения|функций распределения]] <math>\left\{F_x \right\}</math> можно выбрать [[Сходимость по распределению|слабо сходящуюся подпоследовательность]].
 
=== Вторая теорема Хелли ===
Если <math>g\left(x\right)</math> - — [[Непрерывная функция|непрерывная ограниченная функция]] на прямой и <math>F_{n}\left(x\right)\Rightarrow F\left(x\right), F\left(\infty\right)-F\left(-\infty\right)=1,</math> то
: <math>\lim_{n\rightarrow\infty}\int_{-\infty}^{\infty}g\left(x\right)dF_{n}\left(x\right)=\int_{-\infty}^{\infty}g\left(x\right)dF\left(x\right)</math>
 
== Доказательство (Перваяпервой теорематеоремы Хелли) ==
Пусть <math>D=\left\{x_k\right\}</math> - — всюду [[Плотное множество|плотное]] на прямой [[Счетное множество|счетное множество]].
<p>Из [[Числовая последовательность|ограниченной последовательности]] <math>0\leq F_{n}\left(x_{1}\right)\leq 1</math> выбираем [[Числовая последовательность|сходящуюся подпоследовательность]] <math>F_{1n}\left(x_{1}\right)</math>, предел которой обозначим <math>F\left(x_{1}\right).</math></p>
<p>Из [[Числовая последовательность|ограниченной последовательности]] <math>0\leq F_{1n}\left(x_{2}\right)\leq 1</math> выбираем [[Числовая последовательность|сходящуюся подпоследовательность]] <math>F_{2n}\left(x_{2}\right)\rightarrow F\left(x_{2}\right)</math> и  т. д.</p>
<p>Далее выбираем диагональную [[Числовая последовательность|подпоследовательность]] <math>f_{nn}\left(x\right)</math>, для которой <math>F_{nn}\left(x\right)\rightarrow F\left(x\right)</math> для любой точки <math>x_{k}\in D.</math> </p>
<p>По лемме отсюда вытекает <math>F_{nn}\left(x\right)\Rightarrow F\left(x\right).</math> </p>
 
=== Лемма ===
Если <math>F_{n}\left(x\right)\rightarrow F\left(x\right)</math> на всюду [[Плотное множество|плотном]] на прямой множестве <math>D</math>, то <math>F_{n}\left(x\right)\Rightarrow F\left(x\right).</math>
Строка 21 ⟶ 24 :
<math>F\left(x\right)</math> может не быть [[Функция распределения|функцией распределения]]. Например, если <math>F_{n}\left(x\right)=0</math> при <math>x<n</math> и <math>F_{n}\left(x\right)=1</math> при <math>x\geq n, </math> то <math>F_{n}\left(x\right)\Rightarrow F\left(x\right)=0.</math>
 
== Доказательство(Вторая теоремавторой теоремы Хелли) ==
Пусть <math>a<b</math> - — точки непрерывности <math>F\left(x\right)</math>.Докажем сначала, что
: <math>\lim_{n\rightarrow\infty}\int_{a}^{b}g\left(x\right)dF_{n}\left(x\right)=\int_{a}^{b}g\left(x\right)dF\left(x\right)</math>.
Пусть <math>\varepsilon>0</math>. Разделим <math>\left[a,b\right]</math> точками непрерывности <math>a=x_{0},x_{1},...,x_{N-1},x_{N}=b</math> функции <math>F\left(x\right)</math> на такие отрезки <math>\left[x_{k-1},x_{k}\right]</math>, что <math>\left|g\left(x\right)-g\left(x_{k}\right)\right|< \varepsilon</math> для точек <math>x\in\left[x_{k-1},x_{k}\right]</math>.
<p>Это сделать можно, так как <math>g\left(x\right)</math> [[Равномерная непрерывность|равномерно непрерывна]] на <math>\left[a,b\right]</math>, а точки непрерывности <math>F\left(x\right)</math> расположены всюду плотно. </p>
<p>Определим [[Кусочно-заданная функция|ступенчатую функцию]]. </p>
: <math>g_{\varepsilon}\left(x\right)=g\left(x_{k}\right)</math> на <math>x\in\left(x_{k-1},x_{k}\right]</math>.
<p>Тогда</p>
: <math>\left|\int_{a}^{b}g\left(x\right)dF_{n}\left(x\right)-\int_{a}^{b}g\left(x\right)dF\left(x\right)\right|\leq\int_{a}^{b}\left|g\left(x \right )-g_{\varepsilon}\left(x \right )\right|dF_{n}\left(x \right )+\left|\int_{a}^{b}g_{\varepsilon}dF_{n}-\int_{a}^{b}g_{\varepsilon}dF\right|+\int_{a}^{b}\left| g\left(x\right) - g_{\varepsilon}\left(x \right )dF\left(x \right )\right |\leq </math>
: <math>\leq2\varepsilon + \mathsf{M}\left[\sum_{k=1}^{N}\left[F_{n}\left(x_{k} \right )-F\left(x_{k} \right )-\left(F_{n}\left(x_{k-1}\right )-F\left(x_{k-1} \right )\right)\right]\right].</math>
<p>где <math>\mathsf{M}=sup_{x}\left|g\left(x\right)\right|.</math>. </p>
<p>При <math>n\rightarrow\infty</math> последнее слагаемое может быть сделано как угодно малым, откуда и следует</p>
: <math>\lim_{n\rightarrow\infty}\int_{a}^{b}g\left(x\right)dF_{n}\left(x\right)=\int_{a}^{b}g\left(x\right)dF\left(x\right).</math>
<p>Для доказательства
: <math>\lim_{n\rightarrow\infty}\int_{-\infty}^{\infty}g\left(x\right)dF_{n}\left(x\right)=\int_{-\infty}^{\infty}g\left(x\right)dF\left(x\right)</math>
<p>выберем <math>X>0</math> таким, чтобы <math>F\left(-X\right)<\frac{\varepsilon}{4}</math> и <math>1-F\left(X\right)<\frac{\varepsilon}{4}</math> и чтобы точки <math>\pm X</math> были точками непрерывности <math>F\left(x\right).</math></p>
<p>Тогда, так как <math>F_{n}\left(\pm X\right)\rightarrow F\left(\pm X\right)</math> можно выбрать <math>n_0</math> таким, что при <math>n\geq n_0, F_{n}\left(-X\right)<\frac{\varepsilon}{2}</math> и <math>1-F_{n}\left(X\right)< \frac{\varepsilon}{2}.</math></p>
<p>Оценим разность</p>
: <math>\left|\lim_{n\rightarrow\infty}\int_{-\infty}^{\infty}g\left(x\right)dF_{n}\left(x\right)-\int_{-\infty}^{\infty}g\left(x\right)dF\left(x\right)\right|\leq\left|\lim_{n\rightarrow\infty}\int_{-X}^{X}g\left(x\right)dF_{n}\left(x\right)-\int_{-X}^{X}g\left(x\right)dF\left(x\right)\right|+\left|\int_{\left|x\right|>X}^{}g\left(x\right)dF_{n}\left(x\right)\right|+\left|\int_{\left|x\right|>X}^{}g\left(x\right)dF\left(x\right)\right|\leq</math>
: <math>\leq\left|\lim_{n\rightarrow\infty}\int_{-X}^{X}g\left(x\right)dF_{n}\left(x\right)-\int_{-X}^{X}g\left(x\right)dF\left(x\right)\right|+\mathsf{M}\varepsilon+\frac{\mathsf{M}\varepsilon}{2}.</math>
<p>На основании <math>\lim_{n\rightarrow\infty}\int_{a}^{b}g\left(x\right)dF_{n}\left(x\right)=\int_{a}^{b}g\left(x\right)dF\left(x\right)</math> заключаем, что правая часть
: <math>\left|\lim_{n\rightarrow\infty}\int_{-\infty}^{\infty}g\left(x\right)dF_{n}\left(x\right)-\int_{-\infty}^{\infty}g\left(x\right)dF\left(x\right)\right|\leq\left|\lim_{n\rightarrow\infty}\int_{-X}^{X}g\left(x\right)dF_{n}\left(x\right)-\int_{-X}^{X}g\left(x\right)dF\left(x\right)\right|+\left|\int_{\left|x\right|>X}^{}g\left(x\right)dF_{n}\left(x\right)\right|+\left|\int_{\left|x\right|>X}^{}g\left(x\right)dF\left(x\right)\right|\leq</math>
: <math>\leq\left|\lim_{n\rightarrow\infty}\int_{-X}^{X}g\left(x\right)dF_{n}\left(x\right)-\int_{-X}^{X}g\left(x\right)dF\left(x\right)\right|+\mathsf{M}\varepsilon+\frac{\mathsf{M}\varepsilon}{2}.</math>
<p>может быть сделана сколь угодно малой, что и '''доказывает''' теорему.</p>
 
== См. также ==▼
* [[Прямая и обратная предельная теорема]].▼
 
== Литература ==
Строка 53 ⟶ 59 :
| страниц = 254
}}
▲== См. также ==
*[[Характеристическая функция случайной величины]].
*[[Функция распределения]].
▲*[[Прямая и обратная предельная теорема]].
 
[[Категория:Теория вероятностей]]
Источник — https://ru.wikipedia.org/wiki/Первая_и_вторая_теоремы_Хелли