偏序集上的弱Scott拓扑与弱测度拓扑

讨论偏序集的s_(2)连续性和弱Scott拓扑的一些性质:给出s_(2)连续偏序集上伴随的一些性质;定义弱测度拓扑,研究s_(2)连续偏序集上弱测度拓扑的性质;利用弱测度拓扑给出s_(2)交连续偏序集的等价刻画;研究弱Scott拓扑的连通性.

拓扑空间中的理想收敛

用理想收敛结构解决定向拓扑的刻画问题,给出理想S极限和理想广义S极限可拓扑化的充要条件.结果表明:T0拓扑空间上的定向拓扑、理想S极限拓扑和理想广义S极限拓扑相同;定向空间中的理想S收敛是拓扑的当且仅当其为c-空间;定向空间中理想广义S收敛是拓扑的当且仅当其为局部强紧空间.

拓扑空间中的理想下极限收敛

为了研究拓扑空间的收敛性质,引入了拓扑空间中网的理想下极限收敛和广义理想下极限收敛的概念,同时研究了这两类极限与C-空间和局部强紧空间之间的关系.特别的,借助交连续空间给出了C-空间的等价刻画.

S^(*)-收敛和局部强紧空间

定向空间是定向完备偏序集的拓扑推广,局部强紧空间可以刻画为拟连续的定向空间.本文给出了关于局部强紧空间的一个拓扑版的Scott收敛定理.通过引入S^(*)-收敛的概念并定义有限逼近空间,本文得到以下主要结果:(i)定向空间X是局部强紧的当且仅当S_(X)^(*)-收敛是可拓扑化的;(ii)对任意T0空间X,S_(X)^(*)-收敛是可拓扑化的当且仅当X是有限逼近空间;(iii)若定向空间X上的Lawson拓扑是紧的,则X是赋予Scott拓扑的定向完备偏序集.

Q-值下集Quantale

该文主要研究Q-值下集Quantale,它可以看作是下集Quantale的一般形式.首先证明了序半群范畴与超凝聚式Quantale范畴是等价的;其次证明了Q-值下集Quantale F_(Q)(S)本质上就是下集Quantale D(S)和Quantale Q的张量积.

稳定连续半格的闭包空间表示

为稳定连续半格构建合适的闭包空间表示,引入了可乘闭包空间的概念,证明了可乘闭包空间的正则闭集族在集合包含关系下构成了一个稳定连续半格,并且所有的稳定连续半格都可在序同构的意义下由此生成.进一步提出了可乘闭包空间之间逼近映射的概念,刻画了以Scott连续映射为态射的稳定连续半格范畴和以逼近映射为态射的可乘闭包空间范畴间的等价性.

凸子格格的数量研究

本文主要研究了经过序和、三角和运算后形成的新格的凸子格格数目同原来的有限格凸子格格数目之间的数量关系,并将其进行了推广。在此基础上,得到了有限格凸子格格数目同格自身结构的一些特殊关系。

完美整数k-匹配和k-因子临界图

本文研究完美整数k-匹配和k-因子临界图的存在性.扩张常数表示图的连通强度,对于正则图,利用扩张常数给出了完美整数k-匹配存在的一个充分条件,这推广了Hamers等人和Cioabǎ等人的结果.此外,对于正则图,基于扩张常数还给出了k-因子临界图存在的一个充分条件.

Riesz模范畴的完备性和余完备性

范畴论是现代数学的基础,从Riesz模范畴出发,研究Riesz模的内部特征是研究Riesz模的重要方法。范畴的极限是范畴论的重要概念之一,范畴中乘积、等值子概念均可以看作是范畴的某种特殊的极限,余积、余等值子是特殊的余极限。范畴中极限的存在性决定了该范畴的完备性,余极限的存在性决定了余完备性。通过对以Riesz模为对象,Riesz模同态为态射的Riesz模范畴极限的研究,给出了Riesz模范畴中的乘积与余积、等值子与余等值子的具体表示形式,进而证明了Riesz模范畴具有完备性和余完备性。

Riesz模范畴中拉回与推出的性质研究

拉回和推出也称为纤维积和纤维余积,是范畴论中两个重要的对偶概念,属于数学中诸多概念的抽象,具有丰富的内涵。文章在Riesz模范畴中研究拉回与推出的存在性和唯一性。首先引入拉回的概念,构造出满足Riesz模范畴中拉回概念的一个对象和一对态射,并证明拉回的存在性和唯一性;对偶地,在Riesz模范畴中引入同余关系的概念,在此基础上,运用同余关系作商,定义出了Riesz模的商的概念,再对推出的概念进行定义,构造出满足Riesz模范畴中推出概念的一个对象和一对态射,并证明推出的存在性和唯一性。

