斯科特连续性

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

f : PQ

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

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

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.