Изменения

Рассмотрим путь из <tex>i</tex>-го состояния в поглощающее состояние <tex>j</tex>. Рассмотрим марковскую цепь через Пусть мы совершили <tex>mk</tex> шагов. Пусть из состояния <tex>p_{i}<1</tex> — вероятность того, что через тогда обозначим <tex>m_ip_{k}</tex> шагов из состояния <tex>i</tex> мы не попадем — вероятность попасть в поглощающее состояние.Теперь обобщим в большую сторону для всех состояний <tex>i</tex>: пусть <tex>m = \max(m_i)j</tex>за такое количество шагов. Заметим, а что <tex>p = \max(p_i)p_{k} < 1</tex>

Тогда вероятность перехода Теперь обобщим в состояние большую сторону для любого количества шагов: пусть <tex>jm = \max(k)</tex> на шаге , а <tex>mp = \max(p_{k})< 1</tex> равна . В таком случае <tex>\sum\limits_{j} {q^{m}_{ij}}p</tex>, где — наибольшая вероятность попасть в поглощающее состояние <tex>q_{ij}^{m}j</tex> — элемент матрицы , совершив при этом не более чем <tex>Q^{m}</tex>шагов.

Тогда вероятность перехода в состояние <tex>j</tex> на шаге <tex>m</tex> равна <tex>p_{m} = \sum\limits_{j} {q^{m}_{ij}}</tex>, где <tex>q_{ij}^{m}</tex> — элемент матрицы <tex>Q^{m}</tex>.  В то же время, <tex>\sum\limits_{j} {q^m_{ij}}\leqslant p</tex> потому что <tex>p_{m} \leqslant p, \forall m</tex> по условию обозначения <tex>p</tex>. Возведем обе части в степень <tex>k \rightarrow \infty</tex>, получим: <tex>\sum\limits_{j} {q^{mk}_{ij}}\leqslant p^k\xrightarrow{k\xrightarrow{}+\infty}0</tex>