经典逻辑度量空间中的模2次范整线性空间结构

将次范整线性空间理论用于研究经典逻辑度量空间([F(S)],ρ).构造出了([F(S)],ρ)中的一类等距变换,证明了这类等距变换之集构成一个群;进而证明了经典逻辑度量空间([F(S)],ρ)相对于此结构构成带有模2加法性质的次范整线性空间,且此空间同构于有限域F(2)上的线性赋范空间;建立了范数与逻辑公式的真度以及范数与逻辑度量空间中的度量ρ之间的关系.

次范整线性空间中的逆算子定理和闭图像定理

研究了次范整线性空间的性质,引入Q空间的概念,将泛函分析学中的开映射定理、逆算子定理与闭图象定理推广到次范整线性空间之中.

次范整线性空间上的可加奇性算子空间

利用次范整线性空间上可加奇性算子的3种不同的次范数和拟次范数,研究了可加奇性算子空间.证明了有界(局部有界、球有界)可加奇性算子空间关于相应的算子次范数(拟次范数)构成一个次范(拟次范)整线性空间.此外,还给出了可加奇性算子空间成为完备次范整线性空间的几个充分条件.

交换半群上的次范整线性空间

为了刻画和研究平移空间的线性结构,给出了平移半群的概念,在平移半群为满足相消律的交换半群的平移空间上,引入了整数系数的线性结构;再加之,在平移空间上可利用距离在一定条件下构造出线性结构,引入了次范整线性空间的定义;并且证明了平移空间是次范整线性空间的充要条件是它的平移半群是满足相消律的交换半群.

次范整线性空间上的可加奇性算子

研究次范整线性空间上的可加奇性算子理论.引进可加奇性算子的三种不同的次范数和拟次范数,利用它们刻画可加奇性算子的三种有界性:有界、局部有界和球有界,深入讨论这三种有界性之间的关系,以及它们与连续性的关系.同时,还进一步研究次范整线性空间上连续可加奇性算子族的共鸣定理.

对称逻辑度量次范整子空间及其性质

在经典逻辑度量空间中定义了加法和数乘运算,利用公式的距离引入了经典逻辑度量空间中的范数的概念,从而证明了经典逻辑度量空间作成线性次范整空间。引入了次范整线性子空间的概念。证明了n元逻辑公式之集中的对称逻辑公式子集构成了次范整线性子空间,并讨论了该子空间的简单性质。

n元经典逻辑度量空间中的平移变换

利用模2的加法运算和逻辑公式的向量表示构造了n元经典逻辑度量空间中的平移变换。得到了平移变换的一些简单性质,证明了平移变换保持非运算,但不保持交、并、蕴涵运算;得到了逻辑理论的发散度、有限理论的相容度在平移变换之下不变的结论。证明了平移变换之集构成一个群;在经典逻辑度量空间中以公式类中公式的真度为范数,进一步证明了(Fn(S)ρ)关于该范数可以构成次范整线性空间。

度量空间上泛函的一致连续性

定义了度量空间上泛函的一致连续性以及一致连续性的判定函数,研究了判定函数的性质,建立了判定函数和泛出一致连续的关系,利用判定函数给出了度量空间和次范整线性空间上泛函一致连续的一个充分必要条件,使得泛函一致连续性的判定变得简单。

Z-空间中的逆算子定理和Z-图像定理

在王国俊等引入的次范整线性空间的基础上,利用平移和平移群,将泛函分析中的逆算子定理和闭图像定理推广到次范整线性空间之中.

Abel群上的Hahn-Banach定理

进一步研究了可换平移空间与次范整线性空间之间的关系,建立了Abel群上的Hahn-Banach定理,作为其推论,得到了次范整线性空间中的Hahn-Banach定理.