sin(1/x) has no limit at 0
Counterexample
Let for . Then does not exist, and neither one-sided limit exists. Let and . Both sequences tend to from the right, but and for all .
Remarks
The argument uses the sequential characterization of limits. So no value of at makes continuous at . The point is an essential discontinuity. The graph of on , with its closure, is the topologist's sine curve.
Explanations
L1 human
As approaches , the number grows without bound. So swings between and faster and faster, and it settles at no value.
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 7 nodes in this order. The foundations come first, and the list ends with this node.
- no evidence level
- Limit point of a set definition
- Sequence definition
- Limit of a function definition
- Real sequence definition
- Limit of a sequence definition
- Sequential characterization of limits statement
- sin(1/x) has no limit at 0 counterexample
Sources
What links here
No node links to this node yet.