Math 2.0

example

x sin(1/x) is continuous at 0

Example

Let f(x)=xsin⁡(1/x)f(x) = x \sin(1/x) for x≠0x \ne 0, and let f(0)=0f(0) = 0. Then ff is continuous at 00, and so ff is continuous on R\mathbb{R}. Indeed, ∣f(x)∣≤∣x∣|f(x)| \le |x| for all xx, so f(x)→0f(x) \to 0 as x→0x \to 0 by the squeeze theorem.

Remarks

The factor xx damps the oscillation of sin⁡(1/x)\sin(1/x). The function is not differentiable at 00. The difference quotient (f(x)−f(0))/x=sin⁡(1/x)(f(x) - f(0))/x = \sin(1/x) has no limit. The function x2sin⁡(1/x)x^2 \sin(1/x) is differentiable with a discontinuous derivative.

Explanations

L1 human

The graph of xsin⁡(1/x)x \sin(1/x) oscillates infinitely often near 00. But it stays between the lines y=xy = x and y=−xy = -x, which meet at the origin.

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 8 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. Limit point of a set definition
  2. Sequence definition
  3. Limit of a function definition
  4. Real sequence definition
  5. Continuity at a point definition
  6. Limit of a sequence definition
  7. Squeeze theorem statement
  8. x sin(1/x) is continuous at 0 example

Sources

  1. Web https://en.wikipedia.org/wiki/Topologist%27s_sine_curve, Variants