View source for प्रक्षेपण-मूल्यांकन माप

{{Short description|Mathematical operator-value measure of interest in quantum mechanics and functional analysis}}
गणित में, विशेष रूप से [[कार्यात्मक विश्लेषण]] में, एक प्रक्षेप-मान माप (पीवीएम) एक निश्चित सेट के कुछ उपसमुच्चय पर परिभाषित एक फलन है और जिसका मान एक निश्चित [[Index.php?title=हिल्बर्ट समष्‍टि|हिल्बर्ट समष्‍टि]] पर स्व-आसन्न [[प्रक्षेपण (गणित)|प्रक्षेप (गणित)]] है। प्रक्षेप-मान माप औपचारिक रूप से वास्तविक-मान माप (गणित) के समान हैं, सिवाय इसके कि उनके मान वास्तविक संख्या के अतिरिक्त स्व-संलग्न अनुमान हैं। सामान्य मापों कि स्थिति में, पीवीएम के संबंध में जटिल-मान कार्यों को एकीकृत करना संभव है; इस तरह के एकीकरण का नतीजा दिए गए हिल्बर्ट समष्‍टि पर एक  रैखिक संकारक है।

प्रक्षेप-मान मापों का उपयोग वरणक्रमीय सिद्धांत में परिणाम व्यक्त करने के लिए किया जाता है, जैसे स्व-संलग्न संकारक के लिए महत्वपूर्ण [[Index.php?title=वर्णक्रमीय प्रमेय|वर्णक्रमीय प्रमेय]] पीवीएम के संबंध में समाकल का उपयोग करके स्व-संलग्न संकारक के लिए [[बोरेल कार्यात्मक कलन]] का निर्माण किया गया है। [[क्वांटम यांत्रिकी]] में, पीवीएम [[क्वांटम माप]]न का गणितीय वर्णन है।{{clarify|reason=Is this a novel term? It's not defined in the linked article.|date=May 2015}} वे [[POVM]] (POVMs) द्वारा उसी अर्थ में सामान्यीकृत किए जाते हैं कि एक [[मिश्रित अवस्था (भौतिकी)]] या [[घनत्व मैट्रिक्स]] एक [[शुद्ध अवस्था]] की धारणा को सामान्य करता है।

== औपचारिक परिभाषा ==

एक प्रक्षेप-मान माप <math>\pi</math> [[मापने योग्य स्थान|मापने योग्य समष्‍टि]] पर
 <math>(X, M)</math>, जहाँ <math>M</math> के उपसमुच्चय का σ-बीजगणित है <math>X</math>, एक फलन (गणित) है <math>M</math> हिल्बर्ट समष्‍टि पर स्वसंलग्न [[प्रोजेक्शन ऑपरेटर|प्रक्षेप सक्रियक]] के सेट के लिए <math>H</math> (अर्थात लंबकोणीय प्रक्षेप) ऐसा है

: <math>
\pi(X) = \operatorname{id}_H \quad 
</math>
(जहाँ <math>\operatorname{id}_H</math> का [[ पहचान ऑपरेटर | पहचान सक्रियक]] है <math>H</math>) और प्रत्येक के लिए <math>\xi,\eta\in H</math>, निम्न कार्य <math>M \to \mathbb C</math>
:<math> 
E \mapsto \langle \pi(E)\xi \mid \eta \rangle 
</math>
पर एक [[जटिल उपाय|जटिल माप]]  <math>M</math>(अर्थात, एक जटिल-मान [[ सिग्मा योगात्मकता ]] फलन) है।

हम इस माप को निरूपित करते हैं
 <math>\operatorname{S}_\pi(\xi, \eta)</math>.

ध्यान दें कि <math>\operatorname{S}_\pi(\xi, \xi)</math> एक वास्तविक-मान माप है, और एक प्रायिकता माप जब <math>\xi</math> लंबाE एक है।

यदि <math>\pi</math> एक प्रक्षेप-मान माप है और

: <math>
E \cap F = \emptyset,
</math>
फिर छवियां <math>\pi(E)</math>, <math>\pi(F)</math> एक दूसरे के लिए [[Index.php?title=लंबकोणीय|लंबकोणीय]] हैं। इससे यह पता चलता है कि सामान्य तौर पर,

: <math>
 \pi(E) \pi(F) = \pi(E \cap F) =  \pi(F) \pi(E), 
</math>
और वे परिवर्तित करते हैं।

उदाहरण:- कल्पना करना <math>(X, M, \mu)</math> एक माप समष्‍टि है। माना, हर मापने योग्य उपसमुच्चय के लिए <math>E</math> में <math>M</math>, 
:<math>
\pi(E) : L^2(\mu) \to L^2 (\mu): 
\psi \mapsto \chi_E \psi
</math>
[[सूचक समारोह]] द्वारा गुणन के संचालिका बनें <math>1_E</math> समष्‍टि पर  ''L''<sup>2</sup>(''X''). तब <math>\pi</math> एक प्रक्षेप-मान माप है। उदाहरण के लिए, यदि <math>X = \mathbb{R}</math>, <math>E = (0,1)</math>, और <math>\phi,\psi \in L^2(\mathbb{R})</math> इसके बाद संबंधित जटिल माप है ,<math>S_{(0,1)}(\phi,\psi)</math> जो एक मापने योग्य कार्य करता है <math>f: \mathbb{R} \to \mathbb{R}</math> और समाकल देता है <math>S_{(0,1)}(\phi,\psi)(f) = \int_{(0,1)}f(x)\psi(x)\overline{\phi}(x)dx</math>

== प्रक्षेप-मान मापों, अभिन्न और वर्णक्रमीय प्रमेय का विस्तार ==

यदि {{pi}} मापने योग्य समष्‍टि (''X'', ''M'') पर प्रक्षेप-मान माप है, फिर मैप

: <math>
 \chi_E \mapsto \pi(E)
</math>
''X''  पर सोपान फलन के सदिश समष्‍टि पर एक रैखिक मैप तक फैला हुआ है। वास्तव में, यह जांचना आसान है कि यह मैप एक रिंग समरूपता है। यह मैप X पर सभी बंधे हुए जटिल-मान औसत दर्जे के कार्यों के लिए एक विहित तरीके से फैला हुआ है, और हमारे पास निम्नलिखित हैं:

'प्रमेय' X पर किसी भी बंधे ''M''-मापने योग्य फलन f के लिए, एक अद्वितीय बाध्य  रैखिक संकारक सम्मलित है
:<math>
\mathrm T_\pi (f) : H \to H
</math>
ऐसा है कि
: <math>
 \langle \operatorname{T}_\pi(f) \xi \mid  \eta \rangle =
 \int_X f \ d \operatorname{S}_\pi (\xi,\eta) 
</math>
सभी के लिए <math> \xi,\eta \in H, </math> जहाँ <math> \operatorname{S}_\pi (\xi,\eta)</math> जटिल माप को दर्शाता है

:<math>E \mapsto \langle \pi(E)\xi \mid \eta \rangle </math>
की परिभाषा से <math>\pi</math>.

वो मैप

: <math> \mathcal{BM}(X,M) \to \mathcal L(H): 
f \mapsto \operatorname{T}_\pi(f)</math>
एक रिंग समरूपता है।

एक अभिन्न संकेतन अधिकांशत: के लिए  <math>\operatorname{T}_\pi(f)</math>, के रूप में प्रयोग किया जाता है:

: <math>\operatorname{T}_\pi(f)=\int_X f(x) \, d \pi(x) = \int_X f \, d \pi.</math>
प्रमेय असीमित औसत दर्जे के कार्य f के लिए भी सही है, लेकिन तब <math>\operatorname{T}_\pi(f)</math> हिल्बर्ट समष्‍टि ''H'' पर एक असीमित  रैखिक संकारक होगा।

[[वर्णक्रमीय प्रमेय]] कहता है कि प्रत्येक स्व-आसन्न संकारक <math>A:H\to H</math> एक संबद्ध प्रक्षेप-मान माप है <math>\pi_A</math> वास्तविक धुरी पर परिभाषित किया गया है, जैसे कि
:<math>A =\int_\mathbb{R} x \, d\pi_A(x).</math> है।
यह ऐसे संकारक के लिए बोरेल कार्यात्मक कलन को परिभाषित करने की अनुमति देता है: यदि <math>g:\mathbb{R}\to\mathbb{C}</math> एक मापने योग्य कार्य है, हम सेट करते हैं:
:<math>g(A) :=\int_\mathbb{R} g(x) \, d\pi_A(x).</math>


== प्रक्षेप-मान मापों की संरचना ==

पहले हम प्रत्यक्ष समाकलों पर आधारित प्रक्षेप-मान माप का एक सामान्य उदाहरण प्रदान करते हैं। मान लीजिए (X, M, μ) एक माप समष्‍टि है और {H<sub>''x''</sub>}<sub>''x'' ∈ ''X'' </sub> वियोज्य हिल्बर्ट समष्‍टि का एक μ-मापने योग्य श्रेणी बनें। प्रत्येक E ∈ M के लिए, मान लीजिए {{pi}}(E) 1 से गुणन का संचालक <sub>''E''</sub> हिल्बर्ट समष्‍टि पर है:

:<math> \int_X^\oplus H_x \ d \mu(x). </math>
तब {{pi}} (X, M) पर प्रक्षेप-मान माप है।

कल्पना करना {{pi}}, ρ H, K के अनुमानों में मानों के साथ (X, M) पर प्रक्षेप-मान माप हैं।   {{pi}}, ρ एकात्मक रूप से समतुल्य हैं यदि और केवल यदि एक एकात्मक संकारक ''U'':''H'' → ''K'' ऐसा है कि

:<math> \pi(E) = U^* \rho(E) U \quad </math>
हर ''E'' ∈ ''M'' के लिए है।

'प्रमेय' यदि (X, M) एक बोरेल बीजगणित # मानक बोरेल समष्‍टि और कुराटोस्की प्रमेय है, तो प्रत्येक प्रक्षेप-मान माप के लिए {{pi}} पर (X, M) एक वियोज्य हिल्बर्ट समष्‍टि के अनुमानों में मान लेते हुए, एक बोरेल माप μ और हिल्बर्ट समष्‍टि का एक μ-मापने योग्य श्रेणी है {H<sub>''x''</sub>}<sub>''x'' ∈ ''X'' </sub>, ऐसा है कि {{pi}} एकात्मक रूप से 1 से गुणा करने के समतुल्य <sub>''E''</sub> हिल्बर्ट समष्‍टि पर है:

:<math> \int_X^\oplus H_x \ d \mu(x). </math>
μ का माप वर्ग [स्पष्टीकरण आवश्यक] और बहुकता फलन x → मंद Hx का माप तुल्यता वर्ग पूरी तरह से एकात्मक तुल्यता तक प्रक्षेप-मान माप की विशेषता है।

एक प्रक्षेप-मान माप {{pi}} बहुकता n का सजातीय है यदि और केवल यदि बहुकता फलन का मान n स्थिर है। स्पष्ट रूप से,

'प्रमेय' को E प्रक्षेप-मान माप {{pi}} एक वियोज्य हिल्बर्ट समष्‍टि के अनुमानों में मान लेना सजातीय प्रक्षेप-मान मापों का एक लंबकोणीय प्रत्यक्ष योग है:

:<math> \pi = \bigoplus_{1 \leq n \leq \omega} (\pi \mid H_n) </math>
जहाँ

:<math> H_n = \int_{X_n}^\oplus H_x \ d (\mu \mid X_n) (x) </math>
और

:<math> X_n = \{x \in X: \dim H_x = n\}. </math>


== क्वांटम यांत्रिकी में अनुप्रयोग ==

क्वांटम यांत्रिकी में, एक हिल्बर्ट समष्‍टि H पर निरंतर अंतराकारिता के समष्‍टि के लिए मापने योग्य समष्‍टि X के प्रक्षेप मान माप को देखते हुए,

* हिल्बर्ट समष्‍टि H के प्रक्षेपात्मक समष्‍टि को क्वांटम प्रणाली के संभावित स्थिति Φ के सेट के रूप में व्याख्या किया गया है,
* मापने योग्य समष्‍टि X प्रणाली की कुछ क्वांटम संपत्ति के लिए मान समष्‍टि है (एक अवलोकन योग्य),
* प्रक्षेप-मान माप {{pi}} इस संभावना को व्यक्त करता है कि अवलोकनीय विभिन्न मानों पर ले जाता है।

X के लिए एक सामान्य वास्तविक रेखा है, लेकिन यह भी हो सकती है

* ''''R'''<sup>3</sup>  (तीन आयामों में स्थिति या संवेग के लिए),
* एक असतत सेट (कोणीय गति के लिए, एक बाध्य अवस्था की ऊर्जा, आदि),
* Φ के बारे में एक यादृच्छिक प्रस्ताव के सत्य-मान के लिए 2-बिंदु सेट सत्य और असत्य है।

बता दें कि E औसत दर्जे का समष्‍टि X और Φ H में एक सामान्यीकृत सदिश-स्थिति का एक औसत दर्जे का उपसमुच्चय है, जिससे कि इसका हिल्बर्ट मानदंड एकात्मक हो, ||Φ|| = 1. संभावना है कि अवलोकन योग्य उपसमुच्चय E में अपना मान लेता है, स्थिति Φ में प्रणाली दिया जाता है,

:<math>
 P_\pi(\varphi)(E) = \langle \varphi\mid\pi(E)(\varphi)\rangle = \langle \varphi|\pi(E)|\varphi\rangle,</math>
जहां भौतिकी में बाद वाले अंकन को प्राथमिकता दी जाती है।

इसका विश्लेषण हम दो प्रकार से कर सकते हैं।

सबसे पहले, प्रत्येक निश्चित E के लिए, प्रक्षेप {{pi}}(''E'') H पर एक स्व-संबद्ध संचालिका है जिसका 1-E इगेंससमष्‍टि Φ स्थिति है जिसके लिए अवलोकनीय का मान हमेशा E में निहित होता है, और जिसका 0-E इगेंससमष्‍टि स्थिति Φ है जिसके लिए अवलोकनीय का मान कभी झूठ नहीं होता E में,

दूसरा, प्रत्येक निश्चित सामान्यीकृत सदिश स्थिति के लिए <math>\psi</math>, संगठन

:<math>
P_\pi(\psi) :
E \mapsto  \langle\psi\mid\pi(E)\psi\rangle
</math>
प्रेक्षण योग्य के मानों को एक यादृच्छिक चर में बनाने पर X पर एक प्रायिकता माप है।

एक माप जो प्रक्षेप-मान माप द्वारा किया जा सकता है {{pi}} को प्रक्षेपी माप कहा जाता है।

यदि ''X'' वास्तविक संख्या रेखा है, तो इससे जुड़ा हुआ सम्मलित है {{pi}}, एक हर्मिटियन सक्रियक A द्वारा H पर परिभाषित किया गया है

:<math>A(\varphi) = \int_{\mathbf{R}} \lambda \,d\pi(\lambda)(\varphi),</math>
जो अधिक पठनीय रूप लेता है

:<math>A(\varphi) = \sum_i \lambda_i \pi({\lambda_i})(\varphi)</math>
यदि π का समर्थन R का असतत उपसमुच्चय है।

उपरोक्त सक्रियक A को वर्णक्रमीय माप से जुड़े अवलोकन योग्य कहा जाता है।

इस प्रकार प्राप्त किसी संकारक को क्वांटम यांत्रिकी में प्रेक्षणीय कहा जाता है।

== सामान्यीकरण ==
प्रक्षेप-मान माप का विचार सकारात्मक सक्रियक-मान माप (पीओवीएम) द्वारा सामान्यीकृत किया जाता है, जहां प्रक्षेप संकारक द्वारा निहित लंबकोणीयता की आवश्यकता को संकारक के एक सेट के विचार से बदल दिया जाता है जो एकता का गैर-लंबकोणीय विभाजन है।{{clarify|reason=Partition of unity in the operator sense is not defined in the article "partition of unity".|date=May 2015}}. यह सामान्यीकरण [[क्वांटम सूचना सिद्धांत]] के अनुप्रयोगों से प्रेरित है।

== यह भी देखें ==
* स्पेक्ट्रल प्रमेय
* [[कॉम्पैक्ट ऑपरेटरों का वर्णक्रमीय सिद्धांत|कॉम्पैक्ट संकारक का वर्णक्रमीय सिद्धांत]]
* सामान्य सी * - बीजगणित का वर्णक्रमीय सिद्धांत

==संदर्भ==

{{reflist}}
* {{citation | last = Moretti |first = V. |title =Spectral Theory and Quantum Mechanics Mathematical Foundations of Quantum Theories, Symmetries and Introduction to the Algebraic Formulation|volume=110 | year = 2018 |publisher = Springer|isbn=978-3-319-70705-1}}
* {{citation | last = Hall |first = B.C. |title = Quantum Theory for Mathematicians|series=Graduate Texts in Mathematics|volume=267 | year = 2013 |publisher = Springer|isbn=978-1461471158}}
* Mackey, G. W., ''The Theory of Unitary Group Representations'', The University of Chicago Press, 1976
* [[Michael C. Reed|M. Reed]] and [[Barry Simon|B. Simon]], ''Methods of Mathematical Physics'', vols I–IV, Academic Press 1972.
* {{Narici Beckenstein Topological Vector Spaces|edition=2}} <!-- {{sfn | Narici | 2011 | p=}} -->
* {{Schaefer Wolff Topological Vector Spaces|edition=2}} <!-- {{sfn | Schaefer | 1999 | p=}} -->
* [[Gerald Teschl|G. Teschl]], ''Mathematical Methods in Quantum Mechanics with Applications to Schrödinger Operators'', https://www.mat.univie.ac.at/~gerald/ftp/book-schroe/, American Mathematical Society, 2009.
* {{Trèves François Topological vector spaces, distributions and kernels}} <!-- {{sfn | Treves | 2006 | p=}} -->
* Varadarajan, V. S., ''Geometry of Quantum Theory'' V2, Springer Verlag, 1970.

{{Measure theory}}
{{Spectral theory}}
{{Functional analysis}}
{{Analysis in topological vector spaces}}

[[Category:Collapse templates]]
[[Category:Created On 25/05/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with script errors]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia articles needing clarification from May 2015]]
[[Category:Wikipedia metatemplates]]
[[Category:उपाय (माप सिद्धांत)]]
[[Category:लीनियर अलजेब्रा]]
[[Category:वर्णक्रमीय सिद्धांत]]