تعريف النهاية — ε-δ الحدس الكامل

تعريف النهاية من الحدس إلى الصرامة

كيف حوّل فايرشتراس “الاقتراب” إلى اختبار منطقي محصّن — وما الثمن الذي دفعته الرياضيات

---

التناقض المدفون في dt

نيوتن وليبنتز حسبا المشتقات وحصلا على نتائج صحيحة تجريبياً. لكنهما بنيا الأساس على جملة فيها تناقض منطقي صريح: “نقسم على التغيير في الزمن، ثم نجعل هذا التغيير يقترب من الصفر.”

صيغة نيوتن — القول الأصلي

$\frac{ds}{dt}={\lim }_{dt\to 0}\frac{s(t+dt)-s(t)}{dt}$

التناقض ظاهر في حالتين ولا مخرج منهما:

• الحالة الأولى — dt يساوي صفر:

  لو جعلنا dt مساوياً للصفر فعلاً، القسمة تنهار.

  s(t+0) - s(t) / 0  →  undefined (0/0)

• الحالة الثانية — dt لا يساوي صفر:

  لو أبقينا dt صغيراً لكن غير صفري، النتيجة تقريبية. الخطأ موجود مهما صغُر.

  result = exact + error(dt)  →  not exact

• المخرج المستخدم — الكميات المتلاشية:

  نيوتن سمّاها كميات في حالة وسيطة بين الصفر وغير الصفر. الرياضيون في القرن الثامن عشر هاجموا هذا المفهوم بشدة، وكان الهجوم مُحقاً.

هل هذه الكميات المتلاشية شيء أم لا شيء؟ لو كانت شيئاً فكيف نجعلها صفراً؟ ولو كانت لا شيء فكيف نقسم عليها؟

— بيركلي، ١٧٣٤

---

استبدال الحركة بالاختبار

كوشي ثم فايرشتراس فعلا شيئاً بسيطاً في ظاهره وعميقاً في جوهره: غيّرا السؤال.

• السؤال القديم:

  “ما القيمة التي تقترب منها الدالة؟” يفترض حركة، اقتراب، تحوّل ديناميكي.

• السؤال الجديد:

  “هل يمكنني ضبط المدخل بدقة كافية لضمان أي دقة أريدها في المخرج؟” لا حركة — فقط ضمان.

الفرق ليس صياغياً. الفرق فلسفي: الأول يصف، والثاني يضمن. النهاية لم تعد “نتيجة رحلة” — صارت “اجتياز اختبار.”

المنطق المعكوس

الاتجاه الطبيعي: أتحكم في المدخل وأرى ما يخرج. الاتجاه الجديد معكوس تماماً: تبدأ من المخرج — تحدد هامش خطأ حول النتيجة، ثم تُثبت أن هناك نطاقاً في المدخل يضمن أن كل نواتجه تقع داخل هامشك.

---

ما معنى كل جزء في تعريف ε–δ؟

التعريف الكامل — فايرشتراس

${\lim }_{x\to c}f(x)=L⟺\forall \epsilon >0,\exists \delta >0\text{ s.t. }0<|x-c|<\delta \Rightarrow |f(x)-L|<\epsilon$

1. ∀ε > 0 — “لأي هامش خطأ تختاره”

   الرمز ∀ يعني “لكل”. $\epsilon$ (إيبسيلون) عدد حقيقي موجب — هامش الخطأ المسموح به في المخرج. يجب أن يعمل التعريف مهما كان $\epsilon$ صغيراً.

2. ∃δ > 0 — “يوجد نطاق يُثبَت وجوده”

   الرمز ∃ يعني “يوجد”. $\delta$ (دلتا) عدد حقيقي موجب — النطاق حول $c$ في المدخل. بعد أن يختار “الخصم” قيمة $\epsilon$، يجب إثبات وجود $\delta$ مناسب. غالباً $\delta$ يعتمد على $\epsilon$ المختارة.

