赋Day范数的c0（Г,X）的某些性质

设Г为一非空集，（X1||·||）为Banach空间，本主要结果如下：（1）U（C0（Г，X），p）为稳定的当且仅当U（X）是稳定的。（2）设Г为无限集，那么下列三条等价：（a)(c0(Г,X),p)有λ-性质，（b)(c0(Г,X),p)有一致λ-性质，（c)(X1||·||）有一致λ-性质。（3）设Г为有限集，那么（c0(Г,X),p)有λ-性质（相应地，一致λ-性质）当且仅当（X1||·||）有λ-性质（相应地，一致λ-性质）。（4）（C0（Г，X），p)有Kadets性质（相应地，Kadets-Klce性质）当且仅当（X1||·||）有Kadeta性质（相应地，Kadets-Klee性质）。（5）w∈S（Cp(Г,X),p)是U（c0(Г,X),p)的可凹点（相应地，PC）当且仅当对于任意的t∈S（w),w(t)是(x∈X:||x||≤||w(t)||）的可凹点（相应地，PC）。     

迭代函数系统的强跟踪性质

给出了迭代函数系统(IFS(F))的强跟踪性质的概念并且研究了它的相关性质.结合经典动力系统的相关方法,首先证明了一致压缩的迭代函数系统都有强跟踪性质,从而给出了具有强跟踪性质的相关例子;另外也证明了两个IFS(F)的强跟踪性质在拓扑共轭的条件下是保持不变的;最后我们得到了:如果IFS(F)有小距离扩张性,则它是开的当且仅当它具有强跟踪性质.     

单位球上Bergman空间上的紧算子

当S满足一些可积条件时,我们证明了Lap(B)(p>1)上的有界算子S是紧的当且仅当S的Berezin变换在单位球B的边界趋近于零.     

计量逻辑学中的反射变换

首先在连续值L*逻辑度量空间中,给出了公式集F(S)上的反射变换φ:F(S)→F(S)的概念,证明了该反射变换φ是F(S)上的自同构映射。其次证明了计量逻辑学中公式的真度,公式间的相似度与伪距离在反射变换下保持不变,而且证明了在反射变换下三种近似推理是等价的。最后,研究了反射变换φ的不动点的性质。     

△-tame拟遗传代数

设(K,M,H)是上三角双模问题,Br(u)stle和Hille证明了(K,M,H)的矩阵范畴Mat(K,M)的投射生成子P的自同态代数的反代数A是拟遗传代数,而且代数A的△好模范畴与Mat(K,M)等价.本文基于双模问题的tame定理,证明了如果由上三角双模问题所对应的拟遗传代数A是△-tame表示型的,则F(△)具有齐次性质,即F(△)中的几乎所有的模都同构于它的Auslander-Reiten变换;进一步地,如果(K,M,H)是上三角双分双模问题,则A是△-tame表示型的当且仅当F(△)具有齐次性质.     

S-超连续偏序集的几个特征

本文在偏序集上引入Scott S-集、S-基、弱逼近元等概念,得到S-超连续偏序集的几个新的刻画。证明了偏序集是S-超连续的当且仅当任不同两点可由主滤子与Scott S-集分离当且仅当它有S-基。证明了有界完备偏序集(简记为bc-poset)L是S-超连续的当且仅当任不同两点可由Scott S-余滤子集分离当且仅当完全双小于关系■具有插值性质,且L中不同点决定的完全双小于下集也不同。     

Δ-tame拟遗传代数

设(K,M,H)是上三角双模问题,Brüstle和Hille证明了(K,M,H)的矩阵范畴Mat(K,M)的投射生成子P的自同态代数的反代数A是拟遗传代数,而且代数A的Δ好模范畴与Mat(K,M)等价．本文基于双模问题的tame定理,证明了如果由上三角双模问题所对应的拟遗传代数A是Δ-tame表示型的,则F(Δ)具有齐次性质,即F(Δ)中的几乎所有的模都同构于它的Auslander-Reiten变换;进一步地,如果(K,M,H)是上三角双分双模问题,则A是Δ-tame表示型的当且仅当F(Δ)具有齐次性质．     

TVS-锥度量空间中的统计收敛

本文研究TVS-锥度量空间中的统计收敛以及TVS-锥度量空间的统计完备性.令(X,E,P,d)表示一个TVS-锥度量空间.利用定义在有序Hausdorff拓扑向量空间E上的Minkowski函数ρ,证明了在X上存在一个通常意义下的度量d_ρ,使得X中的序列(x_n)在锥度量d意义下统计收敛到x∈X,当且仅当(x_n)在度量d_ρ意义下统计收敛到x.基于此,我们证明了任意一个TVS-锥统计Cauchy序列是几乎处处TVS-锥Cauchy序列,还证明了任意一个TVS-锥统计收敛的序列是几乎处处TVS-锥收敛的.从而,TVS-锥度量空间(X,d)是d-完备的,当且仅当它是d-统计完备的.基于以上结论,通常度量空间中统计收敛的许多性质都可以平行地推广到锥度量空间中统计收敛的情形.     

Z-拟连续domain上的Scott拓扑和Lawson拓扑

对一般子集系统Z,引入了Z-拟连续domain的概念,证明了Z-完备偏序集P是Z-拟连续的当且仅当P上的Z-Scott拓扑σZ(P)在集包含序下是超连续格;Z-拟连续domain P上的Z-Scott拓扑σZ(P)是Sober的当且仅当σZ(P)具有Rudin性质,P贼予Z-Lawson拓扑λZ(P)是pospace,且若P上的Z-Lawson开上集是Z-Scott开的,Z-Lawson开下集是下拓扑开的,则(P,λZ(P))为严格完全正则序空间.     

Z-拟连续domain上的Scott拓扑和Lawson拓扑

对一般子集系统Z,引入了Z-拟连续domain的概念,证明了Z-完备偏序集P是Z-拟连续的当且仅当P上的Z-Scott拓扑σ_z(P)在集包含序下是超连续格;Z-拟连续domain P上的Z-Scott拓扑σ_z(P)是Sober的当且仅当σ_z(P)具有Rudin性质,P赋予Z-Lawson拓扑λ_z(P)是pospace;且若P上的Z-Lawson开上集是Z-Scott开的,Z-Lawson开下集是下拓扑开的,则(P,λ_z(P))为严格完全正则序空间。     

Properties of Tense Logics

Based on the results of [11] this paper delivers uniform algorithms for deciding whether a finitely axiomatizable tense logic

• has the finite model property,
• is complete with respect to Kripke semantics,
• is strongly complete with respect to Kripke semantics,
• is d-persistent,
• is r-persistent.

It is also proved that a tense logic is strongly complete iff the corresponding variety of bimodal algebras is complex, and that a tense logic is d-persistent iff it is complete and its Kripke frames form a first order definable class. From this we obtain many natural non-d-persistent tense logics whose corresponding varieties of bimodal algebras are complex. Mathematics Subject Classification: 03B45, 03B25.     

On the Shadowing Property and Shadowable Point of Set-valued Dynamical Systems

In this article, the authors introduce the concept of shadowable points for set-valued dynamical systems, the pointwise version of the shadowing property, and prove that a set-valued dynamical system has the shadowing property iff every point in the phase space is shadowable; every chain transitive set-valued dynamical system has either the shadowing property or no shadowable points; and for a set-valued dynamical system there exists a shadowable point iff there exists a minimal shadowable point. In the end, it is proved that a set-valued dynamical system with the shadowing property is totally transitive iff it is mixing and iff it has the specification property.     

Products of complic cosquares and pseudo-involutory matrices

LetF be a field with (nontrivial) involution (i.e.F-conjugation). A nonsingular matrix Aover Fis called a complic F-cosquare provided A=S^*-1for some matrix Sover Fand is called p.i. (pseudo-involutory) provided A=A^-1 It is shown that Ais a complic F-cosquare iff Ais the product of two p.i. matrices over Fand that det (AA)=1 iff Ais the product of two complic F-cosquares (hence iff A is the product of four p.i. matrices over F). It is conjectured that, except for one obvious case (2 x 2 matrices over the field of order 2), every unimodular matrix A over an arbitrary field Fis a product S¹ST:1T with S1 and Tover FThis conjecture is proved for matricesAof order ≤3.     

关于凸像共形映照的掩蔽性质

<正> 1.设G是复数W平面上的一个凸形区域.假如通过G的一个境界点有一个圆周把G合在它的内部,那末这个圆周是 G 在此境界点的支持圆周.设在 G 的每一个境界点都有一个半径不超过ρ(ρ>0)的支持圆周,并且有一个点,其支持圆周的半径不能小于ρ,那末称 G 是一由半径为ρ的圆所支持的凸形区域.我们又简称这种区域为支持半径为ρ的区域.当ρ=∞时圆周化成直线,每一凸形区域都为一个半平面所支持.     

Smarandache函数在两数列上的下界估计

设S(n)是Smarandache函数,其中n是一正整数.讨论Smarandache函数S(n)在数列F((2k),1)=F(n,1)=n2n+1(n=2k)与数列G(2n,1)=(2n)2n+1上的下界估计.基于初等方法证明了:当偶数n≥6时,有S(F((2k),1))=S(F(n,1))≥6×2n+1;当n≥4时,有S(G(2n,1))≥6×2n+1.     

Extensions of invariant ideals

An ideai on a setX has the property S(k) iff for every partition ofX into sets of cardinality at leastk there exists a selector inI. We give a solution to a problem of Weglorz [6] proving, in particular, that if G is a group of uncountable, regular cardinalityk then every invariant,k-complete ideal on G can be extended to an invariant,k-complete ideal onG with the property S(k).Presented by Jan Mycielski.     

Point processes in general position

The aim of this note is to introduce for point processes in ? ^d the notions general position and reinforced general position, and to characterize these processes. As a consequence we show that Poisson processes P _ρ with an infinite intensity measures ρ are in general position iff ρ is diffuse in the sense that any affine subspace of dimension d ? 1 is a ρ-nullset. Moreover, P _ρ is in reinforced general position iff in addition any (d ? 1)-sphere is a ρ-nullset.     

劳勃生的特殊星像函数和特殊凸像函数

<正> 设函数w在单位圆 E_z:|z|<1上是正则的.假如f(z)在 E_z上是单叶的,那末 D_f=f(E_z)是 w 平面上单叶的区域.记这种单叶函数f(z)的全体为 S_p,S_1=S.若 D_f 以原点 w=0 为星形中心,就是说若 w_0∈D_f则缐段■整个地落在区域 D_f 中,称这种函数 f(z)是 E_z 中的星像函数,其特徵是在 E_z     

左连续环中若干链条件的等价性

(1)设R是左连续环,则R是左Artin环当且仅当R满足左限制有限条件当且仅当R关于本质左理想满足极小条件当且仅当R关于本质左理想满足极大条件.同时给出一个左自内射环是QF环的充要条件;(2)证明了左Z₁-环上的有限生成模都有Artin-Rees性质.     

On Products of Property b1

In this note,we present that:(1)Let X=σ{Xα:α∈A} be|A|-paracompact (resp.,hereditarily |A|-paracompact).If every finite subproduct of {Xα:α∈A} has property b1 (resp.,hereditarily property b1),then so is X.(2) Let X be a P-space and Y a metric space.Then,X×Y has property b1 iff X has property b1.(3) Let X be a strongly zero-dimensional and compact space.Then,X×Y has property b1 iff Y has property b1.