सामग्री पर जाएँ
Topos Uranos

तुल्य अनंतसूक्ष्म और अनंतबृहत् फलन

सारांश

यह पाठ सीमाओं की इकाई को एक परिकलन तकनीक के साथ समाप्त करता है जो पहले आई लगभग हर बात को एकत्र करती है: शून्य या अनंत की ओर अग्रसर फलनों की तुलना। छोटा oo, बड़ा OO, समान कोटि और तुल्यता परिभाषित किए जाते हैं, और यह सिद्ध किया जाता है कि किसी गुणनफल या भागफल में प्रत्येक गुणनखंड को, सीमा बदले बिना, किसी तुल्य गुणनखंड से प्रतिस्थापित किया जा सकता है। त्रिकोणमितीय सीमाएँ, चरघातांकी, लघुगणक और घातों की सीमाएँ, तथा बहुपदों की सीमाएँ, जो पहले के पाठों में सिद्ध की गई थीं, तुल्यों की एक सारणी में एकत्र की जाती हैं, जिससे वे सीमाएँ एक दृष्टि में परिकलित की जा सकती हैं जिनके लिए पहले कई रूपांतरण आवश्यक थे। पाठ इस तकनीक की सबसे सामान्य भूल भी दिखाता है, अर्थात् किसी योग के भीतर प्रतिस्थापन, यह भी कि कब किसी योग का प्रतिस्थापन सचमुच किया जा सकता है, और यह भी कि शून्य के निकट तथा मूल बिंदु से दूर घातों की तुलना कैसे होती है।

अधिगम उद्देश्य

  1. किसी बिंदु पर, एक पक्ष में या अनंत पर फलनों के छोटे oo, बड़े OO, समान कोटि और तुल्यता को परिभाषित करना, और उनके गुण सिद्ध करना।
  2. गुणनफलों और भागफलों में तुल्यों के प्रतिस्थापन की प्रमेय सिद्ध करना, और पहचानना कि यह योगों में क्यों लागू नहीं होती।
  3. शून्य पर तुल्यों की सारणी सिद्ध करना और संघटन के साथ उसका उपयोग करके सीमाएँ परिकलित करना तथा किसी अनंतसूक्ष्म की कोटि और मुख्य भाग ज्ञात करना।
  4. घात-रूप अनंतबृहतों और अनंतसूक्ष्मों की तुलना करना, और तुल्यता को अनंतस्पर्शी के अस्तित्व से अलग पहचानना।

फलनों की तुलना करना

सैंडविच प्रमेय वाले पाठ और अनंत सीमाएँ वाले पाठ, दोनों ने दिखाया कि रूप 00\frac{0}{0} और ∞∞\frac{\infty}{\infty} का कोई निश्चित परिणाम नहीं होता: शून्य की ओर अग्रसर दो फलनों के भागफल की सीमा इस पर निर्भर करती है कि वे कितनी तेज़ी से शून्य की ओर जाते हैं। इस पाठ का विचार यह है कि प्रत्येक फलन की तुलना किसी अन्य, अधिक सरल फलन से करके उस तेज़ी को मापा जाए। अनंत सीमाओं वाले पाठ की तरह, PP चर के गंतव्य को सूचित करता है (aa, a+a^+, a−a^-, ∞\infty या −∞-\infty), और “PP के निकट” का अर्थ है किसी छिद्रित सामीप्य में, एक पक्ष में या किसी किरण पर। यदि कोई फलन केवल किसी समुच्चय AA पर परिभाषित है, जिसका aa एक संचय बिंदु है, तो “aa के निकट” का अर्थ है AA के उन बिंदुओं पर जो केंद्र aa वाले किसी छिद्रित सामीप्य में हैं, और सीमाएँ एक वास्तविक चर के फलनों की सीमा वाले पाठ की सीमाएँ हैं, जो AA पर ली जाती हैं; आगे दी गई परिभाषाएँ इस स्थिति में भी उसी प्रकार लागू होती हैं।

परिभाषाफलनों की तुलना

मान लीजिए ff और gg ऐसे फलन हैं जो PP के निकट परिभाषित हैं, और g(x)≠0g(x) \neq 0 है, PP के निकट।

  • ff, gg की तुलना में PP पर नगण्य है, और लिखा जाता है f=o⁡(g)f = \operatorname{o}(g), जिसे पढ़ा जाता है “ff, gg का छोटा o है”, यदि lim⁡x→Pf(x)g(x)=0\lim_{x \to P} \frac{f(x)}{g(x)} = 0।
  • ff, gg से PP पर परिबद्ध है, और लिखा जाता है f=O⁡(g)f = \operatorname{O}(g), जिसे पढ़ा जाता है “ff, gg का बड़ा O है”, यदि कोई C>0C > 0 विद्यमान हो जिसके लिए ∣f(x)∣≤C∣g(x)∣\abs{f(x)} \leq C\abs{g(x)}, PP के निकट; अर्थात्, यदि भागफल f(x)g(x)\frac{f(x)}{g(x)}, PP के निकट परिबद्ध है।
  • ff और gg, PP पर समान कोटि के हैं यदि f(x)g(x)\frac{f(x)}{g(x)} किसी शून्येतर संख्या की ओर अग्रसर होता है।
  • ff और gg, PP पर तुल्य हैं, और लिखा जाता है f∼gf \sim g, यदि lim⁡x→Pf(x)g(x)=1\lim_{x \to P} \frac{f(x)}{g(x)} = 1।

