GongReillyAGT.dvi @ Applied General Topology c© Universidad Politécnica de Valencia Volume 8, No. 2, 2007 pp. 267-272 On the Order Hereditary Closure Preserving Sum Theorem Jianhua Gong and Ivan L. Reilly Abstract. The main purpose of this paper is to prove the following two theorems, an order hereditary closure preserving sum theorem and an hereditary theorem: (1) If a topological property P satisfies ( ∑′ ) and is closed hereditary, and if V is an order hereditary closure preserving open cover of X and each V ∈ V is elementary and possesses P, then X possesses P. (2) Let a topological property P satisfy ( ∑′ ) and (β), and be closed hereditary. Let X be a topological space which possesses P. If every open subset G of X can be written as an order hereditary closure preserving (in G) collection of elementary sets, then every subset of X possesses P. 2000 AMS Classification: 54D20 Keywords: elementary set, order hereditary closure preserving, sum theorem. 1. Introduction R. E. Hodel [1] obtained sum theorems and an hereditary theorem for topo- logical spaces. S. P. Arya and M. K. Singal [1, 2] and G. Gao [4] have improved some of Hodel’s sum theorems. We provide in this paper further improvements of these theorems. A topological property P is said to be hereditary (closed hereditary, open hereditary) if when P is possessed by a topological space X, it is also shared by every subspace (closed subspace, open subspace) of X. It is well known that covering properties such as paracompactness, subparacompactness, countable paracompactness, pointwise paracompactness, θ-refinement and collectionwise normality satisfy the following result which is denoted by (β). (β) : If every open subset of a space X has a property P, then every subset of X has the property P. 268 J. Gong and I. L. Reilly Notice that X is an open subspace of itself, thus (β) states that open hered- itary implies hereditary. Y.K atuta [6] introduced the notion of an order locally finite family of subsets of a topological space. Later G. Gao [4] also introduced the notion of an order hereditary closure preserving family of subsets of a topological space. A family {Aγ : γ ∈ Γ} of subsets of a topological space X is called hereditary closure preserving relative to a subspace A of X if for any Γ′ ⊂ Γ and any Eγ ⊂ Aγ the following is true for all points in A. ⋃ γ∈Γ′ Eγ = ⋃ Eγ . Definition 1.1 (G. Gao [4]). A family {Aα : α < τ} (α and τ are ordinal numbers) is defined to be order hereditary closure preserving if for every ordinal number β < τ , the family {Aα : α < β} is hereditary closure preserving relative to Aβ. It is not difficult to see that the following implications are true for a family of subsets of a topological space. However, the converse implications are not true in general. Proposition 1.2. Given a family of subsets of a topological space, then locally f inite ⇒ hereditary closure preserving ⇓ ⇓ σ − locally f inite ⇒ σ − hereditary closure preserving ⇓ ⇓ order locally f inite ⇒ order hereditary closure preserving Definition 1.3 (R. E. Hodel [5]). Let N be the set of all positive integers. An open subset V of a topological space is called an elementary set if V = ⋃ ∞ i=1 Vi, where each Vi is open and Vi ⊂ V for all i ∈ N . The following two lemmas show that each open Fσ set in a normal space is exactly an elementary set. Lemma 1.4. Every elementary set in a topological space is an open Fσ set. Proof. Suppose the open subset V of a topological space is an elementary set, then V = ⋃ ∞ i=1 Vi, Vi is open and Vi ⊂ V for all i ∈ N . Hence ⋃ ∞ i=1 Vi ⊂ V. On the other hand, Vi ⊂ Vi for all i ∈ N, so V = ⋃ ∞ i=1 Vi ⊂ ⋃ ∞ i=1 Vi. Therefore, V = ⋃ ∞ i=1 Vi, it follows that V is an open Fσ set. � Lemma 1.5. Every open Fσ subset of a normal space is an elementary set. Proof. Let V be an open Fσ set of a normal space X, then V = ⋃ ∞ i=1 Wi, Wi is closed and Wi ⊂ V for all i ∈ N . By the normality of X, for each Wi there exists an open set Vi such that Wi ⊂ Vi ⊂ Vi ⊂ V . Thus, V = ⋃ ∞ i=1 Wi ⊂ ⋃ ∞ i=1 Vi and ⋃ ∞ i=1 Vi ⊂ V. That is V = ⋃ ∞ i=1 Vi where each Vi is open and Vi ⊂ V for all i ∈ N. Therefore V is an elementary set. � On the Order Hereditary Closure Preserving Sum Theorem 269 Notice that an open Fσ set may fail to be an elementary set in non-normal spaces, as the following example shows. Example 1.6. Let X be the set N of all positive integers with cofinite topology. Then X is a T1 space which is not a normal space. Take the set V = N/{1, 2, 3}, then V is an open set. Furthermore, V = ⋃ ∞ i=4 {i}. Since X is a T1 space, each singleton {i} is a closed subset, so that V is an open Fσ set. For any subset S of X we have S = { S if S is finite, X if S is infinite. Since every non-empty open subset S of X is infinite, for every open subset S of V , S = X 6⊂ V. So V is not an elementary set. We say that a topological property P satisfies the Locally Finite Closed Sum Theorem if the following is satisfied and denote it by ( ∑ ). ( ∑ ) : Let {Fα : α ∈ A} be a locally finite closed cover of a topological space X and let each Fα possess a property P, then X possesses the property P. We say that a topological property P satisfies the Hereditary Closure Pre- serving Closed Sum Theorem if the following is satisfied and denote it by ( ∑ ′ ). ( ∑ ′ ) : Let {Fα : α ∈ A} be an hereditary closure preserving closed cover of a topological space X and let each Fα possess a property P, then X possesses the property P. Observe from Proposition 1.2 that ( ∑ ′ ) ⇒ ( ∑ ). For example, if the topological property P is one of paracompactness, subpara- compactness, pointwise paracompactness, meso-compactness, θ-refinement, weak θ-refinement and ortho-compactness, then the property P satisfies ( ∑ ). If the topological property P is either paracompactness or T1 meso-compactness, then the property P satisfies ( ∑ ′ ). 2. A Sum Theorem In this section, we assume that the topological property P satisfies ( ∑ ′ ) (hence ( ∑ )) and is closed hereditary. Theorem 2.1. Let V = {Vα : α < τ} be an order hereditary closure preserving open cover of a topological space X, and let each Vα be an elementary set which possesses a topological property P. Then X possesses the topological property P. 270 J. Gong and I. L. Reilly Proof. Since each Vα is an elementary set and possesses the property P, (2.1) Vα = ∞ ⋃ i=1 Vα,i, Vα,i ⊂ Vα, α < τ, i ∈ N, where each Vα,i is an open set. Then the closed set Vα,i possesses the property P by closed hereditary. For each i ∈ N, let Vi = {Vα,i : α < τ}. For each α < τ , let (2.2) F0,i = V0,i, Fα,i = Vα,i − ⋃ β<α Vβ , 0 < α < τ. Then each closed set Fα,i possesses the property P. And we claim that the family {Fα,i : α < τ} is an hereditary closure preserving collection. Without loss of generality, for each α < τ , let Aα,i ⊂ Fα,i, we need to prove ⋃ α<τ Aα,i = ⋃ α<τ Aα,i. Obviously, it is enough to prove (2.3) ⋃ α<τ Aα,i ⊂ ⋃ α<τ Aα,i. Suppose x ∈ ⋃ α<τ Aα,i, since V is a cover of X, we may assume x ∈ Vβ0 . Now the inequality (2.3) can be expressed in another way: (2.4)   ⋃ α<β0 Aα,i   ∪ Aβ0,i ∪   ⋃ β0<α<τ Aα,i   ⊂   ⋃ α<β0 Aα,i   ∪ Aβ0,i ∪   ⋃ β0<α<τ Aα,i   . According to (2.2), Vβ0 ∩ Fα,i = ∅, β0 < α < τ . So X − Vβ0 ⊃ ⋃ β0<α<τ Fα,i. Since X−Vβ0 is a closed set, then X − Vβ0 ⊃ ⋃ β0<α<τ Fα,i, that is x /∈ ⋃ β0<α<τ Fα,i. Therefore x /∈ ⋃ β0<α<τ Aα,i. If x ∈ Aβ0,i, the inequality (2.4) is satisfied. We may assume x ∈ ⋃ α<β0 Aα,i. Since V is order hereditary closure preserving, {Vα : α < β0} is hereditary closure preserving at every point of Vβ0 . Notice that x ∈ Vβ0 , thus x ∈ ⋃ α<β0 Aα,i. So the inequality (2.2) is proved. Let Fi = ⋃ α<τ Fα,i, then Fi possesses the property P by applying ( ∑ ′ ), for all On the Order Hereditary Closure Preserving Sum Theorem 271 i ∈ N. For each i ∈ N, let V∗i = ⋃ α<τ {Vα,i}, then V∗i ⊂ Fi by the well order property. Hence {V ∗ i } and {Fi} are open covers and closed covers of the space X respectively. Finally, let H1 = F1, Hi = Fi − i−1 ⋃ j=1 V∗j , i = 2, 3, ... then {Hi} is a locally finite closed cover of X and each Hi possesses the property P. It follows from ( ∑ ) that X possesses the property P. � Apply Proposition 1.2 to Theorem 2.1, we can obtain the following two corollaries. Corollary 2.2 (S. P. Arya and M. K. Singal [2]). Let V be a σ-hereditary clo- sure preserving cover of a topological space X and each V ∈ V be an elementary set which possesses a topological property P, then X possesses the property P. Corollary 2.3 (R. E. Hodel [5]). Let V be a σ-locally finite cover of a topolog- ical space X and each V ∈ V be an elementary set which possesses a topological property P, then X possesses the property P. 3. Two Hereditary Theorems We assume that the topological property P in this section satisfies ( ∑ ′ ) (hence ( ∑ )), (β) and is closed hereditary. Theorem 3.1. Let X be a topological space which possesses a topological prop- erty P. If every open subset G of X can be written as an order hereditary closure preserving (in G) collection of elementary sets, then every subset of X possesses the property P. Proof. Let V = {Vα : α < τ} be order hereditary closure preserving at every point of G, and let V∗ = ⋃ α<τ Vα = G, where each Vα, α < τ is an elementary subset of X. We may assume Vα = ∞ ⋃ i=1 Vα,i, Vα,i ⊂ Vα, α < τ where each Vα,i is an open set. Let Fα,1 = Vα,1, Fα,i = Vα,i − ⋃ j