On two problems concerning Eberlein compacta

We discuss two problems concerning the class Eberlein compacta, i.e., weakly compact subspaces of Banach spaces. The first one deals with preservation of some classes of scattered Eberlein compacta under continuous images. The second one concerns the known problem of the existence of nonmetrizable compact spaces without nonmetrizable zero-dimensional closed subspaces. We show that the existence of such Eberlein compacta is consistent with ZFC. We also show that it is consistent with ZFC that each Eberlein compact space of weight $>\omega_1$ contains a nonmetrizable closed zero-dimensional subspace.


Introduction
This paper is concerned with Eberlein compacta, i.e., compact spaces which can be embedded into a Banach space equipped with the weak topology. This class of spaces has been intensively studied for its interesting topological properties and various connections to functional analysis; we refer the reader to a survey article by Negrepontis [Ne].
It is well known that this class of compacta and its several subclasses, like classes of uniform Eberlein compacta, scattered Eberlein compacta, scattered Eberlein compacta of height ≤ n (see Section 2 for definitions), are preserved by continuous images. We will discuss the problem of preservation under continuous images for some classes of scattered Eberlein compacta K closely related to the properties of the Banach space C(K) of continuous real-valued functions on K.
For a set X and n ∈ ω, by σ n (X) we denote the subspace of the product 2 X consisting of all functions with supports of cardinality ≤ n. Given n ∈ ω, we will say that a compact space K belongs to the class EC n if K can be embedded in the space σ n (X) for some set X. The class EC n is a proper subclass of the class of scattered Eberlein compacta of height n + 1. We will denote the union n∈ω EC n by EC <ω . In [Ma] it was proved that, for a compact space K, the Banach space C(K) is isomorphic to c 0 (Γ), for some set Γ, if and only if, the space K belongs to EC <ω , see Theorem 3.1. From this characterization we derive that the class EC <ω is preserved by continuous images, see Corollary 3.2. However, we show that this does not hold true for the classes EC n . We give an example of a continuous image L of a space K ∈ EC 2 such that L does not belong to EC 2 (Example 3.4). We also prove that each continuous image of a space from EC 2 belongs to EC 3 (Theorem 3.5). In general case, we show that, for each n ∈ ω, there exists k(n) ∈ ω such that any continuous image of a space K ∈ EC n belongs to EC k(n) (Theorem 3.3). These results are can be found in Section 3.
The last section of the paper is devoted to the known problem of the existence of nonmetrizable compact spaces without nonmetrizable zero-dimensional closed subspaces. Several such spaces were obtained using some additional set-theoretic assumptions. Recently, P. Koszmider [Ko] constructed the first such example in ZFC. We investigate this problem for the class of Eberlein compact spaces. We construct such Eberlein compacta, assuming the existence of a Luzin set, see Corollary 4.8. We also show that it is consistent with ZFC that each Eberlein compact space of weight ≥ ω 2 contains a nonmetrizable closed zero-dimensional subspace (Corollary 4.14).

