关于乘积空间和极限空间上几种拓扑的讨论

本文讨论了乘积空间上五种拓扑的结构,利用线性空间的Hamel基给出了归纳极限拓扑的一种构造表示,给出了归纳拓扑的另一种构造表示,比较了这五种拓扑的相互关系。其中的共序拓扑是作者提出来的。在本文中利用乘积空间上五种拓扑的相互关系讨论了一些有关的性质。作者提出了线性空间上拓扑的极大相容子空间的概念,分别给出了乘积空间上盒拓扑共序拓扑和归纳拓扑的极大相容子空间,并且统一给出了关于乘积空间上这三种拓扑极大相容子空间完备性的命题。本文还从结构上比较了极限空间上范数拓扑与相关的射影极限拓扑,归纳极限拓扑之间的关系,以及极限空间的子空间上这几种拓扑的诱导拓扑的关系。另外,利用对共序拓扑的极大相容子空间完备性的讨论,对[8]中主要命题(4.1)条件充分性的证明给予了简化。     

Banach空间的张量积及其共轭空间

张量积函子是同调代数中研究模范畴的重要工具。在[1]的基础上,本文对B-空间的张量积做了讨论,得出一些新的结论。设E是B-空间,{E_i,j∈J}是B-空间族,作为赋范空间,则E(?)∪_(i∈J)E_i与∪_(i∈J)(E(?)E_i)等距同构。作为B-空间,E(?)_(?)∪_(i=1)~(?)E_i与∪_(i=1)~(?)(E(?)_(β_(?))E_i)的子空间等距同构。其次本文推广了著名的伴随同构定理([2]Th2.11).设E_1,E_2与F是B-空间,则(?)(E_1(?)_(?)E_2,F)分别与(?)(E_2,(?)(E_1,F)),(?)(E_1,(?)(E_2,F))等距同构.特别(E_1(?)_(?)E_2)分别与(?)(E_2,E_1),(?)(E_1,E_2)等距同构.最后,设E_i,F_i是B-空间,f∈(?)(E_1,F_1),g∈(?)(E_2,F_2),则存在唯一的φ∈(?)(E_1(?)_(β_1)E_2,F_1(?)_(β_2)F_2),记φ=f(?)g.令P={sum from i to f_i(?)g_i},则P与(?)(E_1,F_1)(?)_(?)(?)(E_2,F_2)的稠密子空间(?)(E_1,F_1)(?)(E_2,F_2)等距同构。特别E_1(?)E_2是(E_1(?)_(β_1)E_2)的子空间。本文中的记号同于[1]。文中涉及到张量积的范数都是Cross-范数。     

BL-代数的(∈,∈∨q)-模糊素滤子

利用模糊拓扑中模糊点重于和属于模糊集的概念研究模糊逻辑代数结构,在BL-代数中引入(∈,∈∨q)-模糊素滤子的概念并研究其性质.获得了BL-代数中(∈,∈∨q)-模糊素滤子的若干等价刻画,讨论了BL-代数中素滤子与(∈,∈∨q)-模糊素滤子间的关系,考察了BL-代数中(∈,∈∨q)-模糊素滤子的同态性质,证明了BL-代数中(∈,∈∨q)-模糊素滤子的同构(同态)像(原像)仍为(∈,∈∨q)-模糊素滤子这一结论.     

i—包囿代数与幂等下降列

在本文中引进幂等下降列及i—有界紧集之后,可以得到一组关于i—包囿代数的等价性命题。我们讨论了代数K[x],它在局部m—凸拓扑j_x下是i—包囿代数。由此在任意代数E上自然地产生一个i—包囿代数,它称作固有i—包囿代数。在§3中,我们得到了一个i—有界集是{0}子代数的条件以及E上一个局部m—凸代数是i—包囿代数的充分条件,     

BL代数的(∈,∈∨q)-模糊素滤子

利用模糊拓扑中模糊点重于和属于模糊集的概念研究模糊逻辑代数结构,在BL 代数中引入(∈,∈∨q) 模糊素滤子的概念并研究其性质.获得了BL 代数中(∈,∈∨q)-模糊素滤子的若干等价刻画,讨论了BL-代数中素滤子与(∈,∈∨q)-模糊素滤子间的关系,考察了BL-代数中(∈,∈∨q)-模糊素滤子的同态性质,证明了BL-代数中(∈,∈∨q)-模糊素滤子的同构（同态）像（原像）仍为(∈,∈∨q)-模糊素滤子这一结论.     

