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