Abstract L-space
   HOME

TheInfoList



OR:

In mathematics, specifically in
order theory Order theory is a branch of mathematics that investigates the intuitive notion of order using binary relations. It provides a formal framework for describing statements such as "this is less than that" or "this precedes that". This article intr ...
and
functional analysis Functional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure (for example, Inner product space#Definition, inner product, Norm (mathematics ...
, an abstract ''L''-space, an AL-space, or an abstract Lebesgue space is a
Banach lattice In the mathematical disciplines of in functional analysis and order theory, a Banach lattice is a complete normed vector space with a lattice order, \leq, such that for all , the implication \Rightarrow holds, where the absolute value is defin ...
(X, \, \cdot \, ) whose norm is additive on the positive cone of ''X''. In
probability theory Probability theory or probability calculus is the branch of mathematics concerned with probability. Although there are several different probability interpretations, probability theory treats the concept in a rigorous mathematical manner by expre ...
, it means the
standard probability space Standard may refer to: Symbols * Colours, standards and guidons, kinds of military signs * Standard (emblem), a type of a large symbol or emblem used for identification Norms, conventions or requirements * Standard (metrology), an object t ...
.


Examples

The strong dual of an AM-space with unit is an AL-space.


Properties

The reason for the name abstract ''L''-space is because every AL-space is isomorphic (as a Banach lattice) with some subspace of L^1(\mu). Every AL-space ''X'' is an order complete
vector lattice In mathematics, a Riesz space, lattice-ordered vector space or vector lattice is a partially ordered vector space where the order structure is a lattice. Riesz spaces are named after Frigyes Riesz who first defined them in his 1928 paper ''Su ...
of minimal type; however, the order dual of ''X'', denoted by ''X''+, is ''not'' of minimal type unless ''X'' is finite-dimensional. Each order interval in an AL-space is weakly compact. The strong dual of an AL-space is an AM-space with unit. The continuous dual space X^ (which is equal to ''X''+) of an AL-space ''X'' is a
Banach lattice In the mathematical disciplines of in functional analysis and order theory, a Banach lattice is a complete normed vector space with a lattice order, \leq, such that for all , the implication \Rightarrow holds, where the absolute value is defin ...
that can be identified with C_ ( K ), where ''K'' is a compact extremally disconnected topological space; furthermore, under the evaluation map, ''X'' is isomorphic with the band of all real
Radon measure In mathematics (specifically in measure theory), a Radon measure, named after Johann Radon, is a measure on the -algebra of Borel sets of a Hausdorff topological space that is finite on all compact sets, outer regular on all Borel sets, and ...
s 𝜇 on ''K'' such that for every majorized and directed subset ''S'' of C_ ( K ), we have \lim_ \mu ( f ) = \mu ( \sup S ).


See also

* *


References

* {{Ordered topological vector spaces Functional analysis