- стандартное вероятностное пространство (отрезок
с мерой Лебега).
Пусть заданы унитарный оператор
и некоторая фиксированная последовательность
такая, что
в слабой операторной топологии:
для любых
.
Для
обозначим
.
Верны ли следующие утверждения:
1)
Для любой функции , средние сходятся к почти всюду?2)
Для любого найдется такое, что влечет ?Можно изначально заменить
на произвольную её подпоследовательность, но фиксированную, т.е. она не должна зависеть от
.
Интересен положительный ответ на второй вопрос.
Для произвольной ограниченной последовательности
(не обязательно вида
) средние сходятся почти всюду лишь для некоторой
подпоследовательности (Komlòs и Révész). Аналогично, Банах-Сакс говорят, что слабая сходимость
влечет сильную сходимость средних для
подпоследовательности.
Но можно ли сказать что-то о средних для всей последовательности в предположении, что она имеет вид
и сходится слабо?