【摘 要】
：
用范畴语言刻划不同类型的子对象是范畴论的一个重要内容.各种单态(monomorphism)就是由此被引入和定义的,而这些单态在不同的拓扑空间范畴中又表现出不同的性质.该文主要讨
论文部分内容阅读
用范畴语言刻划不同类型的子对象是范畴论的一个重要内容.各种单态(monomorphism)就是由此被引入和定义的,而这些单态在不同的拓扑空间范畴中又表现出不同的性质.该文主要讨论FHaus拓扑范畴的超单态(extremalmonomorphism)的性质,给出FHaus拓扑范畴超单态的必要条件,并总结了某些拓扑空间某些单态的刻划.文章的最后一部分,通过比较一般的dcpo与完备格的区别,就dcpo上lawson拓扑的紧性作了较为详细的分析.文章主要内容如下:1.分析和讨论FHaus拓扑范畴的超单态的刻划.该文从fhausdorff拓扑空间的性质入手,引入交零包和余遗传的概念,通过对这两个概念的讨论研究给出超单态的一些必要条件,同时给出闭嵌入不是超单态的一个例子.附带纠正文献[1]中关于严格单态的一个命题.2.讨论了超单态以及正则单态(regular monomorphism)在某些拓扑空间(Top,FHaus,Haus,HComp,Ury等)中的刻画.3.用一个例子说明一个连续dcpo是凝聚的(coherent)但不是lawson紧的,通过观察连续格上lawson拓扑紧性的证明,分析一下凝聚的连续dcpo上lawson拓扑不紧的原因.给出一些lawson拓扑紧的dcpo.
其他文献
众所周知,亚纯函数唯一性问题一直是复分析中的一个很重要的研究课题.国内外每年都有大量的研究论文涉及亚纯函数唯一性的问题.该论文是利用复分析中值分布论的有关知识研究
设A(R)是有限局部环Z/PZ上n阶对称矩阵的集合,这里n≥2.p是大于2素数,p≡1(mod4)且k>1.通过确定有限局部环Z/pZ上对称矩阵的标准型,计算出A(R)在线性群GL(R)作用下的轨道数,
极小极大定理作为博弈论的基本原理,首先由Von Neamann于1928年给出.此后,人们得到了各种形式的结果.两个函数的极小极大定理是非合作博弈的数学模型,在数学形式上它是一个函
广告主不再单纯植入综艺节目，而是借由节目场景将品牌信息作用于消费者；广告主与节目推广资源共享，让品牌官网、产品本身、品牌门店等线上及线下渠道成为节目内容的载体作用于消费者，双管齐下，共同为品牌宣传、为节目造势。这样的商业模式正在成为主流。 一位30+的恨嫁女，将在十个星期内，与不同的陌生男性完成30场约会后，把自己嫁掉，乍听起来这似乎是个不太可能完成的任务，闪婚需要运气，更需要勇气。正是这个众人
这篇文章基于基因遗传背景,提出了一类均值混合正态分布:其中n(x;1μ,∑)是均值为1μ,协方差矩阵为∑的多元正态分布的密度函数,F(μ)是权分布函数.它不同于我们通常所讨论的
设F是代数封闭域,Char F=p>2,该文决定了F上有限维Cartan型单李超代数W(m;n;t)的二阶上同调群H(W(m;n;t-),F).该文的主要结论是:L=q/i=-r L是F上的有限维Z-阶化李超代数引理3
该文的主要目的是通过观测子区域ω上的y值来从集合K中识别出a(x),并使得(y,a)满足抛物方程(1.1).在该文中,我们解决问题(P)的关键步骤是利用了Carleman不等式.借助Carleman
在自然科学和工程技术的研究中,许多现象都用微分方程作为它们的数学模型,这些问题实际上都是假定事物的变化规律只与当时的状态有关,而和过去的历史状态无关.但是,事实告诉
可加回归模型已经被实践证明对分析多维数据是很有用的统计工具.此模型的优点:它的每一个可加成分的被看作一维非参数回归,并有很好的收敛速度.因此这些模型很容易解释每个自