केंद्रीय सीमा प्रमेय: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 44: Line 44:


{{math theorem | name = Lyapunov CLT<ref>Billingsley (1995, p.362)</ref> | math_statement =
{{math theorem | name = Lyapunov CLT<ref>Billingsley (1995, p.362)</ref> | math_statement =
मान लीजिए कि <math display="inline">\{X_1, \ldots, X_n, \ldots\}</math> स्वतंत्र यादृच्छिक चर का एक क्रम है, प्रत्येक परिमित अपेक्षित मान के साथ <math display="inline">\mu_i</math> और विचरण {{nowrap|<math display="inline">\sigma_i^2</math>.}} परिभाषित
मान लीजिए कि <math display="inline">\{X_1, \ldots, X_n, \ldots\}</math> स्वतंत्र यादृच्छिक चर का एक क्रम है, प्रत्येक परिमित अपेक्षित मान <math display="inline">\mu_i</math> और विचरण {{nowrap|<math display="inline">\sigma_i^2</math>}} के साथ परिभाषित
<math display="block">s_n^2 = \sum_{i=1}^n \sigma_i^2 .</math>
<math display="block">s_n^2 = \sum_{i=1}^n \sigma_i^2 .</math>


यदि कुछ के लिए {{nowrap|<math display="inline">\delta > 0</math>,}} लायपुनोव स्थिति  
यदि कुछ के लिए {{nowrap|<math display="inline">\delta > 0</math>,}} लायपुनोव स्थिति  
<math display="block">\lim_{n\to\infty} \; \frac{1}{s_{n}^{2+\delta}} \, \sum_{i=1}^{n} \mathbb{E}\left[\left|X_{i} - \mu_{i}\right|^{2+\delta}\right] = 0</math>
<math display="block">\lim_{n\to\infty} \; \frac{1}{s_{n}^{2+\delta}} \, \sum_{i=1}^{n} \mathbb{E}\left[\left|X_{i} - \mu_{i}\right|^{2+\delta}\right] = 0</math>
संतुष्ट है, तो की योग <math display="inline">\frac{X_i - \mu_i}{s_n}</math> वितरण में एक मानक सामान्य यादृच्छिक चर के रूप में अभिसरण करता है <math display="inline">n</math> अनंत तक जाता है:
संतुष्ट है, तब <math display="inline">\frac{X_i - \mu_i}{s_n}</math> के योग वितरण में एक मानक सामान्य यादृच्छिक चर के रूप में परिवर्तित होता है, <math display="inline">n</math> अनंत तक जाता है:
<math display="block">\frac{1}{s_n}\,\sum_{i=1}^{n} \left(X_i - \mu_i\right) \ \xrightarrow{d}\ \mathcal{N}(0,1) .</math>}}
<math display="block">\frac{1}{s_n}\,\sum_{i=1}^{n} \left(X_i - \mu_i\right) \ \xrightarrow{d}\ \mathcal{N}(0,1) .</math>}}


Line 91: Line 91:


