Cardinal sequences of LCS spaces under GCH

Let C(α) denote the class of all cardinal sequences of length α associated with compact scattered spaces. Also put

C_λ(α)={f∈C(α):f(0)=λ=min[f(β):β<α]}.     

QN-spaces, wQN-spaces and covering properties

The main results of the paper are as follows: covering characterizations of wQN-spaces, covering characterizations of QN-spaces and a theorem saying that Cp(X) has the Arkhangel'ski?ˇ property (α₁) provided that X is a QN-space. The latter statement solves a problem posed by M. Scheepers [M. Scheepers, Cp(X) and Arhangel'ski?ˇ's αi-spaces, Topology Appl. 89 (1998) 265-275] and for Tychonoff spaces was independently proved by M. Sakai [M. Sakai, The sequence selection properties of Cp(X), Preprint, April 25, 2006]. As the most interesting result we consider the equivalence that a normal topological space X is a wQN-space if and only if X has the property S₁(Γshr,Γ). Moreover we show that X is a QN-space if and only if Cp(X) has the property (α₀), and for perfectly normal spaces, if and only if X has the covering property (β₃).     

Domain representability and the Choquet game in Moore and BCO-spaces

In this paper we investigate the role of domain representability and Scott-domain representability in the class of Moore spaces and the larger class of spaces with a base of countable order. We show, for example, that in a Moore space, the following are equivalent: domain representability; subcompactness; the existence of a winning strategy for player α (= the nonempty player) in the strong Choquet game Ch(X); the existence of a stationary winning strategy for player α in Ch(X); and Rudin completeness. We note that a metacompact ?ech-complete Moore space described by Tall is not Scott-domain representable and also give an example of ?ech-complete separable Moore space that is not co-compact and hence not Scott-domain representable. We conclude with a list of open questions.     

The notion of o-tightness and C-embedded subspaces of products

We consider the question: when is a dense subset of a space XC-embedded in X? We introduce the notion of o-tightness and prove that if each finite subproduct of a product X = Π_α?AX_α has a countable o-tightness and Y is a subset of X such that π_B(Y) = Π_α?BX_α for every countable B ? A, then Y is C-embedded in X. This result generalizes some of Noble and Ulmer's results on C-embedding.     

Normality and countable paracompactness of hyperspaces of ordinals

For an ordinal α, α² denotes the collection of all nonempty closed sets of α with the Vietoris topology and K(α) denotes the collection of all nonempty compact sets of α with the subspace topology of α². It is well known that α² is normal iff cfα=1. In this paper, we will prove that for every nonzero-ordinal α:

(1)

α² is countably paracompact iff cfα≠ω.

(2)

K(α) is countably paracompact.

(3)

K(α) is normal iff, if cfα is uncountable, then cfα=α.

In (3), we use elementary submodel techniques.     

Continuous mappings on subspaces of products with the κ-box topology

Much of General Topology addresses this issue: Given a function f∈C(Y,Z) with Y⊆Y^′ and Z⊆Z^′, find , or at least , such that ; sometimes Z=Z^′ is demanded. In this spirit the authors prove several quite general theorems in the context Y^′=κ(XI)=_∏i∈IXi in the κ-box topology (that is, with basic open sets of the form _∏i∈IUi with Ui open in Xi and with Ui≠Xi for <κ-many i∈I). A representative sample result, extending to the κ-box topology some results of Comfort and Negrepontis, of Noble and Ulmer, and of Hušek, is this.

Theorem. Letω?κ?α (that means: κ<α, and[β<αandλ<κ]⇒βλ<α) with α regular,be a set of non-empty spaces with eachd(Xi)<α,π[Y]=XJfor each non-emptyJ⊆Isuch that|J|<α, and the diagonal in Z be the intersection of <α-many regular-closed subsets ofZ×Z. Then (a) Y is pseudo-(α,α)-compact, (b) for everyf∈C(Y,Z)there isJ∈[I]^<αsuch thatf(x)=f(y)wheneverxJ=yJ, and (c) every such f extends to.     

