لامتناهي الصغر

استُخدم لامتناهي الصغر أو اللامتناهي في الصغر أو لانهائي الصغر أو اللامتناهي (بالإنجليزية: Infinitesimal)، الذي يُسمى خطأً بمتناهي الصغر أو المتناهي في الصغر، في الرياضيات للتعبير عن قيم بالغة الضآلة، بحيثُ تعبر عن تغيير دقيق جدا لحالة، مثل تغير صغير جدا في درجة الحرارة أو تغير صغير جدا في الحجم. في الاستخدام الدارج؛ تعني هذه الصفة بأن التغير صغير للغاية، ولكنه لا يساوي صِفراً.

قبل القرن التاسع عشر، لم يكن أيٌّ من المفاهيم الرياضية التي نعرفها اليوم معرفًا بطريقة دقيقة، رغمَ أن هذه المفاهيم كانت موجودة فعلاً. مؤسِّسوا علم التفاضل والتكامل؛ لَيبنيز ونيوتن وأويلر ولاغرانج وبرنولي وكثيرون غيرهم، استخدموا الأالموحِلة بنفس الطريقة المعروضة هنا، ووصلوا إلى نتائجَ صحيحةٍ جوهرياً؛ رغم أنه لم يكن يوجد تعريف رياضي دقيق للرقم الموحل آنذاك (من المثير للاهتمام أنه لم يكن يوجد تعريفٌ رياضي دقيقٌ لمجموعة الأعداد الحقيقيَّة في ذلك الحين أيضًا).

الاستخدام الأصلي للقيم الموحلة في الرياضيات

مثالٌ نموذجيٌّ من استخدام نيوتن ولَيْبنيز لقيم موحلة عند تأسيسهما لعلم التفاضل والتكامل يمكن أن يكون المثال التالي:

نريد الحصول على المُشتقة ص'(س) للدالة :

ص(س) = س ²

نفترض تغيرا صغيرا دس لقيمة س ونحسب التغير الناشئ عنه في قيمة ص .

سنقوم بذلك باستخدام الرموز الإنجليزية، وعندئذ نجد المشتقة $f'(x)$ كالآتي :

$f'(x)={\frac {f(x+\mathrm {d} x)-f(x)}{\mathrm {d} x}}={\frac {x^{2}+2x\cdot \mathrm {d} x+\left(\mathrm {d} x\right)^{2}-x^{2}}{\mathrm {d} x}}=2x+\mathrm {d} x=2x,$

إذ إن دس (أي dx) قيمة موحلة في الصغر.

هذه المحاججة، رغم جمالها، وخروجها بنتيجة صحيحة، ليست رصينة رياضيًا. وقد هاجم بِشُب باركلي استخدام الأعداد الموحلة وخطَّأهُ في كتابهِ «المُحلِّل» (المحلل). المشكلةُ الأساسية هنا هي أن دس تُعامل في البداية على أنها رقم غير صِفري (تمكن القسمة عليه)، ثم تطرحُ جانبًا كما لو أنَّها كانت صفرًا. التَّعريف البسيط للرقم الموحل هو أنهُ رقمٌ قيمته المُطلقة أقل من أيِّ عدد موجبٍ غير صفريِّ. هنا، ومن هذا التعريف، يُمكن الوصول إلى أنه لا يوجد رقم حقيقيٌّ موحلٌ غيرُ صفري. إن أخذنا بعين الاعتبار الأعداد الموجبة فقط، فالطريقة الوحيدة لأي رقم حتى يكون أقلَّ من جميع الأعداد هيَ أن يكون أدنى رقمٍ موجب. إن كان ع هذا الرقم، فماذا ستكون قيمة ع/2؟ أو، إن كان ع لا يتجزأ؛ فهل يظل رقمًا؟ أيضًا، وببساطة، فإن مقلوبَ رقمٍ موحلٍ يجب أن يكون ذا مقدارٍ غير محدود، لكنَّ هذا سيجعله أكبر رقمٍ في حينِ لا يوجد رقمٌ مثلُ ذلك؛ رقمٌ يمكن اعتباره آخرَ رقمٍ في مجموعة الأعداد . على الرغم من هذا، يُمكن توسيع مجموعة الأعداد الحقيقية وتعديلُها لتشمل الأعداد الموحِلة، كما هو الحالُ في الأعداد الحقيقية المزدوجة والأعداد الحقيقية الفائقة، لكن هذا لا يُمكن إنجازه مالم تُستبعد خصائص معيَّنة من مجموعة الأعداد الحقيقية.

لم يُمنح علم التفاضل والتكامل تأسيسًا رياضيًا رصينًا حتى النصف الثاني من القرن التاسعِ عشر، على يد كارل فايرستراس وآخرين، باستخدام اصطلاح النهاية الرياضية. أما في القرن العشرين، فقد وُجِدَ أن الأعداد الموحلة يمكن بعد كلِّ هذا الوقت، أن تُعالج معالجةً رياضية رصينة. كلتا الصياغتين صحيحتان، وكِلتاهما تُعطيان النتائج نفسَها إن استُخدمتا بشكل صحيح.