نهاية أحادية الجانب

الوظيفة $f(x)=x^2+\mathrm{sign}(x),$ أين $\mathrm{sign}(x)$ تشير إلى وظيفة الإشارة ، ولها حد أيسر من $-1,$ حد الحق $+1,$ وقيمة الدالة $0$ في هذه النقطة $x=0.$

تشير نهاية أحادية الجانب في حساب التفاضل والتكامل إلى أنَّ أحد حدي الدالة $f(x)$ متغير حقيقي $x$ يقترب من نقطة محددة إما من اليسار أو من اليمين.

النهاية تكون عندما ينقص المتغير $x$ ويقترب $a$ ( فإن المتغير $x$ يقترب من $a$ "من اليمين" أو "من أعلى") ويمكن الإشارة إليها كما يلي:$$\underset{x\to a^{+}}{\lim }f(x)\text{ or }\underset{x\downarrow a}{\lim }f(x)\text{ or }\underset{x\searrow a}{\lim }f(x)\text{ or }f(x+)$$نهاية $x$ تزداد في القيمة لتقترب من $a$ ( $x$ يقترب من $a$ "من اليسار" أو "من الأسفل") يمكن الإشارة إليها كما يلي:$$\underset{x\to a^{-}}{\lim }f(x)\text{ or }\underset{x\uparrow a}{\lim }f(x)\text{ or }\underset{x\nearrow a}{\lim }f(x)\text{ or }f(x-)$$إذا كان المتغير $x$ في الدالة $f(x)$ يقترب من $a$ إذن النهايات من اليسار ومن اليمين كلاهما موجودان ومتساويان. في بعض الحالات التي يكون فيها الحد غير موجود، مع ذلك فإن الحدين أحادييّ الجانب موجودان: $$\underset{x\to a}{\lim }f(x)$$وبالتالي ، فإن المتغير $x$ الذي يقتر من $a$ يُطلق عليه أحيانًا "نهاية ذات وجهين". 

من الممكن أن يوجد أحد النهايتين من جهة واحدة فقط (بينما الأخرى غير موجودة). من الممكن أيضًا عدم وجود أي من النهايتين أحاديتا الجانب.

التعريف الرسمي

تعريف

إذا كان $I$ يمثل بعض الفترات المضمنة في المجال $f$ و كانت $a$ نقطة في $I$ والنهاية للمتغير $x$ تقترب من الجانب الأيمن من $a$ يمكن تعريفها بدقة على أنها القيمة $R$ التي تحقق: $$\text{for all }\epsilon >0\text{ there exists some }\delta >0\text{ such that for all }x\in I,\text{ if }0<x-a<\delta \text{ then }|f(x)-R|<\epsilon ,$$والنهاية من الجهة اليسرى للمتغير $x$ عندما يقترب من $a$ يمكن تعريفها بدقة على أنها القيمة $L$ التي تحقق:$$\text{for all }\epsilon >0\text{ there exists some }\delta >0\text{ such that for all }x\in I,\text{ if }0<a-x<\delta \text{ then }|f(x)-L|<\epsilon .$$وبشكل تجريدي ومجمل لما يسبق، يمكننا القول:

لو كانت $I$ تمثل المجال الفاصل حيث $I\subseteq \mathrm{d}\mathrm{o}\mathrm{m}\mathrm{a}\mathrm{i}\mathrm{n}(f)$ ، و $a\in I$ .

$$\underset{x\to a^{+}}{\lim }f(x)=R⟺(\mathrm{\forall }\epsilon \in {ℝ}_{+},\mathrm{\exists }\delta \in {ℝ}_{+},\mathrm{\forall }x\in I,(0<x-a<\delta ⟶|f(x)-R|<\epsilon ))$$

$$\underset{x\to a^{-}}{\lim }f(x)=L⟺(\mathrm{\forall }\epsilon \in {ℝ}_{+},\mathrm{\exists }\delta \in {ℝ}_{+},\mathrm{\forall }x\in I,(0<a-x<\delta ⟶|f(x)-L|<\epsilon ))$$

حدسية

بالمقارنة مع التعريف الرسمي لنهاية الدالة عند نقطة ما ، فإن النهاية أحادية الجانب تعمل فقط مع قيم الإدخال إلى جانب واحد من قيمة الإدخال التي اقترب منها المتغير.

$$\underset{x\to a}{\lim }f(x)=L⟺\mathrm{\forall }\epsilon \in {ℝ}_{+},\mathrm{\exists }\delta \in {ℝ}_{+},\mathrm{\forall }x\in I,0<|x-a|<\delta ⟹|f(x)-L|<\epsilon$$

لتعريف النهاية أحادية الجانب علينا تعديل هذه المتباينة. لاحظ أن المسافة المطلقة بين $x$ و $a$ يكون$$|x-a|=|(-1)(-x+a)|=|(-1)(a-x)|=|(-1)||a-x|=|a-x|$$