On θ generalized closed sets

©Electronic Publishing House

ON

θ

-GENERALIZED CLOSED SETS

JULIAN DONTCHEV and HARUO MAKI

(Received 14 October 1996 and in revised form 10 March 1998)

Abstract.The aim of this paper is to study the class ofθ-generalized closed sets, which is properly placed between the classes of generalized closed andθ-closed sets. Furthermore, generalizedΛ-sets [16] are extended toθ-generalizedΛ-sets andR0-,T1/2- andT1-spaces are characterized. The relations with other notions directly or indirectly connected with generalized closed sets are investigated. The notion of TGO-connectedness is introduced.

Keywords and phrases.θ-generalized closed,θ-closure,Λ-set, TGO-connected.

1991 Mathematics Subject Classification. Primary 54H05, 54C08, 54D10; Secondary 54C10, 54D99.

1. Introduction. The first step of generalizing closed sets was done by Levine in 1970 [15]. He defined a setAto be generalized closed if its closure belongs to every open superset ofAand introduced the notion ofT1/2-spaces, which is properly placed

betweenT0-spaces andT1-spaces. Dunham [10] proved that a topological space isT1/2

if and only if every singleton is open or closed. In [13], Khalimsky, Kopperman, and Meyer proved that the digital line is a typical example of aT1/2-space.

Ever since, general topologists extended the study of generalized closed sets on the basis of generalized open sets: regular open,α-open [20], open [14], semi-preopen [1], semi-preopen [19],θ-open [26],δ-open [26], etc.

Extensive research on generalizing closedness was done in recent years as the no-tions of semi-generalized closed, generalized semi-closed, generalizedα-closed,α -generalized closed, -generalized semi-preclosed, regular -generalized closed,γ-g-closed and(γ,γ_{)-g-closed sets were investigated [2, 3, 6, 7, 11, 18, 17, 22, 23, 24, 25].}

Recently, in [8], Ganster and the first author of this paper definedδ-generalized closed sets and introduced the notion ofT3/4-spaces, which is properly placed between T1-spaces andT1/2-spaces. They proved that the digital line isT3/4.

The aim of this paper is to continue the study of generalized closed sets, this time via theθ-closure operator defined in [26] and characterizeT1/2-spaces andT1-spaces

in terms ofθ-generalized closed sets. Viaθ-closure operator, we extend the class of generalizedΛ-sets to the class ofθ-generalizedΛ-sets and study some new charac-terizations ofR0-spaces andT1-spaces.

confusion,Astands for Cl(A). Theθ-interior [26] of a subsetAofX is the union of all open sets ofXwhose closures are contained inA, and is denoted by Intθ(A). The

subsetAis calledθ-open[26] ifA=Intθ(A). The complement of aθ-open set is called

θ-closed. Alternatively, a setA⊂(X,τ)is calledθ-closed [26] ifA=Clθ(A), where

Clθ(A)= {x∈X:U∩A≠∅,U∈τandx∈U}. The family of allθ-open sets forms a

topology onXand is denoted byτθ. We use the name CO-set for sets whose closure

is open.

Observation2.1. (i) IfAis preopen, thenClα(A)=Cl(A)=Clθ(A).

(ii) EveryCO-set is preopen. (iii) Every dense subset is aCO-set.

(iv) Every subset of a space(X,τ)is aCO-set if and only if(X,τ)is locally indiscrete. Definition1. A subsetAof a space(X,τ)is called

(1) ageneralized closed set(=g-closed) [15] ifA⊆UandU∈τimplies thatA⊆U, (2) asemi-generalized closed set (=sg-closed)[4] ifA⊆UandUis semi-open implies

thatSCl(A)⊆U,

(3) ageneralizedα-closed set (=gα-closed)[17] if A⊆U and U isα-open implies that Clα(A)⊂U,

(4) ageneralized semi-closed set (=gs-closed)[2] ifA⊆U andU∈τ implies that

sCl(A)⊆U,

(5) anα-generalized closed set (=αg-closed) [18] ifA⊆U andU∈τ implies that Clα(A)⊂U,

(6) ageneralized semi-preclosed set (=gsp-closed)[7] if A⊆U andU∈τ implies thatspCl(A)⊆U,

