साधारण फलन: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{Short description|Function that attains finitely many values}}
{{Short description|Function that attains finitely many values}}
[[वास्तविक विश्लेषण]] के गणित के क्षेत्र में, साधारण फ़ंक्शन [[वास्तविक संख्या]] (या [[जटिल संख्या]]) है - [[वास्तविक रेखा]] के सबसेट पर [[समारोह की ओर कदम बढ़ाएं]] के समान मूल्यांकित फ़ंक्शन। सरल कार्य पर्याप्त रूप से अच्छे हैं कि उनका उपयोग करने से गणितीय तर्क, सिद्धांत और प्रमाण आसान हो जाते हैं। उदाहरण के लिए, सरल कार्य केवल सीमित संख्या में मान प्राप्त करते हैं। कुछ लेखकों को मापने योग्य कार्य होने के लिए सरल कार्यों की भी आवश्यकता होती है; जैसा कि व्यवहार में उपयोग किया जाता है, वे हमेशा होते हैं।
[[वास्तविक विश्लेषण]] गणित के क्षेत्र में, साधारण फलन मुख्य रूप से ऐसी [[वास्तविक संख्या]] या [[जटिल संख्या]] है, जो किसी [[वास्तविक रेखा]] के उपसमुच्चयों पर किसी [[समारोह की ओर कदम बढ़ाएं|फलन]] की ओर उपयोग किए जाने के लिए मूल्यांकित फलन या साधारण फलन को पर्याप्त रूप से उपयोग करता हैं जिससे कि इसका उपयोग गणितीय तर्क, सिद्धांत और प्रमाण को प्राप्त करने के लिए सरल हो जाता हैं। इस प्रकार उदाहरण के लिए साधारण फलन केवल सीमित संख्या में विभिन्न मानों को प्राप्त करते हैं। कुछ लेखकों को मापने योग्य फलन को साधारण फलनों की भी आवश्यकता होती है, जैसा कि व्यवहारिक रूप से उपयोग किया जाता है, ये सदैव इसमें उपलब्ध रहते हैं।


एक साधारण फ़ंक्शन का मूल उदाहरण आधे खुले अंतराल [1, 9) पर [[फर्श समारोह]] है, जिसका केवल मान {1, 2, 3, 4, 5, 6, 7, 8} है। अधिक उन्नत उदाहरण वास्तविक रेखा पर [[डिरिचलेट समारोह]] है, जो मान 1 लेता है यदि ''x'' परिमेय है और अन्यथा 0 है। (इस प्रकार सरल कार्य के सरल का तकनीकी अर्थ कुछ हद तक सामान्य भाषा के साथ है।) सभी चरण कार्य सरल हैं।
किसी साधारण फलन का मूल उदाहरण अर्ध कोष्ठकों के अंतराल जैसे [1, 9) पर [[फर्श समारोह|फ्लोर फलन]] को रूप में उपयोग होते हैं, जिसका मान {1, 2, 3, 4, 5, 6, 7, 8} के रूप में प्रदर्शित किया जा सकता है। इसके अधिक उन्नत उदाहरण वास्तविक रेखा पर [[डिरिचलेट समारोह|डिरिचलेट फलन]] के रूप में प्रदर्शित किया जा सकता हैं, जिसका मान 1 रहता है, इसके लिए यदि ''x'' परिमेय संख्या को प्रदर्शित करता है जिसका मान 0 रहता है। इस प्रकार साधारण फलन के सरल का तकनीकी अर्थ कुछ सीमा तक सामान्य भाषा के साथ है। इसके सभी चरण साधारण फलन के रूप में उपयोग किए जाते हैं।


