Nedeterminare

În matematică, mai precis în analiza reală, o nedeterminare este o operație nedefinită care poate apărea la aflarea unei limite.

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

Nu toate operațiile imposibil 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 numerelor reale, operația Format:Math nu este considerată o nedeterminare când Format:Math, pentru că determinarea limitei corespunzătoare este ușoară, existând un singur rezultat. Există șapte tipuri de nedeterminări:

$\frac{0}{0},\frac{\mathrm{\infty }}{\mathrm{\infty }},0\times \mathrm{\infty },\mathrm{\infty }-\mathrm{\infty },0^0,1^{\mathrm{\infty }},$ și ${\mathrm{\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 Format:Mvar și Format:Mvar două funcții astfel încât $\underset{x\to 0}{\lim }f(x)=\underset{x\to 0}{\lim }g(x)=0$. În general, $\underset{x\to 0}{\lim }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⟹f(x)/g(x)=a⟹\underset{x\to 0}{\lim }f(x)/g(x)=a.$
• $f(x)=x^2$ și $g(x)=x⟹f(x)/g(x)=x⟹\underset{x\to 0}{\lim }f(x)/g(x)=0.$
• $f(x)=|x|$ și $g(x)=x^2⟹f(x)/g(x)=\frac{1}{|x|}⟹\underset{x\to 0}{\lim }f(x)/g(x)=+\mathrm{\infty }.$

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

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

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

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

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

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

Însă, dacă semnul lui Format:Mvar 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 ℝ\cup \{\pm \mathrm{\infty }\}$.

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

Expresii ca $a/0,\mathrm{\infty }/0,0^{\mathrm{\infty }},0/\mathrm{\infty }$ sau ${\mathrm{\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ă $\underset{x\to c}{\lim }f(x)/g(x)$ este de tip $\mathrm{\infty }/\mathrm{\infty }$, atunci $\underset{x\to c}{\lim }f(x)/g(x)=\underset{x\to c}{\lim }\frac{1/g(x)}{1/f(x)}$, care este de tip Format:Math. În mod asemănător, dacă $f>0$ și $\underset{x\to c}{\lim }f(x{)}^{g(x)}$ este de tip ${\mathrm{\infty }}^0$, atunci $f(x{)}^{g(x)}=\exp [\log (f(x))g(x)]$ și, prin continuitatea funcții exponențiale, $\underset{x\to c}{\lim }f(x)/g(x)=\underset{x\to c}{\lim }\exp [\log (f(x))g(x)]=\exp [\underset{x\to c}{\lim }\log (f(x))g(x)]$, cu $\underset{x\to c}{\lim }\log (f(x))g(x)$ de tip $\mathrm{\infty }\times 0$.

Vezi și

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