Доброго времени суток!
Пусть
![$\mathcal{B}(\mathbb{R}^{[0,1]})$ $\mathcal{B}(\mathbb{R}^{[0,1]})$](https://dxdy-01.korotkov.co.uk/f/c/1/8/c189c3996db1491ade33ad91dd2c30e182.png)
цилиндрическая сигма-алгебра на
![$\mathbb{R}^{[0,1]}$ $\mathbb{R}^{[0,1]}$](https://dxdy-01.korotkov.co.uk/f/0/a/2/0a253c4f207e9de7cbf1e5d2550e0dc382.png)
, т.е. сигма-алгебра, порожденная всевозможными множествами вида

где
![$t_j\in[0,1].$ $t_j\in[0,1].$](https://dxdy-02.korotkov.co.uk/f/5/d/e/5de789810066f4caf9fffb91bab5bc0182.png)
Известно, что для каждого
![$A\in\mathcal{B}(\mathbb{R}^{[0,1]})$ $A\in\mathcal{B}(\mathbb{R}^{[0,1]})$](https://dxdy-02.korotkov.co.uk/f/1/1/e/11e4836587c7a6a353680b457f0f9fa482.png)
существует такая последовательность
![$\{t_j\}\in[0,1]$ $\{t_j\}\in[0,1]$](https://dxdy-04.korotkov.co.uk/f/3/0/c/30cc67df9db4f936b41952fafd3d253b82.png)
и такое множество

, что

.
Пусть
![$A\in\mathcal{B}(\mathbb{R}^{[0,1]})$ $A\in\mathcal{B}(\mathbb{R}^{[0,1]})$](https://dxdy-02.korotkov.co.uk/f/1/1/e/11e4836587c7a6a353680b457f0f9fa482.png)
не пусто и

. Пусть

(

не пусто). Поскольку ограничения на

наложены только для точек

, то множеству

будут принадлежать все функции, совпадающие с

в этих точках. Таких функций в точности

. Получается, что каждое непустое множество из
![$\mathcal{B}(\mathbb{R}^{[0,1]})$ $\mathcal{B}(\mathbb{R}^{[0,1]})$](https://dxdy-01.korotkov.co.uk/f/c/1/8/c189c3996db1491ade33ad91dd2c30e182.png)
имеет мощность

. Отсюда заключаем, что, например, множество всех непрерывных функций на
![$[0,1]$ $[0,1]$](https://dxdy-03.korotkov.co.uk/f/a/c/f/acf5ce819219b95070be2dbeb8a671e982.png)
не принадлежит
![$\mathcal{B}(\mathbb{R}^{[0,1]})$ $\mathcal{B}(\mathbb{R}^{[0,1]})$](https://dxdy-01.korotkov.co.uk/f/c/1/8/c189c3996db1491ade33ad91dd2c30e182.png)
, поскольку имеет мощность лишь континуум.
Это правильное рассуждение?