Z-子集系統(tǒng)的一些范疇性質.pdf

1、江西師范大學碩士學位論文Z于集系統(tǒng)的一些范疇性質姓名：覃鋒申請學位級別：碩士專業(yè)：應用數(shù)學指導教師：徐曉泉2000.1.1厶一弓集茅統(tǒng)的一些范疇性質摘要：未文江明7(1)在一定條件下以Z一連續(xù)格為objects和保Z一并的映射為morphisms的范疇ZI。。是七氏閉的，(2)Z一代敷偏序集范疇對偶等價于點格的一個滿子范疇；最后，我們給d：了以Z一連續(xù)編序集為。bjeCtS和以保Z一并映射為morphisms的范疇Z)的products

2、的一個均造，關鍵詞：Z一子集糸統(tǒng)Z一連續(xù)格函敷空間Z一『弋數(shù)偏序集對偶等價乘積、一、前言D。。。。。理論的發(fā)展源于兩個不同的動力，最為重要的是汁算機高級程序指際語義學。Scocc奠基性的工作導致了代數(shù)格及其推廣～用以指派程序的連續(xù)倍的發(fā)現(xiàn)。自PIorkin指出，怍為數(shù)學模型，我們需要更加一般的研究對象以來D。main的結向理論已成為研究形式指稱語義學中至關重要的一部分。從純數(shù)學的角度，在緊半格結構理論的研究中，Hoffmann和Stra

3、lka發(fā)現(xiàn)L。son及其同『二所考慮的在每一點有子半恪鄰域基的緊半恪正是我們的sc0H窿續(xù)格。正是由于連續(xù)搭理淪具有理論算機科學和數(shù)學的雙重背景，自jiE的誕生以來，受到了人們的極大關注?！?980年，Gierz等人的專著標志著這一早期理論的成熟。。近二十年來，連續(xù)洛的推廣工怍受到了越來越多的關注，且方興未艾。：悍連續(xù)佟的定向系統(tǒng)抉成更加一般的Z一子集系統(tǒng)進行考慮，也是近期的一個較熱門的課題，見[123，4]。在本文中，我們討論了Z一子