A Generalisation of Steenrod's Approximation Theorem

Abstract

In this paper we aim for a generalisation of the Steenrod Approximation Theorem from, concerning a smoothing procedure for sections in smooth locally trivial bundles. The generalisation 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 functions), preserving the section on regions where it is already smooth.

Cited by in corpus (5)

• Local and gauge invariant observables in gravity
• Lie Group Structures on Symmetry Groups of Principal Bundles
• (Re)constructing Lie groupoids from their bisections and applications to prequantisation
• Categorified central extensions, étale Lie 2-groups and Lie's Third Theorem for locally exponential Lie algebras
• Homotopy groups of ascending unions of infinite-dimensional manifolds