पूर्ण निरंतरता: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 113: Line 113:


===विशिष्ट माप===
===विशिष्ट माप===
लेबेस्ग अपघटन प्रमेय के लिए,<ref>{{harvnb|Royden|1988|loc=Proposition 11.24 on page 278}}; {{harvnb|Nielsen|1997|loc=Theorem 15.14 on page 262}}; {{harvnb|Athreya|Lahiri|2006|loc=Item (i) of Theorem 4.1.1 on page 115}}.</ref> प्रत्येक σ-परिमित माप को एक पूर्णतया सतत माप और एक अन्य σ-सीमित माप के संबंध में एक विलक्षण माप के योग में विघटित किया जा सकता है। उन मापों के उदाहरणों के लिए एकवचन माप देखें जो पूर्णतः निरंतर नहीं हैं।
लेबेस्ग अपघटन प्रमेय के लिए,<ref>{{harvnb|Royden|1988|loc=Proposition 11.24 on page 278}}; {{harvnb|Nielsen|1997|loc=Theorem 15.14 on page 262}}; {{harvnb|Athreya|Lahiri|2006|loc=Item (i) of Theorem 4.1.1 on page 115}}.</ref> प्रत्येक σ- परिमित माप को एक पूर्णतया सतत माप और एक अन्य σ- सीमित माप के संबंध में एक विलक्षण माप के योग में विघटित किया जा सकता है। उन मापों के उदाहरणों के लिए विशिष्ट माप देखें जो पूर्णतः निरंतर नहीं हैं।


== पूर्ण निरंतरता की दो धारणाओं के बीच संबंध ==
== पूर्ण निरंतरता की दो धारणाओं के बीच संबंध ==
वास्तविक रेखा के बोरेल सेट पर एक परिमित माप μ Lebesgue माप के संबंध में पूर्णतः निरंतर है यदि और केवल यदि बिंदु फलन करता है
वास्तविक रेखा के बोरेल सेट पर एक परिमित माप μ लेबेस्ग माप के संबंध में पूर्णतः निरंतर है यदि और केवल यदि बिंदु फलन करता है,
:<math>F(x)=\mu((-\infty,x])</math>
:<math>F(x)=\mu((-\infty,x])</math>
एक पूर्णतः निरंतर वास्तविक फलन है।
एक पूर्णतः निरंतर वास्तविक फलन है।
अधिक आम तौर पर, एक फलन स्थानीय रूप से होता है (अर्थात् हर बाध्य अंतर पर) पूर्णतः निरंतर अगर और केवल अगर इसका [[वितरण व्युत्पन्न]] एक माप है जो लेबेस्गु माप के संबंध में पूर्णतः निरंतर है।


यदि पूर्ण निरंतरता बनी रहती है तो μ का रेडॉन-निकोडीम व्युत्पन्न एफ के व्युत्पन्न के लगभग हर जगह बराबर होता है।<ref>{{harvnb|Royden|1988|loc=Problem 12.17(b) on page 303}}.</ref>
अधिक सामान्यतः एक फलन स्थानीय रूप से होता है (अर्थात् हर बाध्य अंतर पर) पूर्णतः निरंतर अगर और केवल अगर इसका [[वितरण व्युत्पन्न]] एक माप है जो लेबेस्गु माप के संबंध में पूर्णतः निरंतर है।
अधिक आम तौर पर, माप μ को स्थानीय रूप से परिमित (परिमित के बजाय) माना जाता है और F(x) को μ((0,x]) के रूप में परिभाषित किया जाता है {{nowrap|''x'' > 0}}, 0 के लिए {{nowrap|1=''x'' = 0}}, और -μ((x,0]) के लिए {{nowrap|''x'' < 0}}. इस मामले में μ Lebesgue-Stieltjes पूर्णांक है | Lebesgue-Stiltjes माप F द्वारा उत्पन्न किया गया है।<ref>{{harvnb|Athreya|Lahiri|2006|loc=Sect. 1.3.2, page 26}}.</ref>
 
पूर्ण निरंतरता की दो धारणाओं के बीच संबंध अभी भी कायम है।<ref>{{harvnb|Nielsen|1997|loc=Proposition 15.7 on page 252}}; {{harvnb|Athreya|Lahiri|2006|loc=Theorem 4.4.3 on page 131}}; {{harvnb|Royden|1988|loc=Problem 12.17(a) on page 303}}.</ref>
यदि पूर्ण निरंतरता बनी रहती है तो ''μ'' का रेडॉन-निकोडीम व्युत्पन्न एफ के व्युत्पन्न के लगभग हर जगह बराबर होता है।<ref>{{harvnb|Royden|1988|loc=Problem 12.17(b) on page 303}}.</ref>
 
