Locale的弱拓扑表达

本文引入了弱拓扑空间的概念,证明了locale范畴与弱拓扑空间范畴的关系类似于拓扑空间范畴与locale范畴的关系。locale范畴严格包含于弱拓扑空间范畴并且与Sober的弱拓扑空间范畴等价。     

弱空间式Locale

空间式locale范畴SLoc是locale范畴Loc的余反射满子范畴,但对locale乘积不封闭．本文引入弱空间式locale,证明弱空间式locale范畴WSloc为范畴Loc的余反射满子范畴,且对locale秉积封闭．还证明了一个locale A是空间式的当且仅当它的枝映射localeN(A)是弱空间式的;一个空问式locale的每一个子locale都是空间式的当且仅当它的每一个子locale是弱空间式的．最后,证明了弱空间式性在定向函子下保持不变．     

Quantic格范畴

系统研究了Quantic格范畴。证明了Quantic格范畴有等子、余等子。给出了Quantic格范畴中的极限和逆极限结构,从而说明了Quantic格范畴是完备范畴。     

Locale同伦理论

本文引入了locale连续映射同伦的概念,建立了locale同伦范畴,构造性地证明了任一locale连续映射都同伦等价于一个locale包含映射。通过引入locale H群的概念(它是locale群概念的自然推广),建立了locale同伦范畴到群同态范畴的一个反变函子。特别地,我们建立了locale同伦群范畴上的基本群函子,证明了locale L上以p为基点的基本群同构于L的谱空间pt(L)上以p为基点的基本群。因此,基本群函子是locale范畴中的一个同伦不变量。     

半环的L-模糊理想的范畴性质

首先给出了半环的L-模糊理想同态的定义,在此基础上较系统地讨论了半环的L-模糊理想范畴的性质,证明了此范畴是半环范畴上的一个拓扑结构,并探讨了其中的等子、拉回和乘积等性质.另一方面,给出了半环的L-模糊理想范畴的逆系统的定义,建立了半环的L-模糊理想范畴中逆系统的逆极限结构.特别是在引入两个逆系统之间映射的基础上,得到了两个逆系统的逆极限之间的极限映射.     

拟双线性方程的展开算法及其求解

本文定义了一类范围很广的非线性泛函型——拟双线性型,并定义了相应的拟双线性方程和证明了一些方程等价交换定理,然后利用这些定理设计了一个逐项无穷展开拟双线性方程的算法。最后证明了相应的基础定理,保证由此算法所得到的展开式即为方程的解。     

格点动力系统中的异宿环

讨论格点动力系统中空间混沌出现的一个判据——异宿环.证明了若格点动力系统有渐近稳定的异宿环,则系统有渐近稳定的同宿点,从而系统有空间混沌.     

对称的满层L-Kent收敛空间范畴的子范畴

在满层的L-Kent收敛空间中引入了对称性的概念,定义了对称的满层L-Kent收敛空间范畴,对称的满层L-极限空间范畴,对称的满层L-主收敛空间范畴,对称的满层L-拓扑空间范畴.证明这四个范畴是拓扑范畴,并且后一个是前一个的反射子范畴.最后证明了对称的满层L-Kent收敛空间范畴和对称的满层L-极限空间范畴是笛卡儿闭的.     

Locale的仿紧完全正则反射

1972年, Isbell利用locale中由正规覆盖构成的一致结构的完备化, 证明了仿紧完全正则locale范畴是locale范畴的满反射子范畴. 本文通过在locale的补零元理想格上做核映射的方法, 给出locale的仿紧完全正则反射的明确构造, 并证明locale的仿紧完全正则反射是locale的 Stone-Čech紧化的子locale.     

关于Locale Wallman紧化的一点注记

本文证明了在正规locale范畴中,Banaschewski-Mulvey形式的紧正则反射与Johnstone形式的Wallman紧化一致,从而推广了Johnstone在文献[4]中的主要结果.     

