स्क्वीज़ प्रमेय

कैलकुलस में, स्क्वीज़ प्रमेय (इसे अन्य नामों के साथ-साथ सैंडविच प्रमेय के रूप में भी जाना जाता है) एक फलन की सीमा के बारे में एक प्रमेय है जो दो अन्य फलनों के बीच फंसा हुआ है।

स्क्वीज़ प्रमेय का उपयोग कैलकुलस और गणितीय विश्लेषण में किया जाता है, सामान्यतः दो अन्य फलनों के साथ तुलना के माध्यम से फलन की सीमा की पुष्टि करने के लिए जिनकी सीमाएं ज्ञात होती हैं। इसका पहली बार ज्यामितीय रूप से उपयोग गणितज्ञ आर्किमिडीज़ और कनिडस के यूडोक्सस द्वारा $\pi$ की गणना करने के प्रयास में किया गया था, और कार्ल फ्रेडरिक गॉस द्वारा आधुनिक शब्दों में तैयार किया गया था।

कथन
स्क्वीज़ प्रमेय औपचारिक रूप से इस प्रकार बताया गया है। $$

यह प्रमेय अनुक्रमों के लिए भी मान्य है। मान लीजिए $$(a_n), (c_n)$$ दो अनुक्रम हैं जो $$\ell$$ और $$(b_n)$$ अनुक्रम में परिवर्तित हो रहे हैं। यदि $$\forall n\geq N, N\in\N$$ हमारे पास $$a_n\leq b_n\leq c_n$$ है, तो $$(b_n)$$ भी $$\ell$$ में परिवर्तित हो जाता है।
 * फलन $g$ और $h$  को क्रमशः $f$  की निचली और ऊपरी सीमा कहा जाता है।
 * यहां, $a$ का $I$  के आंतरिक (टोपोलॉजी) भाग में स्थित होना आवश्यक नहीं है। वास्तविक में, यदि $a$  $I$  का एक समापन बिंदु है, तो उपरोक्त सीमाएँ बाएँ या दाएँ हाथ की सीमाएँ हैं।
 * एक समान कथन अनंत अंतरालों के लिए लागू होता है: उदाहरण के लिए, यदि $I=(0, \infty)$, तो निष्कर्ष $x \to \infty$ के रूप में सीमा लेता है।

प्रमाण
उपरोक्त परिकल्पनाओं के अनुसार, हम निम्न और श्रेष्ठ की सीमा लेते हैं: $$L=\lim_{x \to a} g(x)\leq\liminf_{x\to a}f(x) \leq \limsup_{x\to a}f(x)\leq \lim_{x \to a}h(x)=L,$$ इसलिए सभी असमानताएँ वास्तव में समानताएँ हैं, और थीसिस तुरंत अनुसरण करती है।

एक प्रत्यक्ष प्रमाण, सीमा की $$(\varepsilon, \delta)$$-परिभाषा का उपयोग करते हुए, यह सिद्ध करना होगा कि सभी वास्तविक $\varepsilon > 0$ के लिए एक वास्तविक $$\delta > 0$$ उपस्थित है जैसे कि $$|x - a| < \delta$$ वाले सभी $$x$$ के लिए हमारे पास $$|f(x) - L| < \varepsilon$$ है। प्रतीकात्मक रूप से,

$$ \forall \varepsilon > 0, \exists \delta > 0 : \forall x, (|x - a | < \delta \ \Rightarrow |f(x) - L |< \varepsilon).$$ जैसा

$$\lim_{x \to a} g(x) = L $$ अर्थात्

और $$\lim_{x \to a} h(x) = L $$ अर्थात्

तो हमारे पास हैं

$$g(x) \leq f(x) \leq h(x) $$$$g(x) - L\leq f(x) - L\leq h(x) - L$$ हम $$\delta:=\min\left\{\delta_1,\delta_2\right\}$$ चुन सकते हैं। फिर, यदि $$|x - a| < \delta$$, ($$) और ($$) को मिलाकर, हमारे पास है

$$ - \varepsilon < g(x) - L\leq f(x) - L\leq h(x) - L\ < \varepsilon, $$$$ - \varepsilon < f(x) - L < \varepsilon ,$$ जो प्रमाण को पूरा करता है। क्यू.ई.डी

किसी अनुक्रम की सीमा की $$\varepsilon$$-परिभाषा का उपयोग करते हुए, अनुक्रमों के लिए प्रमाण बहुत समान है।

पहला उदाहरण
सीमा

$$\lim_{x \to 0}x^2 \sin(\tfrac{1}{x})$$ को सीमा नियम

$$\lim_{x \to a}(f(x)\cdot g(x)) = \lim_{x \to a}f(x)\cdot \lim_{x \to a}g(x),$$ के माध्यम से निर्धारित नहीं किया जा सकता हैं

क्योंकि

$$\lim_{x\to 0}\sin(\tfrac{1}{x})$$ उपस्थित नहीं है।

चूँकि, साइन फलन की परिभाषा के अनुसार,

$$-1 \le \sin(\tfrac{1}{x}) \le 1. $$ यह इस प्रकार है कि

$$-x^2 \le x^2 \sin(\tfrac{1}{x}) \le x^2 $$चूंकि स्क्वीज़ प्रमेय द्वारा $$\lim_{x\to 0}-x^2 = \lim_{x\to 0}x^2 = 0$$ है, इसलिए, $$\lim_{x\to 0} x^2 \sin(\tfrac{1}{x})$$ भी 0 होना चाहिए।

