A real positive linear functional on a vector subspace of containing extends positively to all of . Its norm is by order bounds. If this is positive, apply the Hahn-Banach theorem to obtain an extension of the same norm, normalize it to value one at , and use the unital contraction positivity criterion. If , the functional is zero and its zero extension suffices.
Articles by others on the same topic
There are currently no matching articles.