Terminology and some auxiliary results
2.1. Notation. All topological spaces under consideration are assumed to be Tikhonov.
We say that a family U of sets has order ≤ n if every subfamily V ⊂ U of cardinality n + 2 has an empty intersection (in other terminology, the family U is point-(n + 1)). The family U has finite order if it has order ≤ n for some n ∈ ω.
The family U of subsets of a space X is T 0 -separating if, for every pair of distinct points x, y of X, there is U ∈ U containing exactly one of the points x, y.
For a locally compact space X, α(X) denotes the one point compactification of X. We denote the point at infinity of this compactification by ∞ X .
2.2. Function spaces. Given a compact space K, by C(K) we denote the Banach space of continuous real-valued functions on K, equipped with the standard supremum norm.
For a scattered space K, by Cantor-Bendixson height ht(X) of K we mean the minimal ordinal α such that the Cantor-Bendixson derivative K (α) of the space K is empty. The Cantor-Bendixson height of a compact scattered space is always a nonlimit ordinal.
A surjective map f : X → Y between topological spaces is said to be irreducible if no proper closed subset of X maps onto Y . If X is compact, by Kuratowski-Zorn Lemma, for any surjective map f : X → Y , there is a closed subset C ⊆ X such that the restriction f ↾ C is irreducible.
The following facts concerning continuous maps of scattered compact spaces are well known, cf. the proof of Proposition 8.5.3 and Exercise 8.5.10(C) in [Se].
Proposition 2.2. Let K be a scattered compact space and let ϕ : K → L be a continuous irreducible surjection. Then L ′ = ϕ(K ′ ) and ϕ ↾ (K \ K ′ ) is a bijection onto L \ L ′ .
2.4. Eberlein and Corson compact spaces. A space K is an Eberlein compact space if K is homeomorphic to a weakly compact subset of a Banach space. Equivalently, a compact space K is an Eberlein compactum if K can be embedded in the following subspace of the product R Γ : for some set Γ, see [Ne].
If K is homeomorphic to a weakly compact subset of a Hilbert space, then we say that K is a uniform Eberlein compact space. All metrizable compacta are uniform Eberlein.
A compact space K is Corson compact if, for some set Γ, K is homeomorphic to a subset of the Σ-product of real lines Clearly, the class of Corson compact spaces contains all Eberlein compacta.
2.5. Spaces σ n (X). Given a set Γ and n ∈ ω, by σ n (Γ) we denote the subspace of the product 2 Γ consisting of all characteristic functions of sets of cardinality ≤ n. The space σ n (Γ) is uniform Eberlein and scattered of height n + 1.
For A ∈ [Γ] ≤n , we denote the standard clopen neighborhood {χ B ∈ σ n (Γ) : To simplify the notation we will say that a compact space K belongs to the class EC n if K can be embedded in the space σ n (Γ) for some set Γ. We will denote the union n∈ω EC n by EC <ω . Trivially, if a compact space K belongs to any of the above classes, then each closed subset of K is also in the same class. One can also easily verify that the class EC <ω is preserved under taking finite products, cf. [Av,p. 148].
Proposition 2.3. For a compact space K and n ∈ ω, the following conditions are equivalent: (i) K has a T 0 -separating point-n family of clopen subsets; (ii) K belongs to the class EC n .
Proof. ((i)⇒(ii)) Let A be a T 0 -separating point-n family of clopen subsets of K. For x ∈ K, let f x : A → 2 be a function defined by f x (A) = 1 if x ∈ A, 0 otherwise, for A ∈ A. Clearly, the mapping x → f x is a required embedding.
Lemma 2.4. Let K be an infinite compact subset of σ n (Γ) for some set Γ and n ∈ ω. Then K can can be embedded into σ n (κ), where κ is the weight w(K) of K.
Proof. Follows from the proof of Lemma 2.3 and the well known fact that, for an infinite compact space the cardinality of the family of clopen subsets of K is bounded by w(K).
Proof. Let X = {x 0 , x 1 , . . . , x k−1 } be a set disjoint with Γ. For f ∈ σ n (Γ) and i < k let f i : Γ ∪ X → 2 be defined by One can easily verify that, if we assign to a function f from i-th copy of σ n (Γ), the function f i , then we will obtain an embedding of the discrete union of k copies of σ n (Γ) into σ n+1 (Γ ∪ X), a copy of σ n+1 (Γ).
Theorem 2.6 (Argyros and Godefroy). Every Eberlein compactum K of weight < ω ω and of finite height belongs to the class EC <ω .
Example 2.7 (Bell and Marciszewski [BM]). There exists an Eberlein compactum K of weight ω ω and height 3 which does not belong to EC <ω .
2.6. Luzin sets and its variants. Usually, a subset L of real line R is called a Luzin set if X is uncountable and, for every meager subset A of R the intersection A ∩ L is countable. Let κ ≤ λ be uncountable cardinal numbers. We will say that a subset L of a Polish space X is a (λ, κ)-Luzin set if X has the cardinality λ, and, for every meager subset A of X the intersection A ∩ L has the cardinality less than κ. In this terminology, the existence of a Luzin set in R is equivalent to the existence of a (ω 1 , ω 1 )-Luzin set.
Since, for every Polish space X without isolated points there is a Borel isomorphism h : X → R such that A ⊆ X is meager if and only if, h(A) is meager in R, it follows that the existence of a (λ, κ)-Luzin set in such X is equivalent to the existence of a (λ, κ)-Luzin set in R.
It is known that, for each n ≥ 1 the existence of a (ω n , ω 1 )-Luzin set in R is consistent with ZFC, cf. [BJ,Lemma 8.2.6].

Cardinal numbers b and non(M). Recall that the preorder
for all but finitely n ∈ ω. A subset A of ω ω is called unbounded if it is unbounded with respect to this preorder. In Section 4 we will use two cardinal numbers related with the structure of the real line b = min{|A| : A is an unbounded subset of ω ω } non(M) = min{|B| : B is a nonmeager subset of R} .
2.8. Aleksandrov duplicate AD(K) of a compact space K. Recall the construction of the Aleksandrov duplicate AD(K) of a compact space K.
The following fact is well known (cf. [KM]).
Proof. Without loss of generality we can assume that K is a subspace of c 0 (Γ) (ℓ 2 (Γ)), equipped with the pointwise topology, for some set Γ. We will show that One can easily verify that the mapping (x, i) → f x,i gives the desired embedding.
3. On continuous images of compact subsets of spaces σ n (Γ) The class EC <ω of compact subsets K of spaces σ n (Γ), n ∈ ω (cf. Subsection 2.5), turned out to be the class of those compacta K, for which the Banach space C(K) is isomorphic to the Banach space c 0 (Γ) for some set Γ. (i) K has a T 0 -separating family of clopen subsets and of finite order; Corollary 3.2. The class EC <ω is preserved under continuous images.
Proof. Let K ∈ EC <ω and let ϕ : K → L be a continuous surjection. By Theorem 3.1, the space C(K) is is isomorphic to c 0 (Γ) for some set Γ. The space C(L) is isometric to a subspace {f • ϕ : f ∈ C(L)} of C(K), hence it is isomorphic to a subspace of c 0 (Γ). Again, by Theorem 3.1, the space L belongs to EC <ω . Theorem 3.3. For each n ∈ ω there exists k(n) ∈ ω such that any continuous image of a space K ∈ EC n belongs to EC k(n) .
Proof. Fix n ∈ ω and assume towards a contradiction, that, for each i ∈ ω, there exist a compact space K i ∈ EC n and a continuous surjection ϕ i : K i → L i such that L i does not belong to EC i . Without loss of generality we can assume that K i ⊆ σ n (Γ i ) for some set Γ i , and the sets Γ i are pairwise disjoint and disjoint with ω. Consider Γ = ω ∪ i∈ω Γ i . Let X = i∈ω K i and Y = i∈ω L i be discrete unions of spaces K i and L i , respectively. Clearly, the one point compactification α(X) can be mapped continuously onto α(Y ). Indeed, it is enough to take the union of all maps ϕ i , and assign ∞ Y to ∞ X . Let ψ : α(X) → σ n+1 (Γ) be defined by for x ∈ α(X). A routine verification shows that ψ is an embedding. On the other hand the compactification α(Y ) does not belong to any class EC i , since these classes are hereditary with respect to closed subspaces. This gives a contradiction with Corollary 3.2.
Example 3.4. There exists a continuous image of the space σ 2 (ω 1 ) which does not belong to EC 2 .
Proof. Let Γ be a set, K be a closed subset of σ 2 (Γ), and let ϕ : K → L be a continuous surjection. We will show that L embeds into σ 3 (Γ). Without loss of generality we can assume that the map ϕ is irreducible. We will consider three cases determined by the height ht(L) of L.
Case 1. ht(L) ≤ 1. This means that L is finite and this case is trivial.
Case 2. ht(L) = 2. In this case, for some k ∈ ω, the space L is homeomorphic to the discrete union k i=1 α(X i ) of one point compactifications of infinite discrete spaces X i , i = 1, . . . , k. Since w(L) ≤ w(K) ≤ |Γ|, we have |X i | ≤ |Γ| for i = 1, . . . , k. Then L embeds in σ 2 (Γ) by Lemma 2.5 and a simple observation that the space α(X i ) is homeomorphic to σ 1 (X i ).
Recall that, for γ ∈ Γ, V {γ} denotes the clopen neighborhood {χ A ∈ σ 2 (Γ) : Using properties (a) and (b) of ϕ one can easily verify that Clearly the set W y is clopen in K, since ϕ −1 (y) is finite. Therefore, by (d), O y is clopen in L. Let The family U consists of clopen sets and by property (c) is T 0 -separating in L. Let us check that this family is point-3. Since, for distinct z 1 , z 2 ∈ L \ L ′ , the singletons {z 1 }, {z 2 } are obviously disjoint, it is enough to verify that, for distinct y 1 , y 2 , y 3 ∈ L ′ \ L (2) , the intersection 3 i=1 O y i is empty. This follows from property (d) and an observation that for any Finally, our thesis follows from Proposition 2.3. The following two easy observations demonstrate that the Example 3.4 is in some sense the simplest possible.
Proposition 3.6. For any n ∈ ω, each continuous image of a metrizable space K ∈ EC n belongs to EC n .
Proof. By the classical characterization of countable compacta due to Mazurkiewicz and Sierpiński [MS], any countable metrizable space of height n + 1, n ∈ ω, is homeomorphic to the discrete union of k copies of the ordinal space ω n + 1, for some positive integer k. By Proposition 2.1, any continuous image of such space is homeomorphic to the discrete union of k ′ copies of ω n ′ + 1, where either n ′ < n or n ′ = n and k ′ ≤ k. Lemma 2.4 implies that any metrizable space K ∈ EC n embeds into σ n (ω). One can easily verify that, for any n ∈ ω, the space σ n (ω) is homeomorphic to the space ω n + 1. The desired conclusion follows easily either from standard properties of ordinal spaces or Lemma 2.5.
The next proposition is trivial since the class EC 1 consists of compact spaces with at most one nonisolated point.
Proposition 3.7. Each continuous image of a space K ∈ EC 1 belongs to EC 1 .
Theorem 3.5 together with Example 3.4 can be stated shortly that 3 is the optimal value of the integer k(n) from Theorem 3.3 for n = 2. We do not know how to generalize this for n > 2.
Problem 3.8. Find the formula for best possible value of k(n) from Theorem 3.3 1 .
Remark 3.9. It is clear that the characterization of the class EC n from Proposition 2.3 can be formulated in the following way: A compact zero-dimensional space K belongs to EC n , if and only if, the algebra CO(K) of clopen subsets of K, has a set of generators G such that for any distinct U 0 , U 1 , . . . , U n ∈ G, the intersection n i=o U i is empty. To simplify the statements, say for a moment, that the Boolean algebra A with such set of generators has the property DG n . Then Example 3.4 can be translated into this language as follows: There exists a Boolean algebra A with property DG 2 , and a subalgebra B ⊆ A without this property. Theorem 3.5 says that any subalgebra B of an algebra A with DG 2 , has the property DG 3 . Other results from this section can be also reformulated in this way.

On zero-dimensional closed subspaces of nonmetrizable Eberlein compacta
There are known several constructions, using some additional set-theoretic assumptions, of nonmetrizable compact spaces without nonmetrizable zero-dimensional closed subspaces. Recently, P. Koszmider [Ko] constructed the first such example without such additional assumptions, and G. Plebanek [Pl] constructed a consistent example of such a space which is a Corson compact. So it is important to determine whether we can obtain such examples within some other known classes of compact spaces, for example Eberlein compact spaces.
Joel Alberto Aguilar has asked us the following question.
Problem 4.1. Let K be an Eberlein compact space of weight κ. Does K contain a closed zero-dimensional subspace L of the same weight?
Probably, the most natural and interesting is the following simplified version of this question.
Problem 4.2. Let K be a nonmetrizable Eberlein compact space. Does K contain a closed nonmetrizable zero-dimensional subspace L?
We will show that the negative answer to this problem is consistent with ZFC, see Corollary 4.8. We do not know if the affirmative answer is also consistent with ZFC, see Problem 4.17.
We will also consider a more complex version of Problem 4.1: Problem 4.3. Let κ ≤ λ be uncountable cardinal numbers, and let K be an Eberlein compact space of weight λ. Does K contain a closed zero-dimensional subspace L of weight κ?
We will prove that, for every natural numbers 1 ≤ k ≤ n, n ≥ 2, the statement: each Eberlein compact space of weight ω n contains a closed zero-dimensional subspace L of weight ω k is independent of ZFC, see Corollary 4.9 and Corollary 4.14.
We begin with a simple observation based on the following well known property of Corson compacta. Since we were not able to find a reference for it, we include a sketch of a proof of this fact.
Proposition 4.4. Let x be a nonisolated point of a Corson compact space K such that the character χ(K, x) = κ. Then K contains a copy of a one point compactification α(κ) of a discrete space of cardinality κ with x as its point at infinity.
Proof. Without loss of generality we can assume that K ⊆ Σ(Γ), for some set Γ, and, for each γ ∈ Γ, there is x γ ∈ K such that x γ (γ) = 0. Translating K by the vector −x, we can also assume that x = 0 -the constant zero function in Σ(Γ). If κ = ω, then, by the Fréchet-Urysohn property of K, 0 is the limit of a sequence of distinct points of K, which gives the desired conclusion. If κ > ω, then, using transfinite induction of length κ, and the fact that for compact spaces the pseudocharcter of a point is equal to the character, one can easily construct a set {x α : α ∈ κ} ⊂ K of points with nonempty, pairwise disjoint supports. Then the subspace {0} ∪ {x α : α ∈ κ} of K is as desired.
Corollary 4.5. Let K be an Eberlein compact space with a point of character κ. Then K contains a closed zero-dimensional subspace L of weight κ. In particular, each Eberlein compact space of uncountable character contains a closed nonmetrizable zero-dimensional subspace L.
It is worth to recall here that, by Arhangel'skii's theorem ( [En1,Theorem 3.1.29], for an infinite compact space K, we have the estimate |K| ≤ 2 χ(K) . Hence we obtain the following.
Corollary 4.6. Let K be an Eberlein compact space of weight greater that 2 κ . Then K contains a closed zero-dimensional subspace L of weight κ + . In particular, each Eberlein compact space of cardinality greater than continuum contains a closed nonmetrizable zero-dimensional subspace L.
Recall that the definition of a (λ, κ)-Luzin set appearing in the next lemma, can be found in Subsection 2.6.
Example 4.7. Let κ ≤ λ be uncountable cardinal numbers, and assume that there exists a (λ, κ)-Luzin set. Then, for each n ∈ ω (n = ∞), there exists an n-dimensional nonmetrizable Eberlein compact space K n of weight λ such that any closed subspace L of K n of weight ≥ κ has dimension n.
Applying the above for the standard Luzin set we obtain that it is consistent that Problem 4.2 (Problem 4.1) has an negative answer.
Corollary 4.8. Assuming the existence of a Luzin set, there exists a nonmetrizable Eberlein compact space K without closed nonmetrizable zero-dimensional subspaces.
As we mentioned in Subsection 2.6, for each n ≥ 1, the existence of a (ω n , ω 1 )-Luzin set in R is consistent with ZFC, therefore we derive the following.
Corollary 4.9. For each n ≥ 1, it is consistent with ZFC that there exists an Eberlein compact space K of weight ω n without closed nonmetrizable zerodimensional subspaces.
Let L be a closed subspace of K of weight ≥ κ and let Since L has weight ≥ κ, the set Y must have the cardinality ≥ κ. Let T ⊆ Y be a subset of the same cardinality as Y , and without isolated points. By the definition of a (λ, κ)-Luzin set, T is not nowhere dense in [0, 1] n , hence its closure Cl [0,1] n (T ) has a nonempty interior in [0, 1] n . Therefore, Cl [0,1] n (T ) has dimension n. Since T is dense-in-itself, the closure of T × {1} in AD([0, 1] n ) (hence also in L) contains the set Cl [0,1] n (T ) × {0}, a topological copy of Cl [0,1] n (T ). It follows that dim(L) = n. Now, we will switch to the consistent results giving an affirmative answer to some cases of Problem 4.3.
We start with the following technical lemma (the definitions of cardinal numbers used in this lemma can be found in Subsection 2.7).
Lemma 4.10. Let κ be a cardinal number of uncountable cofinality and assume that b > κ. Let K be a compact subset of the product R Γ containing a subset X of cardinality κ such that, for some countable subset Γ 0 of Γ and for all x ∈ X, the sets supp(x) \ Γ 0 are nonempty and pairwise disjoint. Then K contains a closed zero-dimensional subspace L of weight κ.
Proof. From our assumption that b > κ, it follows that also non(M) > κ.
Let Γ 0 ⊆ Γ be a countable set witnessing the property of the set X. Observe that the property of supports of points x ∈ X, implies that X is a discrete subspace of K.
Without loss of generality we can assume that the set Γ 0 is infinite, so we can enumerate it as {γ n : n ∈ ω}. Let X n = {x(γ n ) : x ∈ X} for n ∈ ω. Since non(M) > κ, each set X n is meager. Therefore, for each n ∈ ω, we can find an increasing sequence (C k n ) k∈ω of closed nowhere dense subsets of R such that X n ⊆ k∈ω C k n . For each x ∈ X, we define a function f x : ω → ω as follows f x (n) = min{k : x(γ n ) ∈ C k n } for n ∈ ω. Since b > κ, we can find a function g : ω → ω such that f x ≤ * g for all x ∈ X. A routine refining argument, using uncountable cofinality of κ, shows that there is a subset Y ⊆ X of size κ and a function h : ω → ω such that f x ≤ h for all x ∈ Y .
We define L = Cl K Y .
The space L contains a discrete subspace Y of cardinality κ, hence L has weight ≥ κ. Let Γ 1 be a selector from the family {supp(x) \ Γ 0 : x ∈ Y }. Clearly, Γ 1 has cardinality κ. One can easily verify that the projection p : R Γ → R Γ 0 ∪Γ 1 is one-to-one on L, hence w(L) ≤ κ.
It remains to verify that L is zero-dimensional. First, observe that each space C k n , being closed nowhere dense in R is zerodimensional. Let π : L → R ω be defined by π(x)(n) = x(γ n ) for x ∈ L, n ∈ ω.
From our choice of Y and h it follows that Since the product Π n∈ω C h(n) n is zero-dimensional, so is the space π(L). From the fact that the sets supp(x) \ Γ 0 , for x ∈ Y , are pairwise disjoint, it follows that each fiber of π is either finite, or homeomorphic to a one point compactification of a discrete space, hence it is zero-dimensional. Therefore, by the theorem on dimension-lowering mappings [En2,Theorem 3.3.10], L is zero-dimensional.
Lemma 4.11. Let k < n be natural numbers, Y be a set of cardinality ω k , and C = {C α : α < ω n } be a family of countable subsets of Y . Then there exist a countable subset Z of Y and a subset S of ω n of cardinality ω n such that C α ⊆ Z for all α ∈ S.
Proof. Fix n ≥ 1. The case k = 0 is trivial. For k > 0, we proceed by induction on k. Without loss of generality we can assume that Y = ω k . Since the cofinality of ω k is uncountable, we can find an λ < ω k and a subset R of ω n of cardinality ω n such that C α ⊆ λ for α ∈ R. Now, we can use the inductive hypothesis.
The following lemma is probably well known. We learned about it from Grzegorz Plebanek, who suggested to use it for the proof of Theorem 4.13. Its proof is based on an idea from the proof of theorem 1.6 in [Ku].
Lemma 4.12. Let Γ be a set of cardinality ω n , n ≥ 2, and A = {A α : α < ω n } be a family of countable subsets of Γ, such that A = Γ. Then there exist a countable subset B of Γ and a subset T of ω n of cardinality ω n such that the family {A α \ B : α ∈ T } consists of nonempty, pairwise disjoint sets.
Using the definition of γ 0 , one can easily construct, by a transfinite induction of length ω n , a subset Q of P of cardinality ω n , such that the family {A α(β) \ δ : β ∈ Q} consists of nonempty, pairwise disjoint sets. Finally, we can apply Lemma 4.11, for Y = δ and the family {A α(β) ∩δ : β ∈ Q}, to find a countable subset B of δ and a subset T of Q of cardinality ω n , such that (A α(β) ∩ δ) ⊆ B for β ∈ T .
Theorem 4.13. Assume that b > ω n , n ≥ 1. Then each Corson compact space K of weight greater that ω 1 contains a closed zero-dimensional subspace L of weight equal to min(w(K), ω n ).
Corollary 4.14. For each n ≥ 2, it is consistent with ZFC that each Corson compact space K of weight ω n contains a closed zero-dimensional subspace L of the same weight.
The construction from Example 4.7 and Lemma 4.10 motivated us to consider the following class of Eberlein compacta.
We say that a compact space K belongs to the class EC ωc if, for some set Γ there is an embedding ϕ : K → R Γ and a countable subset Γ 0 of Γ such that, for each x ∈ K, the set supp(ϕ(x)) \ Γ 0 is finite. Since the product R Γ 0 embeds into the Hilbert space ℓ 2 equipped with the pointwise topology, it easily follows that any compact space K ∈ EC ωc is uniform Eberlein compact. It is clear that the class EC ωc is preserved by the operations of taking finite products and closed subspaces. Example 4.16 below demonstrates that the countable power of a space from EC ωc may not belong to this class.
One can also easily verify that, for a metrizable compact space M the Aleksandrov duplicate AD(M) belongs to the class EC ωc (cf. the proof of Proposition 2.8), hence all spaces constructed in such a way as in Example 4.7, are in this class. One can even show that, for metrizable compacta M n , the countable product of spaces AD(M n ) is in EC ωc . In particular, the product [AD(2 ω )] ω belongs to EC ωc . Note, that by the remarkable result of Dow and Pearl [DP] this product is an example of a homogeneous nonmetrizable Eberlein compact space. The first such example was given by Jan van Mill in [vM]. The structure of these two examples seems to be closely related, but we do not know if they are homeomorphic.
Proof. Let K ∈ EC ωc . Without loss of generality we can assume that, for some set Γ and its countable subset Γ 0 , K is a subset of R Γ such that, for each x ∈ K, the set supp(x) \ Γ 0 is finite. Since K is nonmetrizable, obviously the set Γ must be uncountable. We can also assume that, for each γ ∈ Γ, there is x γ ∈ K such that x γ (γ) = 0. For each γ ∈ Γ \ Γ 0 , the set F γ = supp(x γ ) \ Γ 0 is finite and nonempty. Using the ∆-system lemma we can find a finite set A ⊆ Γ and a set S ⊆ (Γ \ Γ 0 ) of size ω 1 such that, for any distinct α, β ∈ S, F α ∩ F β = A. By enlarging Γ 0 to Γ 0 ∪ A, we can assume that A is empty. Now, we can apply Lemma 4.10 for the set X = {x γ : γ ∈ S}.
In the light of Corollary 4.5 and Theorem 4.15 it seems natural to ask whether every first-countable Eberlein compact space belongs to the class EC ωc . Unfortunately, this is not the case.
Example 4.16. There exists a first-countable uniform Eberlein compact space which does not belong to the class EC ωc .
Proof. Our construction uses the following modification L of the Aleksandrov duplicate AD([0, 1]) of the unit interval (roughly speaking, we replace isolated points of AD([0, 1]) by copies of [0, 1]). The space L is similar to the space X(C) used by van Mill in [vM] to construct an example of a homogeneous nonmetrizable Eberlein compact space. Since the cardinality of supports of functions f t and g t,u is bounded by 2, L is an uniform Eberlein compact space. It is also easy to observe that the space L is first-countable. We will show that the space K = L ω has the required property. Clearly, it is enough to show that K does not belong to the class EC ωc .
Let us note that using a very similar argument as above one can show that the unit ball B of the Hilbert space ℓ 2 (ω 1 ) equipped with the weak topology is an example of an uniform Eberlein compact space which does not belong to the class EC ωc . This is much simpler example than above one, but it is not first-countable.
Corollaries 4.9 and 4.14 indicate that probably the most interesting and left open case of Problem 4.3 is the following Problem 4.17. Is it consistent that every Eberlein compact space K of weight ω 1 contains a closed zero-dimensional subspace L of the same weight?