[[ अभिन्न | अभिन्न]] के सिद्धांतों के विकास में सरल कार्यों का उपयोग पहले चरण के रूप में किया जाता है, जैसे कि [[लेबेस्ग इंटीग्रल]], क्योंकि साधारण फ़ंक्शन के लिए एकीकरण को परिभाषित करना आसान है और सरल कार्यों के अनुक्रमों द्वारा अधिक सामान्य कार्यों को अनुमानित करना भी आसान है।
किसी [[ अभिन्न |अभिन्न]] मूल के सिद्धांत के विकास में साधारण फलनों का उपयोग करने के लिए पहले चरण के रूप में इसका उपयोग किया जाता है, जैसे कि [[लेबेस्ग इंटीग्रल]] क्योंकि साधारण फलन के लिए एकीकरण को परिभाषित करना सरल है, और साधारण फलनों के अनुक्रमों द्वारा अधिक सामान्य फलनों को अनुमानित करना भी सरल होता है।


== परिभाषा ==
== परिभाषा ==


औपचारिक रूप से, साधारण फलन मापने योग्य समुच्चयों के सूचक फलनों का परिमित रेखीय संयोजन होता है। अधिक सटीक रूप से, मान लीजिए (X, Σ) [[सिग्मा-बीजगणित]] है। चलो ए<sub>1</sub>, ..., <sub>''n''</sub> ∈ Σ असंयुक्त मापने योग्य समुच्चयों का क्रम हो, और मान लीजिए a<sub>1</sub>, ..., <sub>''n''</sub> वास्तविक संख्या या जटिल संख्याओं का क्रम हो। साधारण कार्य कार्य है <math>f: X \to \mathbb{C}</math> फार्म का
औपचारिक रूप से साधारण फलन मापने योग्य समुच्चयों के सूचक फलनों का परिमित रेखीय संयोजन होता है। इसके अधिक सही रूप को प्राप्त करने के लिए मान लीजिए (X, Σ) [[सिग्मा-बीजगणित]] का उपयोग करते है। इस प्रकार a<sub>1</sub>, ..., a<sub>''n''</sub> ∈ Σ असंयुक्त मापने योग्य समुच्चयों का क्रम होता हैं, और मान लीजिए a<sub>1</sub>, ..., a<sub>''n''</sub> वास्तविक संख्या या जटिल संख्याओं का क्रम होता हैं। इसका साधारण फलन फलन <math>f: X \to \mathbb{C}</math> से प्रदर्शीत किया जाता है, इसके प्रारूप को इस प्रकार प्रदर्शित किया जाता हैं-


:<math>f(x)=\sum_{k=1}^n a_k {\mathbf 1}_{A_k}(x),</math>
:<math>f(x)=\sum_{k=1}^n a_k {\mathbf 1}_{A_k}(x),</math>
कहाँ <math>{\mathbf 1}_A</math> सेट ए का सूचक कार्य है।
जहाँ <math>{\mathbf 1}_A</math> समुच्चय a का सूचक फलन होता है।


== सरल कार्यों के गुण ==
== साधारण फलनों के गुण ==
दो साधारण फलनों का योग, अंतर और गुणनफल फिर से साधारण फलन होते हैं, और स्थिरांक से गुणा करने से साधारण फलन सरल रहता है; इसलिए यह अनुसरण करता है कि किसी दिए गए मापने योग्य स्थान पर सभी साधारण कार्यों का संग्रह क्षेत्र के ऊपर बीजगणित बनाता है <math>\mathbb{C}</math>.
दो साधारण फलनों का योग, अंतर और गुणनफल पुनः साधारण फलन के रूप में परिवर्तित हो जाता हैं, और स्थिरांक से गुणा करने से साधारण फलन सरल हो जाता है, इसलिए यह अनुसरण करता है कि किसी दिए गए मापने योग्य स्थान पर सभी साधारण फलनों का संग्रह क्षेत्र <math>\mathbb{C}</math> के ऊपर बीजगणित बनाता है।


== सरल कार्यों का एकीकरण ==
== साधारण फलनों का एकीकरण ==


यदि माप (गणित) μ को अंतरिक्ष (X, Σ) पर परिभाषित किया गया है, तो μ के संबंध में f का Lebesgue अभिन्न अंग है
यदि माप (गणित) μ को समतल (X, Σ) पर परिभाषित किया गया है, तो μ के संबंध में f का लेबेस्ग्यू अभिन्न अंग है


:<math>\sum_{k=1}^na_k\mu(A_k),</math>
:<math>\sum_{k=1}^na_k\mu(A_k),</math>
Line 24: Line 24:


