一个Thoms型定理

Thomas［1］ established a genralization of the OrliczPettis theorem as follows: Let Ω be a compact Hausdorff space and X a normed space. If a series ∑fj in C(Ω,X) is subseries convergent in the topology of pointwise convergence on Ω, then ∑fj is also subseries convergent in the topology of uniform convergence on Ω. Note that ∑fj is subseries convergent in the topology of pointwise (resp., uniform) convergence on Ω means that for every (tj)∈{0,1}N, there is an f∈C(Ω,X) such that …     

亚紧空间的可数乘积

In this paper,we present that if Y is a hereditarily metacompact space and{Xn:n∈ω}is a countable collection of Cech-scattered metacompact spaces,then the followings are∏equivalent:(1)Y×∏n∈ωXn is metacompact,(2)Y×∏n∈ωXn is countable metacompact,(3)Y×n∈ωXn is orthocompact.Thereby,this result generalizes Theorem 5.4 in[Tanaka,Tsukuba.J.Math.,1993,17:565–587].In addition,we obtain that if Y is a hereditarilyσ-metacompact space and{Xn:n∈ω∏}is a countable collection of Cech-scatteredσ-metacompact spaces,then the product Y×n∈ωXn isσ-metacompact.     

Some Notes About the Cardinals of Metric Space