基于偏序集的连续映射

基于实数集R的经典邻域的概念,引入了一个新的基于偏序集P的邻域的概念,随后定义了一个从P到R的映射的极限和连续的新概念,并在偏序集的背景下验证了连续函数的各种经典结论,例如有界性、介值定理等等。

偏序集上的MS-收敛

定义在s_(2)-连续偏序集上的S-极限是一种重要的收敛结构.本文用集族MS代替定向集,将s_(2)-连续和S-极限进行推广,定义了s_(2)MS-连续和MS-极限,并用MS-极限定义了s_(2)MS-α-连续.本文主要结果有:(i)如果L为s_(2)MS-连续偏序集且MS关系具有插入性质,则MS-收敛是拓扑的;(ii)如果L为偏序集,任意的x∈L,α(MS)x∈MS且α(MS)具有插入性质,则MS-收敛为拓扑的当且仅当L为s_(2)MS-α-连续的.

拓扑系统中的内部元及其应用

在拓扑系统中借助开元引入了子集的内部元概念,讨论了内部元的相关性质;在点集与Frame之间通过范围映射和内部元映射定义了内部元算子,并给出了由内部元算子确定拓扑系统的方法;利用内部元对拓扑系统之间的连续映射进行了等价刻画.

有界Heyting代数的扩张理想和稳定理想

运用泛代数的方法和原理深入研究有界Heyting代数的理想问题.在有界Heyting代数(H,≤,→,0,1)中引入了理想I关于H的子集的扩张理想和稳定理想概念,获得了它们的若干基本性质.系统讨论了由两类特殊扩张理想构成集合的格论特征,证明了:(1)有界Heyting代数(H,≤,→,0,1)的一个给定理想I关于H的所有子集的扩张理想全体之集EI(P(H))在一定条件下构成一个分配完备格,进一步构成一个Stone格和完备Heyting代数;(2)有界Heyting代数(H,≤,→,0,1)的关于一个给定子集A■H的稳定理想全体之集S_(Id(H))(A)构成一个完备Heyting代数.最后考察了商有界Heyting代数和乘积有界Heyting代数的扩张理想性质.

否定非对合剩余格上BF-理想的BF-平移与BF-扩张理想

进一步研究否定非对合剩余格的双极值模糊理想(简称BF-理想)问题,引入BF-理想的BF-平移、BF-扩张理想和BF-乘积等概念并考察它们的性质特征和相互关系,为进一步揭示否定非对合剩余格的结构特征拓展研究思路.

δ-sober空间及其性质

文中讨论了δ-sober空间的一些基本性质,引入了s_(2)-弱收敛空间的概念,并讨论了δ-sober空间和s_(2)-弱收敛空间的关系。主要结论有:(1)δ-sober空间的子空间为δ-sober空间;(2)设(X,τ)为IDC空间,则(X,τ)为s_(2)-弱收敛空间当且仅当(X,τ)为δ-sober空间;(3)s_(2)-弱收敛的IDC空间上的拓扑τ与在特殊化序下的σ_(2)-拓扑一致,并且O(X)=O_(σ2)(X)=O_(SI_(2))(X);(4)设(X,τ)为SI_(2)-拟连续空间,则(X,τ_(SI_(2)))为δ-sober空间;(5)设(X,τ)为δ-sober的局部超紧空间,则(X,τ)为s_(2)-拟连续偏序集。

拟连续Domain的SM^(*)性质

研究了拟连续Domain中比M^(*)性质更强的SM^(*)性质,并得到了一些有意义的结论.主要结果有:给出了拟连续Domain具有M^(*)性质的等价刻画;给出了拟连续Domain的SM^(*)性质的定义,并说明了M^(*)性质与SM^(*)性质的关系;给出了QL-Domain具有SM^(*)性质的等价条件;给出了两类具有性质SM^(*)的特殊的拟连续Domain.

交连续空间的遗传性与等价刻画

本文研究了交连续空间对其开子空间和闭子空间的遗传性,给出了交连续空间的等价刻画.特别地,本文通过交连续空间说明了代数连续空间与代数拟连续空间的关系.

半连续格上的半基,se-拓扑和sρ-拓扑

在完备格上引入了se-拓扑和sρ-拓扑的概念,讨论了半连续格上se-拓扑和sρ-拓扑的一些基本性质,进而给出了半连续格上半基的若干等价刻画.

仿紧正则locale的紧正则反射

在locale范畴中讨论仿紧locale的性质,证明仿紧正则locale是正规的.通过正规locale的插入性,给出正则理想格CR(L)是仿紧正则locale的紧正则反射的构造性描述.