论附属于某种连续映像的不等式及其在纤维空间中的应用

<正> §1. 设 X,Y 为拓扑空间,又设 f:X→Y 为连续映像.J.H.C.Whitehead 证明 X,Y 为 CW 丛而 f 能导出基本群及上同调群间的同模对应时,f 为同伦对等映像.映像 f 是否存在,不仅与 X,Y 的基本群及上同调群的构造有关,而与 X,Y 内在的几何结构有密切的关系.连续照像 f 导出 X,Y 之间上同调群的准同模对应 f,那末 f 能与某些准同模对应相交换,由此 J.H.C.Whitehead 指出正则准同模的观念.由[4]可知正则同模论供应我们许多同伦不变量,它们是直接可以计算的东西,并且对于 X,Y 间连续映像的分类问题,应该有密切的关系.     

一类(μ,△,Υ)-系统的两套完全不变量

<正> (μ,△,γ)-系统的正则分类在A_n~2(n≥2)多面体同伦分类中有重要应用,见[1],[2],[3].文[4],[5],[6]和[2]通过确定系统的完全不变量对某些类型(μ,△,γ)-系统作了正则分类.本文采用类似的方法对另一类型(μ,△,γ)-系统作了正则分类,并且对由两条不同途径获得的两套完全不变量作了精确的比较.     

正则剩余格的(α,β),(■,■∨),(∈,∈∨q_(λ,μ))-模糊理想

在正则剩余格上引入(α,β)-模糊理想的概念,讨论了它们的一些特征及其间的关系;与(∈,∈∨q)-模糊理想对应地研究了(■,■∨)-模糊理想的性质;最后将正则剩余格的(α,β)-模糊理想作进一步推广,得到有限个(λ,μ)-模糊理想的交集仍然是(λ,μ)-模糊理想,并刻画了(λ,μ),(∈,∈∨q_(λ,μ))-模糊理想的性质。     

强ρ-正则半群上的最小正则*-半群同余

主要研究了强P-正则半群S(P)上的最小正则*-半群同余.利用S(P)的正则*-断面S°得到S(P)上最小正则*-半群同余的简单形式γP·由于S(P)/γp同构于S°,实质上S°是S(P)的最大正则*-半群同态象,且S(P)的正则*-断面不唯一,但从同意义上看正则*-断面唯一.     

关于弱正则环的一些结果

本文第一部分讨论了弱正则环。引进了半平坦模的概念,并证明了一个有单位元的环是弱正则的当且仅当所有右R-模是半平坦的.第二部分讨论了Reduced弱正则环。主要结果有:(1)Reduced弱正则环R是强正则的当且仅当R有有限的素维数;(2)Reduced弱正则环是p. p. 环;(3)如果一个环R是Reduced弱正则的,那么Spec(R)是紧的,Hausdorff的和全不连通的拓扑空间。从而改进了[3]的一些结果。本文中所讨论的环若与其对应的模范畴有关,就自然认为其有单位元。     

指数鞅的一致及L~x—可积性

令(Ω,(?),P(?_t))为一满足通常条件的空间.设M为一零初值局部鞅:且ΔM≥-1.令 (?)(M)_t=exp{M_t-1/2〈M~°-M~°〉_t}multiply from 3≤t (1+ΔM_s)e~(-ΔM_s).则(?)(M)为非负局部鞅.寻找使(?)(M)为一致可积鞅的充分条件,是随机控制及滤波理论中的一个重要问题.在M为连续一致可积鞅情形,及Kazamaki分别证     

Heisenberg群上与Schr?dinger算子相关的Poisson半群的分数阶导数估计

令L=-Δ_(H~n)+V为Heisenberg群H~n上的Schr?dinger算子,其中Δ_(H~n)为次Laplace算子,非负位势V属于逆Holder类.本文中,利用从属性公式,我们给出与L相关的Poisson半群的分数阶导数的正则性估计,作为应用,我们得到了与L相关的Campanato型空间的一个刻画.     

