2

International Journal of Computer Application
Issue 3, Volume 5 (September - October - 2013)

Available online on http://www.rspublication.com/ijca/ijca_index.htm
ISSN: 2250-1797
A note on Co-compactness and Co-paracompactness via Grills

Karthika.A and I.Arockiarani
Nirmala College for Women
Coimbatore
________________________________________________________________
Abstract
In this paper we introduce and investigate a new type of compactness namely

Cocompactness in grill topological space or simply G-Cocompactness and GCoparacompactness of a grill topological space (X, , G). Here we establish a strong and
equivalent property for Cocompactness using grills. Also the relationships among the
various forms of compact spaces are obtained.
Keywords and phrases: G -Cocompact, G -paracompact, G -Cocover.
2000 AMS Subject Classification: 54C30, 54C99.
________________________________________________________________
1. Introduction
The history of Grill was initiated by Choquet [3] in 1947. The idea of grills was found to
be very useful device like nets and filters. Also for the investigations of many topological
notions like compactifications, proximity spaces, theory of grill topology was used.
In 1968, M.K. Singal and Asha Rani [15] have introduced one of the most interesting
generalized forms of compactness namely almost compactness. Mashhour A.S. and Atis R.H.
introduced
new
version
of
compactness
namely
cocompactness
and
coparacompactness[2].The notion of paracompactness in ideals was initiated by Ham- lett et

al[6] in the year 1997. B.Roy and M.N. Mukherjee[12] extended the concept of para
compactness in terms of grills. Following their work we formulate the new definition of
G -Cocompactness and G-Coparacompactness via grills. Also we try to achieve a equivalent
property for cocompact , paracompact spaces.
R S. Publication, rspublicationhouse@gmail.com
Page 12

ISSN: 2250-1797
Preliminaries
Definition 1.1[10]
A colletion G of nonempty subsets of a set X is called a grill if
1. A G and A B X implies that B G, and
2. A B G (A, B X) implies that A G or B G.
Definition 1.2[12]
Let G be a grill on a topological space (X, ). A cover {U : } of X is said to be a
G-cover if there exists a finite subset 0 of such that X \ 0 U G.
Definition 1.3[13]
ED-space is a regular space in which every open set is Co-open.
Definition 1.4[13]
A subset A of a topological space (X, ) is Co-subset if clA is open.
Definition 1.5[13]
A subset A of a topological space (X, ) is Ic-subset if intA is closed.
Definition 1.6[13]
A cover of a topological space X is called Co-open cover if each member of is Co-open
set.
Definition 1.7[12]
Let G be a grill on a topological space (X, ). Then the space X is said to be paracompact
with respect to the grill G or simply G-paracompact if every open cover U of X has a
precise locally finite open refinement U (not necessarily a cover of X) such that
X \ U G where the statement a cover U = {U : } has a precise refinement
means as usual, that there exists a collection V = {V : } of subsets of X such that
V U, for all .(Here refinement need not be a cover.)
Page 13

ISSN: 2250-1797
Definition 1.8[14]
A topological space X is said to be lightly compact or Feebly compact if each collection of
locally finite nonempty open sets is finite.
2. Co-compactness on G-space
We formulate the new definition of G-Cocompactness via grills. Also we try to achieve
a equivalent property for cocompact , paracompact spaces.
Definition 2.1
Let G be a grill on a topological space (X, ). A cover { U : } of X, whose
elements are co-open sets is said to be a G-co compact if there exists a finite subset 0 of
such that X \ 0 U G.
Definition 2.2
A grill topological space (X, , G) is almost G-Cocompact if each co- open cover of
X has a finite subfamily, such that X \ 0 clU G.
Remark 2.3
Let X be a topological space with the grill G, and A X . Then
(i) X is G -compact X is G -Cocompact X is almost G -Cocompact.
(ii) X is almost G -compact X is almost G -Cocompact.
Theorem 2.4
A topological space with the grill G is G -Cocompact if and only if each family of
Ic-closed sets which has a G -f.i.p has the arbitrary intersection belongs to the Grill. That is
A G.
Proof
If = {A : } is a family of Ic-closed subsets of a topological space (X, , G)
with G.f.i.p and the arbitrary intersection is also belongs to grill.
Then
Ac G X \ A G If X is not G -Cocompact, has a
Page 14

