Math 2.0

definition

Limit of a function of several variables

Definition

Let D⊆RnD \subseteq \mathbb{R}^n and let f ⁣:D→Rmf \colon D \to \mathbb{R}^m. Let a∈Rna \in \mathbb{R}^n be a limit point of DD: each open ball about aa contains a point of DD other than aa. Let L∈RmL \in \mathbb{R}^m. When this holds, f(x)f(x) tends to LL as xx tends to aa, with the notation lim⁡x→af(x)=L\lim_{x \to a} f(x) = L. For each ε>0\varepsilon > 0 there is a δ>0\delta > 0 such that ∥f(x)−L∥<ε\|f(x) - L\| < \varepsilon for each x∈Dx \in D with 0<∥x−a∥<δ0 < \|x - a\| < \delta. Here ∥⋅∥\|\cdot\| is the Euclidean norm of Euclidean space.

Remarks

A limit is unique when it exists, because aa is a limit point of DD. The value f(a)f(a), and even whether aa is in DD, has no effect on the limit. A function into Rm\mathbb{R}^m tends to LL if and only if each component fif_i tends to LiL_i. To show that a limit does not exist, it is enough to find two paths with different limits.

Explanations

L1 human

The definition says that you can make f(x)f(x) as close to LL as you want. For this, take xx close enough to aa but not equal to aa. In the plane, "close to aa" means inside a small disc about aa, so xx can come from every direction at once.

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 5 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. Absolute value concept
  2. Euclidean space object
  3. Function concept
  4. Function of several variables concept
  5. Limit of a function of several variables definition

Sources

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