講座內(nèi)容：Domain理論是一門涉及拓?fù)鋵W(xué)，序理論及格論，邏輯，計算機(jī)理論，范疇論，半群等諸多領(lǐng)域的交叉學(xué)科。經(jīng)過多年的深入研究，Domain理論已成為一門比較成熟的但依然十分活躍的數(shù)學(xué)領(lǐng)域。在Domain理論中，一個最核心的概念是Scott拓?fù)?。如果一個拓?fù)淇臻g同胚于一個半序集的全體極大點構(gòu)成的Scott空間的子空間，這個半序集稱作該拓?fù)淇臻g的一個模型?，F(xiàn)已證明，每個T1空間都有dcpo模型。半序集模型構(gòu)建了Domain理論與經(jīng)典拓?fù)涞囊粋€新的橋梁，也帶出了一些新的研究課題，本報告，將介紹這方面的背景及一些最新進(jìn)展。主要是有關(guān)一類Hausdorff空間，它們的某種子集構(gòu)成dcpo模型。