共查询到20条相似文献,搜索用时 0 毫秒
1.
2.
In this paper, we investigate the Galois connections between two partially ordered objects in an arbitrary elementary topos. Some characterizations of Galois adjunctions which is similar to the classical case are obtained by means of the diagram proof. This shows that the diagram method can be used to reconstruct the classical order theory in an arbitrary elementary topos. 相似文献
3.
4.
Topos理论简介 总被引:1,自引:0,他引:1
Topos概念的提出(即elementary topos的公理化)是在研究了如下几类范畴之后:Grothendieck topos,集合的范畴S,以及集合论的布尔值模型。 Grothendieck提出用拓扑空间X上的set valued sheaf的全体做成的范畴Sh(X)作为推广了的拓补空间X,用以研究空间X上的上同调.他把拓扑的概念推广到小范畴(smallcategory)C上,称为一个site(或称为Grothendieck拓扑,参看第2节)。这样就可以考虑给出的site(C,J)上的set valued sheaf的全体做成的范畴Sh(C,J),用它来研究site(C,J) 相似文献
5.
借助模糊集理论中的集合套理论,引入一种新型的集合范畴SEB3。它满足卡氏积封闭性,但不是Topos,而是介于卡氏积封闭性和Topos之间的一种结构,我们称之为弱Topos。 相似文献
6.
7.
有限总体中的最优预测 总被引:9,自引:1,他引:9
研究了有限总体中的最优预测问题,在一般Gauss-Markov模型下得到了线性可预测变量的最优线性无偏预测,特别地,考虑了一类特殊的预测函数:b-线性预测函数。 相似文献
8.
9.
10.
《数学进展》2016,(5)
对高维丛范畴中丛倾斜对象的存在性及其性质进行了研究,讨论了有限型d-丛范畴中存在丛倾斜对象满足它的自同态代数为自入射代数的情形.证明了:(1)当d1时,d-丛范畴的几乎完备丛倾斜对象只有一个补;(2)d-丛范畴的丛倾斜对象都是由遗传代数上的倾斜模诱导的,并给出了倾斜模诱导d-丛范畴的丛倾斜对象的一个充分条件;(3)对于有限型d-丛范畴,有限型3-丛范畴存在丛倾斜对象当且仅当3-丛范畴是A_1,A_3.D_(2n-1)(n2)型的;(4)D_(2n-1)型(2m+1)-丛范畴存在一个丛倾斜对象满足其自同态代数为自入射代数,且其模范畴的稳定范畴等价于A_(4mn-4m+2n-1)型(4m+2)-丛范畴. 相似文献
11.
本文用参数优化方法.计算出有限水深中的极限Stokes波.计算的精度高,效率也高.从而进一步证明了用优化手段求stokes波动解里的待定系数是一个合理的、行之有效的方法. 相似文献
12.
对交换子空间格代数alg引入了相关系数的概念,基于这个概念证明了alg中的一个二秩算子,可以写成alg中一秩算子的有限和的充要条件是这个二秩算子只有有限个不同的相关系数. 相似文献
13.
14.
15.
本文研究了外三角范畴中相对合冲对象和粘合R(A’,A,A)中相对合冲对象的保持问题.利用相对同调的方法,获得了相对合冲对象的一些性质和它的等价刻画,推广了阿贝尔范畴和三角范畴中一些结果,给出了相对投射维数的一个等价刻画.主要证明了:在满足一定条件时,A’和A中的相对合冲对象可以诱导出A中的相对合冲对象.反之,对于A中的相对合冲对象也可以诱导出A’和A中的相对合冲对象. 相似文献
16.
设Ω是有限结合环类中全部弱单环组成的环类,Ω1∪Ω2=Ω,Ω1∩Ω2=Φ,在有限结合环类中,我们证明了LΩ1=UΩ2可以成立,并给出等式成立的充要条件.使用这个结论,我们可以证明,在有限结合环类中,超幂零根是特殊根. 相似文献
17.
18.
通过数学分析的方法.探讨数学中“有限”与“无限”的关系.对《数学中的有限与无限》一文的论证提出质疑.中学阶段理解“平行”和“相交”最好的办法是用直观模型,用无限做基础是高等几何的事,不能说明。有限建立在无限基础之上”;长度和点是不同的两个概念,不能混为一谈;圆周率是一个无限不循环小数,它可以用无限多个有限数来表示.但它不能充分说明“有限表示无限”这个结论. 相似文献
19.
In terms of the exactly nonzero partition,the reducible projection-system and correlation matrices, two characterizations for a rank three operator in a CSL algebra can be completely decomposed are given. 相似文献
20.