सुसंगत अनुमानक

आँकड़ों में, एक सुसंगत अनुमानक या उपगामी रूप से सुसंगत अनुमानक एक अनुमानक है - जो एक पैरामीटर 'θ0- के अनुमानों की गणना के लिए एक नियम है - जिसमें गुण होते हैं कि उपयोग किए जाने वाले डेटा बिंदुओं की संख्या अनिश्चित काल तक बढ़ जाती है, अनुमानों का परिणामी क्रम संभाव्यता में θ0 में परिवर्तित हो जाता है। इसका तात्पर्य यह है कि अनुमानों के बंटन अनुमानित पैरामीटर के वास्तविक मान के समीप अधिक से अधिक केंद्रित हो जाते हैं, जिससे कि अनुमानक के यादृच्छिक रूप से θ0 के समीप होने की संभावना एक में परिवर्तित हो जाती है।

परीक्षण में एक आकार n के उपलब्ध प्रतिदर्श के फलन के रूप में अनुमानक का निर्माण करता है, और फिर कल्पना करता है कि डेटा एकत्र करने और प्रतिदर्श विज्ञापन अनन्तता का विस्तार करने में सक्षम है। इस प्रकार से n द्वारा अनुक्रमित अनुमानों का एक क्रम प्राप्त होगा, और स्थिरता एक गुण है जो प्रतिदर्श आकार "अनंत तक बढ़ते है" के रूप में होती है। यदि अनुमानों के अनुक्रम को गणितीय रूप से संभाव्यता में वास्तविक मान θ0 में अभिसरण करने के लिए दिखाया जा सकता है, तो इसे एक सुसंगत अनुमानक कहा जाता है; अन्यथा अनुमानक को असंगत कहा जाता है।

यहाँ परिभाषित सुसंगत को कभी-कभी तनुता सुसंगत के रूप में संदर्भित किया जाता है। जब हम संभाव्यता में अभिसरण को लगभग सुनिश्चित अभिसरण से प्रतिस्थापित करते हैं, तो अनुमानक को दृढ़ता से सुसंगत कहा जाता है। सुसंगत पूर्वाग्रह से संबंधित है; पूर्वाग्रह बनाम निरंतरता देखें।

परिभाषा
विधिवत रूप से बोलते हुए, एक अनुमानक Tnपैरामीटर के θ को 'सुसंगत' कहा जाता है, यदि यह प्रायिकता में पैरामीटर के वास्तविक मान में अभिसरण करता है:

\underset{n\to\infty}{\operatorname{plim}}\;T_n = \theta. $$ अर्थात यदि, सभी ε> 0 के लिए

\lim_{n\to\infty}\Pr\big(|T_n-\theta| > \varepsilon\big) = 0. $$ अधिक जटिल परिभाषा इस तथ्य को ध्यान में रखती है कि θ वस्तुतः अज्ञात है, और इस प्रकार संभाव्यता में अभिसरण इस पैरामीटर के प्रत्येक संभव मान के लिए होना चाहिए। मान लीजिए {pθ: θ ∈ Θ} बंटन का एक वर्ग है (पैरामीट्रिक मॉडल), और Xθ = {X1, X2, … : Xi ~ pθ} बंटन Pθ से एक अनंत सांख्यिकीय प्रतिदर्श है। माना {Tn(Xθ)} कुछ पैरामीटर g(θ) के लिए अनुमानकों का अनुक्रम है। सामान्यतः Tn प्रतिदर्श के पूर्व n अवलोकनों पर आधारित होगा। फिर इस क्रम {Tn} को (तनुता) 'सुसंगत' कहा जाता है यदि

\underset{n\to\infty}{\operatorname{plim}}\;T_n(X^{\theta}) = g(\theta),\ \ \text{for all}\ \theta\in\Theta. $$ यह परिभाषा मात्र θ के अतिरिक्त g (θ) का उपयोग करती है, क्योंकि प्रायः एक निश्चित फलन या अंतर्निहित पैरामीटर के उप-सदिश का अनुमान लगाने में रुचि होती है। अगले उदाहरण में हम मॉडल के स्थान पैरामीटर का अनुमान लगाते हैं, परन्तु पैमाने का नहीं:

