关于积Domain上的Scott拓扑和连续函数Way-below关系的一点讨论

作者：梁云; 梁基华

来源：四川大学学报(自然科学版), 2004, (06): 1120-1123.

• Scott拓扑
• waybelow关系
• 函数空间

对任意一族具有小元的dcpo{Li}i∈I,证明了若每个σ(Li)是连续格,则∏Li上的Scott拓扑恰是诸Scott拓扑σ(Li)的积拓扑,得到了关于连续函数way below关系的一些结果.

• 单位
  数学学院; 四川大学