Quantifiers for uniform continuity
δ may depend on ε but cannot depend on location. Both points belong to the specified domain.
Charles队长 · Bilibili · 0:19
This video uses animation to contrast the functions and , visually demonstrating the geometric meaning of "uniform continuity" versus "non-uniform continuity." The sine curve on the left allows finding a uniform δ for any given ε band; whereas the inverse proportional function on the right fails this condition near , where arbitrarily small intervals in x produce large variations in y that exceed fixed ε bands.
Use the learning inspector for key ideas and moments, or open the reading tabs for the complete notes.
Generated from the video's visuals and explanation; not verbatim speech.
The two graphs compare sine with the reciprocal function on the positive half-line. Continuity can choose a neighborhood separately at each point. Uniform continuity requires one δ for every pair of points in the specified domain, after ε is given.
Sine satisfies . Choosing therefore works everywhere on the real line, independent of the moving sample location.
For the reciprocal, take and . Their distance tends to zero, but their reciprocal values differ by one. Thus fails uniform continuity on (0,), despite being continuous there.
The domain matters: restricting the reciprocal to [a,b] with restores uniform continuity. The moving windows illustrate the quantifiers; a finite animation is not a proof for all point pairs.
δ may depend on ε but cannot depend on location. Both points belong to the specified domain.
The mean value theorem and |cos|≤1 give a global Lipschitz bound, hence uniform continuity on the real line.
The input distance tends to zero while the output distance remains one. The reciprocal fails on the positive half-line but is uniformly continuous on a closed interval bounded away from zero.
Uniform continuity chooses δ from ε independently of location, with both inputs in the specified domain. Sine has a global bound from |cos x|≤1. The reciprocal fails on the positive half-line near zero but is uniformly continuous on closed intervals bounded away from zero; the domain is essential.