Qual o significado de uma função f(x, y) ter limite L quando (x, y) \rightarrow \left(x_{0}, y_{0}\right) ? Como você poderia provar a não existência de um limite? (1,0)
Passo 1
O limite
\lim_{(x,y)\to(x_{0},y_{0})}f(x,y)=L
significa que, conforme o par (x,y) se aproxima de \bigl(x_{0},y_{0}\bigr) (por qualquer direção), os valores de f(x,y) ficam arbitrariamente próximos de L. Para fazer isso rigorosamente, usamos a definição em termos de \varepsilon e \delta.
Passo 2
Definição formal: dizemos que
\lim_{(x,y)\to(x_{0},y_{0})}f(x,y)=L
se, para todo \varepsilon>0, existir \delta>0 tal que, sempre que
0<\sqrt{(x-x_{0})^{2}+(y-y_{0})^{2}}<\delta,
então
\bigl|f(x,y)-L\bigr|<\varepsilon.
Em palavras, dentro do disco de raio \delta centrado em (x_{0},y_{0}), exceto o próprio ponto, f(x,y) fica em um intervalo de raio \varepsilon em torno de L.
Passo 3
Para provar a não existência do limite em \bigl(x_{0},y_{0}\bigr), suponha, por contradição, que exista algum número L que seja o limite. Então, para esse L e para \varepsilon>0 convenientemente escolhido, deveríamos encontrar um \delta>0 satisfazendo a definição. A estratégia típica é mostrar que isso falha: produzimos duas maneiras diferentes de nos aproximar de \bigl(x_{0},y_{0}\bigr) (duas “rotas” ou duas sequências (x_{n},y_{n})\to(x_{0},y_{0})) tais que
Para provar que não existe limite em (1,0), basta encontrar duas sequências (ou duas curvas) que cheguem a (1,0) mas em que f tenha limites diferentes. Por exemplo, ao longo de y=0 e de y=x-1, se os limites de f nesses dois caminhos forem distintos, não há limite único em (1,0).