Abstract

Many investigations are undergoing of the relationship between topological spaces and graph theory. The aim of this short communication is to study the nature and properties of some generalized closed sets in the bitopological spaces associated to the digraph. In particular, some relations between generalized closed sets in the bitopological spaces associated to the digraph are characterized.

1. Introduction

Concerning the applications of bitopological spaces, there are many approaches to the sets equipped with two topologies of which one may occasionally be finer than the other in analysis, potential theory, directed graphs, and general topology. LukeÅ” [1] formulated certain new methods to be used in discussing fine topologies, especially in analysis and potential theory in 1977 and one of the properties introduced by him is Lusin-Menchoff property of the fine topologies. This is the initiative to the study of various problems in analysis and potential theory with bitopological spaces.

Brelot [2] compared the notion of a regular point of a set with that of a stable point of a compact set for an analogous Dirichlet problem and thus arrived at a general notion of thinness in classical potential theory.

Bhargava and Ahlborn [3] investigated certain tieups between the theory of directed graphs and point set topology. They obtained several theorems relating connectedness and accessibility properties of a directed graph to the properties of the topology associated to that digraph. Further, they investigated these topologies in terms of closure, kernal, and core operators. This work extended to ceriatn aspects of work done by Bhargava in [4].

Evans et al. [5] proved that there is a one-to-one correspondence between the labelled topologies on š‘› points and labelled transitive digraph with š‘› vertices. Anderson and Chartrand [6] investigated the lattice graph of the topologies to the transitive digraphs. In particular, they characterized those transitive digraphs whose topologies have isomorphic lattice graphs.

In theoretical development of bitopological spaces [7], several generalized closed sets have been introduced already. Fukutake [8] defined one kind of semiopen sets in bitopological spaces and studied their properties in 1989. Also, he introduced generalized closed sets and pairwise generalized closure operator [9] in bitopological spaces in 1986. A set š“ of a bitopological space ( š‘‹ , šœ 1 , šœ 2 ) is šœ š‘– šœ š‘— -generalized closed set (briefly šœ š‘– šœ š‘— - š‘” closed) [10] if šœ š‘— - c l ( š“ ) āŠ† š‘ˆ whenever š“ āŠ† š‘ˆ and š‘ˆ is šœ š‘– -open in š‘‹ , š‘– , š‘— = 1 , 2 and š‘– ā‰  š‘— . Also, he defined a new closure operator and strongly pairwise š‘‡ 1 / 2 -space. Further study on semiopen sets had been made by Bose [11] and Maheshwari and Prasad [12].

Semi generalized closed sets and generalized semiclosed sets are extended to bitopological settings by Khedr and Al-saadi [13]. They proved that the union of two š‘– š‘— - s g closed sets need not be š‘– š‘— - s g closed. This is an unexpected result. Also, they defined that the š‘– š‘— -semi generalized closure of a subset š“ of a space š‘‹ is the intersection of all š‘– š‘— - s g closed sets containing š“ and is denoted by š‘– š‘— - s g c l ( š“ ) . Rao and Mariasingam [14] defined and studied regular generalized closed sets in bitopological settings. Rao and Kannan [15] introduced semi star generalized closed sets in bitopological spaces in the year 2005. ( šœ 1 , šœ 2 ) āˆ— -semi star generalized closed sets [16], regular generalized star star closed sets [17], semi star generalized closed sets [18], and the survey on Levineā€™s generalized closed sets [19] had been studied in bitopological spaces in 2010, 2011, 2012, 2012, respectively.

The aim of this short communication is to study the nature and properties of some generalized closed sets in the bitopological spaces associated to the digraph. In particular, some relations between generalized closed sets in the bitopological spaces associated to the digraph are characterized.

2. Preliminaries

