Використовуючи лише найосновніші аксіоми щодо ймовірностей та дійсних чисел, можна довести набагато сильніше твердження:
Різниця будь-яких двох незалежних, однаково розподілених неконстантних випадкових значень X-Y ніколи не має дискретного рівномірного розподілу.
(Аналогічне твердження для безперервних змінних доведено в Уніфікованому PDF різниці двох обертів .)
Ідея полягає в тому, що шанс X- Y є крайнім значенням повинен бути меншим, ніж шанс, що X- Y дорівнює нулю, оскільки існує лише один спосіб (скажімо) максимізувати Х- Y тоді як існує багато способів зробити різницю нульовою , оскільки Х і Y мають однаковий розподіл і тому можуть дорівнювати один одному. Ось деталі.
Спершу зауважте, що відповідні гіпотетичні дві змінні Х і Y можуть досягти лише кінцевого числа н значень з позитивною ймовірністю, оскільки буде принаймні n чітких відмінностей, і рівномірний розподіл призначає їм всі рівні ймовірності. Якщо n нескінченно, то так би було число можливих різниць, що мають позитивну, рівну ймовірність, звідки сума їх шансів була б нескінченною, що неможливо.
Далі , оскільки кількість відмінностей скінченна, серед них буде найбільша кількість. Найбільша різниця може бути досягнута лише при відніманні найменшого значення виклику Y --лету m і припустимо, що він має ймовірність q=Pr(Y=m) --від найбільшого значення виклику X --let, що той M з p=Pr(X=M). Тому щоX іY незалежні, ймовірність цієї різниці є результатом цих шансів,
Pr(X−Y=M−m)=Pr(X=M)Pr(Y=m)=pq>0.(*)
Нарешті , оскільки X і Y мають однакове розподіл, є багато способів їх відмінності можуть продукувати значення 0. Серед цих способів є випадки , коли X=Y=m і X=Y=M. Оскільки цей розподіл непостійне, m відрізняється від M.Це показує, що ці два випадки є непересічними подіями, і тому вони повинні внести принаймні суму p2+q2 до шансу, щоX−Yдорівнює нулю; це є,
Pr(X−Y=0)≥Pr(X=Y=m)+Pr(X=Y=M)=p2+q2.
Оскільки квадрати чисел не від'ємні, 0≤(p−q)2, звідки виведемо з (∗) що
Pr(X−Y=M−m)=pq≤pq+(p−q)2=p2+q2−pq<p2+q2≤Pr(X−Y=0),
показує розподіл X−Y не рівномірно, QED.
Редагувати у відповідь на коментар
Аналогічний аналіз абсолютних різниць |X−Y|зазначає , що , так як X і Y мають однакове розподіл, m=−M.Це вимагає від нас вивчення Pr(X−Y=|M−m|)=2pq.Та сама алгебраїчна техніка дає майже такий же результат, але існує ймовірність, що 2pq=2pq+(p−q)2 і 2pq+p2+q2=1. Ця система рівнянь має єдине рішенняp=q=1/2 , що відповідає справедливій монети (а «двосторонній померти»). Крім цього винятку, результат для абсолютних різниць такий самий, як і для відмінностей, і з тих самих наведених причин: а саме абсолютні відмінності двох iid випадкових величин не можуть бути рівномірно розподілені, коли існує більше двох чітких відмінностей з позитивною ймовірністю.
(кінець редагування)
Давайте застосуємо цей результат до питання, яке задає щось трохи складніше.
Моделюйте кожен незалежний рулон штамп (що може бути несправедливим штампом) випадковою змінною Xi, i=1,2,…,n. Відмінності, які спостерігаються в цих n рулонах, - це числа ΔXi=Xi+1−Xi. Нам може бути цікаво, наскільки рівномірно розподілені ці n−1 числа. Це справді питання щодо статистичних очікувань: яка очікувана кількість ΔXi , наприклад, нулю? Яка очікувана кількість ΔXi дорівнює−1 ? І т.д.
Проблемним аспектом цього питання є те, що ΔXi не є незалежними: наприклад, ΔX1=X2−X1 і ΔX2=X3−X2 включають один і той же рулон X2.
Однак це насправді не складно. Оскільки статистичне очікування є адитивним, і всі відмінності мають однаковий розподіл, якщо ми виберемо будь-яке можливе значення k різниці, очікувана кількість разів різниця дорівнює k у всій послідовності n рулонів, що становить лише n−1 рази більше очікуваної кількості разів різниця дорівнює k на одному кроці процесу. Це однокрокове очікування Pr(ΔXi=k) (для будь-якого i ). Ці очікування будуть однаковими для всіх k (тобто рівномірними ) тоді і лише тоді, коли вони однакові для одного ΔXi. But we have seen that no ΔXi has a uniform distribution, even when the die might be biased. Thus, even in this weaker sense of expected frequencies, the differences of the rolls are not uniform.