मूल्यांकन (माप सिद्धांत)

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

डोमेन/माप सिद्धांत परिभाषा

होने देना $\scriptstyle (X,{\mathcal {T}})$ एक टोपोलॉजिकल स्पेस बनें: एक मूल्यांकन कोई भी फ़ंक्शन सेट करें है

$$v:{\mathcal {T}}\to \mathbb {R} ^{+}\cup \{+\infty \}$$

निम्नलिखित तीन गुणों को संतुष्ट करना

$${\begin{array}{lll}v(\varnothing )=0&&\scriptstyle {\text{Strictness property}}\\v(U)\leq v(V)&{\mbox{if}}~U\subseteq V\quad U,V\in {\mathcal {T}}&\scriptstyle {\text{Monotonicity property}}\\v(U\cup V)+v(U\cap V)=v(U)+v(V)&\forall U,V\in {\mathcal {T}}&\scriptstyle {\text{Modularity property}}\,\end{array}}$$

परिभाषा तुरंत मूल्यांकन और माप के बीच संबंध दिखाती है: दो गणितीय वस्तुओं के गुण अक्सर बहुत समान होते हैं यदि समान नहीं होते हैं, एकमात्र अंतर यह है कि माप का डोमेन दिए गए टोपोलॉजिकल स्पेस का बोरेल बीजगणित है, जबकि मूल्यांकन का डोमेन खुले सेटों का वर्ग है। अधिक विवरण और संदर्भ यहां पाए जा सकते हैं Alvarez-Manilla, Edalat & Saheb-Djahromi 2000 और Goubault-Larrecq 2005.

निरंतर मूल्यांकन

एक मूल्यांकन (जैसा कि डोमेन सिद्धांत/माप सिद्धांत में परिभाषित है) को निरंतर कहा जाता है यदि प्रत्येक निर्देशित परिवार के लिए $\scriptstyle \{U_{i}\}_{i\in I}$ खुले सेटों का (अर्थात् खुले सेटों का एक अनुक्रमित परिवार जो कि इस अर्थ में निर्देशित सेट भी है कि सूचकांकों की प्रत्येक जोड़ी के लिए) $i$ और $j$ सूचकांक सेट से संबंधित $I$, वहाँ एक सूचकांक मौजूद है $k$ ऐसा है कि $\scriptstyle U_{i}\subseteq U_{k}$ और $\scriptstyle U_{j}\subseteq U_{k}$) निम्नलिखित समानता (गणित) रखती है:

$$v\left(\bigcup _{i\in I}U_{i}\right)=\sup _{i\in I}v(U_{i}).$$

यह संपत्ति उपायों की τ-योजकता के अनुरूप है।

सरल मूल्यांकन

एक मूल्यांकन (जैसा कि डोमेन सिद्धांत/माप सिद्धांत में परिभाषित किया गया है) को सरल कहा जाता है यदि यह गैर-नकारात्मक संख्या के साथ एक परिमित सेट रैखिक संयोजन है | कैल्यूएशन (माप सिद्धांत) के गैर-नकारात्मक गुणांक#डिराक मूल्यांकन, अर्थात,

$$v(U)=\sum _{i=1}^{n}a_{i}\delta _{x_{i}}(U)\quad \forall U\in {\mathcal {T}}$$

कहाँ $a_{i}$ सभी सूचकांकों के लिए हमेशा शून्य से अधिक या कम से कम उसके बराबर होता है $i$. उपरोक्त अर्थ में सरल मूल्यांकन स्पष्ट रूप से निरंतर हैं। सरल मूल्यांकनों के एक निर्देशित परिवार का सर्वोच्च (अर्थात सरल मूल्यांकनों का एक अनुक्रमित परिवार जो इस अर्थ में भी निर्देशित होता है कि सूचकांकों की प्रत्येक जोड़ी के लिए) $i$ और $j$ सूचकांक सेट से संबंधित $I$, वहाँ एक सूचकांक मौजूद है $k$ ऐसा है कि $\scriptstyle v_{i}(U)\leq v_{k}(U)\!$ और $\scriptstyle v_{j}(U)\leq v_{k}(U)\!$) को अर्ध-सरल मूल्यांकन कहा जाता है

$${\bar {v}}(U)=\sup _{i\in I}v_{i}(U)\quad \forall U\in {\mathcal {T}}.\,$$

यह भी देखें

• किसी दिए गए मूल्यांकन के लिए विस्तार समस्या (डोमेन सिद्धांत/माप सिद्धांत के अर्थ में) यह पता लगाना शामिल है कि किस प्रकार की परिस्थितियों में इसे उचित टोपोलॉजिकल स्पेस पर माप तक बढ़ाया जा सकता है, जो वही स्थान हो भी सकता है और नहीं भी इसे परिभाषित किया गया है: कागजात Alvarez-Manilla, Edalat & Saheb-Djahromi 2000 और Goubault-Larrecq 2005संदर्भ अनुभाग में इस उद्देश्य के लिए समर्पित हैं और कई ऐतिहासिक विवरण भी देते हैं।
• [[उत्तल सबसेट]]ों पर मूल्यांकन और [[ कई गुना ]] पर मूल्यांकन की अवधारणाएं डोमेन सिद्धांत/माप सिद्धांत के अर्थ में मूल्यांकन का एक सामान्यीकरण हैं। उत्तल सेटों पर एक मूल्यांकन को जटिल संख्या मानने की अनुमति है, और अंतर्निहित टोपोलॉजिकल स्पेस एक परिमित-आयामी वेक्टर स्थान के गैर-रिक्त सेट | गैर-रिक्त उत्तल कॉम्पैक्ट उपसमुच्चय का सेट है: मैनिफोल्ड्स पर एक मूल्यांकन एक जटिल मूल्यवान परिमित योगात्मक है दिए गए मैनिफोल्ड के सभी कॉम्पैक्ट सबमैनिफोल्ड के वर्ग (गणित) के एक उचित उपसमूह पर परिभाषित माप।

उदाहरण

डिराक मूल्यांकन

होने देना $\scriptstyle (X,{\mathcal {T}})$ एक टोपोलॉजिकल स्पेस बनें, और रहने दें$x$का एक बिंदु हो$X$: वो नक्शा

$$\delta _{x}(U)={\begin{cases}0&{\mbox{if}}~x\notin U\\1&{\mbox{if}}~x\in U\end{cases}}\quad {\text{ for all }}U\in {\mathcal {T}}$$

डोमेन सिद्धांत/माप सिद्धांत में एक मूल्यांकन है, जिसे पॉल डिराक मूल्यांकन कहा जाता है। इस अवधारणा की उत्पत्ति वितरण (गणित) से हुई है क्योंकि यह डिराक वितरण के मूल्यांकन सिद्धांत का एक स्पष्ट स्थानान्तरण है: जैसा कि ऊपर देखा गया है, डिराक मूल्यांकन ईंटें हैं #सरल मूल्यांकन से बने होते हैं।

यह भी देखें

• Valuation (geometry)

उद्धृत कार्य

• 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