Math 2.0

definition

Continuity in R^n

Definition

Let D⊆RnD \subseteq \mathbb{R}^n, let f ⁣:D→Rmf \colon D \to \mathbb{R}^m, and let a∈Da \in D. The function ff is continuous at aa when, for each ε>0\varepsilon > 0, there is a δ>0\delta > 0 such that ∥f(x)−f(a)∥<ε\|f(x) - f(a)\| < \varepsilon for each x∈Dx \in D with ∥x−a∥<δ\|x - a\| < \delta. Here ∥⋅∥\|\cdot\| is the Euclidean norm of Euclidean space. The function ff is continuous on DD when it is continuous at each point of DD.

Remarks

Let aa be a limit point of DD. Then ff is continuous at aa if and only if lim⁡x→af(x)=f(a)\lim_{x \to a} f(x) = f(a), with the limit of a function of several variables. A function into Rm\mathbb{R}^m is continuous if and only if each component function is continuous. Sums, products and compositions of continuous functions are continuous. So each polynomial in x1,…,xnx_1, \dots, x_n is continuous on Rn\mathbb{R}^n. Continuity in each variable separately is weaker: see the separately continuous function that is not continuous.

Explanations

L1 human

A continuous function has no jumps: if you move the input a little, the output moves only a little. In the plane, "a little" means inside a small disc, so the condition must hold for moves in every direction.

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. Euclidean space object
  2. Function concept
  3. Function of several variables concept
  4. Limit of a function of several variables concept
  5. Continuity in R^n definition

What depends on this

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

Sources

  1. Web https://en.wikipedia.org/wiki/Continuous_function, Continuous functions between metric spaces