{{math theorem | name = Theorem<ref>{{cite web |first=Ryan |last=O’Donnell |year=2014 |title=Theorem&nbsp;5.38 |url=http://www.contrib.andrew.cmu.edu/~ryanod/?p=866 |access-date=2017-10-18 |archive-date=2019-04-08 |archive-url=https://web.archive.org/web/20190408054104/http://www.contrib.andrew.cmu.edu/~ryanod/?p=866 |url-status=dead }}</ref> | math_statement =
{{math theorem | name = Theorem<ref>{{cite web |first=Ryan |last=O’Donnell |year=2014 |title=Theorem&nbsp;5.38 |url=http://www.contrib.andrew.cmu.edu/~ryanod/?p=866 |access-date=2017-10-18 |archive-date=2019-04-08 |archive-url=https://web.archive.org/web/20190408054104/http://www.contrib.andrew.cmu.edu/~ryanod/?p=866 |url-status=dead }}</ref> | math_statement =
माना <math>X_1, \dots, X_n, \dots</math> स्वतंत्र रहें <math>\R^d</math>-मूल्यवान यादृच्छिक सदिश, प्रत्येक का अभिप्राय शून्य है। लेखन <math>S =\sum^n_{i=1}X_i</math> और मान लो <math>\Sigma = \operatorname{Cov}[S]</math> प्रतीप्य है। माना <math>Z \sim \mathcal{N}(0,\Sigma)</math> एक हो <math>d</math>-समान माध्य और समान सहप्रसरण आव्यूह के साथ आयामी गॉसियन <math>S</math>फिर सभी उत्तल समुच्चयों के लिए {{nowrap|<math>U \subseteq \R^d</math>,}}
माना <math>X_1, \dots, X_n, \dots</math> स्वतंत्र है, <math>\R^d</math>-मूल्यवान यादृच्छिक सदिश के प्रत्येक का औसत शून्य है। लेखन <math>S =\sum^n_{i=1}X_i</math> और मान लो <math>\Sigma = \operatorname{Cov}[S]</math> प्रतीप्य है। माना <math>Z \sim \mathcal{N}(0,\Sigma)</math> एक <math>d</math>-समान माध्य और समान सहप्रसरण आव्यूह के साथ आयामी गॉसियन <math>S</math> है। फिर सभी अवमुख समुच्चयों के लिए {{nowrap|<math>U \subseteq \R^d</math> है,}}
<math display="block">\left|\mathbb{P}[S \in U] - \mathbb{P}[Z \in U]\right| \le C \, d^{1/4} \gamma~,</math>
<math display="block">\left|\mathbb{P}[S \in U] - \mathbb{P}[Z \in U]\right| \le C \, d^{1/4} \gamma~,</math>
जहां <math>C</math> एक सार्वभौमिक स्थिरांक है, {{nowrap|<math>\gamma = \sum^n_{i=1} \mathbb{E} \left[\left\| \Sigma^{-1/2}X_i\right\|^3_2\right]</math>,}} और <math>\|\cdot\|_2</math> यूक्लिडियन मानदंड को दर्शाता है {{nowrap|<math>\R^d</math>}}
जहां <math>C</math> एक सार्वभौमिक स्थिरांक है, {{nowrap|<math>\gamma = \sum^n_{i=1} \mathbb{E} \left[\left\| \Sigma^{-1/2}X_i\right\|^3_2\right]</math>,}} और <math>\|\cdot\|_2</math> यूक्लिडियन मानदंड {{nowrap|<math>\R^d</math> को दर्शाता है।}}
}}
}}


Line 112: Line 112:
प्रबल मिश्रण के अंतर्गत केंद्रीय सीमा प्रमेय का एक सरल सूत्रीकरण है:<ref>Billingsley (1995, Theorem 27.4)</ref>
प्रबल मिश्रण के अंतर्गत केंद्रीय सीमा प्रमेय का एक सरल सूत्रीकरण है:<ref>Billingsley (1995, Theorem 27.4)</ref>


{{math theorem | math_statement = मान लीजिए कि <math display="inline">\{X_1, \ldots, X_n, \ldots\}</math> स्थिर है और <math>\alpha</math>-के साथ मिश्रित <math display="inline">\alpha_n = O\left(n^{-5}\right) </math> और वह <math display="inline">\mathbb{E}[X_n] = 0</math> और {{nowrap|<math display="inline">\mathbb{E}[{X_n}^{12}] < \infty</math>.}} निरूपित {{nowrap|<math display="inline">S_n = X_1 + \cdots + X_n</math>,}} फिर सीमा
{{math theorem | math_statement = मान लीजिए कि <math display="inline">\{X_1, \ldots, X_n, \ldots\}</math> स्थिर है और <math>\alpha</math>-के साथ <math display="inline">\alpha_n = O\left(n^{-5}\right) </math> और जो <math display="inline">\mathbb{E}[X_n] = 0</math> और {{nowrap|<math display="inline">\mathbb{E}[{X_n}^{12}] < \infty</math> के साथ मिश्रित है।}} निरूपित {{nowrap|<math display="inline">S_n = X_1 + \cdots + X_n</math>,}} फिर सीमा
<math display="block"> \sigma^2 = \lim_{n\rightarrow\infty} \frac{\mathbb{E}\left(S_n^2\right)}{n} </math>
<math display="block"> \sigma^2 = \lim_{n\rightarrow\infty} \frac{\mathbb{E}\left(S_n^2\right)}{n} </math>
उपस्थित है, और यदि <math display="inline">\sigma \ne 0</math> तब <math display="inline">\frac{S_n}{\sigma\sqrt{n}}</math> वितरण में अभिसरण करता है <math display="inline"> \mathcal{N}(0, 1)</math>.}}
पर उपस्थित है, और यदि <math display="inline">\sigma \ne 0</math> तब <math display="inline">\frac{S_n}{\sigma\sqrt{n}}</math> वितरण <math display="inline"> \mathcal{N}(0, 1)</math> में अभिसरण करता है।}}


वास्तव में,
वास्तव में,
Line 128: Line 128:
=== मार्टिंगेल अंतर सीएलटी ===
=== मार्टिंगेल अंतर सीएलटी ===
{{Main|मार्टिंगेल केंद्रीय सीमा प्रमेय}}
{{Main|मार्टिंगेल केंद्रीय सीमा प्रमेय}}
{{math theorem | math_statement = माना [[मार्टिंगेल (संभाव्यता सिद्धांत)|मार्टिंगेल]] <math display="inline">M_n</math> संतुष्ट करता है
{{math theorem | math_statement = माना [[मार्टिंगेल (संभाव्यता सिद्धांत)|मार्टिंगेल]] <math display="inline">M_n</math> संतुष्ट करता हैː
* <math> \frac1n \sum_{k=1}^n \mathbb{E}\left[\left(M_k-M_{k-1}\right)^2 | M_1,\dots,M_{k-1}\right] \to 1 </math> संभाव्यता के रूप में {{math|''n'' → ∞}},
* <math> \frac1n \sum_{k=1}^n \mathbb{E}\left[\left(M_k-M_{k-1}\right)^2 | M_1,\dots,M_{k-1}\right] \to 1 </math> संभाव्यता के रूप में {{math|''n'' → ∞}},
* प्रत्येक के लिए {{math|''ε'' > 0}}, <math> \frac1n \sum_{k=1}^n{\mathbb{E}\left[\left(M_k-M_{k-1}\right)^2\mathbf{1}\left[|M_k-M_{k-1}|>\varepsilon\sqrt{n}\right]\right]} \to 0 </math> जैसे {{math|''n'' → ∞}},
* प्रत्येक {{math|''ε'' > 0}} के लिए, <math> \frac1n \sum_{k=1}^n{\mathbb{E}\left[\left(M_k-M_{k-1}\right)^2\mathbf{1}\left[|M_k-M_{k-1}|>\varepsilon\sqrt{n}\right]\right]} \to 0 </math> जैसे {{math|''n'' → ∞}},


तब <math display="inline">\frac{M_n}{\sqrt{n}}</math> वितरण में अभिसरण करता है <math display="inline">\mathcal{N}(0, 1)</math> as <math display="inline">n \to \infty</math>.<ref>Durrett (2004, Sect. 7.7, Theorem 7.4)</ref><ref>Billingsley (1995, Theorem 35.12)</ref>}}
तब <math display="inline">\frac{M_n}{\sqrt{n}}</math> वितरण <math display="inline">\mathcal{N}(0, 1)</math> जैसे <math display="inline">n \to \infty</math>.<ref>Durrett (2004, Sect. 7.7, Theorem 7.4)</ref><ref>Billingsley (1995, Theorem 35.12)</ref>में परिवर्तित करता है।}}


== टिप्पणी ==
== टिप्पणी ==
Line 199: Line 199:
माना कि {{mvar|S<sub>n</sub>}} यादृच्छिक चर {{mvar|n}} का योग है। कई केंद्रीय सीमा प्रमेय ऐसी स्थितियाँ प्रदान करते हैं, जैसे कि {{math|{{mvar|S<sub>n</sub>}}/{{sqrt|Var({{mvar|S<sub>n</sub>}})}}}} वितरण में {{math|''N''(0,1)}} (अभिप्राय 0, विचरण 1 के साथ सामान्य वितरण) को {{math|{{mvar|n}} → ∞}} के रूप में परिवर्तित करता है। कुछ स्थितियों में, एक स्थिरांक {{math|''σ''<sup>2</sup>}} और फलन {{mvar|f(n)}} को खोजना संभव है जैसे कि {{math|{{mvar|S<sub>n</sub>}}/(σ{{sqrt|{{mvar|n⋅f}}({{mvar|n}})}})}},  {{math|''N''(0,1)}} के वितरण में {{math|{{mvar|n}}→ ∞}} के रूप में परिवर्तित हो जाता है।
माना कि {{mvar|S<sub>n</sub>}} यादृच्छिक चर {{mvar|n}} का योग है। कई केंद्रीय सीमा प्रमेय ऐसी स्थितियाँ प्रदान करते हैं, जैसे कि {{math|{{mvar|S<sub>n</sub>}}/{{sqrt|Var({{mvar|S<sub>n</sub>}})}}}} वितरण में {{math|''N''(0,1)}} (अभिप्राय 0, विचरण 1 के साथ सामान्य वितरण) को {{math|{{mvar|n}} → ∞}} के रूप में परिवर्तित करता है। कुछ स्थितियों में, एक स्थिरांक {{math|''σ''<sup>2</sup>}} और फलन {{mvar|f(n)}} को खोजना संभव है जैसे कि {{math|{{mvar|S<sub>n</sub>}}/(σ{{sqrt|{{mvar|n⋅f}}({{mvar|n}})}})}},  {{math|''N''(0,1)}} के वितरण में {{math|{{mvar|n}}→ ∞}} के रूप में परिवर्तित हो जाता है।


{{math theorem | name = Lemma<ref>{{cite journal|last1=Hew|first1=Patrick Chisan|title=Asymptotic distribution of rewards accumulated by alternating renewal processes|journal=Statistics and Probability Letters|date=2017|volume=129 |pages=355–359 |doi=10.1016/j.spl.2017.06.027}}</ref> | math_statement = मान लीजिए <math>X_1, X_2, \dots</math> के साथ वास्तविक-मूल्यांकन और दृढता से स्थिर यादृच्छिक चर का एक क्रम है <math>\mathbb{E}(X_i) = 0</math>सभी के लिए {{nowrap|<math>i</math>,}} {{nowrap|<math>g : [0,1] \to \R</math>,}} और {{nowrap|<math>S_n = \sum_{i=1}^{n} g\left(\tfrac{i}{n}\right) X_i</math>.}} रचना
{{math theorem | name = Lemma<ref>{{cite journal|last1=Hew|first1=Patrick Chisan|title=Asymptotic distribution of rewards accumulated by alternating renewal processes|journal=Statistics and Probability Letters|date=2017|volume=129 |pages=355–359 |doi=10.1016/j.spl.2017.06.027}}</ref> | math_statement = मान लीजिए <math>X_1, X_2, \dots</math> के साथ वास्तविक-मूल्यांकन और दृढता से स्थिर यादृच्छिक चर <math>\mathbb{E}(X_i) = 0</math> का एक क्रम है, सभी {{nowrap|<math>i</math>,}} {{nowrap|<math>g : [0,1] \to \R</math> के लिए,}} और {{nowrap|<math>S_n = \sum_{i=1}^{n} g\left(\tfrac{i}{n}\right) X_i</math>.}} रचना
<math display="block">\sigma^2 = \mathbb{E}(X_1^2) + 2\sum_{i=1}^{\infty} \mathbb{E}(X_1 X_{1+i})</math>
<math display="block">\sigma^2 = \mathbb{E}(X_1^2) + 2\sum_{i=1}^{\infty} \mathbb{E}(X_1 X_{1+i})</math>


# यदि <math>\sum_{i=1}^{\infty} \mathbb{E}(X_1 X_{1+i})</math> पूर्णतः अभिसारी है, <math>\left| \int_0^1 g(x)g'(x) \, dx\right| < \infty</math>, और <math>0 < \int_0^1 (g(x))^2 dx < \infty</math> तब <math>\mathrm{Var}(S_n)/(n \gamma_n) \to \sigma^2</math> as <math>n \to \infty</math> जहां {{nowrap|<math>\gamma_n = \frac{1}{n}\sum_{i=1}^{n} \left(g\left(\tfrac{i}{n}\right)\right)^2</math>.}}
# यदि <math>\sum_{i=1}^{\infty} \mathbb{E}(X_1 X_{1+i})</math> पूर्णतः अभिसारी है, <math>\left| \int_0^1 g(x)g'(x) \, dx\right| < \infty</math>, और <math>0 < \int_0^1 (g(x))^2 dx < \infty</math> तब <math>\mathrm{Var}(S_n)/(n \gamma_n) \to \sigma^2</math> जैसे <math>n \to \infty</math> जहां {{nowrap|<math>\gamma_n = \frac{1}{n}\sum_{i=1}^{n} \left(g\left(\tfrac{i}{n}\right)\right)^2</math> है,}}
# यदि इसके अतिरिक्त <math>\sigma > 0</math> and <math>S_n/\sqrt{\mathrm{Var}(S_n)}</math> वितरण में अभिसरण करता है <math>\mathcal{N}(0,1)</math> as <math>n \to \infty</math> तब <math>S_n/(\sigma\sqrt{n \gamma_n})</math> वितरण में भी अभिसरित होता है <math>\mathcal{N}(0,1)</math> जैसे {{nowrap|<math>n \to \infty</math>.}}
# यदि इसके अतिरिक्त <math>\sigma > 0</math> और <math>S_n/\sqrt{\mathrm{Var}(S_n)}</math> वितरण <math>\mathcal{N}(0,1)</math> जैसे <math>n \to \infty</math> में अभिसरण करता है, तब <math>S_n/(\sigma\sqrt{n \gamma_n})</math> वितरण <math>\mathcal{N}(0,1)</math> जैसे {{nowrap|<math>n \to \infty</math> में भी अभिसरित होता है।}}
}}
}}


Line 271: Line 271:


=== अनुवर्ती ===
=== अनुवर्ती ===
{{math theorem | math_statement = माना यादृच्छिक चर {{math|''X''<sub>1</sub>, ''X''<sub>2</sub>, ... ∈ ''L''<sub>2</sub>(Ω)}} ऐसा हो कि {{math|''X<sub>n</sub>'' → 0}} [[दुर्बल अभिसरण (हिल्बर्ट समष्टि)|अशक्त]] में {{math|''L''<sub>2</sub>(Ω)}} और {{math|''X''{{su|b=''n''|2}} → 1}} अशक्त रूप से {{math|''L''<sub>1</sub>(Ω)}}। फिर पूर्णांक उपस्थित हैं {{math|''n''<sub>1</sub> < ''n''<sub>2</sub> < ⋯}} ऐसा है कि
{{math theorem | math_statement = माना यादृच्छिक चर {{math|''X''<sub>1</sub>, ''X''<sub>2</sub>, ... ∈ ''L''<sub>2</sub>(Ω)}} ऐसा हो कि {{math|''X<sub>n</sub>'' → 0}} [[दुर्बल अभिसरण (हिल्बर्ट समष्टि)|अशक्त]] में {{math|''L''<sub>2</sub>(Ω)}} और {{math|''X''{{su|b=''n''|2}} → 1}} अशक्त रूप से {{math|''L''<sub>1</sub>(Ω)}} हो। तब पूर्णांक में {{math|''n''<sub>1</sub> < ''n''<sub>2</sub> < ⋯}} उपस्थित हैं, ऐसा है कि
<math display="block"> \frac{ X_{n_1}+\cdots+X_{n_k} }{ \sqrt k }</math>
<math display="block"> \frac{ X_{n_1}+\cdots+X_{n_k} }{ \sqrt k }</math>
वितरण में अभिसरण करता है <math display="inline"> \mathcal{N}(0, 1)</math> as {{mvar|k}} अनंत की ओर जाता है। <ref>Gaposhkin (1966, Sect. 1.5)</ref>}}
वितरण में <math display="inline"> \mathcal{N}(0, 1)</math>अभिसरण करता है, जैसा कि {{mvar|k}} अनंत की ओर जाता है। <ref>Gaposhkin (1966, Sect. 1.5)</ref>}}


=== एक क्रिस्टल जालक पर यादृच्छिक चलना ===
=== एक क्रिस्टल जालक पर यादृच्छिक चलना ===

Revision as of 10:15, 27 March 2023

प्रायिकता सिद्धांत में, केंद्रीय सीमा प्रमेय (CLT) स्थापित करता है, और कई स्थितियों में, समान रूप से वितरित स्वतंत्र प्रतिरूपो के लिए, मानकीकृत प्रतिरूप माध्य मानक सामान्य वितरण की ओर जाता है, भले ही मूल चर स्वयं सामान्य रूप से वितरित न हों।

प्रायिकता सिद्धांत में प्रमेय एक महत्वपूर्ण अवधारणा है क्योंकि इसका तात्पर्य है कि प्रायिकता और सांख्यिकी विधियां जो सामान्य वितरण के लिए कार्य करती हैं, अन्य प्रकार के वितरणों से जुड़ी कई समस्याओं पर अनुप्रयोज्य हो सकती हैं।

प्रायिकता सिद्धांत के औपचारिक विकास के पर्यन्त इस प्रमेय में कई परिवर्तन देखे गए हैं। प्रमेय के पूर्व संस्करण 1811 से पूर्व के हैं, परन्तु अपने आधुनिक सामान्य रूप में, प्रायिकता सिद्धांत में इस मौलिक परिणाम को 1920 के अंत तक सटीक रूप से कहा गया था,[1] इस प्रकार लौकिक और आधुनिक प्रायिकता सिद्धांत के मध्य एक सेतु के रूप में कार्य करना है।

यदि समग्र अपेक्षित मान वाली समष्टि से लिए गए यादृच्छिक प्रतिरूप है, परिमित विचरण , यदि प्रथम का प्रतिरूप माध्य है, और फिर वितरण का सीमित रूप, , के साथ , एक मानक सामान्य वितरण है।[2]

उदाहरण के लिए, मान लीजिए कि एक प्रतिरूप प्राप्त किया जाता है जिसमें कई यादृच्छिक चर होते हैं, प्रत्येक अवलोकन यादृच्छिक रूप से इस तरह से उत्पन्न होता है जो अन्य अवलोकनों के मानों पर निर्भर नहीं होता है, और अवलोकन किए गए मानों के अंकगणितीय माध्य की गणना की जाती है। यदि यह प्रक्रिया कई बार की जाती है, तो केंद्रीय सीमा प्रमेय का तात्पर्य है कि औसत की प्रायिकता वितरण एक सामान्य वितरण के अंतअ होगा।

केंद्रीय सीमा प्रमेय के कई रूप हैं। अपने सामान्य रूप में, यादृच्छिक चर स्वतंत्र और समान रूप से वितरित (i.i.d.) होना चाहिए। भिन्नताओं में, सामान्य वितरण के माध्य का अभिसरण गैर-समान वितरणों के लिए या गैर-स्वतंत्र प्रेक्षणों के लिए भी होता है, यदि वे कुछ प्रतिबंधों का अनुपालन करते हैं।

इस प्रमेय का प्रारंभिक संस्करण, कि सामान्य वितरण को द्विपद वितरण के सन्निकटन के रूप में उपयोग किया जा सकता है, तथा द्विपद वितरण, डी मोइवर-लाप्लास प्रमेय है।

स्वतंत्र क्रम

जनसंख्या वितरण का जो भी रूप हो, प्रतिरूपकरण वितरण गॉसियन की ओर जाता है, और इसका परिक्षेपण केंद्रीय सीमा प्रमेय द्वारा दिया जाता है।[3]

लौकिक सीएलटी

माना यादृच्छिक प्रतिरूप का एक क्रम हो - अर्थात, आई.आई.डी. के एक क्रम द्वारा दिए गए अपेक्षित मान के वितरण से निर्मित किए गए यादृच्छिक चर और परिमित विचरण द्वारा दिया गया है, मान लीजिए हम प्रथम प्रतिरूप माध्य में रुचि रखते हैं।


बड़ी संख्या के नियम के अनुसार, प्रतिरूप औसत अनुमानित मान के लगभग निश्चित रूप से (और इसलिए प्रायिकता में भी अभिसरित) अपेक्षित मान जब पर अभिसरित होता है।

लौकिक केंद्रीय सीमा प्रमेय नियतात्मक संख्या इस अभिसरण के पर्यन्त आसपास प्रसंभाव्य अस्थिरता के आकार और वितरण रूप का वर्णन करता है। अधिक सटीक रूप से, यह बताता है कि जैसा बड़ा हो जाता है, प्रतिरूप औसत के मध्य अंतर का वितरण और इसकी सीमा , जब कारक (अर्थात ) द्वारा गुणा किया जाता है। माध्य 0 और विचरण के साथ सामान्य वितरण का अनुमान लगाता है। काफी बड़े n के लिए, का वितरण माध्य के साथ अव्यवस्थिततः सामान्य वितरण और विचरण के अंतअ हो जाता है।

प्रमेय की उपयोगिता यह है कि का वितरण विशिष्ट के वितरण के आकार की उपेक्षा किए बिना सामान्यता तक पहुँचता है। औपचारिक रूप से, प्रमेय को निम्नानुसार कहा जा सकता है:

Lindeberg–Lévy CLT — मान लीजिए i.i.d. का क्रम है, यादृच्छिक चर और के साथ, तब ऐसे अनंत तक पहुंचता है, यादृच्छिक चर वितरण में अभिसरण एक के लिए सामान्य है:[4]

यदि , वितरण में अभिसरण का अर्थ है कि संचयी वितरण कार्य करता है, वितरण के बिंदुवार को सीडीएफ में अभिसरण करें: प्रत्येक वास्तविक संख्या के लिए,

जहाँ मानक सामान्य सीडीएफ है, जिसका पर मूल्यांकन किया जाता है, अभिसरण एक समान है इस अर्थ में कि
जहाँ समुच्चय के न्यूनतम ऊपरी सीमा (या सर्वोच्च) को दर्शाता है।[5]


लायपुनोव सीएलटी

प्रमेय का नाम रूसी गणितज्ञ अलेक्जेंडर लायपुनोव के नाम पर रखा गया है। केंद्रीय सीमा प्रमेय के इस संस्करण में यादृच्छिक चर स्वतंत्र होना चाहिए, परन्तु आवश्यक नहीं कि समान रूप से वितरित किया जाए। प्रमेय को भी यादृच्छिक चर की आवश्यकता होती है, कुछ क्रम के क्षण है और यह कि इन क्षणो के वृद्धि की दर नीचे दी गई लायपुनोव स्थिति द्वारा सीमित है।

Lyapunov CLT[6] — मान लीजिए कि स्वतंत्र यादृच्छिक चर का एक क्रम है, प्रत्येक परिमित अपेक्षित मान और विचरण के साथ परिभाषित

यदि कुछ के लिए , लायपुनोव स्थिति

संतुष्ट है, तब के योग वितरण में एक मानक सामान्य यादृच्छिक चर के रूप में परिवर्तित होता है, अनंत तक जाता है:

व्यवहार में सामान्यतः लायपुनोव की स्थिति की जांच करना सबसे सरल होता है।

यदि यादृच्छिक चर का एक क्रम लायपुनोव की स्थिति को संतुष्ट करता है, तो यह लिंडबर्ग की स्थिति को भी संतुष्ट करता है। हालांकि, विपरीत निहितार्थ पकड़ में नहीं आता है।

लिंडबर्ग सीएलटी

उसी समुच्चयन में और उपरोक्त के समान संकेतन के साथ, लायपुनोव की स्थिति को निम्नलिखित दुर्बल (1920 में जारल वाल्डेमर लिंडेबर्ग से) के साथ परिवर्तित किया जा सकता है।

मान लीजिए कि प्रत्येक के लिए

जहाँ सूचक कार्य है। फिर मानकीकृत योग का वितरण
मानक सामान्य वितरण की ओर अभिसरण करता है।

बहुआयामी सीएलटी

विशिष्ट फलनों का उपयोग करने वाले प्रमाणों को उन स्थितियों तक बढ़ाया जा सकता है जहां प्रत्येक विशिष्ट में एक यादृच्छिक सदिश है, अभिप्राय सदिश के साथ और सहप्रसरण आव्यूह (सदिश के घटकों के मध्य), और ये यादृच्छिक सदिश स्वतंत्र और समान रूप से वितरित हैं। बहुआयामी केंद्रीय सीमा प्रमेय में कहा गया है कि जब माप क्रमित किया जाता है, तो योग एक बहुभिन्नरूपी सामान्य वितरण में परिवर्तित हो जाते हैं।[7]

माना

k-सदिश है। माप क्रमित इसका अर्थ है कि यह एक यादृच्छिक सदिश है, न कि एक यादृच्छिक (अविभाजित) चर। तब यादृच्छिक सदिशों का योग होगा
और औसत है
और इसलिए
बहुभिन्नरूपी केंद्रीय सीमा प्रमेय कहता है कि
जहां सहप्रसरण आव्यूह के समान है