弱空间式Locale

空间式locale范畴SLoc是locale范畴Loc的余反射满子范畴,但对locale乘积不封闭．本文引入弱空间式locale,证明弱空间式locale范畴WSloc为范畴Loc的余反射满子范畴,且对locale秉积封闭．还证明了一个locale A是空间式的当且仅当它的枝映射localeN(A)是弱空间式的;一个空问式locale的每一个子locale都是空间式的当且仅当它的每一个子locale是弱空间式的．最后,证明了弱空间式性在定向函子下保持不变．     

论环式空间Ⅰ

牡.毅R篇一空简,已焉其中一侗默,a:(R xR,(e,e))分(R,e),饭:(R,e)份份(R,。),那(R xR,(。,。))分(1之,。)焉三侗连擅映像;如果疽三侗映像满足以下修件,我们就靛,R断龄疽三咽映像磷成一侗瑕式察简: L毅Al,且2:‘刀x刀义凡,(已,尸,已”分(R;c)是用必下方法定羲的映像: Al(x,万,之)=a(a(劣,万),:), AZ(二,y,劝=a(:,a(y,“)); 那磨A,竺A,rel.(e,e,e). 2.毅l,r:(R,e)分(R,e)定羲如下: l(x)=a(e,劣),r(劣)=a(x,e): 那磨l型L reLe,犷竺1.reL。,(l代表恒等映像). 3.毅0:(R,e)峥(R,e)是用0扭)二a(x,访仕))定羡的,川二廊8竺尸r“}·刀(e同峙…     

Prequantale上最大空间式Frame商

Prequantale quotient is defined in terms of prequantic nucleus, some equivalent propositions of which is obtained. Also, prequantale quotient is proved to coincide with the quotient object in PQuant up to isomorphism. At last, the concrete structure of the largest spatial frame quotient in TPQuant is given.     

欧氏空间上Co-regular集的表示式

For the computability of co-regular subsets in metric spaces, the properties of the co-regular subsets and several reasonable representations on co-regular sets have been suggested in this paper. As last, the 'weaker or stronger' relations of these representations have been revealed.     

L-fuzzy拓扑空间中的包含式正则分离性

本文首先在一般L-fuzzy拓扑空间中引入了包含式正则分离性的概念.其次将包含式正则分离性与点式正则分离性及正则分离性作了比较,讨论了它们之间的相互蕴含关系.最后说明了包含式正则分离性与包含式正规分离性及包含式完全正则分离性之间的协调性.     

E^n空间中Finsler—Hadwiger不等式的k维对偶式

本文首先给出一个代数不等式,其次利用它获得了ｎ维欧氏空间Ｅ＾ｎ中联系任意ｍ个单形的ｋ维与ｎ维体积的一个几何不等式,作为其特殊情况得到了Ｆｉｎｓｌｅｒ－Ｈａｄｗｉｇｅｒ不等式在Ｅ＾ｎ中的Ｋ维对偶式。     

Hilbert空间中非扩张余弦族的显式、隐式和黏性迭代

研究了Hilbert空间中一些逼近单参数非扩张余弦族公共不动点的迭代格式.借助余弦族理论,在较弱的条件下分别对显式、隐式和黏性的迭代过程建立了一系列的收敛定理.结果表明上述三种迭代过程适用于非扩张余弦族;并且隐式和黏性迭代格式在收敛性上优越于显式迭代格式.     

拟桶式空间的强对偶空间值的向量测度

证明了在某种紧性条件下拟桶式空间的强对偶空间值的向量测度的唯一存在性。     

弱序列式回缩(LM)-空间的特征

本文研究Retakh's条件(M_0),正则性和弱序列式回缩性之间的关系．对于(LM)-空间,弱序列式回缩性等价于正则性加上一个介于(Q_0)和(M_0)之间的条件对于(LN)-空间,我们获得了更满意的结果,证明了弱序列式回缩性等价于正则性加上条件(M_0),也等价于一个非常弱的正则性条件加上条件(M_0)(见文献[1-28])．     

分配格的滤子格是空间式Frame的新证明

在分配格中引入了次极大滤子的概念,并以此给出了分配格的滤子格是空间式frame的一种新证明,然后研究了次极大滤子在Heyting代数中的一些具体性质。     

幂集上的线性空间

将线性空间的概念提升到线性空间的幂集上进行讨论,给出了线性空间的幂空间的定义,并研究了一种特殊幂空间的基本性质.     

Bloch空间与BMOA空间的等价性

设Ω是有限复平面C上的双曲型区域,λ_Ω(z)为其上的曲率为-4的Poincare度量,δ_Ω(z):=dist(z,?Ω)。用B(Ω),BH(Ω),BMOA(Ω,m)和BMOH(Ω,m)分别表示Ω上的Bloch空间,拟梯度函数空间,解析的面积BMO空间和实值调和的面积BMO空间。本文证明了如下结论: 定理 设Ω是C上的双曲型区域。如果C(Ω):=(?)λ_Ω(z)δ_Ω(z)>0,那么下面四条是等价的: (1)f∈B(Ω);(2)Ref∈BMOH(Ω,m);(3)f∈BMOA(Ω,m);(4)Ref∈BH(Ω)。     

多重调和函数空间的对偶空间

研究了多重调和函数空间及其上的复合算子,给出了多重调和函数空间的对偶空间,刻画了该类空间上复合算子的有界性,紧性和Fredholm性.     

相对Meso紧空间及相对Meso-Lindeloff空间

定义了相对meso紧空间、相对meso-Lindeloff空间的概念,研究了相对meso紧、相对meso-Lindeloff空间在闭Lindeloff映射、完备映射下的性质.     

Cn中BP空间、DP空间和A∞空间之间的关系E

讨论了C2中单位球上B7、D,和A∞三空间在p不同情况下的包含关系.     

K-Drop凸空间与局部K-Drop凸空间

引入了Banach空间的局部k-drop凸性质，研究了k-drop凸与局部k-drop凸的一些性质以及两者之间的关系，并用单位球的切片统一而简洁地处理了这两个性质．     

Banach空间的p— Asplund 伴随空间

我们称一个定义在Banach空间E上的连续凸函数f具有Frechet可微性质（FDP）,如果E上的每个实值凸函数g≤f均在E一个稠密的Gδ－子集上Frechet可微。本文主要证明了：对任何Banach空间E,均存在一个局部凸相容拓扑p使得1）（E,p)是Hausdorff局部凸空间;2） E上的每个范数连续具有FDP的凸函数均是p－连续的;3）每个p-连续的凸函数均具有FDP ;4）p等价某个范数拓扑当且仅不E是Asplund空间。     

SPECTRAL空间

讨论了spectral空间的基本性质,以及它与Priestley空间的关系,主要结果有:1)若X是spectral空间,其则关于patch拓扑及X上诱导序为Priestley空间;2)若(X,τ,≤)为Priestley空间,则其开上集拓扑空间是spectral的.最后给出spectral空间的谱理论.     

Bispinor Space

In this paper, we give identifications of bispinor space with Grassmann algebra, and with Clifford algebra. The multiplication in Clifford algebra provides an action on them. Lastly we have researched on the geometry of bispinor space, and define Dirac operators to get a Pythagoras equality.