首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到17条相似文献,搜索用时 46 毫秒
1.
Rudin性质与拟Z-连续Domain   总被引:11,自引:0,他引:11  
徐晓泉  寇辉  黄艳 《数学年刊A辑》2003,24(4):483-494
对一般子集系统Z,引入了Rudin性质,给出了它的映射式刻划.作为拟连续偏序集和Z-连续偏序集的公共推广,引入了拟Z-连续Domain的概念,讨论了拟Z-连续Domain的基本性质,特别地,给出了Rudin性质及其映射式刻划在拟Z-连续Domain方面的若干应用,将关于拟连续偏序集的主要结果推广至了拟Z-连续Domain情形.  相似文献   

2.
定义了拟Z-极小集,并证明了拟Z-连续Domain的每个元都有拟Z-极小集,在拟Z-连续Domain中,给出了保拟Z-极小集映射的几个等价刻画,并且在此基础上,运用Rudin性质,得到了拟Z-连续Domain上的两个相应扩张定理.  相似文献   

3.
拟Z-连续domain和Z-交连续domain   总被引:11,自引:0,他引:11  
徐晓泉  罗懋康  黄艳 《数学学报》2005,48(2):221-234
对一般子集系统Z,引入了Rudin性质、拟Z-连续domain及Z-交连续 domain的概念,讨论了它们的基本性质.特别是Z-连续性、拟Z-连续性、 Z-交连 续性和Z-Lawson拓扑之T2性之间的相互关系. 证明了当子集系统Z满足一定条件 时,拟Z-连续domain P上的Z-way below关系Z具有插入性质, P上的Z-Lawson 拓扑λZ(P)是T2的,且P可用Z-Lawson同态嵌入到某方体之中.文中给出了一个 domain P,其上的Lawson拓扑λ(P)是T2的,但P不是拟连续性domain.  相似文献   

4.
基于一般子集系统Z,引入拟Z-代数domain的概念,研究了拟Z-代数domain的一些映射性质,并讨论了拟Z-代数domain与拟Z-连续domain之间的关系及拟Z-代数domain的乘积。  相似文献   

5.
讨论了超连续domain与拟超连续domain的相关性质,证明了超连续半格范畴为有性质M*的拟超连续domain范畴的反射子范畴。  相似文献   

6.
对拟连续domain引入了关于基的性质MF,证明了对拟连续domain P,任两个Scott紧上集的交是Scott紧当且仅当P关于某一(任一)基具有性质MF.  相似文献   

7.
拟连续Domain的若干拓扑性质   总被引:1,自引:1,他引:0  
对拟连续Domain D证明了:(1)双拓扑空间(D,σ(D),(D))为两两完全正则空间;(2)若D有可数基,则(max(D),σ(D)max(D))为正则空间当且仅当它为Polish空间;(3)拓扑空间(D,σb(D))为零维Tychonoff空间,其中σb(D)为D上Scott拓扑的b-拓扑。  相似文献   

8.
拟连续Domain及其子范畴间的伴随关系   总被引:1,自引:0,他引:1  
基于Smyth幂 Domain的构造,本文证明了连续半格范畴 CSL(分别地,有界完备连续Domain范畴CBD)是拟连续Domain范畴QCONT(分别地,Coherent拟连续 Domain范畴QCCOH)的反射子范畴.反例表明,连续 Domain范畴CONT作为范畴 QCONT的真子范畴并非其反射子范畴.所有结果均被进一步推广到拟代数Domain范畴.  相似文献   

9.
拟连续Domain及其子范畴间的伴随关系   总被引:2,自引:0,他引:2  
寇辉  罗懋康 《数学年刊A辑》2002,23(5):633-642
基于Snyth幂Domain的构造,本文证明了连续半格范畴CSL(分别地,有界完备连续Domain范畴CBD)是拟连续Domain范畴QCONT(分别地,Coherent拟连续Domain范畴QCCOH)的反射子范畴反例表明,连续Domain范畴CONT作为范畴QCONT的真子范畴并非其反射子范畴.所有结果均被进一步推广到拟代数Domain范畴。  相似文献   

10.
证明了:(1)具有性质M的dcpo为拟连续domain当且仅当其上的下拓扑开集格在集合包含序下为连续格;(2)对于dcpo L,L为拟连续domain当且仅当ΣL的Hoare空间为局部强紧空间.  相似文献   

11.
作为John域的推广,本文定义了弱John域,并讨论了弱John域与拟圆、弱John域与拟共形 映射之间的关系,得到(1)若(?)。中的Jordan域D和它的外部 均是弱John域,则D 是拟圆;(2)R2中的弱John域是拟共不变的;(3)R2中的有界拟圆必是弱John域.最后构造例子 说明R2中的无界拟圆不一定是弱John域.  相似文献   

12.
1 IntroductionDifferent kinds of numerical n1etl1ods llavc been apPlied to so1lle proble1l1s o11 exteriordolllai11s successf1lly, e.g. tlle bou11dary element metl1od, the absorbillg boundary condi-tion lnethod, the spectrunl 11letllod, a11d the i11fillite eleIue1lt 1nethod. Tlle il1finite elementllletllod llas beell applied to tl1e Laplace equatioll['], the Stokes equation[']['], the plane elastic-ity systeln['1, alld the Heln1ho1tz equatioll[n. We study tl1e infinite ele111ent llletl1od tbr…  相似文献   

13.
金帅 《数学杂志》2015,35(5):1201-1208
本文研究了稍微广泛的一类Hartogs型域的自同构群.利用华域的自同构群,获得了一类有界对称域上的Hartogs型域的自同构群的具体形式,推广了有界对称域上的Hartogs型域的自同构群这一结果.  相似文献   

14.
本文得到一个一般的拓扑型有限交性质,并将所得结果应用于研究拓扑型极大极小定理  相似文献   

15.
无界区域Stokes 问题非重叠型区域分解算法及其收敛性   总被引:1,自引:0,他引:1  
郑权  王冲冲  余德浩 《计算数学》2010,32(2):113-124
本文研究无界区域Stokes方程外问题的利用有限元法和自然边界归化的非蕈叠型区域分解算法,此方法对无界区域Stokes问题非常有效.给出连续和离散情形的D-N算法及其收敛性分析,得到算法收敛的充要条件及充分条件,并得到最优的松弛因子和压缩因子,最后给出数值算例予以验证.  相似文献   

16.
For the Generalized Linear Model (GLM), under some conditions including that the specification of the expectation is correct, it is shown that the Quasi Maximum Likelihood Estimate (QMLE) of the parameter-vector is asymptotic normal. It is also shown that the asymptotic covariance matrix of the QMLE reaches its minimum (in the positive-definte sense) in case that the specification of the covariance matrix is correct.  相似文献   

17.
1.引言 在文[1]中,本文作者探讨了当控制多边形为凸时,过控制多边形内部任意给定两点的三次有理 Bézier曲线的存在唯一性问题,给出了这样的曲线存在的充要条件并证明了其若存在则是唯一的,还给出了其权因子的计算式.但由两点确定的三次有理 Bzier曲线的权因子不一定非负,从而不能保证曲线具凸包性和保凸性,而无论从理论还是实用角度看,曲线的这两个性质都是很重要的. 本文从如下方面进一步深化[1]的论题:当凸控制多边形内部两点 p1, p2满足什么条件时,过P1,P2两点的三次有理 Bézier曲线不仅…  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号