Exercises
[13Z]Let \(f_ 1:[0,β]β [0,β]\) monotonic function (weakly increasing) and right continuous. Let then \(f_ 2:[0,β)β[0,β]\) be given by
\[ f_ 2 (s) = \sup \{ tβ₯ 0 : f_ 1 (t) {\gt} s\} \](with the convention that \(\sup β =0\)) and then again \(f_ 3:[0,β)β[0,β]\) defined by
\[ f_ 3 (s) = \sup \{ tβ₯ 0 : f_ 2 (t) {\gt} s\} \quad : \]then \(f_ 1β‘ f_ 3\).
1