关于Aleph_α-紧性的评注

本文给出了一个定理:设{x_k)_k<ω_α为距离空间R中ω_α_-序列,如果cf(ω_α)>0,那么{x_k)_k<ω_α收敛于点x∈R的充要条件是存在序数μ<ω_α使对一切合于μ≤k<ω_α的K总有x_k=x,从而表明《全聚点集与Aleph-α紧性》一文(见《数学研究与评论》,1(1982),45—52)中定义的序列式Aleph-α紧性的概念是不恰当的,应予删除。     

ω_μ—可加拓扑空间的仿紧性

ω_μ—可加拓扑空间自R. Sikorski提出来以后,许多学者对它进行了深入的研究,继王戍堂教授的独创性工作之后,ω_μ—距离空间的研究特别活跃,这可从Y、YA-SUi的文章中了解一个大概、本文建立了ω_μ—可加拓扑空间仿紧性的几个等价条件,有趣的是我们将一般拓扑空间的仿紧性推广到ω_μ—可加拓扑空间后,发现它与原来的条件等价,在一定的意义下,这是ω_μ—可加拓扑空间的一种奇异现象,N、napobuekko 的一个定理是本文结果的一个推论。     

拟常曲率空间的几个整体性质

拟常曲率空间(M,g)的曲率张量具有分量k_(λμγ)~ω=a(δ_λ~ωg_(μγ)—δ_μ~ωg_(λγ)+b{(δ_λ~ωξ_μ—~ωμξ_λ+(ξ_λg_(μγ)—ξ_μg_(λγ))ξ~ω},式中a,b是M上数量场,ξ=ξ_λ■_λ(■_λ是M的切空间的自然基底)是M上单位向量场,指标λ,μ,γ,…=1,2,…,m。本文运用[2]的有关结论,讨论m维紧致定向拟常曲率空间M的Betti数和开玲p_形式;研究了拟常曲率空间和球面共形的条件。     

关于Fuzzy积分问题

本文采用E.P.Klement提出的fuzzy测度概念,证明若T是一连续三角范数,则任—T—fuzzy测度m 由一簇满足一定条件的(正)测度(μ_α:α∈[0,1]}完全确定。由此看来,似应把fuzzy 积分(?)fdm 看作一个函数α→(?)fdμ_α,而不是一个数.在此基础上本文又尝试提出了fuzzy 测度形式的Riesz 表示定理。     

不分明Tychonoff空间

设I=[0,1],它在数直线中的相对拓扑记为,我们称乘积诱导不分明拓扑空间(I,F_(θ×θ_I)为乘积诱导不分明单位区间,记为ω[0,1]。定义1 不分明拓扑空间(X,F)叫做不分明完全正则的,当且仅当对任一不分明开集A∈F和任一点P_(x_0)~α∈A,都有一个不分明连续映像T:(X,F)→ω[0,1],使得T(x_0)=0,T[X～～υ_α(A)]={1}。这里υ_α(A)=U{U:P_(x_0)~α∈N_U~βA},N_U~β是点P_(x_0)~α的邻域胚。不难看出,当α<1时,对任何A∈F都有υ_α(A)=σ_α(A),即A的强α—截割。定理1 若不分明拓扑空间(X,F)是不分明完全正则的,则它一定是拓扑生成的,也就     

L-ω空间的ω_α-分离

在L-ω空间借助ω_α-远域提出了ω_α-正则性,ω_α-正规性,ω_α-T_i(i=3,4)分离性,并且讨论了它们的一些性质。     

广义数及其应用(Ⅰ)摘要

作者曾于文[1]解决了ω_(μ-)可加拓扑空间的ω_(μ-)距离化问题,在那里引入ωμ-列的概念。本文限于讨论μ=0的情况,即对于ω_0列首先定义乘法运算,从而得到广义数系的概念,它是实数的推广,包括且将无限数分成了不同数区,而普通实数则相当于这里的一个数区。可以定义广义函数的一套微积分运算,特别是以下建立的(GNL)积分,这里的广义函数(不同于L·Schwartz的分布)乃指定义域及值域均是广义数的函数。利用这个观点可以自然得到Dirac的δ函数及对于一般分布的理解。     

拟常曲率空间及射影变换

拟常曲率空间M(维数大于2)是曲率张量满足下面条件的黎曼空间: K_(ωνμ)~λ=a(δ_ω~λg_(νμ)-δ_ν~λg_(ωμ))+b(δ_ω~λV_νV_μ-δ_ν~λV_ωV_μ+V_ωV~λg_(νμ)-V_νV~λg_(ωμ)),(1)其中a,b是数量函数,V_λ是M的单位生成向量场,g_(λμ)是空间M的基本度量张量。本文主要是给出这种空间的几个性质。     

ωμ—度量空间及其嵌入定理

本文在王戍堂文[1]与作者文[8]的基础上,继续研究拓扑空间的ω_μ-度量化问题,得到了一个新的度量化定理和ω_μ-度量空间的嵌入定理,这些结果及其推论改进了国外学者的有关结果。     

广义Kac-Moody代数根系中关于半群的两个命题

本文在广义Kac-Moody代数G的对称Gartan矩阵满足一定条件下,得到了△_+~(im)\{ω(α_i)|ω∈W,α_i∈△_+~(im),i∈I}成为半群的一个充要条件,证明了△_+~(im)是半群.     

群上的扫除原理和第二最大值原理

一、定义和符号 设G是局部紧緻Abel群,并设G是Hausdorff空间;ω_G表示G上的Haar测度;G的对偶空间记为Γ,ω_G在Γ上所对偶的Haar测度记为ω_Γ. 设(μt)_1>0是G上的一个对称测度卷积半群,且κ=∫_0~( ∞)μtdt存在(即{μ|t>0}     

随机线性拓扑空间

本文首次引入随机线性拓扑空间,并借助于随机线性泛函理论推广了Mackey定理与K.Fan不动点定理.1 随机线性拓扑空间的基本定义及性质定义1 称(E,{x~d}_(dε△)为数域K上以概率空间(Ω,σ,μ)为基的随机赋范空间((△,<)为某一定向集),如果E是数域上K的线性空间,对任给d∈△,映象x~d:E→L~+(Ω)(见文[1])满足下面各条(1)x_p~d∈L~+(Ω),且如果?d∈△,x_p~d(ω)=0a,s当且仅当p=θ; (2)x_α~dp(ω)=(α)x_p~d(ω)a.s?α∈E,p∈E,d∈△; (3)?e∈△,?d∈△使得?p,q∈E,都有X_(p+q)~e(ω)≤X_p~d(ω)+X_q~d(ω)a.s;     

关于可数仿紧空间的分离性质

记:是1ω中支配族}。本文证明:以下条件两两等价:(1)每个特征≤2的可数仿紧空间是弱ω_1—CWH的,(2)每个特征≤2的CCC可数仿紧空间是弱ω_1—CWH的,(3)每个可数仿紧可分σ—空间是cosmic空间,(4)每个特征≤2的CCC次亚林空间是林得列夫空间,(5)2<(ω)。     

确定生成子空间基的一种方法

设P是任一个数域,V是P上的有限维线性空间,σ是V的一个线性变换,对于V中任意m个线性无关的向量α_1,α_2,…,α_m,由σ(α_1),σ(α_2),…,σ(α_m)生成的子空间L(σ(α_1),σ(α_2),…,σ(α_m))的基的一种确定方法被给定。     

CFI算子与(ω)性质和(ω_1)性质的判定

利用一致Fredholm指标性质定义了一个新的谱集,根据这个谱集给岀了算子T及其共轭算子T~*满足(ω_1)性质和(ω)性质的判定条件.并且,对Hilbert空间上有界线性算子的(ω)性质的与T交换的有限秩摄动F进行了讨论.     

关于有σ-遗传闭包保持κ-网的可分κ-空间(英文)

本文证明了带有σ—遗传闻包保持k—网的正则可分k—空间X在X的序列式序小于ω_1或X是稀疏空间的条件下是阿列夫空间,从而部分地回答了文[5]中提出的一个问题。     

闭算子半—Fredholm 域的结构

设T是复Hilbert空间H中的稠定闭算子,用ρ_(S-F)(T),C,ρ_(S-F)~s(T)分别表示T的半—弗雷德霍姆域及该域中T—正则点,T—奇异点的集合,用S表示T的Moore-Penrose逆。作者以(M—P)逆为工具证明了:如果O∈ρ_(S-F)(T),G={μ∈C:0<|μ|<‖S‖~(-1),那么Gρ_(S-F)~r(T)。因此ρ_(s-f)(T),ρ_(S-F)~r(T)均为开集,而ρ_(S-F)~s(T)在ρ_(S-F)(T)中无极限点。     

Herz空间上Littlewood-Paley g函数的加权弱有界性

研究了Littlewood—Paley g函数在加权Herz空间上的弱有界性。利用加权Herz空间的分解理论及几个不等式,证明了若ω1,ω2∈A1,当0〈α≤n（1-1／q）时,gφ是Kq^α,p（ω1,ω2）到WKq^α,p（ω1,ω2）上的有界算子,并且当0〈α〈n（1—1／q）时,gφ在加权Herz空间上具有强有界性。此结果丰富了Littlewood—Paley g函数的有界性理论。     

Martin公理及其应用(2)

§6.MA与组合集论、无穷图论由于篇幅所限,本文所涉及MA的重要文献仅仅有Erd(?)s和Hajel的文章[30,32],Baumgartner和Hajnal的文章[8].近年来,对于组合集论紧密有关的无穷图论的研究(尤其是着色问题)已有了进展.例如在Shelah的文中[I.48](指本文(I)的[48],下同),给出了MA的一个有趣的推论.C:即有ω_1的某驻T,使得C(T)成立.这里C(T):对每个σ∈lim(T)指定递增序列η_δ→δ,若任给{h_δ∈~w2|δ∈lim(T)},则存在f∈~(w1)2,使得(?)δ∈lim(T)(?)K(?)n>k(f(η_δ(n))=h_δ(n))成立.在C(ω_1)的图论中,任给ω_1上的阶梯着色系{h_δ},每点δ处的序列η_δ的两元着色可以在ω_1上一致.Shelah证明了 C(ω_1)可推出Whitehead问题的否定(§15),在文献[I,48]中证明了(?)TconC(T) GCH).但是Devlin[I,15]却证明了CH(?)(?)C(w_1).与C相似,Reed则提出了一条SP,证明它等价于一个有趣的拓扑结论.另外,若记B为:(?)驻集T(?)ω_(-1),则B_T成立.每个下列形式的图G有色数(?),即G的顶点集为ω_1,每个顶点仅与其有限个前趋元或一个收敛于它的前趋元序列共边(称为HM图),Hajnal,M(?)t(?)证明MA (?)CH(?)B,但◇(T)(?)(?)Br,文[I,48]证明了CH与B_T协调,这正好说明HM图有可数色数是不能判定的.§7.MA与超滤,βω——ω的组合性质     

一类L—Fuzzy集的逻辑结构

设L={0,α,β,1}为链或布尔格,L~n中L—模糊集由(?)L(L~n)=={μ|μ~2L~n→L}定义的。本文主要结果为: (1)对μ∈(?)L(L~n),μ可写成如下形式μ=μ~0·0 μ~1·1 μ~2·α μ~3·β=sum from j=0 to 4n-1 α_jm_j其中,α_j∈{0,α,β,1} m_j=multiply from i=1 to n X_i~(ji) (X_i~(ji)为X_i逻辑分量) (2){X|μ(x)=α_i}=sum from pi to m_i (3)L~n中L—模糊集的α—水平集为N_μ(α_i)={X|μ(X)≥α_i,X∈L~n)N_μ(α_i)具有如下性质: 1°、当α_1≥α_2时,N_μ(α_1)相似文献