Многие системы можно описать такой моделью. Ящик имеет
входов и
выходов. Каждый шар поступает на один из входов и оказывается на одном из выходов. При этом существует определённая вероятность
того, что шар с
-го входа попадёт на
-й выход. Вероятности
определяются только конструкцией ящика и не зависят от вероятностей шара попасть на определённый вход. Мы записываем их в виде матрицы
.
(Оффтоп)
Я привык к стандарту, когда входы соответствуют столбцам матрицы, а выходы — строкам, но подстраиваюсь под Ваши определения, имею в виду матрицу
. Мне хотелось бы транспонировать все матрицы, о которых я говорил.
Соединим выходы этого ящика со входами второго ящика (с
входами и
выходами и матрицей переходов
). Оба ящика вместе можно рассматривать как один составной. Пусть шар поступает на его
-й вход. Вероятность того, что шар окажется на
-м выходе, по формуле полной вероятности (Ширяев, с.36) равна
. То есть матрица составного ящика равна
. Обращаю внимание, что этот результат не получится, если элементы
имеют смысл вероятности того, что шар, оказавшийся на
-м выходе, попал туда с
-го входа. Не любые совместимые по размерам матрицы имеет смысл перемножать.
С этой точки зрения произведение
выглядит малоосмысленным. Непонятно, что оно выражает.
Более того, рассмотрим ящик с двумя входами и двумя выходами и матрицей
. Чему равна матрица вероятностей
того, что шар, попавший на
-й выход, пришёл на
-й вход? Ответ: неизвестно чему. Эти вероятности зависят не только от ящика, но и от вероятностей поступления шара на определённый вход. (Например, шары вообще могут приходить только на один вход.) Важно, исходя из задачи, определиться с тем, какие вероятности,
или
, определяются только ящиком и не зависят от «поступления». От этого зависят и результаты моделирования, и соответствие модели явлению.