广义涡度方程初边值问题的整体光滑解及其应用

本文考察了紧Riemann流形上广义涡度方程的初边值问题。文中利用该方程的复合型特点,作了精细的先验估计,得到了该问题整体光滑解的存在唯一性定理。作为其主要应用,证明了大气动力学中的基本模式——斜压准地转-准无辐散模式初边值问题整体光滑解的存在唯一性。     

关于遗传可遮和遗传σ-亚紧可数乘积的注记

证明了在逆序列的情形下,可遮空间、强可遮空间在假设X是可数仿紧空间的条件下可被其极限空间保持,进一步证明了遗传可遮,遗传强可遮及遗传σ-亚紧性在无需对投射及极限空间X做任何假设的情况下即可被其逆极限空间保持.作为上述两个结果的应用,分别给出了两个相关的可数Tychonoff乘积定理.     

计算几何中的仿射不变量理论及应用

作者最早把代数曲线论的仿射不变量理论引入计算几何领域,提出了m维仿射空间一般具有m(n—m)—2个内在仿射不变量——这一基本定理,并且进一步完备了对应用有重要意义的理论。其中证明了:平面n次Bézier曲线处处为凸的充分条件;平面三次Bézier曲线的分类问题。继而讨论了平面四次Bézier曲线的一些拐点分布情况以及一类平面五次参数曲线的拐点和奇点的分布。上述部分结果已经在造船、航空和汽车等工业部门中获得实际应用。     

拟仿紧性与乘积空间

本文证明了在V=L假定下,所有正规局部紧拟仿紧空间是仿紧的.并证明了正则拟仿紧性在有限对一闭映射下是逆保持的.还研究了狭义拟仿紧性的有限乘积和逆极限定理.     

点测量点控制的分布参数系统

本文是文献[1]的继续,应用广义函数空间—阴范空间作为状态空间,对带有常做分控制器的点测量点控制问题作了进一步的研究,在阴范空间中证明了关于本征值问题和定解问题的一些定理,从而对赋予振型分析方法给以严格的理论基础,此外,关于算子的延拓定理可以应用到含广义系数的线性偏微分方程的计算和研究中去。     

关于余极限范畴(英文)

本文研究了余极限范畴.利用余完备Abel范畴的定义,证明了余完备Abel范畴A的余极限范畴Acl是余完备的Abel范畴,并得到一类等价于模范畴的余极限范畴,从而推广了文献[9]中的一些结果.     

随机赋范空间中算子随机范数与共鸣定理及应用

基于概率论理论基础,给出了随机赋范空间中算子的随机范数定义,在此基础上,应用逆算子定理证明了随机赋范空间中算子族的共鸣定理,它以Banach空间中的共鸣定理为特例,是Banach空间中的共鸣定理的随机化形式,随机化的共鸣定理刻划了在随机赋范空间框架下随机变量族的一致有界性.随机赋范空间中的共鸣定理将可能成为随机泛函分析与概率论的新应用工具.     

关于含有极小单侧理想的本原环结构

本文用双侧模方法代替通常有限拓扑方法来描述具有极小单侧理想本原环结构,结果包含深化和扩展了本原环的熟知基本定理——结构定理及同构定理(参见文献[1])。     

广义复椭球上∂-方程的Lp估计 *

给出了Cⁿ 上一类耦合型弱拟凸域———广义复椭球的全纯支撑函数及其估计 .使用此估计 ,证明了 方程的最佳L^p 估计 ,同时给出广义复椭球上函数论的一些结果 .     

历史数据库的前兆依赖及其数学性质

本文提出一种新的、易于实现的处理历史性数据的信息系统的数学模型,即带时标的关系数据库+历史规则库=历史数据库。形式化了历史范畴的若干概念,并讨论了一类特殊的历史规则——前兆依赖的性质及其演绎公理系统,并证明了该公理系统的正确性和完备性,证明了历史规则真值集的空虚性问题,无限性问题,等价问题和包含问题都是不可判定的。