Mathematical Problems in Engineering
Volume 2016 (2016), Article ID 2196743, 6 pages
http://dx.doi.org/10.1155/2016/2196743

Research Article

A New Approach to Hausdorff Space Theory via the Soft Sets

Güzide Şenel

Department of Mathematics, Faculty of Arts and Science, Amasya University, 05100 Amasya, Turkey

Received 1 April 2016; Accepted 8 August 2016

Academic Editor: Anna M. Gil-Lafuente

Copyright © 2016 Güzide Şenel. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

The aim of this paper is to present the concept of soft bitopological Hausdorff space (SBT Hausdorff space) as an original study. Firstly, I introduce some new concepts in soft bitopological space such as SBT point, SBT continuous function, and SBT homeomorphism. Secondly, I define SBT Hausdorff space. I analyse whether a SBT space is Hausdorff or not by SBT homeomorphism defined from a SBT Hausdorff space to researched SBT space. I end my study by defining SBT property and hereditary SBT by SBT homeomorphism and investigate the relations between SBT space and SBT subspace.

1. Introduction

In applied and theoretical areas of mathematics, we often deal with sets evolved with various structures. However, it may happen that the consideration of a set with classical mathematical approaches is not useful to characterize uncertainty. To overcome these difficulties, Molodtsov [1] introduced the concept of soft set as a new mathematical tool. Later, he developed and applied this theory to several directions [2–4]. New soft set definitions are made, and new classes of soft sets and mappings between different classes of soft sets are studied by many researchers [5–16]. Topology depends strongly on the ideas of set theory. The theory of soft topological spaces is investigated by defining a new soft set theory which can lead to the development of new mathematical models. The topological structure of soft sets also was studied by many authors [7, 11, 17–23] which are defined over an initial universe with a fixed set of parameters.

In 1963, Kelly [24] defined the bitopological space as an original and fundamental work by using two different topologies. It is an extension of general topology. Before Kelly, bitopological space appeared in a narrow sense in [25] as a supplementary work to characterize Baire spaces. In 1990, Ivanov [26] presented a new viewpoint for the theory of bitopological spaces by using a topologic structure on the cartesian product of two sets. There are several works on theory (e.g., [26–31]) and application (e.g., [32–36]) of bitopological spaces.

A soft set with one specific topological structure is not sufficient to develop the theory. In that case, it becomes necessary to introduce an additional structure on the soft set. To confirm this idea, soft bitopological space (SBT) by soft bitopological theory was introduced. In this theory, a soft set was equipped with arbitrary soft topologies.

In this paper, I present the definition of soft bitopological Hausdorff space and construct some basic properties. I introduce the notions of SBT point, SBT continuous function, and SBT homeomorphism. Moreover, I define SBT property and hereditary SBT by SBT homeomorphism and investigate the relations between these concepts.

2. Preliminaries

In this section, I will recall the notions of soft sets [1], soft point [23], soft function [37], soft topology [38], bitopological space [24], and soft bitopological space [39]. Then, I will give some properties of these notions.

Throughout this work, refers to an initial universe, is a set of parameters, and is the power set of .

Definition 1 (see [1]). A pair is called a soft set (over ) if and only if is a mapping or is the set of all subsets of the set .

From now on, I will use definitions and operations of soft sets which are more suitable for pure mathematics based on the study of [10].

Definition 2 (see [10]). A soft set on the universe is defined by the set of ordered pairs

where such that ; if , then .

Note that the set of all soft sets over will be denoted by .

Definition 3 (see [10]). Let . Then,

 if for all , then is called an empty set, denoted by ; if for all , then is called universal soft set, denoted by .

Definition 4 (see [10]). Let . Then,

  is a soft subset of , denoted by , if for all ;  and are soft equal, denoted by , if and only if for all .

Definition 5 (see [10]). Let . Then, soft union and soft intersection of and are defined by the soft sets, respectively:

and the soft complement of is defined by

where is the complement of the set ; that is, for all .

It is easy to see that and .

Proposition 6 (see [10]). Let . Then,