जो फलन 00 की ओर अग्रसर होता है (PP पर), उसे PP पर अनंतसूक्ष्म कहते हैं, और जो ∞\infty या −∞-\infty की ओर अग्रसर होता है, उसे अनंतबृहत्। 00 पर किसी अनंतसूक्ष्म की कोटि k>0k > 0 होती है यदि वह xkx^k के समान कोटि का हो (0+0^+ पर, यदि xkx^k केवल x>0x > 0 के लिए परिभाषित हो), और तब, यदि f(x)xk\frac{f(x)}{x^k}, cc की ओर अग्रसर हो, तो फलन c xkc\,x^k उसका मुख्य भाग है: f∼c xkf \sim c\,x^k।

शब्द “अनंतसूक्ष्म” किसी बहुत छोटी संख्या को नहीं, बल्कि शून्य की ओर अग्रसर किसी फलन को सूचित करता है; लेखन o⁡(g)\operatorname{o}(g) किसी निश्चित फलन को नहीं, बल्कि उन फलनों में से किसी को भी सूचित करता है जो gg की तुलना में नगण्य हैं। उदाहरण के लिए, x2=o⁡(x)x^2 = \operatorname{o}(x), 00 पर, क्योंकि x2x=x\frac{x^2}{x} = x, 00 की ओर अग्रसर होता है; इसके विपरीत, x=o⁡(x2)x = \operatorname{o}(x^2), ∞\infty पर, क्योंकि xx2=1x\frac{x}{x^2} = \frac{1}{x}, 00 की ओर अग्रसर होता है। फलनों के एक ही युग्म की तुलना गंतव्य के अनुसार विपरीत ढंग से होती है। समान कोटि और तुल्यता, वस्तुतः, एक ही तुलना हैं: यदि ff और gg समान कोटि के हैं और उनका भागफल cc की ओर अग्रसर होता है, तो f∼c gf \sim c\,g।

साध्यतुलना के गुण

एक ही गंतव्य PP पर:

  • तुल्यता स्वतुल्य, सममित और संक्रामक है: f∼ff \sim f; यदि f∼gf \sim g, तो g∼fg \sim f; और यदि f∼gf \sim g और g∼hg \sim h, तो f∼hf \sim h;
  • f∼gf \sim g यदि और केवल यदि f−g=o⁡(g)f - g = \operatorname{o}(g); विशेष रूप से, यदि h=o⁡(g)h = \operatorname{o}(g), तो g+h∼gg + h \sim g;
  • यदि f=o⁡(h)f = \operatorname{o}(h) और g=o⁡(h)g = \operatorname{o}(h), तो f+g=o⁡(h)f + g = \operatorname{o}(h) और c f=o⁡(h)c\,f = \operatorname{o}(h), प्रत्येक वास्तविक cc के लिए।

प्रत्येक दावा सीमाओं का बीजगणित का एक नियम है, जो किसी भागफल पर लागू किया गया है।

प्रमाण

  1. gf=1fg→1,fh=fg⋅gh→1⋅1=1\frac{g}{f} = \frac{1}{\frac{f}{g}} \to 1, \qquad \frac{f}{h} = \frac{f}{g} \cdot \frac{g}{h} \to 1 \cdot 1 = \resaltar{1}

    ff का स्वयं से भागफल 11 के बराबर है। यदि fg\frac{f}{g}, 11 की ओर अग्रसर होता है, तो व्युत्क्रम नियम से उसका व्युत्क्रम 11=1\frac{1}{1} = 1 की ओर अग्रसर होता है। यदि fg\frac{f}{g} और gh\frac{g}{h}, 11 की ओर अग्रसर होते हैं, तो गुणनफल नियम से उनका गुणनफल भी।

  2. f−gg=fg−1→0⇔fg→1\frac{f - g}{g} = \frac{f}{g} - 1 \to 0 \Leftrightarrow \frac{f}{g} \to \resaltar{1}

    f−gf - g का gg से भागफल fg−1\frac{f}{g} - 1 है, जो 00 की ओर अग्रसर होता है यदि और केवल यदि fg\frac{f}{g}, 11 की ओर अग्रसर होता है। f=g+hf = g + h लेने पर अंतर hh है।

  3. f+gh=fh+gh→0+0=0\frac{f + g}{h} = \frac{f}{h} + \frac{g}{h} \to 0 + 0 = \resaltar{0}

    यदि fh\frac{f}{h} और gh\frac{g}{h}, 00 की ओर अग्रसर होते हैं, तो रैखिक संयोजन के नियम से उनका योग और प्रत्येक का किसी अचर से गुणनफल भी।

