ACCENT JOURNAL OF ECONOMICS ECOLOGY & ENGINEERING
Peer Reviewed and Refereed Journal IMPACT FACTOR: 2.104 SSN NO. 2456-1037 (INTERNATIONAL JOURNAL) Vol. 04, Special Issue 02, 13th Conference (ICOSD) February 2019 Available Online: www.ajeee.co.in/index.php/AJEEE
1
THE NOTION OF G-SEMI-CLOSURE, G-PRE-CLOSURE IN GENERALIZED TOPOLOGICAL SPACES: A STUDY
Dr. H. K. Tripathi
Lecturer, Govt. Womenβs Polytechnic College, Jabalpur-482001
Abstract - The notion of g-semi-closure, g-pre-closure of a set in generalized topological spaces and obtained their significant properties. Further we have introduced the notion of g-semi- interior, g-pre-interior, of a set in generalized topological spaces and obtained their significant properties.
Keywords: Generalized Topology.
1 INTRODUCTION
1.1 G-Semi-Closure and G-Semi-Interior In this section we have studied notions of g- semi-closure and g-semi-interior in generalized topological spaces and obtained their significant properties.
Definition 1.1: Let(π, ππ) be a generalized topological space and π΄ β π.Then the g- semi-closure of A is defined as the intersection of all g-semi-closed sets in X containing A. The g-semi-closure of A is denoted by πππ π΄ .
Remark 1.1: We note that πππ π΄ is the smallest g-semi-closed set in π, ππ containing A.
Proposition 1.1: Let π, ππ be a generalized topological space and let π΄ β π. Then A is g- semi-closed set if and only if πππ π΄ = π΄.
Proof: Let A be a g-closed set in X. Then clearly the smallest g-semi-closed set containing A, is itself A. Hence πππ π΄ = π΄.
Conversely suppose π΄ β π and πππ π΄ = π΄.
Since πππ π΄ is a g-semi-closed set in X, it follows that A is g-semi-closed set in X.
Proposition 1.2: Let π, ππ be a generalized topological space and let A, B be subsets of X. Then following properties holds:
(i) πππ π = π, πππ π = π.
(ii) If π΄ β π΅then πππ π΄ β πππ π΅ .
(iii)πππ π΄ βͺ πππ π΅ β πππ(π΄ βͺ π΅).
(iv) πππ π΄ β© π΅ β πππ π΄ β© πππ π΅ . (v) πππ πππ π΄ = πππ π΄ .
Proof:
(i) Since π and π are g-closed sets, from Proposition, we have, πππ π = π andπππ π = π.
(ii) Suppose π΄ β π΅ in X. Since π΅ β πππ π΅ and π΄ β π΅, we have π΄ β πππ π΅ . Now πππ π΅ is a g-semi-closed set and πππ π΄ is the smallest g-semi-closed set containing π΄, we find that πππ π΄ β πππ π΅ .
(iii) Since π΄ β π΄ βͺ π΅, π΅ β π΄ βͺ π΅ from (ii) we have πππ π΄ β πππ(π΄ βͺ π΅) and πππ π΅ β πππ π΄ βͺ π΅ . This implies πππ π΄ βͺ πππ π΅ β πππ(π΄ βͺ π΅).
(iv) Since π΄ β© π΅ β π΄ and π΄ β© π΅ β π΅ from (ii) we have πππ(π΄ β© π΅) β πππ(π΄)and πππ π΄ β© π΅ β πππ π΅ .This
impliesπππ(π΄ β© π΅) β πππ(π΄) β© πππ π΅ . (v) Since πππ(π΄) is a g-semi-closed set in
X, it follows that πππ πππ π΄ = πππ π΄ .
Proposition 1.3: Let π, ππ be a generalized topological space and let π΄β ββΞbe a family of subsets of X. Then
(i) ββΞπππ(π΄β) β πππ ( ββΞπ΄β).
(ii) πππ ββΞπ΄β β ββΞ πππ (π΄β).
ACCENT JOURNAL OF ECONOMICS ECOLOGY & ENGINEERING
Peer Reviewed and Refereed Journal IMPACT FACTOR: 2.104 SSN NO. 2456-1037 (INTERNATIONAL JOURNAL) Vol. 04, Special Issue 02, 13th Conference (ICOSD) February 2019 Available Online: www.ajeee.co.in/index.php/AJEEE
2 Proof: Similar to proof of Proposition 1.3 (iii) and (iv).
Definition 1.2: Let π, ππ be a generalized topological space and let π΄ β π. Then the g- semi-interior of A is defined as the union of all g-semi-open sets in X contained in A.
The g-semi-interior of A is denoted by πππ π΄ .
Remark 1.2: We note that πππ π΄ is the largest g-semi-open set in π, ππ contained in A.
Proposition 1.4: Let π, ππ be a generalized topological space and let π΄ β π. Then A is g- semi-open if and only if πππ π΄ = π΄.
Proof: Let A be a g-open set in X. Then clearly the largest g-semi-open set contained in A is itself A. Hence πππ π΄ = π΄.
Conversely suppose π΄ β π and πππ π΄ = π΄.
Since πππ π΄ is a g-semi-open set in X, it follows that A is a g-semi-open set in X.
Proposition 1.5: Let π, ππ be a generalized topological space and let A, B be subsets of X. Then following properties holds:
(i) πππ π = π, πππ π = π.
(ii) If π΄ β π΅ then πππ π΄ β πππ π΅ . (iii)πππ π΄ βͺ πππ π΅ β πππ(π΄ βͺ π΅).
(iv) πππ π΄ β© π΅ β πππ π΄ β© πππ π΅ . (v) πππ πππ π΄ = πππ π΄ .
Proof:
(i) Since π and X are g-semi-open sets, from Proposition, we have, πππ π = π and πππ π = π.
(ii) Suppose π΄ β π΅ in X. Since πππ π΄ β π΄and π΄ β π΅, we have πππ π΄ β π΅. Now πππ π΄ is a g-semi-open set and π ππ π΅ is the largest g-semi-open set contained in B, we find that πππ π΄ β πππ π΅ .
(iii) Since π΄ β π΄ βͺ π΅, π΅ β π΄ βͺ π΅ from (ii) we have πππ π΄ β πππ π΄ βͺ π΅ and πππ π΅ β
πππ π΄ βͺ π΅ . This implies πππ π΄ βͺ πππ π΅ β πππ π΄ βͺ π΅ .
(iv) Since π΄ β© π΅ β π΄ and π΄ β© π΅ β π΅, from (ii) we have πππ π΄ β© π΅ β πππ π΄ and πππ π΄ β© π΅ β πππ π΅ . This implies πππ π΄ β© π΅ β πππ π΄ β© πππ π΅ .
(v) Since πππ π΄ is a g-semi-open set in X, it follows that πππ πππ π΄ = πππ π΄ .
Proposition 1.6: Let π, ππ be a generalized topological space and let π΄β ββΞ be a family of subsets of X. Then
(i) ββΞπππ(π΄β) β πππ ( ββΞπ΄β).
(ii) πππ ββΞπ΄β β ββΞπππ (π΄β).
Proof: Similar to proof of Proposition 1.5 (iii) and (iv).
Proposition 1.7: Let π, ππ be a generalized topological space and let π΄ β π. Then
(i) πππ π β π΄ = π β πππ π΄ . (ii) πππ π β π΄ = π β πππ π΄ .
Proof:
(i) We haveπ β πππ π΄ = ββΞ { πΉβ: πΉβis a g- semi-colsed set in π and π΄ β πΉβ}
= ββΞ {π βπΉβ: π β πΉβ is ag-semi-open set in X and π β πΉβ β π β π΄ }.
=πππ π β π΄ .
(ii) From (i), we have π β πππ π β π΄ = πππ(π β π β π΄ )=πππ π΄ . Hence π β πππ π΄ = πππ π β π΄ .
2 G-PRE-CLOSURE AND G-PRE- INTERIOR:
In this section we have studied notions of g- pre-closure and g-pre-interior in generalized topological spaces and obtained their significant properties.
Definition 2.1: Let (π, ππ) be a generalized topological space and letπ΄ β π.Then the g- pre-closure of A is defined as the intersection of all g-pre-closed sets in X
ACCENT JOURNAL OF ECONOMICS ECOLOGY & ENGINEERING
Peer Reviewed and Refereed Journal IMPACT FACTOR: 2.104 SSN NO. 2456-1037 (INTERNATIONAL JOURNAL) Vol. 04, Special Issue 02, 13th Conference (ICOSD) February 2019 Available Online: www.ajeee.co.in/index.php/AJEEE
3 containing A. The g-pre-closure of A is denoted by πππ π΄ .
Remark 2.1: We note that πππ π΄ is the smallest g-pre-closed set in π, ππ containing A.
Proposition 2.1: Let π, ππ be a generalized topological space and let π΄ β π. Then A is g- pre-closed set if and only if πππ π΄ = π΄.
Proof: Let A be a g-closed set in X. Then clearly the smallest g-pre-closed set containing A, is itself A. Hence πππ π΄ = π΄.
Conversely suppose π΄ β π andπππ π΄ = π΄.
Since πππ π΄ is a g-pre-closed set in X, it follows that A is g-pre-closed set in X.
Proposition 2.2: Let π, ππ be a generalized topological space and let A, B be subsets of X. Then following properties holds:
(i) πππ π = π, πππ π = π.
(ii) If π΄ β π΅then πππ π΄ β πππ π΅ . (iii) πππ π΄ βͺ πππ π΅ β πππ(π΄ βͺ π΅).
(iv) πππ π΄ β© π΅ β πππ π΄ β© πππ π΅ . (v) πππ πππ π΄ = πππ π΄ .
Proof:
(i) Since π and π are g-closed sets, from Proposition 4.3.1, we have, πππ π = π and πππ π = π.
(ii) Suppose π΄ β π΅ in X. Since π΅ β πππ π΅ and π΄ β π΅, we have π΄ β πππ π΅ . Now πππ π΅ is a g-pre-closed set and πππ π΄ is the smallest g-pre-closed set containing π΄, we find that πππ π΄ β πππ π΅ .
(iii) Since π΄ β π΄ βͺ π΅, π΅ β π΄ βͺ π΅ from (ii) we have πππ π΄ β πππ(π΄ βͺ π΅) and πππ π΅ β πππ π΄ βͺ π΅ . This impliesπππ π΄ βͺ πππ π΅ β πππ(π΄ βͺ π΅).
(iv) Since π΄ β© π΅ β π΄ and π΄ β© π΅ β π΅ from (ii) we have πππ π΄ β© π΅ β πππ π΄ and πππ π΄ β© π΅ β πππ π΅ . This implies πππ π΄ β© π΅ β πππ π΄ β© πππ π΅ .
(v) Since πππ(π΄) is a g-pre-closed set in X, it follows that πππ πππ π΄ = πππ π΄ .
Proposition 2.3: Let π, ππ be a generalized topological space and let π΄β ββΞbe a family of subsets of X. Then
(i) ββΞπππ(π΄β) β πππ ( ββΞπ΄β).
(ii) πππ ββΞπ΄β β ββΞ πππ (π΄β).
Definition 2.2: Let π, ππ be a generalized topological space and let π΄ β π. Then the g- pre-interior of A is defined as the union of all g-pre-open sets in X contained in A. The g-pre-interior of A is denoted by πππ π΄ .
Remark 2.2: We note that πππ π΄ is the largest g-pre-open set in π, ππ contained in A.
Proposition 2.4: Let π, ππ be a generalized topological space and letπ΄ β π. Then A is g- pre-open if and only if πππ π΄ = π΄.
Proof: Let A be a g-open set in X. Then clearly the largest g-pre-open set contained in A is itself A. Hence πππ π΄ = π΄. Conversely suppose π΄ β πand πππ π΄ = π΄. Since πππ π΄ is a g-pre-open set in X, it follows that A is a g-pre-open set in X.
Proposition 2.5: Let π, ππ be a generalized topological space and let A, B be subsets of X. Then following properties holds:
(i) πππ π = π, πππ π = π.
(ii) If π΄ β π΅ then πππ π΄ β πππ π΅ . (iii)πππ π΄ βͺ πππ π΅ β πππ(π΄ βͺ π΅).
(iv) πππ π΄ β© π΅ β πππ π΄ β© πππ π΅ . (v) πππ πππ π΄ = πππ π΄
Proof:
(i) Since π and X are g-pre-open sets, from Proposition, we have, πππ π = π and πππ π = π.
(ii) Suppose π΄ β π΅ in X. Sinceπππ(π΄) β π΄andπ΄ β π΅, we have πππ π΄ β π΅. Now
ACCENT JOURNAL OF ECONOMICS ECOLOGY & ENGINEERING
Peer Reviewed and Refereed Journal IMPACT FACTOR: 2.104 SSN NO. 2456-1037 (INTERNATIONAL JOURNAL) Vol. 04, Special Issue 02, 13th Conference (ICOSD) February 2019 Available Online: www.ajeee.co.in/index.php/AJEEE
4 πππ π΄ is a g-pre-open set and πππ π΅ is the largest g-pre-open set contained in B, we find that πππ π΄ β πππ π΅ .
(iii) Since π΄ β π΄ βͺ π΅, π΅ β π΄ βͺ π΅ from (ii) we have πππ π΄ β πππ π΄ βͺ π΅ and πππ π΅ β πππ π΄ βͺ π΅ . Thisimplies πππ π΄ βͺ πππ π΅ β πππ π΄ βͺ π΅ .
(iv) Since π΄ β© π΅ β π΄ and π΄ β© π΅ β π΅, from (ii) we have πππ π΄ β© π΅ β πππ π΄ and πππ π΄ β© π΅ β πππ π΅ . This implies πππ π΄ β© π΅ β πππ π΄ β© πππ π΅ .
(v) Since πππ π΄ is a g-pre-open set in X, it follows that πππ πππ π΄ = πππ π΄ .
Proposition 2.6: Let π, ππ be a generalized topological space and let π΄β ββΞ be a family of subsets of X. Then
(i) ββΞπππ(π΄β) β πππ ( ββΞπ΄β).
(ii) πππ ββΞπ΄β β ββΞπππ (π΄β).
Proposition 2.7: Let π, ππ be a generalized topological space and letπ΄ β π. Then
(i) πππ π β π΄ = π β πππ π΄ . (ii) πππ π β π΄ = π β πππ π΄ .
Proof: (i) We have π β πππ π΄ = π β { πΉβ
ββΞ : πΉβis a g-pre-closed setin π and π΄ β πΉβ} = ββΞ {π βπΉβ: π β πΉβ is ag-pre-open set in X and π β πΉβ β π β π΄ }. =πππ π β π΄ . (ii) From (i), we have π β πππ π β π΄ = πππ(π β π β π΄ )=πππ π΄ . Hence π β πππ π΄ = πππ π β π΄ .
3 CONCLUSION
Research conclude for the notion of g-semi- closure, g-pre-closure of a set in generalized topological spaces and obtained their significant properties. Further we have introduced the notion of g-semi-interior, g- pre-interior, of a set in generalized topological spaces and obtained their significant properties.
REFERENCES
1. Abd-El-Monsef, M.E., El- Deeb, S. and Mahmoud, R.A., π½-open and π½- continuous mappings, Bull.Fact. 12 (1983). 77-90.
2. Abd-El-Monsef, M.E., Lashien, E.F. and Nasef, A.A., On I-open sets and I- continuous functions, Kyungpook, Math. J., 32 (1992), 21- 30.
3. Acikgoz, A., Noiri, T. and Yu ksel S., A decomposition of continuity in ideal topological spaces, Acta Math. Hungar. 105(4) (2004) 285- 289.
4. Acikgoz, A., Noiri, T., and Yuskel, S., On πΌ -I- continuous and πΌ -I-open functions, Acta Math.
Hungar, 105 (1-2), (2004), 27-37.
5. Alagar, R., Nearly c-compact spaces with respect to an ideal Varahmihir Journal of Mathematical Sciences, 5 (2005), 153-158.
6. Andrejevic, D., Some properties of the topology of Ξ±β sets, Mat. Vasnik, 36 (1984), 1-10.
7. Andrijevic D., Semi-preopen sets. Mat Vesnik 38 (1986) 24 β32.
8. Andrijevic D., On the topology generated by preopen sets, Mathemathhkh Bechhk, 39, (1987), 463β466.
9. Aslim, G., Guler, A.C. and Noiri, T., On πππ - closed sets in topological spaces, Acta Math.
Hungar, 112 (2006), 275-283.
10. Aunt J.H.V. On semi closed sets and semi open sets and their applications, Fund. Math.
76 No.1 (1972) 29-41.
11. Balachandran, K., Devi, R. and Maki, H., Generalized πΌ βclosed maps and πΌ βgeneralized closed maps, Indian J Pure and Appl Math, 29 (1) (1998)37-49.
12. Balachandran, K., Sundaram, P., and Maki, H., Generalized locally closed sets and GLC- continuous functions, Indian J. Pure appl.
Math., 27 (1996), 235-244.
13. Beceren Y. and Noiri T. Some function defined by semi open and ο’-open sets, Chaos Solitons fractals 36 (2008) 1225- 1231.
14. Beceren, Y. and Noiri, T., On πΌ -precontinuous functions, Far East J. Math. Sci., (FJMS), Special Volume, Part III (2000), 295-303.
15. Beceren, Y. and Noiri, T., Some functions defined by πΌ -open and preopen sets, Chaos, Solitons and Fractals, 37 (2008), 1097-1103.