(i), ;(ii), ;(iii), ;(iv), .

Proposition 7 (see [10]). Let . Then,

(i), ;(ii), ;(iii), ;(iv); .

Definition 8 (see [8]). Let . The power soft set of is defined by

and its cardinality is defined by

where is the cardinality of .

Example 9. Let and . and

Then,

are all soft subsets of . So .

Definition 10 (see [23]). The soft set is called a soft point in , denoted by , if there exists an element such that and , for all .

Definition 11 (see [23]). The soft point is said to belong to a soft set , denoted by , if and .

Theorem 12 (see [23]). Let and be finite sets. The number of all soft points in is equal to

Theorem 13 (see [23]). A soft set can be written as the soft union of all its soft points.

Theorem 14 (see [23]). Let . Then,

for all .

Definition 15 (see [37]). (i) Let and be a soft set in . The image of under is a soft set in such that

for all .
(ii) Let and . Then, the inverse image of under is a soft set in such that

for all .

Definition 16 (see [38]). Let and . Let be the collection of soft sets over . Then, is called a soft topology on if satisfies the following axioms:

(i),(ii),(iii).

The pair is called a soft topological space over and the members of are said to be soft open in .

Example 17. Let us consider the soft subsets of that are given in Example 9. Then, , , and are some soft topologies on .

Definition 18 (see [38]). Let and . Then, is soft closed in if .

Definition 19 (see [24]). Let , and let and be two different topologies on . Then, is called a bitopological space. Throughout this paper, [or simply ] denote bitopological space on which no seperation axioms are assumed unless explicitly stated.

Definition 20 (see [24]). A subset of is called -open if and the complement of -open is -closed.

Example 21. Let , , and . The sets in are called -open and the sets in are called -closed.

Definition 22 (see [24]). Let be a subset of . Then,

(i)the -interior of , denoted by , is defined by

(ii)the -closure of , denoted by , is defined by

Definition 23 (see [39]). Let be a nonempty soft set on the universe , and let and be two different soft topologies on . Then, is called a soft bitopological space which is abbreviated as SBT space.

Definition 24 (see [39]). Let be a SBT space and . Then, is called -soft open if , where and .
The soft complement of -soft open set is called -soft closed.

Definition 25 (see [39]). Let be a soft subset . Then, -interior of , denoted by , is defined by the following:

The -closure of , denoted by , is defined by the following:

Note that is the biggest -soft open set contained in and is the smallest -soft closed set contained in .

Example 26 (see [39]). Considering Example 9, and . Then, are -soft open sets and are -soft closed sets.

3. SBT Hausdorff Space

In this section, I present the definition of soft bitopological Hausdorff space and construct some basic properties. I introduce the notions of SBT point, SBT continuous function, and SBT homeomorphism. I analyse whether a SBT space is Hausdorff or not by SBT homeomorphism defined from a SBT Hausdorff space to researched SBT space. Moreover, I define SBT property and hereditary SBT by SBT homeomorphism and investigate the relations between these concepts.

Definition 27. Let be a SBT space and . Then, is called -soft point if is a soft point in and is denoted by .

Definition 28. Let be a SBT space and let be a soft set over . The soft point is called a -interior point of a soft set if there exists a soft open set such that .

Definition 29. Let and be two SBT spaces and be a soft function. If for all and for all , then soft function is called continuous function.

Definition 30. Let and be two SBT spaces and be a soft function and .

(i) soft function is continuous function at if, for each , , there exists , , such that .(ii) is continuous on if is soft continuous at each soft point in .

Definition 31. A soft function between two SBT spaces and is called a SBT homeomorphism if it has the following properties:

(i) is a soft bijection (soft surjective and soft injective).(ii) is continuous.(iii) is continuous.

A soft function with these three properties is called homeomorphism. If such a soft function exists, we say and are SBT homeomorphic.

Definition 32. SBT property is a property of a SBT space which is invariant under SBT homeomorphisms.

