Arxiv:1904.02445V1 [Math.GN] 4 Apr 2019 Hogotti Ae,Alsae ( Spaces All Paper, This Throughout R Aifigpiws Eieua Nain Properties

arXiv:1904.02445v1 [math.GN] 4 Apr 2019 hogotti ae,alsae ( spaces all paper, this Throughout r aifigpiws eieua nain properties. invariant semiregular pairwise satisfying are rpris eas hwta ( that show also We properties. o ariesmrglrpoete.Wie( While properties. semiregular pairwise not delöf, ( Lindelöf, ( oooia pcsadbtplgclsae,rsetvl nese unless respectively spaces, bitopological and spaces topological eeaie arieLne¨fsae,ta ehv tde n[6 9, [16, in a semiregular studied 15] pairwise have [14, study we to al. that is ( et Lindelöf spaces, paper Mrsevic pairwise this by of generalized studied purpose research The this Kılı¸cman to [3]. m by related studied them been have of spaces topological in properties Semiregular oooia rpry hn( then property, topological a oeie ( sometimes lotLne¨f arieams idlo,( Lindelöf, almost pairwise Lindelöf, almost ocac o ofso.By confusion. for chance no n fteetrebtplgclaaou.As sometimes Also analogue. bitopological three these of one P eieua property. semiregular property ⇐⇒ P ie h rfie ( prefixes the times esin sets ,j i, i.e., , 2010 Date h anrslsi htteLindelöf, the that is results main The e od n phrases. and words Key lont ht( that note Also -eryLne¨f arienal idlo,( Lindelöf, nearly Lindelöf, pairwise )-nearly ARIESMRGLRPOETE NGENERALIZED ON PROPERTIES SEMIREGULAR PAIRWISE aur 8 2019. 28, January : ,j i, X τ ahmtc ujc Classification. Subject Mathematics p iesmrglrzto.Te ioooia property bitopological a Then semiregularization. wise Abstract. eryLne¨f arienal Lindelöf, ( nearly Lindelöf, pairwise nearly e¨ f (delöf, lrpoie ht( that provided ular a h aepoet.I hswr esuypiws semireg pairwise study we work this In property. same the has ( arieLne¨fsaewihaentpiws semiregula pairwise not are t which Lindelöf on space pairwise properties, semiregular pairwise Lindelöf are weakly 1 ,j i, iia o h ( the for similar ; - P - -ekyLne¨fadpiws ekyLne¨fsae r aries pairwise are Lindelöf spaces weakly pairwise Lindelöf and )-weakly P ∧ P ,j i, -lotLne¨f arieams Lindelöf, ( almost Lindelöf, pairwise )-almost τ ihrsetto respect with eoe naslt ioooia nlgeof analogue bitopological absolute an denotes -ekyLne¨fadpiws ekyLindelöf spaces. weakly pairwise Lindelöf and )-weakly 1 τ , ,j i, τ 2 2 - -ekyLne¨fadpiws ekyLne¨fsae.W Lindelöf spaces. weakly pairwise Lindelöf and )-weakly P )- e ( Let ,τ X, ⇐⇒ P τ .. ( i.e., , i τ , ,τ X, i j a property a has ) ARIELINDEL PAIRWISE ioooia pc,( space, Bitopological -or )- ,τ X, ,τ X, ,j i, 1 ( τ , τ τ i -eua pncvrof cover open )-regular 1 2 2 oe oe of cover -open j τ τ τ , i eabtplgclsaeand space bitopological a be ) τ , and , a property has ) i i ,j i, τ , 2 ilb elcdb ( by replaced be will - 1 a h property the has ) )- j 2. Lindelöf spaces nearly pairwise Lindelöf and )-nearly 1. ,τ X, )- AII SALLEH ZABIDIN P P p Preliminaries Introduction adthus (and - 40,5A0 42,5E5. 54E55 54D20, 54A10, 54A05, ,j i, P n ( and ) eoe naaou fti rpryfor property this of analogue an denotes B -ekyLne¨f ariewal idlo,pairwise Lindelöf, weakly pairwise Lindelöf, )-weakly ⇐⇒ P eoe h ojnto ( conjunction the denotes -Lindelöf, ,j i, 1 ,j i, X ,j i, -eryLne¨f arienal Lindelöf, ( nearly Lindelöf, pairwise )-nearly P ,τ X, -lotLne¨f arieams Lin- almost Lindelöf, pairwise )-almost ema httecvrof cover the that mean we , -lotLne¨f arieams Lin- almost Lindelöf, pairwise )-almost FSPACES OF ( o each for ¨ ⇔ ,τ X, ,j i, P ,j i, 1 τ , fadol if only and if s p X -lotLne¨f ariealmost Lindelöf, pairwise )-almost -ekyLne¨fadpairwise Lindelöf and )-weakly -Lindelöf and - 1 2 P ,j i, τ , o simply (or ) t.By etc. P ota tsffie oconsider to suffices it that so ) ecnrr fec yeof type each of contrary he 2 i -or )- properties. r scle ariesemireg- pairwise called is a property a has ) ,τ X, 1 = P lrpoet f( of property ular τ (1 s sw hl e below, see shall we As . , i 1 , i 2. epciey fteeis there if respectively, - 2) - it( -int piil ttd If stated. xplicitly ⇐⇒ P τ , ,τ X, n oooit Some topologist. any p (2 s X τ Lne¨fsae are -Lindelöf spaces rv that prove e , A dFwkrhand Fawakhreh nd 1 (1 s 1) r lasmean always are ) τ , , and ) 2) 7 3,namely, 13], 17, 2 t pair- its τ , τ )- 2 rprison properties (2 s ∧ P - τ X ,j i, P , i i 1) emiregular - c ( -cl P )- by n thus and ( Some- . τ A i τ 2 -open i τ , ,we ), P ,j i, has 1 )- is )- 2 ZABIDIN SALLEH shall mean the interior and the closure of a subset A of X with respect to topology τ i, respectively. In this paper always i, j ∈{1, 2} and i 6= j. The reader may consult [2] for the detail notations. The following are some basic concepts.

Deﬁnition 2.1. [6, 19] A subset S of a bitopological space (X, τ 1, τ 2) is said to be (i, j)- regular open (resp. (i, j)-regular closed) if i-int (j- cl (S)) = S (resp. i-cl (j- int (S)) = S), where i, j ∈{1, 2} ,i 6= j. S is called pairwise regular open (resp. pairwise regular closed) if it is both (1, 2)-regular open and (2, 1)-regular open (resp. (1, 2)-regular closed and (2, 1)-regular closed).

Deﬁnition 2.2. [6, 20] A bitopological space (X, τ 1, τ 2) is said to be (i, j)-almost regular if for each point x ∈ X and for each (i, j)-regular open set V containing x, there exists an (i, j)-regular open set U such that x ∈ U ⊆ j-cl (U) ⊆ V . X is called pairwise almost regular if it is both (1, 2)-almost regular and (2, 1)-almost regular.

In any bitopological space (X, τ 1, τ 2), the family of all (i, j)-regular open sets is closed under ﬁnite intersections. Thus the family of (i, j)-regular open sets in any bitopological space (X, τ 1, τ 2) forms a base for a coarser topology called (i, j)-semiregularization of (X, τ 1, τ 2), which is deﬁned as follows.

Deﬁnition 2.3. [16] The topology generated by the (i, j)-regular open subsets of (X, τ 1, τ 2) s is denoted by τ (i,j) and it is called (i, j)-semiregularization of X. The topologies is pairwise semiregularization of X if the ﬁrst topology is (1, 2)-semiregularization of X and s the second topology is (2, 1)-semiregularization of X. If τ i ≡ τ (i,j), then X is said to be (i, j)-semiregular. (X, τ 1, τ 2) is called pairwise semiregular if it is both (1, 2)-semiregular s and (2, 1)-semiregular, that is, whenever τ i ≡ τ (i,j) for each i, j ∈ {1, 2} and i 6= j. In other words, (X, τ 1, τ 2) is (i, j)-semiregular if the family of (i, j)-regular open sets form a base for the topology τ i. s s It is very clear that τ (i,j) ⊆ τ i, but it is not necessary τ i ⊆ τ (i,j). Thus with every given bitopological space (X, τ 1, τ 2) there is associated another bitopological space s s X, τ (1,2), τ (2,1) in the manner described above (see [19]). We provide the following example in order to understand the concept of pairwise semiregular spaces clearly.

Example 2.1. For the set of all real numbers R, let τ u denotes the usual topology and τ s denote the Sorgenfrey topology, i.e., topology generated by right half-open intervals see . Then R, τ , τ is τ , τ -semiregular since τ τ s , i.e., τ generated ( [21]) ( u s) ( u s) u = (τ u,τ s) u by (τ u, τ s)-regular open subsets of R. (R, τ u, τ s) is also (τ s, τ u)-semiregular since τ s = τ s because any set E τ is the union of a collection of τ , τ -regular open sets (τ s,τ u) ∈ s ( s u) in R. Thus (R, τ u, τ s) is pairwise semiregular. Khedr and Alshibani [6] defined the equivalent definition of (i, j)-semiregular spaces as follows. Definition 2.4. A bitopological space X is said to be (i, j)-semiregular if for each x ∈ X and for each i-open subset V of X containing x, there is an i-open set U such that x ∈ U ⊆ i-int (j- cl (U)) ⊆ V . X is called pairwise semiregular if it is both (1, 2)- semiregular and (2, 1)-semiregular.

Deﬁnition 2.5. [1] A bitopological space (X, τ 1, τ 2) is said to be (i, j)-extremally disconnected if the i-closure of every j-open set is j-open. X is called pairwise extremally disconnected if it is both (1, 2)-extremally disconnected and (2, 1)-extremally disconnected. Recall that a property P will be called bitopological property (resp. p-topological property) if whenever (X, τ 1, τ 2) has property P, then every space homeomorphic (resp. PAIRWISESEMIREGULARPROPERTIES 3 p-homeomorphic) to (X, τ 1, τ 2) also has property P (see [8]). If a bitopological space X has bitopological (or p-topological) property P, one may ask, does the pairwise semiregularization of X satisﬁes the property P also? Now we arrive to the concept of pairwise semiregular property.

s s Deﬁnition 2.6. Let (X, τ 1, τ 2) be a bitopological space and let X, τ (1,2), τ (2,1) its pairwise semiregularization. A bitopological property P is called pairwise semiregular s s provided that (X, τ 1, τ 2) has the property P if and only if X, τ (1,2), τ (2,1) has the property P.

s s Lemma 2.1. [16] Let (X, τ 1, τ 2) be a bitopological space and let X, τ (1,2), τ (2,1) its pairwise semiregularization. Then s (a) τ i-int (C)= τ (i,j)-int (C) for every τ j -closed set C; s (b) τ i-cl(A)= τ (i,j)-cl(A) for every A ∈ τ j ; (c) the family of (τ i, τ j )-regular open sets of (X, τ 1, τ 2) are the same as the family of s s s s τ (i,j), τ (j,i) -regular open sets of X, τ (1,2), τ (2,1) ; (d) the family of (τ i, τ j )-regular closed sets of (X, τ 1, τ 2) are the same as the family of s s s s τ (i,j), τ (j,i) -regular closed sets of X, τ (1,2), τ (2,1) ; s s s (e) τ (i,j) = τ (i,j). (i,j) 3. Pairwise Semiregularization of Pairwise Lindel¨of Spaces

Definition 3.1. [5, 7]. A bitopological space (X, τ 1, τ 2) is said to be i-Lindelöf if the topological space (X, τ i) is Lindelöf. X is called Lindelöf if it is i-Lindelöf for each i =1, 2. In other words, (X, τ 1, τ 2) is called Lindelöf if the topological space (X, τ 1) and (X, τ 2) are both Lindelöf. Note that i-Lindelöf property as well as Lindelöf property is not a pairwise semiregular property by the following example.

c Example 3.1. Let X be a set with cardinality 2 , where c = card(R). Let τ 1 be a co-c topology on X consisting of ∅ and all subsets of X whose complements have cardinality at most c and let τ 2 be a cofinite topology on X. Then (X, τ 1, τ 2) is τ 2-Lindelöf but not s s s τ 1-Lindelöf and hence not Lindelöf. Observe that X, τ (1,2), τ (2,1) is τ (1,2)-Lindelöf and s s s s s τ (2,1)-Lindelöf since τ (1,2) and τ (2,1) are indiscrete topologies. Hence X, τ (1,2), τ (2,1) is Lindelöf.

Definition 3.2. A bitopological space (X, τ 1, τ 2) is called (i, j)-Lindelöf [5, 7] if for every i-open cover of X there is a countable j-open subcover. X is called B-Lindelöf [5] or p1-Lindelöf [7] if it is both (1, 2)-Lindelöf and (2, 1)-Lindelöf. An (i, j)-Lindelöf property as well as B-Lindelöf property is not pairwise semiregular property by the following example.

Example 3.2. Let (X, τ 1, τ 2) be a bitopological space as in Example 3.1. Then (X, τ 1, τ 2) is not (τ 1, τ 2)-Lindelöf but it is (τ 2, τ 1)-Lindelöf and hence not B-Lindelöf. Observe that s s s s s s s X, τ (1,2), τ (2,1) is τ (1,2), τ (2,1) -Lindelöf and τ (2,1), τ (1,2) -Lindelöf since τ (1,2) and s s s τ (2,1) are indiscrete topologies. Hence X, τ (1,2), τ (2,1) is B-Lindelöf. 4 ZABIDIN SALLEH

Deﬁnition 3.3. A cover U of a bitopological space (X, τ 1, τ 2) is called τ 1τ 2-open [22] if U ⊆ τ 1 ∪ τ 2. If, in addition, U contains at least one nonempty member of τ 1 and at least one nonempty member of τ 2, it is called p-open [4].

Definition 3.4. [5] A bitopological space (X, τ 1, τ 2) is called s-Lindelöf (resp. p- Lindelöf) if every τ 1τ 2-open (resp. p-open) cover of X has a countable subcover. A p-Lindelöf property is not pairwise semiregular property by the following example. Thus the s-Lindelöf property is also not pairwise semiregular property.

Example 3.3. Let (X, τ 1, τ 2) be a bitopological space as in Example 3.1. Then (X, τ 1, τ 2) s s is not p-Lindelöf and hence not s-Lindelöf. Observe that X, τ (1,2), τ (2,1) is p-Lindelöf s s and s-Lindelöf since τ (1,2) and τ (2,1) are indiscrete topologies. 4. Pairwise Semiregularization of Generalized Pairwise Lindelöf Spaces Definition 4.1. [16, 9, 13] A bitopological space X is said to be (i, j)-nearly Lindelöf (resp. (i, j)-almost Lindelöf, (i, j)-weakly Lindelöf) if for every i-open cover {Uα : α ∈ ∆} of X, there exists a countable subset {αn : n ∈ N} of ∆ such that X = i-int (j- cl (Uαn )) n∈N [

resp. X = j- cl (Uαn ) , X = j- cl (Uαn ) . X is called pairwise nearly Lin- n∈N n∈N !! delöf (resp. pairwise[ almost Lindelöf, pairwise[ weakly Lindelöf) if it is both (1, 2)-nearly Lindelöf (resp. (1, 2)-almost Lindelöf, (1, 2)-weakly Lindelöf) and (2, 1)-nearly Lindelöf (resp. (2, 1)-almost Lindelöf, (2, 1)-weakly Lindelöf). Our first result is analogue with the result of Mrˇsevićet al. [15, Theorem 1].

Theorem 4.1. A bitopological space (X, τ 1, τ 2) is (τ i, τ j )-nearly Lindelöf if and only if s s s X, τ (1,2), τ (2,1) is τ (i,j)-Lindelöf. s Proof. Let (X, τ 1, τ 2)bea(τ i, τ j )-nearly Lindelöf and let {Uα : α ∈ ∆} be a τ (i,j)-open s s cover of X, τ (1,2), τ (2,1) . For each x ∈ X, there exists αx ∈ ∆ such that x ∈ Uαx s and since for each αx ∈ ∆,Uαx ∈ τ (i,j), there exists a (τ i, τ j )-regular open set Vαx in

(X, τ 1, τ 2) such that x ∈ Vαx ⊆ Uαx . So X = Vαx and hence {Vαx : x ∈ X} is a x∈X (τ i, τ j )-regular open cover of X. Since (X, τ 1, τ 2[) is (τ i, τ j )-nearly Lindelöf, there exists a countable subset of points x1,...,xn,... of X such that X = Vαx ⊆ Uαx . n∈N n n∈N n s s s [ [ This shows that X, τ (1,2), τ (2,1) is τ (i,j)-Lindelöf. s s s Conversely, suppose that X, τ (1,2), τ (2,1) is τ (i,j)-Lindelöf and let {Vα : α ∈ ∆} be a s (τ i, τ j )-regular open cover of (X, τ 1, τ 2). Since Vα ∈ τ (i,j) for each α ∈ ∆, {Vα : α ∈ ∆} s s s s s s is a τ (i,j)-open cover of X, τ (1,2), τ (2,1) . Since X, τ (1,2), τ (2,1) is τ (i,j)-Lindelöf, there exists a countable subcover such that X = Vαn . This implies that (X, τ 1, τ 2) is n∈N (τ i, τ j )-nearly Lindelöf. [

Corollary 4.1. A bitopological space (X, τ 1, τ 2) is pairwise nearly Lindelöf if and only s s if X, τ (1,2), τ (2,1) is Lindelöf. s s s s Proposition 4.1. A bitopological space X, τ (1,2), τ (2,1) is τ (i,j), τ (j,i) -nearly Lin- s s s delöf if and only if X, τ (1,2), τ (2,1) is τ (i,j)-Lindelöf. PAIRWISESEMIREGULARPROPERTIES 5

Proof. The sufficient condition is obvious by the definitions. So we need only to prove s s s necessary condition. Suppose that {Uα : α ∈ ∆} is a τ (i,j)-open cover of X, τ (1,2), τ (2,1) . s s For each x ∈ X, there exists αx ∈ ∆ such that x ∈ Uαx . Since X, τ (1,2), τ (2,1) is s s s s s τ (i,j), τ (j,i) -semiregular, there exists a τ (i,j)-open set Vαx in X, τ (1,2), τ (2,1) such that s s x ∈ Vαx ⊆ τ -int τ -cl(Vαx ) ⊆ Uαx . Hence X = Vαx and thus the family (i,j) (j,i) x∈X s s s [ s s {Vαx : x ∈ X} forms a τ (i,j)-open cover of X, τ (1,2), τ (2,1) . Since X, τ (1,2), τ (2,1) is s s τ (i,j), τ (j,i) -nearly Lindelöf, there exists a countable subset of points x1,...,xn,... s s of X such that X = τ -int τ - cl Vαx ⊆ Uαx . This shows that n∈N (i,j) (j,i) n n∈N n s s s[ [ X, τ (1,2), τ (2,1) is τ (i,j)-Lindelöf. s s Corollary 4.2. A bitopological space X, τ (1,2), τ (2,1) is pairwise nearly Lindelöf if and s s only if X, τ (1,2), τ (2,1) is Lindelöf. From the Definition 2.6, if the property P is not bitopological property but it satisfies s s the condition (X, τ 1, τ 2) has the property P if and only if X, τ (1,2), τ (2,1) has the property P, then the property P will be called pairwise semiregular invariant property. The following theorem prove that (i, j)-nearly Lindelöf as well as pairwise nearly Lindelöf property satisfying the pairwise semiregular invariant property since (i, j)-nearly Lindelöf and pairwise nearly Lindelöf are not i-topological property [8] and bitopological property, respectively. This is because the i-continuity and (i, j)-δ-continuity (resp. continuity and p-δ-continuity) are independent notions (see [12]).

Theorem 4.2. A bitopological space (X, τ 1, τ 2) is (τ i, τ j )-nearly Lindel¨of if and only if s s s s X, τ (1,2), τ (2,1) is τ (i,j), τ (j,i) -nearly Lindel¨of. Proof. It is obvious by Theorem 4.1 and Proposition 4.1.

Corollary 4.3. A bitopological space (X, τ 1, τ 2) is pairwise nearly Lindelöf if and only s s if X, τ (1,2), τ (2,1) is pairwise nearly Lindelöf. s s Theorem 4.3. [19] If (X, τ 1, τ 2) is pairwise semiregular, then (X, τ 1, τ 2)= X, τ (1,2), τ (2,1) . The converse of Theorem 4.3 is also true by the definitions.

Proposition 4.2. Let (X, τ 1, τ 2) be a pairwise semiregular space. Then (X, τ 1, τ 2) is (i, j)-nearly Lindel¨of if and only if it is i-Lindel¨of.

s s Proof. By Theorem 4.3, (X, τ 1, τ 2)= X, τ (1,2), τ (2,1) . The result follows immediately by Proposition 4.1.

Corollary 4.4. Let (X, τ 1, τ 2) be a pairwise semiregular space. Then (X, τ 1, τ 2) is pairwise nearly Lindelöf if and only if it is Lindelöf. Unlike all types of pairwise Lindelöf properties, the (i, j)-almost Lindelöf, pairwise almost Lindelöf, (i, j)-weakly Lindelöf and pairwise weakly Lindelöf properties are pairwise semiregular properties as we prove in the following theorems.

Theorem 4.4. A bitopological space (X, τ 1, τ 2) is (τ i, τ j )-almost Lindel¨of if and only if s s s s X, τ (1,2), τ (2,1) is τ (i,j), τ (j,i) -almost Lindel¨of. 6 ZABIDIN SALLEH

s Proof. Let (X, τ 1, τ 2)bea(τ i, τ j )-almost Lindelöf and let {Uα : α ∈ ∆} be a τ (i,j)-open s s s cover of X, τ (1,2), τ (2,1) . Since τ (i,j) ⊆ τ i, {Uα : α ∈ ∆} is a τ i-open cover of the (τ i, τ j )-almost Lindelöf space (X, τ 1, τ 2). Then there is a countable subset {αn : n ∈ N} s of ∆ such that X = τ j -cl(Uαn ). By Lemma 2.1, we have X = τ -cl(Uαn ), n∈N n∈N (j,i) [s s s s [ which implies X, τ (1,2), τ (2,1) is τ (i,j), τ (j,i) -almost Lindelöf. s s s s Conversely suppose that X, τ (1,2), τ (2,1) is τ (i,j), τ (j,i) -almost Lindelöf and let {Vα : α ∈ ∆} be a τ i-open cover of (X, τ 1, τ2). Since Vα ⊆ τ i-int (τ j -cl(Vα)) and τ i- s s int (τ j -cl(Vα)) ∈ τ (i,j), we have {τ i- int (τ j -cl(Vα)) : α ∈ ∆} is a τ (i,j)-open cover of the s s s s τ (i,j), τ (j,i) -almost Lindelöf space X, τ (1,2), τ (2,1) . So there is a countable subset N s {αn : n ∈ }of ∆ such that X = τ -cl(τ i- int (τ j -cl(Vαn ))). By Lemma 2.1, n∈N (j,i) we have X = τ j -cl(τ i- int (τ[j -cl(Vαn ))) ⊆ τ j -cl(Vαn ). This implies that n∈N n∈N (X, τ 1, τ 2) is (τ[i, τ j )-almost Lindelöf. [

Corollary 4.5. A bitopological space (X, τ 1, τ 2) is pairwise almost Lindelöf if and only s s if X, τ (1,2), τ (2,1) is pairwise almost Lindelöf. Note that, the (i, j)-almost Lindelöf property and the pairwise almost Lindelöf property are both bitopological properties (see [18]). Utilizing this fact, Theorem 4.4 and Corollary 4.5, we easily obtain the following corollary. Corollary 4.6. The (i, j)-almost Lindelöf property and the pairwise almost Lindelöf property are both pairwise semiregular properties.

Proposition 4.3. Let (X, τ 1, τ 2) be a (τ i, τ j )-almost regular space. Then (X, τ 1, τ 2) is s s s (τ i, τ j )-almost Lindel¨of if and only if X, τ (1,2), τ (2,1) is τ (i,j)-Lindel¨of.

s Proof. Let (X, τ 1, τ 2)bea(τ i, τ j )-almost Lindelöf and let {Uα : α ∈ ∆} be a τ (i,j)-open s s cover of X, τ (1,2), τ (2,1) . For each x ∈ X, there exists αx ∈ ∆ such that x ∈ Uαx and s since Uαx ∈ τ (i,j), there exists a (τ i, τ j )-regular open set Vαx in (X, τ 1, τ 2) such that x ∈ Vαx ⊆ Uαx . Since (X, τ 1, τ 2) is (τ i, τ j )-almost regular, there is a (τ i, τ j )-regular open set Cαx in (X, τ 1, τ 2) such that x ∈ Cαx ⊆ τ j -cl(Cαx ) ⊆ Vαx . Hence X = Cαx x∈X and thus the family {Cαx : x ∈ X} forms a (τ i, τ j )-regular open cover of ([X, τ 1, τ 2). Since (X, τ 1, τ 2) is (τ i, τ j )-almost Lindelöf, there exists a countable subset of points x1,...,xn,... of X such that X = τ j -cl Cαx ⊆ Vαx ⊆ Uαx . n∈N n n∈N n n∈N n s s [s [ s [ s This shows that X, τ (1,2), τ (2,1) is τ (i,j)-Lindelöf. Conversely, let X, τ (1,2), τ (2,1) be s a τ (i,j)-Lindelöf and let {Uα : α ∈ ∆} be a τ i-open cover of (X, τ 1, τ 2). Since Uα ⊆ τ i- s s int (τ j -cl(Uα)) and τ i-int (τ j -cl(Uα)) ∈ τ (i,j), {τ i- int (τ j -cl(Uα)) : α ∈ ∆} is τ (i,j)-open s s s cover of the τ (i,j)-Lindelöf space X, τ (1,2), τ (2,1) . Then there exists a countable subset N {αn : n ∈ } of ∆ such that X = τ i-int (τj -cl(Uαn )) ⊆ τ j -cl(Uαn ). This n∈N n∈N implies that (X, τ 1, τ 2) is (τ i, τ j )-almost[ Lindelöf. [

Corollary 4.7. Let (X, τ 1, τ 2) be a pairwise almost regular space. Then (X, τ 1, τ 2) is s s pairwise almost Lindel¨of if and only if X, τ (1,2), τ (2,1) is Lindel¨of. PAIRWISESEMIREGULARPROPERTIES 7

s s s s Proposition 4.4. Let X, τ (1,2), τ (2,1) be a τ (j,i), τ (i,j) -extremally disconnected space. s s s s s s Then X, τ (1,2), τ (2,1) is τ (i,j), τ (j,i) -almost Lindelöf if and only if X, τ (1,2), τ (2,1) s is τ (i,j)-Lindelöf. Proof. The sufficient condition is obvious by the definitions. So we need only to prove s s s necessary condition. Suppose that {Uα : α ∈ ∆} is a τ (i,j)-open cover of X, τ (1,2), τ (2,1) . s s For each x ∈ X, there exists αx ∈ ∆ such that x ∈ Uαx . Since X, τ (1,2), τ (2,1) is s s s s s τ (i,j), τ (j,i) -semiregular, there exists a τ (i,j)-open set Vαx in X, τ (1,2), τ (2,1) such that s s x ∈ Vαx ⊆ τ -int τ -cl(Vαx ) ⊆ Uαx . Hence X = Vαx and thus the family (i,j) (j,i) x∈X s s s [ s s {Vαx : x ∈ X} forms a τ (i,j)-open cover of X, τ (1,2), τ (2,1) . Since X, τ (1,2), τ (2,1) is s s s s τ (i,j), τ (j,i) -almost Lindelöf and τ (j,i), τ (i,j) -extremally disconnected, there exists a s countable subset of points x1,...,xn,... of Xsuch that X = τ -cl Vαx = n∈N (j,i) n s s s s τ -int τ - cl Vαx ⊆ Uαx . This shows that[ X, τ , τ is n∈N (i,j) (j,i) n n∈N n (1,2) (2,1) τ s -Lindelöf. [(i,j) [

s s Corollary 4.8. Let X, τ (1,2), τ (2,1) be a pairwise extremally disconnected space. Then s s s s X, τ (1,2), τ (2,1) is pairwise almost Lindelöf if and only if X, τ (1,2), τ (2,1) is Lindelöf Proposition 4.5. Let (X, τ 1, τ 2) be a pairwise semiregular and (j, i)-extremally disconnected space. Then (X, τ 1, τ 2) is (i, j)-almost Lindelöf if and only if it is i-Lindelöf.

s s Proof. By Theorem 4.3, (X, τ 1, τ 2)= X, τ (1,2), τ (2,1) . The result follows immediately by Proposition 4.4.

Corollary 4.9. Let (X, τ 1, τ 2) be a pairwise semiregular and pairwise extremally disconnected space. Then (X, τ 1, τ 2) is pairwise almost Lindel¨of if and only if it is Lindel¨of.

Theorem 4.5. A bitopological space (X, τ 1, τ 2) is (τ i, τ j )-weakly Lindel¨of if and only if s s s s X, τ (1,2), τ (2,1) is τ (i,j), τ (j,i) -weakly Lindel¨of. Proof. The proof is similar to the proof of Theorem 4.4 by using the fact that s τ - cl τ i- int (τ j -cl(Vαn )) = τ j - cl τ i- int (τ j -cl(Vαn )) (j,i) n∈N n∈N [ [ ⊆ τ j - cl τ j -cl(Vαn ) n∈N [ ⊆ τ j - cl Vαn . n∈N Thus we choose to omit the details. [

Corollary 4.10. A bitopological space (X, τ 1, τ 2) is pairwise weakly Lindelöf if and only s s if X, τ (1,2), τ (2,1) is pairwise weakly Lindelöf. Note that, the (i, j)-weakly Lindelöf property and the pairwise weakly Lindelöf property are both bitopological properties (see [18]). Utilizing this fact, Theorem 4.5 and Corollary 4.10, we easily obtain the following corollary. Corollary 4.11. The (i, j)-weakly Lindelöf property and the pairwise weakly Lindelöf property are both pairwise semiregular properties. 8 ZABIDIN SALLEH

Recall that, a bitopological space X is called (i, j)-weak P -space [13] if for each countable family {Un : n ∈ N} of i-open sets in X, we have j-cl Un = j-cl (Un). X n∈N ! n∈N is called pairwise weak P -space if it is both (1, 2)-weak P -space[ and (2, 1)-weak[ P -space.

Proposition 4.6. Let (X, τ 1, τ 2) be a (τ i, τ j )-almost regular and (τ i, τ j )-weak P -space. s s s Then (X, τ 1, τ 2) is (τ i, τ j )-weakly Lindel¨of if and only if X, τ (1,2), τ (2,1) is τ (i,j)- Lindel¨of.

s s s Proof. Necessity: Let {Uα : α ∈ ∆} be a τ (i,j)-open cover of X, τ (1,2), τ (2,1) . For each s x ∈ X, there exists αx ∈ ∆ such that x ∈ Uαx and since Uαx ∈ τ (i,j) for each αx ∈ ∆, there exists a (τ i, τ j )-regular open set Vαx in (X, τ 1, τ 2) such that x ∈ Vαx ⊆ Uαx .

Since (X, τ 1, τ 2) is (τ i, τ j )-almost regular, there is a (τ i, τ j )-regular open set Cαx in

(X, τ 1, τ 2) such that x ∈ Cαx ⊆ τ j -cl(Cαx ) ⊆ Vαx . Hence X = Cαx and thus the x∈X family {Cαx : x ∈ X} forms a (τ i, τ j )-regular open cover of (X, τ[1, τ 2). Since (X, τ 1, τ 2) is (τ i, τ j )-weakly Lindelöf and (τ i, τ j )-weak P -space, there exists a countable subset of points x1,...,xn,... of X such that X = τ j -cl Cαx = τ j -cl Cαx ⊆ n∈N n n∈N n s s s Vαx ⊆ Uαx . This shows that X, τ[ , τ is τ [ -Lindelöf. n∈N n n∈N n (1,2) (2,1) (i,j) [Sufficiency:[ Let {Uα : α ∈ ∆} be a τ i-open cover of (X, τ 1, τ 2). Since Uα ⊆ τ i- s s int (τ j -cl(Uα)) and τ i-int (τ j -cl(Uα)) ∈ τ (i,j), {τ i- int (τ j -cl(Uα)) : α ∈ ∆} is τ (i,j)-open s s s cover of the τ (i,j)-Lindelöf space X, τ (1,2), τ (2,1) . Then there exists a countable subset N {αn : n ∈ } of ∆ such that X = τ i-int (τ j -cl(Uαn )) ⊆ τ j -cl(Uαn ) = τ j - n∈N n∈N cl Uαn . This implies that ([X, τ 1, τ 2) is (τ i, τ j )-weakly Lindelöf.[ n∈N [ Corollary 4.12. Let (X, τ 1, τ 2) be a pairwise almost regular and pairwise weak P -space. s s Then (X, τ 1, τ 2) is pairwise weakly Lindelöf if and only if X, τ (1,2), τ (2,1) is Lindelöf. s s s s Proposition 4.7. Let X, τ (1,2), τ (2,1) be a τ (j,i), τ (i,j) -extremally disconnected and s s s s s s τ (i,j), τ (j,i) -weak P -space. Then X, τ (1,2), τ (2,1) is τ (i,j), τ (j,i) -weakly Lindelöf if s s s and only if X, τ (1,2), τ (2,1) is τ (i,j)-Lindelöf. Proof. The sufficient condition is obvious by the definitions. So we need only to prove s s s necessary condition. Suppose that {Uα : α ∈ ∆} is a τ (i,j)-open cover of X, τ (1,2), τ (2,1) . s s For each x ∈ X, there exists αx ∈ ∆ such that x ∈ Uαx . Since X, τ (1,2), τ (2,1) is s s s s s τ (i,j), τ (j,i) -semiregular, there exists a τ (i,j)-open set Vαx in X, τ (1,2), τ (2,1) such that s s x ∈ Vαx ⊆ τ -int τ -cl(Vαx ) ⊆ Uαx . Hence X = Vαx and thus the family (i,j) (j,i) x∈X s s s [ s s {Vαx : x ∈ X} forms a τ (i,j)-open cover of X, τ (1,2), τ (2,1) . Since X, τ (1,2), τ (2,1) is s s s s s s τ (i,j), τ (j,i) -weakly Lindelöf, τ (j,i), τ (i,j) -extremally disconnected and τ (i,j), τ (j,i) - weak P -space, there exists a countable subset of points x1,...,xn,... of X such that X = s s s s τ -cl Vαx = τ -cl Vαx = τ -int τ - cl Vαx ⊆ (j,i) n∈N n n∈N (j,i) n n∈N (i,j) (j,i) n s s s Uα[x . This shows that[ X, τ , τ is τ [ -Lindelöf. n∈N n (1,2) (2,1) (i,j) [ PAIRWISESEMIREGULARPROPERTIES 9

s s Corollary 4.13. Let X, τ (1,2), τ (2,1) be a pairwise extremally disconnected and pair- s s wise weak P -space. Then X, τ (1,2), τ (2,1) is pairwise weakly Lindelöf if and only if s s X, τ (1,2), τ (2,1) is Lindelöf. Proposition 4.8. Let (X, τ 1, τ 2) be a pairwise semiregular, (j, i)-extremally disconnected and (i, j)-weak P -space. Then (X, τ 1, τ 2) is (i, j)-weakly Lindelöf if and only if it is i-Lindelöf.

s s Proof. By Theorem 4.3, (X, τ 1, τ 2)= X, τ (1,2), τ (2,1) . The result follows immediately by Proposition 4.7.

Corollary 4.14. Let (X, τ 1, τ 2) be a pairwise semiregular, pairwise extremally disconnected and pairwise weak P -space. Then (X, τ 1, τ 2) is pairwise weakly Lindel¨of if and only if it is Lindel¨of.

References

[1] M. C. Datta, Projective bitopological spaces, J. Austral. Math. Soc. 13 (1972), 327-334. [2] B. P. Dvalishvili, Bitopological Spaces: Theory, relations with generalized algebraic structures, and applications, North-Holland Math. Stud. 199, Elsevier, 2005. [3] A. J. Fawakhreh and A. Kılı¸cman, Semiregular properties and generalized Lindelöf spaces, Mat. Vesnik 56 (2004), 77-80. [4] P. Fletcher, H. B. Hoyle III and C. W. Patty, The comparison of topologies, Duke Math. J. 36 (1969), 325-331. [5] Ali A. Fora and Hasan Z. Hdeib, On pairwise Lindelöf spaces, Rev. Colombiana Mat. 17 (1983) no. 1-2, 37-57. [6] F. H. Khedr and A. M. Alshibani, On pairwise super continuous mappings in bitopological spaces, Int. J. Math. & Math. Sci., 14 (4) (1991), 715-722. [7] A. Kılı¸cman and Z. Salleh, On pairwise Lindelöf bitopological spaces, Topology & its Appl. 154(8) (2007), 1600-1607. [8] A. Kılı¸cman and Z. Salleh, Mappings and pairwise continuity on pairwise Lindelöf bitopological spaces, Albanian J. Math. 1(2) (2007), 115-120. [9] A. Kılı¸cman and Z. Salleh, Pairwise almost Lindelöf bitopological spaces II, Malaysian J. Math. Sci. 1(2) (2007), 227-238. [10] A. Kılı¸cman and Z. Salleh, Pairwise weakly regular-Lindelöf spaces, Abstract and Applied Analysis, Vol. 2008, Article ID 184243, 13 pages, 2008. doi:10.1155/2008/184243. [11] A. Kılı¸cman and Z. Salleh, On pairwise almost regular-Lindelöf spaces, Scientiae Math. Japon. 70 (2009), 285-298. [12] A. Kılı¸cman and Z. Salleh, Mappings and decompositions of pairwise continuity on pairwise nearly Lindelöf spaces, Albanian J. Math. 4(2) (2010), 31-47. [13] A. Kılı¸cman and Z. Salleh, On pairwise weakly Lindelöf bitopological spaces, Bull. Iran. Math. Soc. 39(3) (2013), 469-486. [14] M. Mrˇsević, I. L. Reilly and M. K. Vamanamurthy, On semi-regularization topologies, J. Austral. Math. Soc. (Ser. A) 38 (1985), 40-54. [15] M. Mrˇsević, I. L. Reilly and M. K. Vamanamurthy, On nearly Lindelöf spaces, Glasnik Math. 21(41) (1986), 407-414. [16] Z. Salleh and A. Kılı¸cman, Pairwise nearly Lindelöf bitopological spaces, Far East J. Math. Sci. 77(2) (2013), 147-171. [17] Z. Salleh and A. Kılı¸cman, Some results on pairwise almost Lindelöf spaces, JP J. Geometry Topol. 15(2) (2014), 81-98. [18] Z. Salleh and A. Kılı¸cman, Mappings and decompositions of pairwise continuity on (i,j)-almost Lindelöf and (i,j)-weakly Lindelöf spaces, Submitted. [19] A. R. Singal and S. P. Arya, On pairwise almost regular spaces, Glasnik Math. 6(26) (1971), 335- 343. [20] M. K. Singal and A. R. Singal, Some more separation axioms in bitopological spaces, Ann. Son. Sci. Bruxelles. 84 (1970), 207-230. [21] L. A. Steen and J. A. Seebach Jr., Counterexamples in Topology, 2nd Edition, Springer-Verlag, New York, 1978. 10 ZABIDIN SALLEH

[22] J. Swart, Total Disconnectedness in bitopological spaces and product bitopological Spaces, Indag. Math. 33 (1971), 135-145.

School of Informatics and Applied Mathematics, Universiti Malaysia Terengganu, 21030 Kuala Nerus, Terengganu, Malaysia. E-mail address: [email protected]