关于2—范空间上的有界2—线性泛函保范延拓及其它一些问题的探讨

一九二八年,K.Menger在[1]中首次提出了广义度量的概念,但这种新概念在当时并没有引起多数数学家的关注。关于广义度量的新发展开始于1962年,S.Gahler在K.Menger研究的基础上提出了2—度量空间、2—范空间、2—内积空间等概念。事实上,2—范空间与赋范线性空间有着密切的联系。因此对于赋范空间上的某些定义都可类似地在2—范空间中提出。本文主要研究了在赋范空间上具有的某些性质是否在2—范空间上也成立的问题。文中引用的定理、推论和引理均不予证明,仅指出参考文献,凡给出证明的都是作者本人的工作。     

关于赋范线性空间中子空间的正交补的初步探讨

在一般的赋范线性空间X中,R.C.James等使用了如下的定义:x⊥y的充分必要条件是■λ∈φ‖x‖≤‖x λy‖。在这个基础上我们有定义1.2 如果X=M⊕N,M⊥N,则称N为M(在X上)的右正交补,记为M~⊥;而M称为N(在X上)的左正交补,记为~⊥N。本文准备讨论如上定义的正交补的最基本的问题,即 <1> 正交补的存在问题(§3); <2> 正交补的唯一性问题(§4); <3> 右正交补的结构表示(§5); <4> 右正交补与算子的保范延拓以及投影算子的联系(§2)。我们将得到一些有意义的结果,其中有些推广或改进了已知的结果。它们是: <1> [推论2.2]设X是内积空间,P是X上的投影,P≠θ。那末P是正交投影的充分必要条件是‖P‖=1。 <2> [例3:6]存在一个三维Banach空间,它的每一个二维子空间M,M~⊥不存在;因而每一个一维子空间N,~⊥N不存在。 <3> [推论5.3|设X是(复的)平滑的赋范线性空间,M是X的子空间。如果{X_α|α∈∧}是X的这样的子空间的全体:MX_α并且M是X_α的余维数是1的子空间。那末M在X上的右正交补存在的充分必要条件是M在每个X_α上的右正交补存在。 <4> [定理6.1]设X是连续的半内积空间,X在其导出范数下是范数自反的。那末对X上的每一个连续线性泛函f,都存在y∈X使得x∈X:f(x)=[x,y]。如果X在其导出范数下又是严格凸的,则y是唯一的。     

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

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

关于b-度量空间的若干问题研究

本文在b-度量空间中引入半序≤和一个具有混合单调性质的算子φ。利用它们的性质,得到一个φ-耦合不动点定理及相关推论。作为应用,研究一类积分方程的解的问题来阐明得到的结论。     

概率度量空间中非线性压缩映射族的公共不动点定理

本文证明了概率度量空间中非线性压缩映射的几个不动点定理。所得结果推广了[2]中定理1.     

关于2范空间中的范数等价定理

本文在[1]的基础上利用r—收敛讨论一些性质,主要结果为范数等价定理(定理3)     

单位球上Lipschitz空间及其空间上的加权复合算子

刻画了单位球上Lipschitz空间的特征,同时给出了加权复合算子Wu,φ在Lipschitz空间上为有界算子和紧算子的充要条件.作为一个推论,利用角导数定理得出‖φ‖∞1是复合算子Cφ在Lipschitz空间上为紧的必要条件.     

抽象空间的不动点定理及其对统计度量空间的应用

本文给出一些G—值距离空间中映射的不动点定理,并应用[1]的方法将统计度量空间嵌入一个G—值距离空间,直接导出统计度量空间的映射的不动点定理。推广了[1,3—7]的重要结果。     

关于无理数的丢番图逼近的一个注记(英)

本文得到关于无理数的丢番图逼近的一个定理和一系列重要推论，指出并订正了[1]中的一个错误．     

关于共形循环的黎曼空间

不久前,Adati, T. 等在[1]中证明了如下的 定理A 若一个P-Sasaki流形M_n(n>3)是共形循环的,则该流形是亚射影的. 同时,[1]中还证明了其它有关的一些定理,其中涉及的流形的黎曼度量是正定的.然而,对于一个黎曼空间来说,它的度量可以是正定的,也可以是非定的.本文从满足某些几何条件的黎曼空间出发,导出了同上述定理对应的结论.     

H-空间上的不等式

利用H -空间上KKM定理的某些结果来讨论不等式 ,所得的结果是文献 [2 ]的某些结果的推广     

任意Banach空间中的非线性Lipschitz强伪压缩算子不动点的迭代逼近

在任意Banach空间中,对非线性增生和强伪压缩算子方程引入三重迭代程序,在Lipschitz条件下研究其收敛性问题.把一重及二重迭代推广到三重迭代,使得[5]和[1]成了本文的推论.     

orlicz空间上最佳逼近元的特征

Singer,I.给出了C[a,b]和 L~p[a,b](1≤p< ∞)上线性子空间G的点g_0是点x的最佳逼近元的特征,本文进一步讨论在Orlicz空间上最佳逼近元的特征.文中的术语和记号见[1],[2].设M(·)和N(·)是满足△_2-条件的,互余的N-函数,相应的导数p(·)连续且严格单调增加.这时,M(·)和N(·)的图形不含直线段,所以,根据吴从炘的定理,以Luxemburg范数||·||(m)为范数的Orlicz空间L_(M)~*[a,b]是严格凸的,L_N~*[a,b]也是严格凸的.此外,易见在上述条件下,L_(M)~*的对偶是L_N~*且是自反的,因此,L_(M)~*也是光滑的.     

关于图的最大特征根的若干定理

设 G 是简单图.A(G)是 G 的邻接矩阵,A(G)是非负的对称阵,其特征根全是实数,故必有最大特征根.文献[2]中讨论了图的最大特征根(以下简称大根)的某些变化规律,进行了这方面的研究.本文将继续讨论图的大根问题.主要结果是:1、给出图的大根变化规律的一个一般性定理.此定理类似于文献[3]的定理.运用它可以推广文献[2]中结果到更一般的情形.2、给出一个以一定方式联出某些子图而构成的图类的大根变化规律.     

关于一类波方程的非线性本征值问题的注记

本文推广[1]中关于问题[Ⅰ] 的无穷多对本征值,本征函数存在性定理到p>2的情形.当p=2时,所考虑的空间是Hilbert空间,可利用相应线性算子的本征函数展开;当p>2时,我们的工作空间是Banach空间.我们利用空间L~p和其对偶空间L~p(?)上的Hausdorff-Young不等式对泛函数估值,从而证明了相应的定理.     

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-范数。     

概率度量空间中φ-压缩映象的不动点定理

摘要本文给出概率度量空间中Ф—压缩映象的一个新的不动点定理,它改进和推广了文献[1—5]中的某些主要结果。     

Hirota-Satsuma 系统在负指数 Sobolev 空间中的适定性

本文利用文献[ 1 ] ,[ 2 ] 的思想结合 Kdv 方程解的光滑效应及压缩映像原理得到了 Hirota -Satsuma 系 统在负指数 Sobolev 空间中的适定性.     

W~lL_p(Φ)空间的迹定理与强非线性变分问题

我们在[1]中建立了 W~2Lp(Φ;E_n~ )的迹定理,但在[1]中是利用调和函数作反嵌入定理的,这个方法不适用于ι为任意的情形。在本文中我们将对任意的ι用平均函数作反嵌入定理,其思想来源于[2].然后把它应用于一般区域的、被积函数是指数型增长的多重积分的极小问题。     

Marcinkiewicz交换子在Triebel-Lizorkin空间中的有界性

类似Plauszynski相应定理的证明方法,研究了Marcinkiewicz交换子Cb在Triebel-Lizorkin空间的有界性质,得到如下结果设1＜p＜∞,0＜β＜min{1/2,α,}且b(x)∈Λ*β,则对于任意f∈Lp(Rn),有Cb是Lp(Rn)到F*β,∞p(Rn)的有界算子.