A digraph is an ordered pair ( š‘‹ , Ī“ ) , where š‘‹ is a set and Ī“ is a binary relation on š‘‹ . A topology may be determined on a set š‘‹ by suitably defining subsets of š‘‹ to be open with respect to the digraph ( š‘‹ , Ī“ ) . A set š“ of the digraph ( š‘‹ , Ī“ ) is open if there does not exist an edge from š“ š¶ to š“ . In other words, a set š“ of the digraph ( š‘‹ , Ī“ ) is open if š‘ š‘– āˆˆ š“ š¶ and š‘ š‘— āˆˆ š“ imply that š‘ š‘– š‘ š‘— āˆ‰ Ī“ . A set š“ of the digraph ( š‘‹ , Ī“ ) is closed if š“ š¶ is open. Consequently, a set š“ of the digraph ( š‘‹ , Ī“ ) is closed if there does not exist an edge from š“ to š“ š¶ . Equivalently, a set š“ of the digraph ( š‘‹ , Ī“ ) is closed if š‘ š‘– āˆˆ š“ and š‘ š‘— āˆˆ š“ š¶ imply that š‘ š‘– š‘ š‘— āˆ‰ Ī“ . Thus, each digraph ( š‘‹ , Ī“ ) determines a unique topological space ( š‘‹ , šœ + Ī“ ) , where šœ + Ī“ = { š“ āˆ¶ š“ āŠ† š‘‹ of ( š‘‹ , Ī“ ) is open}. Moreover, ( š‘‹ , šœ + Ī“ ) has completely additive closure. That is, the intersection of any number of open sets is open.

For example, consider the following digraph ( š‘‹ , Ī“ ) , where š‘‹ = { š‘Ž , š‘ , š‘ , š‘‘ } .

508580.shape.001

Then the topology associated to the above digraph is šœ + Ī“ = { šœ™ , š‘‹ , { š‘‘ } , { š‘ , š‘‘ } , { š‘ , š‘ , š‘‘ } } .

Consequently, { š“ āˆ¶ š“ āŠ† š‘‹ and there does not exist an edge from š“ to š“ š¶ in ( š‘‹ , Ī“ ) } forms the topology on š‘‹ and it is denoted by šœ āˆ’ Ī“ . Hence, we have a unique topological space ( š‘‹ , šœ āˆ’ Ī“ ) . Thus, the topology associated to the digraph is šœ āˆ’ Ī“ = { šœ™ , š‘‹ , { š‘Ž } , { š‘Ž , š‘ } , { š‘Ž , š‘ , š‘ } } .

Now, we are comfortable to define the bitopological space ( š‘‹ , šœ + Ī“ , šœ āˆ’ Ī“ ) with the help of these two unique topologies šœ + Ī“ , šœ āˆ’ Ī“ associated to the digraph ( š‘‹ , Ī“ ) , where šœ + Ī“ , šœ āˆ’ Ī“ are the right and left associated topologies. Also, the topology šœ + Ī“ is called the dual topology to šœ āˆ’ Ī“ and vise versa so that for every set š“ āŠ† š‘‹ , the set šœ + Ī“ -cl ( š“ ) is the least šœ āˆ’ Ī“ -open set containing š“ and the set šœ āˆ’ Ī“ -cl ( š“ ) is the least šœ + Ī“ -open set containing š“ . For any set š“ āŠ† š‘‹ of the digraph ( š‘‹ , Ī“ ) , the closure of š“ with respect to šœ + Ī“ is defined by šœ + Ī“ - c l ( š“ ) = { š‘ š‘— āˆ¶ š‘ š‘— is accessible from š‘ š‘– for some š‘ š‘– āˆˆ š“ } . In digraph, šœ + Ī“ - c l [ { š‘ } ] = { š‘Ž , š‘ } , since š‘Ž is the only point accessible from š‘ . Also, šœ āˆ’ Ī“ - c l [ { š‘ } ] = { š‘ , š‘ , š‘‘ } .

