पूर्ण निरंतरता

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

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

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

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

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

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

परिभाषा

मान ले कि $I$ वास्तविक रेखा में एक अंतर (गणित) $\mathbb {R}$ हो, एक फलन $f\colon I\to \mathbb {R}$ पूर्णतः निरंतर है $I$ अगर धनात्मक संख्या के लिए $\varepsilon$, एक धनात्मक संख्या है $\delta$ ऐसा है कि जब भी एक परिमित अनुक्रम जोड़ीवार संयुक्त उप-अंतर $(x_{k},y_{k})$ का $I$ साथ $x_{k}<y_{k}\in I$ को अलग करता है।

$\sum _{k}(y_{k}-x_{k})<\delta$

तब

$\sum _{k}|f(y_{k})-f(x_{k})|<\varepsilon .$

पर सभी पूर्णतः निरंतर फलन का संग्रह $I$ को $\operatorname {AC} (I)$ से निरूपित किया जाता है।

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

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

1. f पूर्णतया सतत है;
2. f का व्युत्पन्न f ' लगभग हर जगह व्युत्पन्न लेब्सग पूर्णांक है, और
   $$f(x)=f(a)+\int _{a}^{x}f'(t)\,dt$$
   [a,b] पर सभी x के लिए है;
3. [a,b] पर एक लेब्ज़ैग ग्रेबल फलन g सम्मिलित है जैसे कि
   $$f(x)=f(a)+\int _{a}^{x}g(t)\,dt$$
   [a,b] में सभी x के लिए है।

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

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

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

गुण

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

उदाहरण

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

• कैंटर फलन [0, 1] पर (यह परिबद्ध भिन्नता का है लेकिन पूर्णतः निरंतर नहीं है);
• फलनक्रम
  $$f(x)={\begin{cases}0,&{\text{if }}x=0\\x\sin(1/x),&{\text{if }}x\neq 0\end{cases}}$$
  एक परिमित अंतराल पर जिसमें मूल है।

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

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

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

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

सामान्यीकरण

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

$\sum _{k}\left|y_{k}-x_{k}\right|<\delta$

तब

$\sum _{k}d\left(f(y_{k}),f(x_{k})\right)<\epsilon .$

I से X तक सभी पूर्ण निरंतर फलन का संग्रह AC(I; X) को दर्शाता है।

एक और सामान्यीकरण रेखांतर AC^p(I; X) वक्र f: I → X ऐसा है कि

$d(f(s),$