मूल्यांकन (माप सिद्धांत): Difference between revisions
Line 1: | Line 1: | ||
[[माप सिद्धांत]] में, या कम से कम [[डोमेन सिद्धांत]] के माध्यम से इसके दृष्टिकोण में, एक मूल्यांकन एक [[टोपोलॉजिकल स्पेस]] के विवृत समुच्चयों के वर्ग से लेकर अपरिमित सहित धनात्मक वास्तविक संख्याओं के समुच्चय तक का एक प्रतिचित्र है, जिसमें कुछ गुण होते हैं। यह एक माप से निकटता से संबंधित अवधारणा है, और इस तरह, यह माप सिद्धांत, संभाव्यता सिद्धांत और [[सैद्धांतिक कंप्यूटर विज्ञान]] में अनुप्रयोग पाता है। | [[माप सिद्धांत]] में, या कम से कम [[डोमेन सिद्धांत]] के माध्यम से इसके दृष्टिकोण में, एक '''मूल्यांकन''' एक [[टोपोलॉजिकल स्पेस]] के विवृत समुच्चयों के वर्ग से लेकर अपरिमित सहित धनात्मक वास्तविक संख्याओं के समुच्चय तक का एक प्रतिचित्र है, जिसमें कुछ गुण होते हैं। यह एक माप से निकटता से संबंधित अवधारणा है, और इस तरह, यह माप सिद्धांत, संभाव्यता सिद्धांत और [[सैद्धांतिक कंप्यूटर विज्ञान]] में अनुप्रयोग पाता है। | ||
==डोमेन/माप सिद्धांत परिभाषा== | ==डोमेन/माप सिद्धांत परिभाषा== | ||
Line 13: | Line 13: | ||
===निरंतर मूल्यांकन=== | ===निरंतर मूल्यांकन=== | ||
एक मूल्यांकन (जैसा कि डोमेन सिद्धांत/माप सिद्धांत में परिभाषित किया गया है) को खुले सेटों के प्रत्येक निर्देशित परिवार <math> \scriptstyle \{U_i\}_{i\in I} </math> के लिए निरंतर कहा जाता है (यानी खुले सेटों का एक [[अनुक्रमित परिवार]] जो इस अर्थ में भी निर्देशित होता है कि प्रत्येक जोड़ी सूचकांक के लिए) <math>i</math> और <math>j</math> [[सूचकांक सेट]] <math> I </math> से संबंधित हैं, एक सूचकांक <math>k</math> मौजूद है जैसे कि <math>\scriptstyle U_i\subseteq U_k</math> और <math>\scriptstyle U_j\subseteq U_k</math> निम्नलिखित समानता रखते हैं: | एक मूल्यांकन (जैसा कि डोमेन सिद्धांत/माप सिद्धांत में परिभाषित किया गया है) को खुले सेटों के प्रत्येक निर्देशित परिवार <math> \scriptstyle \{U_i\}_{i\in I} </math> के लिए '''निरंतर''' कहा जाता है (यानी खुले सेटों का एक [[अनुक्रमित परिवार]] जो इस अर्थ में भी निर्देशित होता है कि प्रत्येक जोड़ी सूचकांक के लिए) <math>i</math> और <math>j</math> [[सूचकांक सेट|सूचकांक समुच्चय]] <math> I </math> से संबंधित हैं, एक सूचकांक <math>k</math> मौजूद है जैसे कि <math>\scriptstyle U_i\subseteq U_k</math> और <math>\scriptstyle U_j\subseteq U_k</math> निम्नलिखित समानता रखते हैं: | ||
<math display="block">v\left(\bigcup_{i\in I}U_i\right) = \sup_{i\in I} v(U_i).</math>यह गुण मापों की τ-योगात्मकता के अनुरूप है। | <math display="block">v\left(\bigcup_{i\in I}U_i\right) = \sup_{i\in I} v(U_i).</math>यह गुण मापों की τ-योगात्मकता के अनुरूप है। | ||
===सरल मूल्यांकन=== | ===सरल मूल्यांकन=== | ||
एक मूल्यांकन (जैसा कि डोमेन सिद्धांत/माप सिद्धांत में परिभाषित किया गया है) को सरल कहा जाता है यदि यह डायराक मूल्यांकन के ऋणेतर गुणांक के साथ एक सीमित [[रैखिक संयोजन]] है, अर्थात,<math display=block>v(U)=\sum_{i=1}^n a_i\delta_{x_i}(U)\quad\forall U\in\mathcal{T}</math> | एक मूल्यांकन (जैसा कि डोमेन सिद्धांत/माप सिद्धांत में परिभाषित किया गया है) को '''सरल''' कहा जाता है यदि यह डायराक मूल्यांकन के ऋणेतर गुणांक के साथ एक सीमित [[रैखिक संयोजन]] है, अर्थात,<math display=block>v(U)=\sum_{i=1}^n a_i\delta_{x_i}(U)\quad\forall U\in\mathcal{T}</math> | ||
जहां <math>a_i</math> हमेशा सभी सूचकांक <math>i</math> के लिए शून्य से अधिक या कम से कम बराबर होता है। सरल मूल्यांकन स्पष्ट रूप से उपरोक्त अर्थ में निरंतर हैं। सरल मूल्यांकनों के एक निर्देशित परिवार का सर्वोच्च (अर्थात् सरल मूल्यांकनों का एक अनुक्रमित परिवार जो इस अर्थ में भी निर्देशित है कि सूचकांकों की प्रत्येक जोड़ी के लिए <math>i</math>और <math>j</math> सूचकांक | जहां <math>a_i</math> हमेशा सभी सूचकांक <math>i</math> के लिए शून्य से अधिक या कम से कम बराबर होता है। सरल मूल्यांकन स्पष्ट रूप से उपरोक्त अर्थ में निरंतर हैं। सरल मूल्यांकनों के एक निर्देशित परिवार का सर्वोच्च (अर्थात् सरल मूल्यांकनों का एक अनुक्रमित परिवार जो इस अर्थ में भी निर्देशित है कि सूचकांकों की प्रत्येक जोड़ी के लिए <math>i</math>और <math>j</math> सूचकांक समुच्चय <math> I </math> से संबंधित हैं, एक सूचकांक <math>k</math> मौजूद है जैसे कि <math>\scriptstyle v_i(U)\leq v_k(U)\!</math> को '''अर्ध-सरल मूल्यांकन''' कहा जाता है।<math display="block">\bar{v}(U) = \sup_{i\in I}v_i(U) \quad \forall U\in \mathcal{T}.\,</math> | ||
===यह भी देखें=== | ===यह भी देखें=== | ||
* | * दिए गए मूल्यांकन के लिए '''विस्तार समस्या''' (डोमेन सिद्धांत/माप सिद्धांत के अर्थ में) इसमें यह पता लगाना शामिल है कि किस प्रकार की स्थितियों के तहत इसे उचित टोपोलॉजिकल स्पेस पर एक माप तक बढ़ाया जा सकता है, जो वही स्थान हो भी सकता है और नहीं भी जहां इसे परिभाषित किया गया है: संदर्भ अनुभाग में अल्वारेज़-मनिला, एडलाट और साहेब-जहरोमी 2000 और गौबॉल्ट-लारेक 2005 के पेपर इस उद्देश्य के लिए समर्पित हैं और कई ऐतिहासिक विवरण भी देते हैं। | ||
* | *'''उत्तल समुच्चय पर मूल्यांकन''' और '''मैनिफ़ोल्ड पर मूल्यांकन''' की अवधारणाएं डोमेन/माप सिद्धांत के अर्थ में मूल्यांकन का एक सामान्यीकरण हैं। उत्तल सेटों पर एक मूल्यांकन को जटिल मूल्यों को मानने की अनुमति है, और अंतर्निहित टोपोलॉजिकल स्पेस एक परिमित-आयामी वेक्टर स्पेस के गैर-खाली उत्तल कॉम्पैक्ट उपसमुच्चय का समुच्चय है: मैनिफोल्ड्स पर मूल्यांकन एक जटिल-मूल्यवान परिमित रूप से योगात्मक माप है जो दिए गए मैनिफोल्ड्स के सभी [[कॉम्पैक्ट सबमैनिफोल्ड]] के वर्ग के एक उचित उपसमुच्चय पर परिभाषित किया गया है।{{efn|Details can be found in several [[arXiv]] [https://arxiv.org/find/grp_q-bio,grp_cs,grp_physics,grp_math,grp_nlin/1/AND+au:+Alesker+ti:+Valuations/0/1/0/all/0/1 papers] of prof. Semyon Alesker.}} | ||
==उदाहरण== | ==उदाहरण== | ||
===डिराक मूल्यांकन=== | ===डिराक मूल्यांकन=== | ||
मान लीजिए <math> \scriptstyle (X,\mathcal{T})</math> एक टोपोलॉजिकल स्पेस है, और मान लीजिए कि <math>x</math>, <math>X</math> का एक बिंदु है: यह प्रतिचित्र <math display=block>\delta_x(U)= | |||
<math display=block>\delta_x(U)= | |||
\begin{cases} | \begin{cases} | ||
0 & \mbox{if}~x\notin U\\ | 0 & \mbox{if}~x\notin U\\ |
Revision as of 09:02, 9 July 2023
माप सिद्धांत में, या कम से कम डोमेन सिद्धांत के माध्यम से इसके दृष्टिकोण में, एक मूल्यांकन एक टोपोलॉजिकल स्पेस के विवृत समुच्चयों के वर्ग से लेकर अपरिमित सहित धनात्मक वास्तविक संख्याओं के समुच्चय तक का एक प्रतिचित्र है, जिसमें कुछ गुण होते हैं। यह एक माप से निकटता से संबंधित अवधारणा है, और इस तरह, यह माप सिद्धांत, संभाव्यता सिद्धांत और सैद्धांतिक कंप्यूटर विज्ञान में अनुप्रयोग पाता है।
डोमेन/माप सिद्धांत परिभाषा
मान लीजिए एक टोपोलॉजिकल स्पेस है: एक मूल्यांकन कोई भी निर्धारित फ़ंक्शन है
निरंतर मूल्यांकन
एक मूल्यांकन (जैसा कि डोमेन सिद्धांत/माप सिद्धांत में परिभाषित किया गया है) को खुले सेटों के प्रत्येक निर्देशित परिवार के लिए निरंतर कहा जाता है (यानी खुले सेटों का एक अनुक्रमित परिवार जो इस अर्थ में भी निर्देशित होता है कि प्रत्येक जोड़ी सूचकांक के लिए) और सूचकांक समुच्चय से संबंधित हैं, एक सूचकांक मौजूद है जैसे कि और निम्नलिखित समानता रखते हैं:
सरल मूल्यांकन
एक मूल्यांकन (जैसा कि डोमेन सिद्धांत/माप सिद्धांत में परिभाषित किया गया है) को सरल कहा जाता है यदि यह डायराक मूल्यांकन के ऋणेतर गुणांक के साथ एक सीमित रैखिक संयोजन है, अर्थात,
जहां हमेशा सभी सूचकांक के लिए शून्य से अधिक या कम से कम बराबर होता है। सरल मूल्यांकन स्पष्ट रूप से उपरोक्त अर्थ में निरंतर हैं। सरल मूल्यांकनों के एक निर्देशित परिवार का सर्वोच्च (अर्थात् सरल मूल्यांकनों का एक अनुक्रमित परिवार जो इस अर्थ में भी निर्देशित है कि सूचकांकों की प्रत्येक जोड़ी के लिए और सूचकांक समुच्चय से संबंधित हैं, एक सूचकांक मौजूद है जैसे कि को अर्ध-सरल मूल्यांकन कहा जाता है।
यह भी देखें
- दिए गए मूल्यांकन के लिए विस्तार समस्या (डोमेन सिद्धांत/माप सिद्धांत के अर्थ में) इसमें यह पता लगाना शामिल है कि किस प्रकार की स्थितियों के तहत इसे उचित टोपोलॉजिकल स्पेस पर एक माप तक बढ़ाया जा सकता है, जो वही स्थान हो भी सकता है और नहीं भी जहां इसे परिभाषित किया गया है: संदर्भ अनुभाग में अल्वारेज़-मनिला, एडलाट और साहेब-जहरोमी 2000 और गौबॉल्ट-लारेक 2005 के पेपर इस उद्देश्य के लिए समर्पित हैं और कई ऐतिहासिक विवरण भी देते हैं।
- उत्तल समुच्चय पर मूल्यांकन और मैनिफ़ोल्ड पर मूल्यांकन की अवधारणाएं डोमेन/माप सिद्धांत के अर्थ में मूल्यांकन का एक सामान्यीकरण हैं। उत्तल सेटों पर एक मूल्यांकन को जटिल मूल्यों को मानने की अनुमति है, और अंतर्निहित टोपोलॉजिकल स्पेस एक परिमित-आयामी वेक्टर स्पेस के गैर-खाली उत्तल कॉम्पैक्ट उपसमुच्चय का समुच्चय है: मैनिफोल्ड्स पर मूल्यांकन एक जटिल-मूल्यवान परिमित रूप से योगात्मक माप है जो दिए गए मैनिफोल्ड्स के सभी कॉम्पैक्ट सबमैनिफोल्ड के वर्ग के एक उचित उपसमुच्चय पर परिभाषित किया गया है।[lower-alpha 1]
उदाहरण
डिराक मूल्यांकन
मान लीजिए एक टोपोलॉजिकल स्पेस है, और मान लीजिए कि , का एक बिंदु है: यह प्रतिचित्र
यह भी देखें
टिप्पणियाँ
उद्धृत कार्य
- Alvarez-Manilla, Maurizio; Edalat, Abbas; Saheb-Djahromi, Nasser (2000), "An extension result for continuous valuations", Journal of the London Mathematical Society, 61 (2): 629–640, CiteSeerX 10.1.1.23.9676, doi:10.1112/S0024610700008681.
- Goubault-Larrecq, Jean (2005), "Extensions of valuations", Mathematical Structures in Computer Science, 15 (2): 271–297, doi:10.1017/S096012950400461X
बाहरी संबंध
- Alesker, Semyon, "various preprints on valuation s", arXiv preprint server, primary site at Cornell University. Several papers dealing with valuations on convex sets, valuations on manifolds and related topics.
- The nLab page on valuations