Math 2.0

counterexample

x^n converges pointwise but not uniformly on [0, 1]

Counterexample

Let fn(x)=xnf_n(x) = x^n on [0,1][0, 1]. Let f(x)=0f(x) = 0 for 0≤x<10 \le x < 1 and f(1)=1f(1) = 1. For 0≤x<10 \le x < 1, xn→0x^n \to 0 by the geometric sequence limit. So fn→ff_n \to f pointwise on [0,1][0, 1]. But sup⁡0≤x<1∣xn−0∣=1\sup_{0 \le x < 1} |x^n - 0| = 1 for every nn. So the convergence is not uniform.

Remarks

Each fnf_n is continuous, but ff is not. This also shows the failure, by the uniform limit theorem. On [0,r][0, r] with 0<r<10 < r < 1, the convergence is uniform, since sup⁡[0,r]xn=rn→0\sup_{[0, r]} x^n = r^n \to 0.

Explanations

L1 human

Near x=1x = 1, the values xnx^n stay close to 11 for a long time before they drop to 00. So no single nn makes all the values small at once.

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 12 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. Geometric sequence definition
  7. Limit of a sequence definition
  8. Pointwise convergence definition
  9. Uniform convergence definition
  10. Uniform convergence on a set definition
  11. Uniform limit theorem statement
  12. x^n converges pointwise but not uniformly on [0, 1] counterexample

Sources

  1. Web https://en.wikipedia.org/wiki/Uniform_convergence, Examples