3. الجوار المفرغ — 0 < |x − c| < δ

   الجزء $0<|x-c|$ يمنع $x$ من مساواة $c$. يُقيَّم الاختبار فقط في النقاط المحيطة بـ $c$، لا في $c$ ذاتها. ما يحدث عند $c$ لا علاقة له بالنهاية.

4. ضمان المخرج — |f(x) − L| < ε

   إذا كانت $x$ داخل النطاق بـ $\delta$، فنتيجة الدالة يجب أن تقع داخل هامش $\epsilon$ من $L$. ليست وصفاً للاقتراب — هي مطالبة جبرية قابلة للتحقق.

---

لعبة الخصم — أسهل طريقة لفهم ∀∃

• الخصم — يختار ε:

  يختار هامش خطأ $\epsilon$ موجباً مهما كان صغيراً. مهمته إثبات أن النهاية خاطئة. يمكنه اختيار 10⁻¹⁰⁰.

• أنت — تجد δ:

  بعد اختيار الخصم لـ $\epsilon$، تجد $\delta$ يعتمد على $\epsilon$ يجعل الشرط محققاً. إذا نجحت دائماً فالنهاية موجودة.

لماذا الترتيب $\forall \epsilon$ ثم $\exists \delta$ مهم

لو كان الترتيب معكوساً $\exists \delta \forall \epsilon$ لعنى: “يوجد $\delta$ واحد يعمل لكل $\epsilon$” — شرط أقوى وخاطئ في الغالب. الترتيب الصحيح: لكل $\epsilon$ تختاره يمكنني إيجاد $\delta$ يناسبه — وقد يتغير $\delta$ مع كل اختيار لـ $\epsilon$.

---

الجوار المفرغ — لماذا يُستبعد c من الاختبار؟

$0<|x-c|<\delta$

Note

الجزء الذي يُستبعد فيه x = c هو الشرط الأول: 0 < |x − c|

1. النهاية تتعلق بالسلوك القريب لا بالقيمة في النقطة

   النهاية ${\lim }_{x\to c}f(x)$ سؤال عن ما يحدث قرب $c$ — ليس في $c$. الدالة قد تكون غير معرّفة عند $c$ ومع ذلك تكون لها نهاية.

2. المثال الكلاسيكي

   الدالة $\frac{\sin x}{x}$ غير معرّفة عند $x=0$ (قسمة على صفر). لكن نهايتها موجودة وتساوي $1$:

   ${\lim }_{x\to 0}\frac{\sin x}{x}=1$

Note

الدالة غير معرّفة عند $x=0$، والنهاية موجودة رغم ذلك

3. الجوار المفرغ — Punctured Neighborhood

   النطاق $(c-\delta ,c+\delta )$ بعد استبعاد $c$ ذاتها يُسمى الجوار المفرغ. $c$ معلّقة في الهواء — لا تؤثر في النهاية ولا يؤثر فيها.

الجوار المفرغ حول c = 2 مع δ = 0.8

---

أمثلة

مثال ١ — دالة مستمرة تماماً

$f(x)=x^2,c=2,L=4$

إثبات: $\delta =\min \left(1,\frac{\epsilon }{5}\right)$ تنجح لكل $\epsilon$ صغير.

الشريط الأصفر = هامش ε في المحور الصادي · الشريط الأخضر = نطاق δ في المحور السيني

الهامش ε2.00

هامش الخطأ في المخرج ε

2.0000

النطاق المناسب في المدخل δ

0.7321

مثال ٢ — ثقب في الدالة

$f(x)=\frac{x^2-4}{x-2},c=2,L=4$

$\frac{x^2-4}{x-2}=\frac{(x-2)(x+2)}{x-2}=x+2(x\ne 2)$

الدالة هي $x+2$ مع ثقب عند $x=2$. النهاية = $4$ رغم عدم وجود قيمة للدالة هناك.

الدائرة البيضاء عند c = 2 — الدالة غير معرّفة هناك، لكن النهاية موجودة

الهامش ε1.50

هامش الخطأ في المخرج ε

1.5000

النطاق المناسب في المدخل δ

1.5000

مثال ٣ — النهاية الكلاسيكية sin(x)/x