अधिक सामान्यतः माप ''μ'' को स्थानीय रूप से परिमित (परिमित के बजाय) माना जाता है और ''F''(''x'') को ''μ''((0,''x'']) के रूप में परिभाषित किया जाता है {{nowrap|''x'' > 0}}, 0 के लिए {{nowrap|1=''x'' = 0}}, और −''μ''((''x'',0]) के लिए {{nowrap|''x'' < 0}}. इस स्थितियो में ''μ'' लेबेस्ग-स्टिल्टजेस पूर्णांक है | लेबेस्ग-स्टिल्टजेस माप ''F'' द्वारा उत्पन्न किया गया है।<ref>{{harvnb|Athreya|Lahiri|2006|loc=Sect. 1.3.2, page 26}}.</ref> पूर्ण निरंतरता की दो धारणाओं के बीच संबंध अभी भी कायम है।<ref>{{harvnb|Nielsen|1997|loc=Proposition 15.7 on page 252}}; {{harvnb|Athreya|Lahiri|2006|loc=Theorem 4.4.3 on page 131}}; {{harvnb|Royden|1988|loc=Problem 12.17(a) on page 303}}.</ref>
 





Revision as of 23:35, 29 March 2023

कलन में, पूर्ण निरंतरता फलन (गणित) का एक सहज (गणित) गुण है जो निरंतरता और समान निरंतरता से अधिक मजबूत है। पूर्ण निरंतरता की धारणा किसी को कलन-व्युत्पन्न और अभिन्न के दो केंद्रीय फलन के बीच संबंधों के सामान्यीकरण को प्राप्त करने की अनुमति देती है। रीमैन पूर्णांक की रूपरेखा में (कलन के मौलिक प्रमेय द्वारा) चित्रित किया जाता है, लेकिन पूर्ण निरंतरता के साथ इसे लेबेसेग पूर्णांक के संदर्भ में तैयार किया जा सकता है। वास्तविक मूल्यांकित फलन के लिए वास्तविक रेखा पर, दो परस्पर संबंधित धारणाएँ फलन की पूर्ण निरंतरता और मापों की पूर्ण निरंतरता दिखाई देती हैं। इन दो धारणाओं को अलग-अलग दिशाओं में सामान्यीकृत किया जाता है। फलन का सामान्य व्युत्पन्न एक माप के रेडॉन-निकोडीम व्युत्पन्न , या घनत्व से संबंधित है। हमारे पास वास्तविक रेखा के एक कॉम्पैक्ट उपसमुच्चय पर फलन के लिए निम्नलिखित अनुक्रम हैं:

पूर्णतः निरंतरसमान रूप से निरंतर निरंतर फलन

और, एक संक्षिप्त अंतर के लिए,

निरंतर अवकलनीय ⊆ लिप्सचिट्ज़ निरंतर ⊆ पूर्णतः निरंतर ⊆ परिबद्ध भिन्नता ⊆ अवकलनीय फलन लगभग हर जगह है।

फलन की पूर्ण निरंतरता

एक निरंतर फलन पूरी तरह से निरंतर होने में विफल रहता है यदि यह समान रूप से निरंतर होने में विफल रहता है, जो तब हो सकता है जब फलन का डोमेन कॉम्पैक्ट न हो - उदाहरण हैं tan(x) over [0, π/2), x2 संपूर्ण वास्तविक रेखा पर, और sin(1/x) over (0, 1] है। लेकिन एक निरंतर फलन f एक कॉम्पैक्ट अंतर पर भी पूरी तरह से निरंतर होने में विफल हो सकता है। यह लगभग हर जगह ( वीयरस्ट्रैस फलन की तरह, जो कहीं भी भिन्न नहीं है) भिन्न नहीं हो सकता है। या यह लगभग हर जगह अलग-अलग फलन हो सकता है और इसका व्युत्पन्न f ' लेबेस्ग पूर्णांक हो सकता है, लेकिन f ' का अभिन्न अंतर f की वृद्धि से भिन्न होता है (कितना f एक अंतर पर बदलता है ) यह उदाहरण के लिए कैंटर फलन के साथ होता है।

परिभाषा

मान ले कि वास्तविक रेखा में एक अंतर (गणित) हो, एक फलन पूर्णतः निरंतर है अगर धनात्मक संख्या के लिए , एक धनात्मक संख्या है ऐसा है कि जब भी एक परिमित अनुक्रम जोड़ीवार संयुक्त उप-अंतर का साथ को अलग करता है।[1]

तब

पर सभी पूर्णतः निरंतर फलन का संग्रह को से निरूपित किया जाता है।

समतुल्य परिभाषाएं

