Курс лекций для специальности Прикладная математика и информатика
| Вид материала | Курс лекций |
СодержаниеЦМ с конечным числом состояний (конечная ЦМ {КЦМ}). |
- Программа по курсу "Математика. Алгебра и геометрия" для специальности 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) вектор
является единственным решением следующей системы:
при
.(Каков смысл:
Представим, что мы наблюдаем за перемещением частицы по состояниям системы и заснули, а частичка продолжала «гулять». Тогда вектор
- это вероятности того, что мы найдем частичку в соответствующем состоянии, когда проснемся.)



