# Product Property on Generalized Lindelöf Spaces

Authors: Adem Kiliçman; Anwar Jabor Fawakhreh
Journal: ISRN Mathematical Analysis
 (2011)

---

## Abstract

We study the product properties of nearly Lindelöf, almost Lindelöf, and weakly Lindelöf spaces. We prove that in weakP-spaces, these topological properties are preserved under finite topological products. We also show that the product of separable spaces is weakly Lindelöf.


---

## Body

## 1. Introduction

In 1959 Frolík [1] introduced the notion of weakly Lindelöf space that afterward was studied by several authors. In 1982 Balasubramanian [2] introduced and studied the notion of nearly Lindelöf spaces as a generalization of the nearly compact spaces; then in 1986 Mršević et al. [3] gave some characterizations of these spaces. In 1984 Willard and Dissanayake [4] gave the notion of almost Lindelöf spaces. In 1996 Cammaroto and Santoro [5] studied and gave further new results related to these generalizations of Lindelöf spaces, and recently the authors (see [6–8]) studied mappings and semiregular property on these generalizations of Lindelöf spaces. By using the regularly open and regularly closed sets, these structures can also be extended to the bitopological spaces; for more details on regularly pairwise open and closed sets see, for example, [9–12].It is well known that many of the results on the invariance of covering properties under product are negative, that is, the covering properties are simply not preserved by the product unless one or more of the factors are assumed to be satisfied as additional conditions.In this work, we discuss the product problem in the sense of generalizations of Lindelöf spaces, namely, nearly Lindelöf, almost Lindelöf, and weakly Lindelöf spaces. We will note that a well-known example shows the properties nearly Lindelöf and almost Lindelöf are not finitely productive. We also give some necessary conditions for these covering properties to be preserved under a finite product.In this paper, we let(X,τ) be a topological space on which no separation axioms are considered unless explicitly stated. The interior and the closure of any subset A of (X,τ) will be denoted by Int(A) and Cl(A), respectively. Recall that a subset A⊆X is called regularly open (regularly closed) if A=Int(Cl(A))(A=Cl(Int(A))). The topology generated by regularly open subsets of a space (X,τ) is called the semiregularization of the space (X,τ) and is denoted by (X,τ*) or simply by X*. A space (X,τ) is said to be semiregular if the regularly open sets form a base for the topology or equivalently τ=τ*. By regularly open cover of X we mean a cover of X by regularly open sets in (X,τ). Moreover, a space X is called a P-space if every Gδ-set is open in X, and it is called nearly compact [13] if every open cover {Uα:α∈Δ} of X admits a finite subfamily such that X=⋃k=1nInt(Cl(Uk)) or, equivalently, every regularly open cover of X has a finite subcover.Recall also that a functionf from a topological space X to a topological space Y is called R-map [14] (almost continuous [15]) if f-1(V) is regularly open (open) in X for every regularly open set V in Y. It is called θ-continuous [16] if for every x∈X and every open subset V of Y containing f(x), there exists an open subset U in X containing x such that f(Cl(U))⊆Cl(V). Moreover, f is called almost open [15] if f(U) is open in Y for every regularly open subset U in X, and it is called almost closed [15] if f(C) is closed in Y for every regularly closed subset C in X.


## 2. Preliminaries