एक कॉम्पैक्ट अंतर [a,b] पर वास्तविक-मूल्यवान फलन f पर निम्न स्थितियां समान हैं:[2]

  1. f पूर्णतया सतत है;
  2. f का व्युत्पन्न f ' लगभग हर जगह व्युत्पन्न लेब्सग पूर्णांक है, और
    [a,b] पर सभी x के लिए है;
  3. [a,b] पर एक लेब्ज़ैग ग्रेबल फलन g मौजूद है जैसे कि
    [a,b] में सभी x के लिए है।

यदि इन समान स्थितियों का समाधान हो जाता है तो अनिवार्य रूप से g = f ′ लगभग हर जगह है।

(1) और (3) के बीच समानता को लेबेसेग के कारण 'लेबेस्ग अविभाज्य कलन के मौलिक प्रमेय' के रूप में जाना जाता है।[3]

माप के संदर्भ में एक समान परिभाषा के लिए पूर्ण निरंतरता की दो धारणाओं के बीच अनुभाग संबंध देखें।

गुण

  • दो पूर्णतः सतत फलनों का योग और अंतर भी पूर्णतया सतत होता है। यदि दो फलन परिबद्ध संवृत्त अंतर पर परिभाषित हैं, तो उनका गुणनफल भी पूर्णतः संतत होता है।[4]
  • यदि एक परिबद्ध बंद अंतर पर एक पूर्णतः निरंतर फलन परिभाषित किया गया है और कहीं भी शून्य नहीं है तो इसका व्युत्क्रम पूर्णतः निरंतर है।[5]
  • प्रत्येक पूर्णतया सतत फलन (संहत अंतराल पर) समान रूप से सतत होता है और इसलिए निरंतर होता है। प्रत्येक (वैश्विक स्तर पर) लिपशिट्ज-निरंतर फलन पूर्णतः निरंतर है।[6]
  • यदि f: [a,b] → 'R' पूर्णतः निरंतर है, तो यह [a,b] पर परिबद्ध भिन्नता का है।[7]
  • यदि f: [a,b] → 'R' पूर्णतः निरंतर है, तो इसे [a,b] पर दो मोनोटोनिक गैर-घटते पूर्णतः निरंतर फलन के अंतर के रूप में लिखा जा सकता है।
  • यदि f: [a,b] → 'R' पूर्णतः निरंतर है, तो इसमें लूज़िन N गुण है (अर्थात, किसी के लिए भी) ऐसा है कि , यह मानता है , जहाँ R पर लेबेस्ग माप के लिए खड़ा है)।
  • f: IR पूर्णतः निरंतर है अगर और केवल अगर यह निरंतर है, परिबद्ध विविधता का है और लुज़िन N गुण है। इस कथन को बनच-ज़ारेकी प्रमेय के रूप में भी जाना जाता है।[8]
  • यदि f: I → 'R' पूर्णतः निरंतर है और g: RR विश्व स्तर पर लिपशिट्ज-निरंतर है, तो रचना g ∘ f पूर्णतः निरंतर है। इसके विपरीत, प्रत्येक फलन g के लिए जो विश्व स्तर पर लिप्सचिट्ज़ निरंतर नहीं है, एक पूर्णतः निरंतर फलन f मौजूद है जैसे कि g ∘ f पूर्णतः निरंतर नहीं है।[9]


उदाहरण

निम्नलिखित फलन समान रूप से निरंतर हैं लेकिन पूर्णतः निरंतर नहीं हैं:

  • कैंटर फलन [0, 1] पर (यह परिबद्ध भिन्नता का है लेकिन पूर्णतः निरंतर नहीं है);
  • फलनक्रम
    एक परिमित अंतराल पर जिसमें मूल है।

निम्नलिखित फलन पूर्णतः निरंतर हैं लेकिन α-होल्डर निरंतर नहीं हैं:

  • फलन f(x) = xβ [0, c] पर, किसी के लिए भी 0 < β < α < 1

निम्नलिखित फलन बिल्कुल निरंतर हैं और α-होल्डर निरंतर हैं लेकिन लिप्सचिट्ज़ निरंतर नहीं हैं:

  • फलन f(x) =x [0, c] पर, α ≤ 1/2 के लिए हैं।

सामान्यीकरण

मान ले कि (X, d) एक मीट्रिक स्थान हो और I वास्तविक रेखा 'R' में एक अंतर (गणित) हो। एक फलन f: IX, I पर 'पूर्णतः निरंतर' है यदि प्रत्येक धनात्मक संख्या के लिए , एक धनात्मक संख्या है ऐसा है कि जब भी I के उप-अंतरों [xk, yk] को जोड़