== लेबेसेग एकीकरण से संबंध ==
== लेबेसेग एकीकरण से संबंध ==
सरल कार्यों के उपरोक्त अभिन्न को कार्यों के अधिक सामान्य वर्ग तक बढ़ाया जा सकता है, जो कि लेबेस्ग इंटीग्रल को परिभाषित किया गया है। यह विस्तार निम्नलिखित तथ्य पर आधारित है।
साधारण फलनों के उपरोक्त अभिन्न को फलनों के अधिक सामान्य वर्ग तक बढ़ाया जा सकता है, जो कि लेबेस्ग इंटीग्रल को परिभाषित किया गया है। यह विस्तार निम्नलिखित तथ्य पर आधारित है।


: प्रमेय। कोई भी गैर-नकारात्मक मापने योग्य कार्य <math>f\colon X \to\mathbb{R}^{+}</math> गैर-नकारात्मक सरल कार्यों के मोनोटोनिक बढ़ते क्रम की [[बिंदुवार]] सीमा है।
: प्रमेय। कोई भी धनात्मक मान को जानने के लिए फलन <math>f\colon X \to\mathbb{R}^{+}</math> धनात्मक साधारण फलनों के मोनोटोनिक बढ़ते क्रम की [[बिंदुवार|बिंदु]] सीमा उपयोग की जाती है।


यह बयान में निहित है कि सह-डोमेन में सिग्मा-बीजगणित <math>\mathbb{R}^{+}</math> बोरेल σ-बीजगणित का प्रतिबंध है <math>\mathfrak{B}(\mathbb{R})</math> को <math>\mathbb{R}^{+}</math>. प्रमाण निम्नानुसार आगे बढ़ता है। होने देना <math>f</math> माप स्थान पर परिभाषित गैर-नकारात्मक औसत दर्जे का कार्य हो <math>(X, \Sigma,\mu)</math>. प्रत्येक के लिए <math>n\in\mathbb N</math>, के सह-डोमेन को उप-विभाजित करें <math>f</math> में <math>2^{2n}+1</math> अंतराल, <math>2^{2n}</math> जिनमें लम्बाई है <math>2^{-n}</math>. यानी प्रत्येक के लिए <math>n</math>, परिभाषित करना
यह प्रमाणित किया जाता हैं कि सह-डोमेन में सिग्मा-बीजगणित <math>\mathbb{R}^{+}</math> बोरेल σ-बीजगणित का प्रतिबंध है, जो <math>\mathfrak{B}(\mathbb{R})</math> को <math>\mathbb{R}^{+}</math>के रूप में प्रयोग किया जाता हैं। इसके प्रमाण के अनुसार इसे निम्नानुसार आगे बढ़ाया जाता है। इस प्रकार <math>f</math> माप स्थान पर परिभाषित धनात्मक औसत सीमा का फलन <math>(X, \Sigma,\mu)</math> रहता हैं। इस प्रकार प्रत्येक <math>n\in\mathbb N</math> के लिए, इसके सह-डोमेन को उप-विभाजित करते हैं, जिसके लिए <math>f</math> में <math>2^{2n}+1</math> अंतराल, <math>2^{2n}</math> जिसकी लम्बाई <math>2^{-n}</math> है, अर्ताथ प्रत्येक के लिए <math>n</math> के मान को इस प्रकार परिभाषित करते हैं-
:<math>I_{n,k}=\left[\frac{k-1}{2^n},\frac{k}{2^n}\right)</math> के लिए <math>k=1,2,\ldots,2^{2n}</math>, और <math>I_{n,2^{2n}+1}=[2^n,\infty)</math>,
:<math>I_{n,k}=\left[\frac{k-1}{2^n},\frac{k}{2^n}\right)</math> के लिए <math>k=1,2,\ldots,2^{2n}</math>, और <math>I_{n,2^{2n}+1}=[2^n,\infty)</math>,