Decompositions of Borel bimeasurable mappings between complete metric spaces

We prove that every Borel bimeasurable mapping can be decomposed to a σ-discrete family of extended Borel isomorphisms and a mapping with a σ-discrete range. We get a new proof of a result containing the Purves and the Luzin-Novikov theorems as a by-product. Assuming an extra assumption on f, or that Fleissner's axiom (SCω₂) holds, we characterize extended Borel bimeasurable mappings as those extended Borel measurable ones which may be decomposed to countably many extended Borel isomorphisms and a mapping with a σ-discrete range.     

On the tychonoff functor and w-compactness

The main purpose of this paper is to settle the following problem concerning a product formula for the Tychonoff functor τ, by introducing the notion of w-compact spaces: Characterize a topological space X such that τ(X×Y)=τ(X)×τ(Y) for any topological space Y. We also study the properties of w-compact spaces, and it is proved that, for any family {X_α} of w-compact spaces, the product ΠX_α is also w-compact and τ(ΠX_α)=Πτ(X_α).     

General Hausdorff functions,and the notion of one-sided measure and dimension

The main facts about Hausdorff and packing measures and dimensions of a Borel set E are revisited, using determining set functions \(\phi_\alpha\colon\mathcal{B}_E\to(0,\infty)\), where \(\mathcal{B}_E\) is the family of all balls centred on E and α is a real parameter. With mild assumptions on φ_α, we verify that the main density results hold, as well as the basic properties of the corresponding box dimension. Given a bounded open set V in ? ^D , these notions are used to introduce the interior and exterior measures and dimensions of any Borel subset of ?V. We stress that these dimensions depend on the choice of φ_α. Two determining functions are considered, φ_α(B)=Vol _D (B∩V)diam(B)^α-D and φ_α(B)=Vol _D (B∩V)^α/D , where Vol _D denotes the D-dimensional volume.     

Trivial automorphisms

We prove that the statement ‘For all Borel ideals I and J on ω, every isomorphism between Boolean algebras P(ω)/I and P(ω)/J has a continuous representation’ is relatively consistent with ZFC. In this model every isomorphism between P(ω)/I and any other quotient P(ω)/J over a Borel ideal is trivial for a number of Borel ideals I on ω. We can also assure that the dominating number, σ, is equal to ?₁ and that \({2^{{\aleph _1}}} > {2^{{\aleph _0}}}\) . Therefore, the Calkin algebra has outer automorphisms while all automorphisms of P(ω)/Fin are trivial. Proofs rely on delicate analysis of names for reals in a countable support iteration of Suslin proper forcings.     

Preservation of the Borel class under countable-compact-covering mappings

The aim of this note is to prove the following result: “Assume that X is a metric Borel space of class ξ, that is continuous, that every fiber f⁻¹(y) is complete and that every countable compact subset of Y is the image by f of some compact subset of X. Then Y is Borel and moreover of class ξ”. We give also an extension to the case where the fibers are only assumed to be Polish.     

There is no upper bound of small transfinite compactness degree in metrizable spaces

In [J.M. Aarts, T. Nishiura, Dimension and Extensions, North-Holland, Amsterdam, 1993], Aarts and Nishiura investigated several types of dimensions modulo a class P of spaces. These dimension functions have natural transfinite extensions. The small transfinite compactness degree trcmp is such transfinite dimension function extending the small compactness degree cmp. We shall prove that there is no upper bound for trcmp in the class of metrizable spaces, i.e. for each ordinal number α there exists a metrizable space Xα such that trcmpXα=α. We also give a characterization of the dimension dim of a separable (compact) metrizable space in terms of the function cmp of the product of this space with a nowhere locally compact zero-dimensional factor.     

On the supremum of the pseudocompact group topologies

