Ordered algebra

In mathematics, an ordered algebra is an algebra over the real numbers ℝ with unit e together with an associated order such that e is positive (i.e. e ≥ 0), the product of any two positive elements is again positive, and when A is considered as a vector space over ℝ then it is an Archimedean ordered vector space.

## Contents

* 1 Properties
* 2 Results
* 3 See also
* 4 References
* 5 Sources

## Properties

Let A be an ordered algebra with unit e and let C* denote the cone in A* (the algebraic dual of A) of all positive linear forms on A. If f is a linear form on A such that f(e) = 1 and f generates an extreme ray of C* then f is a multiplicative homomorphism.[1]

## Results

Stone's Algebra Theorem:[1] Let A be an ordered algebra with unit e such that e is an order unit in A, let A* denote the algebraic dual of A, and let K be the σ(A*,A)-compact set of all multiplicative positive linear forms satisfying f(e) = 1. Then under the evaluation map, A is isomorphic to a dense subalgebra of Cℝ(X). If in addition every positive sequence of type l1 in A is order summable then A together with the Minkowski functional pe is isomorphic to the Banach algebra Cℝ(X).

## See also

* Ordered vector space
* Riesz space

## References

1. ↑ 1.0 1.1 Schaefer & Wolff 1999, pp. 250–257.

## Sources

* Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. 3. New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.

* v
* t
* e

Functional analysis (topics)

Topological vector spaces|

* Asplund
* Banach (list)
* Banach lattice
* Barrelled
* Bornological
* Brauner
* F-space
* Fréchet (tame)
* Hilbert (Inner product space
* Polarization identity)
* LF-space
* Locally convex (Seminorms/Minkowski functionals)
* Mackey
* Montel
* Nuclear
* Normed (norm)
* Quasinormed
* Reflexive
* Riesz
* Smith
* Stereotype
* Strictly convex
* Webbed
* Topological tensor product (of Hilbert spaces)

Topologies of function spaces|

* Dual
* Dual space (Dual norm)
* Operator
* Ultraweak
* Weak (polar
* operator)
* Mackey
* Strong (polar
* operator)
* Ultrastrong
* Uniform convergence

Linear operators|

* Adjoint
* Bilinear (form
* operator
* sesquilinear)
* (Un)Bounded
* Closed
* Compact (on Hilbert spaces)
* (Dis)Continuous
* Densely defined
* Fredholm
* Hilbert–Schmidt
* Functionals (positive)
* Normal
* Nuclear
* Self-adjoint
* Strictly singular
* Trace class
* Transpose
* Unitary

Operator theory|

* Banach algebras
* C*-algebras
* Spectrum (C*-algebra
* radius)
* Spectral theory (of ODEs
* Spectral theorem)
* Polar decomposition
* Singular value decomposition

Theorems|

* Banach–Alaoglu
* Banach–Mazur
* Banach–Saks
* Banach–Schauder (open mapping)
* Banach–Steinhaus (Uniform boundedness)
* Bessel's inequality
* Cauchy–Schwarz inequality
* Closed graph
* Closed range
* Eberlein–Šmulian
* Freudenthal spectral
* Gelfand–Mazur
* Gelfand–Naimark
* Goldstine
* Hahn–Banach (hyperplane separation)
* Kakutani fixed-point
* Krein–Milman
* Lomonosov's invariant subspace
* Mackey–Arens
* Mazur's lemma
* M. Riesz extension
* Riesz representation
* Parseval's identity
* Schauder fixed-point

Analysis|

* Abstract Wiener space
* Bochner space
* Differentiation in Fréchet spaces
* Derivatives (Fréchet
* Gateaux
* functional
* holomorphic)
* Integrals (Bochner
* Dunford
* Gelfand–Pettis
* regulated
* Paley–Wiener
* weak)
* Functional calculus (Borel
* continuous
* holomorphic)
* Inverse function theorem (Nash–Moser theorem)
* Measures (Lebesgue
* Projection-valued
* Vector)
* Weakly measurable function

Types of sets|

* Absolutely convex
* Absorbing
* Balanced
* Bounded
* Convex
* Convex cone (subset)
* Linear cone (subset)
* Radial
* Star-shaped
* Symmetric
* Zonotope

Subsets / set operations|

* Algebraic interior (core)
* Bounding points
* Convex hull
* Extreme point
* Interior
* Minkowski addition
* Polar

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Ordered algebra. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Ordered_algebra&oldid=296961"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template