That is, a property of SBT spaces is a SBT property if whenever a SBT space possesses that property every space SBT homeomorphic to this space possesses that property.

Definition 33. Let be a SBT space. If for each pair of distinct soft points , there exist a open set and open set such that , and , then is called a SBT Hausdorff space.

Example 34. Let , , and .
Then, -soft open sets are

Let , , and
, , , , and .
Hence, is a SBT Hausdorff space.

4. More on SBT Hausdorff Space

We continue the study of the theory of SBT Hausdorff spaces. In order to investigate all the soft bitopological modifications of SBT Hausdorff spaces, I present new definitions of -soft closure, SBT homeomorphism, SBT property, and hereditary SBT. I have explored relations between SBT space and SBT subspace by hereditary SBT.

Definition 35. Let be a SBT space and . If every element of can be written as the union of elements of , then is called -soft basis for .
Each element of is called soft bitopological basis element.

Theorem 36. Let be a SBT space and be a soft basis for . Then, equals the collections of all soft unions of elements .

Proof. It is clearly seen from Definition 35.

Theorem 37. Every finite point -soft set in a SBT Hausdorff space is -soft closed set.

Proof. Let be a SBT Hausdorff space. It suffices to show that every soft point is -soft closed. If is a soft point of different from , then and have disjoint -soft neighborhoods and , respectively. Since does not soft-intersect , the soft point cannot belong to the -soft closure of the set . As a result, the -soft closure of the set is itself, so that it is -soft closed.

In order to show Theorem 37, we have the following example.

Example 38. Consider the SBT Hausdorff space in Example 34. Define finite soft point -soft sets and such that soft points are and . By taking account of the notion that is a soft point of different from , then and have disjoint -soft neighborhoods and such that

Since , -soft closure of the set is itself, so that it is -soft closed.

Theorem 39. If is a SBT Hausdorff space and between two SBT spaces and is a SBT homeomorphism, then is a SBT Hausdorff space.

Proof. Let such that . Since is soft surjective, there exist such that , , and . From the hypothesis, is a SBT Hausdorff space, so there exist such that , , and . For each , , , and . So, and . Hence, , . Since is soft open, then and since is soft injective, . Thus, is a SBT Hausdorff space.

From Definition 32 and Theorem 39, we have the following.

Remark 40. The property of being SBT Hausdorff space is a SBT property.

Theorem 41. Let be a SBT space and . Then, collections

are soft bitopologies on .

Proof. Indeed, the union of the soft topologies contains and because and , where , ; it is closed under finite soft intersections and arbitrary soft unions:

In order to show Theorem 41, we have the following example.

Example 42. Let us consider the soft subsets of that are given in Example 9. Then, , , and are some soft topologies on .
By taking account of , then , and so is a soft topological subspace of . Hence, we get that is a soft bitopological space on .

Definition 43. Let be a SBT space and . If collections and are two soft topologies on , then a SBT space is called a SBT subspace of .

In order to show Definition 43, we have the following example.

Example 44. By taking account of Example 42 and considering that is a SBT Hausdorff space ordered by inclusion, we have that is called a SBT Hausdorff space of .

Theorem 45. Every SBT open set in is SBT open in SBT subspace of .

Proof. It is clearly seen from Definition 43.

Theorem 46. Let be a SBT Hausdorff space and . Then, is a SBT Hausdorff space.

Proof. Let such that . From the hypothesis, , so . Since is a SBT Hausdorff space, there exist such that , and . So and .

Thus, is SBT Hausdorff space.

From Definition 43 and Theorem 46, we have the following.

Remark 47. The property of being a soft SBT Hausdorff space is hereditary.

5. Conclusion

A soft set with one specific topological structure is not sufficient to develop the theory. In that case, it becomes necessary to introduce an additional structure on the soft set. To confirm this idea, soft bitopological space (SBT) by soft bitopological theory was introduced. It makes it more flexible to develop the theory of soft topological spaces with its applications. Thus, in this paper, I make a new approach to the SBT space theory.

