Uniform continuity
Definition
Let and let be a function. The function is uniformly continuous if the following holds. For each there is with for all with .
Remarks
Each uniformly continuous function is continuous. In the epsilon-delta form of continuity, may depend on the point. Here one works for all points.
The function is continuous on but not uniformly continuous.
Mathlib defines it for uniform spaces, as UniformContinuous.
Eduard Heine published the first definition of uniform continuity, in 1870.
Explanations
L1 human
For a uniformly continuous function, one input tolerance works everywhere in the domain. The graph has no places where it becomes steeper and steeper without bound.
What this node needs for W2
- edge instance_of in: one example (0 of 1)
- edge not_instance_of in: one non-example that fails one clause (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 5 nodes in this order. The foundations come first, and the list ends with this node.
- no evidence level
- Limit point of a set definition
- Limit of a function definition
- Continuity at a point definition
- Epsilon-delta definition of continuity statement
- Uniform continuity definition
What depends on this
11 nodes use this node, directly or through other nodes.
- Uniformly continuous functions map Cauchy sequences to Cauchy sequences 026FDZFRXS
- Continuous functions are Riemann integrable 06SESV7GQY
- Uniform continuity on a set 0A3CK6DVVB
- x^2 is not uniformly continuous on the real line 0A8JXHYTJC
- Integration by substitution 0D37QFPEZE
- Trigonometric substitution 0EAR3KNRTN
- Weierstrass approximation theorem 0JQE130DHW
- Lipschitz functions are uniformly continuous 0K1EWAR6AF
- The integral of a continuous function is an antiderivative 0NC2A3HWGT
- Continuous functions on a closed bounded interval are uniformly continuous 0W0TZDRF9C
- Tangent half-angle substitution 0W8ETY2AZ6
Sources
- Web https://en.wikipedia.org/wiki/Uniform_continuity, Definition of uniform continuity