A generalization of Steenrod’s approximation theorem
In this paper we aim for a generalization of the Steenrod Approximation Theorem from [16, Section 6.7], concerning a smoothing procedure for sections in smooth locally trivial bundles. The generalization is that we consider locally trivial smooth bundles with a possibly infinite-dimensional typical fibre. The main result states that a continuous section in a smooth locally trivial bundles can always be smoothed out in a very controlled way (in terms of the graph topology on spaces of continuous...