To retain the standard notation in the recent trend, ( š‘‹ , šœ 1 , šœ 2 ) will denote the bitopological space ( š‘‹ , šœ + Ī“ , šœ āˆ’ Ī“ ) . A set š“ is semiopen [20] in a topological space ( š‘‹ , šœ ) if š“ āŠ† c l [ i n t ( š“ ) ] and the complements of semiopen sets are called semiclosed sets. šœ š‘— - s c l ( š“ ) and šœ š‘— - c l ( š“ ) represent the semiclosure and closure of a set š“ with respect to the topology šœ š‘— , respectively, and they are defined by intersection of all šœ š‘— -semiclosed and šœ š‘— -closed sets containing š“ , respectively. Coā€‰ šœ š‘— represents the complements of members of šœ š‘— . Moreover, a set š“ of a bitopological space ( š‘‹ , šœ 1 , šœ 2 ) is šœ š‘– šœ š‘— -semi generalized closed (resp., šœ š‘– šœ š‘— -generalized semiclosed, šœ š‘– šœ š‘— -semi star generalized closed [21ā€“23]) if šœ š‘— - s c l ( š“ ) āŠ† š‘ˆ (resp., šœ š‘— - s c l ( š“ ) āŠ† š‘ˆ , šœ š‘— - c l ( š“ ) āŠ† š‘ˆ ) whenever š“ āŠ† š‘ˆ and š‘ˆ is šœ š‘– -semiopen (resp., šœ š‘– -open, šœ š‘– -semiopen) in š‘‹ , š‘– , š‘— = 1 , 2 and š‘– ā‰  š‘— .

šœ š‘– šœ š‘— -semi generalized closed sets, šœ š‘– šœ š‘— -generalized semiclosed sets, and šœ š‘– šœ š‘— -semi star generalized closed sets are denoted by šœ š‘– šœ š‘— - s g closed sets, šœ š‘– šœ š‘— - g s closed sets, and šœ š‘– šœ š‘— - š‘  āˆ— š‘” closed sets, respectively.

3. Relations between Some Generalized Closed Sets

In this section, we discuss some relations between generalized closed sets in the bitopological spaces associated to the digraphs.

šœ 1 -open (resp., šœ 2 -open) sets and šœ š‘– šœ š‘— - š‘  āˆ— š‘” closed sets are independent for š‘– , š‘— = 1 , 2 and š‘– ā‰  š‘— in general. For example, let š‘‹ = { š‘Ž , š‘ , š‘ } , šœ 1 = { šœ™ , š‘‹ , { š‘Ž } } , šœ 2 = { šœ™ , š‘‹ , { š‘Ž } , { š‘Ž , š‘ } } . Then { š‘Ž } is šœ 1 -open but neither šœ 1 šœ 2 - š‘  āˆ— š‘” closed nor šœ 2 šœ 1 - š‘  āˆ— š‘” closed in š‘‹ . Also, { š‘ , š‘ } is both šœ 1 šœ 2 - š‘  āˆ— š‘” closed and šœ 2 šœ 1 - š‘  āˆ— š‘” closed, but not šœ 1 -open in š‘‹ . Similarly, { š‘Ž , š‘ } is šœ 2 -open but neither šœ 1 šœ 2 - š‘  āˆ— š‘” closed nor šœ 2 šœ 1 - š‘  āˆ— š‘” closed in š‘‹ . Also { š‘ , š‘ } is both šœ 1 šœ 2 - š‘  āˆ— š‘” closed and šœ 2 šœ 1 - š‘  āˆ— š‘” closed, but not šœ 2 -open in š‘‹ .

