संयुक्त रूप से पूर्ण पर्याप्त सांख्यिकी: वर्दी (ए, बी)


13

Let एक समान वितरण पर , जहां से एक यादृच्छिक नमूना है । आज्ञा दें और सबसे बड़े और सबसे छोटे क्रम के आँकड़े हैं। दिखाएँ कि आँकड़ा पैरामीटर लिए संयुक्त रूप से पर्याप्त पूर्ण आँकड़ा है । X=(x1,x2,xn)(a,b)a<bY1Yn(Y1,Yn)θ=(a,b)

यह मेरे लिए कोई समस्या नहीं है कि मैं गुणनखंडन का उपयोग कर पर्याप्तता दिखाऊँ।

प्रश्न: मैं पूर्णता कैसे दिखाऊँ? अधिमानतः मैं एक संकेत चाहूंगा।

प्रयास: मैं एक पैरामीटर यूनिफॉर्म वितरण के लिए अर्थ दिखा सकता हूं , लेकिन मैं दो पैरामीटर समान वितरण पर अटक रहा हूं।E[g(T(x))]=0g(T(x))=0

मैंने के साथ और और के संयुक्त वितरण का उपयोग करने की , लेकिन मुझे यकीन नहीं है कि मैं सही दिशा में जा रहा हूं, क्योंकि पथरी मुझे उल्टा कर रही है।वाई 1 वाई एनE[g(Y1,Yn)]Y1Yn


1
कृपया [self-study]टैग जोड़ें और इसकी विकी पढ़ें । ध्यान दें कि आप चारों ओर डॉलर लगाकर गणित के लिए लेटेक्स प्रारूपण का उपयोग कर सकते हैं, उदाहरण के लिए$x$ उत्पादन करता है । मैंने आपके कुछ गणित टाइप करने की कोशिश की है, लेकिन यदि आप परिणाम से खुश नहीं हैं, तो उसे बदलने या वापस करने के लिए स्वतंत्र महसूस करें। आप अंकन पसंद कर सकते हैं के लिए के बजाय के लिए । x xx$\vec x$x$\mathbf x$x
सिल्वरफिश जूल

जवाबों:


7

आइए आपके लिए नियमित पथरी की देखभाल करें, ताकि आप समस्या के दिल में पहुंच सकें और समाधान तैयार करने का आनंद ले सकें। यह आयतों के निर्माण और त्रिकोण के अंतर के रूप में आयतों के निर्माण के लिए नीचे आता है।

सबसे पहले, और मूल्यों को चुनें जो विवरण को यथासंभव सरल बनाते हैं। bab मुझे : के किसी भी घटक का घनत्व केवल अंतराल का सूचक कार्य है ।X = ( X 1 , X 2 , , X n ) [ 0 , 1 ]a=0,b=1X=(X1,X2,,Xn)[0,1]

चलो वितरण समारोह को खोजने के की । ( Y 1 , वाई एन ) F(Y1,Yn)परिभाषा के अनुसार, किसी भी वास्तविक संख्या के लिए यह हैy1yn

(1)F(y1,yn)=Pr(Y1y1 and Ynyn).

का मान स्पष्ट रूप से या है यदि या से कोई भी अंतराल के बाहर है , तो चलो मान लेते हैं कि वे इस अंतराल में दोनों हैं। (चलिए तुच्छताओं पर चर्चा करने से बचने के लिए भी मानते हैं ।) इस मामले में घटना को मूल चर रूप में वर्णित किया जा सकता है "कम से कम एक के रूप में" से कम या बराबर है और से कोई भी से अधिक । " समान रूप से, सभी झूठ बोलते हैंF01y1yn[a,b]=[0,1]n2(1)X=(X1,X2,,Xn)Xiy1XiynXi[0,yn]लेकिन ऐसा नहीं है कि ये सभी । (y1,yn]

क्योंकि स्वतंत्र हैं, उनकी संभावनाएँ इन दो घटनाओं के लिए क्रमशः गुणा और । इस प्रकार,Xi(yn0)n=ynn(yny1)n

F(y1,yn)=ynn(yny1)n.

घनत्व की मिश्रित आंशिक व्युत्पन्न है ,fF

f(y1,yn)=2Fy1yn(y1,yn)=n(n1)(yny1)n2.

लिए सामान्य मामला कारक द्वारा चर को मापता है और द्वारा स्थान बदलता । (a,b)baa इस प्रकार, ,a<y1yn<b

F(y1,yn;a,b)=((ynaba)n(ynabay1aba)n)=(yna)n(yny1)n(ba)n.

प्राप्त करने से पहले विभेद करना