ISSN: 2250-1797
finite sub collection such that X \ i=1n Ai G i=1n Ai G, where A (complement set
of Co-open set) Ic-closed sets , which is a contradiction. So, for every cover of co-open sets
there exists a subcollection such that X \ i=1 nA G. Hence X is G Cocompact.
Conversely let space X be G -Cocompact if each family of co-open sets, such that
no finite subfamily of is a cover of X, fails to be a G -Cocover of X. This is true if and
only if each family of Ic-closed sets which satisfies i=1n Ai G Ai G. Hence the
proof.
Theorem 2.5
For a grill topological space (X, , G), the following statements are equivalent.
(i) (X, , G) is an almost G -Cocompact space.
(ii) Each cover of X whose members are both open and closed has a finite subcllection such
that X \ i=1 nA G.
(iii) For each family J of Co-open subsets of X having the G.f.i.p., {F c : F J } G.
Proof
(i) (ii): Since an open and closed set is Co-open, we can consider the cover as a
Cocover. By (i) X \ 0 clU G. But the sets are both open and closed clU =
U . Therefore X \ 0 U G. Hence the proof.
(ii) (iii): Let J be a family of Co-open subset of X having the G.f.i.p. with the intersection
belongs to the grill......(1) Suppose that F G
X \ F G {F : } is a G -Cocover of X in which every member is both
open and closed. So, there exists a finite subfamily such that
X \ { i=1n Fi} G Fi G, which is a contradiction to the fact (1).Hence the result.
(iii) (i): If X is not an almost G -Cocompact space, then there is a G -Cocover of X
which has no finite subfamily, such that X \ i=1n Ui G, we have i=1 n Uic G.
It is a contradiction to the fact that the collection {U : } has G.f.i.p. Hence X is a
almost G -Cocompact space.
Page 15

ISSN: 2250-1797
Theorem 2.6
An Ic-closed subset of an G -Cocompact space is G -Cocompact.
Proof
Let A be an Ic-closed subset of the G -Cocompact space (X, ) and be any ACocover of A. Every member U is of the form U = A V where V is -Co- open. Then
let W = {U : } (X \ A) where X \A is also Co-open and hence it is a G -Cocover of
X. Since X is G -Cocompact, W has a finite subfamily such that X \ i=1n Ui (X \ A) G.
W is a G -Cocover. It also should cover A X .
But A X \ A A i=1n Ui A\ i=1n Ui G. A is G -Cocompact.
Corollary 2.7
An Ic-closed subset of an almost G -Cocompact space is also almost G -Cocompact.
Theorem 2.8
Let f : (X, 1, G 1) (Y, 2, G 2) be a homeomorphism from X to Y, where X is
almost G -Cocompact. Then the image f(X), with the properties G 2 f(G1), f(G1) is a -grill,
is almost G 2-Cocompact.
Proof
Let f : (X, 1, G 1) (Y, 2, G 2) be a Co-continuous map from the almost
G 1-
Cocompact space X on to a grill topological space Y and let = {U : } be a cover of

Y whose members are both open and closed(by theorem 3.9). {f 1(U ) : U } is a cover of
X, whose members are both open and closed. Then there is a finite subfamily {f 1(Ui) : i
I } such that X \ i=1n f 1(Ui) G
given that G
Applying f we get f (X )\ i=1n Ui f(G1).It is
f(G 1). That is f (X )\ i=1n Ui G2 . Hence by theorem 3.9, f(X) is
almost G 2-Cocompact.
Theorem 2.9
An almost G -Cocompact space which is semi-regular is G -Cocompact.
Proof
Let (X, , G) be a semi-regular grill topological space. Then every open set is regular
Page 16

