In the first year calculus course at my university, we do not introduce the $\varepsilon$-$\delta$ definition of a limit. When considering the limit of a function of two variables, we resort to paths. That is, for the real-valued function $f$, defined in a deleted open neighbourhood of ${\bf a} \in \mathbb{R}^2$, we write $\displaystyle\lim_{{\bf x} \to {\bf a}}f({\bf x}) = L$ if the limit along every path to ${\bf a}$ is $L$.
Though we don't go into this detail, what is meant by the limit along a path is to pick a parameterisation $\gamma : (r, s) \to \mathbb{R}^2$ with $\displaystyle\lim_{t \to s^-}\gamma(t) = {\bf a}$, and then check that $\displaystyle\lim_{t \to s^-}f(\gamma(t)) = L$. Of course, without the $\varepsilon$-$\delta$ definition, this one-dimensional limit can only be deduced from limit laws and given fundamental limits.
Without loss of generality, suppose ${\bf a = 0}$. When asked to determine whether or not the limit $\displaystyle\lim_{{\bf x} \to {\bf 0}}f({\bf x})$ exists, there are only a couple of things the students can do:
- employ continuity if possible (limit laws may be needed),
- use polar coordinates together with the squeeze theorem,
- find a path along which the limit does not exist, and
- find two paths with have different limits.
The first two options can be used to show the limit exists, while the last two options can be used to show the limit does not exist. An efficient way to test limits along different paths is to try a whole family of paths simulateously, i.e. we could consider the family of quadratic paths given by $\gamma(t) = (t, kt^2)$ where $k \in \mathbb{R}$. If the limit $\displaystyle\lim_{t \to 0-}f(\gamma(t))$ exists and is independent of $k$, then along all of these paths, the limit is the same. This does not prove that $\displaystyle\lim_{{\bf x} \to {\bf 0}}f({\bf x})$ exists as there are still plenty of paths that have yet to be considered.
Questions:
Is there a reference which takes this approach to limits in higher dimensions (i.e. greater than one) in a rigorous way without using the $\varepsilon$-$\delta$ definition?
I wouldn't be surprised if the answer is no. However, I am somewhat more interested in the following question:
How pathological can two-dimensional limits be?
That is, along how many paths can the function have the same limit whilst still failing to have the overall limit existing? Is it possible to have all but one? I imagine there would be some sort of density argument that would prevent this.