کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
8904129 | 1633042 | 2018 | 11 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
The probabilistic powerdomain from a topological viewpoint
ترجمه فارسی عنوان
قدرت قدرت احتمالی از نقطه نظر توپولوژیک
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
هندسه و توپولوژی
چکیده انگلیسی
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
Journal: Topology and its Applications - Volume 237, 15 March 2018, Pages 26-36
نویسندگان
Zhenchao Lyu, Hui Kou,