向量函数微分的非标准定义

用非标准分析方法,在扩大模型中使用转换原理,通过定义局部线性函数,给出向量函数微分的定义.得到了向量函数微分的非标准定义与在一般意义下的定义是一致的结论,并且在此基础上,给出向量函数在一点处可微的定义.

紧性的非标准定义及其性质

在非标准扩大模型和拓扑的非标准定义基础之上,对拓扑空间中紧性的概念及相关结论进行了描述和刻画.一方面,这种新的定义与一般的紧性定义是一致的;另一方面,这种新的定义方法简化了原有的概念和结论,使它们的本质特性更为清晰,因而在一定程度上发展了拓扑空间中原有的紧性理论.

取值于R^d空间上函数积分的非标准定义

目的用非标准分析的方法给出取值于Rd空间上函数积分的定义。方法在非标准扩大模型下,利用转换原理,通过给出取值于Rd空间上阶梯函数积分的非标准定义。结果用非标准分析的方法给出了取值于Rd空间上函数积分的非标准定义。在此基础上,给出取值于Rd空间上函数积分的另一种形式及其性质。结论取值于Rd空间上函数的积分与取值于Banach空间函数的积分具有相同的性质,充分体现了非标准分析方法简洁直观的特点。

度量空间中的拟近标准点及度量空间的非标准完备化

研究了度量空间中的拟近标准点和度量空间的非标准完备化.在κ-饱和的非标准模型下,采用非标准分析方法,提出了度量空间中的拟近标准点的定义,得到了非标准度量空间中的点是拟近标准点的充要条件是它属于某一个标准点的每一个*-开球,证明了度量空间的非标准完备化恰是该空间的非标准扩张中拟近标准点集的商空间.

由X上理想族诱导出的~*X上的I-拓扑

在非标准扩大模型下,利用集合X上全体理想之族,诱导出了集合X的非标准扩张*X上的一种拓扑——I-拓扑.研究了集合X上全体理想之族的基本性质及理想族上、下确界存在的条件.在此基础上,利用X上全体理想之族诱导出了*X上的I-拓扑.讨论了I-拓扑的紧性、分离性等基本性质及其在非标准拓扑学中的一些应用.

由有限核生成的Loeb测度

在非标准多饱和模型下,研究了由有限核生成的Loeb测度的性质.首先,利用内可测空间中的内有限核构造了相应的Loeb测度.其次,讨论了内可测空间和内乘积可测空间中由内有限核生成的Loeb测度的性质.最后,在内乘积可测空间上,证明了由内有限核生成的Loeb测度的Keisler’s Fubini定理.

内函数逼近定理及上溢原理的推广及应用

在κ-饱和的非标准模型中,首先推广了内函数逼近定理,并用这一推广定理证明了著名的A sco li定理;其次将上(下)溢原理推广到一般的定向集上,并证明了拓扑空间中单子的一些性质,给出了无穷小延伸定理的一个简单证明.

Loeb空间的测度同构

在非标准多饱和模型下,研究了Loeb空间的测度同构性质.首先,利用内可测空间(X,A)上的等价关系,构造了σ-代数LZ(A)=L(A)∩Z(A).其次,刻画了Z(A),并讨论了A/～和μ/～的性质.最后,在此基础上,证明了测度空间(X,LZ(A),μL)和(X/～,L(A/～),(μ/～)L)是测度同构的.

个体集和强个体集的范畴性质

研究了个体集和强个体集的范畴性质.利用范畴论方法证明了个体集范畴、强个体集范畴与集合范畴在许多方面是相似的.例如,具有任一给定基数的个体集和强个体集是存在的;个体集和强个体集对于子集、幂运算封闭;非空个体集范畴和非空强个体集范畴都是完备的monoidaltopoi.构造了超结构函子V和超幂函子HF并得到:(1)对任意非空强个体集X和Y,g:X→Y是单射(resp.,满射)当且仅当V(g)是单射(resp.,满射);(2)对任意集X和Y,g:X→Y是单射(resp.,满射)当且仅当HF(g)是单射(resp.,满射).

[0,1]-拓扑空间中模糊网的m-收敛性的非标准刻画