Similarly, šœ 1 -closed (resp., šœ 2 -closed) sets and šœ š‘– šœ š‘— - š‘  āˆ— š‘” closed sets are independent for š‘– , š‘— = 1 , 2 and š‘– ā‰  š‘— in general. Since every šœ š‘– = c o šœ š‘— in a bitopological space ( š‘‹ , šœ 1 , šœ 2 ) is associated to the digraph ( š‘‹ , Ī“ ) and every šœ š‘– -open set is šœ š‘– šœ š‘— - š‘  āˆ— š‘” open in every bitopological space š‘‹ , we have every šœ š‘— -closed set is šœ š‘– šœ š‘— - š‘  āˆ— š‘” open in š‘‹ for š‘– , š‘— = 1 , 2 and š‘– ā‰  š‘— . Also, every šœ š‘— -closed set is šœ š‘– šœ š‘— - š‘  āˆ— š‘” closed in š‘‹ and hence every šœ š‘– -open set is šœ š‘– šœ š‘— - š‘  āˆ— š‘” closed in š‘‹ associated to the digraph ( š‘‹ , Ī“ ) for š‘– , š‘— = 1 , 2 and š‘– ā‰  š‘— .

Suppose that š“ is šœ š‘– -open in š‘‹ . Then š“ š¶ is šœ š‘– -closed and hence it is šœ š‘— šœ š‘– -closed in š‘‹ . Also š“ is šœ š‘— -closed and hence š“ š¶ is šœ š‘— -open in š‘‹ . This implies that š“ is šœ š‘— šœ š‘– -closed in š‘‹ associated to the digraph ( š‘‹ , Ī“ ) for š‘– , š‘— = 1 , 2 and š‘– ā‰  š‘— . So we have the following.

Theorem 3.1. Every šœ 1 -open (resp., šœ 2 -open) set is both šœ š‘– šœ š‘— - š‘  āˆ— š‘” closed and šœ š‘– šœ š‘— - š‘  āˆ— š‘” open in š‘‹ associated to the digraph ( š‘‹ , Ī“ ) for š‘– , š‘— = 1 , 2 and š‘– ā‰  š‘— .

Theorem 3.2. Every šœ 1 -closed (resp., šœ 2 -closed) set is both šœ š‘– šœ š‘— - š‘  āˆ— š‘” closed and šœ š‘– šœ š‘— - š‘  āˆ— š‘” open in š‘‹ associated to the digraph ( š‘‹ , Ī“ ) for š‘– , š‘— = 1 , 2 and š‘– ā‰  š‘— .

Since every šœ š‘– šœ š‘— - š‘  āˆ— š‘” closed (resp., šœ š‘– šœ š‘— - š‘  āˆ— š‘” open) sets are šœ š‘– šœ š‘— - š‘” closed, šœ š‘– šœ š‘— - s g closed and šœ š‘– šœ š‘— - g s closed (resp., šœ š‘– šœ š‘— - š‘” open, šœ š‘– šœ š‘— - s g open and šœ š‘– šœ š‘— - g s open) in š‘‹ , one can obtain the following:

Theorem 3.3. Every member of both šœ 1 and šœ 2 is šœ š‘– šœ š‘— - š‘” closed, šœ š‘– šœ š‘— - š‘  š‘” closed, šœ š‘– šœ š‘— - š‘” š‘  closed, šœ š‘– šœ š‘— - š‘” open, šœ š‘– šœ š‘— - š‘  š‘” open and šœ š‘– šœ š‘— - š‘” š‘  open, in š‘‹ associated to the digraph ( š‘‹ , Ī“ ) for š‘– , š‘— = 1 , 2 and š‘– ā‰  š‘— .