关于“闭图象定理”与“开映照定理”

本文作了以下一些工作: (1) 设(E,ξ)与(F,η)是扑拓性线间空,u是E中原点的一个邻域基,t:E→F是线性照映,J.L.Kelley曾经在假定F分离的情形下,论证了t的图象G(t)=={(x,tx)|x∈E)是F×F中闭集的壳要条件是={0}。作者则在无须假定F分离的情形下论证了同一结果。并且指出F的分离性不过是G(t)闭的当然推论,同时,由此推广了T.Husain的如下两个引理: 引理1.设E是可距离化的拓扑线性空间,{U·|n∈N)是E中原点的可数邻域基,F是分离的扑拓性线空间。若f:F→F是线性,连续,几乎开映照,则有={0}。引理2.设F是分离的扑拓性线空间,E是可距离化的扑拓线性空间,{V_n|n∈N}是E中原点的邻域基。若f:F→E是线性,几乎连续,闭图象,1—1映照,则有={0}。 (2) 由T.Husain介绍的一个Bauach的开映照定理是: 若E是可距离化的完备的拓扑线性空间,F是分离的拓扑线性空间,f:E→F是线性,映上,闭图象映照,若f几乎开,则f是开映照。作者则将它作了如下改进: 设E是可半距离化的完备的拓扑线性空间,F是拓扑线性空间,f:E→F是线性,闭图象映照,若f几乎开,则f是开映照。 (3) 作者论证了如下一个关于“连续开线性映照”的定理: 设E,F,G是拓扑线性空间,x:E→F是连续,开的线性映照,h:F→G是线性映照,t=hoπ,则有: (a) t连续h连续, (b) t开h开, (c) t几乎开h几乎开, (b) G(t)闭G(h)闭, (e) 着t几乎连续,则h几乎连续。从而推广了前人的一些结果。 (4) 作者给出了一个Pfak闭图象定理的新证明,此证明完全不同于Pfak的最初证明,不仅大大简于原证明,而且在方法上比较新颍。同时,作者还给出几个略有变化的关于Br-完备空间的等价定义。 (5) 作者简化了V.Pfak对下面一个定理的证明。若E是Br-完备空间,E_0是E的闭子空间,则E_0在相对拓扑下是Br-完备的。 (6) 作者给出了几个略有变化的关于Br-完备空间的等价定义。 (7) 作者简化民T.Husain对下面一个定理的证明。若E是B-完备空间,F是分离的凸空间,t:E→F是映上,线性,连续,几乎开映照,则F是B-完备的。 (8) 作者指出了T.Husain一篇论文中的一个失误,他误把目前还未能解决的一个难题,不加证明地当作已有结果,从而推出了一些不能认可的命题。     

多目标规划非控解的存在性定理

对给定的目标空间Y和控制集Λ,本文引进了关于Y在某个点y_o的弱Λ—有界,弱Λ—闭,弱Λ—紧的概念,并利用他们以及[11]中的结果来改进某些关于多目标规划非控解存在性的结论,同时还进一步讨论了非控弱有效解的存在性。     

Λ—极点存在性定理以及Hilbert空间中的正半定算子

Cesari,L.与Suryanarayana,M.B.[1]讨论了实Banach空间Z中的闭凸锥∧具有性质(π)时,空间Z中任何一个非空∧一有界集B的弱∧一极点的存在性问题,本文推广了[1]中引理4.1的结果,并讨论了Hilbert空间中正半定算子的强制性条件的特征性质以及利用[3]得到的变分不等式得到了一个∧     

一类算子在H~P(T~R)上的强平均有界与逼近

本文考虑一类在H~p(T~n)上弱(H~p,L~p)有界而非(H~p,H~p)有界的算子,利用H~p,空间原子分解理论证明这类算子在H~p(T~n)上的强平均有界性和逼近性质,本文推广了[1],[2]及[3]的结果。     