(7) aregular generalized closed set (=r-g-closed)[23] ifA⊆UandUis regular open implies that ¯A⊆U.

Definition2. A topological space(X,τ)is called

(1) R0-space[5] if the closures of every two different points are either disjoint or

coincide,

(2) R1-space [5] if every two different points, with distinct closures, have disjoint

neighborhoods,

(3) T1/2-space[15] if every g-closed set is closed, (=every singleton is open or closed

[10]),

(4) kc-space[27] if every compact set is closed.

Definition3. Recall that a functionf:(X,τ)→(Y ,σ )is called

(1) g-continuous[3] iff−1_{(V)is g-closed in(X,τ)for every closed setVof(Y ,σ ),}

(2) semi-continuous [14] iff−1_{(V) is semi-open in(X,τ)for every open setV of} (Y ,σ ),

(3) strongly θ-continuous [21] if, for each x∈X and each open set V containing f (x), there exists an open setUcontainingxsuch thatf (U)⊆V.

3. Basic properties ofθ-generalized closed sets

We denote the family of all θ-generalized closed subsets of a space (X,τ) by TGC(X,τ).

The next two results together with the examples following them show that the class ofθ-generalized closed sets is properly placed between the classes of g-closed and θ-closed sets.

Observation3.1. Everyθ-closed set isθ-generalized closed.

Example3.2. LetX= {a,b,c}and letτ= {∅,{a,b},X}. SetA= {a,c}. Since the only open superset ofAisX, Ais clearlyθ-generalized closed. But it is easy to see thatAis notθ-closed. In fact, it is not even semi-closed since its complement{b}has empty interior.

Observation3.3. Everyθ-generalized closed set is g-closed and henceαg-closed, gs-closed, and r-g-closed.

Example3.4. Let X= {a,b,c}and letτ= {∅,{a},{a,b},{a,c},X}. Set A= {c}. Clearly,Ais closed and hence g-closed. Next, setU= {a,c}. Note thatX=Clθ(A)⊆

U∈τ. Thus,Ais notθ-generalized closed.

The following diagram is an enlargement of a Diagram from [7].

θ-closed

//

_θ-g-closed

P

P

P

P

P

P

