Some remarks on a game of Telgársky

In [3] R. Telgársky (1975) asked: does the first player have a winning strategy in the game G(F,X×X) if the first player has a winning strategy in the game G(F,X)? I give a positive answer to this question and prove that this result is also true for spaces where the first player has a winning strategy in game G(K,X) where K=1, F, C, for σC if X is P-space and for DC if X is collectionwise-normal space. The last result is related to the Telgársky's (1983) conjecture discussed in [1]. These results are not true for infinite product of spaces.     

拟仿紧性与乘积空间

本文证明了在V=L假定下,所有正规局部紧拟仿紧空间是仿紧的．并证明了正则拟仿紧性在有限 对一闭映射下是逆保持的．还研究了狭义拟仿紧性的有限乘积和逆极限定理．     

Weak -property in Σ-products

It is shown that each Σ-product of paracompact p-spaces has the weak -property.     

Paracompact subspaces in the box product topology

In 1975 E. K. van Douwen showed that if is a family of Hausdorff spaces such that all finite subproducts are paracompact, then for each element of the box product the -product is paracompact. He asked whether this result remains true if one considers uncountable families of spaces. In this paper we prove in particular the following result: Let be an infinite cardinal number, and let be a family of compact Hausdorff spaces. Let be a fixed point. Given a family of open subsets of which covers , there exists an open locally finite in refinement of which covers .

We also prove a slightly weaker version of this theorem for Hausdorff spaces with ``all finite subproducts are paracompact" property. As a corollary we get an affirmative answer to van Douwen's question.

     

On modal logics arising from scattered locally compact Hausdorff spaces

For a topological space X, let $\mathsf{L}(X)$ be the modal logic of X where □ is interpreted as interior (and hence ◇ as closure) in X. It was shown in [3] that the modal logics S4, S4.1, S4.2, S4.1.2, S4.Grz, ${\mathsf{S4}.\mathsf{Grz}}_n$ ($n\ge 1$), and their intersections arise as $\mathsf{L}(X)$ for some Stone space X. We give an example of a scattered Stone space whose logic is not such an intersection. This gives an affirmative answer to [3, Question 6.2]. On the other hand, we show that a scattered Stone space that is in addition hereditarily paracompact does not give rise to a new logic; namely we show that the logic of such a space is either S4.Grz or ${\mathsf{S4}.\mathsf{Grz}}_n$ for some $n\ge 1$. In fact, we prove this result for any scattered locally compact open hereditarily collectionwise normal and open hereditarily strongly zero-dimensional space.     

There is a paracompact Q-set space in ZFC

We construct a paracompact space such that every subset of is an -set, yet is not -discrete. We will construct our space not to have a -diagonal, which answers questions of A.V. Arhangel'skii and D. Shakhmatov on cleavable spaces.

     

Extension dimension for paracompact spaces

We prove existence of extension dimension for paracompact spaces. Here is the main result of the paper:

Theorem. Suppose X is a paracompact space. There is a CW complex K such that

(a) K is an absolute extensor of X up to homotopy,

(b) If a CW complex L is an absolute extensor of X up to homotopy, then L is an absolute extensor of Y up to homotopy of any paracompact space Y such that K is an absolute extensor of Y up to homotopy.

The proof is based on the following simple result (see Theorem 1.2).

Theorem. Let X be a paracompact space. Suppose a space Y is the union of a family {Y_s}_sS of its subspaces with the following properties:

(a) Each Y_s is an absolute extensor of X,

(b) For any two elements s and t of S there is uS such that Y_sY_tY_u.

If f :A→Y is a map from a closed subset A to Y such that A=_sSInt_A(f⁻¹(Y_s)), then f extends over X.

That result implies a few well-known theorems of classical theory of retracts which makes it of interest in its own.     

Characterizations of paracompactness and Lindelöfness by the separation property

The separation property in our title is that, for two spaces and , any two disjoint closed copies of in are separated by open sets in . It is proved that a Tychonoff space is paracompact if and only if this separation property holds for the space and every Tychonoff space which is a perfect image of (where denotes the Stone-Cech compactification of ). Moreover, we give a characterization of Lindelöfness in a similar way under the assumption of paracompactness.

     

A note on the class of paracompact spaces whose product with every paracompact space is paracompact

We prove that if X is a paracompact space which has a neighborhood assignment x→Hx such that for each y∈X the closure of the set is compact then the products T×X, for every paracompact space T, and Xω are paracompact. The first result answers a problem of H. Junnila.     

LF内部空间的仿紧性

在LF内部空间中,引入了Q-内部域、α-Q-内部族等概念,并以此定义了F紧集和F仿紧集,给出了它们的特征刻画。证明了F紧集是F仿紧集,F仿紧性是F可乘性。