धनात्मक रैखिक फलनात्मक

गणित में, विशेष रूप से कार्यात्मक विश्लेषण में, एक क्रमबद्ध सदिश स्थान $$(V, \leq)$$ पर एक सकारात्मक रैखिक कार्यात्मक, पर एक रैखिक कार्यात्मक $$f$$ है जिससे सभी सकारात्मक अवयव $$v \in V,$$ अथार्त कि $$v \geq 0,$$ के लिए यह माना जा सकता है कि $$f(v) \geq 0.$$ दूसरे शब्दों में, एक सकारात्मक रैखिक कार्यात्मकता को सकारात्मक अवयव के लिए गैर-ऋणात्मक मान लेने की आश्वासन दी जाती है। जो कि सकारात्मक रैखिक कार्यात्मकताओं का महत्व रिज़्ज़-मार्कोव-काकुतानी प्रतिनिधित्व प्रमेय जैसे परिणामों में निहित है।

जब $$V$$ एक सम्मिश्र सदिश समष्टि है, तो यह माना जाता है कि सभी $$v\ge0,$$ के लिए $$f(v)$$ वास्तविक है। जैसा कि उस स्थिति में जब $$V$$ एक C*-बीजगणित है जिसमें स्व-सहायक अवयव का आंशिक रूप से क्रमबद्ध उप-स्थान होता है, कभी-कभी आंशिक क्रम केवल एक उप-स्थान $$W\subseteq V,$$ पर रखा जाता है और आंशिक क्रम पूरे $$V,$$ तक विस्तारित नहीं होता है, जिसमें यदि संकेतन के दुरुपयोग से $$V,$$ के सकारात्मक तत्व $$W,$$ के सकारात्मक तत्व हैं। इसका तात्पर्य यह है कि C*-बीजगणित के लिए, एक सकारात्मक रैखिक कार्यात्मक किसी भी $$x \in V$$ को किसी वास्तविक संख्या में कुछ $$s \in V$$ के लिए $$s^{\ast}s$$ के समान भेजता है, जो इसके सम्मिश्र संयुग्म के समान है, और इसलिए सभी सकारात्मक रैखिक कार्यात्मक ऐसे $$x.$$ की स्व-संयुक्तता को सुरक्षित रखें। C*-बीजगणित पर सकारात्मक रैखिक कार्यात्मकताओं को आंतरिक उत्पादों से जोड़ने के लिए जीएनएस निर्माण में इस गुण का उपयोग किया जाता है।

सभी सकारात्मक रैखिक कार्यात्मकताओं की निरंतरता के लिए पर्याप्त नियम
क्रमबद्ध टोपोलॉजिकल सदिश रिक्त स्थान का एक तुलनात्मक रूप से बड़ा वर्ग है जिस पर प्रत्येक सकारात्मक रैखिक रूप आवश्यक रूप से निरंतर है।

इसमें सभी टोपोलॉजिकल सदिश जालक सम्मिलित हैं जो अनुक्रमिक रूप से पूर्ण टोपोलॉजिकल सदिश स्पेस हैं।

प्रमेय मान लीजिए कि $$X$$ सकारात्मक शंकु $$C \subseteq X$$ के साथ एक क्रमबद्ध टोपोलॉजिकल सदिश समष्टि है और मान लीजिए कि $$\mathcal{B} \subseteq \mathcal{P}(X)$$

फिर निम्नलिखित में से प्रत्येक नियम यह आश्वासन देने के लिए पर्याप्त है कि $$X.$$ पर प्रत्येक सकारात्मक रैखिक कार्यात्मकता निरंतर है:
 * 1) $$C$$ इसमें गैर-खाली टोपोलॉजिकल इंटीरियर (इंच) $$X$$ है
 * 2) $$X$$ पूर्ण स्थान और मेट्रिज़ेबल और $$X = C - C.$$ है
 * 3) X बोर्नोलॉजिकल स्पेस है और $$C$$ $$X.$$ में एक अर्ध-पूर्ण सख्त $$\mathcal{B}$$ -शंकु है।
 * 4) $$X$$, सकारात्मक रैखिक मानचित्रों के वर्ग के संबंध में आदेशित फ़्रेचेट रिक्त स्थान के वर्ग $$\left(X_{\alpha} \right)_{\alpha \in A}$$ की आगमनात्मक सीमा है, जहां सभी $$X_{\alpha} = C_{\alpha} - C_{\alpha}$$ के लिए $$\alpha \in A,$$ है, जहां $$C_{\alpha}$$ $$X_{\alpha}.$$ का सकारात्मक शंकु है।