दूसरा उदाहरण
संभवतः स्क्वीज़कर सीमा खोजने के सबसे प्रसिद्ध उदाहरण समानता के प्रमाण हैं $$ \begin{align} & \lim_{x\to 0} \frac{\sin(x)}{x} =1, \\[10pt] & \lim_{x\to 0} \frac{1 - \cos(x)}{x} = 0. \end{align} $$ पहली सीमा इस तथ्य से स्क्वीज़ प्रमेय के माध्यम से अनुसरण करती है

$$ \cos x \leq \frac{\sin(x)}{x} \leq 1 $$ x के लिए 0 के काफी निकट है। धनात्मक x के लिए इसकी शुद्धता को सरल ज्यामितीय तर्क (ड्राइंग देखें) द्वारा देखा जा सकता है जिसे ऋणात्मक x तक भी बढ़ाया जा सकता है। दूसरी सीमा स्क्वीज़ प्रमेय और इस तथ्य से अनुसरण करती है

$$ 0 \leq \frac{1 - \cos(x)}{x}  \leq  x $$ x के लिए 0 के काफी करीब है। इसे पहले तथ्य में $$\sin(x)$$ को $ \sqrt{1-\cos^2(x)}$ से प्रतिस्थापित करके और परिणामी असमानता का वर्ग करके प्राप्त किया जा सकता है।

इन दो सीमाओं का उपयोग इस तथ्य के प्रमाण में किया जाता है कि साइन फलन का व्युत्पन्न कोसाइन फलन है। त्रिकोणमितीय फलनों के व्युत्पन्नों के अन्य प्रमाणों में उस तथ्य पर विश्वाश किया जाता है।

तीसरा उदाहरण
उस $$ \frac{d}{d\theta} \tan\theta = \sec^2\theta $$ को निम्न प्रकार से स्क्वीज़ दिखाना संभव है।

दाईं ओर के चित्रण में, वृत्त के दो छायांकित क्षेत्रों में से छोटे का क्षेत्रफल है

$$ \frac{\sec^2\theta\,\Delta\theta}{2}, $$ चूंकि त्रिज्या सेकंड θ है और इकाई वृत्त पर चाप की लंबाई Δθ है। इसी प्रकार, दो छायांकित क्षेत्रों में से बड़े का क्षेत्रफल है

$$ \frac{\sec^2(\theta + \Delta\theta)\,\Delta\theta}{2}. $$ उनके बीच जो दबाया गया है वह त्रिभुज है जिसका आधार ऊर्ध्वाधर खंड है जिसके अंत बिंदु दो बिंदु हैं। त्रिभुज के आधार की लंबाई tan(θ + Δθ) - tan(θ) है, और ऊंचाई 1 है। इसलिए त्रिभुज का क्षेत्रफल है

$$ \frac{\tan(\theta + \Delta\theta) - \tan(\theta)}{2}. $$ असमानताओं से

$$ \frac{\sec^2\theta\,\Delta\theta}{2} \le \frac{\tan(\theta + \Delta\theta) - \tan(\theta)}{2} \le \frac{\sec^2(\theta + \Delta\theta)\,\Delta\theta}{2} $$ हम उसका निष्कर्ष निकालते हैं

$$ \sec^2\theta \le \frac{\tan(\theta + \Delta\theta) - \tan(\theta)}{\Delta\theta} \le \sec^2(\theta + \Delta\theta),$$ प्रदान किया गया Δθ > 0, और यदि Δθ < 0 है तो असमानताएं उलट जाती हैं। चूंकि पहली और तीसरी अभिव्यक्ति Δθ → 0 के रूप में sec2θ तक पहुंचती है, और मध्य अभिव्यक्ति $$ tan θ तक पहुंचती है, वांछित परिणाम इस प्रकार है।

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

$$\lim_{(x,y) \to (0, 0)} \frac{x^2 y}{x^2+y^2}$$ बिंदु से निकलने वाले रास्तों पर किसी भी संख्या में सीमाएँ लेकर इसे नहीं पाया जा सकता है, किन्तु चूंकि

$$0 \leq \frac{x^2}{x^2+y^2} \leq 1$$$$-\left | y \right \vert \leq y \leq \left | y \right \vert $$$$-\left | y \right \vert \leq \frac{x^2 y}{x^2+y^2} \leq \left | y \right \vert $$$$\lim_{(x,y) \to (0, 0)} -\left | y \right \vert = 0$$$$\lim_{(x,y) \to (0, 0)} \left |y \right \vert = 0$$$$0 \leq  \lim_{(x,y) \to (0, 0)} \frac{x^2 y}{x^2+y^2}  \leq  0$$ इसलिए, स्क्वीज़ प्रमेय द्वारा,

$$\lim_{(x,y) \to (0, 0)} \frac{x^2 y}{x^2+y^2} = 0$$

बाहरी संबंध

 * Squeeze Theorem by Bruce Atwood (Beloit College) after work by, Selwyn Hollis (Armstrong Atlantic State University), the Wolfram Demonstrations Project.
 * Squeeze Theorem on ProofWiki.
 * Squeeze Theorem on ProofWiki.