निस्पंदन (गणित): Difference between revisions
(Created page with "गणित में, एक निस्पंदन <math>\mathcal{F}</math> एक अनुक्रमित परिवार है <math>(S_i)_{i \in I}</math>...") |
No edit summary |
||
Line 1: | Line 1: | ||
गणित में, | गणित में,निस्पंदन <math>\mathcal{F}</math>[[अनुक्रमित परिवार]] है <math>(S_i)_{i \in I}</math> किसी दिए गए [[बीजगणितीय संरचना]] के [[subobject|सुबाबजेक्ट]] का <math>S</math>, सूचकांक के साथ <math>i</math> कुछ पूरी तरह से ऑर्डर किए गए सेट [[ सूचकांक सेट ]] पर चल रहा है <math>I</math>, इस शर्त के अधीन कि | ||
::अगर <math>i\leq j</math> में <math>I</math>, तब <math>S_i\subseteq S_j</math>. | ::अगर <math>i\leq j</math> में <math>I</math>, तब <math>S_i\subseteq S_j</math>. | ||
यदि सूचकांक <math>i</math> कुछ स्टोकेस्टिक प्रक्रिया का समय पैरामीटर है, तो फिल्ट्रेशन की व्याख्या बीजगणितीय संरचना के साथ [[अनेक संभावनाओं में से चुनी हूई प्रक्रिया]] के बारे में उपलब्ध सभी ऐतिहासिक लेकिन भविष्य की जानकारी का प्रतिनिधित्व करने के रूप में नहीं की जा सकती है। <math>S_i</math> समय के साथ जटिलता प्राप्त करना। इसलिए, | यदि सूचकांक <math>i</math> कुछ स्टोकेस्टिक प्रक्रिया का समय पैरामीटर है, तो फिल्ट्रेशन की व्याख्या बीजगणितीय संरचना के साथ [[अनेक संभावनाओं में से चुनी हूई प्रक्रिया]] के बारे में उपलब्ध सभी ऐतिहासिक लेकिन भविष्य की जानकारी का प्रतिनिधित्व करने के रूप में नहीं की जा सकती है। <math>S_i</math> समय के साथ जटिलता प्राप्त करना। इसलिए,प्रक्रिया जोनिस्पंदन के लिए [[अनुकूलित प्रक्रिया]] है <math>\mathcal{F}</math> इसे गैर-प्रत्याशित भी कहा जाता है, क्योंकि यह भविष्य में नहीं देख सकता है।<ref>{{cite book|last=Björk|first=Thomas|year=2005|title=आर्बिट्रेज थ्योरी इन कंटीन्यूअस टाइम|isbn=978-0-19-927126-9|section=Appendix B}}</ref> | ||
कभी-कभी, फ़िल्टर किए गए बीजगणित के रूप में, इसके बजाय आवश्यकता होती है कि <math>S_i</math> सबलजेब्रा बनें#सबलजेब्रा सार्वभौमिक बीजगणित में कुछ संक्रियाओं (कहते हैं, सदिश जोड़) के संबंध में, लेकिन अन्य संक्रियाओं (कहते हैं, गुणन) के संबंध में नहीं जो केवल संतुष्ट करती हैं <math>S_i \cdot S_j \subseteq S_{i+j}</math>, जहां सूचकांक सेट [[प्राकृतिक संख्या]] है; यह ग्रेडेड बीजगणित के अनुरूप है। | कभी-कभी, फ़िल्टर किए गए बीजगणित के रूप में, इसके बजाय आवश्यकता होती है कि <math>S_i</math> सबलजेब्रा बनें#सबलजेब्रा सार्वभौमिक बीजगणित में कुछ संक्रियाओं (कहते हैं, सदिश जोड़) के संबंध में, लेकिन अन्य संक्रियाओं (कहते हैं, गुणन) के संबंध में नहीं जो केवल संतुष्ट करती हैं <math>S_i \cdot S_j \subseteq S_{i+j}</math>, जहां सूचकांक सेट [[प्राकृतिक संख्या]] है; यह ग्रेडेड बीजगणित के अनुरूप है। | ||
कभी-कभी, फिल्ट्रेशन को अतिरिक्त आवश्यकता को पूरा करने के लिए माना जाता है कि [[संघ (सेट सिद्धांत)]]। <math>S_i</math> संपूर्ण हो <math>S</math>, या (अधिक सामान्य मामलों में, जब संघ की धारणा समझ में नहीं आती है) कि विहित [[समरूपता]] की [[प्रत्यक्ष सीमा]] से <math>S_i</math> को <math>S</math> | कभी-कभी, फिल्ट्रेशन को अतिरिक्त आवश्यकता को पूरा करने के लिए माना जाता है कि [[संघ (सेट सिद्धांत)]]। <math>S_i</math> संपूर्ण हो <math>S</math>, या (अधिक सामान्य मामलों में, जब संघ की धारणा समझ में नहीं आती है) कि विहित [[समरूपता]] की [[प्रत्यक्ष सीमा]] से <math>S_i</math> को <math>S</math>समरूपता है। इस आवश्यकता को माना जाता है या नहीं, यह आमतौर पर पाठ के लेखक पर निर्भर करता है और अक्सर स्पष्ट रूप से कहा जाता है। यह लेख इस आवश्यकता को लागू नहीं करता है। | ||
एक 'अवरोही निस्पंदन' की धारणा भी है, जिसे संतुष्ट करना आवश्यक है <math>S_i \supseteq S_j</math> के एवज <math>S_i \subseteq S_j</math> (और, कभी-कभी, <math>\bigcap_{i\in I} S_i=0</math> के बजाय <math>\bigcup_{i\in I} S_i=S</math>). फिर से, यह संदर्भ पर निर्भर करता है कि फिल्ट्रेशन शब्द को वास्तव में कैसे समझा जाए। अवरोही फिल्ट्रेशन को कोफिल्ट्रेशन की [[दोहरी (श्रेणी सिद्धांत)]] धारणा के साथ भ्रमित नहीं होना चाहिए (जिसमें उप-वस्तुओं के बजाय मात्रात्मक वस्तुएं शामिल हैं)। | एक 'अवरोही निस्पंदन' की धारणा भी है, जिसे संतुष्ट करना आवश्यक है <math>S_i \supseteq S_j</math> के एवज <math>S_i \subseteq S_j</math> (और, कभी-कभी, <math>\bigcap_{i\in I} S_i=0</math> के बजाय <math>\bigcup_{i\in I} S_i=S</math>). फिर से, यह संदर्भ पर निर्भर करता है कि फिल्ट्रेशन शब्द को वास्तव में कैसे समझा जाए। अवरोही फिल्ट्रेशन को कोफिल्ट्रेशन की [[दोहरी (श्रेणी सिद्धांत)]] धारणा के साथ भ्रमित नहीं होना चाहिए (जिसमें उप-वस्तुओं के बजाय मात्रात्मक वस्तुएं शामिल हैं)। | ||
फिल्ट्रेशन का व्यापक रूप से [[सार बीजगणित]], [[समरूप बीजगणित]] (जहां वे वर्णक्रमीय अनुक्रमों के | फिल्ट्रेशन का व्यापक रूप से [[सार बीजगणित]], [[समरूप बीजगणित]] (जहां वे वर्णक्रमीय अनुक्रमों के लिएमहत्वपूर्ण तरीके से संबंधित हैं) में उपयोग किया जाता है, और सिग्मा बीजगणित के नेस्टेड अनुक्रमों के लिए सिद्धांत और संभाव्यता सिद्धांत को मापता है। [[कार्यात्मक विश्लेषण]] और [[संख्यात्मक विश्लेषण]] में, आमतौर पर अन्य शब्दावली का उपयोग किया जाता है, जैसे कि रिक्त स्थान या [[नेस्टेड रिक्त स्थान]] का पैमाना। | ||
== उदाहरण == | == उदाहरण == | ||
Line 22: | Line 22: | ||
{{See also|Length function}} | {{See also|Length function}} | ||
बीजगणित में, फिल्ट्रेशन को आमतौर पर किसके द्वारा अनुक्रमित किया जाता है <math>\mathbb{N}</math>, प्राकृतिक संख्याओं का [[सेट (गणित)]] | बीजगणित में, फिल्ट्रेशन को आमतौर पर किसके द्वारा अनुक्रमित किया जाता है <math>\mathbb{N}</math>, प्राकृतिक संख्याओं का [[सेट (गणित)]]।समूह कानिस्पंदन <math>G</math>, तोनेस्टेड अनुक्रम है <math>G_n</math> के [[सामान्य उपसमूह]]ों की <math>G</math> (यानी, किसी के लिए <math>n</math> अपने पास <math>G_{n+1}\subseteq G_n</math>). ध्यान दें कि फिल्ट्रेशन शब्द का यह प्रयोग हमारे अवरोही फिल्ट्रेशन से मेल खाता है। | ||
एक समूह दिया <math>G</math> | एक समूह दिया <math>G</math> औरछानना <math>G_n</math>,[[टोपोलॉजिकल स्पेस]] को परिभाषित करने काप्राकृतिक तरीका है <math>G</math>, छानने से संबंधित होने के लिए कहा। इस टोपोलॉजी का आधार फिल्ट्रेशन में दिखाई देने वाले उपसमूहों के सभी सहसमुच्चयों का समुच्चय है, जो किउपसमुच्चय है <math>G</math> यदि यह फॉर्म के सेट कासंघ है, तो इसे ओपन के रूप में परिभाषित किया गया है <math>aG_n</math>, कहाँ <math>a\in G</math> और <math>n</math>प्राकृतिक संख्या है। | ||
एक समूह | एक समूह परनिस्पंदन से संबंधित टोपोलॉजी <math>G</math> बनाता है <math>G</math>सामयिक समूह में। | ||
फिल्ट्रेशन से जुड़ी टोपोलॉजी <math>G_n</math> | फिल्ट्रेशन से जुड़ी टोपोलॉजी <math>G_n</math>समूह पर <math>G</math> [[हॉसडॉर्फ स्पेस]] है अगर और केवल अगर <math>\bigcap G_n=\{1\}</math>. | ||
यदि दो फ़िल्टर <math>G_n</math> और <math>G'_n</math> | यदि दो फ़िल्टर <math>G_n</math> और <math>G'_n</math>समूह पर परिभाषित किया गया है <math>G</math>, फिर पहचान मानचित्र से <math>G</math> को <math>G</math>, जहां की पहली प्रति <math>G</math> दिया जाता है <math>G_n</math>-टोपोलॉजी और दूसरा <math>G'_n</math>-टोपोलॉजी, निरंतर है अगर और केवल अगर किसी के लिए <math>n</math> वहाँ है<math>m</math> ऐसा है कि <math>G_m\subseteq G'_n</math>, अर्थात, अगर और केवल अगर पहचान मानचित्र 1 पर निरंतर है। विशेष रूप से, दो फ़िल्ट्रेशनही टोपोलॉजी को परिभाषित करते हैं यदि और केवल अगर किसी उपसमूह के लिएमें दिखाई दे रहा है तो दूसरे मेंछोटा या बराबर दिखाई दे रहा है। | ||
==== रिंग्स और मॉड्यूल: अवरोही फिल्ट्रेशन ==== | ==== रिंग्स और मॉड्यूल: अवरोही फिल्ट्रेशन ==== | ||
एक अंगूठी दी <math>R</math> और | एक अंगूठी दी <math>R</math> और<math>R</math>-मापांक <math>M</math>, काअवरोही निस्पंदन <math>M</math> [[submodule]] का घटता क्रम है <math>M_n</math>. इसलिए यह समूहों के लिए धारणा काविशेष मामला है, अतिरिक्त शर्त के साथ कि उपसमूह सबमॉड्यूल हैं। संबंधित टोपोलॉजी को समूहों के लिए परिभाषित किया गया है। | ||
एक महत्वपूर्ण विशेष मामले के रूप में जाना जाता है <math>I</math>-ऐडिक टोपोलॉजी (या <math>J</math>-एडिक, आदि): चलो <math>R</math> | एक महत्वपूर्ण विशेष मामले के रूप में जाना जाता है <math>I</math>-ऐडिक टोपोलॉजी (या <math>J</math>-एडिक, आदि): चलो <math>R</math>[[क्रमविनिमेय अंगूठी]] हो, और <math>I</math> काआदर्श <math>R</math>.दिया <math>R</math>-मापांक <math>M</math>, क्रम <math>I^n M</math> के सबमॉड्यूल का <math>M</math> कानिस्पंदन बनाता है <math>M</math>.<math>I</math>-एडिक टोपोलॉजी ऑन <math>M</math> फिर इस फिल्ट्रेशन से जुड़ी टोपोलॉजी है। अगर <math>M</math> सिर्फ अंगूठी है <math>R</math> ही, हमने परिभाषित किया है<math>I</math>-एडिक टोपोलॉजी ऑन <math>R</math>. | ||
कब <math>R</math> दिया जाता है <math>I</math>-एडिक टोपोलॉजी, <math>R</math> | कब <math>R</math> दिया जाता है <math>I</math>-एडिक टोपोलॉजी, <math>R</math>[[टोपोलॉजिकल रिंग]] बन जाता है। यदि<math>R</math>-मापांक <math>M</math> तो दिया जाता है <math>I</math>-एडिक टोपोलॉजी, यहटोपोलॉजिकल मॉड्यूल बन जाता है | टोपोलॉजिकल <math>R</math>-मॉड्यूल, दी गई टोपोलॉजी के सापेक्ष <math>R</math>. | ||
==== रिंग्स और मॉड्यूल: आरोही फिल्ट्रेशन ==== | ==== रिंग्स और मॉड्यूल: आरोही फिल्ट्रेशन ==== | ||
एक अंगूठी दी <math>R</math> और | एक अंगूठी दी <math>R</math> और<math>R</math>-मापांक <math>M</math>, काआरोही निस्पंदन <math>M</math> सबमॉड्यूल का बढ़ता क्रम है <math>M_n</math>. विशेष रूप से, अगर <math>R</math>क्षेत्र है, फिर काआरोही निस्पंदन <math>R</math>-सदिश स्थल <math>M</math> की सदिश उपसमष्टियों का बढ़ता क्रम है <math>M</math>. फ़्लैग (रैखिक बीजगणित) ऐसे फ़िल्टरों कामहत्वपूर्ण वर्ग है। | ||
==== सेट ==== | ==== सेट ==== | ||
किसी सेट का अधिकतम फिल्ट्रेशन सेट के ऑर्डरिंग (क्रम[[परिवर्तन]]) के बराबर होता है। उदाहरण के लिए, छानना <math>\{0\} \subseteq \{0,1\} \subseteq \{0,1,2\}</math> आदेश से मेल खाता है <math>(0,1,2)</math>. [[एक तत्व के साथ क्षेत्र]] के दृष्टिकोण से, | किसी सेट का अधिकतम फिल्ट्रेशन सेट के ऑर्डरिंग (क्रम[[परिवर्तन]]) के बराबर होता है। उदाहरण के लिए, छानना <math>\{0\} \subseteq \{0,1\} \subseteq \{0,1,2\}</math> आदेश से मेल खाता है <math>(0,1,2)</math>.[[एक तत्व के साथ क्षेत्र|तत्व के साथ क्षेत्र]] के दृष्टिकोण से,सेट परआदेशअधिकतम ध्वज (रैखिक बीजगणित) (एक सदिश स्थान परनिस्पंदन) से मेल खाता है,तत्व के साथ क्षेत्र परसदिश स्थान होने पर विचार करता है। | ||
=== माप सिद्धांत === | === माप सिद्धांत === | ||
{{main article|Filtration (probability theory)}} | {{main article|Filtration (probability theory)}} | ||
माप सिद्धांत में, विशेष रूप से मार्टिंगेल सिद्धांत और स्टोकेस्टिक प्रक्रियाओं के सिद्धांत में, | माप सिद्धांत में, विशेष रूप से मार्टिंगेल सिद्धांत और स्टोकेस्टिक प्रक्रियाओं के सिद्धांत में,निस्पंदन सिग्मा बीजगणित काबढ़ता क्रम (गणित) है|<math>\sigma</math>[[मापने योग्य स्थान]] पर बीजगणित। यानी मापने योग्य जगह दी गई है <math>(\Omega, \mathcal{F})</math>,निस्पंदन काक्रम है <math>\sigma</math>-बीजगणित <math>\{ \mathcal{F}_{t} \}_{t \geq 0}</math> साथ <math>\mathcal{F}_{t} \subseteq \mathcal{F}</math> जहां प्रत्येक <math>t</math>गैर-ऋणात्मक [[वास्तविक संख्या]] है और | ||
:<math>t_{1} \leq t_{2} \implies \mathcal{F}_{t_{1}} \subseteq \mathcal{F}_{t_{2}}.</math> | :<math>t_{1} \leq t_{2} \implies \mathcal{F}_{t_{1}} \subseteq \mathcal{F}_{t_{2}}.</math> | ||
Line 55: | Line 55: | ||
:<math>t \in \{ 0, 1, \dots, N \}, \mathbb{N}_{0}, [0, T] \mbox{ or } [0, + \infty).</math> | :<math>t \in \{ 0, 1, \dots, N \}, \mathbb{N}_{0}, [0, T] \mbox{ or } [0, + \infty).</math> | ||
इसी तरह, | इसी तरह,फ़िल्टर्ड प्रायिकता स्थान (स्टोकेस्टिक आधार के रूप में भी जाना जाता है) <math>\left(\Omega, \mathcal{F}, \left\{\mathcal{F}_{t}\right\}_{t\geq 0}, \mathbb{P}\right)</math>, फिल्ट्रेशन से लैसप्रायिकता स्थान है <math>\left\{\mathcal{F}_t\right\}_{t\geq 0}</math> उसके जैसा <math>\sigma</math>-बीजगणित <math>\mathcal{F}</math>. फ़िल्टर किए गए संभाव्यता स्थान को सामान्य स्थितियों को पूरा करने के लिए कहा जाता है यदि यह पूर्ण माप है (यानी, <math>\mathcal{F}_0</math> सभी शामिल हैं <math>\mathbb{P}</math>-अशक्त सेट) और दाएँ-निरंतर (अर्थात <math>\mathcal{F}_t = \mathcal{F}_{t+} := \bigcap_{s > t} \mathcal{F}_s</math> हर समय के लिए <math>t</math>).<ref>{{cite web|title=Stochastic Processes: A very simple introduction|author=Péter Medvegyev|date=January 2009|url=http://medvegyev.uni-corvinus.hu/St1.pdf|access-date=June 25, 2012}}</ref><ref>{{cite book|title=संभावनाएं और क्षमता|author=Claude Dellacherie|publisher=Elsevier|year=1979|isbn=9780720407013}}</ref><ref>{{cite web|title=फिल्ट्रेशन और अनुकूलित प्रक्रियाएं|author=George Lowther|url=http://almostsure.wordpress.com/2009/11/08/filtrations-and-adapted-processes/|date=November 8, 2009|access-date=June 25, 2012}}</ref> | ||
यह परिभाषित करने के लिए भी उपयोगी है (अनबाउंड इंडेक्स सेट के मामले में)। <math>\mathcal{F}_{\infty}</math> के रूप में <math>\sigma</math>-बीजगणित के अनंत मिलन से उत्पन्न <math>\mathcal{F}_{t}</math>है, जिसमें निहित है <math>\mathcal{F}</math>: | यह परिभाषित करने के लिए भी उपयोगी है (अनबाउंड इंडेक्स सेट के मामले में)। <math>\mathcal{F}_{\infty}</math> के रूप में <math>\sigma</math>-बीजगणित के अनंत मिलन से उत्पन्न <math>\mathcal{F}_{t}</math>है, जिसमें निहित है <math>\mathcal{F}</math>: | ||
:<math>\mathcal{F}_{\infty} = \sigma\left(\bigcup_{t \geq 0} \mathcal{F}_{t}\right) \subseteq \mathcal{F}.</math> | :<math>\mathcal{F}_{\infty} = \sigma\left(\bigcup_{t \geq 0} \mathcal{F}_{t}\right) \subseteq \mathcal{F}.</math> | ||
एक σ-बीजगणित उन घटनाओं के सेट को परिभाषित करता है जिन्हें मापा जा सकता है, | एक σ-बीजगणित उन घटनाओं के सेट को परिभाषित करता है जिन्हें मापा जा सकता है, जोसंभाव्यता के संदर्भ में उन घटनाओं के बराबर है जिनमें भेदभाव किया जा सकता है, या ऐसे प्रश्न जिनका उत्तर समय पर दिया जा सकता है <math>t</math>. इसलिए,फिल्ट्रेशन का उपयोग अक्सर उन घटनाओं के सेट में परिवर्तन का प्रतिनिधित्व करने के लिए किया जाता है, जिन्हें [[जानकारी]] के लाभ या हानि के माध्यम से मापा जा सकता है।विशिष्ट उदाहरण [[गणितीय वित्त]] में है, जहांफिल्ट्रेशन प्रत्येक समय तक और सहित उपलब्ध जानकारी का प्रतिनिधित्व करता है <math>t</math>, और अधिक से अधिक सटीक है (मापने योग्य घटनाओं का सेट वही रहता है या बढ़ रहा है) क्योंकि स्टॉक मूल्य के विकास से अधिक जानकारी उपलब्ध हो जाती है। | ||
==== स्टॉपिंग टाइम से संबंध: स्टॉपिंग टाइम सिग्मा-अलजेब्रा ==== | ==== स्टॉपिंग टाइम से संबंध: स्टॉपिंग टाइम सिग्मा-अलजेब्रा ==== | ||
{{main article|σ-Algebra of τ-past}} | {{main article|σ-Algebra of τ-past}} | ||
होने देना <math>\left(\Omega, \mathcal{F}, \left\{\mathcal{F}_{t}\right\}_{t\geq 0}, \mathbb{P}\right)</math> | होने देना <math>\left(\Omega, \mathcal{F}, \left\{\mathcal{F}_{t}\right\}_{t\geq 0}, \mathbb{P}\right)</math>फ़िल्टर्ड प्रायिकता स्थान हो।यादृच्छिक चर <math>\tau : \Omega \rightarrow [0, \infty]</math> #माप सिद्धांत के संबंध में [[रुकने का समय]] है <math>\left\{\mathcal{F}_{t}\right\}_{t\geq 0}</math>, अगर <math>\{\tau \leq t\} \in \mathcal{F}_t</math> सभी के लिए <math>t\geq 0</math>. | ||
रुकने का समय <math>\sigma</math>-बीजगणित को अब परिभाषित किया गया है | रुकने का समय <math>\sigma</math>-बीजगणित को अब परिभाषित किया गया है | ||
:<math>\mathcal{F}_{\tau} := \{A\in\mathcal{F} \vert \forall t\geq 0 \colon A\cap\{\tau \leq t\}\in\mathcal{F}_t\}</math>. | :<math>\mathcal{F}_{\tau} := \{A\in\mathcal{F} \vert \forall t\geq 0 \colon A\cap\{\tau \leq t\}\in\mathcal{F}_t\}</math>. | ||
इसे दिखाना मुश्किल नहीं है <math>\mathcal{F}_{\tau}</math> वास्तव | इसे दिखाना मुश्किल नहीं है <math>\mathcal{F}_{\tau}</math> वास्तव मेंसिग्मा-बीजगणित है|<math>\sigma</math>-बीजगणित। | ||
सेट <math>\mathcal{F}_{\tau}</math> यादृच्छिक समय तक जानकारी को एन्कोड करता है <math>\tau</math> इस अर्थ में कि, यदि फ़िल्टर किए गए संभाव्यता स्थान | सेट <math>\mathcal{F}_{\tau}</math> यादृच्छिक समय तक जानकारी को एन्कोड करता है <math>\tau</math> इस अर्थ में कि, यदि फ़िल्टर किए गए संभाव्यता स्थान कोयादृच्छिक प्रयोग के रूप में व्याख्या किया जाता है, तो अधिकतम जानकारी जो यादृच्छिक समय तक प्रयोग को बार-बार दोहराने से प्राप्त की जा सकती है <math>\tau</math> है <math>\mathcal{F}_{\tau}</math>.<ref name="Fischer (2013)">{{cite journal|last=Fischer|first=Tom|title=स्टॉपिंग टाइम्स और स्टॉपिंग टाइम सिग्मा-अलजेब्रा के सरल निरूपण पर|journal=Statistics and Probability Letters|year=2013|volume=83|issue=1|pages=345–349|doi=10.1016/j.spl.2012.09.024|arxiv=1112.1603}}</ref> विशेष रूप से, यदि अंतर्निहित प्रायिकता स्थान परिमित है (अर्थात <math>\mathcal{F}</math> परिमित है), का न्यूनतम सेट <math>\mathcal{F}_{\tau}</math> (सेट समावेशन के संबंध में) संघ द्वारा सभी पर दिए गए हैं <math>t\geq 0</math> के न्यूनतम सेट के सेट का <math>\mathcal{F}_{t}</math> वह अंदर है <math>\{\tau = t\} </math>.<ref name="Fischer (2013)"/> | ||
यह दिखाया जा सकता है <math>\tau</math> है <math>\mathcal{F}_{\tau}</math>-मापने योग्य। हालाँकि, सरल उदाहरण<ref name="Fischer (2013)"/>दिखाओ कि, सामान्य तौर पर, <math>\sigma(\tau) \neq \mathcal{F}_{\tau}</math>. अगर <math>\tau_ 1</math> और <math>\tau_ 2</math> बार रुक रहे हैं <math>\left(\Omega, \mathcal{F}, \left\{\mathcal{F}_{t}\right\}_{t\geq 0}, \mathbb{P}\right)</math>, और <math>\tau_1 \leq \tau_2</math> [[लगभग निश्चित रूप से]], फिर <math>\mathcal{F}_{\tau_1} \subseteq \mathcal{F}_{\tau_2}.</math> | यह दिखाया जा सकता है <math>\tau</math> है <math>\mathcal{F}_{\tau}</math>-मापने योग्य। हालाँकि, सरल उदाहरण<ref name="Fischer (2013)"/>दिखाओ कि, सामान्य तौर पर, <math>\sigma(\tau) \neq \mathcal{F}_{\tau}</math>. अगर <math>\tau_ 1</math> और <math>\tau_ 2</math> बार रुक रहे हैं <math>\left(\Omega, \mathcal{F}, \left\{\mathcal{F}_{t}\right\}_{t\geq 0}, \mathbb{P}\right)</math>, और <math>\tau_1 \leq \tau_2</math> [[लगभग निश्चित रूप से]], फिर <math>\mathcal{F}_{\tau_1} \subseteq \mathcal{F}_{\tau_2}.</math> |
Revision as of 22:50, 7 April 2023
गणित में,निस्पंदन अनुक्रमित परिवार है किसी दिए गए बीजगणितीय संरचना के सुबाबजेक्ट का , सूचकांक के साथ कुछ पूरी तरह से ऑर्डर किए गए सेट सूचकांक सेट पर चल रहा है , इस शर्त के अधीन कि
- अगर में , तब .
यदि सूचकांक कुछ स्टोकेस्टिक प्रक्रिया का समय पैरामीटर है, तो फिल्ट्रेशन की व्याख्या बीजगणितीय संरचना के साथ अनेक संभावनाओं में से चुनी हूई प्रक्रिया के बारे में उपलब्ध सभी ऐतिहासिक लेकिन भविष्य की जानकारी का प्रतिनिधित्व करने के रूप में नहीं की जा सकती है। समय के साथ जटिलता प्राप्त करना। इसलिए,प्रक्रिया जोनिस्पंदन के लिए अनुकूलित प्रक्रिया है इसे गैर-प्रत्याशित भी कहा जाता है, क्योंकि यह भविष्य में नहीं देख सकता है।[1] कभी-कभी, फ़िल्टर किए गए बीजगणित के रूप में, इसके बजाय आवश्यकता होती है कि सबलजेब्रा बनें#सबलजेब्रा सार्वभौमिक बीजगणित में कुछ संक्रियाओं (कहते हैं, सदिश जोड़) के संबंध में, लेकिन अन्य संक्रियाओं (कहते हैं, गुणन) के संबंध में नहीं जो केवल संतुष्ट करती हैं , जहां सूचकांक सेट प्राकृतिक संख्या है; यह ग्रेडेड बीजगणित के अनुरूप है।
कभी-कभी, फिल्ट्रेशन को अतिरिक्त आवश्यकता को पूरा करने के लिए माना जाता है कि संघ (सेट सिद्धांत)। संपूर्ण हो , या (अधिक सामान्य मामलों में, जब संघ की धारणा समझ में नहीं आती है) कि विहित समरूपता की प्रत्यक्ष सीमा से को समरूपता है। इस आवश्यकता को माना जाता है या नहीं, यह आमतौर पर पाठ के लेखक पर निर्भर करता है और अक्सर स्पष्ट रूप से कहा जाता है। यह लेख इस आवश्यकता को लागू नहीं करता है।
एक 'अवरोही निस्पंदन' की धारणा भी है, जिसे संतुष्ट करना आवश्यक है के एवज (और, कभी-कभी, के बजाय ). फिर से, यह संदर्भ पर निर्भर करता है कि फिल्ट्रेशन शब्द को वास्तव में कैसे समझा जाए। अवरोही फिल्ट्रेशन को कोफिल्ट्रेशन की दोहरी (श्रेणी सिद्धांत) धारणा के साथ भ्रमित नहीं होना चाहिए (जिसमें उप-वस्तुओं के बजाय मात्रात्मक वस्तुएं शामिल हैं)।
फिल्ट्रेशन का व्यापक रूप से सार बीजगणित, समरूप बीजगणित (जहां वे वर्णक्रमीय अनुक्रमों के लिएमहत्वपूर्ण तरीके से संबंधित हैं) में उपयोग किया जाता है, और सिग्मा बीजगणित के नेस्टेड अनुक्रमों के लिए सिद्धांत और संभाव्यता सिद्धांत को मापता है। कार्यात्मक विश्लेषण और संख्यात्मक विश्लेषण में, आमतौर पर अन्य शब्दावली का उपयोग किया जाता है, जैसे कि रिक्त स्थान या नेस्टेड रिक्त स्थान का पैमाना।
उदाहरण
बीजगणित
बीजगणित
देखें: फ़िल्टर्ड बीजगणित
समूह
बीजगणित में, फिल्ट्रेशन को आमतौर पर किसके द्वारा अनुक्रमित किया जाता है , प्राकृतिक संख्याओं का सेट (गणित)।समूह कानिस्पंदन , तोनेस्टेड अनुक्रम है के सामान्य उपसमूहों की (यानी, किसी के लिए अपने पास ). ध्यान दें कि फिल्ट्रेशन शब्द का यह प्रयोग हमारे अवरोही फिल्ट्रेशन से मेल खाता है।
एक समूह दिया औरछानना ,टोपोलॉजिकल स्पेस को परिभाषित करने काप्राकृतिक तरीका है , छानने से संबंधित होने के लिए कहा। इस टोपोलॉजी का आधार फिल्ट्रेशन में दिखाई देने वाले उपसमूहों के सभी सहसमुच्चयों का समुच्चय है, जो किउपसमुच्चय है यदि यह फॉर्म के सेट कासंघ है, तो इसे ओपन के रूप में परिभाषित किया गया है , कहाँ और प्राकृतिक संख्या है।
एक समूह परनिस्पंदन से संबंधित टोपोलॉजी बनाता है सामयिक समूह में।
फिल्ट्रेशन से जुड़ी टोपोलॉजी समूह पर हॉसडॉर्फ स्पेस है अगर और केवल अगर .
यदि दो फ़िल्टर और समूह पर परिभाषित किया गया है , फिर पहचान मानचित्र से को , जहां की पहली प्रति दिया जाता है -टोपोलॉजी और दूसरा -टोपोलॉजी, निरंतर है अगर और केवल अगर किसी के लिए वहाँ है ऐसा है कि , अर्थात, अगर और केवल अगर पहचान मानचित्र 1 पर निरंतर है। विशेष रूप से, दो फ़िल्ट्रेशनही टोपोलॉजी को परिभाषित करते हैं यदि और केवल अगर किसी उपसमूह के लिएमें दिखाई दे रहा है तो दूसरे मेंछोटा या बराबर दिखाई दे रहा है।
रिंग्स और मॉड्यूल: अवरोही फिल्ट्रेशन
एक अंगूठी दी और-मापांक , काअवरोही निस्पंदन submodule का घटता क्रम है . इसलिए यह समूहों के लिए धारणा काविशेष मामला है, अतिरिक्त शर्त के साथ कि उपसमूह सबमॉड्यूल हैं। संबंधित टोपोलॉजी को समूहों के लिए परिभाषित किया गया है।
एक महत्वपूर्ण विशेष मामले के रूप में जाना जाता है -ऐडिक टोपोलॉजी (या -एडिक, आदि): चलो क्रमविनिमेय अंगूठी हो, और काआदर्श .दिया -मापांक , क्रम के सबमॉड्यूल का कानिस्पंदन बनाता है .-एडिक टोपोलॉजी ऑन फिर इस फिल्ट्रेशन से जुड़ी टोपोलॉजी है। अगर सिर्फ अंगूठी है ही, हमने परिभाषित किया है-एडिक टोपोलॉजी ऑन .
कब दिया जाता है -एडिक टोपोलॉजी, टोपोलॉजिकल रिंग बन जाता है। यदि-मापांक तो दिया जाता है -एडिक टोपोलॉजी, यहटोपोलॉजिकल मॉड्यूल बन जाता है | टोपोलॉजिकल -मॉड्यूल, दी गई टोपोलॉजी के सापेक्ष .
रिंग्स और मॉड्यूल: आरोही फिल्ट्रेशन
एक अंगूठी दी और-मापांक , काआरोही निस्पंदन सबमॉड्यूल का बढ़ता क्रम है . विशेष रूप से, अगर क्षेत्र है, फिर काआरोही निस्पंदन -सदिश स्थल की सदिश उपसमष्टियों का बढ़ता क्रम है . फ़्लैग (रैखिक बीजगणित) ऐसे फ़िल्टरों कामहत्वपूर्ण वर्ग है।
सेट
किसी सेट का अधिकतम फिल्ट्रेशन सेट के ऑर्डरिंग (क्रमपरिवर्तन) के बराबर होता है। उदाहरण के लिए, छानना आदेश से मेल खाता है .तत्व के साथ क्षेत्र के दृष्टिकोण से,सेट परआदेशअधिकतम ध्वज (रैखिक बीजगणित) (एक सदिश स्थान परनिस्पंदन) से मेल खाता है,तत्व के साथ क्षेत्र परसदिश स्थान होने पर विचार करता है।
माप सिद्धांत
माप सिद्धांत में, विशेष रूप से मार्टिंगेल सिद्धांत और स्टोकेस्टिक प्रक्रियाओं के सिद्धांत में,निस्पंदन सिग्मा बीजगणित काबढ़ता क्रम (गणित) है|मापने योग्य स्थान पर बीजगणित। यानी मापने योग्य जगह दी गई है ,निस्पंदन काक्रम है -बीजगणित साथ जहां प्रत्येक गैर-ऋणात्मक वास्तविक संख्या है और
समय की सटीक सीमाआमतौर पर संदर्भ पर निर्भर करेगा: के लिए मूल्यों का सेट असतत सेट या निरंतर, बंधा हुआ सेट या अनबाउंड हो सकता है। उदाहरण के लिए,
इसी तरह,फ़िल्टर्ड प्रायिकता स्थान (स्टोकेस्टिक आधार के रूप में भी जाना जाता है) , फिल्ट्रेशन से लैसप्रायिकता स्थान है उसके जैसा -बीजगणित . फ़िल्टर किए गए संभाव्यता स्थान को सामान्य स्थितियों को पूरा करने के लिए कहा जाता है यदि यह पूर्ण माप है (यानी, सभी शामिल हैं -अशक्त सेट) और दाएँ-निरंतर (अर्थात हर समय के लिए ).[2][3][4] यह परिभाषित करने के लिए भी उपयोगी है (अनबाउंड इंडेक्स सेट के मामले में)। के रूप में -बीजगणित के अनंत मिलन से उत्पन्न है, जिसमें निहित है :
एक σ-बीजगणित उन घटनाओं के सेट को परिभाषित करता है जिन्हें मापा जा सकता है, जोसंभाव्यता के संदर्भ में उन घटनाओं के बराबर है जिनमें भेदभाव किया जा सकता है, या ऐसे प्रश्न जिनका उत्तर समय पर दिया जा सकता है . इसलिए,फिल्ट्रेशन का उपयोग अक्सर उन घटनाओं के सेट में परिवर्तन का प्रतिनिधित्व करने के लिए किया जाता है, जिन्हें जानकारी के लाभ या हानि के माध्यम से मापा जा सकता है।विशिष्ट उदाहरण गणितीय वित्त में है, जहांफिल्ट्रेशन प्रत्येक समय तक और सहित उपलब्ध जानकारी का प्रतिनिधित्व करता है , और अधिक से अधिक सटीक है (मापने योग्य घटनाओं का सेट वही रहता है या बढ़ रहा है) क्योंकि स्टॉक मूल्य के विकास से अधिक जानकारी उपलब्ध हो जाती है।
स्टॉपिंग टाइम से संबंध: स्टॉपिंग टाइम सिग्मा-अलजेब्रा
होने देना फ़िल्टर्ड प्रायिकता स्थान हो।यादृच्छिक चर #माप सिद्धांत के संबंध में रुकने का समय है , अगर सभी के लिए . रुकने का समय -बीजगणित को अब परिभाषित किया गया है
- .
इसे दिखाना मुश्किल नहीं है वास्तव मेंसिग्मा-बीजगणित है|-बीजगणित। सेट यादृच्छिक समय तक जानकारी को एन्कोड करता है इस अर्थ में कि, यदि फ़िल्टर किए गए संभाव्यता स्थान कोयादृच्छिक प्रयोग के रूप में व्याख्या किया जाता है, तो अधिकतम जानकारी जो यादृच्छिक समय तक प्रयोग को बार-बार दोहराने से प्राप्त की जा सकती है है .[5] विशेष रूप से, यदि अंतर्निहित प्रायिकता स्थान परिमित है (अर्थात परिमित है), का न्यूनतम सेट (सेट समावेशन के संबंध में) संघ द्वारा सभी पर दिए गए हैं के न्यूनतम सेट के सेट का वह अंदर है .[5]
यह दिखाया जा सकता है है -मापने योग्य। हालाँकि, सरल उदाहरण[5]दिखाओ कि, सामान्य तौर पर, . अगर और बार रुक रहे हैं , और लगभग निश्चित रूप से, फिर
यह भी देखें
- प्राकृतिक फिल्ट्रेशन
- निस्पंदन (संभावना सिद्धांत)
- फ़िल्टर (गणित)
संदर्भ
- ↑ Björk, Thomas (2005). "Appendix B". आर्बिट्रेज थ्योरी इन कंटीन्यूअस टाइम. ISBN 978-0-19-927126-9.
- ↑ Péter Medvegyev (January 2009). "Stochastic Processes: A very simple introduction" (PDF). Retrieved June 25, 2012.
- ↑ Claude Dellacherie (1979). संभावनाएं और क्षमता. Elsevier. ISBN 9780720407013.
- ↑ George Lowther (November 8, 2009). "फिल्ट्रेशन और अनुकूलित प्रक्रियाएं". Retrieved June 25, 2012.
- ↑ 5.0 5.1 5.2 Fischer, Tom (2013). "स्टॉपिंग टाइम्स और स्टॉपिंग टाइम सिग्मा-अलजेब्रा के सरल निरूपण पर". Statistics and Probability Letters. 83 (1): 345–349. arXiv:1112.1603. doi:10.1016/j.spl.2012.09.024.
- Øksendal, Bernt K. (2003). Stochastic Differential Equations: An Introduction with Applications. Berlin: Springer. ISBN 978-3-540-04758-2.