M-PN空间中半闭1-集压缩算子的若干不动点定理

利用M-PN空间(E,F,Δ)中半闭1-集算子A的拓扑度性质讨论了方程Ax=μx(其中μ≥1)解的存在性,同时研究了半闭1-集压缩算子的不动点问题,改进和推广了一些重要结论。     

一个没有线性选择的R~2中有界奇扇的例

本文给出一个反例,说明有限维空间中存在没有线性选择的有界奇扇(不要求闭值)。A.D.Ioffe举例说明,R~2中存在有界奇扇,不是由线性算子集生成的.然而,[1]中实际上只讨论这样的扇的存在性,并未具体构造出来,而且此扇以0算子为线性选择.为此,[1]提出一个有趣的问题:有限维空间中是否存在没有线性选择的有界奇扇?本文具体构造出一个R~2到R~2的有界奇扇(不是闭值的),它没有线性选择,从而,回答了上述问题.     

非线性奇性椭圆边值问题解的存在性

设X=(x_1,x_2,…,X_n)∈R~n,E_0是半空间x_n≥0.Ω(?)E_o是有界的光滑区域,(?)Ω=S_1US_2,此处S_1在超平面X_n=0上,而S_2整个地位于X_n>0上.讨论非线性奇性椭圆边值问题     

115—三次图的结构和124—三次图的存在唯一性定理

对abc—三次图的存在定理与某些特殊图类的结构,[1]、[2]、[3]中已作了一些讨论,本文的目的是讨论其中未解决的115—三次图和124—三次图的结构。所用概念与记号均与[1]、[2]、[3]相同,其它概念和记号见[4],所有图中的实线表示E(L)中的棱,虚线表示E(G)—E(L)中的棱。一、115—三次图的结构引理1 设G是一个115—三次图,L是它的最大二部分子图,则L中任一长为5的初等路必定含在L的一个6回中。     

广义分数次积分算子交换子在Hardy空间上的有界性

[b,Tl]表示由函数b∈Lipβ(Rn)与广义分数次积分算子Tl生成的交换子.在Hardy空间原子分解理论的基础上,研究了[b,Tl]在经典Hardy空间上的有界性质,证明了[b,Tl]为(Hp,Lq)有界,并且在端点情形证明了该交换子是从Hardy空间到弱Lebesgue空间有界的.     

向量值函数的逼近

设E是拓补空间或测度空间,X是Banach空间,φ是E到2~X的有界集值映射,M?C(E,X)(或L(E、X,L~P(E、X)),我们讨论了φ在M中的各种最佳逼近的存在性。     

M-集及极大元的存在性

本文引进M-集,拟弱紧集,增闭集等概念。讨论了序局部凸空间中极大元的存在性问题,得到了新的存在性定理,它完全包含了至今为止的例如象[1～3]等文献中的有关存在性结果。     

有效点和弱有效点的稳定性

利用集合序列的P—K收敛的概念，在控制锥是正则锥但未必具有有界基的情况下，讨论了向量值优化和集值优化问题的有效点的稳定性，改进了[2]中相应的结论。另外，还给出了向量值优化和集值优化问题的弱有效点的稳定性，得到了线性算子下的稳定性结果。     

区间集上非交换剩余格<∈,∈∪Q>-fuzzy滤子的构造

以区间集和滤子理论作为研究区间集上非交换剩余格<∈,∈∪Q>-fuzzy滤子的工具,通过引入区间集上非交换剩余格<∈,∈∪Q>-fuzzy滤子的概念,讨论了生成<∈,∈∪Q>-fuzzy滤子的几种方法,彰显模糊逻辑推演系统被视为代数滤子的镜像.     

Z-连续偏序集的刻画

在Z-完备偏序集中引入Z-Scott开滤子,并用Z-Scott开滤子的分离性、强分离性刻画Z-连续偏序集,得到Z-连续偏序集的二个刻画定理。     

psBCK-代数的Boolean滤子与psMV-滤子

在psBCK-代数中引入Boolean滤子和psMV-滤子的概念,研究了这2种滤子的性质及其相互关系．同时,借助psMV-滤子概念,给出psBCK-代数成为psMV-代数的若干充要条件．