Choquet-Kendall-Matheron theorems for non-Hausdorff spaces

We establish Choquet-Kendall-Matheron theorems on non-Hausdorff topological spaces. This typical result of random set theory is profitably recast in purely topological terms using intuitions and tools from domain theory. We obtain three variants of the theorem, each one characterising distributions, in the form of continuous valuations, over relevant powerdomains of demonic, angelic and erratic non-determinism, respectively.

[1]  Daniel A. Klain,et al.  Introduction to Geometric Probability , 1997 .

[2]  Michael W. Mislove.  Nondeterminism and Probabilistic Choice: Obeying the Laws , 2000, CONCUR.

[3]  Jean Goubault-Larrecq.  De Groot duality and models of choice: angels, demons and nature , 2010, Math. Struct. Comput. Sci..

[4]  C. Jones,et al.  A probabilistic powerdomain of evaluations , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[5]  H. Groemer,et al.  ON THE EXTENSION OF ADDITIVE FUNCTIONALS ON CLASSES OF CONVEX SETS , 1978 .

[6]  D. Denneberg.  Non-additive measure and integral , 1994 .

[7]  I. Molchanov.  Theory of Random Sets , 2005 .

[8]  Itzhak Gilboa,et al.  Additive representations of non-additive measures and the choquet integral , 1994, Ann. Oper. Res..

[9]  G. Matheron.  Random Sets and Integral Geometry , 1976 .

[10]  Klaus Keimel,et al.  Semantic Domains for Combining Probability and Non-Determinism , 2005, Electron. Notes Theor. Comput. Sci..

[11]  Andrea Schalk,et al.  Algebras for generalized power constructions , 1993 .

[12]  Klaus Keimel,et al.  Measure extension theorems for T0-spaces , 2005 .

[13]  Michael W. Mislove,et al.  Topology, domain theory and theoretical computer science , 1998 .

[14]  H. König.  Measure and Integration: An Advanced Course in Basic Procedures and Applications , 1996 .

[15]  Abbas Edalat,et al.  An Extension Result for Continuous Valuations , 2000 .

[16]  Tommy Norberg.  Existence theorems for measures on continous posets, with applications to random set theory. , 1989 .

[17]  Samson Abramsky,et al.  Domain theory , 1995, LICS 1995.

[18]  Jean Goubault-Larrecq,et al.  Continuous Previsions , 2007, CSL.

[19]  W. J. Thron,et al.  Encyclopedia of Mathematics and its Applications. , 1982 .

[20]  Jean Goubault-Larrecq,et al.  Continuous Capacities on Continuous State Spaces , 2007, ICALP.

[21]  K. Hofmann,et al.  Continuous Lattices and Domains , 2003 .

[22]  Reinhold Heckmann.  Abstract valuations: A novel representation of Plotkin power domain and Vietoris hyperspace , 1997, MFPS.

[23]  G. Choquet.  Theory of capacities , 1954 .

[24]  Klaus Keimel,et al.  Semantic Domains for Combining Probability and Non-Determinism , 2005, Electronic Notes in Theoretical Computer Science.

[25]  Achim Jung,et al.  Stably Compact Spaces and the Probabilistic Powerspace construction , 2004, DTMPP.