बड़ा OO यह अपेक्षा नहीं करता कि भागफल की सीमा हो, केवल यह कि वह अनियंत्रित रूप से न बढ़े। उदाहरण के लिए, sin⁡x=O⁡(1)\sin x = \operatorname{O}(1), ∞\infty पर, यद्यपि वहाँ sin⁡x\sin x की कोई सीमा नहीं है, और xsin⁡1x=O⁡(x)x \sin \frac{1}{x} = \operatorname{O}(x), 00 पर, क्योंकि ∣xsin⁡1x∣≤∣x∣\abs{x \sin \frac{1}{x}} \leq \abs{x}। सीमाएँ परिकलित करने के लिए छोटा oo पर्याप्त है; बड़ा OO सन्निकटन की त्रुटियाँ मापने में काम आएगा, जैसे टेलर बहुपद की त्रुटि, जिसका अध्ययन कलन II में होगा। उसके नियम निम्नलिखित हैं।

साध्यबड़े O के नियम

एक ही गंतव्य PP पर:

  • यदि fg\frac{f}{g} की PP पर परिमित सीमा है, तो f=O⁡(g)f = \operatorname{O}(g); विशेष रूप से, यदि f=o⁡(g)f = \operatorname{o}(g) या यदि f∼gf \sim g;
  • यदि f=O⁡(h)f = \operatorname{O}(h) और g=O⁡(h)g = \operatorname{O}(h), तो f+g=O⁡(h)f + g = \operatorname{O}(h) और c f=O⁡(h)c\,f = \operatorname{O}(h), प्रत्येक वास्तविक cc के लिए;
  • यदि f1=O⁡(g1)f_1 = \operatorname{O}(g_1) और f2=O⁡(g2)f_2 = \operatorname{O}(g_2), तो f1f2=O⁡(g1g2)f_1 f_2 = \operatorname{O}(g_1 g_2);
  • यदि f1=O⁡(g1)f_1 = \operatorname{O}(g_1) और f2=o⁡(g2)f_2 = \operatorname{o}(g_2), तो f1f2=o⁡(g1g2)f_1 f_2 = \operatorname{o}(g_1 g_2)।

प्रत्येक नियम निरपेक्ष मानों के बीच एक असमिका है; अंतिम नियम एक परिबंध को शून्य की ओर अग्रसर एक भागफल के साथ जोड़ता है।

प्रमाण

  1. ∣f(x)g(x)∣≤∣f(x)g(x)−L∣+∣L∣<∣L∣+1\abs{\frac{f(x)}{g(x)}} \leq \abs{\frac{f(x)}{g(x)} - L} + \abs{L} < \resaltar{\abs{L} + 1}

    यदि fg\frac{f}{g}, LL की ओर अग्रसर होता है, तो चुनौती ε=1\varepsilon = 1 का प्रत्युत्तर है: PP के निकट, भागफल की LL से दूरी 11 से कम है, और त्रिभुज असमिका से उसका निरपेक्ष मान ∣L∣+1\abs{L} + 1 से अधिक नहीं होता।

  2. ∣f(x)+g(x)∣≤C1∣h(x)∣+C2∣h(x)∣=(C1+C2)∣h(x)∣\abs{f(x) + g(x)} \leq C_1\abs{h(x)} + C_2\abs{h(x)} = \resaltar{(C_1 + C_2)\abs{h(x)}}

    परिबंध C1C_1 (ff का) और C2C_2 (gg का) PP के निकट एक साथ लागू होते हैं, दोनों सामीप्यों के प्रतिच्छेद में। त्रिभुज असमिका योग को परिबद्ध करती है; गुणज का परिबंध ∣c∣ C1\abs{c}\,C_1 है।

  3. ∣f1(x)f2(x)∣≤C1∣g1(x)∣⋅C2∣g2(x)∣=C1C2∣g1(x)g2(x)∣\abs{f_1(x) f_2(x)} \leq C_1\abs{g_1(x)} \cdot C_2\abs{g_2(x)} = \resaltar{C_1 C_2 \abs{g_1(x) g_2(x)}}

    दोनों गुणनखंडों के परिबंध गुणा किए जाते हैं।

  4. 0≤∣f1(x)f2(x)g1(x)g2(x)∣≤C1∣f2(x)g2(x)∣→00 \leq \abs{\frac{f_1(x) f_2(x)}{g_1(x) g_2(x)}} \leq C_1 \abs{\frac{f_2(x)}{g_2(x)}} \to \resaltar{0}

    गुणनफल का g1g2g_1 g_2 से भागफल, C1C_1 से परिबद्ध एक भागफल और 00 की ओर अग्रसर एक अन्य भागफल का गुणनफल है; सैंडविच प्रमेय से वह 00 की ओर अग्रसर होता है।