«Управление и Оптимизация Производственного Предприятия»
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
М.: МЗ-Пресс, 2004. Глава 2. Статистические методы в пространствах произвольной природы 2.2. Законы больших чисел О формулировках законов больших чисел. Пусть
при В силу классического закона больших чисел при
в смысле сходимости по вероятности, если правая часть существует (теорема А.Я. Хинчина, 1923 г.). Если пространство Х состоит из конечного числа элементов, то из соотношения (2) легко вытекает (см., например, [1, с.192-193]), что
Другими словами, Если
Однако с прикладной точки зрения доказательство соотношений (3) - (4) не дает достаточно уверенности в возможности использования Замечание. Если в соотношении (2) рассмотреть сходимость с вероятностью 1, то аналогично (3) получим т.н. усиленный закон больших чисел [1, с.193-194]. Согласно этой теореме с вероятностью 1 эмпирическое среднее Если Х не является конечным, например, Х = R1 , то соотношения (3) и (4) неверны. Поэтому необходимо искать иные формулировки закона больших чисел. В классическом случае сходимости выборочного среднего арифметического к математическому ожиданию, т.е.
В этом соотношении в отличие от (3) речь идет о попадании эмпирического среднего Обобщим эту формулировку. Как задать окрестность теоретического среднего в пространстве произвольной природы? Естественно взять его окрестность, определенную с помощью какой-либо метрики. Однако полезно обеспечить на ее дополнении до Х отделенность множества значений Мf(x(),y) как функции y от минимума этой функции на всем Х. Поэтому мы сочли целесообразным определить такую окрестность с помощью самой функции Мf(x(),y). Определение 1. Для любого
Таким образом, в
Соотношение (6) допускает непосредственное обобщение на общий случай пространств произвольной природы. СХЕМА ЗАКОНА БОЛЬШИХ ЧИСЕЛ. Пусть
Аналогичным образом может быть сформулирована и общая идея усиленного закона больших чисел. Ниже приведены две конкретные формулировки "условий регулярности". Законы больших чисел. Начнем с рассмотрения естественного обобщения конечного множества - бикомпактного пространства Х. Теорема 1. В условиях теоремы 1 раздела 2.1 справедливо соотношение (7). Доказательство. Воспользуемся построенным при доказательстве теоремы 1 раздела 2.1 конечным открытым покрытием {Z1, Z2, ..., Zk} пространства Х таким, что для него выполнено соотношение (3) раздела 2.1. Построим на его основе разбиение Х на непересекающиеся множества W1, W2, ..., Wm (объединение элементов разбиения W1, W2, ..., Wm составляет Х). Это можно сделать итеративно. На первом шаге из Z1 следует вычесть Z2, ..., Zk - это и будет W1. Затем в качестве нового пространства надо рассмотреть разность Х и W1, а покрытием его будет {Z2, ..., Zk}. И так доk-го шага, когда последнее из рассмотренных покрытий будет состоять из единственного открытого множества Zk. Остается из построенной последовательности W1, W2, ..., Wk вычеркнуть пустые множества, которые могли быть получены при осуществлении описанной процедуры (поэтому, вообще говоря, m может быть меньше k). В каждом из элементов разбиения W1, W2, ..., Wm выберем по одной точке, которые назовем центрами разбиения и соответственно обозначим w1, w2, ..., wm. Это и есть то конечное множество, которым можно аппроксимировать бикомпактное пространство Х. Пусть y входит в Wj. Тогда из соотношения (3) раздела 2.1 вытекает, что
Перейдем к доказательству соотношения (7). Возьмем произвольное
Для обоснования этого неравенства рассмотрим все элементы разбиения W1, W2, ..., Wm, имеющие непустое пересечение с внешностью
где минимум берется по центрам всех элементов разбиения, имеющим непустое пересечение с внешностью
В силу закона больших чисел для действительнозначных случайных величин каждая из участвующих в соотношениях (9) и (11) средних арифметических имеет своими пределами соответствующие математические ожидания, причем в соотношении (11) эти пределы не менее
поскольку точки vi лежат вне
и достаточно большом n, обеспечивающем необходимую близость рассматриваемого конечного числа средних арифметических к их математическим ожиданиям, справедливо неравенство (9). Из неравенства (9) следует, что пересечение En(f) с внешностью Если Х не является бикомпактным пространством, то необходимо суметь оценить рассматриваемые суммы "на периферии", вне бикомпактного ядра, которое обычно выделяется естественным путем. Один из возможных комплексов условий сформулирован выше в теореме 2 раздела 2.1. Теорема 2. В условиях теоремы 2 раздела 2.1 справедлив закон больших чисел, т.е. соотношение (25). Доказательство. Будем использовать обозначения, введенные в теореме 2 раздела 2.1 и при ее доказательстве. Пусть r и R, r < R, - положительные числа. Рассмотрим точку х в шаре K(r) и точку y вне шара K(R). Поскольку
то
Положим
Сравним
а в силу неравенства (12)
где Card I(n,r) - число элементов в множестве индексов I(n,r). Следовательно,
где J = Card I(n,r) - биномиальная случайная величина B(n,p) с вероятностью успеха p = P{
где
Выберем R так, чтобы
Тогда
и согласно (13), (14) и (15) при
для любого y вне K(R). Из (16) следует, что минимизировать
с вероятностью не менее 1-2 Пусть
Согласно (18) с вероятностью не менее
при
что и завершает доказательство теоремы 2. Справедливы и иные варианты законов больших чисел, полученные, в частности, в статье [4]. Разберем важный для прикладных исследований пример. Медиана Кемени и экспертные оценки. Рассмотрим на основе развитой выше теории частный случай пространств нечисловой природы - пространство бинарных отношений на конечном множестве Определение 2. Расстоянием Кемени между бинарными отношениями А и В, описываемыми матрицами ||a(i,j)|| и ||b(i,j)|| соответственно, называется
Замечание. Иногда в определение расстояния Кемени вводят множитель, зависящий от k. Определение 3. Медианой Кемени для выборки, состоящей из бинарных отношений, называется эмпирическое среднее, построенное с помощью расстояния Кемени. Поскольку число бинарных отношений на конечном множестве конечно, то эмпирические и теоретические средние для произвольных показателей различия существуют и справедливы законы больших чисел, описанные формулами (3) и (4) выше. Бинарные отношения, в частности, упорядочения, часто используются для описания мнений экспертов. Тогда расстояние Кемени измеряет близость мнений экспертов, а медиана Кемени позволяет находить итоговое усредненное мнение комиссии экспертов. Расчет медианы Кемени обычно включают в информационное обеспечение систем принятия решений с использованием оценок экспертов. Речь идет, например, о математическом обеспечении автоматизированного рабочего места "Математика в экспертизе" (АРМ "МАТЭК"), предназначенного, в частности, для использования при проведении экспертиз в задачах экологического страхования. Поэтому представляет большой практический интерес численное изучение свойств медианы Кемени при конечном объеме выборки. Такое изучение дополняет описанную выше асимптотическую теорию, в которой объем выборки предполагается безгранично возрастающим ( Компьютерное изучение свойств медианы Кемени при конечных объемах выборок. С помощью специально разработанной программной системы В.Н. Жихарев провел ряд серий численных экспериментов по изучению свойств выборочных медиан Кемени. Представление о полученных результатах дается таблицей 1, взятой из статьи [5]. В каждой серии методом статистических испытаний определенное число раз моделировался случайный и независимый выбор экспертных ранжировок, а затем находились все медианы Кемени для смоделированного набора мнений экспертов. При этом в сериях 1-5 распределение ответа эксперта предполагалось равномерным на множестве всех ранжировок. В серии 6 это распределение являлось монотонным относительно расстояния Кемени с некоторым центром (о понятии монотонности см. главу 1), т.е. вероятность выбора определенной ранжировки убывала с увеличением расстояния Кемени этой ранжировки от центра. Таким образом, серии 1-5 соответствуют ситуации, когда у экспертов нет почвы для согласия, нет группировки их мнений относительно некоторого единого среднего группового мнения, в то время как в серии 6 есть единое мнение - описанный выше центр, к которому тяготеют ответы экспертов. Результаты, приведенные в табл.1, можно комментировать разными способами. Неожиданным явилось большое число элементов в выборочной медиане Кемени - как среднее, так и особенно максимальное. Одновременно обращает на себя внимание убывание этих чисел при росте числа экспертов и особенно при переходе к ситуации реального существования группового мнения (серия 6). Достаточно часто один из ответов экспертов входит в медиану Кемени (т.е. пересечение множества ответов экспертов и медианы Кемени непусто), а диаметр медианы как множества в пространстве ранжировок заметно меньше диаметра множества ответов экспертов. По этим показателям - наилучшее положение в серии 6. Грубо говоря, всяческие "патологии" в поведении медианы Кемени наиболее резко проявляются в ситуации, когда ее применение не имеет содержательного обоснования, т.е. когда у экспертов нет основы для согласия, их ответы равномерно распределены на множестве ранжировок. Таблица 1. Вычислительный эксперимент по изучению медианы Кемени
Увеличение числа испытаний в 10 раз при переходе от серии 1 к серии 5 не очень сильно повлияло на приведенные в таблице характеристики, поэтому представляется, что суть дела выявляется при числе испытаний (в методе Монте-Карло), равном 100 или даже 50. Увеличение числа объектов или экспертов увеличивает число элементов в рассматриваемых пространствах ранжировок, а потому уменьшается частота попадания какого-либо из мнений экспертов внутрь медианы Кемени. А также отношение диаметра медианы к диаметру множества экспертов и число элементов медианы Кемени (среднее и максимальное). Можно сказать, что увеличение числа объектов или экспертов уменьшает степень дискретности задачи, приближает ее к непрерывному случаю, а потому уменьшает выраженность различных "патологий". Есть много интересных направлений исследований, которые здесь не рассматриваем. Они связаны, в частности, со сравнением медианы Кемени с другими методами усреднения мнений экспертов, например, с нахождением итогового упорядочения по методу средних рангов [6]. А также с использованием малых окрестностей ответов экспертов для поиска входящих в медиану ранжировок (с целью сокращения расчетов). Или с построением теоретических и численных оценок скорости сходимости в законах больших чисел.
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
- независимые одинаково распределенные случайные элементы со значениями в Х. Закон больших чисел - это утверждение о сходимости эмпирических средних к теоретическому среднему (математическому ожиданию) при росте объема выборки n, т.е. утверждение о том, что
(1)
. Однако и слева, и справа в формуле (1) стоят, вообще говоря, множества. Поэтому понятие сходимости в (1) требует обсуждения и определения.
(2)
(3)
является состоятельной оценкой 
.
, то соотношение (3) переходит в следующее:
(4)
X одновременно левые части соотношений (2) сосредотачиваются в непересекающихся окрестностях правых частей.
. Мы не будем останавливаться на сходимости с вероятностью 1, поскольку в соответствующих постановках, подробно разобранных в монографии [1], нет принципиальных отличий от случая сходимости по вероятности.
, можно записать закон больших чисел так: для любого
> 0 справедливо предельное соотношение
(5)
не непосредственно внутрь теоретического среднего E(x,f), а в некоторую окрестность теоретического среднего.
. В формулировке (5) классического закона больших чисел утверждается, что при любом 
-пятку математического ожидания стремится к 1. Поскольку 
(6)
- независимые одинаково распределенные случайные элементы со значениями в пространстве произвольной природы Х с показателем различия f: X2
R1.Пусть выполнены некоторые математические условия регулярности. Тогда для любого 
(7)
(8)
>0. Рассмотрим некоторую точку b изE(x,f). Доказательство будет основано на том, что с вероятностью, стремящейся к 1, для любого y вне 
выполнено неравенство
(9)
(10)
(11)
(12)
и 
. Выборку 
разобьем на две части. В первую часть включим те элементы выборки, которые входят в K(r), во вторую - все остальные (т.е. лежащие вне K(r)). Множество индексов элементов первой части обозначим I = I(n,r). Тогда в силу неотрицательности f имеем
(13)
}. По теореме Хинчина для 
. Выберем 
так, чтобы при 
было выполнено соотношение
(14)
Выберем r так, чтобы вероятность успеха p > 0,6. По теореме Бернулли можно выбрать 
так, чтобы при 
(15)
(16)
с вероятностью не менее 
имеем
(17)
достаточно внутри бикомпактного шара K(R), при этом En(f) не пусто и
(18)
и 
- сужения 
), x) соответственно на K(R) как функций от х. В силу (16) справедливо равенство 
Согласно доказанной выше теореме 1 найдется 
такое, что
Следовательно, при 
имеем
и его подпространства. Как известно, каждое бинарное отношение А можно описать матрицей ||a(i,j)|| из 0 и 1, причем a(i,j)= 1 тогда и только тогда qi и qj находятся в отношении А, и a(i,j) = 0 в противном случае.