首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 31 毫秒
1.
先给出局部有限偏序集上的函数集合的定义,三种运算及其性质,然后引入Moebius函数,并举例加以具体说明.最后把Moebius函数进一步推广。  相似文献   

2.
用等距球来研究高维Moebius群的间断性。  相似文献   

3.
Moebius第二基本形式是单位球面上子流形的重要的Moebius不变量,本文给出了S3中具有半平行Moebius第二基本形式的曲面的分类。  相似文献   

4.
设x:M→S^n是单位球面上Moebius形式平行的具有常数Moebius标准数量曲率的不含脐点的子流形.本文建立了关于x的无迹Blaschke张量A^~的Moebius型积分不等式,在此基础上对临界点处子流形进行分类.  相似文献   

5.
给出了剩余偏序集的定义,导出了剩余偏序集的一些性质.证明了如果FI-代数上有二元运算满足(ab)→c=a→(b→c),那么FI-代数是剩余偏序集;正则FI-代数与正则剩余偏序集是相同的代数结构.通过剩余偏序集细化了FI-代数与其它常见逻辑代数之间的联系,并绘制了剩余偏序集与其它相近逻辑代数之间联系的网络图.  相似文献   

6.
偏序集上关联蕴涵代数的性质   总被引:4,自引:0,他引:4  
偏序集上的蕴涵代数是取值于偏序集上的逻辑蕴涵联结词的一种代数抽象.在偏序集关联蕴涵代数概念的基础上,本文对其性质进行了一定的讨论,给出了它与其它逻辑代数结构间的关系.  相似文献   

7.
利用一个固定的抛物型Moebius变换作为检验性元素来检验扩充复平面上的非初等Moebius群的离散性,文中给出的结果改进了由Jφrgensen所建立的判别准则。  相似文献   

8.
令G为扩充复平面上的一非初等Moebius群,go为任一斜驶型Moebius变换,本文建立了G离散的一个充分条件:如果G中任意g和go生成的群离散,则G离散,这一结果改进了Jφrgensen建立的著名的离散判别准则。  相似文献   

9.
两类代数Domain范畴的等价   总被引:1,自引:0,他引:1  
首先证明了一个Domain范畴与它的等价范畴有相同的笛卡儿闭性,其次通过引入两类新的偏序集即L-偏序集和B-偏序集,构造了范畴LPOSa(由L-偏序集与逼近关系组成)和范畴BPOSA(由B-偏序集与逼近关系组成),并证明了它们分别与代数L-domain范畴ALD和代数be-domain范畴ABD等价.  相似文献   

10.
Z-半连续偏序集的性质   总被引:1,自引:1,他引:0  
讨论了Z-半连续偏序集上一些映射性质,Z基于不同的映得到了相关的Z-半连续序集的等价刻划.同进还定义了Z-半连续偏序集的基和Z-半代数偏序集,并讨论了Z-半连续偏序集的基的性质和Z-半代数偏序集与Z-半连续偏序集间的刻划.  相似文献   

11.
Martin和方爱农分别在有限生成和条件A的限制下建立了高维Moebius群的代数收敛定理。本文中,我们用一种新的方法证明了这些限制条件下是不必要的,从而建立了更一般的代数收敛定理。  相似文献   

12.
设x:■是m+1维单位球Sm+1中的一个m维无脐点超曲面,B为Moebius第二基本形式,得到了不等式tr■,并证明了等号成立当且仅当Mm是单参数球族的包络.  相似文献   

13.
俞祖国与王健在题为“高维Moebius群的拓扑与共轭不变量”的文章中对酉Clifford矩阵进行了讨论,并得到了这样一个有趣的结论:如果Clifford矩阵A=(abcd)是一酉Clifford矩阵,则变换gA(x)=(ax b)(cx d)^-1是弦度量空间(R^-n,D)上的一个等距同胚,我们可以证明其逆命题也成立,另外,证明了2-维空间中酉矩阵中的Moebius变换的一些等价条件在n-维空间仍然成立。  相似文献   

14.
关于偏序集的伴随代数   总被引:3,自引:0,他引:3  
研究了偏序集(X;≤)的伴随代数,指出了一个偏序集的所有伴随代数都是自同构的,最后给出了伴随代数的构造。  相似文献   

15.
可数逼近偏序集是连续偏序集的一种推广,讨论了可数逼近偏序集的一些拓扑性质以及与连续映射相关的性质,结果表明:可数逼近偏序集具有许多类似于连续偏序集的良好性质.  相似文献   

16.
将Moebius变换的概念推广到了内积空间中,并采用一种纯几何的方法,讨论了内积空间中的Moebius变换和保交比映射之间的等价关系.  相似文献   

17.
相容双有限domain及相关范畴性质   总被引:2,自引:0,他引:2  
将建立在dcpo上的双有限domain等概念推广到相容定向完备偏序集上,定义了相容定向完备偏序集上的逼近单位、有限分离、相容双有限domain等概念,给出了相容双有限domain的等价命题.并从范畴学的角度考察证明了以相容双有限domain为对象,Scott连续映射为态射的范畴CBF是笛卡儿闭范畴.还讨论了相容定向完备偏序集及相容代数domain上的几个性质.  相似文献   

18.
研究了domain的推广--连续偏序集的Cartesian积以及连续偏序集和代数偏序集的一些性质.给出了连续偏序集的若干等价刻画.  相似文献   

19.
区间集上R0-代数的表示形式及其性质   总被引:1,自引:0,他引:1  
研究了与区间集理论相关的偏序关系和偏序集概念,详细讨论了区间集上的交、并、补、伪补、蕴涵及基本运算律,并以此为理论基础,在区间集上重新定义了R0-代数系统的表示形式,接着严格化地论证了该系统的可行性和合理性,最后给出了区间集上R0-代数的两组有趣性质.  相似文献   

20.
研究了与区间集理论相关的偏序关系和偏序集概念,详细讨论了区间集上的交、并、补、伪补、蕴涵及基本运算律,并以此为理论基础,在区间集上重新定义了R0-代数系统的表示形式,接着严格化地论证了该系统的可行性和合理性,最后给出了区间集上R0-代数的两组有趣性质.  相似文献   

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

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