SHEAVES OF BANACH SPEACES

Abstract This paper presents a number of results concerning sheaves on a topological space, with values in the category BAN of Banach spaces, over K = R or O, and linear contractions. After showing that these sheaves are reflective in the corresponding category of presheaves (Proposition 1) and that the resulting reflection is stalk preserving (Proposition 2), we concentrate on the approximation sheaves, these being BAN-sheaves satisfying a strong patching condition originally due to Auspitz [1]. The interest in these particular sheaves lies in the fact that they are precisely the BAN-sheaves arising as sheaves of continuous sections of the appropriate kind of Banach fibre spaces [1] and thus central to the representation of Banach spaces by continuous sections. Here, we show that the approximation sheaves on any space are characterized as the BAN-presheaves injective relative to certain maps (Proposition 3) and that, for paracompact spaces X, they are exactly those BAN-sheaves S such that each SU, U open...