अनुक्रम सीमा: Difference between revisions
From Vigyanwiki
No edit summary |
(→गुण) |
||
| (23 intermediate revisions by 5 users not shown) | |||
| Line 1: | Line 1: | ||
{{Short description|Value to which tends an infinite sequence}} | {{Short description|Value to which tends an infinite sequence}}[[File:Archimedes pi.svg|350px|right|thumb|alt=diagram of a hexagon and pentagon circumscribed outside a circle|नियमित एन-पक्षीय [[बहुभुज|बहुभुजों]] के परिधि द्वारा दिए गए अनुक्रम जो [[यूनिट सर्कल]] को घेरते हैं, सर्कल के परिधि के बराबर सीमा होती है, अर्थात <math>2\pi r</math>. अन्तर्लिखित बहुभुजों के लिए संबंधित अनुक्रम की एक ही सीमा है।]]<div वर्ग="अंगूठा" दायाँ><div class="थम्बिनर" स्टाइल="चौड़ाई:252px;"> | ||
<div शैली="चौड़ाई:" 240 पीएक्स; फ़ॉन्ट-परिवार: एरियल; फ़ॉन्ट-आकार: 12 फोंट की मोटाई: बोल्ड; पृष्ठभूमि: #fff;> | |||
<div class="thumb tright"> | |||
<div class="thumbinner" style="width:252px;"> | |||
[[File:Archimedes pi.svg|350px|right|thumb|alt=diagram of a hexagon and pentagon circumscribed outside a circle|नियमित एन-पक्षीय [[बहुभुज|बहुभुजों]] के परिधि द्वारा दिए गए अनुक्रम जो [[यूनिट सर्कल]] को घेरते हैं, सर्कल के परिधि के बराबर सीमा होती है, अर्थात <math>2\pi r</math>. अन्तर्लिखित बहुभुजों के लिए संबंधित अनुक्रम की एक ही सीमा है।]]<div वर्ग="अंगूठा" दायाँ><div class= थम्बिनर स्टाइल= चौड़ाई:252px; > | |||
<div शैली = चौड़ाई: 240 पीएक्स; फ़ॉन्ट-परिवार: एरियल; फ़ॉन्ट-आकार: 12 | |||
<div style="width:240px; font-family:arial; font-size:12px; font-weight:bold; background:#fff;"> | <div style="width:240px; font-family:arial; font-size:12px; font-weight:bold; background:#fff;"> | ||
{| class="wikitable" style="width:100%;" | {| class="wikitable" style="width:100%;" | ||
| Line 26: | Line 24: | ||
</div> | </div> | ||
<div वर्ग = थंबकैप्शन> | <div वर्ग = थंबकैप्शन> | ||
धनात्मक [[पूर्णांक]] के रूप में <math>n</math> बड़ा हो जाता है, मूल्य <math>n\cdot \sin\left(\tfrac1{n}\right)</math> के निकट हो जाता है <math>1</math>. हम कहते हैं कि अनुक्रम की सीमा <math>n\cdot \sin\left(\tfrac1{n}\right)</math> बराबरी <math>1</math>. | |||
</div> | </div> | ||
</div> | </div> | ||
</div> | </div> | ||
गणित में, एक | [[गणित]] में, एक '''[[क्रम|अनुक्रम]] सीमा''' वह मान है जो किसी अनुक्रम के पदों की ओर प्रवृत्त होता है, और प्रायः इसका उपयोग करके निरूपित किया जाता है <math>\lim</math> प्रतीक (जैसे, <math>\lim_{n \to \infty}a_n</math>).<ref name="Courant (1961), p. 29">Courant (1961), p. 29.</ref> यदि ऐसी सीमा सम्मलित है, तो अनुक्रम को | ||
सीमाओं को किसी भी [[मीट्रिक स्थान]] या [[टोपोलॉजिकल स्पेस]] में परिभाषित किया जा सकता है, लेकिन | भिन्न कहा जाता है।<ref>{{Cite web|last=Weisstein|first=Eric W.|title=अभिसरण अनुक्रम|url=https://mathworld.wolfram.com/ConvergentSequence.html|access-date=2020-08-18|website=mathworld.wolfram.com|language=en}}</ref> एक क्रम जो अभिसरण नहीं करता है उसे भिन्न कहा जाता है।।<ref>Courant (1961), p. 39.</ref> अनुक्रम की सीमा को मौलिक धारणा कहा जाता है जिस पर संपूर्ण [[गणितीय विश्लेषण]] अंततः टिका होता है।<ref name="Courant (1961), p. 29" /> | ||
सीमाओं को किसी भी [[मीट्रिक स्थान|मीट्रिक समष्टि]] या [[टोपोलॉजिकल स्पेस|संस्थानिक समष्टि]] में परिभाषित किया जा सकता है, लेकिन प्रायः [[वास्तविक संख्या]] में पहली बार सामना किया जाता है। | |||
== इतिहास == | == इतिहास == | ||
एलिया के यूनानी दार्शनिक | एलिया के यूनानी दार्शनिक ज़ेनो के विरोधाभासों को सूत्रबद्ध करने के लिए प्रसिद्ध हैं। | ||
[[ल्यूसिपस]], [[डेमोक्रिटस]], [[एंटिफॉन (व्यक्ति)]], कनिडस के यूडोक्सस और [[आर्किमिडीज]] ने [[थकावट की विधि]] विकसित की, जो एक क्षेत्र या मात्रा निर्धारित करने के लिए सन्निकटन के अनंत अनुक्रम का उपयोग करता है। आर्किमिडीज योग करने में सफल रहे जिसे अब ज्यामितीय श्रृंखला कहा जाता है। | [[ल्यूसिपस]], [[डेमोक्रिटस]], [[एंटिफॉन (व्यक्ति)]], कनिडस के यूडोक्सस और [[आर्किमिडीज]] ने [[थकावट की विधि]] विकसित की, जो एक क्षेत्र या मात्रा निर्धारित करने के लिए सन्निकटन के अनंत अनुक्रम का उपयोग करता है। आर्किमिडीज योग करने में सफल रहे जिसे अब ज्यामितीय श्रृंखला कहा जाता है। | ||
ग्रेगोइरे डी सेंट-विन्सेंट ने अपने काम ओपस [[जियोमीट्रिक श्रंखला]] (1647) में एक ज्यामितीय श्रृंखला की सीमा (टर्मिनस) की पहली परिभाषा दी: "एक प्रगति का टर्मिनस श्रृंखला का अंत है, जो कोई भी प्रगति तक नहीं पहुंच सकता है, भले ही वह अनंत में जारी | ग्रेगोइरे डी सेंट-विन्सेंट ने अपने काम ओपस [[जियोमीट्रिक श्रंखला]] (1647) में एक ज्यामितीय श्रृंखला की सीमा (टर्मिनस) की पहली परिभाषा दी: "एक प्रगति का टर्मिनस श्रृंखला का अंत है, जो कोई भी प्रगति तक नहीं पहुंच सकता है, भले ही वह अनंत में जारी हो, लेकिन जिस तक वह एक दिए गए खंड की तुलना में अधिक निकट पहुंच सकती है।"<ref>Van Looy, H. (1984). A chronology and historical analysis of the mathematical manuscripts of Gregorius a Sancto Vincentio (1584–1667). Historia Mathematica, 11(1), 57-75.</ref> [[आइजैक न्यूटन]] ने अनंत श्रृंखला के साथ विश्लेषण (1669 में लिखा गया, पांडुलिपि में परिचालित, 1711 में प्रकाशित), प्रवाह और अनंत श्रृंखला की विधि (1671 में लिखा गया, 1736 में अंग्रेजी अनुवाद में प्रकाशित, लैटिन मूल बहुत बाद में प्रकाशित) पर अपने फलनों में श्रृंखला से निपटा और ट्रैक्टेटस डी क्वाडराटुरा कर्वारम (1693 में लिखा गया, 1704 में उनके परिशिष्ट के रूप में प्रकाशित)। बाद के काम में, न्यूटन (x + o)n के द्विपद विस्तार पर विचार करता है, जिसे वह तब सीमा के रूप में लेते हुए रैखिक करता है, जब 0 की ओर जाता है। | ||
18वीं | 18वीं दशक में, [[लियोनहार्ड यूलर]] जैसे [[गणितज्ञ]] सही समय पर रुक कर कुछ भिन्न श्रृंखलाओं का योग करने में सफल रहे; जब तक इसकी गणना की जा सकती है, तब तक उन्हें इस बात की ज्यादा चिंता नहीं थी कि कोई सीमा सम्मलित है या नहीं। दशक के अंत में, [[जोसेफ लुइस लाग्रेंज]] ने अपने थ्योरी डेस फोंक्शन्स एनालिटिक्स (1797) में कहा कि कठोरता की कमी ने कलन में और विकास को रोक दिया। [[कार्ल फ्रेडरिक गॉस]] ने [[हाइपरज्यामितीय श्रृंखला|अतिज्यामितीय श्रृंखला]] (1813) के अपने तसवीर का ख़ाका में पहली बार उन स्थितियों की जांच की जिसके अंतर्गत एक श्रृंखला एक सीमा तक परिवर्तित हो गई। | ||
सीमा की आधुनिक परिभाषा (किसी भी ε के लिए एक अनुक्रमणिका ''N'' सम्मलित है जिससे...) [[बर्नार्ड बोलजानो]] (डेर बिनोमिशे लेहर्सत्ज़, प्राग 1816, जो उस समय बहुत कम ध्यान दिया गया था) और 1870 के दशक में [[कार्ल वीयरस्ट्रास]] द्वारा दिया गया था। . | |||
== वास्तविक संख्या == | == वास्तविक संख्या == | ||
| Line 50: | Line 50: | ||
=== उदाहरण === | === उदाहरण === | ||
{{see also| | {{see also|सीमाओं की सूची}} | ||
*यदि निरंतर ''c'' के लिए <math>x_n = c</math> , तो <math>x_n \to c</math>.<ref group="proof">''Proof'': Choose <math>N = 1</math>. For every <math>n \geq N</math>, <math>|x_n - c| = 0 < \varepsilon</math></ref><ref name=":0">{{Cite web|title=अनुक्रमों की सीमाएं {{!}} शानदार गणित और विज्ञान विकी|url=https://brilliant.org/wiki/limits-of-sequences/|access-date=2020-08-18|website=brilliant.org|language=en-us}}</ref> | *यदि निरंतर ''c'' के लिए <math>x_n = c</math> , तो <math>x_n \to c</math>.<ref group="proof">''Proof'': Choose <math>N = 1</math>. For every <math>n \geq N</math>, <math>|x_n - c| = 0 < \varepsilon</math></ref><ref name=":0">{{Cite web|title=अनुक्रमों की सीमाएं {{!}} शानदार गणित और विज्ञान विकी|url=https://brilliant.org/wiki/limits-of-sequences/|access-date=2020-08-18|website=brilliant.org|language=en-us}}</ref> | ||
* | *यदि <math>x_n = \frac{1}{n}</math>, तो <math>x_n \to 0</math>.<ref group="proof">''Proof'': choose <math>N = \left\lfloor\frac{1}{\varepsilon}\right\rfloor + 1</math> (the [[Floor and ceiling functions|floor function]]). For every <math>n \geq N</math>, <math>|x_n - 0| \le x_N = \frac{1}{\lfloor 1/\varepsilon \rfloor + 1} < \varepsilon</math>.</ref><ref name=":0" />*यदि <math>x_n = \frac{1}{n}</math> जब <math>n</math> सम है, और <math>x_n = \frac{1}{n^2}</math> जब <math>n</math> विषम है, तो <math>x_n \to 0</math>. (यह तथ्य कि <math>x_{n+1} > x_n</math> जब भी <math>n</math> विषम है अप्रासंगिक है।) | ||
*किसी भी वास्तविक संख्या को देखते हुए, कोई आसानी से एक अनुक्रम का निर्माण कर सकता है जो उस संख्या में दशमलव सन्निकटन लेकर परिवर्तित हो जाता है। उदाहरण के लिए, अनुक्रम <math>0.3, 0.33, 0.333, 0.3333, \dots</math> <math>1/3</math> में परिवर्तित होता है। ध्यान दें कि [[दशमलव प्रतिनिधित्व]] <math>0.3333\dots</math> पिछले क्रम की सीमा है, जिसे परिभाषित किया गया है<math display="block"> 0.3333... : = \lim_{n\to\infty} \sum_{k=1}^n \frac{3}{10^k}</math> | *किसी भी वास्तविक संख्या को देखते हुए, कोई आसानी से एक अनुक्रम का निर्माण कर सकता है जो उस संख्या में दशमलव सन्निकटन लेकर परिवर्तित हो जाता है। उदाहरण के लिए, अनुक्रम <math>0.3, 0.33, 0.333, 0.3333, \dots</math> <math>1/3</math> में परिवर्तित होता है। ध्यान दें कि [[दशमलव प्रतिनिधित्व]] <math>0.3333\dots</math> पिछले क्रम की सीमा है, जिसे परिभाषित किया गया है<math display="block"> 0.3333... : = \lim_{n\to\infty} \sum_{k=1}^n \frac{3}{10^k}</math> | ||
* किसी क्रम की सीमा का पता लगाना हमेशा स्पष्ट नहीं होता है। दो उदाहरण हैं <math>\lim_{n\to\infty} \left(1 + \tfrac{1}{n}\right)^n</math> (जिसकी सीमा संख्या e है) और अंकगणितीय-ज्यामितीय माध्य है। ऐसी सीमाओं की स्थापना में [[निचोड़ प्रमेय]] प्रायः उपयोगी होता है। | * किसी क्रम की सीमा का पता लगाना हमेशा स्पष्ट नहीं होता है। दो उदाहरण हैं <math>\lim_{n\to\infty} \left(1 + \tfrac{1}{n}\right)^n</math> (जिसकी सीमा संख्या e है) और अंकगणितीय-ज्यामितीय माध्य है। ऐसी सीमाओं की स्थापना में [[निचोड़ प्रमेय]] प्रायः उपयोगी होता है। | ||
| Line 63: | Line 63: | ||
यदि निम्न स्थिति होती है: | यदि निम्न स्थिति होती है: | ||
: प्रत्येक वास्तविक संख्या के <math>\varepsilon > 0</math> के लिए, एक [[प्राकृतिक संख्या]] लिए <math>N</math> उपस्तिथ होती है, जैसे कि प्रत्येक प्राकृतिक संख्या के लिए <math>n \geq N</math>, हमारे पास है <math>|x_n - x| < \varepsilon</math>.<ref>{{Cite web| last=Weisstein|first=Eric W.| title=सीमा|url=https://mathworld.wolfram.com/सीमा.html|access-date=2020-08-18| website=mathworld.wolfram.com|language=en}}</ref> | : प्रत्येक वास्तविक संख्या के <math>\varepsilon > 0</math> के लिए, एक [[प्राकृतिक संख्या]] लिए <math>N</math> उपस्तिथ होती है, जैसे कि प्रत्येक प्राकृतिक संख्या के लिए <math>n \geq N</math>, हमारे पास है <math>|x_n - x| < \varepsilon</math>.<ref>{{Cite web| last=Weisstein|first=Eric W.| title=सीमा|url=https://mathworld.wolfram.com/सीमा.html|access-date=2020-08-18| website=mathworld.wolfram.com|language=en}}</ref> | ||
दूसरे शब्दों में, निकटता के | दूसरे शब्दों में, निकटता के सभी उपाय के लिए <math>\varepsilon</math>, अनुक्रम की शर्तें अंततः सीमा के निकट हैं। अनुक्रम <math>(x_n)</math> को सीमा <math>x</math> की ओर अभिसरण या झुकाव कहा जाता है। . | ||
प्रतीकात्मक रूप से, यह है: | प्रतीकात्मक रूप से, यह है: | ||
| Line 72: | Line 72: | ||
=== चित्रण === | === चित्रण === | ||
<gallery widths="350" heights="200"> | <gallery widths="350" heights="200"> | ||
File:Folgenglieder im KOSY.svg|अनुक्रम का उदाहरण जो सीमित करने के लिए अभिसरण करता है <math>a</math>. | |||
File:Epsilonschlauch.svg|भले ही हमारे पास <math>\varepsilon > 0</math> हो, एक इंडेक्स <math>N_0</math> होता है, ताकि अनुक्रम बाद में पूरी तरह से एप्सिलॉन ट्यूब में स्थित हो <math>(a-\varepsilon,a+\varepsilon)</math>. | |||
File:Epsilonschlauch klein.svg|एक छोटे एक अनुक्रमणिका <math>\varepsilon_1 > 0</math> an index <math>N_1</math>, के लिए भी है ताकि अनुक्रम बाद में एप्सिलॉन ट्यूब के अंदर हो <math>(a-\varepsilon_1,a+\varepsilon_1)</math>. | |||
File:Epsilonschlauch2.svg|प्रत्येक <math>\varepsilon> 0</math> के लिए एप्सिलॉन ट्यूब के बाहर केवल सूक्ष्म रूप से कई अनुक्रम सदस्य होते हैं। | |||
</gallery> | </gallery> | ||
=== गुण === | === गुण === | ||
वास्तविक अनुक्रमों की सीमाओं के कुछ अन्य महत्वपूर्ण गुणों में निम्नलिखित शामिल हैं: | वास्तविक अनुक्रमों की सीमाओं के कुछ अन्य महत्वपूर्ण गुणों में निम्नलिखित शामिल हैं: | ||
* जब यह | * जब यह सम्मलित होता है, तो अनुक्रम की सीमा अद्वितीय होती है।<ref name=":0" /> क्रमों की सीमाएँ सामान्य अंकगणित अंकगणितीय संक्रियाओं के संबंध में अच्छा व्यवहार करती हैं। यदि <math>\lim_{n\to\infty} a_n</math> तथा <math>\lim_{n\to\infty} b_n</math> उपस्तिथ है, तो | ||
::<math>\lim_{n\to\infty} (a_n \pm b_n) = \lim_{n\to\infty} a_n \pm \lim_{n\to\infty} b_n</math><ref name=":0" />::<math>\lim_{n\to\infty} c a_n = c \cdot \lim_{n\to\infty} a_n</math><ref name=":0" />::<math>\lim_{n\to\infty} (a_n \cdot b_n) = \left(\lim_{n\to\infty} a_n \right)\cdot \left( \lim_{n\to\infty} b_n \right)</math><ref name=":0" />::<math>\lim_{n\to\infty} \left(\frac{a_n}{b_n}\right) = \frac{\lim\limits_{n\to\infty} a_n}{\lim\limits_{n\to\infty} b_n}</math> बशर्ते <math>\lim_{n\to\infty} b_n \ne 0</math><ref name=":0" />::<math>\lim_{n\to\infty} a_n^p = \left( \lim_{n\to\infty} a_n \right)^p</math> | ::<math>\lim_{n\to\infty} (a_n \pm b_n) = \lim_{n\to\infty} a_n \pm \lim_{n\to\infty} b_n</math><ref name=":0" />::<math>\lim_{n\to\infty} c a_n = c \cdot \lim_{n\to\infty} a_n</math><ref name=":0" />::<math>\lim_{n\to\infty} (a_n \cdot b_n) = \left(\lim_{n\to\infty} a_n \right)\cdot \left( \lim_{n\to\infty} b_n \right)</math><ref name=":0" />::<math>\lim_{n\to\infty} \left(\frac{a_n}{b_n}\right) = \frac{\lim\limits_{n\to\infty} a_n}{\lim\limits_{n\to\infty} b_n}</math> बशर्ते <math>\lim_{n\to\infty} b_n \ne 0</math><ref name=":0" />::<math>\lim_{n\to\infty} a_n^p = \left( \lim_{n\to\infty} a_n \right)^p</math> | ||
*किसी भी सतत फलन f के लिए, यदि <math>\lim_{n\to\infty}x_n</math> | *किसी भी सतत फलन f के लिए, यदि <math>\lim_{n\to\infty}x_n</math> सम्मलितहै, तो <math>\lim_{n\to\infty} f \left(x_n \right)</math> भी सम्मलित है। वास्तव में, कोई भी वास्तविक-मूल्यवान फ़ंक्शन (गणित) f निरंतर है और केवल यह अनुक्रमों की सीमाओं को संरक्षित करता है (चूँकि निरंतरता के अधिक सामान्य विचारों का उपयोग करते समय यह जरूरी नहीं है)। | ||
*यदि <math>a_n \leq b_n</math> सभी के लिए <math>n</math> कुछ से बड़ा <math>N</math>, फिर <math>\lim_{n\to\infty} a_n \leq \lim_{n\to\infty} b_n</math>. | *यदि <math>a_n \leq b_n</math> सभी के लिए <math>n</math> कुछ से बड़ा <math>N</math>, फिर <math>\lim_{n\to\infty} a_n \leq \lim_{n\to\infty} b_n</math>. | ||
*(निचोड़ प्रमेय) यदि <math>a_n \leq c_n \leq b_n</math> सभी के लिए <math>n</math> कुछ से बड़ा <math>N</math>, तथा <math>\lim_{n\to\infty} a_n = \lim_{n\to\infty} b_n = L</math>, फिर <math>\lim_{n\to\infty} c_n = L</math>. | *(निचोड़ प्रमेय) यदि <math>a_n \leq c_n \leq b_n</math> सभी के लिए <math>n</math> कुछ से बड़ा <math>N</math>, तथा <math>\lim_{n\to\infty} a_n = \lim_{n\to\infty} b_n = L</math>, फिर <math>\lim_{n\to\infty} c_n = L</math>. | ||
*([[मोनोटोन अभिसरण प्रमेय]]) यदि <math>a_n</math> | *([[मोनोटोन अभिसरण प्रमेय]]) यदि <math>a_n</math> कुछ <math>n</math> से अधिक सभी <math>N</math> के लिए परिबद्ध और मोनोटोनिक है, तो यह अभिसरण है। | ||
*एक अनुक्रम अभिसारी है यदि और केवल यदि प्रत्येक अनुवर्ती अभिसरण है। | *एक अनुक्रम अभिसारी है यदि और केवल यदि प्रत्येक अनुवर्ती अभिसरण है। | ||
*यदि किसी अनुक्रम के प्रत्येक अनुवर्ती का अपना स्वयं का अनुक्रम होता है जो एक ही बिंदु पर अभिसरण करता है, तो मूल अनुक्रम उस बिंदु पर परिवर्तित हो जाता है। | *यदि किसी अनुक्रम के प्रत्येक अनुवर्ती का अपना स्वयं का अनुक्रम होता है जो एक ही बिंदु पर अभिसरण करता है, तो मूल अनुक्रम उस बिंदु पर परिवर्तित हो जाता है। | ||
| Line 95: | Line 94: | ||
=== अनंत सीमा === | === अनंत सीमा === | ||
अनुक्रम <math>(x_n)</math> को अनंत की ओर प्रवृत्त कहा जाता है, लिखा हुआ है | |||
:<math>x_n \to \infty</math>, या | :<math>x_n \to \infty</math>, या | ||
:<math>\lim_{n\to\infty}x_n = \infty</math>, | :<math>\lim_{n\to\infty}x_n = \infty</math>, | ||
यदि निम्नलिखित धारण करता है: | यदि निम्नलिखित धारण करता है: | ||
: प्रत्येक वास्तविक संख्या के लिए <math>K</math>, एक प्राकृतिक संख्या | : प्रत्येक वास्तविक संख्या के लिए <math>K</math>, के लिए, एक प्राकृतिक संख्या <math>N</math> होती है, जैसे कि प्रत्येक प्राकृतिक संख्या के लिए <math>n \geq N</math>, हमारे पास <math>x_n > K</math>; के; अर्थात्, अनुक्रम शब्द अंततः किसी निश्चित <math>K</math> से बड़े होते हैं . | ||
प्रतीकात्मक रूप से, यह है: | प्रतीकात्मक रूप से, यह है: | ||
:<math>\forall K \in \mathbb{R} \left(\exists N \in \N \left(\forall n \in \N \left(n \geq N \implies x_n > K \right)\right)\right)</math>. | :<math>\forall K \in \mathbb{R} \left(\exists N \in \N \left(\forall n \in \N \left(n \geq N \implies x_n > K \right)\right)\right)</math>. | ||
इसी | इसी प्रकार, हम कहते हैं कि एक अनुक्रम ऋणात्मक अनन्त की ओर जाता है, लिखित | ||
:<math>x_n \to -\infty</math>, या | :<math>x_n \to -\infty</math>, या | ||
:<math>\lim_{n\to\infty}x_n = -\infty</math>, | :<math>\lim_{n\to\infty}x_n = -\infty</math>, | ||
यदि निम्नलिखित धारण करता है: | यदि निम्नलिखित धारण करता है: | ||
: प्रत्येक वास्तविक संख्या के लिए <math>K</math>, एक प्राकृतिक संख्या है <math>N</math> जैसे कि हर प्राकृतिक संख्या के लिए <math>n \geq N</math>, | : प्रत्येक वास्तविक संख्या के लिए <math>K</math>, एक प्राकृतिक संख्या है <math>N</math> जैसे कि हर प्राकृतिक संख्या के लिए <math>n \geq N</math>, हमारे पास <math>x_n < K</math>; अर्थात्, अनुक्रम शब्द अंततः किसी निश्चित <math>K</math> से छोटे होते हैं . | ||
प्रतीकात्मक रूप से, यह है: | प्रतीकात्मक रूप से, यह है: | ||
:<math>\forall K \in \mathbb{R} \left(\exists N \in \N \left(\forall n \in \N \left(n \geq N \implies x_n < K \right)\right)\right)</math>. | :<math>\forall K \in \mathbb{R} \left(\exists N \in \N \left(\forall n \in \N \left(n \geq N \implies x_n < K \right)\right)\right)</math>. | ||
यदि कोई अनुक्रम अनंत या | यदि कोई अनुक्रम अनंत या ऋणात्मक अनंत की ओर जाता है, तो यह अपसारी है। चूँकि, एक अपसारी अनुक्रम को धनात्मक या ऋणात्मक अनन्त और अनुक्रम की आवश्यकता नहीं है <math>x_n=(-1)^n</math> ऐसा ही एक उदाहरण देता है। | ||
== मीट्रिक रिक्त | == मीट्रिक रिक्त समष्टि == | ||
=== परिभाषा === | === परिभाषा === | ||
एक बिंदु <math>x</math> | मेट्रिक समष्टि का एक बिंदु <math>x</math> <math>(X, d)</math> अनुक्रम <math>(x_n)</math> की सीमा है यदि: | ||
: प्रत्येक वास्तविक संख्या के लिए <math>\varepsilon > 0</math>, एक प्राकृतिक संख्या | : प्रत्येक वास्तविक संख्या के लिए <math>\varepsilon > 0</math>, एक प्राकृतिक संख्या <math>N</math> होती है जैसे कि प्रत्येक प्राकृतिक संख्या के लिए <math>n \geq N</math>, हमारे पास <math>d(x_n, x) < \varepsilon </math>. | ||
प्रतीकात्मक रूप से, यह है: | प्रतीकात्मक रूप से, यह है: | ||
| Line 129: | Line 128: | ||
=== गुण === | === गुण === | ||
*जब यह अस्तित्व में होता है, तो एक अनुक्रम की सीमा अद्वितीय होती है, क्योंकि | *जब यह अस्तित्व में होता है, तो एक अनुक्रम की सीमा अद्वितीय होती है, क्योंकि भिन्न-भिन्न बिंदुओं को कुछ धनात्मक दूरी से भिन्न किया जाता है, इसलिए <math>\varepsilon </math> इस दूरी के आधे से कम, अनुक्रम शब्द दूरी के भीतर नहीं हो सकते <math>\varepsilon </math> दोनों बिंदुओं का है। | ||
*किसी भी सतत फलन f के लिए, यदि <math>\lim_{n \to \infty} x_n</math> | *किसी भी सतत फलन f के लिए, यदि <math>\lim_{n \to \infty} x_n</math> सम्मलित है, तो <math>\lim_{n \to \infty} f(x_n) = f\left(\lim_{n \to \infty}x_n \right)</math>. वास्तव में, एक फलन (गणित) f निरंतर है यदि और केवल यदि यह अनुक्रमों की सीमाओं को संरक्षित करता है। | ||
=== कॉची सीक्वेंस === | === कॉची सीक्वेंस === | ||
{{main| | {{main|कॉची अनुक्रम}} | ||
[[File:Cauchy sequence illustration.svg|350px|thumb| कॉची सीक्वेंस का प्लॉट (x<sub>n</sub>), नीले रंग में | [[File:Cauchy sequence illustration.svg|350px|thumb| कॉची सीक्वेंस का प्लॉट (x<sub>n</sub>), नीले रंग में <math>x_n</math> बनाम n दिखाया गया है । दृष्टिगत रूप से, हम देखते हैं कि अनुक्रम एक सीमा बिंदु पर अभिसरण करता हुआ प्रतीत होता है क्योंकि अनुक्रम में पद n बढ़ने पर एक साथ निकट हो जाते हैं। वास्तविक संख्या में प्रत्येक कौशी क्रम किसी सीमा तक अभिसरित होता है।]]एक कॉशी अनुक्रम एक अनुक्रम है जिसकी शर्तें अंततः मनमाने ढंग से एक साथ बंद हो जाती हैं, पर्याप्त रूप से कई प्रारंभिक शब्दों को छोड़ दिए जाने के बाद। [[मीट्रिक रिक्त स्थान|मीट्रिक रिक्त समष्टि]] में अनुक्रमों के अध्ययन में, और विशेष रूप से, [[वास्तविक विश्लेषण]] में कॉची अनुक्रम की धारणा महत्वपूर्ण है। वास्तविक विश्लेषण में एक विशेष रूप से महत्वपूर्ण परिणाम अनुक्रमों के अभिसरण के लिए कॉची आकर्ष है: वास्तविक संख्याओं का एक क्रम अभिसरण होता है यदि केवल यह एक कॉची अनुक्रम है। यह अन्य पूर्ण मीट्रिक रिक्त समष्टि में सही रहता है। | ||
== | == संस्थानिक समष्टि == | ||
=== परिभाषा === | === परिभाषा === | ||
एक बिंदु <math>x \in X</math> | संस्थानिक समष्टि का एक बिंदु <math>x \in X</math> अनुक्रम का एक सीमा बिंदु है <math>(X, \tau)</math> एक है {{sfn|Dugundji|1966|pp=209-210}}{{sfn|Császár|1978|p=61}} अनुक्रम का <math>\left(x_n\right)_{n \in \N}</math> यदि: | ||
: | : सभी [[टोपोलॉजिकल पड़ोस|संस्थानिक निकटतम]] के लिए <math>U</math> का <math>x</math>, कुछ उपस्तिथ है <math>N \in \N</math> ऐसा कि प्रत्येक के लिए <math>n \geq N</math>, अपने पास <math>x_n \in U</math>.<ref>{{cite book|last1=Zeidler|first1=Eberhard|title=एप्लाइड कार्यात्मक विश्लेषण: मुख्य सिद्धांत और उनके अनुप्रयोग|date=1995|publisher=Springer-Verlag|location=New York|isbn=978-0-387-94422-7|page=29|edition=1}}</ref> | ||
यह मीट्रिक रिक्त | यह मीट्रिक रिक्त समष्टि के लिए दी गई परिभाषा से मेल खाता है, यदि <math>(X, d)</math> एक मीट्रिक समष्टि है और <math>\tau</math> द्वारा उत्पन्न संस्थानिक है <math>d</math>. | ||
अंकों के अनुक्रम की एक सीमा <math>\left(x_n\right)_{n \in \N}</math> एक | अंकों के अनुक्रम की एक सीमा <math>\left(x_n\right)_{n \in \N}</math> एक संस्थानिक समष्टि में <math>T</math> एक फलन की सीमा की एक विशेष स्थिति है संस्थानिक रिक्त समष्टि पर कार्य: एक फलन का डोमेन है <math>\N</math> समष्टि में <math>\N \cup \lbrace + \infty \rbrace</math>, सजातीय रूप से विस्तारित वास्तविक संख्या प्रणाली की [[प्रेरित टोपोलॉजी|प्रेरित संस्थानिक]] के साथ, एक फलन की श्रेणी है <math>T</math>, और फलन तर्क <math>n</math> आदत है <math>+\infty</math>, जो इस समष्टि में एक समुच्चय का एक सीमा बिंदु है <math>\N</math>. | ||
=== गुण === | === गुण === | ||
हौसडॉर्फ | हौसडॉर्फ समष्टि में, अनुक्रमों की सीमाएं अद्वितीय होती हैं जब भी वे उपस्तिथ होती हैं। ध्यान दें कि गैर-हॉसडॉर्फ समष्टिों में ऐसा होना जरूरी नहीं है; विशेष रूप से, यदि दो बिंदु <math>x</math> तथा <math>y</math> स्थलाकृतिक रूप से अप्रभेद्य हैं, फिर कोई भी क्रम जो अभिसरण करता है <math>x</math> में जुटना चाहिए <math>y</math> और इसके विपरीत। | ||
== | |||