
- стандартное вероятностное пространство (отрезок
![$[0,1]$ $[0,1]$](https://dxdy-03.korotkov.co.uk/f/a/c/f/acf5ce819219b95070be2dbeb8a671e982.png)
с мерой Лебега).
Пусть заданы унитарный оператор

и некоторая фиксированная последовательность

такая, что

в слабой операторной топологии:

для любых

.
Для

обозначим

.
Верны ли следующие утверждения:
1)
Для любой функции
, средние
сходятся к
почти всюду?2)
Для любого
найдется
такое, что
влечет
?Можно изначально заменить

на произвольную её подпоследовательность, но фиксированную, т.е. она не должна зависеть от

.
Интересен положительный ответ на второй вопрос.
Для произвольной ограниченной последовательности

(не обязательно вида

) средние сходятся почти всюду лишь для некоторой
подпоследовательности (Komlòs и Révész). Аналогично, Банах-Сакс говорят, что слабая сходимость

влечет сильную сходимость средних для
подпоследовательности.
Но можно ли сказать что-то о средних для всей последовательности в предположении, что она имеет вид

и сходится слабо?