Закон великих бројева

Илустрација закона великих бројева на примеру бацања коцке. Ако се број бацања повећава, просечна вредност исхода се приближава вредности 3,5.

Закон великих бројева (LLN) фундаментална је теорема из области теорије вероватноће и статистике. У своме најједноставнијем облику овај закон тврди да се релативна вероватноћа случајног догађаја приближава вероватноћи овог догађаја када се случајни експеримент понавља велики број пута. Формалније, ради се о конвергенцији случајне променљиве у „јаком“ (скоро сигурна конвергенција) и „слабом“ смислу (конвергенција вероватноће).

LLN је важан, јер гарантује стабилне дугорочне резултате за просеке неких случајних догађаја. На пример, док казино може да изгуби новац у једном окретању рулета, његова зарада ће тежити ка предвидљивом проценту током великог броја окретаја. Сваки победнички низ играча ће на крају бити превазиђен параметрима игре. Важно је да се закон примењује (као што назив говори) само када се узме у обзир велики број запажања. Не постоји принцип да ће се мали број запажања поклопити са очекиваном вредношћу или да ће низ једне вредности одмах бити „уравнотежен” од стране других (погледајте заблуду коцкара).

LLN се односи само на просек. Стога, док je

$$\underset{n\to \mathrm{\infty }}{\lim }\sum _{i=1}^n\frac{X_i}{n}=\bar{X}$$

друге формуле које изгледају слично нису потврђене, као што је грубо одступање од „теоријских резултата“:

$$\sum _{i=1}^n{X}_i-n\times \bar{X}$$

не само да не конвергира ка нули како n расте, већ има тенденцију да расте у апсолутној вредности како се n повећава.

Пример: бацање новчића

Вероватноћа да бачени новчић покаже писмо или главу износи ½. Што се више понавља овај експеримент, то ће бити вероватније да ће број исхода када „падне глава“ (релативна вероватноћа исхода „глава“), бити близак вредности ½. Са друге стране, врло је вероватно да ће апсолутна разлика између броја исхода „глава“ и половине броја бацања новчића расти.

Постоји и укорењено погрешно схватање закона великих бројева. Овај закон не тврди да ће они исходи који се до сада нису појављивали, од сада појављивати чешће да би уравнотежили расподелу вероватноћа. То је честа грешка играча рулета и лотоа.

Нека је низ исхода бацања новчића: глава, грб, глава, глава. Исход „глава“ се појавио три пута, а исход „грб“ једанпут. „Глава“ се дакле појављивала са релативним учешћем ¾, док је ова вредност за „грб“ ¼. После нових 96 бацања новчића исход је био 49 „грбова“ и 51 „глава“. Апсолутна разлика глава и грбова је после 100 бацања остала иста и као после 4, али је релативна разлика знатно смањена. Тако долазимо до дефиниције Закона великих бројева – вредност релативног учешћа $\frac{51}{100}=0,51$ тежи очекиваној вредности 0,5.

Практичне импликације

• Индустрија осигурања: Закон великих бројева има велики практични значај за индустрију осигурања. Он омогућава да се направе дугорочне прогнозе износа одштетних захтева. Што је већи број осигураних особа и добара, и ако се подразумева да су сви изложени једнаком ризику, то је мањи утицај случаја. Овај закон, ипак, не може да да никакву прогнозу о томе ко ће конкретно уложити одштетни захтев.
• Медицина: Када се проучава ефикасност медицинских третмана, помоћу овог закона се могу елиминистаи случајни споредни фактори.
• Природне науке: Утицај несистематских грешки у мерењу се смањује понављањем мерења.
• Информатика: Постоје информатичке технике код којих се примењује овај закон. Пример је рачунарство у облаку.

Ограничење

Просек резултата добијених из великог броја испитивања можда неће моћи да конвергира у неким случајевима. На пример, просек од n резултата узетих из Кошијеве расподеле или неке Паретове расподеле (α<1) неће конвергирати како n постаје веће; разлог су тешки репови. Кошијева и Паретова расподела представљају два случаја: Кошијева расподела нема очекивање, док је очекивање Паретове расподеле (α<1) бесконачно. Један од начина да се генерише Кошијев пример је где су случајни бројеви једнаки тангенти угла равномерно распоређени између -90° и +90°. Медијана је нула, али очекивана вредност не постоји, и заиста просек од n таквих променљивих има исту дистрибуцију као једна таква променљива. Он не конвергира по вероватноћи ка нули (или било којој другој вредности) како n иде ка бесконачности.

А ако покушаја уграђује пристрасност селекције, типичну за људско економско/рационално понашање, закон великих бројева не помаже у решавању пристрасности. Чак и ако се број испитивања повећа, пристрасност избора остаје.

Историја

Дифузија је пример закона великих бројева. У почетку, на левој страни баријере налазе се молекули растворених материја (магентна линија) и ни један на десној страни. Преграда се уклања, и раствор се дифундира да попуни цео контејнер.
Горе: Са једним молекулом, кретање изгледа сасвим случајно.
Средина: Са више молекула, јасно је присутан тренд где растворена материја све више и више униформно испуњава контејнер, али постоје и случајне флуктуације.
Доле: Са огромним бројем молекула растворене супстанце (превише да се могу видети), случајност је у суштини нестала: Чини се да растворак иде глатко и систематски од подручја високе концентрације до подручја са ниском концентрацијом. У реалним ситуацијама, хемичари могу описати дифузију као детерминистички макроскопски феномен (погледајте Фикове законе), упркос њене радомне природе.

