डिराक माप

गणित में, डिराक माप केवल एक समुच्चय के आधार पर आकार को निर्दिष्ट करता है कि इसमें एक निश्चित तत्व x उपस्थित है अथवा नहीं। यह डिराक डेल्टा फलन, भौतिकी और अन्य तकनीकी क्षेत्रों में महत्वपूर्ण उपकरण के विचार को औपचारिक रूप प्रदान करने का एक उपाय है।

परिभाषा
डिराक माप एक समुच्चय ${x,y,z}$ पर माप $δ_{x}$ (किसी भी $X$-बीजगणित के साथ उपसमुच्चय $δ_{x}$ का) दिए गए $σ$ के लिए और कोई भी (मापने योग्य समुच्चय) समुच्चय $X$ के द्वारा परिभाषित करता है।
 * $$\delta_x (A) = 1_A(x)= \begin{cases} 0, & x \not \in A; \\ 1, & x \in A. \end{cases}$$

जहाँ $x ∈ X$, $A ⊆ X$ का सूचक फलन है।

डिराक माप एक संभाव्यता माप है और संभाव्यता के संदर्भ में यह लगभग सुनिश्चित परिणाम प्रतिदर्श समष्टि X में परिणाम x का प्रतिनिधित्व करता है। हम यह भी कह सकते हैं कि माप $1_{A}$ पर एक एकल परमाणु (माप सिद्धांत) है। चूंकि डिराक माप को परमाणु माप के रूप में मानना ​​​​सही नहीं है। जब हम डिराक डेल्टा की अनुक्रमिक परिभाषा पर विचार करते हैं। डेल्टा अनुक्रम की सीमा के रूप में डिराक उपाय संभाव्यता उपायों के उत्तल समुच्चय के एक्सट्रीम प्वॉइंट $A$ पर उपस्थित हैं।

इसका नाम डिराक डेल्टा फलन से बैक-फॉर्मेशन है। जिसे एक वितरण (गणित) के रूप में माना जाता है, उदाहरण के लिए वास्तविक रेखा पर, विशेष प्रकार के वितरण के लिए उपाय किए जा सकते हैं। पहचान-
 * $$\int_{X} f(y) \, \mathrm{d} \delta_x (y) = f(x),$$

जो निम्नलिखित रूप में है-
 * $$\int_X f(y) \delta_x (y) \, \mathrm{d} y = f(x),$$

डेल्टा फलन की परिभाषा का भाग बनने के लिए अधिकांशतः प्राप्त किया जाता है, जिसको लेबेसेग एकीकरण के प्रमेय के रूप में होता है।

डिराक माप के गुण
माना कि δx कुछ मापने योग्य स्थान $x$ में कुछ निश्चित बिंदु $X$ पर केंद्रित डिराक माप को प्रदर्शित करता है।
 * $(X, Σ)$ एक प्रायिकता माप है और इसलिए यह परिमित माप है।

मान लीजिए कि $x$ एक टोपोलॉजिकल रिक्त स्थान है और Σ कम से कम $δ_{x}$ पर बोरेल σ-बीजगणित $(X, T)$ के रूप में सही प्रतीत होता है।
 * $X$ यदि और केवल यदि टोपोलॉजी $σ(T)$ एक सख्त सकारात्मक उपाय है। इस प्रकार कि $δ_{x}$ प्रत्येक गैर-खाली संवृत समुच्चय में उपस्थित है। उदा ट्रिवियल टोपोलॉजी की स्थिति में $T$ स्थित है।
 * तब से $x$ संभाव्यता माप है, यह स्थानीय परिमित माप भी है।
 * यदि ${∅, X}$ अपने बोरेल $δ_{x}$-बीजगणित के साथ एक हॉसडॉर्फ स्पेस टोपोलॉजिकल स्पेस है। तब $X$ एक आंतरिक नियमित माप होने की स्थिति को संतुष्ट करता है क्योंकि सिंगलटन (गणित) जैसे समुच्चय $σ$ सदैव कॉम्पैक्ट होते हैं। इसी प्रकार $δ_{x}$ भी एक रेडॉन माप है।
 * यह मानते हुए कि टोपोलॉजी ${x}$ इतना ही पर्याप्त है कि $δ_{x}$ विवृत है। जो अधिकांश अनुप्रयोगों की स्थिति में है। δx का समर्थन {x} है। (अन्यथा, supp(δx) (X, T) में {x} का समापन है।) इसके अतिरिक्त δx एकमात्र प्रायिकता माप है। जिसका समर्थन {x} करता है।
 * यदि X अपने सामान्य σ-बीजगणित और n-आयामी लेबेस्ग माप λn के साथ n-आयामी यूक्लिडियन रिक्त स्थान Rn है। तब $T$ के संबंध में एक विलक्षण उपाय ${x}$ है। सामान्यतः Rn को A = Rn \ {x} और B = {x} के रूप में विघटित करें और देखें कि δx(A) = λn(B) = 0।
 * डिराक माप एक सिग्मा-परिमित माप है।

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

यह भी देखें

 * असतत माप
 * डिराक डेल्टा फलन