निरंतर सकारात्मक विस्तार
निम्नलिखित प्रमेय एच. बाउर और स्वतंत्र रूप से नामियोका के कारण है।


 * प्रमेय: मान लीजिए कि $$X$$ सकारात्मक शंकु के साथ एक क्रमबद्ध टोपोलॉजिकल सदिश स्पेस (टीवीएस) है $$C,$$ मान लीजिए कि $$M$$, $$E,$$ का एक सदिश उपसमष्टि है और मान लीजिए कि $$f$$, $$M.$$ पर एक रैखिक रूप है, तो $$f$$ के पास $$X$$ पर एक सतत सकारात्मक रैखिक रूप का विस्तार है, यदि और केवल यदि X में $$0$$ का कुछ उत्तल निकट U उपस्थित है इस प्रकार कि $$\operatorname{Re} f$$ ऊपर $$M \cap (U - C).$$ पर परिबद्ध है।
 * परिणाम: मान लीजिए कि $$X$$ सकारात्मक शंकु के साथ एक क्रमबद्ध टोपोलॉजिकल सदिश स्थान है $$C,$$ मान लीजिए $$M$$, $$E.$$ का एक सदिश उपसमष्टि है। यदि $$C \cap M$$ में $$C$$ का आंतरिक बिंदु है तो $$M$$ पर प्रत्येक सतत सकारात्मक रैखिक रूप का $$X.$$ पर सतत सकारात्मक रैखिक रूप का विस्तार होता है।
 * परिणाम: मान लीजिए कि $$X$$ सकारात्मक शंकु के साथ एक क्रमित सदिश समष्टि है $$C,$$  मान लीजिए कि $$M$$, $$E,$$ का एक सदिश उपसमष्टि है और मान लीजिए कि $$f$$, $$M.$$का एक रैखिक रूप है तब $$f$$ के पास $$X$$ पर एक सकारात्मक रैखिक रूप का विस्तार होता है यदि और केवल यदि $$X$$ में कुछ उत्तल अवशोषक उपसमुच्चय $$W$$ उपस्थित होता है जिसमें $$X$$ की उत्पत्ति होती है जैसे कि $$\operatorname{Re} f$$ ऊपर $$M \cap (W - C).$$ से घिरा होता है।
 * परिणाम: मान लीजिए कि $$X$$ सकारात्मक शंकु के साथ एक क्रमित सदिश समष्टि है $$C,$$  मान लीजिए कि $$M$$, $$E,$$ का एक सदिश उपसमष्टि है और मान लीजिए कि $$f$$, $$M.$$का एक रैखिक रूप है तब $$f$$ के पास $$X$$ पर एक सकारात्मक रैखिक रूप का विस्तार होता है यदि और केवल यदि $$X$$ में कुछ उत्तल अवशोषक उपसमुच्चय $$W$$ उपस्थित होता है जिसमें $$X$$ की उत्पत्ति होती है जैसे कि $$\operatorname{Re} f$$ ऊपर $$M \cap (W - C).$$ से घिरा होता है।

प्रमाण: यह $$X$$ को उत्तम स्थानीय उत्तल टोपोलॉजी प्रदान करने के लिए पर्याप्त है, जिससे $$W$$ को $$0 \in X.$$ के निकट में बनाया जा सकता है।

उदाहरण
$$V,$$ के उदाहरण के रूप में, सम्मिश्र वर्ग आव्यूहों के C*-बीजगणित पर विचार करें, जिसमें सकारात्मक तत्व सकारात्मक-निश्चित आव्यूह हैं। इस C*-बीजगणित पर परिभाषित ट्रेस फ़ंक्शन एक सकारात्मक कार्यात्मक है, क्योंकि किसी भी सकारात्मक-निश्चित मैट्रिक्स के आइजेनवैल्यू सकारात्मक हैं, और इसलिए इसका ट्रेस सकारात्मक है।

स्थानीय रूप से कॉम्पैक्ट हॉसडॉर्फ स्पेस $$X.$$पर कॉम्पैक्ट समर्थन के सभी निरंतर जटिल-मूल्य वाले कार्यों के रीज़ स्पेस $$\mathrm{C}_{\mathrm{c}}(X)$$ पर विचार करें। जो कि $$X.$$ पर एक बोरेल नियमित माप $$\mu$$ और द्वारा परिभाषित एक कार्यात्मक $$\psi$$ पर विचार करें $$\psi(f) = \int_X f(x) d \mu(x) \quad \text{ for all } f \in \mathrm{C}_{\mathrm{c}}(X).$$ फिर, यह कार्यात्मक सकारात्मक है (किसी भी सकारात्मक फ़ंक्शन का अभिन्न अंग एक सकारात्मक संख्या है)। इसके अलावा, इस स्थान पर किसी भी सकारात्मक कार्यात्मकता का यह रूप होता है, जैसा कि रिज़्ज़-मार्कोव-काकुतानी प्रतिनिधित्व प्रमेय से निम्नानुसार है।

सकारात्मक रैखिक कार्यात्मक (सी*-बीजगणित)
मान लीजिए कि M एक C*-बीजगणित है (अधिक सामान्यतः, C*-बीजगणित A में एक ऑपरेटर प्रणाली) जिसकी पहचान 1 है। मान लीजिए कि $$M^+$$ $$M.$$ में सकारात्मक अवयव के सेट को दर्शाता है।

$$M$$ पर एक रैखिक कार्यात्मक $$\rho$$ को सकारात्मक कहा जाता है यदि सभी $$a \in M^+.$$ के लिए $$\rho(a) \geq 0,$$ है।

प्रमेय. $$M$$ पर एक रैखिक कार्यात्मक $$\rho$$ सकारात्मक है यदि और केवल यदि $$\rho$$ घिरा हुआ है और $$\|\rho\| = \rho(1).$$ है।

कॉची-श्वार्ज़ असमानता
$$\rho$$ C*-बीजगणित $$A,$$ पर एक सकारात्मक रैखिक कार्यात्मक है, तो कोई $$A,$$ पर एक अर्धनिश्चित सेसक्विलिनियर रूप को $$\langle a,b\rangle = \rho(b^{\ast}a).$$ द्वारा परिभाषित कर सकता है, इस प्रकार कॉची-श्वार्ज़ असमानता से हमारे पास है $$\left|\rho(b^{\ast}a)\right|^2 \leq \rho(a^{\ast}a) \cdot \rho(b^{\ast}b).$$

अर्थशास्त्र में अनुप्रयोग
स्थान $$C$$ को देखते हुए, एक मूल्य प्रणाली को $$C$$ पर एक सतत, सकारात्मक, रैखिक कार्यात्मक के रूप में देखा जा सकता है।

ग्रन्थसूची

 * Kadison, Richard, Fundamentals of the Theory of Operator Algebras, Vol. I : Elementary Theory, American Mathematical Society. ISBN 978-0821808191.