Abstract | ||
---|---|---|
In this paper we initiate the study of measurements on the probabilistic powerdomain. We show how measurements on an underlying domain naturally extend to its probabilistic powerdomain, so that the kernel of the extension consists of exactly those normalized measures on the kernel of the measurement on the underlying domain. This result is combined with now-standard results from the theory of measurements to obtain a new proof that the fixed point associated with a weakly hyperbolic IFS with probabilities is the unique invariant measure whose support is the attractor of the underlying IFS. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1016/S0304-3975(03)00404-3 | International Congress of Mathematicans |
Keywords | Field | DocType |
fixed point,now-standard result,unique invariant measure,new proof,underlying domain,weakly hyperbolic IFS,underlying IFS,probabilistic powerdomain,normalized measure | Kernel (linear algebra),Attractor,Topology,Discrete mathematics,Measure (mathematics),Pure mathematics,Domain theory,Probabilistic logic,Fixed point,Fixed-point theorem,Invariant measure,Mathematics | Journal |
Volume | Issue | ISSN |
312 | 1 | Theoretical Computer Science |
ISBN | Citations | PageRank |
3-540-43864-5 | 2 | 0.45 |
References | Authors | |
10 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Keye Martin | 1 | 128 | 22.14 |
Michael Mislove | 2 | 96 | 8.78 |
James Worrell | 3 | 196 | 10.96 |