Theorem 1 Let X be a nonempty countable set, K={: is a discrete metric space}, define ≌ iff((?)f) (f is an equilong isomorphism from to , for a given ∈K, define = { ∈K: ≌}. Let C={: ∈K},then |C|=|K|=|{d:d is a metric on X}|=2~((?)0) The Theorem 2 illustrates that there exists a nonempty countable set X on which we can define 2~((?)0) nondiscrete metric spaces such that they are not isomorphic each other.     

Stability of <Emphasis Type="Italic">C</Emphasis>-regularized Semigroups

Let T = (T(t))t≥0 be a bounded C-regularized semigroup generated by A on a Banach space X and R(C) be dense in X. We show that if there is a dense subspace Y of X such that for every x ∈ Y, σu(A, Cx), the set of all points λ ∈ iR to which (λ - A)^-1 Cx can not be extended holomorphically, is at most countable and σr(A) N iR = Ф, then T is stable. A stability result for the case of R(C) being non-dense is also given. Our results generalize the work on the stability of strongly continuous senfigroups.     

$c$-半层空间与几乎完全正则空间一点注记

In this paper, we give some characterizations of almost completely regular spaces and c-semistratifiable spaces(CSS) by semi-continuous functions. We mainly show that:(1)Let X be a space. Then the following statements are equivalent:(i) X is almost completely regular.(ii) Every two disjoint subsets of X, one of which is compact and the other is regular closed, are completely separated.(iii) If g, h : X → I, g is compact-like, h is normal lower semicontinuous, and g ≤ h, then there exists a continuous function f : X → I such that g ≤ f ≤ h;and(2) Let X be a space. Then the following statements are equivalent:(a) X is CSS;(b) There is an operator U assigning to a decreasing sequence of compact sets(Fj)j∈N,a decreasing sequence of open sets(U(n,(Fj)))n∈N such that(b1) Fn■U(n,(Fj)) for each n ∈ N;(b2)∩n∈NU(n,(Fj)) =∩n∈NFn;(b3) Given two decreasing sequences of compact sets(Fj)j∈N and(Ej)j∈N such that Fn■Enfor each n ∈ N, then U(n,(Fj))■U(n,(Ej)) for each n ∈ N;(c) There is an operator Φ : LCL(X, I) → USC(X, I) such that, for any h ∈ LCL(X, I),0 Φ(h) h, and 0 Φ(h)(x) h(x) whenever h(x) 0.     

Division and k-th root theorems for Q-manifolds

We prove that a locally compact ANR-space X is a Q-manifold if and only if it has the Disjoint Disk Property (DDP), all points of X are homological Z∞-points and X has the countable-dimensional approximation property (cd-AP), which means that each map f:K→X of a compact polyhedron can be approximated by a map with the countable-dimensional image. As an application we prove that a space X with DDP and cd-AP is a Q-manifold if some finite power of X is a Q-manifold. If some finite power of a space X with cd-AP is a Q-manifold, then X2 and X×[0,1] are Q-manifolds as well. We construct a countable familyχof spaces with DDP and cd-AP such that no space X∈χis homeomorphic to the Hilbert cube Q whereas the product X×Y of any different spaces X, Y∈χis homeomorphic to Q. We also show that no uncountable familyχwith such properties exists.     

图映射的非游荡集

§ 1　IntroductionLet N be the set of all natural numbers.Write Z+=N∪ { 0 } ,Nn={ 1 ,2 ,...,n} andZn={ 0 }∪Nnfor any n∈N.Let X be a topological space and f:X→X be a continuous map.Forx∈X,O(x,f) ={ fk(x) :k∈ Z+} is called the orbit of x.The set of periodic points,the set of recurrentpoints,the set ofω-limit points for some x∈X and the set of non-wandering points of fare denoted by P(f) ,R(f) ,ω(x,f) andΩ(f) ,respectively(for the definitions see[1 ] ) .Let A X,we use int(A) ,A…     

Non-wandering sets of the powers of dendrite maps

Let(X, d) be a metric space and f be a continuous map from X to X. Denote by EP(f)and Ω(f) the sets of eventually periodic points and non-wandering points of f, respectively. It is well known that for a tree map f, the following statements hold:(1) If x ∈Ω(f)-Ω(f~n) for some n ≥ 2,then x ∈ EP(f).(2) Ω(f) is contained in the closure of EP(f). The aim of this note is to show that the above results do not hold for maps of dendrites D with Card(End(D)) = ?0(the cardinal number of the set of positive integers).     

WEAK CHEBYSHEV SPACES ON LOCALLY ORDERED TOPOLOGY SPACE AND THE RELATED CONTINUOUS METRIC SELECTIONS

Let C(X)be the space of all continuous real-valued functions on a compact Hausdorffspace X under the uniform norm:‖f‖=max{|f(x)|:x∈X}.For G(?)C(X),defineP_G(f)={g∈G:‖f-g‖=inf{‖f-p‖:p∈G}}.If there exists a continuous mapping S from C(X)to G such that S(f)∈P_G(f)for everyf in C(X),then S is called a continuous selection of the metric projection P_G.And G is called a Z-subspace of C(X),if,for every nonzero g in G,g does not vanishon any open subset of X.In this paper,the author gives several characterizations of Z-subspaces G whose metricprojections P_G have continuous selections.The following results are obtained:If X is locally connected and G is an n-dimensional Z-subspace of C(X),then P_G hasa continuous selection if and only if every nonzero g in G has at most n zeros and has atmost n-1 zeros with sign changes.     

On Universally Left-stability of ε-Isometry

LetX,Y be two real Banach spaces andε≥0.A map f:X→Y is said to be a standardε-isometry if|f(x)f(y)x y|≤εfor all x,y∈X and with f(0)=0.We say that a pair of Banach spaces(X,Y)is stable if there existsγ0 such that,for every suchεand every standardε-isometry f:X→Y,there is a bounded linear operator T:L(f)≡spanf(X)→X so that T f(x)x≤γεfor all x∈X.X(Y)is said to be universally left-stable if(X,Y)is always stable for every Y(X).In this paper,we show that if a dual Banach space X is universally left-stable,then it is isometric to a complemented w-closed subspace of∞(Γ)for some setΓ,hence,an injective space;and that a Banach space is universally left-stable if and only if it is a cardinality injective space;and universally left-stability spaces are invariant.     

Euler’s Exponential Formula for Semigroups

The aim of this paper is to show that Eulers exponential formula $\lim_{n\rightarrow\infty}\linebreak[4] (I-tA/n)^{-n}x = e^{tA}x$, well known for $C_0$ semigroups in a Banach space $X\ni x$, can be used for semigroups not of class $C_0$, the sense of the convergence being related to the regularity of the semigroup for $t>0$. Although the strong convergence does not hold in general for not strongly continuous semigroups, an integrated version is stated for once integrated semigroups. Furthermore by replacing the initial topology on $X$ by some (coarser) locally convex topology $\tau$, the strong $\tau$-convergence takes place provided the semigroup is strongly $\tau$-continuous; in particular this applies to the class of bi-continuous semigroups. More generally if a $k$-times integrated semigroup $S(t)$ in a Banach space $X$ is strongly $k$-times $\tau$-differentiable, then Eulers formula holds in this topology with limit $S^{(k)}(t)$. On the other hand, for bounded holomorphic semigroups not necessarily of class $C_0$, Eulers formula is shown to hold in operator norm, with the error bound estimate ${\cal O}(\ln n/n)$, uniformly in $t>0$. All these results also concern degenerate semigroups.     

Green's Equivalences on Semigroups of Transformations Preserving Order and an Equivalence Relation

Let ${\cal T}_X$ be the full transformation semigroup on the set $X$, \[ T_{E}(X)=\{f\in {\cal T}_X\colon \ \forall(a,b)\in E,(f(a),f(b))\in E\} \] be the subsemigroup of ${\cal T}_X$ determined by an equivalence $E$ on $X$. In this paper the set $X$ under consideration is a totally ordered set with $mn$ points where $m\geq 2$ and $n\geq 3$. The equivalence $E$ has $m$ classes each of which contains $n$ consecutive points. The set of all order preserving transformations in $T_{E}(X)$ forms a subsemigroup of $T_E(X)$ denoted by \[ {\cal O}_{E}(X)=\{f\in T_{E}(X)\colon \ \forall\, x, y\in X, \ x\leq y \mbox{ implies } f(x)\leq f(y)\}. \] The nature of regular elements in ${\cal O}_{E}(X)$ is described and the Green's equivalences on ${\cal O}_{E}(X)$ are characterized completely.     

保持两个等价关系的变换半群的Green关系

Let Tx be the full transformation semigroup on a set X. For a non-trivial equivalence F on X, let
TF（X） = {f ∈ Tx ： arbieary （x, y） ∈ F, （f（x）,f（y）） ∈ F}.
Then TF（X） is a subsemigroup of Tx. Let E be another equivalence on X and TFE（X） = TF（X） ∩ TE（X）. In this paper, under the assumption that the two equivalences F and E are comparable and E lohtain in F, we describe the regular elements and characterize Green＇s relations for the semigroup TFE（X）.     

A STRASSEN LAW OF THE ITERATED LOGARITHM FOR PROCESSES WITH INDEPENDENT INCREMENTS

Let X = {X(t), t ＞- 0} be a process with independent increments (PII) such that E|X(t)| = 0, Dx(t) ∧= E[X(t)^2 &lt; ∞, limt→∞ Dx(t)/t = 1,and there exists a majoring measure G for the jump △X of X. Under these assumptions, using rather a direct method, a Strassen‘s law of the iterated logarithm (Strassen LIL) is established. As some special cases, the Strassen LIL for homogeneous PII and for partial sum process of i.i.d, random variables are comprised.     

具有性质$b_1$空间的乘积性

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.     

cut* 空间的拓扑性质

该文引入了 cut^*空间的概念,所谓的 cut^*空间是指去掉任意一点连通,去掉任意两点不连通的连通空间.通过对其性质的讨论,得到如下主要结论: 首先得到cut^*空间中每个点非开即闭,并且cut^*空间中有无限多个闭点;其次讨论了一类特殊的 cut^*空间,即去掉一点是COTS的 cut^* 空间.指出``$X$是 cut^*空间,任意 $x\inX,X\setminus\{x\}$是不可约cut空间'这样的空间类是不存在的.在文章的最后,讨论了去掉一点是LOTS的 cut^*空间的覆盖性质,得到这样的空间是紧空间或Lindel\"of空间的结论.     

Banach 空间中极大单调算子扰动的值域

设X为实Banach空间, T:D(T)(?)X→2X*为极大单调算子, C: D(T)(?)X→X*为有界算子(未必连续),而C(T+J)-1为紧算子．本文在上述假设条件下,通过附加一定的边界条件应用Leray-Schauder度理论研究了下述包含关系:0∈(T+C)(D(T)∩ BQ(0)),0∈(T+C)(D(T)∩ BQ(0));以及S(?)R(T+C), intS(?)intR(T+C)(其中S(?) X*);B+D(?)R(T+C),int(B+D)(?)intR(T+C)(其中 B(?)X*,D(?)X*)的可解性,得出了一些新的结论．     

包含广义逆的算子乘积的谱

给定三个算子A,B,C∈ B(H),其中算子B的值域R(B)是闭的,利用算子矩阵分块技巧给出了∪σ(AB(1))C)=C的充分必要条件,其中σ(D)是算子D ∈B(H)的B(1) ∈B{1}谱,B{1}={X∈B(H):B×B=B}.     

Extending Baire Property by countably many sets

We prove that if ZFC is consistent so is ZFC + ``for any sequence of subsets of a Polish space there exists a separable metrizable topology on with , and Borel in for all .' This is a category analogue of a theorem of Carlson on the possibility of extending Lebesgue measure to any countable collection of sets. A uniform argument is presented, which gives a new proof of the latter as well.

Some consequences of these extension properties are also studied.

     

一个关于平面图的K-(2,1)-全可选性的结果

设图$G$的一个列表分配为映射$L: V(G)\bigcup E(G)\rightarrow2^{N}$. 如果存在函数$c$使得对任意$x\in V(G)\cup E(G)$有$c(x)\in L(x)$满足当$uv\in E(G)$时, $|c(u)-c(v)|\geq1$, 当边$e_{1}$和$e_{2}$相邻时, $|c(e_{1})-c(e_{2})|\geq1$, 当点$v$和边$e$相关联时, $|c(v)-c(e)|\geq 2$, 则称图$G$为$L$-$(p,1)$-全可标号的. 如果对于任意一个满足$|L(x)|=k,x\in V(G)\cup E(G)$的列表分配$L$来说, $G$都是$L$-$(2,1)$-全可标号的, 则称$G$是 $k$-(2,1)-全可选的. 我们称使得$G$为$k$-$(2,1)$-全可选的最小的$k$为$G$的$(2,1)$-全选择数, 记作$C_{2,1}^{T}(G)$. 本文, 我们证明了若$G$是一个$\Delta(G)\geq 11$的平面图, 则$C_{2,1}^{T}(G)\leq\Delta+4$.