局部dcpo上的S-极限

在局部dcpo上引入了S-极限的概念，并利用S-极限来刻划Scott拓扑和连续的局部dcpo。其主要结果：证明了U是Scott开集当且仅当U∈O(S)；D是连续的局部dcpo当且仅当，S-收敛是关于Scott拓扑的拓扑收敛。     

R—点网极限的讨论

定义1 设A是一个定向集,其偏序关系用“”表示,Z是拓扑空间,(x_a)_(a∈A)为A中一个点网当Z=R时,称(x_a)_(a∈A)为R一点网。 定理1 R一点网(x_a)_(a∈A)收敛(x_a)_(a∈A)为Cauchy R一点网。 证明:“”设limx_a=x _ε>0 β∈A 当时βα,βγ,有|x_a-x|<ε/2     

关于完全链格与完全格的讨论

<正> 1、问题的提出文[2]中讨论递归程序的不动点语义时,指出函数空间[(D~+)~n→D~+]关于Scott偏序“”是一个链半格,由此根据Kleen定理推断出连续泛函不动点的存在性。这里的链格与通常定义的完全格有何关系?设偏序集(L,≤),对任意的x,y∈L,都存在它的最大下界glb(x,y)和最小上界lub(x,y),则称L为格,对于CL,如对于任意x,y∈C,或有x≤y或有y≤x,称C为链。如果对格L中的任意链C,在L中都存在它的最小上界lub(c)和最大下界glb(c),则称L为完全链格。     

拓扑群上的一致与等度连续及其非标准特征

文中涉及的拓扑空间约定都包含在标准全域 U 的个体集 S 中,非标准全域~*U 是扩大.m(α)表示α点的单子,x≈α表示x∈m(α).定义1 设(G,I_1,·,e_1)及(H,I_2,·,e_2)是拓扑群,f:G→H,若对每一 V∈I_2(e_2)存在 W∈I_1(e_1)使对任意的 g_1,g_2∈G,若 g_1·g_2~(-1)∈W,即有 f(g)·f~(-1)(g_2)∈V,则称 f 在 G 上一致连续.容易验证,若 f 在 G 上一致连续,则其在 G 上连续.     

连续时间下非参数回归模型的回归函数核估计量的一致均方收敛速度

研究了连续时间下非参数回归的回归函数核估计量的收敛速度，给出了一定条件下回归函数估计量rt(x)的一致均方收敛速度，详细证明了两组条件下rT(X)分别满足：E(supx∈S|rT(X)-r(x)|)^2=0(T^-1/2)和E(supx∈S|rT(x)-r(x)|)^2=0(lnT)^2/S T^-1/2),其中r(x)表示未知的回归函数。     

S-次仿紧空间

针对一些广义仿紧空间以及拓扑空间中半开集和半闭集的性质,本文将次仿紧空间的一些结论推广到半闭集的条件下,新定义并研究S-次仿紧空间的基本性质.首先给出一些基本的定义和定理,然后在此基础上定义S-次仿紧空间,最后得出一些主要结果:(1)空间X是S-次仿紧空间,则X的每一开覆盖U,存在半开加细覆盖序列{Vn}n∈N使对每一x∈X,存在n∈N,使ord(x,Vn)=1,这里(ord(x,Vn)=|{V:V∈Vn,x∈V}|);(2)空间X是S-次仿紧空间,则X的每一开覆盖具有σ垫状加细覆盖;(3)如果(X,Fa)是S-次仿紧空间,则(X,F)也是S-次仿紧空间,并给出相应的证明.     

半序线性空间的分子结构

给出数域F上线性空间的一类更一般的统一框架，即广义线性空间的概念：设T是论域，F是数域，V(T)=|ρ|ρ：T→F|，任意ρ，σ∈V(T)，任意α∈F，规定(ρ+σ)(x)=ρ(x)+σ(x)，(αρ)(x)=α(ρ(x)，则V(T)为F上的广义线性空间．在该框架下引入半序关系，构造一类半序线性空间(V，≤)：任意α，β，γ∈V，任意α∈F，α≤β，则1)α+γ≤β+γ且γ+α≤γ+β；2)当α≥0时，αα≤αβ，当α&lt;0时，αβ≤αα．同时构造了分子概念：格L中的元素α称为并既约元，若任意x，y∈L，α=x∨y，则α=x或α=y，L中非最小元的并既约元称为L中的分子．并讨论其分子结构，从而为进一步探讨线性空间上的代数结构、序结构及拓扑结构的复合结构奠定理论基础．     

关于序列紧空间上连续自映射的ω-极限点

在一般拓扑空间上研究拓扑动力系统的轨道渐近性质．证明了以下结果：设X是序列紧空间,f是X上的连续自映射,点x的ω-极限集ω（x,f）为有限集当且仅当它是,的一个周期轨．作为推论,在紧空间和可数紧空间中也有完全相同的结果．     

集值集压缩映象的某些不动点定理