前向正则模糊神经网络依K-积分模的泛逼近能力

针对前向正则模糊神经网络引进K-拟可加积分和K-积分模概念,应用积分转换定理研究了该网络在K-积分模意义下对模糊值简单函数类的泛逼近能力,进而在有限K-拟可加测度空间上,借助模糊值简单函数为桥梁获得了前向正则模糊神经网络依K-积分模对(u)-可积有界模糊值函数类仍具有泛逼近性.该结果表明前向正则模糊神经网络对连续模糊系统的逼近能力可以推广为对一般可积系统的逼近能力.     

关于拓扑空间的ω_μ-可度量性

本文给出任意ω_μ-加性拓扑空间X为ω_μ-可度量的下列几个充要条件:1.X是正则的且有σ_μ-线性(ω_μ,∞)-紧(<ω_μ)-基;2.X是T_o的且有强ω_μ-展开;3.X是T_o的且有(ω_μ,∞)-紧ω_μ-展开;4.X是(ω_μ,∞)-仿紧的ω_μ-Moore空间;5.X是正规σ_μ-集体正规的ω_μ-Moore空间;6.X是离散σ_μ-HCP-可膨胀的ω_μ-Moore空间.     

S-内射模及S-内射包络

设R是环.设S是一个左R-模簇,E是左R-模.若对任何N∈S,有Ext_R~1(N,E)=0,则E称为S-内射模.本文证明了若S是Baer模簇,则关于S-内射模的Baer准则成立;若S是完备模簇,则每个模有S-内射包络;若对任何单模N,Ext_R~1(N,E)=0,则E称为极大性内射模;若R是交换环,且对任何挠模N,Ext_R~1(N,E)=0,则E称为正则性内射模.作为应用,证明了每个模有极大性内射包络.也证明了交换环R是SM环当且仅当T/R的正则性内射包e(T/R)是∑-正则性内射模,其中T=T(R)表示R的完全分式环,当且仅当每一GV-无挠的正则性内射模是∑-正则性内射模.     

γ—Lipschitz 模数与抽象 Volterra 积分方程

本文中设 G 是具正则 Borel 测度 μ的局部紧 Hausdorff 空间.设已给定 G 的非空紧子集族{G_t:t∈G},它满足以下条件:(A_1)(?)μ(G_tΔG_s)=0,Δ记对称差;(A_2)s∈G_t(?)G_s(?)G_t;(A_3)存在 t_0∈G,使 (?)μG_t=0,且对 t_0的任何邻域 W,有 t_0的邻域 U,使     

非倍测度空间上的Calderón-Zygmund算子（英文）

综述回顾了带有非倍测度的欧氏空间R~d上的Calderon-Zygmund理论中的基本结果.在该背景下欧氏空间上所赋予的测度μ不需要满足通常的双倍条件,只需满足如下增长性条件,即存在正常数n∈(0,d]以及C使得对任意的x∈R~d和r∈(0,∞),μ(B(x,r))≤Cr~n.回顾的主要结果包括:Hardy空间H~1(μ)与正则BMO空间RBMO(μ);与H~1(μ)以及RBMO(μ)相关的插值定理;Calderon-Zygmund分解;T(1)定理与Calderon-Zygmund算子在Lebesgue空间和Hardy空间上的有界性;Cotlar不等式与极大Calderon-Zygmund算子的有界性;多线性Calderon-Zygmund算子在乘积Lebesgue空间上的性质;Calderon-Zygmund算子的加权模不等式;由Calderon-Zygmund算子与RBMO(μ)函数所生成的交换子的有界性.此外,作者还介绍了该研究方面的一些最新进展与成果.     

不分明实直线及其子空间的适当性,半闭包算子 C_α与α~*-紧性

