کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
8904129 1633042 2018 11 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
The probabilistic powerdomain from a topological viewpoint
ترجمه فارسی عنوان
قدرت قدرت احتمالی از نقطه نظر توپولوژیک
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات هندسه و توپولوژی
چکیده انگلیسی
We prove that the probabilistic powerdomain of a coherent locally finitary compact T0 space is coherent quasicontinuous. As a result, we obtain a novel proof of Larrecq's and Jung's result in 2014. The main tool for our proof is the weak topology on the probabilistic powerdomain. In addition, we show that a dcpo L is continuous (resp., quasicontinuous, coherent quasicontinuous, meet-continuous) if the probabilistic powerdomain V(L) over L is continuous (resp., quasicontinuous, Lawson compact quasicontinuous, meet-continuous), which confirms a conjecture of Jones in her doctoral thesis.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Topology and its Applications - Volume 237, 15 March 2018, Pages 26-36
نویسندگان
, ,