В математика, а случайный компакт по сути компактный набор -значен случайная переменная. Случайные компакты полезны при изучении аттракторов для случайные динамические системы.
Определение
Позволять
быть полный отделяемый метрическое пространство. Позволять
обозначим множество всех компактных подмножеств
. Метрика Хаусдорфа
на
определяется
![h (K_ {1}, K_ {2}): = max left {sup _ {ain K_ {1}} inf _ {bin K_ {2}} d (a, b), sup _ {bin K_ {2} } inf _ {ain K_ {1}} d (a, b) ight}.](https://wikimedia.org/api/rest_v1/media/math/render/svg/31cb6e7540ed1218a3cb7557b1273a2365fd1bfb)
также является полным сепарабельным метрическим пространством. Соответствующие открытые подмножества порождают σ-алгебра на
, то Борелевская сигма-алгебра
из
.
А случайный компакт это а измеримая функция
от а вероятностное пространство
в
.
Другими словами, случайный компакт - это измеримая функция
такой, что
является почти наверняка компактный и
![omega mapsto inf _ {bin K (omega)} d (x, b)](https://wikimedia.org/api/rest_v1/media/math/render/svg/658f5b388674d664aaecea6fc8d58a884c225127)
является измеримой функцией для каждого
.
Обсуждение
Случайные компакты в этом смысле также являются случайные замкнутые множества как в Матерон (1975). Следовательно, при дополнительном предположении, что несущее пространство локально компактно, их распределение определяется вероятностями
за ![Кин {математик {К}}.](https://wikimedia.org/api/rest_v1/media/math/render/svg/8983ece62573986aec506ed44fb9480f75620d8b)
(Распределение случайного компактного выпуклого множества также задается системой всех вероятностей включения
)
За
вероятность
получается, что удовлетворяет
![mathbb {P} (xin X) = 1-mathbb {P} (xot в X).](https://wikimedia.org/api/rest_v1/media/math/render/svg/d6a5facb7e16e525034be1565569c0bf86c9e696)
Таким образом функция покрытия
дан кем-то
за ![Синь М.](https://wikimedia.org/api/rest_v1/media/math/render/svg/127645d1eb7572c38f34e5b855f5d789404f6d93)
Конечно,
также может интерпретироваться как среднее значение индикаторной функции
:
![p_ {X} (x) = mathbb {E} mathbf {1} _ {X} (x).](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4a0eab12fd946935384d3c41d4212b2a27d0f1a)
Функция покрытия принимает значения между
и
. Набор
из всех
с
называется поддерживать из
. Набор
, из всех
с
называется ядро, набор фиксированные точки, или же необходимый минимум
. Если
, представляет собой последовательность i.i.d. случайные компакты, то почти наверняка
![igcap _ {i = 1} ^ {infty} X_ {i} = e (X)](https://wikimedia.org/api/rest_v1/media/math/render/svg/47ec9449e8c7364bb4b32ed29bb6cb8db963f1ec)
и
почти наверняка сходится к ![бывший).](https://wikimedia.org/api/rest_v1/media/math/render/svg/57802d839fd9fa61759091a233f6ac105707f172)
Рекомендации
- Матерон, Г. (1975) Случайные множества и интегральная геометрия. J.Wiley & Sons, Нью-Йорк.
- Молчанов, И. (2005) Теория случайных множеств. Спрингер, Нью-Йорк.
- Стоян Д., Стоян Г. (1994) Фракталы, случайные формы и точечные поля. John Wiley & Sons, Чичестер, Нью-Йорк.