एक सामान्य यादृच्छिक चर का प्रतिदर्श माध्य
मान लीजिए कि किसी के समीप एक सामान्य N(μ, s2) बंटन से सांख्यिकीय रूप से स्वतंत्र (संभाव्यता सिद्धांत) अवलोकन {X1, X2, ...} का अनुक्रम है। पूर्व n प्रेक्षणों के आधार पर μ का अनुमान लगाने के लिए, प्रतिदर्श माध्य का उपयोग किया जा सकता है: Tn= (X1 + ... + Xn) /n। यह प्रतिदर्श आकार n द्वारा अनुक्रमित अनुमानकों के अनुक्रम को परिभाषित करता है।

सामान्य बंटन के गुणों से, हम इस आँकड़े का प्रतिचयन बंटन जानते हैं: Tn औसत μ और विचरण σ2/n के साथ ही सामान्य रूप से वितरित किया जाता है। समतुल्य रूप से, का एक मानक सामान्य बंटन है:

\Pr\!\left[\,|T_n-\mu|\geq\varepsilon\,\right] = \Pr\!\left[ \frac{\sqrt{n}\,\big|T_n-\mu\big|}{\sigma} \geq \sqrt{n}\varepsilon/\sigma \right] = 2\left(1-\Phi\left(\frac{\sqrt{n}\,\varepsilon}{\sigma}\right)\right) \to 0 $$ जैसा कि n अनंत की ओर जाता है, किसी निश्चित ε > 0 के लिए। इसलिए, प्रतिदर्श माध्य का अनुक्रम Tn समष्टि माध्य μ के लिए सुसंगत है(यह याद करते हुए कि $$\Phi$$ सामान्य बंटन का संचयी बंटन फलन है)।

सुसंगतता स्थापन
उपगामी सुसंगतता की धारणा बहुत समीप है, प्रायिकता में अभिसरण की धारणा का लगभग पर्यायवाची है। जैसे, कोई भी प्रमेय, लेम्मा, या गुण जो संभाव्यता में अभिसरण स्थापित करती है, का उपयोग सुसंगतता को सिद्ध करने के लिए किया जा सकता है। ऐसे कई उपकरण स्थित हैं:


 * परिभाषा से सीधे सुसंगतता प्रदर्शित करने के लिए असमानता

\Pr\!\big[h(T_n-\theta)\geq\varepsilon\big] \leq \frac{\operatorname{E}\big[h(T_n-\theta)\big]}{h(\varepsilon)}, $$ का उपयोग कर सकते है, फलन h के लिए सबसे सामान्य विकल्प या तो निरपेक्ष मान(जिस स्थिति में इसे मार्कोव असमानता के रूप में जाना जाता है), या द्विघात फलन (क्रमशः चेबीशेव की असमानता) है।


 * अन्य उपयोगी परिणाम निरंतर मानचित्रण प्रमेय है: यदि Tnθ के लिए संगत है और g(·) बिंदु θ पर निरंतर एक वास्तविक-मानित फलन है, फिर g(Tn) g(θ) के लिए संगत होगा:

T_n\ \xrightarrow{p}\ \theta\ \quad\Rightarrow\quad g(T_n)\ \xrightarrow{p}\ g(\theta) $$
 * स्लटस्की के प्रमेय का उपयोग कई अलग-अलग अनुमानकों, या गैर-यादृच्छिक अभिसरण अनुक्रम वाले अनुमानक को संयोजित करने के लिए किया जा सकता है। यदि Tn →dα, and Sn →pβ, तो
 * $$\begin{align}

