In mathematics, specifically in order theory and functional analysis, a subset of a vector lattice is said to be solid and is called an ideal if for all and if then
An ordered vector space whose order is Archimedean is said to be Archimedean ordered.
If then the ideal generated by is the smallest ideal in containing
An ideal generated by a singleton set is called a principal ideal in
The intersection of an arbitrary collection of ideals in is again an ideal and furthermore, is clearly an ideal of itself;
thus every subset of is contained in a unique smallest ideal.
In a locally convex vector lattice the polar of every solid neighborhood of the origin is a solid subset of the continuous dual space ;
moreover, the family of all solid equicontinuous subsets of is a fundamental family of equicontinuous sets, the polars (in bidual ) form a neighborhood base of the origin for the natural topology on (that is, the topology of uniform convergence on equicontinuous subset of ).
A solid subspace of a vector lattice is necessarily a sublattice of
If is a solid subspace of a vector lattice then the quotient is a vector lattice (under the canonical order).
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
In mathematics, specifically in order theory and functional analysis, the order dual of an ordered vector space is the set where denotes the set of all positive linear functionals on , where a linear function on is called positive if for all implies The order dual of is denoted by . Along with the related concept of the order bound dual, this space plays an important role in the theory of ordered topological vector spaces.