Math 2.0

counterexample

Separately continuous but not continuous function

Counterexample

One could guess the following. A function of two variables is continuous when it is continuous in each variable for each fixed value of the other variable. This is false. Let f ⁣:R2→Rf \colon \mathbb{R}^2 \to \mathbb{R} be given by f(x,y)=xyx2+y2f(x, y) = \dfrac{xy}{x^2 + y^2} for (x,y)≠(0,0)(x, y) \ne (0, 0) and f(0,0)=0f(0, 0) = 0. For each fixed bb, the function x↦f(x,b)x \mapsto f(x, b) is continuous on R\mathbb{R}, and for each fixed aa, the function y↦f(a,y)y \mapsto f(a, y) is continuous on R\mathbb{R}. But ff is not continuous at (0,0)(0, 0).

Remarks

For b≠0b \ne 0, the function x↦f(x,b)x \mapsto f(x, b) is a quotient of polynomials with a denominator that is never 00. For b=0b = 0, it is the constant 00. The same holds for the other variable. On the line y=xy = x with x≠0x \ne 0, the value is f(x,x)=1/2f(x, x) = 1/2. So f(x,x)→1/2≠f(0,0)f(x, x) \to 1/2 \ne f(0, 0) as x→0x \to 0, by the test with different paths.

Explanations

L1 human

Separate continuity checks only the two directions along the axes. On both axes this function is 00, so nothing goes wrong there. On the diagonal it is 1/21/2 everywhere except at the origin, so the function jumps there.

What this node needs for W1
  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • edge refutes or not_instance_of out (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 9 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. Continuity in R^n concept
  8. Limit along different paths concept
  9. Separately continuous but not continuous function counterexample

What depends on this

1 node uses this node, directly or through other nodes.

Sources

  1. Web https://en.wikipedia.org/wiki/Function_of_several_real_variables, Continuity and limit