In mathematics, more specifically in functional analysis, a positive linear functional on an ordered vector space ( V , ≤ ) {\displaystyle (V,\leq )} is a linear functional f {\displaystyle f} on V {\displaystyle V} so that for all positive elements v ∈ V , {\displaystyle v\in V,} that is v ≥ 0 , {\displaystyle v\geq 0,} it holds that
f ( v ) ≥ 0. {\displaystyle f(v)\geq 0.}
In other words, a positive linear functional is guaranteed to take nonnegative values for positive elements. The significance of positive linear functionals lies in results such as Riesz–Markov–Kakutani representation theorem. When V {\displaystyle V} is a complex vector space, it is assumed that for all v ≥ 0 , {\displaystyle v\geq 0,} f ( v ) {\displaystyle f(v)} is real. As in the case when V {\displaystyle V} is a C*-algebra with its partially ordered subspace of self-adjoint elements, sometimes a partial order is placed on only a subspace W ⊆ V , {\displaystyle W\subseteq V,} and the partial order does not extend to all of V , {\displaystyle V,} in which case the positive elements of V {\displaystyle V} are the positive elements of W , {\displaystyle W,} by abuse of notation. This implies that for a C*-algebra, a positive linear functional sends any x ∈ V {\displaystyle x\in V} equal to s ∗ s {\displaystyle s^{\ast }s} for some s ∈ V {\displaystyle s\in V} to a real number, which is equal to its complex conjugate, and therefore all positive linear functionals preserve the self-adjointness of such x . {\displaystyle x.} This property is exploited in the GNS construction to relate positive linear functionals on a C*-algebra to inner products.
Sufficient conditions for continuity of all positive linear functionals There is a comparatively large class of ordered topological vector spaces on which every positive linear form is necessarily continuous. This includes all topological vector lattices that are sequentially complete. Theorem Let X {\displaystyle X} be an Ordered topological vector space with positive cone C ⊆ X {\displaystyle C\subseteq X} and let B ⊆ P ( X ) {\displaystyle {\mathcal {B}}\subseteq {\mathcal {P}}(X)} denote the family of all bounded subsets of X . {\displaystyle X.} Then each of the following conditions is sufficient to guarantee that every positive linear functional on X {\displaystyle X} is continuous:
C {\displaystyle C} has non-empty topological interior (in X {\displaystyle X} ).
X {\displaystyle X} is complete and metrizable and X = C − C . {\displaystyle X=C-C.}
X {\displaystyle X} is bornological and C {\displaystyle C} is a semi-complete strict B {\displaystyle {\mathcal {B}}} -cone in X . {\displaystyle X.}
X {\displaystyle X} is the inductive limit of a family ( X α ) α ∈ A {\displaystyle \left(X_{\alpha }\right)_{\alpha \in A}} of ordered Fréchet spaces with respect to a family of positive linear maps where X α = C α − C α {\displaystyle X_{\alpha }=C_{\alpha }-C_{\alpha }} for all α ∈ A , {\displaystyle \alpha \in A,} where C α {\displaystyle C_{\alpha }} is the positive cone of X α . {\displaystyle X_{\alpha }.}
Continuous positive extensions The following theorem is due to H. Bauer and independently, to Namioka.
… excerpt ends here. Continue reading the full article.
