Indeeed, if $B\subset C$ are closed convex subsets of a Banach space, like in this case, the identity map $B\to B$ extends to a continuous retraction $C\to B$, by the Dugundji extension theorem.
Pietro Majer
- 60.5k
- 4
- 122
- 269