讲座题目
:
Sober 空间及其dcpo –模型
主 讲 人
:
ZHAO DONGSHENG
(
赵东升)
讲座时间
:2015年6月19日9:00-10:30
讲座地点
:2026年国际足联世界杯指定网站202
欢迎有兴趣的师生前来聆听!
2026年国际足联世界杯指定网站
2015年6月16日
讲座内容简介
Domain 理论诞生于理论计算机,是一门涉及拓扑学,序理论及格论,逻辑,计算理论,范畴论,半群等诸多领域的交叉学科。经过多年的深入研究,Domain 理论已成为一门比较成熟的但依然十分活跃的数学领域。在Domain 理论中,一个最核心的概念是Scott 拓扑。这种拓扑首先由Danna Scott 定义在完备格上,后来逐步推广到一般的半序集上。尽管Scott 拓扑是Domain 理论中最有用的拓扑结构,但从经典拓扑的角度看,它似乎有一个缺陷:一般情况下只满足 T
0
分离公
理
。令人欣慰的是通过考虑Scott 空间的某种子空间,人们几乎可以得到所有经典拓扑学家们感兴趣的空间。在该系列报告中,我们将介绍这方面的一些最新进展及一些遗留问题。Domain理论中的相关知识也会做些简单介绍。
主讲人简介
赵东升,博导,
新加坡南洋理工大学国立教育公司。
1981
年毕业于陕西师范大学数学系,次年在陕西师范大学王国俊先生指导下攻读拓扑专业硕士学位。
1988
年赴英国剑桥大学攻读博士,师从英国著名数学家
Peter Johnstone
,
1993
年获得剑桥大学博士学位。
1994
年至今在新加坡南洋理工大学国立教育公司从事教学、研究。研究领域有拓扑学,Domain 理论,实分析。一篇论文获2000年世界经典引文奖(Citation Classic Award),是中国首批获得此奖的17位数学家之一。