I 12] det visas att den probabilistiska maktdomänen för en kontinuerlig domän återigen är kontinuerlig. Kategorin kontinuerliga domäner är dock inte kartesiska stängda, och man måste titta på underkategorier som RB, utdrag av bi nite domäner. 8) är ett bevis på att den probabilistiska kraftdomänkonstruktionen kan begränsas till RB. I detta dokument ger vi ett motexempel till Grahams bevis och beskriver våra egna försök att bevisa ett slutresultat för den probabilistiska kraftdomänkonstruktionen. Vi har positiva resultat för niteträd och nite omvända träd. Dessa illustrerar de sekter vi står inför i stället för att vara ett tillfredsställande svar på frågan om huruvida den probabilistiska maktdomänen och funktionsutrymmena kan försonas. Vi är mer framgångsrika med sammanhängande eller Lawson-compact domäner. Dessa utgör en kategori med många tilltalande egenskaper, men de saknar stödfunktionsytor. Längs vägen ger vi ett nytt bevis på Jones splittrande Lemma.
Det är ett öppet problem om det finns en cartesian-stängd kategori av kontinuerliga DCPOs som är stängd under den probabilistiska powerdomain; se REF ) för en diskussion.
The Troublesome Probabilistic Powerdomain
{'venue': 'Proceedings of the Third Workshop on Computation and Approximation, volume 13 of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers B.V', 'journal': None, 'mag_field_of_study': ['Computer Science']}