Homepage › Solution manuals › Stephen Abbott › Understanding Analysis › Exercise 4.6.6
Exercise 4.6.6
Construct a bijection between the set of jump discontinuities of a monotone function and a subset of . Conclude that for a monotone function must either be finite or countable, but not uncountable.
Answers
In 4.6.5 we showed every is a jump discontinuity, i.e. both sided limits and exist and . Pick some and assign . Continue like this to define a bijection where . Thus must be finite or countable.