根据 Lowen 的定义,实直线 R 的每一个 Borel 子集 X,对应不分明实直线μ<(R)的某个子空间μ_<~X(R)。本文研究这一类不分明拓扑空间的适当性,半闭包算子 c_a与a~(?)-紧性。我们证明了以下结果:当 X 至少有两点时,μ_<~X(R)不是适当的(Suitable);当0<α<1时,c_α不是μ_<~X(R)上的闭包算子,但当 a=0时,c_α 是μ_<~X(R)上的闭包算子,因此c_(?)诱导出μ_<~X(R)上的一个分明拓扑,这个拓扑与 X 上的通常拓扑有着密切的联系;最后,我们讨论了μ_<~X(R)的拟 α~(?)-紧性与 α~(?)-紧性。     

正则剩余格上的广义模糊蕴涵理想

给出正则剩余格的(α,β)一模糊蕴涵理想的概念,初步讨论了它们的一些性质及其问的关系;与(∈,∈∨q)-模糊蕴涵理想对应的讨论了(∈,∈∨q)-模糊蕴涵理想的性质;最后将正则剩余格的(α,β)-模糊蕴涵理想作进一步拓展,得有限个(λ,μ)-模糊蕴涵理想的交集仍然是(λ,μ)-模糊蕴涵理想,并描述了(λ,μ),(∈,∈∨q_((λ,μ)))-模糊蕴涵理想的性质。     

三角模族T_(q,p)-LGN与逻辑系统LGN

首先, 给出一种新的带两个参数的左连续三角模族T(q,p)-LGN((q,p)∈[-1,1]×(-∞,0))及其伴随蕴涵算子族R(q,p)-LGN((q,p)∈[-1,1]×(-∞,0)), 分别简称它们为左连续三角模族T(p,q)-LGN及伴随蕴涵算子族R(q,p)-LGN;然后,定义了LGN三角模族的概念(基于此族的模糊逻辑系统等价于系统L,G与L*(或NM) 的所有定理的交LGN);最后,证明了左连续三角模族T(q,p)-LGN是LGN三角模族的一个子族.     

■—空间的一个特征

(注:本文用来代替)具有可数伪基的正则空间称为—空间。我们证明了具有σ-局部可数伪基的正则空向是一个—空间。于是高智民研究的其有σ-局部有限伪基的正则空间等价于—空间。     

强P-正则半群上的最小正则＊-半群同余

主要研究了强P-正则半群S（P）上的最小正则＊-半群同余.利用S（P）的正则＊-断面S°得到S（P）上最小正则＊-半群同余的简单形式γP.由于S（P）/γP同构于S°,实质上S°是S（P）的最大正则＊-半群同态象,且S（P）的正则＊-断面不唯一,但从同意义上看正则＊-断面唯一.     

关于Ginsburg & Woods的一个问题

构造了一个反例回答了基数不等式|X|<2^c(X)Δ(X)不仅对于正则空间类不成立,甚至对Tychonoff空间类亦不成立。     

夹心半群S(X,Y,θ)上的α-同余

本文讨论了夹心半群T(X,Y,θ)上的α-同余与集合Y上Tθ-等价关系之间的联系,证明了对于每个Tθ-等价关系E,夹心半群同余格C(T(X,Y,θ))的完全子格γ-1(E)中的最大元是一个α-同余,并判明Symons同余l,d都是α-同余.对于某些拓扑空间X,Y,确定了夹心半群S(X,Y,θ)上的最小(最大)真α-同余.     

(D)族中大偏差的一个不等式

在文献[2]中,F是一有有限期望μ支撑在(-∞,+∞)上的分布函数(d.f.).若其尾分布F=1-F属于D族,那么对任意的γ＞max(μ,0),存在常数C(γ,0),存在常数C(γ)＞0和D(γ)＞0使得C(γ)n(F)(x)≤(Fn*)(x)≤D(γ)n(F)(x),对所有的n≥1和所有的x≥γn成立.本文中我们将其推广成离散情况下精细大偏差的一个不等式,并进一步在连续时间下得到关于部分和S(t)=N(t)∑i=1Xi,t≥0的精细大偏差类似的不等式.