![]() | The topic of this articlemay not meet Wikipedia'sgeneral notability guideline. Please help to demonstrate the notability of the topic by citingreliable secondary sources that areindependent of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to bemerged,redirected, ordeleted. Find sources: "Order convergence" – news ·newspapers ·books ·scholar ·JSTOR(June 2020) (Learn how and when to remove this message) |
In mathematics, specifically inorder theory andfunctional analysis, afilter in anorder completevector lattice isorder convergent if it contains anorder bounded subset (that is, a subset contained in an interval of the form) and if where is the set of all order bounded subsets ofX, in which case this common value is called theorder limit of in[1]
Order convergence plays an important role in the theory ofvector lattices because the definition of order convergence does not depend on any topology.
A net in avector lattice is said todecrease to if implies and in A net in a vector lattice is said toorder-converge to if there is a net in that decreases to and satisfies for all.[2]
A linear map between vector lattices is said to beorder continuous if whenever is a net in that order-converges to in then the net order-converges to in is said to be sequentially order continuous if whenever is a sequence in that order-converges to inthen the sequence order-converges to in[2]
In anorder completevector lattice whose order isregular, is ofminimal type if and only if every order convergent filter in converges when is endowed with theorder topology.[1]