In the present work, I introduce the concept of soft bitopological Hausdorff space (SBT Hausdorff space) as an original study. Firstly, I introduce some new concepts in soft bitopological space such as SBT point, SBT continuous function, and SBT homeomorphism. Secondly, I define SBT Hausdorff space. I analyse whether a SBT space is Hausdorff or not by SBT homeomorphism defined from a SBT Hausdorff space to researched SBT space. In order to investigate all the soft bitopological modifications of SBT Hausdorff spaces, I present new definitions of -soft closure, SBT homeomorphism, SBT property, and hereditary SBT. I have explored relations between SBT space and SBT subspace by hereditary SBT.

I hope that findings in this paper will be useful to characterize the SBT Hausdorff spaces; some further works can be done on the properties of hereditary SBT and SBT property to carry out a general framework for applications of SBT spaces.

Competing Interests

The author declares that there are no competing interests.

References

D. Molodtsov, “Soft set theory—first results,” Computers & Mathematics with Applications, vol. 37, no. 4-5, pp. 19–31, 1999.

D. A. Molodtsov, “The description of a dependence with the help of soft sets,” Journal of Computer and Systems Sciences International, vol. 40, no. 6, pp. 977–984, 2001.

D. Molodtsov, The Theory of Soft Sets, URSS Publishers, Moscow, Russia, 2004 (Russian).

D. A. Molodtsov, V. Y. Leonov, and D. V. Kovkov, “Soft sets technique and its application,” Nechetkie Sistemy i Myagkie Vychisleniya, vol. 1, no. 1, pp. 8–39, 2006.

H. Aktaş and N. Çağman, “Soft sets and soft groups,” Information Sciences, vol. 177, no. 13, pp. 2726–2735, 2007.

M. I. Ali, F. Feng, X. Liu, W. K. Min, and M. Shabir, “On some new operations in soft set theory,” Computers & Mathematics with Applications, vol. 57, no. 9, pp. 1547–1553, 2009.

A. Aygünoğlu and H. Aygün, “Some notes on soft topological spaces,” Neural Computing and Applications, vol. 21, supplement 1, pp. 113–119, 2011.

N. Çağman and S. Enginoğlu, “Soft matrix theory and its decision making,” Computers & Mathematics with Applications, vol. 59, no. 10, pp. 3308–3314, 2010.

N. Çağman and S. Enginoğlu, “Soft set theory and uni-int decision making,” European Journal of Operational Research, vol. 207, pp. 848–855, 2010.

N. Çağman, “Contributions to the theory of soft sets,” Journal of New Result in Science, vol. 4, pp. 33–41, 2014.

D. N. Georgiou and A. C. Megaritis, “Soft set theory and topology,” Applied General Topology, vol. 15, no. 1, pp. 93–109, 2014.

O. Kazanci, S. Yilmaz, and S. Yamak, “Soft sets and soft BCH-algebras,” Hacettepe Journal of Mathematics and Statistics, vol. 39, no. 2, pp. 205–217, 2010.

P. K. Maji, R. Biswas, and A. R. Roy, “Soft set theory,” Computers & Mathematics with Applications, vol. 45, no. 4-5, pp. 555–562, 2003.

P. K. Maji, A. R. Roy, and R. Biswas, “An application of soft sets in a decision making problem,” Computers & Mathematics with Applications, vol. 44, no. 8-9, pp. 1077–1083, 2002.

P. K. Maji, R. Biswas, and A. R. Roy, “Fuzzy soft sets,” Journal of Fuzzy Mathematics, vol. 9, no. 3, pp. 589–602, 2001.

Y. Zou and Z. Xiao, “Data analysis approaches of soft sets under incomplete information,” Knowledge-Based Systems, vol. 21, no. 8, pp. 941–945, 2008.

K. V. Babitha and J. J. Sunil, “Soft set relations and functions,” Computers & Mathematics with Applications, vol. 60, no. 7, pp. 1840–1849, 2010.

E. F. Lashin, A. M. Kozae, A. A. Abo Khadra, and T. Medhat, “Rough set theory for topological spaces,” International Journal of Approximate Reasoning, vol. 40, no. 1-2, pp. 35–43, 2005.

