Dirichlet function
Counterexample
Let be given by for rational and for irrational . Then is not continuous at any point. Indeed, each real is the limit of a sequence of rationals and of a sequence of irrationals. Their images tend to and to , so one of them does not tend to .
Remarks
The function is the indicator function of . Every rational number is a period of . The function is not Riemann integrable on any interval with more than one point.
Explanations
L1 human
Rational and irrational numbers lie mixed together in every small interval. So the function jumps between and near every point, and it has no limit anywhere.
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.
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.
- no evidence level
- Limit point of a set definition
- Sequence definition
- Limit of a function definition
- Real sequence definition
- Continuity at a point definition
- Limit of a sequence definition
- Sequential continuity definition
- Dirichlet function counterexample
What depends on this
1 node uses this node, directly or through other nodes.
Sources
- Web https://en.wikipedia.org/wiki/Dirichlet_function, Topological properties