${\lim }_{x\to 0}\frac{\sin x}{x}=1$

$\cos x\le \frac{\sin x}{x}\le 1\forall x\ne 0$

وبما أن $\cos x\to 1$ فإن النهاية $1$ بالضرورة.

الدائرة المفرغة عند الأصل — الدالة غير معرّفة عند 0 لكن النهاية = 1

الهامش ε0.40

هامش الخطأ في المخرج ε

0.4000

النطاق المناسب في المدخل δ

—

مثال ٤ — نهاية غير موجودة

${\lim }_{x\to 0}\frac{|x|}{x}$

الدالة $\frac{|x|}{x}$ تساوي $+1$ عندما $x>0$، وتساوي $-1$ عندما $x<0$. ليس لها قيمة عند $x=0$.

اختر $\epsilon =\frac{1}{2}$. لأي $L$ مقترح ولأي $\delta >0$ مهما صغُر، يوجد $x>0$ داخل النطاق يعطي $f(x)=+1$، وآخر $x<0$ يعطي $f(x)=-1$.

$|L-1|<\frac{1}{2}\text{and}|L-(-1)|<\frac{1}{2}\Rightarrow 2=|1-(-1)|<1$

الشرطان معاً يستلزمان $2<1$ — تناقض، إذن النهاية غير موجودة.

حرّك L — ستظل إحدى القيمتين (+1 أو −1) تخرج من الشريط الأصفر دائماً

القيمة المقترحة L0.00

الهامش الثابت ε = 0.5

0.5000

حالة الاختبار

فاشل ✗

---

مقارنة

الجانب	نيوتن / ليبنتز	فايرشتراس
الأساس	كميات متلاشية تقترب من الصفر	أعداد حقيقية ثابتة ومتباينات
الطبيعة	ديناميكية — حركة واقتراب	ثابتة — اختبار في لحظة واحدة
التناقض	dt = 0 أو dt ≠ 0؟ لا مخرج	لا وجود لـ dt في التعريف أصلاً
عدم التعريف عند النقطة	إشكالية مفاهيمية	طبيعية — الجوار المفرغ يحلّها
إثبات عدم وجود النهاية	لا إطار رسمي	إثبات بالتناقض عبر المتباينات
الحدس البصري	قوي ومباشر	أقل مباشرة — يحتاج تدريباً
الصرامة المنطقية	ضعيفة — قابلة للهجوم	محصّنة تماماً

---

الثمن المدفوع

هذا التصويب لم يكن مجانياً. الرياضيات ربحت الصرامة التامة، وفي المقابل:

الخسارة

الصورة الذهنية الحركية اختفت من التعريف. “السرعة اللحظية” لم تعد تعني حرفياً تقسيم مسافة على زمن. النتائج العددية لم تتغير — مشتقة $x^2$ لا تزال $2x$. لكن الطريق تغيّر: لم يعد رسم صورة وحساب ميل — صار إثبات وجود $\delta$ مناسب لكل $\epsilon$ ممكن.

لهذا السبب يبدو التعريف معقداً في أول وهلة: هو مُصمَّم لمنع أي خداع ذهني ممكن، وليس لتسهيل الفهم. الدقة المطلقة والحدس المباشر نادراً ما يجتمعان.

الحل الحديث — التحليل غير القياسي

أبراهام روبنسون عام 1960 أعاد الأعداد المتناهية الصغر (Infinitesimals) إلى الرياضيات بصرامة تامة — داخل بنية تسمى حقل الأعداد الهايبررياضية. أثبت روبنسون أن حدس نيوتن كان صحيحاً في جوهره، لكنه كان يحتاج إطاراً رياضياً أكثر ثراءً مما كان موجوداً في القرن السابع عشر.

الرياضيات الحديثة فنٌّ من فنون الاشتقاق الصارم — تعريف دقيق يليه دقيق يليه دقيق، حتى لا يتسرب وهمٌ واحد.

— بول هالموس

---

كوشي 1821 · فايرشتراس 1861 · روبنسون 1960

تعريف ε–δ — التحليل الرياضي الحديث