W. K. Min, “A note on soft topological spaces,” Computers & Mathematics with Applications, vol. 62, no. 9, pp. 3524–3528, 2011.

E. Peyghan, B. Samadi, and A. Tayebi, “About soft topological spaces,” Journal of New Results in Science, vol. 2, pp. 60–75, 2013.

G. Şenel, Soft metric spaces, gaziosmanpas [Ph.D. thesis], University Graduate School of Natural and Applied Sciences Department of Mathematics, 2013.

M. Shabir and M. Naz, “On soft topological spaces,” Computers & Mathematics with Applications, vol. 61, no. 7, pp. 1786–1799, 2011.

I. Zorlutuna, M. Akdağ, W. K. Min, and S. Atmaca, “Remarks on soft topological spaces,” Annals of Fuzzy Mathematics and Informatics, vol. 3, no. 2, pp. 171–185, 2012.

J. C. Kelly, “Bitopological spaces,” Proceedings of the London Mathematical Society, vol. 13, no. 3, pp. 71–89, 1963.

L. Motchane, “Sur La Notion Diespace Bitopologique et Sur Les Espaces de Baire,” Comptes Rendus de l'Académie des Sciences, vol. 224, pp. 3121–3124, 1957.

A. A. Ivanov, “Problems of the theory of bitoplogical spaces,” Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI), vol. 167, no. 6, pp. 5–62, 1988 (Russian), English Translation: Journal of Soviet Mathematics, vol. 52, no. 1, pp. 2759–2790, 1990

G. C. L. Brümmer, “Two procedures in bitopology,” in Categorical Topology: Proceedings of the International Conference, Berlin, August 27th to September 2nd, 1978, vol. 719 of Lecture Notes in Mathematics, pp. 35–43, Springer, Berlin, Germany, 1979.

M. C. Datta, “Projective bitopological spaces,” Australian Mathematical Society. Journal. Series A. Pure Mathematics and Statistics, vol. 13, pp. 327–334, 1972.

M. C. Datta, “Projective bitopological spaces, II,” Journal of the Australian Mathematical Society, vol. 14, no. 1, pp. 119–128, 1972.

B. P. Dvalishvili, Bitoplogical Spaces; Theory, Relations with Generalized Algebraic Structures, and Applications, vol. 199 of North-Holland Mathematical Studies, Elsevier Science, 2005.

C. W. Patty, “Bitopological spaces,” Duke Mathematical Journal, vol. 34, pp. 387–391, 1967.

D. Adnadjević, “Ordered spaces and bitopology,” Glasnik Matematički Serija III, vol. 10, no. 30, pp. 337–340, 1975.

B. Banaschewski and G. C. Brummer, “Stably continuous frames,” Mathematical Proceedings of the Cambridge Philosophical Society, vol. 104, no. 1, pp. 7–19, 1988.

H. A. Priestley, “Ordered topological spaces and the representation of distributive lattices,” Proceedings London Mathematical Society, vol. 24, no. 3, pp. 507–530, 1972.

O. Ravi and M. L. Thivagar, “A bitopological (1, 2)∗ semi-generalised continuous maps,” Bulletin of the Malaysian Mathematical Sciences Society, vol. 29, no. 1, pp. 79–88, 2006.

R. E. Smithson, “Multifunctions and bitopological spaces,” Journal of Natural Sciences and Mathematics, vol. 11, pp. 191–198, 1971.

S. Hussain and B. Ahmad, “Some properties of soft topological spaces,” Computers & Mathematics with Applications, vol. 62, no. 11, pp. 4058–4067, 2011.

N. Çağman, S. Karatas, and S. Enginoğlu, “Soft topology,” Computers & Mathematics with Applications, vol. 62, no. 1, pp. 351–358, 2011.

G. Şenel and N. Çağman, “Soft topological subspaces,” Annals of Fuzzy Mathematics and Informatics, vol. 10, no. 4, pp. 525–535, 2015.