在非标准扩大模型下,以非标准分析的方法研究了[0,1]-拓扑空间中模糊网的m-收敛理论,给出了模糊网m-收敛性的非标准刻画.首先,利用转换原理,定义了*-模糊集合,提出了N-单子和Q-单子的概念.其次,借助这两类单子给出了模糊网的N-收敛性和Q-收敛性的非标准特征.最后,由这些特征得到了模糊网的m-收敛性的非标准刻画,并讨论了模糊Haudorff分离性与模糊网的m-收敛性之间的关系.

模糊拓扑空间中模糊滤子收敛性的非标准刻画

目的定义模糊拓扑空间中模糊滤子的单子,研究模糊滤子收敛性的非标准刻画。方法利用非标准扩大模型在模糊数学中的表现形式,提出模糊拓扑空间中模糊滤子单子的概念,应用转换原理,得到模糊滤子极限点和聚点的非标准刻画。结果在非标准扩大模型下,得到了模糊拓扑空间中模糊滤子收敛性的非标准刻画。结论模糊拓扑学中的概念可以用非标准分析理论进行刻画,这种刻画体现了非标准分析方法简洁、直观的优点。

广义Loeb测度的Jordan分解及其性质

研究了广义Loeb测度的Jordan分解及其性质,给出广义Loeb测度变差的定义,并讨论变差的性质,定义了两个新的广义Loeb测度L(μ1)∧L(μ2)和L(μ1)∨L(μ2),得到了两个可换性定理:L(μ1)∧L(μ2)=L(μ2)∧L(μ1),L(μ1)∨L(μ2)=L(μ2)∨L(μ1).

3种连续的非标准刻画

为了用非标准分析方法研究一般的数学问题,在扩大模型下,应用单子理论给出了拓扑等度连续.等度连续和均匀连续的非标准刻画,并利用这些非标准特征证明了这3种连续之间的相互关系.在一定程度上扩大了非标准分析理论的应用范围.

超理想的单子及其应用

在扩大模型下,用超理想的单子对超理想进行刻画;进而用它给出了理想为超理想的条件;最后给出理想的单子与超理想的单子之间的关系.

符号Loeb测度以及符号测度的绝对连续性

在■1-饱和模型中,研究了符号Loeb测度与符号测度绝对连续的有关性质.首先,构造了符号Loeb测度,并给出了符号测度绝对连续的非标准刻画.讨论了符号Loeb空间中的Radon-Nikodym定理和符号测度变差的一些性质.

模糊数学中的非标准扩大模型

给出了非标准分析理论中非标准扩大模型在模糊数学中的表现形式及一些性质.首先,对模糊集合进行了非标准扩张,定义了相应的*-模糊集.其次,对模糊集合间的运算也进行了非标准扩张,定义了*-模糊集间的运算,这些运算与一般模糊集间的运算是类似的.最后,借助扩张后的*-模糊集和上、下确界运算,给出了非标准扩大模型在模糊数学中的表现形式,并且从多种角度给出了一些非标准扩大模型的性质.

拓扑空间中几类紧性的非标准刻画

利用非标准分析理论,对拓扑中的紧性、相对紧、局部紧性进行非标准刻画,简化原有证明,使它们的本质性质更为清晰,使拓扑学在理论上更加深刻.

模糊拓扑空间中有限覆盖性质的非标准刻画

在非标准扩大模型下,讨论了模糊拓扑空间中有限覆盖性质的非标准刻画.将模糊集合扩张为非标准模糊集合,并定义了模糊点的单子.借助模糊点的单子给出了有限覆盖性质的非标准刻画,并在此基础上得到了有限覆盖空间的非标准刻画.证明了有限覆盖空间的Tychonoff乘积定理.

非标准模型下的逐点可测性

在非标准分析的框架下讨论了内函数的逐点可测性,证明了若f是关于Aμ和B可测函数,则*f的所有关于σA和σB可测点之集是*μL可测的。

非标准分析与导数的本质

采用Cauchy序列等价类来界定实数的办法,设法用某种实数序列的等价类来构造超实数域。如同在标准平面上建立标准直角坐标系那样在非标准平面上建立非标准直角坐标系,并且我们用非标准分析中的观点辩证地阐述了导数和微分的本质,以及点的可分性、曲和直的辩证统一性。