It is known that a nonempty product space∏α∈ΔXα is Hausdorff (regular, completely regular, resp.) if and only if each factor space Xα is Hausdorff (regular, completely regular, resp.). A nonempty product space ∏α∈ΔXα is compact if and only if each factor space Xα is compact. Moreover, the product of a paracompact space with a compact T2-space is paracompact. However, products of normal, paracompact, or Lindelöf spaces often fail to be normal, paracompact, or Lindelöf, respectively. Note that a space X is a P-space if and only if the countable union of closed sets is closed if and only if the countable intersection of open sets is open.It is well known that the product of two Lindelöf spaces is not necessarily Lindelöf since the Sorgenfrey lineE is Lindelöf but the Sorgenfrey plane E×E is not Lindelöf. In 1972, Misra [17] proved that, in T1-spaces, finite product of P-spaces is a P-space and no infinite product of P-spaces with more than one point is a P-space. We note that Misra's result for T1-spaces, that finite product of P-spaces is a P-space, also holds for arbitrary spaces. Misra [17] also proved that the product of two Lindelöf P-spaces is a Lindelöf P-space. Thus, in P-spaces, finite product of Lindelöf spaces is Lindelöf. The following proposition shows that it is sufficient that one of the two spaces is a P-space, to ensure that their product is Lindelöf. In fact, for T1-spaces, this result is an immediate corollary to Misra's Theorem 2.1 and Proposition 4.2(g) in [17].Proposition 2.1.
Let(X,τ) be a Lindelöf P-space and (Y,σ) a Lindelöf space. Then (X×Y,τ×σ) is Lindelöf.Proof.
Let𝒰={Tα×Uα:α∈Δ} be an open cover of X×Y; Let x∈X; then for each y∈Y, there exists Tα(x)y∈τ and Uα(x)y∈σ such that (x,y)∈Tα(x)y×Uα(x)y. The subspace Sx={x}×Y of X×Y is a homeomorphic copy of the Lindelöf space (Y,σ), thus it is Lindelöf. Now 𝒰 is an open cover of X×Y; hence {{x}×Uα(x)y:Uα(x)y∈σ} is an open cover of the Lindelöf space {x}×Y. Thus it has a countable subcollection {{x}×Uα(x)yn:n∈ℕ} which covers Sx. So the countable family {Tα(x)yn×Uα(x)yn:n∈ℕ} covers Sx={x}×Y. Now define Tx=⋂n∈ℕTα(x)yn. Since X is a P-space, Tx is an open subset in X. Thus {Tx×Uα(x)yn:n∈ℕ} is a countable open cover of the slab Rx=Tx×Y, and hence all the more {Tα(x)yn×Uα(x)yn:n∈ℕ} is a countable open cover of the slab Rx.
Now the collection of sets{Tx:x∈X} is an open cover of the Lindelöf space X. So it has a countable set of points {xk:k∈ℕ} such that X⊆⋃k∈ℕTxk. Thus X×Y⊆(⋃k∈ℕTxk)×Y=⋃k∈ℕ(Txk×Y)=⋃k∈ℕRxk.
Thus we have a countable collection{Rxk:k∈ℕ} of slabs covering X×Y, and for each k∈ℕ, Rxk is covered by the countable collection {Tα(xk)yn×Uα(xk)yn:n∈ℕ}. So {Tα(xk)yn×Uα(xk)yn:k,n∈ℕ} is a countable subcover of 𝒰. Thus X×Y is Lindelöf, which completes the proof.Remark 2.2.
(a) Recall that a spaceX is a weak P-space [18] if, for each countable family {Un:n∈ℕ} of open sets in X, we have Cl(⋃n∈ℕUn)=⋃n∈ℕCl(Un). Clearly, (X,τ) is a weak P-space if and only if the countable union of regularly closed sets is regularly closed if and only if the countable intersection of regularly open sets is regularly open. Moreover, a space (X,τ) is a weak P-space if and only if (X,τ*) is a P-space (see [19]). Note also that every P-space is a weak P-space but the converse is not necessarily true, since the finite complement topology on ℝ is a weak P-space but it is not a P-space.
(b) It is a known fact that the semiregularization of a product space is the product of the semiregularizations of the factor spaces.Lemma 2.3.
Finite product of weakP-spaces is a weak P-space.Proof.
We prove for only two spaces using Remark2.2. So let X and Y be two weak P-spaces. Then X* and Y* are P-spaces. Thus X*×Y*=(X×Y)* is a P-space. Therefore, X×Y is a weak P-space.Note that infinite product of weakP-spaces is not necessarily a weak P-space, since if X is any discrete space containing more than one point and A is infinite; then the product space XA is not a P-space, and, since it is semiregular, it cannot be a weak P-space either.


## 3. On Generalized Lindelöf Spaces