((

P

P

P

P

P

P

closed set

//

_{g-closed set}

++

X

X

X

X

X

X

X

X

X

X

X

X

X

X

X

X

X

X

X

X

X

X

X

X

X

((

P

P

P

P

P

P

P

P

P

P

P

P

((

P

P

P

P

P

P

P

P

P

P

P

P

//

αg-closed

!!

C

C

C

C

C

C

C

C

C

C

C

C

C

C

C

C

C

C

C

α-closed set

//

_{gα-closed set}

66

n

n

n

n

n

n

n

n

n

n

n

n

gs-closed set

((

Q

Q

Q

Q

Q

Q

Q

Q

Q

Q

Q

Q

r-g-closed semi-closed set

//

_{sg-closed set}

66

n

n

n

n

n

n

n

n

n

n

n

n

//

_{gsp-closed set}

semi-preclosed set

11

d

d

d

d

d

d

d

d

d

d

d

d

d

d

d

d

d

d

d

d

d

d

d

d

d

d

d

d

d

d

d

d

d

d

d

d

d

d

d

d

Observation3.5. Let(X,τ)be a regular space (not necessarily evenT0). Then a subsetAofXisθ-generalized closed if and only ifAis generalized closed.

Lemma3.6[12, Thm. 3.1(d), Thm. 3.6(d)]. For a space(X,τ), the following condi-tions are equivalent

(1) Xis anR1-space;

(2) for eachx∈X,Cl{x} =Clθ{x};

(3) for each compact setA⊆X,Cl(A)=Clθ(A).

Proposition3.7. If(X,τ)isR1, then a compact subsetK ofXis g-closed if and only ifKisθ-g-closed.

following conditions are equivalent (1) Aisθ-g-closed;

(2) Ais g-closed; (3) Aisαg-closed.

Proof. Follows easily from Observation 2.1(i) (note that a preopen g-closed set is a CO-set).

Lemma3.9. IfAandBare subsets of a topological space(X,τ), thenClθ(A∪B)=

Clθ(A)∪Clθ(B)andClθ(A∩B)⊆Clθ(A)∩Clθ(B).

Proposition3.10. (i) A finite union ofθ-g-closed sets is always aθ-g-closed set. (ii) A countable union ofθ-g-closed sets need not be aθ-g-closed set.

(iii) A finite intersection ofθ-g-closed sets may fail to be aθ-g-closed set.

Proof. (i) LetA,B∈TGC(X). LetU∈τsuch thatA∪B⊆U. By Lemma 3.9, Clθ(A∪

B)=Clθ(A)∪Clθ(B)⊆U∪U=U sinceAand Bareθ-g-closed. Hence,A∪B isθ

-g-closed.

(ii) LetXbe the real line with the usual topology. SinceXis regular, by Observation 3.5, every singleton in Xis θ-g-closed. SetA=i∞=2{1/i}. Clearly,Ais a countable

union ofθ-generalized closed sets butAis notθ-generalized closed sinceA⊆(0,1) and 0∈Clθ(A).

(iii) LetX = {a,b,c,d,e}and let τ = {∅,{a,b},{c},{a,b,c},X}. Set A= {a,c,d}

andB= {b,c,e}. Clearly,AandBareθ-generalized closed sets sinceXis their only open superset. ButC= {c} =A∩Bis notθ-generalized closed sinceC⊆ {c} ∈τand Clθ(C)= {c,d,e} ⊆ {c}.

Proposition3.11. The intersection of aθ-generalized closed set and aθ-closed set is alwaysθ-generalized closed.

Proof. LetAbeθ-generalized closed and letF beθ-closed. LetUbe an open set such thatA∩F⊆U. SetG=X\F. ThenA⊆U∪G. SinceGisθ-open,U∪Gis open and sinceAisθ-generalized closed, Clθ(A)⊆U∪G. Now, by Lemma 3.9, Clθ(A∩F)⊆

Clθ(A)∩Clθ(F)=Clθ(A)∩F⊆(U∪G)∩F=(U∩F)∪(G∩F)=(U∩F)∪∅ ⊆U.

Proposition3.12. LetB⊆H⊆(X,τ)and(Clθ)H(B)denote theθ-closure ofB in

the subspace(H,τ|H). Then (i) (Clθ)H(B)⊆Clθ(B)∩Hholds.

(ii) IfHis open in(X,τ), then(Clθ)H(B)⊃Clθ(B)∩Hholds.

Theorem3.13. LetB⊆H⊆(X,τ).

(i) IfBisθ-g-closed relative toH(i.e.,B∈TGC(H,τ|H)),H∈TGC(X), andH∈τ, thenB∈TGC(X).

(ii) IfBisθ-g-closed in(X,τ), thenBisθ-g-closed relative toH(i.e.,B∈TGC(H,τ| H)).

Proof. (i) LetB⊆U, whereU∈τ. ThenB⊆H∩U and, moreover, (Clθ)H(B)⊆

H∩Udue to assumption. By Proposition 3.12(ii),H∩Clθ(B)⊆H∩U⊆U. Using the

last inclusion, it follows thatH⊆H∪(X\Clθ(B))=(H∩Clθ(B))∪(X\Clθ(B))⊆U∪

(X\Clθ(B)). Since Clθ(B)is a closed set,U∪(X\Clθ(B))is open and thus sinceH∈

last inclusion, it follows that Clθ(B)⊆Uor, equivalently,B∈TGC(X).

(ii) LetV be an open set of(H,τ|H)such thatB⊂V. Then there exists an open set G∈τ such thatG∩H=V. Since B⊆G∩H⊆G andB∈TGC(X), Clθ(B)⊆G.

By Proposition 3.12(i), (Clθ)H(B)⊆Clθ(B)∩H⊆G∩H⊆V. Therefore,Bisθ-g-closed

relative toH.

Example3.14. LetX= {a,b,c,d}andτ= {∅,{a},{a,b},{a,c,d},X}. Then{∅,X}

is the set of all θ-closed sets of (X,τ) and TGC(X,τ)= {∅,{b,c},{b,d},{b,c,d}, {a,b,d},{a,b,c},X}. LetH= {b,c,d}be a set ofX. Then,τ|H= {∅,{b},{c,d},H}. Note that{∅,{b},{c,d},H}is the set of allθ-closed sets of(H,τ|H)and TGC(H,τ| H)=ᏼ(H). The subset{b}ofHisθ-g-closed relative toHandHis not open (i.e.,{b} ∈

TGC(H,τ|H),H∈τ) andH∈TGC(X,τ). However,{b} ∈TGC(X,τ).

Example 3.15. Let (X,τ) be the space in the example above. Set H= {a,c,d}. Clearly,His open in(X,τ)andHis notθ-generalized closed in(X,τ). ButB= {a,c}

isθ-generalized closed relative to H. However, B is notθ-generalized closed in(X,τ).

4. Characterizations ofT1/2-spaces,T1-spaces andR0-spaces

Theorem4.1. A space(X,τ)is aT1/2-space if and only if everyθ-generalized closed set is closed.

Proof.

Necessity. LetA⊆Xbeθ-generalized closed. By Observation 3.3,Ais g-closed. SinceXis aT1/2-space,Ais closed.

Sufficiency. Letx∈X. If{x}is not closed, thenB=X\{x}is not open and thus the only superset ofBisX. Trivially,Bisθ-generalized closed. By (2),Bis closed or, equivalently,{x}is open. Thus, every singleton inXis open or closed. Hence, in the notion of [6, Thm. 6.2(i)],Xis aT1/2-space.

Lemma4.2. LetA⊆(X,τ)beθ-generalized closed. ThenClθ(A)\Adoes not contain

a nonempty closed set.

Theorem4.3. A space(X,τ)is aT1-space if and only if everyθ-generalized closed set isθ-closed.

Proof.

Necessity. LetA⊆X beθ-generalized closed and letx∈Clθ(A). SinceXis T1, {x}is closed and thus by Lemma 4.2,x∈Clθ(A)\A. Sincex∈Clθ(A), thenx∈A.

This shows that Clθ(A)⊆Aor, equivalently, thatAisθ-closed.

Sufficiency. Letx∈X. Assume that{x}is not closed. ThenB=X\{x}is not open and, trivially,B isθ-generalized closed since the only open superset ofB isX itself. By (2),Bisθ-closed and thus{x}isθ-open. Since a singleton isθ-open if and only if it is clopen,{x}is clopen.

The notion of aΛ-set and a generalizedΛ-set in a topological space was introduced in [16]. By definition, a subsetAof a topological space(X,τ)is called aΛ-set [16] if A=AΛ_{, whereA}Λ_{= ∩{U:U⊃A,U∈τ}. Recall thatAis called a generalizedΛ-set [16]}

Definition5. (i) For a subsetAof(X,τ), we defineAΛ

θas follows

AΛ θ=

x∈X: Clθ{x}∩A= ∅.

In [12],AΛ

θis denoted by kerθA.

(ii) A subsetAof(X,τ)is calledθ-generalizedΛ-set (=θ-g-Λ-set)ifAΛ

θ⊆F, whenever

A⊆F andF is closed in(X,τ).

Observation4.4. (i) EveryGδ-set is aΛ-set.

(ii) [12, Lem. 3.5(a)]. For any setA⊆X, A⊆AΛ_⊆AΛ

θ⊆Clθ(A).

(iii) Everyθ-closed set is aΛ-set. (iv) Every g-closedΛ-set is closed.

(v) Everyθ-generalizedΛ-set is a generalizedΛ-set.

Remark4.5. (i) AΛ-set need not beθ-closed. Any singleton of an infinite space with the cofinite topology is aΛ-set (since the space isT1) but none of the singletons

isθ-closed.

(ii) A closed set need not be aΛ-set. In the Sierpinski space(X= {a,b},τ= {∅,{a}, X}), the setB= {b}is closed butBis not aΛ-set. However, in [16, Prop. 3.8], it was shown that in a topological space(X,τ), every subset ofX is a generalizedΛ-set if and only if every closed set is aΛ-set.

(iii) A generalizedΛ-set need not beθ-generalizedΛ-set. In an infinite cofinite space X, as mentioned in Remark 4.5, every singleton is aΛ-set and, hence, a generalized

Λ-set but none of the singletons is aθ-generalizedΛ-set since theθ-closure of every singleton isX.

In [16], it was proved that inT1-spaces, every set is aΛ-set. Note that the converse

is also true.

Proposition4.6. (i) A topological space(X,τ)is aT1-space if and only if every subset ofXis aΛ-set.

(ii) A topological space(X,τ)is anR0-space if and only if every singleton ofXis a generalizedΛ-set.

Proof. (i) Obvious.

(ii) In [9], Dube showed that a space isR0 if and only if, for each closed set A, A= AΛ_{. Thus, ifXisR}

0, then for each singleton{x}and each closed setFcontaining x, we have{x} ⊆ {x}Λ_⊆FΛ_{=F. So,{x}is a generalizedΛ-set. For the reverse assume}

thatF⊆Xis closed. For eachx∈F, by assumption,{x}Λ_{⊆F. Thus,F}Λ_{= ∪x∈F{x}}Λ_⊆ F according to [16, condition (2.5)]. This shows thatF=FΛ_.

Observation4.7. (i) A subsetAof anR1-spaceXis generalizedΛ-set if and only ifAisθ-generalizedΛ-set.

(ii) In Hausdorff spaces, every subset is aθ-generalizedΛ-set.

(iii) A topological spaceXis Hausdorff if and only ifXis akc-space and every closed set ofXis aθ-generalizedΛ-set.

(1) θ-g-continuousiff−1_{(V)isθ-g-closed in(X,τ)for every closed setVof(Y ,σ ),}

(2) θ-g-irresoluteiff−1_{(V)isθ-g-closed in(X,τ)for everyθ-g-closed setVof(Y ,σ ).}

Observation5.1. If f :(X,τ)→(Y ,σ ) is stronglyθ-continuous, then f is θ-g-continuous.

Example5.2. Let(X,τ)be the space in Example 3.2. Letσ = {∅,{b},X}. Letf: (X,τ)→(X,σ )be the identity function. Clearly, in the notion of Example 3.2,f is θ-g-continuous butfis not stronglyθ-continuous, not even semi-continuous.

Observation5.3. Letf:(X,τ)→(Y ,σ )beθ-g-continuous. Thenfis g-continuous but not conversely.

Example5.4. Let(X,τ)be the space in Example 3.4. Letσ = {∅,{a,b},X}. Let f :(X,τ)→(X,σ ) be the identity function. Clearly,f is continuous and hence g-continuous but as shown in Example 3.4, A= {c} ∈TGC(X,τ)and hence f is not θ-g-continuous.

Example 5.2 and Example 5.4 also show that continuity andθ-g-continuity are in-dependent concepts. Thus, we have the following implications and none of them is reversible.

θ-g-continuous

((

Q

Q

Q

Q

Q

Q

Q

Q

Q

Q

Q

Q

Q

Stronglyθ-continuous

55

j

j

j

j

j

j

j

j

j

j

j

j

j

j

j

))

T

T

T

T

T

T

T

T

T

T

T

T

T

T

T

g-continuous

continuous

66

l

l

l

l

l

l

l

l

l

l

l

l

l

Example 5.5. Let f be the function in Example 5.2. Let ν = {∅,{c},X}. Let g:(X,σ )→(X,ν) be the identity function. It is easily observed that g is alsoθ -generalized continuous. But the composition functiong◦f :(X,τ)→(X,ν) is not θ-generalized continuous since{a,b} ∈TGC(X,τ).

Theorem5.6. Iff:(X,τ)→(Y ,σ )is bijective, open andθ-generalized continuous, thenf isθ-g-irresolute.

Proof. LetV∈TGC(Y )and letf−1_{(V)⊆O, whereO∈τ. Clearly,V⊆f (O). Since} f (O)∈σ and sinceV∈TGC(Y ), Clθ(V)⊆f (O)and thusf−1(Clθ(V ))⊂O. Sincef

is θ-generalized continuous and since Clθ(V)is closed inY, Clθ(f−1(Clθ(V )))⊆O

and hence Clθ(f−1(V))⊆O. Therefore,f−1(V )∈TGC(X). Hence,fisθ-g-irresolute.

Definition7. A functionf:(X,τ)→(Y ,σ )is calledθ-generalized closed if, for every closed setF of(X,τ),f (F )isθ-g-closed in(Y ,σ ).

(ii) Let f : (X,τ)→ (Y ,σ ) be strongly θ-continuous and closed. Then, f is θ-g-irresolute.

Proof. (i) Left to the reader.

(ii) LetB be a θ-g-closed set of (Y ,σ ) and letU ∈τ such that f−1_{(B)⊆U. Put} H=Clθ(f−1(B))∩(X\U). A mapf :(X,τ)→(Y ,σ )is stronglyθ-continuous if and

only iff:(X,τ)→(Y ,σ )is(γ,id)-continuous in the sense of Ogata [22, Def. 4.12], whereγ :τ →ᏼ(X)is the closure operation and id :σ →ᏼ(Y ) is the identity op-eration. Using [22, Prop. 4.13(i)] and the fact that Clγ(E)= Clθ(E) and Clid(E)=

Cl(E)for the closure operationγ, the identity operation id and the subsetE, we get f (H)⊆f (Clθ(f−1(B)))∩f (X\B)⊆Cl(f (f−1(B)))∩(X\B)⊆Cl(B)\B⊂Clθ(B)\B. By

Lemma 4.2,f (H)= ∅sincef (H)is closed. We haveH= ∅and hence Clθ(f−1(B))⊆

U. Therefore,f−1_{(B)∈TGC(X,τ).}

Corollary5.8. (i) Under the same assumptions of Theorem 5.6, if(X,τ)isT1/2, then(Y ,σ )isT1/2.

(ii) Under the same assumptions of Theorem 5.7(ii), if(X,τ)isT1/2andf:(X,τ)→ (Y ,σ )is surjective, then(Y ,σ )isT1/2.

Proposition5.9. Letf :(X,τ)→(Y ,σ ) be aθ-generalized continuous function and letHbe aθ-closed subset ofX. Then the restrictionf|H:(H,τ|H)→(Y ,σ )is θ-generalized continuous.

Proof. LetF be a closed subset of(Y ,σ ). By Proposition 3.11,H1=f−1(F)∩His θ-generalized closed in(X,τ). Then, by Theorem 3.13(ii),H1isθ-g-closed in(H,τ|H).

Since(f|H)−1_(F)=H

1,f|Hisθ-g-continuous.

Next, we offer the following “Pasting Lemma” forθ-g-continuous functions. Proposition5.10. Let(X,τ)be a topological space such that X=A∪B, where bothA,B∈TGC(X)andA,B∈τ. Letf:(A,τ|A)→(Y ,σ )andg:(B,τ|B)→(Y ,σ ) beθ-generalized continuous functions such thatf (x)=g(x)for everyx∈A∩B. Then the combinationα:(X,τ)→(Y ,σ ) isθ-generalized continuous, whereα(x)=f (x) for anyx∈Aandα(y)=g(y)for anyy∈B.

Definition8. A subsetAof(X,τ)is calledθ-generalized open(=θ-g-open) if its complementX\Aisθ-generalized closed in(X,τ).

Theorem5.11. (i) A subset A of (X,τ) is θ-g-open if and only if F ⊆ Intθ(A),

wheneverF⊂AandFis closed in(X,τ).

(ii) IfAisθ-g-open in(X,τ)andBisθ-g-open in(Y ,σ ), thenA×Bisθ-g-open in the product space(X×Y , τ×σ ).

Proof. (i) Obvious.

(ii) LetFbe a closed subset of(X×Y ,τ×σ )such thatF⊆A×B. For each(x,y)∈ F, Cl({x})×Cl({y}) ⊆Cl(F)= F ⊆ A×B. Then the two closed sets Cl({x}) and Cl({y}) are contained in A and B, respectively. By assumption, Cl({x})⊆Intθ(A)

and Cl({y})⊆Intθ(B)hold. This implies that, for each(x,y)∈F,(x,y)∈Intθ(A)×

Proposition5.12. The projection p :(X×Y ,τ×σ )→(X,τ)is a θ-g-irresolute map.

Proof. By definition and Theorem 5.11(ii), for a θ-generalized closed set F of (X,τ),p−1_{(x\F)=(X\F)×Yisθ-g-open in(X×Y ,τ×σ ). Therefore,P}−1_(F)=F×Y= X×Y\(p−1_{(X\F))isθ-generalized closed.}

6. TGO-connected spaces. In 1991, Balachandran et al. [3] introduced a stronger form of connectedness called GO-connectedness. A set is calledg-open[15] if its com-plement is g-closed.

Definition9. (cf. [15]). A topological space Xis called TGO-connected (respec-tively, GO-connected[15]) ifXcannot be written as a disjoint union of two nonempty θ-g-open (respectively, g-open) sets. A subset ofX is called TGO-connected if it is connected as a subspace.

Clearly, every TGO-connected space is connected. The space in [3, Ex. 11] shows that there are connected spaces which are not TGO-connected. Since everyθ-generalized closed set is g-closed, every GO-connected space is TGO-connected. Thus, we have the following implications and none of them is reversible.

GO-connected ⇒TGO-connected ⇒Connected

Example6.1. LetX= {a,b,c,d}and letτ= {∅,{a},{a,b},{a,c,d},X}. Since{c}

is both g-closed and g-open,X is not GO-connected. Note that TGC(X)= {∅,{b,c}, {b,d},{a,b,c},{a,b,d},{b,c,d},X}. Hence,Xis TGO-connected.

Observation6.2. (i) [3, Prop. 10]. For a topological space(X,τ), the following conditions are equivalent.

(1) XisTGO-connected;

(2) the only subsets ofX, which are bothθ-g-open andθ-g-closed, are∅andX; (3) eachθ-generalized continuous function of Xinto a discrete spaceY, with at

least two points, is constant.

(ii) [3, Prop. 12]. If(X,τ)is aT1/2-space, then the following conditions are equivalent

(1) XisGO-connected; (2) XisTGO-connected; (3) Xis connected.

(iii) A regular spaceXisGO-connected if and only ifXisTGO-connected. (iv) Letf:(X,τ)→(Y ,σ )be a surjection. Then

(a) Iff isθ-generalized continuous andXisTGO-connected, thenY is connected. (b) Iff isθ-g-irresolute andXisTGO-connected, thenY isTGO-connected. Corollary6.3. If the product space(X×Y ,τ×σ )isTGO-connected, then its factor space(X,τ)isTGO-connected.

Proof. LetHbe aθ-closed and TGO-connected set in(X,τ). Then, by Proposition 5.9, the restriction off toH,f |H:(H,τ |H)→(Y ,σ ), isθ-g-continuous. For f, a functionrH(f ):(H,τ|H)→(f (H),σ|f (H))is well defined by(rH(f ))(x)=f (x)

for any x∈H. Sincef |H =j◦rH(f ), where j :(f (H),τ |f (H))→(Y ,σ ) is an

inclusion. Then it is clear thatrH(f )isθ-g-continuous. In fact, for an open setV of

(f (H),σ|f (H)), take an open setG∈τsuch thatG∩f (H)=V. ThenrH(f )−1(V)=

(f|H)−1_{(G)isθ-g-open. Now, by Observation 6.2(iv),(f (H),σ|f (H))is connected}

and hencef (H)is a connected subset of(Y ,σ ).

Acknowledgement. The authors thank the referee for his help in improving the quality of this paper.

Research supported partially by the Ella and Georg Ehrnrooth Foundation at Merita Bank, Finland and by the Japan-Scandinavia Sasakawa Foundation.

References

[1] D. Andrijevi´c,Semipreopen sets, Mat. Vesnik 38 (1986), no. 1, 24–32. MR 87j:54002. Zbl 604.54002.

[2] S. P. Arya and T. M. Nour,Characterizations ofs-normal spaces, Indian J. Pure Appl. Math. 21(1990), no. 8, 717–719. MR 91h:54004. Zbl 706.54021.

[3] K. Balachandran, P. Sundaram, and H. Maki,On generalized continuous maps in topologi-cal spaces, Mem. Fac. Sci. Kôchi Univ. Ser. A Math.12(1991), 5–13. MR 91m:54009. Zbl 736.54005.

[4] P. Bhattacharyya and B. K. Lahiri,Semigeneralized closed sets in topology, Indian J. Math. 29(1987), no. 3, 375–382. MR 90a:54004. Zbl 687.54002.

[5] A. S. Davis,Indexed systems of neighborhoods for general topological spaces, Amer. Math. Monthly68(1961), 886–893. MR 35#4869. Zbl 106.15504.

[6] R. Devi, H. Maki, and K. Balachandran,Semi-generalized closed maps and generalized semi-closed maps, Mem. Fac. Sci. Kôchi Univ. Ser. A Math. 14 (1993), 41–54. MR 94b:54043. Zbl 787.54015.

[7] J. Dontchev,On generalizing semi-preopen sets, Mem. Fac. Sci. Kôchi Univ. Ser. A Math. 16(1995), 35–48. MR 95k:54039. Zbl 833.54001.

[8] J. Dontchev and M. Ganster,Onδ-generalized closed sets andT3/4-spaces, Mem. Fac. Sci. Kôchi Univ. Ser. A Math.17(1996), 15–31. MR 97d:54034. Zbl 853.54019. [9] K. K. Dube,A note onR0-topological spaces, Mat. Vesnik 11 (1974), no. 26, 203–208.

MR 51 13982. Zbl 293.54014.

[10] W. Dunham,T1/2-spaces, Kyungpook Math. J.17(1977), no. 2, 161–169. MR 57 10677. Zbl 382.54013.

[11] T. Fukutake,On generalized closed sets in bitopological spaces, Bull. Fukuoka Univ. Ed. III 35(1986), 19–28. MR 87i:54071. Zbl 624.54001.

[12] D. Jankovi´c,On some separation axioms andθ-closure, Mat. Vesnik32(1980), no. 4, 439– 449. MR 84b:54039. Zbl 528.54016.

[13] E. Khalimsky, R. Kopperman, and P. R. Meyer,Computer graphics and connected topolo-gies on finite ordered sets, Topology Appl.36(1990), no. 1, 1–17. MR 92c:54037. Zbl 709.54017.

[14] N. Levine,Semi-open sets and semi-continuity in topological spaces, Amer. Math. Monthly 70(1963), 36–41. MR 29#4025. Zbl 113.16304.

[15] ,Generalized closed sets in topology, Rend. Circ. Mat. Palermo (2)19(1970), 89–96. MR 46 4471. Zbl 231.54001.

[17] H. Maki, R. Devi, and K. Balachandran,Generalizedα-closed sets in topology, Bull. Fukuoka Univ. Ed. III42(1993), 13–21. Zbl 888.54005.

[18] , Associated topologies of generalized α-closed sets and α-generalized closed sets, Mem. Fac. Sci. Kôchi Univ. Ser. A Math. 15 (1994), 51–63. MR 95c:54037. Zbl 821.54002.

[19] A. S. Mashhour, M. E. Abd El Monsef, and S. N. El Deep,On precontinuous and weak precontinuous mappings, Proc. Math. Phys. Soc. Egypt (1982), no. 53, 47–53. MR 87c:54002. Zbl 571.54011.

[20] O. Njåstad,On some classes of nearly open sets, Pacific J. Math.15 (1965), 961–970. MR 33#3245. Zbl 137.41903.

[21] T. Noiri,Onδ-continuous functions, J. Korean Math. Soc.16(1979;1980), no. 2, 161–166. MR 82b:54020. Zbl 435.54010.

[22] H. Ogata,Operations on topological spaces and associated topology, Math. Japon.36 (1991), no. 1, 175–184. MR 92c:54004. Zbl 725.54004.

[23] N. Palaniappan and K. C. Rao,Regular generalized closed sets, Kyungpook Math. J.33 (1993), no. 2, 211–219. MR 94k:54018. Zbl 794.54002.

[24] P. Sundaram, H. Maki, and K. Balachandran, Semi-generalized continuous maps and semi-T1/2 spaces, Bull. Fukuoka Univ. Ed. III 40 (1991), 33–40. MR 92j:54032c. Zbl 790.54010.

[25] J. Umehara, H. Maki, and T. Noiri,Bioperations on topological spaces and some separation axioms, Mem. Fac. Sci. Kôchi Univ. Ser. A Math.13(1992), 45–59. MR 93b:54020. Zbl 751.54010.

[26] N. V. Veli˘cko,H-closed topological spaces, Amer. Math. Soc. Transl.78(1968), 103–118. Zbl 183.27302.

[27] A. Wilansky,BetweenT1andT2, Amer. Math. Monthly74(1967), 261–266. MR 34#8367. Zbl 147.22704.

Dontchev: Department of Mathematics, PL4, Yliopistonkatu5, University of Helsinki, 00014Helsinki10, Finland