ISSN: 2250-1797
open. Suppose there is a collection {U : } of Co-open sets which covers X. A Coopen set which is regular open is both open and closed. The space is almost-G Cocompact.
So, There exists a subcollection such that
X \ i=1n cl(Ui) G Since the Co-open sets are both open and closed cl(U) = U
for every X \ i=1n Ui G. Hence the space is G -Cocompact.
Theorem 2.10
A G -Cocompact, ED-space is G -Compact.
Proof
Let (X, , G) be a G -Cocompact space, and let be any open cover of X. Since X is
an ED-space, is also a Cocover of X. Therefore X is G -Compact.
Definition 2.11
A topological space (X, , G) is G -Co-paracompact if each Cocover U = {U :
} of X has an open locally finite refinement U * such that ,
X \ U * G where U * = {V : } and for every U U we can find a V
V such that V U. Here refinement need not be a cover.
Definition 2.12
A topological space (X, , G) is almost G -Co-paracompact if for each Cocover U of
X, there exists a locally finite family U* of Co-open sets refines U such that, X \ U
cl(U) G.
Remarks 2.13
Let (X, , G) be a topological space. Then,
(i) X is almost G -Cocompact X is almost G -Co-paracompact.
(ii)X is G -Cocompact X is G -Co-paracompact X is almost G -Co-paracompact.
(iii)X is G -paracompact X is G -Co-paracompact.
(iv)X is almost G -paracompact X is almost G -Co-paracompact.
Page 17

ISSN: 2250-1797
Theorem 2.15
An Ic-closed subset of a G -Co-paracompact space is G -Co-paracompact.
Proof
Let A be an Ic-closed subset of the G -Co-paracompact space (X, ),. Let be the
family defined by = {U=A V : where V is -Co-open } and denote by W, the family of
all members of and (X \ A). Since A is Ic-closed, (X \ A) is Co-open set. Then W is a Co-open cover of X. The family W has a -Co-open locally finite refinement K. Denoting
by , the members of K which refines . In this case C = {A G : G } refines U and C
is A-locally finite. But this collection C should be a Cocover A. That is A\ {A G : G
} G. A\ {C : C C } G. Thus A is G -Co-paracompact.
Theorem 2.16
A G -Co-paracompact space, which is lightly compact is G -Cocompact.
Proof
Let X be G -Co-paracompact space, and let be any Co-open cover of X has an
Co-open locally finite refinement ={A : } such that X \ A G. Since X is
lightly compact every locally finite collection is finite. That is X \ i=1n Ai G. Hence is a
G -Cocover. Finally X is G -Cocompact.
Theorem 2.17
An almost G -Co-paracompact space, which is lightly compact is almost G Cocompact.
Proof
Let X be almost G -Co-paracompact, and let be any Cocover of X. Then there
exists a locally finite family J of Co-open sets which refines such that
X \ J cl(A) G . Since X is lightly compact, J is finite. So, There exists a family
such that X \ i=1n cl(Ui) G. Hence is a G - Cocover and so X is almost G -Coparacompact.
Page 18