जो अलग हैं और गैर-नकारात्मक वास्तविक रेखा को कवर करते हैं (<math>\mathbb{R}^{+} \subseteq \cup_{k}I_{n,k}, \forall n \in \mathbb{N}</math>).
जो अलग हैं और धनात्मक वास्तविक रेखा (<math>\mathbb{R}^{+} \subseteq \cup_{k}I_{n,k}, \forall n \in \mathbb{N}</math>) को सीमित करते हैं।


अब सेट को परिभाषित करें
अब समुच्चय को इस प्रकार परिभाषित करते हैं-
:<math>A_{n,k}=f^{-1}(I_{n,k}) \,</math> के लिए <math>k=1,2,\ldots,2^{2n}+1,</math>
:<math>A_{n,k}=f^{-1}(I_{n,k}) \,</math> के लिए <math>k=1,2,\ldots,2^{2n}+1,</math>
जो मापने योग्य हैं (<math>A_{n,k}\in \Sigma</math>) क्योंकि <math>f</math> मापने योग्य माना जाता है।
(<math>A_{n,k}\in \Sigma</math>) का मान मापने योग्य रहता हैं, क्योंकि <math>f</math> मापने योग्य माना जाता है।


फिर सरल कार्यों का बढ़ता क्रम
फिर साधारण फलनों का बढ़ता क्रम इस प्रकार रहता हैं-
:<math>f_n=\sum_{k=1}^{2^{2n}+1}\frac{k-1}{2^n}{\mathbf 1}_{A_{n,k}}</math> बिंदुवार अभिसरण करता है <math>f</math> जैसा <math>n\to\infty</math>. ध्यान दें कि कब <math>f</math> घिरा हुआ है, अभिसरण एकसमान है।
:<math>f_n=\sum_{k=1}^{2^{2n}+1}\frac{k-1}{2^n}{\mathbf 1}_{A_{n,k}}</math> बिंदु अभिसरण करता है, इस कारण<math>f</math> जैसा <math>n\to\infty</math> के रूप में प्रदर्शित किया जाता हैं। यहाँ पर ध्यान दें कि जब <math>f</math> घिरा हुआ है, इस स्थिति में अभिसरण एकसमान रहता है।


== यह भी देखें ==
== यह भी देखें ==
[[Bochner औसत दर्जे का समारोह]]
[[Bochner औसत दर्जे का समारोह|बाॅच्नर औसत दर्जे का फलन]]


== संदर्भ ==
== संदर्भ ==

Revision as of 19:46, 28 May 2023

वास्तविक विश्लेषण गणित के क्षेत्र में, साधारण फलन मुख्य रूप से ऐसी वास्तविक संख्या या जटिल संख्या है, जो किसी वास्तविक रेखा के उपसमुच्चयों पर किसी फलन की ओर उपयोग किए जाने के लिए मूल्यांकित फलन या साधारण फलन को पर्याप्त रूप से उपयोग करता हैं जिससे कि इसका उपयोग गणितीय तर्क, सिद्धांत और प्रमाण को प्राप्त करने के लिए सरल हो जाता हैं। इस प्रकार उदाहरण के लिए साधारण फलन केवल सीमित संख्या में विभिन्न मानों को प्राप्त करते हैं। कुछ लेखकों को मापने योग्य फलन को साधारण फलनों की भी आवश्यकता होती है, जैसा कि व्यवहारिक रूप से उपयोग किया जाता है, ये सदैव इसमें उपलब्ध रहते हैं।

किसी साधारण फलन का मूल उदाहरण अर्ध कोष्ठकों के अंतराल जैसे [1, 9) पर फ्लोर फलन को रूप में उपयोग होते हैं, जिसका मान {1, 2, 3, 4, 5, 6, 7, 8} के रूप में प्रदर्शित किया जा सकता है। इसके अधिक उन्नत उदाहरण वास्तविक रेखा पर डिरिचलेट फलन के रूप में प्रदर्शित किया जा सकता हैं, जिसका मान 1 रहता है, इसके लिए यदि x परिमेय संख्या को प्रदर्शित करता है जिसका मान 0 रहता है। इस प्रकार साधारण फलन के सरल का तकनीकी अर्थ कुछ सीमा तक सामान्य भाषा के साथ है। इसके सभी चरण साधारण फलन के रूप में उपयोग किए जाते हैं।

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