Definition 3.1 (see [1, 2, 4]).
A topological spaceX is called nearly Lindelöf, almost Lindelöf, and weakly Lindelöf if, for every open cover {Uα:α∈Δ} of X, there exists a countable subset {αn:n∈ℕ}⊆Δ such that
(3.1)X=⋃n∈NInt(Cl(Uαn)),X=⋃n∈NCl(Uαn),X=Cl(⋃n∈NUαn),
respectively.One can easily show that if a space is semiregular and nearly Lindelöf (or regular and almost Lindelöf), then it is Lindelöf. And it is well known that the Sorgenfrey lineE is regular and Lindelöf, but the Sorgenfrey plane E×E is not Lindelöf. Thus, neither of the properties almost Lindelöf and nearly Lindelöf is finitely productive.The following proposition shows that if the product of topological spaces has any property of Definition3.1, then each factor space has the same property.Proposition 3.2.
Suppose thatXα is a nonempty topological space. If ∏α∈ΔXα is nearly Lindelöf (resp., almost Lindelöf or weakly Lindelöf), then Xα is nearly Lindelöf (resp., almost Lindelöf or weakly Lindelöf).Proof.
Since the projection mapπα:∏Xα→Xα is a continuous and open function from ∏Xα onto Xα, it is almost continuous and almost open. Thus πα is θ-continuous and R-map (see [20, 21]). Therefore, Xα is nearly Lindelöf, almost Lindelöf, and weakly Lindelöf (see [7, Corollary  3.1], [8, Corollary  3.3], and [22, Theorem  3.2], resp.).In [5], it was shown that the product of a nearly Lindelöf space with a nearly compact space is nearly Lindelöf. Next we prove analogous results concerning almost Lindelöf and weakly Lindelöf spaces.Proposition 3.3.
LetX be an almost Lindelöf (weakly Lindelöf) space and Y a nearly compact space. Then X×Y is almost Lindelöf (weakly Lindelöf).Proof.
The proof of Proposition3.3 is similar to the proof of an analogous result for nearly Lindelöf spaces (see [5, Proposition  1.9]).Note that a space(X,τ) is nearly Lindelöf if and only if (X,τ*) is Lindelöf (see [3, Theorem  1]). Thus, using this fact, the proof of the following theorem becomes easy.Theorem 3.4.
The product of a nearly Lindelöf weakP-space with a nearly Lindelöf space is nearly Lindelöf.Proof.
LetX be a nearly Lindelöf weak P-space and Y nearly Lindelöf. Thus, by Remark 2.2(a), X* is a Lindelöf P-space and Y* is Lindelöf. So, by Proposition 2.1, X*×Y*=(X×Y)* is Lindelöf. Therefore, X×Y is nearly Lindelöf.Now on using Theorem3.4 and Lemma 2.3, we conclude the following corollary.Corollary 3.5.
The product of finitely many nearly Lindelöf spaces, all but one of which are weakP-spaces, is nearly Lindelöf.Next we prove that the result in Theorem3.4 above is correct for almost Lindelöf and weakly Lindelöf spaces.Theorem 3.6.
The product of an almost Lindelöf weakP-space X with an almost Lindelöf space Y is almost Lindelöf.Proof.
Since almost Lindelöf property is a semiregular property, that is, a space(X,τ) is almost Lindelöf if and only if (X,τ*) is almost Lindelöf (see [6, Theorem  2.1]), it is sufficient to prove that X*×Y* is almost Lindelöf. Thus let {Uα:α∈Δ} be an open cover of X*×Y*, and, without loss of generality, suppose that Uα=Vα×Wα for every α∈Δ where Vα is regularly open in X and Wα is regularly open in Y. Fix x∈X, and, for each y(x)∈Y, there exists αy(x)∈Δ such that (x,y(x))∈Vαy(x)×Wαy(x).
Now{Wαy(x):y(x)∈Y} is an open cover of the almost Lindelöf space Y, so it has a countable subset {Wαyn(x):n∈ℕ} such that Y=⋃n∈ℕCl(Wαyn(x)). Put Hx=⋂n∈ℕVαyn(x). Since X is a weak P-space, Hx is a regularly open set in X. Thus {Hx:x∈X} is an open cover of the almost Lindelöf space X, so it has a countable subset {Hxm:m∈ℕ} such that X=⋃m∈ℕCl(Hxm). Therefore,(3.2)X×Y=⋃m∈NCl(Hxm)×⋃n∈NCl(Wαyn(x))=⋃m,n∈N(Cl(Hxm)×Cl(Wαyn(x)))⊆⋃m,n∈NCl(Vαyn(xm)×Wαyn(x))⊆⋃m,n∈NCl(Vαyn(xm)×Wαyn(xm))=⋃m,n∈NCl(Uαyn(xm)).
Since the last term is countable, thus X*×Y*=(X×Y)* is also almost Lindelöf and therefore X×Y is almost Lindelöf.Corollary 3.7.
The product of finitely many almost Lindelöf spaces, all but one of which are weakP-spaces, is almost Lindelöf.For weakly Lindelöf spaces we give the following results.Theorem 3.8.
The product of a weakly Lindelöf weakP-space X with a weakly Lindelöf space Y is weakly Lindelöf.Proof.
The proof of Theorem3.8 is similar to the proof of Theorem 3.6, thus the details are omitted.Corollary 3.9.
The product of finitely many weakly Lindelöf spaces, all but one of which are weakP-spaces, is weakly Lindelöf.Next we prove that the product of separable spaces is weakly Lindelöf. First we recall that a spaceX is called separable if it has a countable dense subset, and one says that X has caliber ℵ1 if, whenever 𝒰 is a family of open subsets of X with |𝒰|=ℵ1, a subfamily 𝒱 of 𝒰 exists with |𝒱|=ℵ1 and ⋂{V:V∈𝒱}≠∅. One also says that X satisfies the countable chain condition if every family of disjoint open subsets of X is countable. Moreover, X is called almost rc-Lindelöf [23] if every regularly closed cover of X has a countable subfamily whose union is dense in X.Theorem 3.10.
The product of separable spaces is weakly Lindelöf.Proof.
Let{Xα:α∈Δ} be a family of separable spaces. Then ∏Xα has caliber ℵ1. Thus ∏Xα satisfies the countable chain condition. So, ∏Xα is an almost rc-Lindelöf space (see [23, Proposition  2.2]). Therefore, ∏Xα is weakly Lindelöf (see [23, Theorem  2.1]).Note that the product of two separable Lindelöf spaces need not be almost Lindelöf, since the Sorgenfrey lineE is separable, but E×E is not almost Lindelöf since it is a regular non-Lindelöf space.Since in weakP-spaces, for any countable open subsets {Un:n∈ℕ} of X, we have Cl(⋃n∈ℕUn)=⋃n∈ℕCl(Un). Thus we conclude the following lemma.Lemma 3.11.
In weakP-spaces, weakly Lindelöf property and almost Lindelöf property are equivalent.So depending on Theorem3.6 we conclude the following corollaries.Corollary 3.12.
IfX is a weakly Lindelöf weak P-space and Y is almost Lindelöf, then X×Y is almost Lindelöf.Corollary 3.13.
In weakP-spaces, finite product of weakly Lindelöf spaces is almost Lindelöf.



---

*Source: 843480-2011-04-06.xml*