Прошу прощения, что не совсем точно выразил свою проблему. Ближе всех к пониманию меня был
ShMaxG.
Для восстановления ф.р по хар. ф-ции в общем случае используется прием "сглаживания" распределений. Он описан, например, в учебнике Боровкова Теория вероятностей (стр. 159 в издании 2009 г.).
Именно оттуда эта формула взята.
Вопрос возник по доказательству следствия из этой формулы. Процитирую:
Цитата:
Теорема единственностиХ.ф. случайной величины однозначно определяет ее функцию распределения.Доказательство следует из формулы обращения и того, что разности
![$F(y)-F(x)$ $F(y)-F(x)$](https://dxdy-02.korotkov.co.uk/f/d/4/2/d421271e4ccdadee06f03131af47d5aa82.png)
однозначно определяют
![$F(x)$ $F(x)$](https://dxdy-03.korotkov.co.uk/f/2/e/2/2e24d888f4e1beab268e2e3663bce7a782.png)
.
Была непонятна фраза "разности
![$F(y)-F(x)$ $F(y)-F(x)$](https://dxdy-02.korotkov.co.uk/f/d/4/2/d421271e4ccdadee06f03131af47d5aa82.png)
однозначно определяют
![$F(x)$ $F(x)$](https://dxdy-03.korotkov.co.uk/f/2/e/2/2e24d888f4e1beab268e2e3663bce7a782.png)
". И раз уж дали формулу, то хотелось этот
![$F(x)$ $F(x)$](https://dxdy-03.korotkov.co.uk/f/2/e/2/2e24d888f4e1beab268e2e3663bce7a782.png)
сосчитать.
Но понимать видимо нужно следующим образом. Ясно, что если
![$F_1$ $F_1$](https://dxdy-03.korotkov.co.uk/f/2/1/4/2144c3c4436ef35026e895fed8fd671f82.png)
и
![$F_2$ $F_2$](https://dxdy-04.korotkov.co.uk/f/3/9/5/3956a0723425282b441b7a17d9cc4be782.png)
- две функции распределения, такие, что
![$\varphi(t) = \int e^{itx}dF_1(x) = \int e^{itx}dF_2(x)$ $\varphi(t) = \int e^{itx}dF_1(x) = \int e^{itx}dF_2(x)$](https://dxdy-01.korotkov.co.uk/f/8/4/6/84637cffccac5fcacd66491401c4df2782.png)
, то в силу формулы обращения
![$F_1(y)=F_2(y)$ $F_1(y)=F_2(y)$](https://dxdy-04.korotkov.co.uk/f/3/c/8/3c8b779f9e5a7e6206c7da7cda23256282.png)
для всех точек
![$y$ $y$](https://dxdy-02.korotkov.co.uk/f/d/e/c/deceeaf6940a8c7a5a02373728002b0f82.png)
из всюду плотного множества, а значит
![$F_1=F_2$ $F_1=F_2$](https://dxdy-02.korotkov.co.uk/f/5/d/4/5d459c86af600192899017a9eac7590582.png)
. Теперь остается перебрать все функции распределения и найти ту
![$F$ $F$](https://dxdy-04.korotkov.co.uk/f/b/8/b/b8bc815b5e9d5177af01fd4d3d3c2f1082.png)
, по которой была построена
![$\varphi$ $\varphi$](https://dxdy-01.korotkov.co.uk/f/4/1/7/417a5301693b60807fa658e5ef9f953582.png)
.