Курс лекций для специальности Прикладная математика и информатика
Вид материала | Курс лекций |
СодержаниеЦМ с конечным числом состояний (конечная ЦМ {КЦМ}). |
- Программа по курсу "Математика. Алгебра и геометрия" для специальности 080801 (351400), 143.45kb.
- Программа вступительного экзамена по математике подготовки магистров по направлению, 86.94kb.
- Программа дисциплины дс. 08 «Информационная безопасность» для студентов специальности, 149.66kb.
- Программа дисциплины ф дифференциальные уравнения для студентов специальности 010501, 101.63kb.
- Программа дисциплины математический анализ и обыкновенные дифференциальные уравнения., 139.76kb.
- Рабочая программа по дисциплине «принятие управленческих решений» (по выбору) для специальности, 89.25kb.
- Программа дисциплины Современная прикладная алгебра для направления 010500 Прикладная, 214.78kb.
- Программа дисциплины ф. 8 Общая физика Разделы «Механика», «Колебания и волны», «Молекулярная, 113.79kb.
- «Прикладная математика и информатика», 3781.56kb.
- Основная образовательная программа специальности высшего профессионального образования, 68.9kb.
Определение Состояние нулевое состояние
Теорема.
В неразложимой цепи Маркова все состояния нулевые или все состояния ненулевые.
Доказательство.
нулевое состояние и ,
Тогда
Лекция 16 (21.12.10)
Пусть у нас есть неразложимая ЦМ, состояние, определим множество
Определение. Пусть
. Если то периодическое состояние и период состояния j. Если то непериодическое состояние.
Заметим, что
аддитивный класс
Последнее следует из следующих соотношений:
Лемма. Пусть аддитивный класс и период. Тогда :
Доказательство. и .
(Пусть - множество натуральных чисел. Заметим: если ) Итак,
Где
Таким образом
Рассмотрим
Получаем, что , (*)
Пусть и . Представим в виде (разделили на с остатком), где . Имеем далее:
, т.е. и . Следовательно, выполняется (*), откуда и следует утверждение леммы.
Теорема. Пусть существенные сообщающиеся состояния неразложимой ЦМ. Тогда
Доказательство. В силу неразложимости ЦМ состояния i и j сообщаются, т.е. найдутся натуральные
т.е.
Пусть , т. е.
Рассмотрим
Аналогично , Теорема доказана.
Пусть - произвольное состояние ЦМ с периодом .
Разобьем все множество состояний на классов: .
Состояние существует .
Покажем, что .
и пусть
для некоторого t. Тогда
, (1)
(2)
Из (1) и (2) следует, что , т.е. и никак иначе.
Утверждение. Докажем, что если , то ; (это означает, что с вероятностью равной 1 переходы из состояний одного класса в состояния другого класса возможны только по следующей схеме:
)
Доказательство. . Докажем это.
Предположим противное. Пусть существует и пусть , т.е.
Тогда
(по определению разбиения множества всех состояний).
называются циклическими подклассами.
Матрица переходных вероятностей будет выглядеть следующим образом (заштрихованные блоки являются стохастическими матрицами).
| | | | . . . | |
| 0 | | | | |
| 0 | 0 | | | |
| | | | | |
. . . | | | | | |
| | | | | |
Пусть далее - ЦМ с конечным числом состояний (конечная ЦМ {КЦМ}).
Утверждение. В конечной ЦМ все существенные состояния являются возвратными и все возвратные состояния существенны, т.е. в КЦМ понятия существенности и возвратности равносильны.
Доказательство.
- Докажем сначала, что если - возвратное, то - существенное.
Предположим противное: - возвратное и несущественное существует такое, что и .
(т.к. возвратное). Пусть (возможность перейти из в за конечное число шагов)= А и пусть событие Б= (никогда не вернуться в состояние ). Тогда
никогда не вернуться в и, кроме того, имеем следующее включение:
(А) (Б) Отсюда следует, что
(противоречие).
- Теперь покажем, что
- существенное - возвратное.
- возвратное (критерий возвратности состояний).
Кроме того, имеем
Рассмотрим (для конкретного )
Заметим, что суммировать можно только по существенным состояниям (в противном случае получаются нули).
существует
, где .
Если - нулевое (верно для любого ).
Имеем, что (а число слагаемых конечно, т.к. КЦМ).
Противоречие с тем, что - нулевое - возвратное.
Лекция 17 (15.02.11)
Теорема (Финальные или стационарные вероятности)
Пусть существует : .
Тогда: 1) существует
2) вектор является единственным решением следующей системы:
при .
(Каков смысл:
Представим, что мы наблюдаем за перемещением частицы по состояниям системы и заснули, а частичка продолжала «гулять». Тогда вектор - это вероятности того, что мы найдем частичку в соответствующем состоянии, когда проснемся.)