एप्सिलॉन-डेल्टा ($ε$-$δ$) परिभाषा: गणितीय विश्लेषण में सीमा की कठोर नींव

1. प्रस्तावना: हाई स्कूल में सीमा (Limit) की “अस्पष्टता”

हाई स्कूल के गणित में जब सीमा की अवधारणा पहली बार पढ़ाई जाती है, तो इसे आमतौर पर सहज भाषा में समझाया जाता है:

“$x$ का मान $a$ के ‘अनंत रूप से निकट’ पहुँचने पर, यदि $f(x)$ का मान किसी निश्चित मान $L$ के निकट पहुँचता है, तो हम कहते हैं कि $\lim_{x \to a} f(x) = L$ है।”

यह सहज व्याख्या पहली बार में बहुत स्वाभाविक और समझने में आसान लगती है। एक कार धीरे-धीरे किसी मंजिल के करीब पहुँच रही है, या एक संख्या धीरे-धीरे किसी बिंदु की ओर सरक रही है।

लेकिन जैसे ही आप गणितीय रूप से गहराई से सोचना शुरू करते हैं, कई परेशान करने वाले सवाल उठते हैं:

“अनंत रूप से निकट” का वास्तव में क्या अर्थ है? क्या इसमें समय या गति की अवधारणा शामिल है?
क्या $x$ कभी $a$ के “बराबर” होता है या नहीं?
यदि हम किसी जटिल या असामान्य फलन (Pathological Function) का सामना करते हैं, तो हम केवल “निकट पहुँचने” के अंतर्ज्ञान के आधार पर कैसे साबित कर सकते हैं कि सीमा वास्तव में मौजूद है?

यहीं पर गणितीय विश्लेषण (Mathematical Analysis) की सबसे प्रसिद्ध और महत्वपूर्ण अवधारणा प्रवेश करती है: एप्सिलॉन-डेल्टा ($\epsilon$-$\delta$) परिभाषा। यह परिभाषा सीमा से समय, गति और अंतर्ज्ञान के सभी अस्पष्ट तत्वों को पूरी तरह से हटा देती है और इसे शुद्ध, अपरिवर्तनीय औपचारिक तर्क में बदल देती है।

2. कलन का इतिहास और कठोरता का संकट

17वीं शताब्दी के अंत में आइज़ैक न्यूटन (Isaac Newton) और गॉटफ्रीड विल्हेम लीबनिज (Gottfried Wilhelm Leibniz) ने स्वतंत्र रूप से कलन (Calculus) की खोज की। उन्होंने “अनंतसूक्ष्म (Infinitesimal)” राशियों का उपयोग किया—ऐसी संख्याएँ जो शून्य नहीं हैं लेकिन किसी भी वास्तविक धनात्मक संख्या से छोटी हैं।

कलन ने भौतिकी और खगोल विज्ञान में असाधारण सफलता हासिल की, लेकिन 18वीं शताब्दी के दार्शनिकों जैसे जॉर्ज बर्कले (George Berkeley) ने इसकी तार्किक नींव पर तीखा हमला किया। उन्होंने अनंतसूक्ष्म राशियों को “प्रस्थान कर चुकी मात्राओं के भूत (Ghosts of departed quantities)” कहकर उपहास उड़ाया, क्योंकि एक क्षण उन्हें शून्य नहीं माना जाता था (विभाजन के लिए) और अगले ही क्षण उन्हें शून्य मानकर हटा दिया जाता था।

इस “कठोरता के संकट” को हल करने के लिए 19वीं शताब्दी के महान गणितज्ञों—विशेष रूप से ऑगस्टिन-लुई कॉची (Augustin-Louis Cauchy) और कार्ल वायरस्ट्रास (Karl Weierstrass)—ने अनंतसूक्ष्म के विचार को त्याग दिया और असमानताओं पर आधारित एक पूर्णतः स्थिर और तार्किक परिभाषा तैयार की: एप्सिलॉन-डेल्टा पद्धति।

3. औपचारिक $\epsilon$-$\delta$ परिभाषा

आइए वास्तविक फलनों के लिए सीमा की औपचारिक परिभाषा को देखें:

परिभाषा: फलन की सीमा ($\epsilon$-$\delta$ परिभाषा)
माना कि $f(x)$ बिंदु $a$ के निकट (संभवतः $a$ को छोड़कर) परिभाषित एक वास्तविक फलन है, और $L \in \mathbb{R}$ एक वास्तविक संख्या है।
हम कहते हैं कि $\lim_{x \to a} f(x) = L$ है, यदि और केवल यदि:
\[ 0 < |x - a| < \delta \implies |f(x) - L| < \epsilon \]\[ \forall \epsilon > 0, \; \exists \delta > 0 \; \text{s.t.} \; (0 < |x - a| < \delta \implies |f(x) - L| < \epsilon) \]

प्रत्येक प्रतीक का अर्थ अत्यंत स्पष्ट और निश्चित है:

$\epsilon$ (एप्सिलॉन): आउटपुट मान $f(x)$ और लक्षित सीमा $L$ के बीच की “अनुमेय त्रुटि” (Error Tolerance)। यह शून्य से बड़ा कोई भी वास्तविक मान हो सकता है, चाहे वह कितना भी छोटा ($0.0001, 10^{-100}$) क्यों न हो।
$\delta$ (डेल्टा): इनपुट मान $x$ और बिंदु $a$ के बीच की “स्वीकार्य दूरी”। हमें यह दिखाना होता है कि $\epsilon$ के अनुसार हम हमेशा एक उपयुक्त $\delta$ खोज सकते हैं।
$0 < |x - a|$: इसका अर्थ है कि $x \neq a$। सीमा का अध्ययन करते समय हमें इस बात से कोई सरोकार नहीं होता कि फलन स्वयं बिंदु $a$ पर क्या मान लेता है (या वहाँ परिभाषित भी है या नहीं)।

3.1. एक प्रतिद्वंद्वी (राक्षस) के साथ खेल के रूप में व्याख्या

$\epsilon$-$\delta$ परिभाषा को समझने का सबसे सहज तरीका इसे एक दो-खिलाड़ी खेल (Turn-based Game) के रूप में देखना है:

चुनौती देने वाला (प्रतिद्वंद्वी): आपके सामने एक अत्यंत सूक्ष्म त्रुटि सीमा $\epsilon > 0$ रखता है (जैसे: “क्या तुम $f(x)$ को $L$ के इतने करीब रख सकते हो कि अंतर $\epsilon = 0.00001$ से भी कम हो?")।
आप (प्रमाणकर्ता): आपको एक ऐसी सीमा $\delta > 0$ चुनकर जवाब देना होगा कि जब भी $x$ बिंदु $a$ से $\delta$ दूरी के भीतर हो ($0 < |x - a| < \delta$), तब $f(x)$ अनिवार्य रूप से प्रतिद्वंद्वी द्वारा तय किए गए दायरे $|f(x) - L| < \epsilon$ के भीतर गिर जाए।

यदि आप प्रतिद्वंद्वी द्वारा दिए गए किसी भी मनमाने $\epsilon > 0$ के लिए हमेशा एक वैध $\delta > 0$ प्रस्तुत करने की सामान्य विधि (रणनीति) खोज सकते हैं, तो आप खेल जीत जाते हैं—और सीमा सिद्ध हो जाती है!

4. ठोस उदाहरणों के साथ प्रमाण

आइए देखें कि इस परिभाषा का उपयोग करके गणितीय प्रमाण वास्तव में कैसे लिखे जाते हैं।

4.1. रैखिक फलन का प्रमाण

समस्या: $\epsilon$-$\delta$ परिभाषा का उपयोग करके सिद्ध करें कि $\lim_{x \to 3} (2x + 1) = 7$ है।

\[ |2x - 6| < \epsilon \iff 2|x - 3| < \epsilon \iff |x - 3| < \frac{\epsilon}{2} \]

यहाँ $|x - 3|$ ठीक वही रूप है जो $0 < |x - a| < \delta$ में दिखाई देता है। अतः स्पष्ट रूप से $\delta = \frac{\epsilon}{2}$ चुनना काम करेगा।

औपचारिक प्रमाण:

कोई भी $\epsilon > 0$ दिया गया मान लें।
$\delta = \frac{\epsilon}{2}$ चुनें। चूँकि $\epsilon > 0$ है, इसलिए $\delta > 0$ भी है।
अब मान लें कि $0 < |x - 3| < \delta$ है।
तब: $ |(2x + 1) - 7| = |2x - 6| = 2|x - 3| < 2\delta = 2\left(\frac{\epsilon}{2}\right) = \epsilon $
चूँकि प्रत्येक $\epsilon > 0$ के लिए ऐसा $\delta > 0$ मौजूद है, इसलिए $\epsilon$-$\delta$ परिभाषा के अनुसार: $ \lim_{x \to 3} (2x + 1) = 7 $ प्रमाण समाप्त। $\blacksquare$

4.2. द्विघात फलन का प्रमाण ($\delta$-प्रतिबंध तकनीक)

समस्या: सिद्ध करें कि $\lim_{x \to 2} x^2 = 4$ है।

\[ |(x - 2)(x + 2)| = |x - 2| \cdot |x + 2| < \epsilon \]

यहाँ हमारे पास $|x - 2|$ है जिसे हम $\delta$ से नियंत्रित कर सकते हैं, लेकिन अतिरिक्त पद $|x + 2|$ भी मौजूद है।

\[ 1 < x < 3 \implies 3 < x + 2 < 5 \implies |x + 2| < 5 \]\[ |x^2 - 4| = |x - 2| \cdot |x + 2| < 5|x - 2| \]

यदि हम चाहते हैं कि $5|x - 2| < \epsilon$ हो, तो हमें $|x - 2| < \frac{\epsilon}{5}$ चाहिए।

अतः हम दोनों शर्तों को पूरा करने के लिए $\delta = \min\left(1, \frac{\epsilon}{5}\right)$ चुनते हैं।

औपचारिक प्रमाण:

कोई भी $\epsilon > 0$ दिया गया मान लें।
$\delta = \min\left(1, \frac{\epsilon}{5}\right)$ चुनें। स्पष्ट रूप से $\delta > 0$ है।
मान लें कि $0 < |x - 2| < \delta$ है।
चूँकि $\delta \le 1$ है, $|x - 2| < 1$ से $x \in (1, 3)$ प्राप्त होता है, जिससे $|x + 2| < 5$ सिद्ध होता है।
इसके अतिरिक्त, चूँकि $|x - 2| < \delta \le \frac{\epsilon}{5}$ है: $ |x^2 - 4| = |x - 2| \cdot |x + 2| < \left(\frac{\epsilon}{5}\right) \times 5 = \epsilon $
अतः $\lim_{x \to 2} x^2 = 4$ पूर्णतः सिद्ध होता है। $\blacksquare$

5. “निकट पहुँचना” पर्याप्त क्यों नहीं है: असामान्य फलनों का प्रवेश

यदि हाई स्कूल की सहज परिभाषा सामान्य बहुपदों के लिए काम करती है, तो हमें इतनी कठोर परिभाषा की आवश्यकता क्यों है? इसका उत्तर यह है कि कई ऐसे फलन मौजूद हैं जहाँ अंतर्ज्ञान पूरी तरह से टूट जाता है।

उदाहरण 1: डिरिचलेट फलन (Dirichlet Function)

\[ D(x) = \begin{cases} 1 & (x \in \mathbb{Q}, \text{ परिमेय संख्याएँ}) \\ 0 & (x \notin \mathbb{Q}, \text{ अपरिमेय संख्याएँ}) \end{cases} \]

वास्तविक संख्याओं के सघनता गुण (Density property) के कारण, किसी भी बिंदु $a$ के चाहे कितने भी पास जाएं, अनंत परिमेय और अनंत अपरिमेय संख्याएँ एक साथ मौजूद होती हैं। अतः $D(x)$ का मान निरंतर 0 और 1 के बीच दोलन करता है। $\epsilon$-$\delta$ परिभाषा का उपयोग करके आसानी से सिद्ध किया जा सकता है कि किसी भी बिंदु पर इसकी सीमा का अस्तित्व नहीं है (यदि हम $\epsilon = 0.5$ चुनें, तो कोई भी $\delta > 0$ दोनों मानों को एक साथ शामिल नहीं कर सकता)।

उदाहरण 2: $f(x) = \sin(1/x)$ (शून्य के निकट)

जैसे-जैसे $x \to 0$ होता है, $1/x \to \infty$ होता है और ज्या फलन $[-1, 1]$ के बीच अनंत रूप से तेजी से दोलन करता है। यह किसी भी एकल मान की ओर अग्रसर नहीं होता।

$\epsilon$-$\delta$ परिभाषा हमें ऐसे जटिल और चरम मामलों में भी बिना किसी व्यक्तिगत भ्रम के यह निर्णायक रूप से निर्धारित करने की तार्किक क्षमता देती है कि सीमा मौजूद है या नहीं।

6. आगे के विस्तार: अनंत पर सीमाएँ

$\epsilon$-$\delta$ तर्क का उपयोग अनंत की ओर जाने वाली सीमाओं को परिभाषित करने के लिए भी समान सुंदरता के साथ किया जाता है:

$\lim_{x \to \infty} f(x) = L$ की परिभाषा
\[ x > M \implies |f(x) - L| < \epsilon \]

यहाँ $x$ के पास जाने की दूरी $\delta$ के बजाय, हमें एक बहुत बड़ी संख्या $M$ खोजनी होती है जिसके आगे जाने पर फलन का मान वांछित त्रुटि $\epsilon$ के भीतर रहता है।

इसी प्रकार, जब फलन का मान अनंत की ओर बढ़ता है ($\lim_{x \to a} f(x) = \infty$), तो परिभाषा बन जाती है: प्रत्येक $K > 0$ के लिए, एक ऐसा $\delta > 0$ मौजूद होता है कि $0 < |x - a| < \delta \implies f(x) > K$।

7. निष्कर्ष

$\epsilon$-$\delta$ परिभाषा गणित के इतिहास में तार्किक शुद्धिकरण की सबसे बड़ी जीतों में से एक है:

इसने कलन को समय, गति और “अनंतसूक्ष्म” के आध्यात्मिक या अस्पष्ट अंतर्ज्ञान से मुक्त किया।
इसने सीमा को दो वास्तविक संख्याओं $\epsilon$ और $\delta$ के बीच असमानताओं के सार्वभौमिक संबंध में बदल दिया।
यह आधुनिक गणितीय विश्लेषण, वास्तविक विश्लेषण (Real Analysis), टोपोलॉजी (Topology) और बहुचर कलन की आधारशिला है।

पहली नज़र में यह परिभाषा डरावनी और कठिन लग सकती है, लेकिन एक बार जब आप इसे “एक चुनौतीपूर्ण खेल जहाँ आप हमेशा सही $\delta$ प्रस्तुत कर सकते हैं” के रूप में समझ लेते हैं, तो गणित की वह परम स्पष्टता और अपरिमित सुंदरता प्रकट होती है जो सदियों से विचारकों को मुग्ध करती रही है।