ISSN: 2250-1797
Theorem 2.18
An almost G -Co-paracompact space which is semi regular is G -Co- paracompact.
Proof
Let X is a semi regular space. Then every open set is regular open. Since a Co-open
set which is regular open is both open and closed, every Cocover consists of sets which are
both open and closed. If X is an almost G -Co-paracompact and V is a Cocover of X, then
there exists a locally finite refinement V such that X \ AV cl(A) G. But clA = A,
X is G -Co-paracompact.
Theorem 2.19
A G -Co-paracompact, E.D space is G -paracompact.
Proof
Let X be a G -Co-paracompact , E.D space. Let be any open cover of X. Then is
a Cocover of X. So, has an open locally finite refinement such that
X \ (A) G. But X is E.D space. Hence X is simply G -paracompact.
References
[1] K.C. Chattopadhyay , W.J. Thron, Extensions of closure spaces, Can. J.
Math. 6(1997), 1277-1286.
[2] K.C. Chattopadhyay, O.Njastad, W.J. Thron, Merotopic spaces and extensions of closure spaces, Can. J. Math. 4(1983), 613-629.
[3] G.Choquet, Sur les notions de Filtre et grille, Computes Rendus Acad. Aci.
224(1947), 171-173.
[4] J.Dugundji, Topology, Ally and Bacon, Boston, 1996.
[5] A.Foroutan, M.Ganster, M.Steiner, The -topology -some basic questions,
[6] T.R.Hamlett, D.Rose, D.Jankovic, Paracompactness with respect to an
ideal, Internet. J. Math. Sci 20(1997), 433-442.
[7] A.Karthika, I.Arockiarani, Theta Compactness in Grill Topological spaces,
Page 19

ISSN: 2250-1797
submitted.
[8] P.Y.Li, Y.K.Song, Some remarks on S-paracompact spaces, Acta Math.
Hung.118 (2008),345-355.
[9] C.T.Liu, Absolutely closed spaces, Trans. Amer. Math. Society. 130(1968),
86-104.
[10] B.Roy, M.N.Mukherjee,On a typical topology induced
by a grill,
Soochow J. Math. 33(2007), 771-786.

[11] B.Roy, M.N.Mukherjee, On a type of Compactness via grills, Math.
Vesnik 59(2007), 113-120.
[12] B.Roy, Manabenra Nath Mukherjee, A generalization of paracompactness
in terms of grills, Math. Commun. Vol. 14, No. 1, pp. (2009), 75-83.
[13] A.S. Mashhour, R.H. Atia, New generalization of Compactness part I: On
Compactness, Bull. Fac. Sci. Assiut Univ. 3(1974), 389-394.
[14] A.S. Mashhour, R.H. Atia, New generalization of Compactness part II:
On Paracompactness, Bull. Fac. Sci. Assiut Univ. 3(1974), 395-399.
[15] C.T. Scarborough, A.H.Stone, Product of nearly compact spaces, Trans.
Amer. Math. Soc. 124 (1994). 13-1-147.
[16] M.K. Singal, S.P.Arya, On m-paracompact space, Math. Ann. 181(1969),
119-133.
[17] M.K. Singal, Asha Rani, On almost -m-compact spaces, Annales de la
Societe. scientifique de Bruxelles 82(1968), 233-242.
[18] W.J. Thron, Proximity structure and grills, Math. Ann 206(1973), 35-62.
[19] C. Wayne Patty, Foundations of Topology, Jones and Bartlett India
Pvt.Ltd, NewDelhi, 2nd Edition(2010).
Page 20

2

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

2

Uploaded by

Copyright:

Available Formats

International Journal of Computer Application

Issue 3, Volume 5 (September - October - 2013)

A note on Co-compactness and Co-paracompactness via Grills

In this paper we introduce and investigate a new type of compactness namely

coparacompactness[2].The notion of paracompactness in ideals was initiated by Ham- lett et

International Journal of Computer Application

International Journal of Computer Application

Ac G X \ A G If X is not G -Cocompact, has a

International Journal of Computer Application

International Journal of Computer Application

Cocompact space X on to a grill topological space Y and let = {U : } be a cover of

Applying f we get f (X )\ i=1n Ui f(G1).It is

f(G 1). That is f (X )\ i=1n Ui G2 . Hence by theorem 3.9, f(X) is

International Journal of Computer Application

International Journal of Computer Application

International Journal of Computer Application

International Journal of Computer Application

Soochow J. Math. 33(2007), 771-786.

You might also like