微分中值定理的推广

本文给出了拉格朗日中值定理的行列式形式,并将其推广,得到文中的定理1和定理3.新形式的拉格朗日中值定理及推广定理证明简练,学生更容易掌握.本文做的另一个工作是在定理1的基础上得到了定理2,定理2的条件比柯西中值定理的条件弱,但结论相同.     

等价于Fan-Knaster-Kuratowski-Mazurkiewicz定理的不动点定理

最近Tarafdar(J.Math.Anal.Appl.128(1987),475—479)获得了一个不动点定理并证明了这个定理与Fan 的定理(Math.Ann.266(1984),519—537)等价,后一个定理是著名的Knaster-Kuratowski-Mazurkiewicz 定理(Fund.Math.14(1929),132—137)的推广,本文主要目的是推广Tarafdar 的不动点定理并证明所得的一个不动点定理和Fan 的定理等价.     

紧T_2拓扑空间上的某些不动点

在文中,我们扩充了文[1]中定理1的某些推论,且又得到在紧T_2拓扑空上对弱膨胀型映射的不动点定理的某些新的推论,主要结果是定理2.定理4.与定理7.更建立了定理11     

Mcshane积分的LSRS收敛定理的新扩展

在Mcshane积分的LSRS收敛定理中建立了M-积分的LSRS收敛定理,并证明了该定理的条件比Lebesgue积分的控制收敛定理条件弱.本文首先证明一个引理,进一步证明了定理1,由此阐述了Mcshane积分的LSRS收敛定理中的定理比Lebesgue积分中Vitali收敛定理条件更弱,从而使Vitali定理成为LSRS定理的推论.     

从分解定理看模糊数学中的辩证思想

分解定理是模糊数学中模糊集三大基本定理(分解定理、表现定理和扩展原理)之一,也是模糊数学教学的一个难点.讨论了截集与分解定理的辨证关系并给出了直观解释.     

双枝模糊集并-表现定理

建立了双枝模糊集并-表现定理，讨论了双枝模糊集的运算性质.结果表明：双枝模糊集表现定理是单枝模糊集表现定理的一般形式，单枝模糊集表现定理是双枝模糊集表现定理的特例.     

Lebesgue积分的一个附注

首先阐释了Lebesgue积分的优越性,然后通过由Fatou定理对Lebesgue控制收敛定理的证明,表明了Lebesgue积分的三大著名定理Levi定理、Fatou定理和Lebesgue控制收敛定理均是彼此等价的.它们相互之间是可以构成一个循环证明的.     

常微分方程解的存在唯一性定理的推广

常微分方程理论中最基本的定理就是解的存在唯一性定理.本文用皮卡逐步逼近法研究了一阶微分方程解的存在唯一性定理,将原定理中的矩形域推广至两种带形域,得到两个新定理.本文最后分析并举例验证了定理.     

FC-空间的乘积空间内R-KKM型定理及其应用

对具有紧闭值的R-KKM映射簇证明了一个R-KKM型定理.作为应用,一个聚合不动点定理和一个匹配定理被证明.这些定理推广了近期文献中的结果.     

迈向数学机械化:从塔斯基到王浩

介绍了哥德尔不完备定理如何使希尔伯特定理判定问题研究陷入困境.评价了塔斯基在理论上给出了定理判定的方法意义.特别指出是王浩首次在计算机上实现了高效证明定理的方法,并明确提出“迈向数学机械化”.     

拓扑空间上的广义R-KKM型定理及其应用

在拓扑空间中对具有紧闭值的广义R-KKM映像建立了某些新的KKM定理．应用这些KKM型定理，在拓扑空间中得到了新的KyFan型极小极大不等式和鞍点定理．     

拓扑空间中的Fan-Browder型不动点定理

借助开图、闭图以及上(下)半连续等概念,在拓扑空间中得到几类紧闭值映射.运用有限连续拓扑空间(简称FC-空间)中得到的Fan-Browder型不动点定理,在非紧FC-空间中证明了一些新的抽象广义矢量平衡问题解的存在定理.     

拓扑空间中关于QEP(T,A,f)平衡解的存在性定理

在非紧的一般拓扑空间中证明了一个Fan-Browder型不动点定理;应用此不动点定理,在非紧的一般拓扑空间中证明了关于QEP(T,A,f)解的存在性定理;推广和改进了已有文献中的一些重要结论.     

没有线性和凸结构拓扑空间中的一个连续选择定理的应用

本文在没有任何线性和凸结构的一般拓扑空间中证明了一个新的连续选择定理．作为应用,在一般拓扑空间框架下得到了一些不动点定理,叠合点定理,极大极小不等式以及一个非空交定理．最后,本文给出了非空交定理的一些等价形式．     

拓扑空间中的广义KKM型定理及其应用

介绍线性拓扑空间上的KKM定理,在无任何线性结构的拓扑空间中建立了基于弱广义KKM映射的广义KKM型定理,并且应用新的广义KKM型定理得到非紧拓扑空间上的一些鞍点定理及Nash平衡存在性定理.论文的结果统一和改进了近期文献中的一些结论.     

拟平衡问题及其对无限最优化和约束对策的应用

研究了一类拟平衡问题，包含了某些变分和拟变分不等式作为特殊情形，在拓扑矢量空间的非紧设置下证明了拟平衡问题解的某些存在定理，作为应用，在拓扑矢量空间内相当弱的假设下得到了无限最优化问题和约束对策问题的存在定理。     

F型拓扑空间中多值映射的不动点定理

采用文献[8]中的F型拓扑空间的定义，建立了F型拓扑空间中多值映射的不动点定理。     

拓扑空间内的广义R-KKM型定理及其应用

在没有任何凸性结构的非紧拓扑空间内对具有(转移)紧闭值的广义R-KKM映射建立了某些新的广义R-KKM型定理.作为应用,在拓扑空间内得到了某些极小极大不等式,鞍点定理和具有下和上界的平衡问题的平衡存在性定理.这些定理推广了最近文献中某些已知结果.     

拓朴空间内的抽象变分不等式

应用作者得到的重合点定理，在拓朴空间内对一类抽象变分不等式证明了解的某些存在性定理．这些定理推广了文献中许多已知结果     

连续选择和聚合不动点定理

得到了定义域为非紧、非仿紧，值域为拓扑空间的集值映象的连续选择定理，并且集值映象的连续选择映象的定义域为整个空间而非拓扑空间的一个紧子集，应用连续选择定理，得到了聚合不动点定理，推广了最近一些文献上的相关结论。