परिभाषा

औपचारिक रूप से साधारण फलन मापने योग्य समुच्चयों के सूचक फलनों का परिमित रेखीय संयोजन होता है। इसके अधिक सही रूप को प्राप्त करने के लिए मान लीजिए (X, Σ) सिग्मा-बीजगणित का उपयोग करते है। इस प्रकार a1, ..., an ∈ Σ असंयुक्त मापने योग्य समुच्चयों का क्रम होता हैं, और मान लीजिए a1, ..., an वास्तविक संख्या या जटिल संख्याओं का क्रम होता हैं। इसका साधारण फलन फलन से प्रदर्शीत किया जाता है, इसके प्रारूप को इस प्रकार प्रदर्शित किया जाता हैं-

जहाँ समुच्चय a का सूचक फलन होता है।

साधारण फलनों के गुण

दो साधारण फलनों का योग, अंतर और गुणनफल पुनः साधारण फलन के रूप में परिवर्तित हो जाता हैं, और स्थिरांक से गुणा करने से साधारण फलन सरल हो जाता है, इसलिए यह अनुसरण करता है कि किसी दिए गए मापने योग्य स्थान पर सभी साधारण फलनों का संग्रह क्षेत्र के ऊपर बीजगणित बनाता है।

साधारण फलनों का एकीकरण

यदि माप (गणित) μ को समतल (X, Σ) पर परिभाषित किया गया है, तो μ के संबंध में f का लेबेस्ग्यू अभिन्न अंग है

यदि सभी योग परिमित हैं।

लेबेसेग एकीकरण से संबंध

साधारण फलनों के उपरोक्त अभिन्न को फलनों के अधिक सामान्य वर्ग तक बढ़ाया जा सकता है, जो कि लेबेस्ग इंटीग्रल को परिभाषित किया गया है। यह विस्तार निम्नलिखित तथ्य पर आधारित है।

प्रमेय। कोई भी धनात्मक मान को जानने के लिए फलन धनात्मक साधारण फलनों के मोनोटोनिक बढ़ते क्रम की बिंदु सीमा उपयोग की जाती है।

यह प्रमाणित किया जाता हैं कि सह-डोमेन में सिग्मा-बीजगणित बोरेल σ-बीजगणित का प्रतिबंध है, जो को के रूप में प्रयोग किया जाता हैं। इसके प्रमाण के अनुसार इसे निम्नानुसार आगे बढ़ाया जाता है। इस प्रकार माप स्थान पर परिभाषित धनात्मक औसत सीमा का फलन रहता हैं। इस प्रकार प्रत्येक के लिए, इसके सह-डोमेन को उप-विभाजित करते हैं, जिसके लिए में अंतराल, जिसकी लम्बाई है, अर्ताथ प्रत्येक के लिए के मान को इस प्रकार परिभाषित करते हैं-

के लिए , और ,

जो अलग हैं और धनात्मक वास्तविक रेखा () को सीमित करते हैं।

अब समुच्चय को इस प्रकार परिभाषित करते हैं-

के लिए

() का मान मापने योग्य रहता हैं, क्योंकि मापने योग्य माना जाता है।

फिर साधारण फलनों का बढ़ता क्रम इस प्रकार रहता हैं-

बिंदु अभिसरण करता है, इस कारण जैसा के रूप में प्रदर्शित किया जाता हैं। यहाँ पर ध्यान दें कि जब घिरा हुआ है, इस स्थिति में अभिसरण एकसमान रहता है।

यह भी देखें

बाॅच्नर औसत दर्जे का फलन

संदर्भ

  • J. F. C. Kingman, S. J. Taylor. Introduction to Measure and Probability, 1966, Cambridge.
  • S. Lang. Real and Functional Analysis, 1993, Springer-Verlag.
  • W. Rudin. Real and Complex Analysis, 1987, McGraw-Hill.
  • H. L. Royden. Real Analysis, 1968, Collier Macmillan.