ON -COMPACT SPACES

14
www.tjprc.org [email protected] International Journal of Mathematics and Computer Applications Research (IJMCAR) ISSN(P): 2249-6955; ISSN(E): 2249-8060 Vol. 4, Issue 3, Jun 2014, 73-86 © TJPRC Pvt. Ltd. ON -COMPACT SPACES ALIAS B. KHALAF 1 , ABDULRAHMAN H. MAJEED 2 & JAMIL M. JAMIL 3 1 Department of Mathematics, University of Duhok, Kurdistan, Region, Iraq 2,3 Department of Mathematics, University of Baghdad, Baghdad, Iraq ABSTRACT The aim of this paper is to introduce and study the concepts of -compact space, -compact subspace and countably -compact space via -open sets like wise to investigate their relationships to other well known types of compactness. KEYWORDS: -Open, -Compact, Countably -Compact 1. INTRODUCTION Compactness plays an important role in general topology and so many authors have been discussed and introduced weak and strong forms of compactness. In 1981, semi-compactness was studied and investigated by Dorselt [10] and several new and interesting results have been found. In 1976, Thompson [29] defined the concept of S-closed spaces and gave several properties about this space. Mathur [21] established several properties and relations between compact and S-closed spaces. The class of countably S-closed space was introduced by Dlaska [5] Recently, the authors introduced the concept of -open and -continuity [16]. The main purpose of this paper to introduce the notation of -compact space. we give some characterizations of -compact spaces by using filers and investigate its relation with other types of compactness and define countably -compact. In the last section, we give important characterizations about -compact subspaces and -sets. For a subset of a space , and represent the closure and interior of A respectively. A subset A of X is called semi-open [19] ( -open [22], pre-open [20], regular open [28]) set if , (resp., , ). The complement of semi-open ( -open, pre-open, regular open) set is called semi-closed (resp., - closed, pre- closed, regular closed) set. A subset A of topological space is called -open (resp., -open) set [30] if for each , there is an open (resp., open) set U such that (resp., ). A subset of a topological space is said to be -semi-open [13] (resp., semi- -open [4]) set if for each , there is a semi-open set such that (resp., ). A set is called semi-regular [6], if it is both semi-open and semi-closed also. The family of all semi open (resp., regular open, pre-open, regular-semi-open, -open, -semi-open, semi- -open, semi-regular) sets of is denoted by (resp., , , , , , , . 2. PRELIMANARIES In this section, we give some definitions and results which are needed in the next sections.

Transcript of ON -COMPACT SPACES

www.tjprc.org [email protected]

International Journal of Mathematics and Computer Applications Research (IJMCAR) ISSN(P): 2249-6955; ISSN(E): 2249-8060 Vol. 4, Issue 3, Jun 2014, 73-86 © TJPRC Pvt. Ltd.

ON -COMPACT SPACES

ALIAS B. KHALAF 1, ABDULRAHMAN H. MAJEED 2 & JAMIL M. JAMIL 3 1Department of Mathematics, University of Duhok, Kurdistan, Region, Iraq

2,3Department of Mathematics, University of Baghdad, Baghdad, Iraq

ABSTRACT

The aim of this paper is to introduce and study the concepts of -compact space, -compact subspace and

countably -compact space via -open sets like wise to investigate their relationships to other well known types of

compactness.

KEYWORDS: -Open, -Compact, Countably -Compact

1. INTRODUCTION

Compactness plays an important role in general topology and so many authors have been discussed and

introduced weak and strong forms of compactness. In 1981, semi-compactness was studied and investigated by

Dorselt [10] and several new and interesting results have been found. In 1976, Thompson [29] defined the concept of

S-closed spaces and gave several properties about this space. Mathur [21] established several properties and relations

between compact and S-closed spaces. The class of countably S-closed space was introduced by Dlaska [5] Recently, the

authors introduced the concept of -open and -continuity [16]. The main purpose of this paper to introduce the notation

of -compact space. we give some characterizations of -compact spaces by using filers and investigate its relation with

other types of compactness and define countably -compact. In the last section, we give important characterizations about

-compact subspaces and -sets.

For a subset of a space , and represent the closure and interior of A respectively. A subset A of X

is called semi-open [19] (-open [22], pre-open [20], regular open [28]) set if , (resp., ,

). The complement of semi-open (-open, pre-open, regular open) set is called semi-closed

(resp., - closed, pre- closed, regular closed) set. A subset A of topological space is called -open (resp.,-open)

set [30] if for each , there is an open (resp., open) set U such that (resp., ).

A subset of a topological space is said to be -semi-open [13] (resp., semi- -open [4]) set if for each , there is a

semi-open set such that (resp., ). A set is called semi-regular [6], if it is both

semi-open and semi-closed also. The family of all semi open (resp., regular open, pre-open, regular-semi-open, -open,

-semi-open, semi--open, semi-regular) sets of is denoted by (resp., , , , , ,

, .

2. PRELIMANARIES

In this section, we give some definitions and results which are needed in the next sections.

74 Alias B. Khalaf, Abdulrahman H. Majeed & Jamil M. J amil

Impact Factor (JCC): 4.2949 Index Copernicus Value (ICV): 3.0

Definition 2.1: A topological space is called:

• Locally indiscrete [3], if every open set in is closed.

• Extremally disconnected [6], if the closure of every open subset of is open or the interior of every closed subset

of is closed.

• Semi- [1], If for every two distinct points x, y in X, there exist two semi open sets, one containing x but not y

and the other containing y but not x.

• Semi- [1], If for every two distinct points x, y in X, there exist two disjoint semi open sets and such that

and .

Proposition 2.2 [3]: If is a locally indiscrete space, then each semi-open subset of is closed and hence each

semi-closed subset of is open.

Definition 2.3: A filter base in a topological space is said to be rc-converge [13] (resp.,-converge [30]

and -converge [25]) to if for each regular closed (resp., open and open) subset of containing , there exists

such that (resp., and ).

Definition 2.4: A filter base in a topological space is said to be rc-accumulate [13] (resp.,-accumulate

[30] and -accumulate [25]) to a point if for each regular closed (resp., open and open) subset of containing

, there exists an such that (resp., and ).

Definition 2.5 ([5]): A topological space (, ) is called semi regular, if for each semi-closed and each

there exist disjoint semi-open sets and such that and .

Definition 2.6 [1]: A topological space is called is -regular if and only if for every point and

every semi-closed set in such that , there exists disjoint open sets and such that and .

Theorem 2.7 [1]: A topological space is called is -regular if and only if for every semi-open

containing , there exists a semi open such that .

Definition 2.8: A space is called semi-compact [11] (resp., compact [26], nearly compact [8], mildly

compact [27], strongly compact [11] and -compact [25]) if every semi-open ( resp., open, regular open, clopen, pre-open

and -open) cover of admits a finite subcover.

Definition 2.9 [7]: A topological space is called strongly S-closed if every closed cover of has finite

subcover.

Definition 2.10: A topological space is said to be S-closed [29] (resp., s-closed [4], N-closed [23] and quasi

H-closed [9]) if for every semi-open (resp., semi-open, open and open) cover of there exists a finite

subfamily of such that (resp., , , ).

Lemmas 2.11: The following properties are true:

On -Compact Spaces 75

www.tjprc.org [email protected]

• A space is S-closed if and only if every regular closed cover of has a finite subcover [21].

• A space is s-closed if and only if every semi regular cover of has a finite subcover [4].

Definition 2.12: A space is called countably S-closed [5] (resp., semi-countably compact [6]) if every countable

cover of by regular closed (resp., semi-open) sets has finite subcover.

Definition 2.13 [24]: A space is called feebly compact if every countable open cover of has a finite subfamily

such that the closure of whose members cover.

Definition 2.14 [15]: A function is called -continuous if the inverse image of each open subset of

is semi open set in .

Definition 2.15 [16]: A semi open subset of a space is called SS –open if for each , there is a semi

closed set such that .

The family of all SS –open subsets of the topological space (, ) is denoted by ( ).

Lemma2.16 [5]: A space is semi-regular if and only if for every point and every semi-open containing

, there exists a semi open such that .

Proposition 2.17 [16]: Let ( ) be subspace of (, ) and . If is SS –open set of and is semi-regular

set in , then is SS –open set in .

Proposition 2.18[16]: Let ( ) be an -open subspace of a space . If ( ) and , then

( ).

Proposition 2.19 [16]: Let be topological space, and . If and is -open and semi-closed

then

Definition 2.20 [16]: A function is called SS –continuous, if the inverse image of every open set in is

an SS –open set in .

Proposition 2.21 [16]: If a space is semi- , then ( )

Definition 2.22 [18]: A function is called contra -continuous if is -closed in X for each

open set U in Y

Definition 2.23 [17]: A function is called almost SS-continuous (resp., weakly SS-continuous) if for each

and each open set in containing there is an SS-open set G containing such that

(resp., .

Proposition 2.24 [17]: For a function , the following statements are equivalent:

76 Alias B. Khalaf, Abdulrahman H. Majeed & Jamil M. J amil

Impact Factor (JCC): 4.2949 Index Copernicus Value (ICV): 3.0

• is almost SS-continuous.

• For each and each -open set in containing , there is an SS-open set in containing such that

( ) .

• The inverse image of each -open set in is SS-open in .

3. CHARACTERIZATIONS OF COMPACT SPACES

Definition 3.1: A filter base in a topological space -converges (resp., converges) to a point

, if for every open set containing , there exists an such that (resp., ).

Definition 3.2: A filter base in a topological space -accumulates (resp., accumulates) to a

point , if (resp., ) for every open set containing and every .

It is clear from the above definitions that, if a filter base converges (resp., accumulates) to a point in a

topological space, then it is converges (resp., accumulates) to the same point.

In the following example, we see that a filter base is convergent which is not -convergent and

accumulates which is not -accumulates.

Example 3.3: Consider with topology and let

, }. Then is convergent to but it is not -convergent to , because is -open

set containing and there is no an such that .

Example 3.4: Consider the space given in Example 3.3 and let , }. then is

accumulates to the point but it is not accumulates to , because is as -open set containing and

there is , such that .

Remark 3.5: If a filter base is convergent to a point in topological space, then is an

-accumulation point of

The converse of the above remark is not true in general as it is shown in Example 3.3. that the filter base

-accumulates to the point .

Theorem 3.6: Let be a filter base on a space . Then the following statements are equivalent:

• The filter base is accumulates to a point .

• There exists a filter finer than and it is convergent to .

Proof: Obvious

Proposition 3.7: If is a maximal filter base on a space . Then is accumulates to a point if and

only if is convergent to .

Proof: Let be a maximal filter base on a space and accumulates to a point , then by Theorem 3.6,

On -Compact Spaces 77

www.tjprc.org [email protected]

there exists a filter finer than and convergce to. But is maximal filter base. Thus is convergence

to . Conversely. Follows from the definition

Proposition 3.8: Let be a filter base in topological space if any semi-closed in containing , there

exists an such that , then accumulates to a point .

Proof: Let be an -open containing , then for each , there exists a semi-closed set in such that

. By hypothesis there exists such that which implies that . Hence

accumulates to a point.

Proposition 3.9: Let be a filter base in topological space if for every semi-closed set in containing

, there exists an such that , then converges to the point .

Proof: Let be an -open set containing , then for each , there exists a semi-closed set in such that

. By hypothesis, there exists an such that implies that . Hence -converges to .

Theorem 3.10: Let be a filter base in topological space . If is convergent (resp., accumulates)

to a point , then is rc-convergent (resp., rc-accumulates) to .

Proof: Let be a filter base in a space and let be any regular closed set containing , then .

Since is -convergent (resp., accumulates) to the point , then there exist such that

(resp., ) this implies that is rc-convergent (resp., rc-accumulates) to . The converse of Theorem 3.10 is not

true in general as it is shown in following example:

Example 3.11: In Example 3.3. The family of regular closed sets are only and and hence is rc-convergent

to but it is not -convergent to . And is rc-accumulates to but it is not -accumulate to .

Proposition 3.12: Let be a filter base in topological space . If is -convergent (resp., -accumulates)

to a point , then is -convergent (resp.,-accumulates) to .

Proof. Similar to the proof of Theorem 3.10

Proposition 3.13: Let be a filter base in topological space . If is -convergence (resp., -accumulates)

to a point , then is -convergent (resp., -accumulates) to .

Proof: Let be a filter base in a space and let be any open set containing, then is regular open set

in . So, since is convergence (resp., accumulates) to a point , then there exist

such that ( resp., ) this implies that is -convergence (resp., -accumulates).

Theorem 3.14: If is an -continuous (resp., almost -continuous) function, then for each point

and each filter base on a space -convergence to , the filter base is convergent (resp., -convergent)

to .

Proof: Suppose that belong to and is any filter base in which -convergent to . By -continuity

78 Alias B. Khalaf, Abdulrahman H. Majeed & Jamil M. J amil

Impact Factor (JCC): 4.2949 Index Copernicus Value (ICV): 3.0

(resp., almost -continuity) of , for any open set V in containing , there exist containing such that

( resp., ). But is -convergence to in , so there exist such that implies that

( resp., ). Thus is convergent (resp., -convergent) to .

Definition 3.15: A topological space is called compact if for every open cover of

, there exists a finite subset of such that . Since every open set is semi-open, we obtain the

following result.

Remark 3.16: Every semi-compact space is compact.

The following example shows that the converse is not true.

Example 3.17: Let and , then the family of semi-open sets is

and the family of open sets is . Hence is

compact but it is not semi-compact.

Proposition 3.18 [11]: Let be a semi -space then is semi-compact if and only if it is finite.

Corollary 3.19: Let be semi -space then is compact if and only if it is finite.

Proof: Straightforward.

Theorem 3.20: If a space is regular and compact then it is semi-compact.

Proof: Let be semi-open cover of , then for each , there exist such that . Since

is regular, then by Theorem 2.8, there exists an open set of such that . This implies that

. and since is compact, then there exists a finite subset of such that . This shows

that is semi-compact.

Theorem 3.21: If a space is compact then it is compact.

Proof: Follows from the fact every -open is -open set.

Corollary 3.22: If a topological space is compact, then it is quasi H-closed and hence mildly compact.

Proof: Follow from Theorem 3.21 and the fact that each nearly compact is quasi H-closed and hence it is mildy

compact.

Theorem 3.23: If a space is compact, then it is s-closed.

Proof Let be any semi open cover of , then is a regular closed cover of implies

that is open cover of and since is compact, then there is finite subset of such that

. This shows that is s-closed.

Theorem 3.24: If a space is compact, then it is S-closed.

On -Compact Spaces 79

www.tjprc.org [email protected]

Proof: let be a regular closed cover of , then is open cover of . Since is

compact, then there exist finite subset of such that and this shows that is S-closed.

Theorem 3.25: For any topological space the following statements are equivalent:

• is -compact

• Every maximal filter base on a space is -convergence to a point .

• Every filter base on a space is -accumulates to some point .

• For every family of -closed subsets of , such that , there exist finite subset

of such that .

Proof (1) (2): Suppose that is -compact and let be a maximal filter base on . suppose that

does not -converges to any point of . Since is maximal filter base then by Proposition 3.7, does not

-accumulates to any point of . This implies that for every , there exists an -open set and such that

. The family is an -open cover of and by (1), there exist finite number of points

, , ,..., such that . Since is a filter base on , there exists such that

. Hence for each implies that , then

. Therefore, which contradicts the fact that . Thus is -convergence to a point .

(2) (3). Let be any filter base on , then there exists a maximal filter base such that . By (2), is

-convergent to some point , this implies that for every -open set containing , there exists such that

. Thus, for every , we have this shows that is -accumulates to the point .

(3) (4). Let be family of -closed subsets of such that . Suppose that every

finite subfamily . Therefore, forms a filter base on

. Then by (3), is -accumulates to some points which implies that for every -open set containing

, for every and each . Since , then there exist such that .

Therefore which is -open set in . But which is a contradiction since -accumulates

to . And this completes the proof.

(4) (1). Let be any -open cover of , then is a family of -closed subsets of

such that . So, by (4), there exists a finite subset of such that this implies that

. Hence, . This shows that is -compact.

Proposition 3.26: If every semi-closed cover of has finite subcover, then is compact.

Proof: Let be a cover of by open set, then for each , there exists a semi-closed set

such that , thus be a semi-closed cover of . By hypothesis, there exists a finite subset of

such that . Hence is compact.

80 Alias B. Khalaf, Abdulrahman H. Majeed & Jamil M. J amil

Impact Factor (JCC): 4.2949 Index Copernicus Value (ICV): 3.0

Proposition 3.27: If is compact and semi-regular space, then it is compact.

Proof: Let be an open cover of. Since is semi-regular then by Lemma 2.16,

. Hence, is an open cover of and since is compact, then there

exists a finite subset of such that . Hence is compact.

Lemma 3.28: If a topological space is locally indiscrete, then .

Proof: Suppose that is locally indiscrete and let be an open subset of . By definition of locally indiscrete

, therefore is regular open and hence is -open . on the other hand let be an -open set in , then for

each there exist semi-closed set such that by proposition 2.2, is an open subset of this implies that

is an open set in and this complete the proof.

Proposition 3.29: If a space is locally indiscrete then is compact if and only if it is compact.

Proof: Follows from Lemma 3.28.

Proposition 3.30: Let be contra continuous, surjective function if is compact, then is

strongly S-closed.

Proof: Let be a closed cover of . Since is contra continuous, then is a cover

of by open sets. Since is compact, then there exists a finite subset of such that

implies that . Hence is strongly S-closed.

Proposition 3.31: Let be continuous (resp., almost continuous) surjective function if is

compact, then is compact (resp., -compact).

Proof: Let be cover of by open (resp., -open) sets. Since is continuous

(resp., almost continuous), then by Proposition 2.24, is cover of by open sets. Since is

compact, then there exists a finite subset of such that implies that

. Hence is compact (resp., -compact).

Definition 3.32: A topological space is called countably compact if every countable cover of by

open sets has finite subcover.

Proposition 3.33: Every countably compact space is countably S-closed.

Proof: Let be countable cover of a space by regular closed sets, then is countable

cover of a space by open sets and since is countably compact, then there exists a finite subset such that

. Hence is countably S-closed.

Proposition 3.34: Every countably compact space is feebly compact.

On -Compact Spaces 81

www.tjprc.org [email protected]

Proof: Let be countable cover of a space by an open sets. Then is regular closed for each

and hence is a countable cover of the space by open sets. Since is countably compact,

then there exists a finite subset of such that and this shows that is feebly compact.

Proposition 3.35: In locally indiscrete space, every feebly compact is countably compact.

Proof: Let be a countable cover of a space by open sets. Since is locally indiscrete then by

Lemma 3.28, is an open set for each and hence and this complete the proof.

Remark 3.36: The following statements are true

• Every semi-countably compact space is countably compact.

• Every compact space is countably compact.

Proposition 3.37: If a topological space is locally indiscrete then the following are equivalent:

• Countably compact.

• Countably compact.

Proof: Obvious by Lemma 3.28

Definition 3.38 [2]: A space is called if for every and for every point ,

there exists a sequence of open sets of such that and .

Proposition 3.39 [2]: If countably S-closed and , then it is extremally disconnected.

Corollary 3.40: If countably compact and km-perfect, then it is extremally disconnected.

Proof: Follows from Proposition 3.39 and the fact every countably compact space is countably S-closed.

Lemma 3.41 [2]: A subset of a space is -open if and only if is regular closed

Proposition 3.42: If a topological space is countably compact space, then the following statements are

true:

• For every countable cover by semi-open sets there exists a finite subset of such that

.

• For every countable cover by -open sets there exists a finite subset of such that

.

Proof (1): Follows from the fact that the closure of semi-open is open set.

(2) Follows from Lemma 3.45.

Proposition 3.43: If a space is countably compact and is semi regular subset of , then is

countably compact.

82 Alias B. Khalaf, Abdulrahman H. Majeed & Jamil M. J amil

Impact Factor (JCC): 4.2949 Index Copernicus Value (ICV): 3.0

Proof: Let be countable cover of by open sets in. Since is semi regular, then by

Proposition 2.17, is a countable cover of by open sets in. Therefore, is a countable

cover by open sets in . Since is countably compact, then there exists a finite subset of such that

and hence . This shows that is countably compact.

4. -SETS AND -COMPACT SUBSPACES

In this section, we investigate subsets of a topological space which are -compact relative to the space and also

as a subspace.

Definition 4.1: A subset of a space is said to be an -set (resp., -compact subspace) if for every cover

of by -open subsets of (resp., -open subsets in ) , there exist finite subset of such that

(resp., ).

Proposition 4.2: If is semi regular subset of a space which is also -set then is an -compact subspace

Proof: Let be a cover of by -open subsets of. Since is semi regular, then by Proposition 2.17,

for each . Since is -set, then there exist finite subset of such that . But for

each and hence . This shows that is an -compact subspace.

Proposition 4.3: An -open, semi-closed subset of a space is -set if is -compact subspace.

Proof: Let be -compact subspace and let be a cover of by -open subsets of , then by

Proposition 2.19, for each . Since is -open, then by Proposition 2.18, for each

. This implies that is -open cover of . Since is a -compact subspace, then there exists a finite

subset of such that . This shows that is -set.

Proposition 4.4: A space is -compact if and only if every proper -closed subset of is -set.

Proof: Let be a proper -closed subset of the-compact space and let be a cover of by

-open subsets of . Since is -closed, then is -open. But thus . Since

is -compact, then there exists a finite subset of such that . This implies that .

Hence is -set.

Conversely. Let be an -open cover of . Thus is an -closed subset of for some

and is -open cover of for each . By hypothesis is -set, then there exists a finite subset

of such that and since , then . Hence is -compact.

Corollary 4.5: Every semi regular subset of an -compact space is an -compact subspace.

Proof: Let be semi regular subset of the -compact space . Therefore, is -closed then by Proposition 4.4,

is -set and then by Proposition 4.2, is -compact subspace.

On -Compact Spaces 83

www.tjprc.org [email protected]

Proposition 4.6: Every -set in a space is quasi H-closed.

Proof: Let be a cover of by an open sets in , then is regular closed sets in for each

which implies that is a cover of by -open sets in . But is -set, then there exists a finite subset

of such that . This shows that is quasi H-closed.

Corollary 4.7: Let be any clopen subspace of a space and be any subset of then is -set of if and

only if is -set of .

Proof: Follows from Theorem 4.2 and Proposition 4.3.

Proposition 4.8: Every -set in a space is N-closed.

Proof: Similar to the proof of Proposition 4.6.

Corollary 4.9: In a semi –space, a subset is a -set in if and only if it is semi-compact.

Proof: Follows from Proposition 2.21

Proposition 4.10: If and are two -sets in a space, then so is .

Proof: Let be a cover of by -open sets in . Therefore this implies that

and . Since and are -sets in a space , then there exist finite subsets and of such that

and . This implies that . Hence is an -set.

Theorem 4.11: Let and be two subsets of a space. If is an -set and is -closed set in , then

is an -set in .

Proof: Let be any cover of by -open sets of . Since is -closed set, then is

-open, and thus . But is an -set in , then there exists a finite subset of such that

. Therefore . Hence is an -set in .

Corollary 4.12: Let be an -set in the space and is -closed subset of , then the following statements

are true:

• If is an -set in .

• If is closed and is extremally disconnected, then is -set.

Proof: (1) Since is an -set and is -closed subset of , then by Theorem 4.11, is -set in .

(2) Since is closed, then is regular open. Since is extremally disconnected therefore, is regular

closed subset of and hence is -closed subset of , so by Theorem 4.11, is -set.

Corollary 4.13: Let be an -compact and extremally disconnected and is closed subset of . If the boundary

of , , is an -set, then is -set in .

Proof: If , then is clopen subset of the -compact space and hence it is -set in . In case that

84 Alias B. Khalaf, Abdulrahman H. Majeed & Jamil M. J amil

Impact Factor (JCC): 4.2949 Index Copernicus Value (ICV): 3.0

, is closed set in the extremally disconnected space , therefore is a proper -closed subset of the -

compact space . Thus, by Proposition 4.4, is an -set and hence by Proposition 4.10, is -set in .

Theorem 4.15: For any topological space , the following statements are equivalent:

• is -set (resp., -compact subspace).

• Every maximal filter base on a space is -convergence to a point .

• Every filter base on a space is -accumulates to some point .

• For every family of -closed subsets of , such that , there exists a finite subset

of such that .

Proof: Similar to the proof of Theorem 3.25

Proposition 4.16: Let be a subset of topological space . If every cove of by semi-closed subsets of

(resp., by semi-closed subsets of ) has a finite subcover, then is -set(resp., -compact subspace).

Proof: Similar to the proof of Proposition 3.26.

proposition 4.17: Let be an -continuous function. If is an -set in , then is compact.

Proof: Let be a cover of by open sets in . Since is -continuous, then for

each . Since is -set, then there exists a finite subset of such that and thus

. Hence is compact.

Corollary 4.18: If is -continuous and if is -set, then is compact.

Proof: Follows from the fact that each -continuous function is -continuous.

Corollary 4.19: If a function is -continuous (resp., almost -continuous) and is -closed subset

of the -compact space, then is -set (resp., N-closed)

Proof: Let be any cover of by an open sets in , then for each , there exist such

that . Since is -continuous (resp., almost -continuous), then there exists an -open set such

that (resp., ) . Therefore, is -open cover of . Thus, there exists a finite

subset of such that implies that

(resp., this shows that is -set (resp., N-closed).

Definition 4.20: Let be a subset of . A function is called weakly -continuous retraction if is

weakly -continuous and is the identity of .

Proposition 4.21: Let be a subset of and be a weakly -continuous retraction. If is Urysohn and

extremally disconnected space, then is -closed set.

On -Compact Spaces 85

www.tjprc.org [email protected]

Proof: Suppose that is not -closed set. Then there exists a point such that . Since is

weakly -continuous retraction, we have . Since is Urysohn, then there are two open sets and such that

, and . Hence, by Definition 2.23, there exists an-open set containing such that

. By Proposition 2.19, is an -open set containing and hence

because . Therefore there exists a point . Since , we have

and hence this implies that because .

This contradicts the fact that is weakly -continuous. Hence is -closed set.

5. CONCLUSIONS

A new type of convergence of a filter base is defined by using the concept of S_s-open sets this type of

convergence is weaker than the s-convergence and stronger than rc-convergence and θ-convergence. By using this type of

convergence the concept of S_s-compactness is characterized and it is proved that the concept of S_s-compactness is

weaker than the s-compactness and stronger than the concept of quasi H-closed spaces and θ-compact spaces. Some other

relations among this concept and other similar concepts were found. Moreover, the concepts of S_s-open sets,

S_s-convergence of a filter base and S_s-compactness can be extended to bitopological spaces.

REFERENCES

1. Ahmed N.K., On Some Types of Separation Axioms, M.Sc. Thesis, College Of Science, Salahaddin University

(1990).

2. Al-Nashef B., Countably I-compact spaces, Hindawi publishing corp., (2001), pp.745-751.

3. Cameron D. E., Properties of -closed spaces, Proc. Amer. Math. Soc. 72 (1978), 581-58.

4. Di Maio G. and Noiri T., On -closed spaces, Indian J. Pure Appl. Math., 18 (3) (1987), 226-233.

5. Dlaska K., Ergun N. and Ganster M, Countably S-closed spaces, Math. Slovaca, 44(3) (1994) ,pp.337-348.

6. Dlaska K., Ergun N. and Ganster M., On the topology generated by semi-regular sets, Indian J. Pure Appl. Math.,

25(11) (1995), 1163-1170.

7. Dontchev J., Contra-continuous functions and strongly S-closed spaces, internat J. Math. & Math. Sci., 19(2)

(1996), pp.303-310.

8. Dontchev J. and Ganster M., On covering spaces with semi-regular sets, Ricerche di Matematica, (45) 1(1996),

pp. 229-245.

9. Dontchev J, Ganster M. and Noiri T., On P-closed spaces, internat J. Math. & Math. Sci., 24(3) (2000),

pp.203-212.

10. Dorselt C., Semi convergence and semi-compactness, Indian J. Mech. Math., 19(1)(1982),pp.11-17.

11. Dorselt C., Semi-compactness, semi separation axioms and product spaces, Bull. Malaysian Math. Soc., 2(4)

(1981), pp.21-29.

86 Alias B. Khalaf, Abdulrahman H. Majeed & Jamil M. J amil

Impact Factor (JCC): 4.2949 Index Copernicus Value (ICV): 3.0

12. Ganster M., Some remarks on strongly compact spaces and semi-compact spaces, Bull. Malaysian Math. Soc.,

10(1987), pp.67-81.

13. Herrmann R. A., rc-convergence, Proc. Amer. Math. Soc., 75(2) (1987), pp.311-317.

14. Joseph J. E. and Kwack M. H., On -closed spaces, Proc. Amer. Math. Soc., 80 (2) (1980), 341-348.

15. Khalaf A. B. and Easif F. H., -continuous functions, J. Dohuk Univ., (special issue) 2(1) (1999), pp.1-7.

16. Khalaf A. B., Majeed A. H. and Jamil J. M., -open sets and -continuous functions, International Journal of

Advanced Mathematical Sciences.2 (1), (2014), pp.71-80.

17. Khalaf A. B., Majeed A. H. and Jamil J. M., Almost and weakly -continuous functions, accepted for publication

in IJMA.

18. Khalaf A. B., Majeed A. H. and Jamil J. M., contra -continuous functions, accepted for publication in IISTE.

19. Levine N., Semi-open sets and semi-continuity in topological spaces, Amer. Math. Monthly, 70, (1963), pp. 36-41.

20. Mashhour A.S. and Abd-El-monsef M.E. and El-Deeb S.N., On pre-continuous and weak pre-continuous

mapping, Proc. Amer. Phys. Soc. Egypt, Vol.53, (1982), pp. 47-53

21. Mathur A., A note on S-closed spaces, Proc. Amer. Math. Soc, 174(2), pp.350-352

22. Njastad O., On some classes of nearly open sets, Pacific J. Math., Vol.15,(1965), pp.961-970.

23. Noiri T., A generalization of perfect functions, J. London Math.Soc., 2(17) (1978), pp.540-544.

24. Porter J. R. and Woods R. G., Feebly compact spaces, Martin’s axioms and diamond, Topology Proc.9 (1984),

pp.105-121.

25. Saleh M., On -closed sets and some forms of continuity, Archivum Mathemticum, 40(2004), pp.383-393.

26. Sharma J. N., Topology (General and Algebraic), Krishna Parkashan Mandir, 4thEdition (2011).

27. Staum R., The algebra of bounded continuous functions into non archimedean field, Pacific J. Math., 50(1974),

169-185.

28. Steen L.A., Seebach Jr. J.A., Counter Examples in Topology, Holt, Rinehart and Winston, Inc., New York,

(1970).

29. Thompson T., S-closed spaces, Proc. Amer. Math. Soc., 60(1)(1976), pp.335-338.

30. Velico N. V., H-closed topological spaces, Amer. Math. Soc. Trans., Vol. 2, (1986), pp. 103-118.