《格上拓撲的測度理論、結構性質和Domain函式空間》是依託揚州大學，由徐羅山擔任項目負責人的面上項目。
基本介紹
- 中文名：格上拓撲的測度理論、結構性質和Domain函式空間
- 項目類別：面上項目
- 項目負責人：徐羅山
- 依託單位：揚州大學
- 批准號：10371106
- 申請代碼：A0112
- 負責人職稱：教授
- 研究期限：2004-01-01 至 2005-12-31
- 支持經費：8（萬元）
項目摘要
對格上拓撲系統和Domain進行綜合性深入研究, 獲得拓撲性質、代數性質及偏序性質的相互制約關係。從測度、收斂和拓撲的緊密聯繫入手，提出基於格上拓撲和Domain的新的測度理論和收斂理論，由此獲得格上拓撲的結構性質；給出若干Domain的進一步表示。利用內蘊拓撲對Domain函式空間的性質進行描述和刻畫；得到Domain函式空間的諸多特性，從範疇方面考察相關範疇的狄卡兒閉性，並為理論計算機中函式式
