We give two concrete examples of continuous valuations on dcpo's to separate minimal valuations, point-continuous valuations and continuous valuations: (1) Let $\mathcal J$ be the Johnstone's non-sober dcpo, and $\mu$ be the continuous valuation on $\mathcal J$ with $\mu(U) =1$ for nonempty Scott opens $U$ and $\mu(U) = 0$ for $U=\emptyset$. Then $\mu$ is a point-continuous valuation on $\mathcal J$ that is not minimal. (2) Lebesgue measure extends to a measure on the Sorgenfrey line $\mathbb R_{l}$. Its restriction to the open subsets of $\mathbb R_{l}$ is a continuous valuation $\lambda$. Then its image valuation $\overline\lambda$ through the embedding of $\mathbb R_{l}$ into its Smyth powerdomain $\mathcal Q\mathbb R_{l}$ in the Scott topology is a continuous valuation that is not point-continuous. We believe that our construction $\overline\lambda$ might be useful in giving counterexamples displaying the failure of the general Fubini-type equations on dcpo's.


翻译:我们举两个具体的例子来说明对dcpo的连续估值,以区分最低估值、点持续估值和连续估值:(1) 美元和美元是Johnstone的非sober dcpo, 美元和 美元和 美元是美元和 美元是美元, 美元和美元和 美元和 美元之间的连续估值。然后美元和 美元是美元和 美元之间的连续估值。 美元和 美元是非空斯科特的连续估值, 美元和 美元之间的连续估值。 美元和 美元是非最低的。 (2) 莱贝斯格度度度度度度度是Johnfrey 线上的一个计量, 美元和 美元和 美元, 美元和 美元, 美元和 美元之间的连续估值, 美元和 美元和 美元之间的连续估值。

0
下载
关闭预览

相关内容

让 iOS 8 和 OS X Yosemite 无缝切换的一个新特性。 > Apple products have always been designed to work together beautifully. But now they may really surprise you. With iOS 8 and OS X Yosemite, you’ll be able to do more wonderful things than ever before.

Source: Apple - iOS 8
专知会员服务
12+阅读 · 2021年10月12日
专知会员服务
76+阅读 · 2021年3月16日
【AAAI2021】记忆门控循环网络
专知会员服务
48+阅读 · 2020年12月28日
Fariz Darari简明《博弈论Game Theory》介绍,35页ppt
专知会员服务
109+阅读 · 2020年5月15日
专知会员服务
61+阅读 · 2020年3月4日
Transferring Knowledge across Learning Processes
CreateAMind
27+阅读 · 2019年5月18日
【TED】生命中的每一年的智慧
英语演讲视频每日一推
9+阅读 · 2019年1月29日
逆强化学习-学习人先验的动机
CreateAMind
15+阅读 · 2019年1月18日
【泡泡一分钟】LIMO:激光和单目相机融合的视觉里程计
泡泡机器人SLAM
11+阅读 · 2019年1月16日
人工智能 | SCI期刊专刊信息3条
Call4Papers
5+阅读 · 2019年1月10日
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
Hierarchical Disentangled Representations
CreateAMind
4+阅读 · 2018年4月15日
已删除
将门创投
4+阅读 · 2017年12月12日
强化学习族谱
CreateAMind
26+阅读 · 2017年8月2日
Arxiv
0+阅读 · 2021年10月22日
VIP会员
相关资讯
Transferring Knowledge across Learning Processes
CreateAMind
27+阅读 · 2019年5月18日
【TED】生命中的每一年的智慧
英语演讲视频每日一推
9+阅读 · 2019年1月29日
逆强化学习-学习人先验的动机
CreateAMind
15+阅读 · 2019年1月18日
【泡泡一分钟】LIMO:激光和单目相机融合的视觉里程计
泡泡机器人SLAM
11+阅读 · 2019年1月16日
人工智能 | SCI期刊专刊信息3条
Call4Papers
5+阅读 · 2019年1月10日
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
Hierarchical Disentangled Representations
CreateAMind
4+阅读 · 2018年4月15日
已删除
将门创投
4+阅读 · 2017年12月12日
强化学习族谱
CreateAMind
26+阅读 · 2017年8月2日
Top
微信扫码咨询专知VIP会员