Webbed space

In mathematics, particularly in functional analysis, a webbed space is a topological vector space designed with the goal of allowing the results of the open mapping theorem and the closed graph theorem to hold for a wider class of linear maps whose codomains are webbed spaces. A space is called webbed if there exists a collection of sets, called a web that satisfies certain properties. Webs were first investigated by de Wilde. Let be a Hausdorff locally convex topological vector space. A is a stratified collection of disks satisfying the following absorbency and convergence requirements. Stratum 1: The first stratum must consist of a sequence of disks in such that their union absorbs Stratum 2: For each disk in the first stratum, there must exists a sequence of disks in such that for every : and absorbs The sets will form the second stratum. Stratum 3: To each disk in the second stratum, assign another sequence of disks in satisfying analogously defined properties; explicitly, this means that for every : and absorbs The sets form the third stratum. Continue this process to define strata That is, use induction to define stratum in terms of stratum A is a sequence of disks, with the first disk being selected from the first stratum, say and the second being selected from the sequence that was associated with and so on. We also require that if a sequence of vectors is selected from a strand (with belonging to the first disk in the strand, belonging to the second, and so on) then the series converges. A Hausdorff locally convex topological vector space on which a web can be defined is called a . All of the following spaces are webbed: Fréchet spaces. Projective limits and inductive limits of sequences of webbed spaces. A sequentially closed vector subspace of a webbed space. Countable products of webbed spaces. A Hausdorff quotient of a webbed space. The image of a webbed space under a sequentially continuous linear map if that image is Hausdorff. The bornologification of a webbed space.