设PX是实Banach空间X的一锥。P_R={x∈P:‖x‖r>0使得(L_1):Ax≮x,x∈P_r且(L_2)ε>0,(1+ε)x≮Ax,x∈P_R,则A在P_R\P_r中有一不动点。Leggett(1980)将(L_1)削弱为(L′_1):Ax≮x,x∈P(u),‖x‖=r,杜旭光(1983)进一步将(L′_1)削弱为(L″_1):Ax≮(1—ε)x,x∈P(u),‖x‖=r,0<ε<1.本文将上述文献中的全连续算子推广到集值凝聚映象,球形区域换成一般开集且将(L″_1)和(L_2)作进一步削弱。本文的结论改进和统一了[2,3,4,5]中相应结果。     

在Frechet空间中闭算子的s-可分解与f(S)可分解之间的一个关系

设X是Frechet空间,{||x||}m=1是定义X的拓扑的一族半范数,且可设||x||_1≤||x||_2≤…本文所讨论的算子均定义在Frechet空间X上。一、基本概念、名称及记号: 1.若正数{||x||_m,x∈A}集合对每个自然数m是有界的,则称集合A(?)X是有界的。点列在X中收敛等价于同时按可数无穷多个半范数{||x||_m}m=1收敛。 2.用C(X)表示X上闭线性算子的全体,L(X)表示X上连续线性算子的全体。     

Z-半连续偏序集的性质

讨论了Z-半连续偏序集上一些映射性质,Z基于不同的映得到了相关的Z-半连续序集的等价刻划．同进还定义了Z-半连续偏序集的基和Z-半代数偏序集,并讨论了Z-半连续偏序集的基的性质和Z-半代数偏序集与Z-半连续偏序集间的刻划．     

一个偏序集不动点定理

在没有无限性公理的ZF集论中给出一个偏序集不动点定理.     

机器有使用限制的两台同类机排序的在线LS算法

研究了机器有使用限制的两台同类机排序问题的在线算法,对于Q2 a(M1)Cmax和Q2 a(M2)Cmax问题,证明了LS算法的竞争比分别为1 s12和s2 s12,并举例说明了这两个界是紧的。     

Mobius交错偏序集

本文研究了Ｍｏｂｉｕｓ交错偏序集，给出该类偏序集的纤维构造定理，并讨论其在积和区间运算下的保持情况．本文将Ｂａｃｌａｗｓｋｉ有关ＣＭ偏序集的一些性质推广到Ｍｏｂｉｕｓ交错偏序集上．     

Z-连续偏序集的基

引入了Z-连续偏序集的基的概念,给出了它的刻画定理.研究了Z-连续偏序集上的Z-Scott开集,Z-Lawson开集,Z-Scott拓扑及Z-Lawson拓扑的一些性质.     

Z-连续偏序集的特征与稠密度

该文引入了Z-连续偏序集的局部基和稠密子集的概念,基于此定义了Z-连续偏序集的特征和稠密度;给出了局部基的刻画,并讨论了Z-连续偏序集的特征和稠密度与Z-连续偏序集上Z-Scott拓扑和Z-Lawson拓扑的特征、稠密度之间的关系;证明了Z-连续偏序集上Z-Scott拓扑的特征小于或等于Z-连续偏序集及其Z-Lawson拓扑的特征,Z-连续偏序集的稠密度与其Z-Scott拓扑的稠密度相等,且小于或等丁Z-Lawson拓扑的稠密度.     

硫化镍阳极溶解动力学

以人工合成的纯Ni_3S_2为研究对象,采用多种电化学测试方法,考察其阳极溶解行为,求出阳极溶解动力学参数,推导溶解过程机理。     

反链在正则三值逻辑函数个数计算中的应用

正则三值逻辑函数个数的计算十分复杂，本文将这一问题与ｎ维三元偏序集Ｅｎ以及的幂集中反链的计算联系起来，得到了两个有用的计数公式和，从而为解决这一问题提供了一种新的途径．     

可数逼近偏序集的若干性质

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

关于$1,1/3^{s_{1}},...,1/(2n-1)^{s_{n-1}}$的第二类初等对称函数的整性

设$d,\ m$ 与 $n$ 均为正整数. 在1915年, Theisinger证明当$n\ge 2$时,$n$次调和和 $\sum_{k=1}^n\frac{1}{k}$不是一个整数. 在1946年,Erd\H{o}s和Niven 证明仅有有限多个$n$, 使得关于$1/m, 1/(m+d),..., 1/(m+nd)$ 的一个或多个初等对称函数是整数.在2015年, Wang 和 Hong 证明当 $n\ge 2$ 时,$1,1/3,...,1/(2n-1)$ 的所有初等对称函数均非整数.在本文中, 我们证明如下结果成立: 如果$n\ge 2$为正整数, 那么对任意$n$个正整数 $s_0,..., s_{n-1}$, 关于$1,1/3^{s_{1}},...,1/(2n-1)^{s_{n-1}}$的第二类初等对称函数 $$\sum\limits_{0\le i相似文献