Результат можно подтвердить с помощью рисунка: видимые серые области показывают, что равномерное распределение не может быть разложено как сумма двух независимых одинаково распределенных переменных.
нотация
Пусть XX и YY такие, что X + YX+Y имеет равномерное распределение на [ 0 , 1 ][0,1] . Это означает, что для всех 0 ≤ a ≤ b ≤ 10≤a≤b≤1 ,
Pr ( a < X + Y ≤ b ) = b - a .
Pr(a<X+Y≤b)=b−a.
Существенная поддержка общего распределения X и Y , следовательно, [ 0 , 1 / 2 ] (в противном случае был бы положительная вероятность того, что Х + Y лежит вне [ 0 , 1 ] ).XY[0,1/2]X+Y[0,1]
Изображение
Пусть 0 < ε < +1 / 4 . Рассмотрим эту диаграмму, показывающую, как вычисляются суммы случайных величин:0<ϵ<1/4
Основное распределение вероятностей является совместным для ( X , Y ) . Вероятность любого события a < X + Y ≤ b определяется общей вероятностью, покрытой диагональной полосой, растянутой между линиями x + y = a и x + y = b . Показаны три такие полосы: от 0 до ϵ , выглядящие как маленький синий треугольник в левом нижнем углу; от 1 / 2 - е на 1 / 2(X,Y)a<X+Y≤bx+y=ax+y=b0ϵ1/2−ϵ+ ϵ , показанный в виде серого прямоугольника с двумя (желтым и зеленым) треугольниками; и от 1 - е к 1 , появляется в виде небольшого красного треугольника в верхнем правом углу.1/2+ϵ1−ϵ1
Что показывает картинка
Сравнивая нижний левый треугольник на рисунке с нижним левым квадратом, содержащим его, и используя предположение iid для X и Y , становится ясно, чтоXY
& epsi ; = Pr ( Х + Y ≤ & epsi ; ) < Рг ( Х & le ; & epsi ; ) Pr ( Y ≤ & epsi ; ) = Pr ( Х & le ; & epsi ; ) 2 .
ϵ=Pr(X+Y≤ϵ)<Pr(X≤ϵ)Pr(Y≤ϵ)=Pr(X≤ϵ)2.
Обратите внимание, что неравенство строгое: равенство невозможно, поскольку существует некоторая положительная вероятность того, что и X, и Y меньше ϵ, но, тем не менее, X + Y > ϵ .XYϵX+Y>ϵ
Аналогично, сравнивая красный треугольник с квадратом в верхнем правом углу,
ε = Pr ( Х + Y > 1 - ε ) < Рг ( Х > 1 / 2 - ε ) 2 .
ϵ=Pr(X+Y>1−ϵ)<Pr(X>1/2−ϵ)2.
Наконец, сравнение двух противоположных треугольников в верхнем левом и нижнем правом углу с диагональной полосой, содержащей их, дает другое строгое неравенство,
2 & epsi ; < 2 Рг ( Х ≤ & epsi ; ) Рг ( Х > 1 / 2 - & epsi ; ) < Рг ( 1 / 2 - & epsi ; < Х + Y ≤ 1 / 2 + & epsi ; ) = 2 & epsi ; .
2ϵ<2Pr(X≤ϵ)Pr(X>1/2−ϵ)<Pr(1/2−ϵ<X+Y≤1/2+ϵ)=2ϵ.
Первое неравенство вытекает из двух предыдущих (взять их квадратные корни и умножить их) , а второй описывает (строгое) включение треугольников в пределах полосы и последнее равенство выражает однородность X + Y . Вывод о том, что 2 ϵ < 2 ϵ является противоречием, доказывающим, что такие X и Y не могут существовать, QED .X+Y2ϵ<2ϵXY