Abstract m-space

Template:Short descriptionIn mathematics, specifically in order theory and functional analysis, an abstract m-space or an AM-space is a Banach lattice $(X,\Vert \cdot \Vert )$ whose norm satisfies $\Vert \sup \{x,y\}\Vert =\sup \{\Vert x\Vert ,\Vert y\Vert \}$ for all x and y in the positive cone of X. We say that an AM-space X is an AM-space with unit if in addition there exists some Template:Math in X such that the interval Template:Math is equal to the unit ball of X; such an element u is unique and an order unit of X.Template:Sfn

Examples

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

If X is an Archimedean ordered vector lattice, u is an order unit of X, and p_u is the Minkowski functional of $[u,-u]:=\{x\in X:-u\le x\text{ and }x\le x\},$ then the complete of the semi-normed space (X, p_u) is an AM-space with unit u.Template:Sfn

Properties

Every AM-space is isomorphic (as a Banach lattice) with some closed vector sublattice of some suitable $C_{ℝ}\left(X\right)$.Template:Sfn The strong dual of an AM-space with unit is an AL-space.Template:Sfn

If X ≠ { 0 } is an AM-space with unit then the set K of all extreme points of the positive face of the dual unit ball is a non-empty and weakly compact (i.e. $\sigma (X^{\prime },X)$-compact) subset of $X^{\prime }$ and furthermore, the evaluation map $I:X\to C_{ℝ}\left(K\right)$ defined by $I(x):=I_x$ (where $I_x:K\to ℝ$ is defined by $I_x(t)=⟨x,t⟩$) is an isomorphism.Template:Sfn

See also

• Vector lattice
• AL-space

Bibliography

• Template:Schaefer Wolff Topological Vector Spaces