Готовлю пособие, в котором хочу дать такое общее определение смеси.
Пусть

--- набор случайных величин, индексируемых элементами множества

, каждая из которых не зависит от случайной величины

, принимающей значения в

. Тогда распределение случайной величины

называется смесью распределений

c селектором

.
Не сталкивались ли с таким определением? Есть ли возражения по поводу термина "селектор"?
Следующие свойства:

пока умею строго доказывать только для случая дискретной

(вторая формула верна при ограничениях).
Где нибудь это доказано строго для общего случая или абсолютно непрерывного распределения

?