Пусть - вероятностное
пространство. X,Y - банаховы пространства. Символом L(Х,Y) будем обозначать
пространство линейных ограниченных операторов, отображающих Х в Y.
Определение. Вероятностную меру v на
измеримом пространстве назовем взвешенной
гауссовской мерой (ВГМ), если существует отображение
такое, что
функция
измерима для
всех
и характеристический функционал этой меры имеет вид
Ясно, что одной измеримости для всех
недостаточно для существования меры с характеристическим
функционалом
. С другой стороны, некоторые естественные ограничения на отображение
R уже достаточны для того, чтобы
определяла ВГМ.
Нами доказана
Теорема. Пусть X - сепарабельное банахово пространство и
отображение удовлетворяет
условиям:
а) для всех
- измеримая
функция по ω;
б) для почти всех
- гауссовские
ковариационные операторы.
Тогда существует ВГМ ν с характеристическим функционалом