SongAGT.dvi @ Applied General Topology c© Universidad Politécnica de Valencia Volume 8, No. 2, 2007 pp. 249-258 On countable star-covering properties Yan-Kui Song ∗ Abstract. We introduce two new notions of topological spaces called a countably starcompact space and a countably absolutely count- ably compact (= countably acc) space. We clarify the relations between these spaces and other related spaces and investigate topological prop- erties of countably starcompact spaces and countably acc spaces. Some examples showing the limitations of our results are also given. 2000 AMS Classification: 54D20, 54B10, 54D55 Keywords: countably compact, acc, starcompact, countably starcompact, countably acc 1. Introduction By a space, we mean a topological space. Let us recall that a space X is countably compact if every countable open cover of X has a finite subcover. Fleischman defined in [4] a space X to be starcompat if for every open cover U of X, there exists a finite subset B of X such that St(B, U) = X, where St(B, U) = ⋃ {U ∈ U : U ∩ B 6= ∅}. He proved that every countably compact space X is starcompact. Conversely, van Douwen-Reed-Roscoe-Tree [2] proved that every starcompact T2-space is countably compact, but this does not hold for T1-spaces (see Example 2.5 below). Strengthening the definition of starcompactness, Matveev defined in [5] a space X to be absolutely countably compact (= acc) if for every open cover U of X and every dense subspace D of X, there exists a finite subset F of D such that St(F, U) = X. Every acc T2-space is countably compact (see [5]), but an acc T1-space need not be countably compact (see Example 2.4 below). Restricting the definitions of starcompactness and absolutely countably compactness to countable open covers, we define the following classes of spaces: ∗The author is supported by NSFC project 10571081 and by the Natural Science Foun- dation of the Jiangsu Higher Education Institutions of China (Grant No 07KJB110055). 250 Y.-K. Song Definition 1.1. A space X is countably starcompact if for every countable open cover U of X, there exists a finite subset B of X such that St(B, U) = X. Definition 1.2. A space X is countably absolutely countably compact (= count- ably acc) if for every countable open cover U of X and every dense subspace D of X, there exists a finite subset F of D such that St(F, U) = X. The purpose of this paper is to clarify the relationship among these spaces and to consider topological properties of a countably starcompact space and a countably acc space, respectively. The systematic study of countable star- covering properties is very important to supply the research of star-covering properties. From the definitions and above remarks, we have the following diagram, where A → B means that every A-space is a B-space: countably compact   y acc −−−−→ starcompact −−−−→ countably starcompact   y   y T2 countably acc countably compact Diagram 1 The cardinality of a set A is denoted by |A|. For a cardinal κ, κ+ denotes the smallest cardinal greater than κ. Let c denote the cardinality of the continuum, ω the first infinite cardinal and ω1 = ω +. As usual, a cardinal is the initial ordinal and an ordinal is the set of smaller ordinals. For each ordinals α, β with α < β, we write (α, β) = {γ : α < γ < β}, [α, β) = {γ : α ≤ γ < β} and [α, β] = {γ : α ≤ γ ≤ β}, Other terms and symbols will be used as in [3]. 2. Relations among spaces In this section, we consider the relations among countably acc spaces, count- ably starcompact spaces and other related spaces. Proposition 2.1. Every countably compact space is countably acc and every countably acc space is countably starcompact. Proof. Let X be a countably compact space. Let U be a countable open cover of X and let D be a dense subspace of X. Then, there exists a finite subcover {U1, U2, . . . Un} of U, since X is countably compact. Pick a point xi ∈ Ui ∩ D for i = 1, 2, . . . n. Then, St({x1, x2, · · · , xn}, U) = X, which shows that X is countably acc. Hence, every countably compact space is countably acc. It follows immediately from the definitions that every countably acc space is countably starcompact. � On countable star-covering properties 251 Proposition 2.2. For a T2-space X, the following conditions are equivalent: (1) X is countably compact; (2) X is countably acc; (3) X is countably starcompact. Proof. The implications (1) ⇒ (2) and (2) ⇒ (3) are true by Proposition 2.1. It remains to show that (3) ⇒ (1). Suppose that X is not countably compact. Then, there exists an infinite closed discrete subset D = {xn : n ∈ ω} of X. For each m ∈ ω, let Dm = {xn : 2 m 6 n < 2m+1}; then |Dm| = 2 m. Since X is a T2-space, there exists a collection Um = {Un : 2 m 6 n < 2m+1} of pairwise disjoint open sets in X such that Un ∩ D = {xn} for each n ∈ ω. Take such a collection Um for each m ∈ ω and let U = {X \ D} ∪ ⋃ m∈ω Um. Then, U is a countable open cover of X. Let B be any finite subset of X with |B| = k. Since |B| < 2k = |Uk| and Uk is disjoint, some Un ∈ Uk does not intersect B. Then, xn /∈ St(B, U), because Un is only member of U containing xn. Hence, X is not countably starcompact. This proves that (3) ⇒ (1). � Proposition 2.3. Every countably starcompact space X is pseudocompact. Proof. Let f be a continuous real-valued function on X, and let Un = {x ∈ X : n − 1 < f (x) < n + 1} for each n ∈ Z. Then, U = {Un : n ∈ Z} is a countable open cover of X. Since X is countably starcompact, there exists a finite subset B of X such that St(B, U) = X. Since U is point-finite, the set {U ∈ U : U ∩ B 6= ∅} is finite, say {Un1 , Un2 , . . . Unk }. If we put M = max{|ni| + 1 : i = 1, 2, . . . k}, then |f (x)| ≤ M for each x ∈ X. Hence, every continuous real-valued function on X is bounded, which means that X is pseudocompact. � Summing up the above results, we have the following diagram, where the implications (1)–(6) hold for arbitrary spaces and the inverses of implications (2)–(5) also hold for T2-spaces: acc   y (1) countably compact (2) −−−−→ countably acc   y (3)   y (4) acc (6) −−−−→ starcompact (5) −−−−→ countably starcompact   y T2 countably compact Diagram 2 252 Y.-K. Song In the rest of this section, we give examples which show the implications (1)–(6) in Diagram 2 cannot be reversed in the realm of T1-spaces. The first one shows that the inverses of the implications (2) and (3) do not hold for T1-spaces. Example 2.4. There exists an acc T1-space which is not countably compact. Proof. Let κ be an infinite cardinal and A a set of cardinality κ. Define X = κ+ ∪ A. We topologize X as follows: κ+ has the usual order topology and is an open subspace of X, and a basic neighborhood of a ∈ A is of the form Gβ (a) = (β, κ +) ∪ {a}, where β < κ+. Then, X is a T1-space which is not countably compact, because A is infinite discrete closed in X. To show that X is absolutely countably compact, let U be an open cover of X. Let D be the set of all isolated points of κ+. Then, D is dense in X and every dense subspace of X includes D. Thus, it is suffices to show that there exists a finite subset F ⊆ D such that St(F, U) = X. Since κ+ is absolutely countably compact, there is a finite subset F ′ ⊆ D such that κ+ ⊆ St(F ′, U). For each a ∈ A, there is β(a) < κ+ such that Gβ(a)(a) is included in some member of U. If we choose β ∈ D with β > sup{β(a) : a ∈ A}, then A ⊆ St(β, U). Let F = F ′ ∪ {β}. Then, St(F, U) = X. Hence, X is absolutely countably compact, which completes the proof. � � The second example shows that the converses of the implications (3), (4) and (6) in Diagram 2 do not hold for T1-spaces. Example 2.5. There exists a starcompact T1-space which is not countably acc. Proof. Let Y = (ω + 1) × ω1, where both ω + 1 and ω1 have the usual order topologies and Y has the Tychonoff product topology. Let X = ω ∪ Y . We topologize X as follows: Y is an open subspace of X; a basic neighborhood of a point n ∈ ω takes the form Oα(n) = {n} ∪ ((n, ω] × (α, ω1)) where α < ω1. Then, X is a T1-space. To show that X is starcompact, let U be an open cover of X. Then, there exists a finite subset F1 of Y such that Y ⊆ St(F1, U), since Y is countably compact. For each n ∈ ω, there is αn < ω1 such that Oαn (n) is included in some member of U. If we choose α0 < ω1 with α0 > sup{αn : n ∈ ω}, then ω ⊆ St(〈ω, α0〉, U). Let F0 = F1 ∪ {〈ω, α0〉}. Then, X = St(F0, U), which shows that X is starcompact. Next, we show that X is not countably acc. Let D = ω × ω1. Then, D is dense in X. Therefore, it is suffices to show that there exists a countable open cover V of X such that St(A, V) 6= X for any finite subset A of D. Let us consider the countable open cover V = {Y } ∪ {O0(n) : n ∈ ω}. On countable star-covering properties 253 Let A be any finite subset of D. Then, there exists n ∈ ω such that ([n, ω] × ω1) ∩ A = ∅. Hence, n /∈ St(A, V), since O0(n) is only element of V such that n ∈ O0(n). This shows that X is not countably acc. � The third example shows that the converses of the implications (1) and (5) in Diagram 2 do not hold for T1-spaces. Example 2.6. There exists a countably acc T1-space which is not a starcom- pact space. Proof. Let X = ω1 ∪ A, where A = {aα α ∈ ω1} is a set of cardinality ω1. We topologize X as follows: ω1 has the usual order topology and is an open subspace of X; a basic neighborhood of a point aα ∈ A takes the form Oβ (aα) = {aα} ∪ (β, ω1) where β < ω1. Then, X is a T1-space. To show that X is countably acc, let U be a countable open cover of X. Let D be the set of all isolated points of ω1. Then, D is dense in X and every dense subspace of X includes D. Thus, it is suffices to show that there exists a finite subset F ⊆ D such that St(F, U) = X. Since ω1 is absolutely countably compact, there is a finite subset F ′ ⊆ D such that ω1 ⊆ St(F ′, U). Let V = {U ∈ U : U ∩ A 6= ∅}. For each U ∈ V, there exists a βU < ω1 such that (βU , ω1) ⊆ U . Since V is countable, we can choose β ∈ D with β > sup{βU : U ∈ V}. Thus, A ⊆ St(β, V) ⊆ St(β, U), since β ∈ U for each U ∈ V. Let F = F ′ ∪ {β}. Then, X = St(F, U), which shows that X is countably acc. Next, we show that X is not starcompact. Let us consider the open cover V = {ω1} ∪ {Oα(aα) : α < ω1}. Let A be any finite subset of X. Then, there exists α < ω1 such that A ∩ ((α, ω1) ∪ {aβ : β > α}) = ∅. Choose β > α. Then aβ /∈ St(A, V), since Oα(aα) is only element of V containing aα for each α ∈ ω1. This shows that X is not starcompact. � Remark 2.7. Pavlov [8] proved that a countably compact space need not be acc even if it is a normal T2-space. 3. Discrete sum and subspaces We begin with a proposition which follows immediately from the definitions of a countably starcompact space and a countably acc space: Proposition 3.1. The discrete sum of a finite collection of countably star- compact (resp. countably acc) spaces is countably starcompact (resp. countably acc). It is well known that a closed subspace of a countably compact space is countably compact. However, a similar result does not hold for starcompact- ness, countable starcompactness and countable acc properties. In fact, the following example shows that these properties are not preserved by taking reg- ular closed subspaces. 254 Y.-K. Song Example 3.2. There exists an acc T1-space having a regular-closed subspace which is not countably starcompact. Proof. Let S1 = ω ∪ R be the Isbell-Mrówka space [7], where R is a maximal almost disjoint family of infinite subsets of ω so that |R| = c. SinceS1 is not countably compact, S1 is not countably starcompact by Proposition 2.2. Let S2 = c + ∪ A, where A is a set of cardinality c. We topologize S2 as follows: c+ has the usual order topology and is an open subspace of S2, and a basic neighborhood of a ∈ A takes the form Gβ (a) = (β, c +) ∪ {a}, where β < c+. We assume that S1 ∩ S2 = ∅. Let ϕ : R → A be a bijection. Let X be the quotient space obtained from the discrete sum S1 ⊕ S2 by identifying r with ϕ(r) for each r ∈ R. Let π : S1 ⊕ S2 → X be the quotient map. It is easy to check that π(S1) is a regular-closed subset of X, however, it is not countably starcompact, since it is homeomorphic to S1. Next, we show that X is acc. For this end, let U be an open cover of X. Let S be the set of all isolated points of c+ and let D = π(S ∪ ω). Then, D is dense in X and every dense subspace of X includes D. Thus, it is suffices to show that there exists a finite subset F of D such that X = St(F, U). By the proof of Example 2.4, S2 is acc. Since π(S2) is homeomorphic to the space S2, π(S2) is acc, hence, there exists a finite subset F0 of π(S) such that π(S2) ⊆ St(F0, U). On the other hand, since π(S1) is homeomorphic to S1, every infinite subset of π(ω) has an accumulation point in π(S1). Hence, there exists a finite subset F1 of π(ω) such that π(ω) ⊆ St(F1, U). For, if π(ω) 6⊆ St(B, U) for any finite subset B ⊆ π(ω), then, by induction, we can define a sequence {xn : n ∈ ω} in π(ω) such that xn 6∈ St({xi : i < n}, U) for each n ∈ ω. By the property of π(S1) mentioned above, the sequence {xn : n ∈ ω} has a limit point x0 in π(S1). Pick U ∈ U such that x0 ∈ U . Choose n < m < ω such that xn ∈ U and xm ∈ U . Then, xm ∈ St({xi : i < m}, U), which contradicts the definition of the sequence {xn : n ∈ ω}. Let F = F0 ∪ F1. Then, X = St(F, U). Hence, X is acc, which completes the proof. � 4. Mappings It is well known that a continuous image of a countably compact space is countably compact (see [3]) and a continuous image of a starcompact space is starcompact (see [2]). Similarly, we have the following proposition. Proposition 4.1. A continuous image of a countably starcompact space is countably starcompact. Proof. Suppose that X is a countably starcompact space and f : X → Y a continuous onto map. Let U be a countable open cover of Y . Then, V = {f −1(U ) : U ∈ U} is a countable open cover of X. Since X is countable starcompact, there exists a finite set B ⊆ X such that St(B, V) = X. Let F = f (B). Then, F is a finite set of Y and St(F, U) = Y . Hence, Y is countably starcompact. � On countable star-covering properties 255 Matveev showed in [5, Example 3.1] that a continuous image of an acc space need not be acc. Now, we give an example showing that a continuous image of an acc T1-space need not be countably acc. Example 4.2. There exist an acc T1-space X and a continuous map f : X → Y onto a space Y which is not countably acc. Proof. Let X1 = (ω + 1)× ω1 with the Tychonoff product topology, where both ω + 1 and ω1 have the usual order topologies. Then, X1 is acc by [5, Theorem 2.3], since ω +1 is a first countable, compact space and ω1 is acc by [5, Theorem 1.8]. Let X2 = ω1 ∪ ω. We topologize X2 as follows: ω1 has the usual order topology and is an open subspace of X2, and a basic neighborhood of n ∈ ω takes the form Gβ (n) = (β, ω1) ∪ {n}, where β < ω1. By the proof of Example 2.4, X2 is acc. Let X = X1 ⊕ X2 be the discrete sum of X1 and X2. Then, X is acc by Proposition 1.3 [5]. Let Y = X1 ∪ X2. We topologize Y as follows: X1 is an open subspace of Y ; a basic neighborhood of a point β < ω1 ⊆ X2 takes the form Oγ,m(β) = ([m, ω] × ω1) ∪ (γ, β], where γ < β and m ∈ ω. a basic neighborhood of a point n ∈ ω takes the form Oα(n) = ([n, ω] × ω1) ∪ (α, ω1) ∪ {n}, where α < ω1; To show that Y is not countably acc. Let D = ω × ω1. Then, D is dense in Y . Therefore, it is sufficient to show that there exists a countable open cover V of Y such that St(A, V) 6= Y for any finite subset A of D. Let us consider the countable open cover V = {X1 ∪ ω1} ∪ {O0(n) : n ∈ ω}. Let A be any finite subset of D. Then, there exists a n ∈ ω such that ([n, ω] × ω1) ∩ A = ∅. Hence, n /∈ St(A, V), since O0(n) is the only element of V such that n ∈ O0(n) for each n ∈ ω, which shows that Y is not countably acc. Let f : X → Y be the identity map. Then, f is continuous. This completes the proof. � Recall from [5] or [6] that a continuous mapping f : X → Y is varpseudoopen provided intY f (U ) 6= ∅ for every nonempty open set U of X. In [5], it was proved that a continuous varpseudoopen image of an acc space is acc. Similarly, we prove the following proposition. Proposition 4.3. A continuous varpseudoopen image of a countably acc space is countably acc. Proof. Suppose that X is a countably acc space and f : X → Y is a continuous varpseudoopen onto map. Let U be a countable open cover of Y and D a dense subspace of Y . Then, V = {f −1(U ) : U ∈ U} is a countable open cover 256 Y.-K. Song of X, and f −1(D) is a dense subspace of X since f is a varpseudoopen map. Hence, there exists a finite set B ⊆ f −1(D) such that St(B, V) = X. Let F = f (B). Then, F is a finite set of D and St(F, U) = Y , which shows that Y is a countably acc space. � Now, we consider preimages. It is well known that a perfect preimage of a countably compact space is countably compact (see [3, Theorem 3.10.10]) but a perfect preimage of an acc space need not be acc (see [1, Example 3.2]). Now, we give an example showing that (1) a perfect preimage of a starcompact space need not be starcompact, (2) a perfect preimage of a countably starcompact space need not be count- ably starcompact, and (3) a perfect preimage of a countably acc space need not be countably acc. Our example uses the Alexandorff duplicate A(X) of a space X: The underlying set of A(X) is X × {0, 1}; each point of X × {1} is isolated and a basic open neighborhood of 〈x, 0〉 ∈ X × {0} is a set of the from (U × {0}) ∪ ((U × {1}) \ {〈x, 1〉}), where U is an open neighborhood of x in X. Example 4.4. There exists a perfect onto map f : X → Y such that Y is an acc T1-space, but X is not countably starcompact. Proof. Let Y = ω1 ∪ ω. We topologize Y as follows: ω1 has the usual order topology and is an open subspace of Y , and a basic neighborhood of n ∈ ω takes the form Gβ (n) = (β, ω1) ∪ {n}, where β < ω1. By the proof of Example 2.4, Y is an acc space. Let X = A(Y ) be the Alexandorff duplicate of Y . Then, X is not countably starcompact, since ω × {1} is countable discrete, open and closed in X and countable starcompactness is preserved by open and closed set. Let f : X → Y be the projection. Then, f is a perfect onto map. This completes the proof. � 5. Products It is well known that the product of a countably compact space and a com- pact space is countably compact. However, the product of an acc Tychonoff space with a compact T2-space need not be acc (see [5, Example 2.2]). Also, in [4, Example 3], an example was given showing that the product of a star- compact T1-space with a compact metric space need not be starcompact. Now, we show that the same example also shows that the product of a countably starcompact (resp. countably acc) T1-space with a compact metric space need not be countably starcompact (resp. countably acc). Example 5.1 (Fleischman). There exist an acc T1-space X and a compact metric space Y such that X × Y is not countably starcompact. On countable star-covering properties 257 Proof. Let X = ω1 ∪ A and ω1 ∩ A = ∅, where A = {an : n ∈ ω} is a countable set. We topologize X as follows: ω1 has the usual order topology and is an open subspace of X, and a basic neighborhood of each an ∈ A takes the form Gβ (an) = (β, ω1) ∪ {an}, where β < ω1. Then, X is an acc T1-space By the proof of Example 2.4. Let Y = ω + 1 with the usual order topology. Then, Y is a compact metric space. Next, we prove that X ×Y is not countably starcompact. Let Un = [n, ω1)∪ {an} and Vn = (n, ω] for each n ∈ ω. Let U = {Un × Vn : n ∈ ω} ∪ {X × {n} : n ∈ ω}. Then, U is a countable open cover of X × Y. Let F be a finite subset of X × Y . Then, there exists a n ∈ ω such that (X × {n}) ∩ F = ∅. Hence, 〈an, n〉 /∈ St(F, U), since X × {n} is the only element of U such that 〈an, n〉 ∈ X × {n} for each n ∈ ω. This completes the proof. � Remark 5.2. By Example 5.1, we can see that (1) an open perfect preimage of a starcompact space need not be starcom- pact, (2) an open perfect preimage of a countably starcompact space need not be countably starcompact, and (3) an open perfect preimage of a countably acc space need not be count- ably acc. Acknowledgements. The author would like to thank Prof. H. Ohta for his kind help and valuable suggestions. References [1] M. Bonanzinga, Preservation and reflection of acc and hacc spaces, Comment. Math. Univ. Carolinae 37, no. 1 (1996), 147–153. [2] E. K. van Douwen, G. M. Reed, A. W. Roscoe and I. J. Tree, Star covering properties, Topology Appl. 39 (1991), 71–103. [3] R. Engelking, General Topology, Revised and completed edition, Heldermann Verlag, Berlin, 1989. [4] W. M. Fleischman, A new extension of countable compactness, Fund. Math. 67 (1970), 1–7. [5] M. V. Matveev, Absolutely countably compact spaces, Topology Appl. 58 (1994), 81–92. [6] M. V. Matveev, A survey on star-covering properties, Topology Atlas, Preprint No 330, 1998. [7] S. Mrówka, On complete regular spaces, Fund. Math. 41 (1954), 105–106. [8] O. I. Pavlov, A normal countably compact not absolutely countably compact space, Proc. Amer. Math. Soc. 129 (2001), 2771–2775. [9] Y. Song,On some questions on star covering properties, Q and A in General and Topol- ogy 18 (2000), 87–92. 258 Y.-K. Song Received April 2006 Accepted November 2006 Yan-Kui Song (songyankui@njnu.edu.cn) Institute of Mathematics, School of Mathematics and Computer Sciences, Nan- jing Normal University, Nanjing 210097, P. R. of China.