- БОЛЬШИХ ЧИСЕЛ ЗАКОН
общий принцип, в силу к-рого совместное действие случайных факторов приводит при нек-рых весьма общих условиях к результату, почти не зависящему от случая. Сближение частоты наступления случайного события с его вероятностью при возрастании числа испытаний (подмеченное сначала, по-видимому, на азартных играх) может служить первым примером действия этого принципа.
На рубеже 17 и 18 вв. Я. Бернулли [1] доказал теорему, утверждающую, что в последовательности независимых испытаний, в каждом из к-рых вероятность наступления нек-рого события Аимеет одно и то же значение верно соотношение:
при любом - число появлений события в первых писпытаниях, - частота появлений. Эта Бернулли теорема была распространена С. Пуассоном [2] на случай последовательности независимых испытаний, где вероятность появления события Аможет зависеть от номера испытания. Пусть эта вероятность для k-го испытания равна и пусть
Тогда Пуассона теорема утверждает, что
.
при любом Первое строгое доказательство этой теоремы было дано П. Л. Чебышевым (1846), метод к-рого полностью отличен от метода Пуассона и основан на нек-рых экстремальных соображениях; С. Пуассон выводил (2) из приближенной формулы для указанной вероятности, основанной на использовании закона Гаусса и в то время еще строго не обоснованной. У С. Пуассона впервые встречается и термин "закон больших чисел", к-рым он назвал свое обобщение теоремы Бернулли.
Естественное дальнейшее обобщение теорем Бернулли и Пуассона вознпкает, если заметить, что случайные величины можно представить в виде суммы
независимых случайных величин, где , если Апоявляется в А--м испытании, и - в противном случае. При этом математич. ожидание (совпадающее со средним арифметическим математич. ожиданий ) равно рдля случая Бернулли и для случая Пуассона. Другими словами, в обоих случаях рассматривается отклонение среднего арифметического величин Х k от среднего арифметического их математич. ожиданий.
В работе П. Л. Чебышева "О средних величинах" (1867) было установлено, что для независимых случайных величин соотношение
(при любом ) верно при весьма ^бщих предположениях. П. Л. Чебышев предполагал, что математич. ожидания все ограничены одной и той же постоянной, хотя из его доказательства видно, что достаточно требования ограниченности дисперсий
или даже требования
Таким образом, П. Л. Чебышев показал возможность широкого обобщения теоремы Бернулли. А. А. Марков отметил возможность дальнейших обобщений и предложил применять название Б. ч. з. ко всей совокупности обобщений теоремы Бернулли [и в частности, к (3)]. Метод Чебышева основан на точном установлении общих свойств математич. ожиданий и на использовании так наз. Чебышева неравенства[для вероятности (3) оно дает оценку вида
эту границу можно заменить более точной, разумеется при более значительных ограничениях, см. Бернштейна неравенство]. Последующие доказательства различных форм Б. ч. з. в той или иной степени являются развитием метода Чебышева. Применяя надлежащее "урезание" случайных величин (замену их вспомогательными величинами именно: , если где - нек-рые постоянные), А. А. Марков распространил Б. ч. з. на случаи, когда дисперсии слагаемых не существуют. Напр., он показал, что (3) имеет место, если при нек-рых постоянных и всех и
Аналогично доказывается теорема Хинчина (1929): если имеют одинаковые законы распределения и существует, то Б. <ч. з. (3) выполняется. Для сумм независимых случайных величин можно сформулировать более или менее окончательный вариант Б. ч. з. Для этого целесообразно перейти на более общую точку зрения, связанную с понятием предельного постоянства последовательности случайных величин. Случайные величины последовательности Y1, Y2,...,Yn,.... наз. предельно постоянными, если существует такая последовательность постоянных С 1 ,С 2 ,...,С п,,..., что при любом и
(т. е. сходится к нулю "по вероятности"; если (4) выполняется с к.-л. , то оно выполняется и с где - медиана случайной величины ).
Далее, вместо последовательности . . . независимых случайных величин можно взять так наз. схему серий (см. Серий схема).
случайных величин (первый индекс - номер серии, второй - номер величины внутри серии). Случайные величины каждой отдельной серии предполагаются взаимно независимыми. Схему последовательности легко свести к схеме серий, полагая
Пусть
Тогда общая форма вопроса о применимости Б. <ч. <з. для сумм независимых случайных величин такова: при каких условиях суммы предельно постоянны?
Ответ на этот вопрос дал А. Н. Колмогоров (1928). Допустим, не ограничивая общности, что медианы величин равны нулю. Пусть и при Тогда одновременное выполнение двух условий:
и
необходимо и достаточно для предельного постоянства сумм . В качестве можно взять . Достаточность этих условий легко доказывается методом Чебышева. Если математич. ожидания существуют, то легко указать дополнительные условия, при к-рых можно выбрать , что приводит к необходимым и достаточным условиям Б. <ч. <з. в классич. формулировке (3). Для последовательности независимых одинаково распределенных величин эти условия сводятся, в соответствии с указанной теоремой Хинчина, к существованию математич. ожидания. В то же время для предельного постоянства средних арифметических в этом случае необходимо и достаточно условие
Легко привести примеры, когда условие (5) не выполняется. Так, оно не выполняется, если все имеют распределение Коши с плотностью (к-рой соответствует характеристич. функция ). Здесь средние арифметические имеют характеристич. функцию , и следовательно, имеют при любом пто же самое распределение, что и отдельные слагаемые.
В числе наиболее важных примеров, где Б. <ч. з. не пмеет места, следует отметить примеры, связанные с временами возвращения в случайных блужданиях. Напр., в симметричном Бернулли блуждании время до тг-го возвращения в исходную точку есть сумма пнезависимых случайных величин где - время до 1-го возвращения, - время между 1-м и 2-м возвращениями и т. д. Распределение величины сходится при к невырожденному предельному закону с плотностью
и равной нулю при . Таким образом, в этом случае распределение среднего арифметического величин Xi , т. <е. , размещается, грубо говоря, на отрезке длины порядка п(в то время как в случае применимости Б. ч. з. оно сосредоточивается на отрезках длины ).
Применимость Б. <ч. з. к суммам зависимых величин (и в его классич. формулировке, и в более общих) связана в первую очередь с неограниченным убыванием зависимости между случайными величинами и при увеличении разности их номеров, т. е. Впервые соответствующие теоремы были доказаны А. А. Марковым для величин, связанных в цепь Маркова (1907). Именно, пусть принимают конечное число значений и связаны в однородную цепь Маркова, причем все вероятности перехода за один шаг положительны. Здесь неограниченное убывание зависимости между при проявляется в том, что условное распределение при фиксированном значении стремится при к пределу, не зависящему от выбранного значения (эргодическая теорема Маркова). Как следствие этого утверждения выводится Б. ч. з.: сначала устанавливается, что при
где отсюда же вытекает, что при
Более общий случай охватывается условиями С. Н. Бернштенна: если , где - нек-рая постоянная, Л - коэффициент корреляции, - функция, стремящаяся к нулю при , то к величинам применим Б. ч. з. (3). Для стационарных в широком смысле последовательностей условие на корреляцию можно несколько ослабить, заменив его условием
где .
Предыдущие результаты можно обобщить в различных направлениях. Во-первых, всюду выше рассматривалась сходимость "по вероятности". Рассматривают и другие типы сходимости: с вероятностью единица, в среднем квадратичном и т. п. (в действительности многие из указанных выше условий обеспечивают сходимость в среднем квадратичном, из к-рой вытекает сходимость по вероятности). Случай сходимости с вероятностью единица, ввиду его важности, выделяется особым названием "усиленного закона больших чисел" (см. Больших чисел усиленный закон)..
Далее, многие теоремы перевесятся с соответствующими изменениями на случайнее векторы со значениями из евклидовых пространств любой размерности, из гильбертова пространства, из нек-рых банаховых пространств. Так, напр., если - последовательность независимых одинаково распределенных случайных векторов со .значениями из сепарабельного банахова пространства и если существует, то
при любом
Рассматриваемый в наиболее общей форме Б. <ч. <з. оказывается тесно связанным с эргодическими теоремами. Разумеется, многие теоремы переносятся и на случай средних - случайный процесс, зависящий от непрерывного параметра (см., например, [10]).
Наконец, вместо сумм случайных величин можно рассмотреть другие симметрические функции от них. Это было сделано А. Я. Хинчиным (1951 - 55) в связи с обоснованием нек-рых выводов статистич. механики [9]. Результат А. Я. Хинчина можно пояснить следующим частным примером. Пусть - координаты точки, равномерно распределенной на поверхности сферы
Тогда для широкого класса симметрических функций имеет место Б. <ч. <з. в том смысле, что их значения при оказываются предельно постоянными [это близко к замечанию П. Леви (Р. , 1925) о том, что достаточно регулярные функции очень большого числа переменных почти постоянны в большей части области определения].
В большинстве старых руководств приводились обширные статистич. данные, иллюстрирующие Б. <ч. <з. (см., напр. [4], [11]).
Лит.:Ill Bernoulli J., Ars conjectandi, opus posthumum, Basileae, 1713 (в рус. пер.- Часть четвертая сочинения Я. Бернулли..., СПБ, 1913); [2] Роissоn S.-D., Recherches sur la probability des jugements en matiere criminelle et en matiere civile, precedees des regies generates du caleul des probability, P., 1837; 13] Чебышев П. Л., Поли. собр. соч., т. 2, М. - Л., 1947; [4] Марков А. А., Исчисление вероятностей, 4 изд., М., 1924; [5] Бернштейн С. Н., Теория вероятностей, 4 изд., М.- Л., 1946; [6] Гнеденко Б. В., Колмогоров А. Н., Предельные распределения для сумм независимых случайных величин, М.- Л., 1949; [7] Дуб Д ж., Вероятности ные процессы, пер. с англ., М., 1956; [8] Гренандер У., Вероятности на алгебраических структурах, пер. с англ., М., 1965; [9] Xинчин А. Я., Симметрические функции на многомерных поверхностях, в кн.: Памяти А. А. Андронова, М., 1955, с. 541-74; [10] Лоэв М., Теория вероятностей, пер. с англ., М., 1962; [11] Uspensky J. V., Introduction to mathematical probability, N. Y.- L.,1937. Ю. В. Прохоров.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.