- РАСПРЕДЕЛЕНИИ СХОДИМОСТЬ
в основном слабая сходимость и сходимость по вариации, определяемые следующим образом. Последовательность распределений (вероятностных мер) { Р п}. на борелевских множествах метрич. пространства Sназ. с л а б о с х о д я щ е й с я к р а с п р е д е л е н и ю Р, если
для любой действительной ограниченной непрерывной функции f на S. Слабая сходимость является основным типом сходимости, рассматриваемым в теории вероятностей. Обозначают ее обычно знаком
. Следующие условия равносильны слабой сходимости:
1) соотношение (*) выполняется для любой ограниченной равномерно непрерывной действительной функции f;
2) соотношение (*) выполняется для любой ограниченной непрерывной Р-почти всюду действительной функции f;
3)
для любого замкнутого множества FМS;
4)
для любого открытого множества GМS;
5)
для любого борелевского множества AМSтакого, что
, где
- граница А;
6)
где ресть Леви - Прохорова метрика.
Пусть U- замкнутый относительно пересечений класс подмножеств Sтакой, что всякое открытое множество из Sесть конечное или счетное объединение множеств из U. Тогда если
при всех
, то
. Если
- функции распределения, отвечающие Р n и Рсоответственно, то
тогда и только тогда, когда
в каждой точке хнепрерывности функции F
Пусть пространство Sсепарабельно и
- класс ограниченных борелевских действительных функций на S. Для того чтобы равномерно по
для всякой последовательност
{ Р n}такой, что
, необходимо и достаточно, чтобы:
а)
б)
где
и где Sx,e- открытый шар радиуса e с центром в х. Если класс
образован индикаторами множеств из нек-рого класса Е, то условия а) и б) сводятся к условию
где
(когда всякий открытый шар в Sсвязен,
. Если
и распределение Р абсолютно непрерывно по мере Лебега, то
тогда и только тогда, когда
равномерно по всем борелевским выпуклым множествам А.
Пусть Р п, Р -- распределения на метрич. пространстве
и h - непрерывное Р-почти всюду измеримое отображение Sв метрич. пространство
; тогда
, где для любого распределения Qна Sраспределение Qh -1 есть его h-образ на
:
для любого борелевского
Семейство распределений
на Sназ. с л а б о о т н о с и т е л ь н о к о м п а к т н ы м, если всякая последовательность его элементов содержит слабо сходящуюся подпоследовательность. Условие слабой относительной компактности дает теорема Прохорова. Семейство
наз. п л о т н ы м, если
существует компакт KМS такой, что
. Т е о р е м а П р о х о р о в а: если
плотно, то оно относительно компактно, а если Sсепарабельно и полно, то слабая относительная компактность
влечет его плотность. В случае, когда
, семейство распределений
слабо относительно компактно тогда и только тогда, когда соответствующее
семейство характеристич. функций равностепенно непрерывно в нуле.
Пусть теперь Р n, Р - распределения на измеримом пространстве (X, А), где Аесть s-алгебра. Под с х о-д и м о с т ь ю по в а р и а ц и и Р n к Р понимают равномерную сходимость по всем множествам из Аили, что равносильно, стремление вариации
к нулю; здесь
и
- компоненты разложения Жордана - Хана обобщенной меры Р п --Р.
Лит.:[1] Б и л л и н г с л и П., Сходимость вероятностных мер, пер. с англ., М., 1977; [2] Л о э в М., Теория вероятностей, пер. с англ., М.. 1962; [3] Б х а т т а ч а р и я Р. Н., Р. Р а н г а Р а о, Аппроксимация нормальным распределением и асимптотические разложения, пер. англ., 1982. В. В. Сазонов.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.