f(y1,yn;a,b)=n(n1)(ba)n(yny1)n2.

पूर्णता की परिभाषा पर विचार करें। चलो दो वास्तविक चर के किसी भी औसत दर्जे का समारोह हो। परिभाषा से,g

(2)E[g(Y1,Yn)]=y1babg(y1,yn)f(y1,yn)dy1dyny1babg(y1,yn)(yny1)n2dy1dyn.

हमें यह दिखाने की जरूरत है कि जब यह उम्मीद सभी लिए शून्य है , तो यह निश्चित है कि किसी भी ।(a,b)g=0(a,b)

यहाँ आपका संकेत है। चलो होना किसी भी औसत दर्जे का कार्य करते हैं। मैं प्रपत्र द्वारा सुझाए में यह व्यक्त करना चाहेंगे के रूप में । ऐसा करने के लिए, स्पष्ट रूप से हम विभाजित चाहिए से । दुर्भाग्य से, यह जब भी परिभाषित नहीं । कुंजी यह है कि इस सेट में माप शून्य है इसलिए हम इसे उपेक्षित कर सकते हैं।h:R2R(2)h(x,y)=g(x,y)(yx)n2h(yx)n2n>2yx

तदनुसार, किसी भी मापने योग्य देखते हुए , परिभाषित करेंh

g(x,y)={h(x,y)/(yx)n2xy0x=y

तब बन जाता है(2)

(3)y1babh(y1,yn)dy1dynE[g(Y1,Yn)].

(जब कार्य दिखा रहा है कि कुछ शून्य है, तो हम आनुपातिकता के गैर-अक्षीय स्थिरांक को अनदेखा कर सकते हैं। यहाँ, मैंने बाएं हाथ की ओर से छोड़ दिया है।)n(n1)/(ba)n2

यह एक समकोण त्रिभुज के साथ एक समकोण से और शीर्ष पर । आइए ऐसे त्रिकोण निरूपित करते हैं ।(a,a)(b,b)(a,b)Δ(a,b)

एर्गो , आपको जो दिखाने की ज़रूरत है वह यह है कि यदि सभी त्रिभुज पर एक मनमाना औसत दर्जे का कार्य का अभिन्न शून्य है, तो किसी भी , (लगभग निश्चित रूप से) के लिए ) सभी के लिए ।hΔ(a,b)a<bh(x,y)=0(x,y)Δ(a,b)

हालांकि ऐसा लग सकता है कि हम आगे किसी भी तरह से नहीं किसी भी आयत पर विचार करें जो कि पूर्ण-समतल में निहित है । इसे त्रिभुजों के संदर्भ में व्यक्त किया जा सकता है:[u1,u2]×[v1,v2]y>x

[u1,u2]×[v1,v2]=Δ(u1,v2)(Δ(u1,v1)Δ(u2,v2))Δ(u2,v1).

आयत का निर्माण करने के लिए तीन त्रिभुजों को अतिव्यापी दिखाते हुए चित्र

इस आकृति में, आयत वह है जो बड़े त्रिभुज से बची रहती है जब हम अतिव्यापी लाल और हरे त्रिकोण (जो उनके भूरे रंग के प्रतिच्छेदन को गिनता है) को हटा देते हैं और फिर उनके प्रतिच्छेदन को बदल देते हैं।

नतीजतन, आप तुरंत काट सकते हैं कि इस तरह के सभी आयतों पर का अभिन्न शून्य है। h यह केवल यह दिखाने के लिए बना रहता है कि शून्य होना चाहिए (माप शून्य के कुछ सेट पर इसके मूल्यों के अलावा) जब भी । इस (सहज रूप से स्पष्ट) दावे का प्रमाण इस बात पर निर्भर करता है कि आप एकीकरण की परिभाषा को किस दृष्टिकोण तक ले जाना चाहते हैं।h(x,y)y>x


मैंने समीकरण 3 को शून्य के बराबर सेट करने की कोशिश की, दोनों पक्षों पर व्युत्पन्न ले लो और संकेतों (एक प्रतिवर्त क्रिया जो मुझे लगता है) को इंटरचेंज करें लेकिन परिणाम काफी डरावना [1] लगते हैं। क्या अधिक उचित दृष्टिकोण है? [१] en.wikipedia.org/wiki/Leibniz_integral_rule#Higher_dimensions
mugen

1
छोटे और छोटे त्रिकोणों के परिमित संग्रह पर विचार करें जो चित्र में कर्ण के साथ झूठ बोल रहे हैं और सीमा लेते हैं क्योंकि संग्रह में सबसे बड़े त्रिकोण का व्यास शून्य हो जाता है।
whuber
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.