斯科特连续性

✍ dations ◷ 2025-11-26 08:14:19 #域理论

在数学中,在偏序集合和之间的单调函数

是Scott-连续的,如果它保存所有有向上确界,就是说,对于所有有向集合,有着上确界sup()在 中,则集合{() | ∈ } 有上确界(sup())在中。

这实际上等价于在各自的偏序集合上关于斯科特拓扑是连续的。

相关

  • 乙糖乙糖(Diose),又称为二碳糖,是含有两个碳原子的单糖。因为一般被确立的单糖化学式为(C·H2O)n,且n为3或以上,所以乙糖并不在单糖的正式定义下。无论如何,即使它并不符合化学式(C·H2
  • 地藏王菩萨地藏菩萨(梵语:क्षितिगर्भ Kṣitigarbha),佛教菩萨之一,音译为“乞叉底蘗婆”,因其“安忍不动如大地,静虑深密如秘藏”而得名。又因其发有‘众生度尽、方证菩提;地狱不空
  • 五甲中山高速公路为中华民国(台湾)第一条国道。1971年开工,1978年通车。全长374.3公里(汐五高架则为20.7公里,不包含其中),共有34个交流道(含端点)。随着国道三号及各地快速公路通车,2017
  • 法兰绒法兰绒(英语:Flannel)是一种用粗梳毛纱织成的柔软且有绒面的毛织品。起源尚有争议,可能源于16世纪的威尔士。早期一般使用羊毛制作,现在也使用绵及化纤制作。此布料多数用来制做
  • 崔宇植崔宇植(朝鲜语:최우식 Choi Woo-sik,1990年3月26日-),韩国男演员。十岁时随家人移民加拿大,后因演员梦想回到韩国。2014年凭《巨人》获得第19届釜山国际影展演员奖。崔宇植在小学
  • 德富芦花德冨芦花(1868年12月8日-1927年9月18日)是日本小说家,本名德富健次郎。近年也以侦探小说作家受到注目。本人使用“徳冨”(“冨”而非“富”)之表记,因此文学事典、文学馆、纪念公园
  • 陈昂 (洪武进士)陈昂,福建连江东岱人,明朝政治人物,同进士出身。洪武二十年,福建丁卯乡试中举。洪武二十一年(1388年),登戊辰科进士,任贵州道监察御史、云南参议。
  • 北带方北带方(韩语:북대방),是存在于公元一世纪的古代朝鲜半岛西部部落国家。北带方本是竹覃城,前汉设立乐浪郡。后乐浪僭称乐浪国,和带方人建立的带方国。新罗弩礼王四年(27年),带方人与乐
  • 高田马场之决斗高田马场之决斗(高田马场の决闘,たかだのばばのけっとう)是在元禄7年2月11日(西历1694年3月6日)于江户郊外的高田马场发生的伊予国西条藩松平赖纯的家臣之间的决斗。中山安兵卫(堀
  • 分叉 (软件开发)分叉(英语:fork,又译作派生、分支)是一个软件工程名词,发生在当开发人员从一个软件包拷贝了一份源代码然后在其上进行独立的开发,创建不同的软件。这个术语不只意味着版本控制上的