Math 2.0

concept

Limit along different paths

Summary

Let ff be a function on D⊆RnD \subseteq \mathbb{R}^n and let aa be a limit point of DD. Let γ ⁣:(0,1]→D\gamma \colon (0, 1] \to D be a path, for example a curve, with γ(t)≠a\gamma(t) \ne a for each tt and γ(t)→a\gamma(t) \to a as t→0+t \to 0^+. If lim⁡x→af(x)=L\lim_{x \to a} f(x) = L, then lim⁡t→0+f(γ(t))=L\lim_{t \to 0^+} f(\gamma(t)) = L. So if two such paths give different limits, or one path gives no limit, then the limit of ff at aa does not exist.

Remarks

For f(x,y)=xy/(x2+y2)f(x, y) = xy / (x^2 + y^2) on R2∖{(0,0)}\mathbb{R}^2 \setminus \{(0, 0)\}, the path y=mxy = m x gives the limit m/(1+m2)m / (1 + m^2) at the origin. This depends on mm, so ff has no limit at (0,0)(0, 0). Equal limits along all straight lines do not prove that the limit exists. For f(x,y)=x2y/(x4+y2)f(x, y) = x^2 y / (x^4 + y^2), each line through the origin gives the limit 00, but the parabola y=x2y = x^2 gives 1/21/2.

Explanations

L1 human

In one variable you can approach a point only from the left or from the right. In the plane you can approach a point along infinitely many routes: lines, parabolas, spirals. A limit must give the same answer for every route, so one route that disagrees is enough to show that there is no limit.

What this node needs for W1
  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What this needs

To read this node, read these 7 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Euclidean space object
  2. Function concept
  3. Function of several variables concept
  4. Vector-valued function concept
  5. Limit of a function of several variables concept
  6. Parametrised curve concept
  7. Limit along different paths concept

What depends on this

2 nodes use this node, directly or through other nodes.

Sources

  1. Web https://en.wikipedia.org/wiki/Limit_of_a_function, Functions of more than one variable