P is the class of pseudocompact Hausdorff topological groups, and P^′ is the class of groups which admit a topology T such that (G,T)∈P. It is known that every G=(G,T)∈P is totally bounded, so for G∈P^′ the supremum T^∨(G) of all pseudocompact group topologies on G and the supremum T#(G) of all totally bounded group topologies on G satisfy T^∨⊆T#.The authors conjecture for abelian G∈P^′ that T^∨=T#. That equality is established here for abelian G∈P^′ with any of these (overlapping) properties. (a) G is a torsion group; (b) |G|?c²; (c) r₀(G)=|G|=ω|G|; (d) |G| is a strong limit cardinal, and r₀(G)=|G|; (e) some topology T with (G,T)∈P satisfies w(G,T)?c; (f) some pseudocompact group topology on G is metrizable; (g) G admits a compact group topology, and r₀(G)=|G|. Furthermore, the product of finitely many abelian G∈P^′, each with the property T^∨(G)=T#(G), has the same property.     

The embeddability ordering of topological spaces

For K a set of topological spaces and X,Y∈K, the notation Xh_⊆Y means that X embeds homeomorphically into Y; and X∼Y means Xh_⊆Yh_⊆X. With , the equivalence relation ∼ on K induces a partial order h_? well-defined on K/∼ as follows: if Xh_⊆Y.For posets (P,P_?) and (Q,Q_?), the notation (P,P_?)?(Q,Q_?) means: there is an injection such that p₀P_?p₁ in P if and only if h(p₀)Q_?h(p₁) in Q. For κ an infinite cardinal, a poset (Q,Q_?) is a κ-universal poset if every poset (P,P_?) with |P|?κ satisfies (P,P_?)?(Q,Q_?).The authors prove two theorems which improve and extend results from the extensive relevant literature.

Theorem 2.2. There is a zero-dimensional Hausdorff space S with|S|=κsuch that(P(S)/∼,h_?)is a κ-universal poset.     

Blockers in hyperspaces

Given a metric continuum X, let X² and C(X) denote the hyperspaces of all nonempty closed subsets and subcontinua, respectively. For A,B∈X² we say that B does not block A if A∩B=∅ and the union of all subcontinua of X intersecting A and contained in X−B is dense in X. In this paper we study some sets of blockers for several kinds of continua. In particular, we determine their Borel classes and, for a large class of locally connected continua X, we recognize them as cap-sets.     

Projective versions of selection principles

All spaces are assumed to be Tychonoff. A space X is called projectively P (where P is a topological property) if every continuous second countable image of X is P. Characterizations of projectively Menger spaces X in terms of continuous mappings , of Menger base property with respect to separable pseudometrics and a selection principle restricted to countable covers by cozero sets are given. If all finite powers of X are projectively Menger, then all countable subspaces of Cp(X) have countable fan tightness. The class of projectively Menger spaces contains all Menger spaces as well as all σ-pseudocompact spaces, and all spaces of cardinality less than d. Projective versions of Hurewicz, Rothberger and other selection principles satisfy properties similar to the properties of projectively Menger spaces, as well as some specific properties. Thus, X is projectively Hurewicz iff Cp(X) has the Monotonic Sequence Selection Property in the sense of Scheepers; βX is Rothberger iff X is pseudocompact and projectively Rothberger. Embeddability of the countable fan space Vω into Cp(X) or Cp(X,2) is characterized in terms of projective properties of X.     

On Extraction of Smooth Solutions of a Class of Almost Hypoelliptic Equations with Constant Power

A linear differential operator P(x, D) = P(x₁,... x _n , D₁,..., D _n ) = ∑_αγ_α(x)D^α with coefficients γ_α(x) defined in E ⁿ is called formally almost hypoelliptic in E ⁿ if all the derivatives D^ν_ξP(x, ξ) can be estimated by P(x, ξ), and the operator P(x, D) has uniformly constant power in Eⁿ. In the present paper, we prove that if P(x, D) is a formally almost hypoelliptic operator, then all solutions of equation P(x, D)u = 0, which together with some of their derivatives are square integrable with a specified exponential weight, are infinitely differentiable functions.