A subset š“ of a bitopological space ( š‘‹ , šœ 1 , šœ 2 ) is šœ š‘– šœ š‘— -nowhere dense (resp., šœ š‘– šœ š‘— -somewhere dense) if šœ š‘– - i n t [ šœ š‘— - c l ( š“ ) ] = šœ™ (resp., šœ š‘– - i n t [ šœ š‘— - c l ( š“ ) ] ā‰  šœ™ ). Clearly, šœ š‘– šœ š‘— -nowhere dense sets and šœ š‘– šœ š‘— - š‘  āˆ— š‘” closed sets are independent for š‘– , š‘— = 1 , 2 and š‘– ā‰  š‘— in general. For example, let š‘‹ = { š‘Ž , š‘ , š‘ } , šœ 1 = { šœ™ , š‘‹ , { š‘Ž } } , šœ 2 = { šœ™ , š‘‹ , { š‘Ž } , { š‘ , š‘ } } . Then { š‘Ž } is šœ 1 šœ 2 - š‘  āˆ— š‘” closed but not šœ 1 šœ 2 -nowhere dense in š‘‹ . Also, { š‘ } is šœ 1 šœ 2 - nowhere dense but not šœ 1 šœ 2 - š‘  āˆ— š‘” closed in š‘‹ .

Suppose that š“ is šœ š‘– šœ š‘— -nowhere dense in a bitopological space ( š‘‹ , šœ 1 , šœ 2 ) associated to the digraph ( š‘‹ , Ī“ ) . Then šœ š‘– - i n t [ šœ š‘— - c l ( š“ ) ] = šœ™ . Since šœ š‘– = c o , šœ š‘— , one has šœ š‘— - c l ( š“ ) = šœ™ . This implies that š“ = šœ™ . Hence, š“ is šœ š‘– šœ š‘— - š‘” closed, šœ š‘– šœ š‘— - š‘  š‘” closed, šœ š‘– šœ š‘— - š‘” š‘  closed, šœ š‘– šœ š‘— - š‘  āˆ— š‘” closed, šœ š‘– šœ š‘— - š‘” open, šœ š‘– šœ š‘— - š‘  š‘” open, šœ š‘– šœ š‘— - š‘” š‘  open, and šœ š‘– šœ š‘— - š‘  āˆ— š‘” open in š‘‹ associated to the digraph ( š‘‹ , Ī“ ) for š‘– , š‘— = 1 , 2 and š‘– ā‰  š‘— .

Therefore, one can conclude that every nonempty šœ š‘– šœ š‘— - š‘” closed (resp., šœ š‘– šœ š‘— - š‘  š‘” closed, šœ š‘– šœ š‘— - š‘” š‘  closed, šœ š‘– šœ š‘— - š‘  āˆ— š‘” closed, šœ š‘– šœ š‘— - š‘” open, šœ š‘– šœ š‘— - š‘  š‘” open, šœ š‘– šœ š‘— - š‘” š‘  open, and šœ š‘– šœ š‘— - š‘  āˆ— š‘” open) set is šœ š‘– šœ š‘— -somewhere dense in š‘‹ associated to the digraph ( š‘‹ , Ī“ ) for š‘– , š‘— = 1 , 2 and š‘– ā‰  š‘— .

Since the set šœ š‘— -cl ( š“ ) is the least šœ š‘– -open set containing š“ in the bitopological space š‘‹ associated to the digraph ( š‘‹ , Ī“ ) , šœ š‘— -cl ( š“ ) āŠ† š‘ˆ whenever š“ āŠ† š‘ˆ and š‘ˆ is šœ š‘– -open, for š‘– , š‘— = 1 , 2 and š‘– ā‰  š‘— . Hence every subset š“ āŠ† š‘‹ of the digraph ( š‘‹ , Ī“ ) is šœ š‘– šœ š‘— - š‘” closed and hence šœ š‘– šœ š‘— - š‘” open.

4. Conclusion

Thus, we have discussed the nature and properties of some generalized closed sets in the bitopological spaces associated to the digraphs in this short communication. This may be a new beginning for further research on the study of generalized closed sets in the bitopological spaces associated to the directed graphs. Hence, further research may be undertaken towards this direction. That is, one may take further research to find the suitable way of defining the bitopological spaces associated to the digraphs by using bitopological generalized closed sets such that there is a one-to-one correspondence between them. It may also lead to the new properties of separation axioms on these spaces.