& T_n + S_n \ \xrightarrow{d}\ \alpha+\beta, \\ & T_n  S_n \ \xrightarrow{d}\ \alpha \beta, \\ & T_n / S_n \ \xrightarrow{d}\ \alpha/\beta, \text{ provided that }\beta\neq0 \end{align}$$
 * यदि अनुमानक Tn स्पष्ट सूत्र द्वारा दिया गया है, तो सबसे अधिक संभावना है क ि सूत्र यादृच्छिक चर के योगों को नियोजित करेगा, और फिर बड़ी संख्या के नियम का उपयोग किया जा सकता है: अनुक्रम {Xnके लिए} यादृच्छिक चर और उपयुक्त परिस्थितियों में,
 * $$\frac{1}{n}\sum_{i=1}^n g(X_i) \ \xrightarrow{p}\ \operatorname{E}[\,g(X)\,]$$


 * यदि अनुमानक Tn निहित रूप से परिभाषित किया गया है, उदाहरण के लिए एक मान के रूप में जो निश्चित उद्देश्य फलन को अधिकतम करते है (अंतिम अनुमानक देखें), फिर अधिक जटिल तर्क जिसमें प्रसंभाव्य समानता सम्मिलित है, का उपयोग किया जाना है।

अनभिनत परन्तु सुसंगत नहीं
एक अनुमानक अभिनत अनुमानक हो सकता है परन्तु सुसंगत नहीं। उदाहरण के लिए, एक आईआईडी प्रतिदर्श {x$1$,..., x$n$} के लिए कोई T$n$(X) = X$n$ का उपयोग माध्य E[X] के अनुमानक के रूप में कर सकता है। ध्यान दें कि यहाँ T$n$ का प्रतिदर्श बंटन अंतर्निहित बंटन के समतुल्य है (किसी भी n के लिए, क्योंकि यह सभी बिंदुओं को छोड़कर अंतिम को अनदेखा करता है), इसलिए E[T$n$(X) ] = E[X] और यह अनभिनत है, परन्तु यह किसी भी मान में अभिसरण नहीं करता है।

यद्यपि, यदि अनुमानकों का क्रम अनभिनत है और एक मान में परिवर्तित हो जाता है, तो यह सुसंगत है, क्योंकि इसे सत्य मान पर अभिसरण करना चाहिए।

अभिनत परन्तु सुसंगत
वैकल्पिक रूप से, अनुमानक अभिनत परन्तु सुसंगत हो सकते है। उदाहरण के लिए, यदि माध्य अनुमान $${1 \over n} \sum x_i + {1 \over n}$$ द्वारा लगाया जाता है तो यह अभिनत है, परन्तु $$n \rightarrow \infty$$, के रूप में, यह सत्य मान तक पहुँचता है, और इसलिए यह सुसंगत है।

महत्वपूर्ण उदाहरणों में प्रतिदर्श विचरण और प्रतिदर्श मानक विचलन सम्मिलित हैं। बेसेल के संशुद्धि के बिना (अर्थात, प्रतिदर्श आकार का उपयोग करते समय $$n$$ स्वतंत्रता की डिग्री (सांख्यिकी) के अतिरिक्त $$n-1$$), ये दोनों ऋणात्मक रूप से अभिनत परन्तु सुसंगत अनुमानक हैं। संशुद्धि के साथ, सत्य प्रतिदर्श विचलन अनभिनत है, जबकि सत्य प्रतिदर्श मानक विचलन अभी भी अभिनत है, परन्तु कम है, और दोनों अभी भी सुसंगत हैं: प्रतिदर्श आकार बढ़ने पर संशुद्धि कारक 1 में परिवर्तित हो जाता है।

यहाँ एक और उदाहरण है। माना $$T_n$$ $$\theta$$ के लिए अनुमानकों का एक क्रम हो।


 * $$\Pr(T_n) = \begin{cases}

1 - 1/n, & \mbox{if }\, T_n = \theta \\ 1/n, & \mbox{if }\, T_n = n\delta + \theta \end{cases}$$ हम देख सकते हैं कि $$T_n \xrightarrow{p} \theta$$, $$\operatorname{E}[T_n] = \theta + \delta $$, और पूर्वाग्रह शून्य में परिवर्तित नहीं होता है।

यह भी देखें

 * कुशल अनुमानक
 * फिशर की सुसंगत - वैकल्पिक, यद्यपि अनुमान लगाने वालों के लिए संगतता की अवधारणा का कदाचित उपयोग किया जाता है
 * प्रतिगमन तनुता
 * सांख्यिकीय परिकल्पना परीक्षण
 * उपकरण चर अनुमान

बाहरी संबंध

 * by Mark Thoma