Nedeterminare

În matematică, mai precis în analiza reală, o nedeterminare este o operație imposibilă de efectuat care apare în determinarea unei limite.

Spre exemplu, dacă $\textstyle \lim _{x\to 0}f(x)=0$ și $\textstyle \lim _{x\to 0}g(x)=0$, atunci $\textstyle \lim _{x\to 0}f(x)/g(x)=0$ este o nedeterminare de tip 0 / 0. Cuvântul „nedeterminare” se referă faptului că, operația respectivă nefiind definită, simplul fapt că $\textstyle \lim _{x\to 0}f(x)=0$ și $\textstyle \lim _{x\to 0}g(x)=0$ nu este suficient pentru a determina valoarea limitei $\textstyle \lim _{x\to 0}f(x)/g(x)=0$, sau chiar dacă această limită există. Acest exemplu este detaliat mai jos.

Nu toate operațiile imposibile de efectuat care apar în determinarea unei limite sunt nedeterminări. De pildă, chiar dacă împărțirea cu zero nu este definită în cadrul algebrei numelor reale, operația a / 0 nu este considerată o nedeterminare când a ≠ 0, pentru că determinarea limitei corespunzătoare este ușoară. Există șapte tipuri de nedeterminări:

${\frac {0}{0}},\;{\frac {\infty }{\infty }},\;0\times \infty ,\;\infty -\infty ,\;0^{0},\;1^{\infty },$ și $\infty ^{0}.$

Faptul de a determina existența și valoarea unei limite sub formă nedeterminată se numește ridicarea nedeterminării. Exisță diverse metode și teoreme pentru a ridica o nedeterminare, precum regula lui l'Hôpital.

Exemplu introductiv: nedeterminarea 0 / 0

Fie f și g două funcții astfel încât $\textstyle \lim _{x\to 0}f(x)=\lim _{x\to 0}g(x)=0$. În general, $\textstyle \lim _{x\to 0}f(x)/g(x)=0$ este o nedeterminare, pentru că, chiar dacă există, limita poate lua orice valoare. De exemplu:

• $f(x)=ax$ și $g(x)=x\implies f(x)/g(x)=a\implies \lim _{x\to 0}f(x)/g(x)=a.$
• $f(x)=x^{2}$ și $g(x)=x\implies f(x)/g(x)=x\implies \lim _{x\to 0}f(x)/g(x)=0.$
• $f(x)=|x|$ și $g(x)=x^{2}\implies f(x)/g(x)={\tfrac {1}{|x|}}\implies \lim _{x\to 0}f(x)/g(x)=+\infty .$

De fapt, se poate și să nu existe limita:

• $f(x)=x$ și $g(x)=x^{2}\implies f(x)/g(x)=1/x\implies \lim _{x\to 0}f(x)/g(x)$ nu există, pentru că $\lim _{x\to 0^{-}}f(x)/g(x)=-\infty \neq \lim _{x\to 0^{+}}f(x)/g(x)=+\infty .$
• $f(x)=x\sin(1/x)$ și $g(x)=x^{2}\implies f(x)/g(x)=\sin(1/x)/x\implies \lim _{x\to 0^{+}}f(x)/g(x)$ nu există, pentru că $f(x)/g(x)$ oscilează între $-\infty$ și $+\infty$ în vecinătatea lui $0^{+}$.

Dacă $\textstyle \lim _{x\to 0}g(x)=0$ dar $\textstyle \lim _{x\to 0}f(x)=a\neq 0$, limita $\textstyle \lim _{x\to 0}f(x)/g(x)$ nu este considerată o nedeterminare, pentru că valoarea limitei depinde numai de semnul lui a și semnul lui g în vecinitatea lui 0. Spre exemplu, dacă există $\epsilon >0$ astfel încăt $g(x)>0$ pentru orice $x\in [-\epsilon ,\epsilon ]$ cu $x\neq 0$:

• $a>0\implies \lim _{x\to 0}f(x)/g(x)=+\infty$
• $a<0\implies \lim _{x\to 0}f(x)/g(x)=-\infty$.

Și dacă $g(x)<0$ pentru orice $x\in [-\epsilon ,\epsilon ]$ cu $x\neq 0$:

• $a>0\implies \lim _{x\to 0}f(x)/g(x)=-\infty$
• $a<0\implies \lim _{x\to 0}f(x)/g(x)=+\infty$.

Însă, dacă semnul lui g nu este constant în vecinitatea lui 0, limita nu există.

Clasificarea nedeterminărilor

Tabelul următor detailează șaptele tipuri de nedeterminări. Aici, $c\in \mathbb {R} \cup \{\pm \infty \}$.

Nedeterminarea	Limita dorită	Limita lui $f$	Limita lui $g$
$\infty -\infty$	$\lim _{x\to c}{\big (}f(x)-g(x){\big )}$	$\lim _{x\to c}f(x)=+\infty$	$\lim _{x\to c}g(x)=+\infty$
$0/0$	$\lim _{x\to c}{\frac {f(x)}{g(x)}}$	$\lim _{x\to c}f(x)=0$	$\lim _{x\to c}g(x)=0$
$\infty /\infty$	$\lim _{x\to c}{\frac {f(x)}{g(x)}}$	$\lim _{x\to c}f(x)=\pm \infty$	$\lim _{x\to c}g(x)=\pm \infty$
$0\times \infty$	$\lim _{x\to c}f(x)g(x)$	$\lim _{x\to c}f(x)=0$	$\lim _{x\to c}g(x)=\pm \infty$
$1^{\infty }$	$\lim _{x\to c}f(x)^{g(x)}$	$\lim _{x\to c}f(x)=1$	$\lim _{x\to c}g(x)=\pm \infty$
$\infty ^{0}$	$\lim _{x\to c}f(x)^{g(x)}$	$\lim _{x\to c}f(x)=\pm \infty$	$\lim _{x\to c}g(x)=0$
$0^{0}$	$\lim _{x\to c}f(x)^{g(x)}$	$\lim _{x\to c}f(x)=0$	$\lim _{x\to c}g(x)=0$

Expresii ca $a/0,\;\infty /0,\;0^{\infty },\;0/\infty$ sau $\infty ^{1}$ nu sunt nedeterminări, chiar dacă nu sunt definite în cadrul algebrei numelor reale.

Chiar dacă există șapte tipuri de nedeterminări, în realitate toate sunt echivalente, în sensul că există operații care transformă un tip de nedeterminare într-un alt. De exemplu, dacă $\textstyle \lim _{x\to c}f(x)/g(x)$ este de tip $\infty /\infty$, atunci $\textstyle \lim _{x\to c}f(x)/g(x)=\lim _{x\to c}{\frac {1/g(x)}{1/f(x)}}$, care este de tip 0 / 0. În mod asemănător, dacă $f>0$ și $\textstyle \lim _{x\to c}f(x)^{g(x)}$ este de tip $\infty ^{0}$, atunci $f(x)^{g(x)}=\exp[\log(f(x))g(x)]$ și, prin continuitatea funcții exponențiale, $\textstyle \lim _{x\to c}f(x)/g(x)=\lim _{x\to c}\exp[\log(f(x))g(x)]=\exp[\lim _{x\to c}\log(f(x))g(x)]$, cu $\lim _{x\to c}\log(f(x))g(x)$ de tip $\infty \times 0$.

Vezi și

• Regula lui l'Hôpital
• Infinit
• Mulțime, secținea „Cardinalitatea unei mulțimi”