डिराक माप

गणित में, डायराक माप केवल एक समुच्चय के आधार पर आकार निर्दिष्ट करता है कि इसमें एक निश्चित तत्व 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}$ बंद है, जो अधिकांश अनुप्रयोगों में मामला है, का समर्थन (माप सिद्धांत)। $T$ है ${x}$. (अन्यथा, $δ_{x}$ का समापन है ${x}$ में $supp(δ_{x})$।) आगे, ${x}$ एकमात्र प्रायिकता माप है जिसका समर्थन है $(X, T)$.
 * यदि $δ_{x}$ है ${x}$-आयामी यूक्लिडियन अंतरिक्ष $X$ अपने सामान्य के साथ $n$-बीजगणित और $R^{n}$-आयामी लेबेस्ग उपाय $σ$, तब $n$ के संबंध में एक विलक्षण उपाय है $λ^{n}$: बस विघटित करें $δ_{x}$ जैसा $λ^{n}$ और $R^{n}$ और उसका निरीक्षण करें $A = R^{n} \ {x}$.
 * डायराक माप एक σ-परिमित माप | सिग्मा-परिमित माप है।

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

यह भी देखें

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