Math 2.0

counterexample

Topologist's sine curve

Counterexample

Let T={(x,sin⁡1x):0<x≤1}∪{(0,0)}⊆R2,T = \left\{ \left( x, \sin \tfrac{1}{x} \right) : 0 < x \le 1 \right\} \cup \{ (0, 0) \} \subseteq \mathbb{R}^2, with the subspace topology of the plane. Then TT is connected but not path-connected. Thus connected spaces need not be path-connected.

Remarks

The graph part GG is connected, as the continuous image of (0,1](0, 1]. The origin is in the closure of GG, and a set between a connected set and its closure is connected. Thus TT is connected. No path joins the origin to a point of GG. Near x=0x = 0, the curve goes up and down between −1-1 and 11 infinitely often, and a path cannot follow it continuously. Some texts use the closed version, which adds the whole segment {0}×[−1,1]\{0\} \times [-1, 1]. It is compact, connected and not path-connected. The space TT is also not locally connected.

Explanations

L1 human

The curve sin⁡(1/x)\sin(1/x) oscillates faster and faster as xx goes to 00. The origin is a limit of the curve, so the space is in one piece. But you cannot walk along the curve to the origin, because the curve never settles down.

What this node needs for W1
  • 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.

Sources

  1. Web https://en.wikipedia.org/wiki/Topologist%27s_sine_curve, lead section
  2. Web https://en.wikipedia.org/wiki/Topologist%27s_sine_curve, Properties