In functional analysis, a subset of a real or complex vector space that has an associated vector bornology is called bornivorous and a bornivore if it absorbs every element of
If is a topological vector space (TVS) then a subset of is bornivorous if it is bornivorous with respect to the von-Neumann bornology of .
Bornivorous sets play an important role in the definitions of many classes of topological vector spaces, particularly bornological spaces.
If is a TVS then a subset of is called and a if absorbs every bounded subset of
An absorbing disk in a locally convex space is bornivorous if and only if its Minkowski functional is locally bounded (i.e. maps bounded sets to bounded sets).
A linear map between two TVSs is called if it maps Banach disks to bounded disks.
A disk in is called if it absorbs every Banach disk.
An absorbing disk in a locally convex space is infrabornivorous if and only if its Minkowski functional is infrabounded.
A disk in a Hausdorff locally convex space is infrabornivorous if and only if it absorbs all compact disks (that is, if it is "").
Every bornivorous and infrabornivorous subset of a TVS is absorbing. In a pseudometrizable TVS, every bornivore is a neighborhood of the origin.
Two TVS topologies on the same vector space have that same bounded subsets if and only if they have the same bornivores.
Suppose is a vector subspace of finite codimension in a locally convex space and If is a barrel (resp. bornivorous barrel, bornivorous disk) in then there exists a barrel (resp. bornivorous barrel, bornivorous disk) in such that
Every neighborhood of the origin in a TVS is bornivorous.
The convex hull, closed convex hull, and balanced hull of a bornivorous set is again bornivorous.
The preimage of a bornivore under a bounded linear map is a bornivore.
If is a TVS in which every bounded subset is contained in a finite dimensional vector subspace, then every absorbing set is a bornivore.
Let be as a vector space over the reals.
If is the balanced hull of the closed line segment between and then is not bornivorous but the convex hull of is bornivorous.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
In functional analysis and related areas of mathematics, a metrizable (resp. pseudometrizable) topological vector space (TVS) is a TVS whose topology is induced by a metric (resp. pseudometric). An LM-space is an inductive limit of a sequence of locally convex metrizable TVS.
In functional analysis, two methods of constructing normed spaces from disks were systematically employed by Alexander Grothendieck to define nuclear operators and nuclear spaces. One method is used if the disk is bounded: in this case, the auxiliary normed space is with norm The other method is used if the disk is absorbing: in this case, the auxiliary normed space is the quotient space If the disk is both bounded and absorbing then the two auxiliary normed spaces are canonically isomorphic (as topological vector spaces and as normed spaces).
In functional analysis and related areas of mathematics an absorbing set in a vector space is a set which can be "inflated" or "scaled up" to eventually always include any given point of the vector space. Alternative terms are radial or absorbent set. Every neighborhood of the origin in every topological vector space is an absorbing subset.
Covers the concept of compact embedding in Banach spaces and Sobolev inequalities.
We examine the moments of the number of lattice points in a fixed ball of volume V for lattices in Euclidean space which are modules over the ring of integers of a number field K. In particular, denoting by ωK the number of roots of unity in K, we ...
arXiv2023
, , , ,
In lentic water bodies, such as lakes, the water temperature near the surface typically increases during the day, and decreases during the night as a consequence of the diurnal radiative forcing (solar and infrared radiation). These temperature variations ...