Пусть
![$$y_k$$ $$y_k$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24y_k%24%24)
- последовательность,
![$$0\leqslant y_k\leqslant 1$$ $$0\leqslant y_k\leqslant 1$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%240%5Cleqslant%20y_k%5Cleqslant%201%24%24)
. Известно, что
![$$\displaystyle \lim\limits_{b\to +\infty}\frac{\sum\limits_k[ky_k\leqslant b]}{b}=1$$ $$\displaystyle \lim\limits_{b\to +\infty}\frac{\sum\limits_k[ky_k\leqslant b]}{b}=1$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24%5Cdisplaystyle%20%5Clim%5Climits_%7Bb%5Cto%20%2B%5Cinfty%7D%5Cfrac%7B%5Csum%5Climits_k%5Bky_k%5Cleqslant%20b%5D%7D%7Bb%7D%3D1%24%24)
(т.е. неявно предполагается, что для всякого
![$$b$$ $$b$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24b%24%24)
сумма в числителе определена, т.е. имеет конечное число ненулевых слагаемых)
Верно ли, что последовательность
![$$y_k$$ $$y_k$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24y_k%24%24)
равномерно распределена по модулю
![$$1$$ $$1$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%241%24%24)
, т.е. для любого
![$$a:0<a<1$$ $$a:0<a<1$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24a%3A0%3Ca%3C1%24%24)
верно
![$$\lim\limits_{n\to\infty}\frac{1}{n}\sum\limits_{k=1}^n[y_k<a]=a$$ $$\lim\limits_{n\to\infty}\frac{1}{n}\sum\limits_{k=1}^n[y_k<a]=a$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24%5Clim%5Climits_%7Bn%5Cto%5Cinfty%7D%5Cfrac%7B1%7D%7Bn%7D%5Csum%5Climits_%7Bk%3D1%7D%5En%5By_k%3Ca%5D%3Da%24%24)
.
Здесь
![$$[P(k)]$$ $$[P(k)]$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24%5BP%28k%29%5D%24%24)
-
нотация АйверсонаЯ пока вижу только, что из равномерности исходное свойство не следует. Т.е. либо данное свойство - сильнее равномерности, либо оно с ним никак не связано. А как прямо доказать пока не вижу.
Последний раз редактировалось
Sonic86 30 ноя 2019, 15:54, всего редактировалось 1 раз.
Причина: test