Hostname: page-component-586b7cd67f-r5fsc Total loading time: 0 Render date: 2024-11-27T12:30:34.768Z Has data issue: false hasContentIssue false

Topologies and continuous functions on extreme points and pure states

Published online by Cambridge University Press:  24 October 2008

C. J. K. Batty
Affiliation:
Department of Mathematics, University of Edinburgh, Edinburgh EH9 3JZ

Extract

There are various ways of using the affine geometry of a compact convex set K to topologize its extreme boundary ∂eK (see [2, 7, 10] and the references quoted therein). The best-known method is to take as closed sets the traces on ∂eK of the closed split faces of K. This topology is known as the facial topology [1, 2, 4], and is significant because the facially continuous functions correspond to the order-bounded linear operators on A(K) and to the multipliers in A(K) [1, 3, 20]. Typically, split faces are scarce, so that the facial topology is coarse. The Choquet topology [7, 15, 18], whose closed sets are the traces of compact extremal subsets of K, is finer, but is usually less easily recognized. The Bishop–de Leeuw theorem was extended in [5] by showing that a maximal measure on K induces a measure on a σ-algebra on ∂eK containing the Choquet closed sets as well as the traces of the Baire subsets of K. The maximal topology is finer even than the Choquet topology, and the Bishop-de Leeuw theorem was further extended in [18] to a σ-algebra including the maximally closed sets. Although the definition of the maximal topology in [18] made use of integral representation theory, a geometrical description of it will be given in Proposition 2·1 below. The Choquet and maximally continuous functions on ∂eK were characterized in [18] in terms of the geometry and integral representation theory of K, respectively. It will be shown in Theorem 2·4 that the Choquet and maximally continuous functions coincide if is a union of faces of K, even though the topologies may differ.

Type
Research Article
Copyright
Copyright © Cambridge Philosophical Society 1985

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Alfsen, E. M.. Compact Convex Sets and Boundary Integrals (Springer-Verlag, 1971).CrossRefGoogle Scholar
[2]Alfsen, E. M. and Andersen, T. B.. Split faces of compact convex sets. Proc. London Math. Soc. 21 (1970), 415442.CrossRefGoogle Scholar
[3]Alfsen, E. M. and Andersen, T. B.. On the concept of center in A(K). J. London Math. Soc. 4 (1972), 411417.CrossRefGoogle Scholar
[4]Asimow, L. and Ellis, A. J.. Convexity Theory and its Applications in Functional Analysis (Academic Press, 1980).Google Scholar
[5]Batty, C. J. K.. Some properties of maximal measures on compact convex sets. Math. Proc. Cambridge Phil. Soc. 94 (1983), 297305.CrossRefGoogle Scholar
[6]Bishop, E. and de Leeuw, K.. The representation of linear functionals by measures on sets of extreme points. Ann. Inst. Fourier (Grenoble) 9 (1959), 305331.CrossRefGoogle Scholar
[7]Boboc, N. and Bucur, G.. Coˇnes convexes de fonctions continues sur la frontiére de Choquet. Rev. Roum. Math. Pures Appl. 9 (1972), 13071316.Google Scholar
[8]Bratteli, O. and Robinson, D. W.. Operator Algebras and Quantum Statistical Mechanics I (Springer-Verlag, 1979).CrossRefGoogle Scholar
[9]Dixmier, J.. Les C*-algébres et leurs représentations, 2nd ed. (Gauthier-Villars, 1969).Google Scholar
[10]Gleit, A.. Topologies on the extreme points of compact convex sets. Math. Scand. 31 (1972), 209219.CrossRefGoogle Scholar
[11]Glimm, J.. Type I C*-algebras. Ann. Math. 73 (1961), 572612.CrossRefGoogle Scholar
[12]Henrichs, R. W.. On decomposition theory for unitary representations of locally compact groups. J. Functional Analysis 31 (1979), 101114.CrossRefGoogle Scholar
[13]Henrichs, R. W.. Decomposition of invariant states and non-separable C*-algebras. Publ. RIMS Kyoto Univ. 18 (1982), 159181.CrossRefGoogle Scholar
[14]Shultz, F. W.. Pure states as a dual object for C*-algebras. Commun. Math. Phys. 82 (1982), 497509.CrossRefGoogle Scholar
[15]Takesaki, M.. Theory of operator algebras I (Springer-Verlag, 1979).CrossRefGoogle Scholar
[16]Teleman, S.. An introduction to Choquet theory with applications to reduction theory. INCREST preprint, no. 71/1980.Google Scholar
[17]Teleman, S.. On the regularity of the boundary measures. INCREST preprint, no. 30/1981.Google Scholar
[18]Teleman, S.. Measure-theoretic properties of the Choquet and maximal topologies. INCREST preprint, no. 33/1982.Google Scholar
[19]Teleman, S.. Measure-theoretic properties of the maximal orthogonal topology. INCREST preprint, no. 2/1984.Google Scholar
[20]Wils, W.. The ideal center of partially ordered vector spaces. Acta Math. 127 (1971), 4177.CrossRefGoogle Scholar