Италијански математичар Ђироламо Кардано (1501–1576) је без доказа изјавио да се тачност емпиријских статистика повећава са бројем покушаја. Ово је затим формализовано као закон великих бројева. Посебан облик LLN (за бинарну случајну променљиву) први је доказао Јакоб Бернули. Било му је потребно више од 20 година да развије довољно ригорозан математички доказ који је објављен у његовом Шаблон:Lang (Уметност претпостављања) 1713. Он је то назвао својом „Златном теоремом“, али је постала опште позната као „Бернулијева теорема“. Ово не треба мешати са Бернулијевим принципом, названом по нећаку Јакоба Бернулија Данијелу Бернулију. Године 1837, С. Д. Поасон га је даље описао под називом Шаблон:Lang („закон великих бројева“). Од тада је био познат под оба имена, али се најчешће користи „закон великих бројева“.

Након што су Бернули и Поасон објавили своје напоре, други математичари су такође допринели прецизирању закона, укључујући Чебишева, Маркова, Борела, Кантелија, Колмогорова и Кинчина. Марков је показао да се закон може применити на случајну променљиву која нема коначну варијансу под неком другом слабијом претпоставком, а Кинчин је 1929. показао да ако се серија састоји од независних идентично распоређених случајних променљивих, довољно је да очекивана вредност постоји за слаб закон великих бројева да буде истинит.Шаблон:Sfn Ове даље студије довеле су до два истакнута облика LLN-а. Један се назива „слабим” законом, а други „јаким” законом, у односу на два различита начина конвергенције кумулативног узорка према очекиваној вредности; посебно, као што је објашњено у наставку, јак облик имплицира слаб.Шаблон:Sfn

Форме

Постоје две различите верзије закона великих бројева које су описане у наставку. Називају се јаким законом великих бројева и слабим законом великих бројева. Наведен је случај где је X₁, X₂, ... бесконачан низ независних и идентично распоређених Лебегових интеграбилних случајних променљивих са очекиваном вредношћу E(X₁) = E(X₂) = ... = µ, обе верзије закон наводе да просек узорка

$${\bar{X}}_n=\frac{1}{n}(X_1+\cdots +X_n)$$

конвергира очекиваној вредности: Шаблон:NumBlk

(Лебегова интеграбилност X_j значи да очекивана вредност E(X_j) постоји према Лебеговој интеграцији и да је коначна. То не значи да је придружена мера вероватноће апсолутно континуирана у односу на Лебегову меру.)

Уводни текстови вероватноће често додатно претпостављају идентичну коначну варијансу $\mathrm{Var}(X_i)={\sigma }^2$ (за свако $i$) и нема корелације између случајних променљивих. У том случају, варијанса просека од n случајних променљивих је

$$\mathrm{Var}({\bar{X}}_n)=\mathrm{Var}(\frac{1}{n}(X_1+\cdots +X_n))=\frac{1}{n^2}\mathrm{Var}(X_1+\cdots +X_n)=\frac{n{\sigma }^2}{n^2}=\frac{{\sigma }^2}{n}.$$

што се може користити за скраћивање и поједностављење доказа. Ова претпоставка о коначној варијанси није неопходна. Велика или бесконачна варијанса ће учинити конвергенцију споријом, али LLN ипак важи.

Међусобна независност случајних променљивих може се заменити независношћу парова или разменљивошћу у обе верзије закона.

Разлика између јаке и слабе верзије се односи на начин конвергенције који се утврђује. За тумачење ових модова, погледајте конвергенцију случајних променљивих.

Слаби закон великих бројева

За низ случајних променљивих $X_1,X_2,X_3,\dots$ у ${ℒ}^1$ каже се да задовољава слаби закон великих бројева, када за ${\bar{X}}_n=\sum _{i=1}^n(X_i-E(X_i))/n$ и све позитивне бројеве $\epsilon$ важи:

$\underset{n\to \mathrm{\infty }}{\lim }\mathrm{P}(\left|{\bar{X}}_n\right|>\epsilon )=0$.

Постоји мноштво ситуација у којима се може применити Слаби закон великих бројева. На пример, он важи за низ случајних променљивих $X_1,X_2,X_3,\dots$ које имају коначне варијансе ${\sigma }_1^2,{\sigma }_2^2,{\sigma }_3^2\dots$, које су ограничене заједничком горњом границом, и нису међусобно корелисане: $\mathrm{Cov}(X_i,X_j)=0$ за $i\ne j$.

Јаки закон великих бројева

Каже се да низ случајних променљивих $X_1,X_2,X_3,\dots$ у ${ℒ}^1$ задовољава јаки закон великих бројева, када за ${\bar{X}}_n=\sum _{i=1}^n(X_i-E(X_i))/n$ важи:

$\mathrm{P}(\underset{n\to \mathrm{\infty }}{\mathrm{lim\; sup}}|{\bar{X}}_n|=0)=1$.

Јаки закон великих бројева имплицира слаби закон великих бројева. Јаки закон великих бројева важи за, на пример, низ стохастички независних случајних променљивих које имају једнаку расподелу вероватноће. Један облик овог закона за независне случајне променљиве је ергодичност.

Види још

• Закон малих бројева
• Централна гранична теорема

Литература

• Шаблон:Cite book
• Шаблон:Cite book
• Шаблон:Cite book
• Шаблон:Cite book
• Шаблон:Cite book
• Шаблон:Cite book
• Шаблон:Cite book
• Шаблон:Citation

Спољашње везе

• Шаблон:Springer
• Шаблон:MathWorld
• Шаблон:MathWorld
• -{Animations for the Law of Large Numbers by Yihui Xie using the R package animation}-
• -{Apple CEO Tim Cook said something that would make statisticians cringe.}-