擬連續(xù)相容Dcpo與超連續(xù)相容Dcpo
[Abstract]:On the basis of quasicontinuous Domain and supercontinuous Domain, this paper introduces quasicontinuous Cdcpo and supercontinuous Cdcpo, and discusses the related properties. The full text is as follows: the first part, preparatory knowledge. This paper gives the basic definition, concept and result of Cdcpo which will be referenced in this paper. In the second part, the waybelow relation between points of Cdcpo is generalized to set and set, and the Rudin Lemma is generalized by quasicontinuous Cdcpo, and the equivalent characterizations of quasicontinuous Cdcpo and quasi algebraic Cdcpo are obtained. Secondly, we define the compatible quasi basis and the compatible local quasibasis of quasicontinuous Cdcpo, and give some characterizations of the compatible quasi basis and the compatible local quasi basis of the quasicontinuous Cdcpo. At the same time, we give the equivalent characterizations for preserving the compatible quasi minimal sets. In this paper, we discuss the preserving properties of quasicontinuous Cdcpo under some classes of mappings, and prove that quasicontinuous Cdcpo is invariant under compatible Scott quasicontinuous mappings and C- compatible continuous mappings. Finally, it is proved that quasi continuous Cdcpo is hereditary to Scott open sets and Scott closed sets, and whether quasi continuous Cdcpo is contracted or quasi continuous Cdcpo.. In the third part, we define the equivalent characterizations of supercontinuous Cdcpo, and obtain some basic properties of supercontinuous Cdcpo. Secondly, it is proved that the finite product of supercontinuous Cdcpo is still supercontinuous Cdcpo, and the contraction of supercontinuous Cdcpo is still supercontinuous Cdcpo. It is proved that the supercontinuous Cdcpo is hereditary to the subCdcpo. Finally, the relations between supercontinuous Cdcpo, intersecting continuous Cdcpo and quasi continuous Cdcpo are given.
【學(xué)位授予單位】:南京師范大學(xué)
【學(xué)位級(jí)別】:碩士
【學(xué)位授予年份】:2015
【分類(lèi)號(hào)】:O153.1
【參考文獻(xiàn)】
相關(guān)期刊論文 前10條
1 趙浩然;寇輝;;關(guān)于擬連續(xù)domain以及函數(shù)空間的注記[J];模糊系統(tǒng)與數(shù)學(xué);2012年04期
2 何衛(wèi)民;;相容連續(xù)Domain的遺傳性[J];模糊系統(tǒng)與數(shù)學(xué);2010年01期
3 張?jiān)铝?汪開(kāi)云;;擬連續(xù)Domain的特征與濃度[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2010年01期
4 楊金波;羅懋康;;擬連續(xù)Domain與廣義完全分配格(英文)[J];數(shù)學(xué)進(jìn)展;2007年04期
5 楊金波;羅懋康;;超連續(xù)Domain與擬超連續(xù)Domian[J];模糊系統(tǒng)與數(shù)學(xué);2007年04期
6 饒三平;徐曉泉;;擬連續(xù)Domain上的擴(kuò)張定理[J];南昌大學(xué)學(xué)報(bào)(理科版);2006年06期
7 王習(xí)娟,徐羅山;FS-相容Domain的定向完備化及相關(guān)范疇性質(zhì)[J];模糊系統(tǒng)與數(shù)學(xué);2005年03期
8 趙彬,梁曉榮;擬代數(shù)Domain的若干性質(zhì)[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2005年03期
9 徐愛(ài)軍,王戈平;局部dcpo和相容dcpo的交連續(xù)性[J];徐州師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2005年02期
10 寇輝,羅懋康;擬連續(xù)Domain及其子范疇間的伴隨關(guān)系[J];數(shù)學(xué)年刊A輯(中文版);2002年05期
相關(guān)博士學(xué)位論文 前1條
1 郭智蓮;相容連續(xù)Domain和模糊半連續(xù)Domain的研究[D];陜西師范大學(xué);2012年
相關(guān)碩士學(xué)位論文 前2條
1 朱寧?kù)o;相容定向完備偏序集的拓?fù)浣Y(jié)構(gòu)與范疇性質(zhì)[D];南京師范大學(xué);2014年
2 梁曉榮;擬代數(shù)Domain性質(zhì)及其它Domain結(jié)構(gòu)的研究[D];陜西師范大學(xué);2006年
,本文編號(hào):2393837
本文鏈接:http://sikaile.net/kejilunwen/yysx/2393837.html