 Open Access
 Authors : Mahmud Musa , B. I. Mshelia , N. H. Manjak , Ali Musa
 Paper ID : IJERTV10IS120205
 Volume & Issue : Volume 10, Issue 12 (December 2021)
 Published (First Online): 06012022
 ISSN (Online) : 22780181
 Publisher Name : IJERT
 License: This work is licensed under a Creative Commons Attribution 4.0 International License
Existence of New Sets in an Ideal Topological Spaces
Mahmud Musa*1, B. I. Mshelia2, N. H. Manjak3, Ali Musa 4
1,2,3 Department of Mathematical Sciences, Abubakar Tafawa Balewa University, PMB 0248, Bauchi, Nigeria.
4. Department of Mathematics and Statistics, Yobe State University, PMB 1144, Damatu, Nigeria.
Abstract: An ideal topological space is a triplet (, , I), where is a nonempty set, is a topology on , and I is an ideal of subsets of
. In this article, we introduce *perfect, *perfect, and *perfect sets in ideal spaces and study their properties. We obtained a characterization for compatible ideals via L*perfect sets. Also, we obtain a generalized topology via ideals which is finer than using L*perfect sets on a finite set.
Key words *perfect sets, *perfect sets, and *perfect sets.

Introduction and Preliminaries The contributions of Hamlett and Jankovic (D. Jankovic and T. R. Hamlett, 1990) in ideal topological spaces initiated the generalization of some important properties in general topology via topological ideals. The properties like decomposition of continuity, separation axioms, connectedness, compactness, and resolvability (G. Aslim, A. Caksu Guler, and T. Noiri, 2005)( E. Ekici and T. Noiri, 2008) have been generalized using the concept of ideals in topological spaces. By a space (, ), we mean a topological space with a topology defined on on which no separation axioms are assumed unless otherwise explicitly stated. For a given point in a space (, ), the system of open neighborhoods of is denoted by () = { : }. For a given subset of a space (, ), cl() and int() are used to denote the closure of and interior of , respectively, with respect to the topology.
A nonempty collection of subsets of a set is said to be an ideal on , if it satisfies the following two conditions: (i) If I and , then I; (ii) If I and I, then I. An ideal topological space (or ideal space)
(, , I) means a topological space (, ) with an ideal I defined on . Let (, ) be a topological space with an ideal I defined on . Then for any subset of , (I, ) = { / I for every ()} is called the local function of with respect to I and . If there is no ambiguity, we will write (I) or simply for (I, ). Also, cl() = defines a Kuratowski closure operator for the topology *(I) (or simply ) which is finer than . An ideal I on a space (, ) is said to be condense ideal if and only if I = {}. X* is always a proper subset of X. Also, X=X* if and only if the ideal is condense.
Lemma 1 (D. Jankovic and T. R. Hamlett, 1990). Let (, ) be a space with I1 and I2 being ideals on , and let and be two subsets on . Then (i) * *; (ii) I1 I2 *(I2)*(I1); (iii) * = (*) () (* is a closed subset of ()); (iv) (*) * *; (v) ( )* = * *; (vi) * * = ( )* * ( )*; (vii) for every I, ( )* = * = (
)*.

*Perfect, *Perfect, and *Perfect Sets
In this section, we define three collections of subsets L, R and C in an ideal space and study some of their properties.
Definition 5. Let (, , I) be an ideal topological space. A subset of is said to be (i) perfect if I, (ii) perfect if
I, (iii) perfect if is both perfect and perfect. The collection of perfect sets, perfect sets, and – perfect sets in (, , I) is denoted by L, R, and C, respectively. Remark 6. (i) If I = {0}, then L = { : = cl()} = the collection of all denseinitself sets = (), R = { : } = the collection of all closed sets = { : = = cl()} = the collection of all closed sets in (, ) = the collection of all perfect sets, C = { : , } = :
= = cl() = the collection of all closed sets in (, ) = the collection of all perfect sets. (1) (ii) If I = P(), then L = T =
(). (iii) If I, then L = () (by Theorem 4(iv)).
In this thesis we are going to present some existing theorems, propositions and lemma that shall be applied to establish the existence of new sets in an ideal topological space. These theorems state some properties of L*perfect set which used to obtain a characterization for compatible and a generalize topology via ideals which is finer than .

Main result
Theorem 1. A subset A of a topological space X is closed if and only if A contains each of its accumulation points, i.e. A A* (Seymour, 1965).
Proof; Let ( ). Since , an open set G such that and = or {} however, ; hence in particular, = . We can also claim that = . If , then and where is an open set. So and thus = . Accordingly, ( ) = ( ) ( ) = = . ( ). Thus is an interior point of ( ) which is therefore an open set. Hence A A* is closed.
Proposition. 2 Manoharan and Thangavelu (2013) Let (, , I) be an ideal space and . The set is *perfect if and only if * in implies that I.
Proof. Assume that is an *perfect set. Then * I. By heredity property of ideals, every set * in is also in I. Conversely, assume that * in implies that I. Since * is a subset of itself, by assumption * I. Hence is *perfect.
Theorem 3. (Manoharan and Thangavelu, 2013; Srivastarva and Gaur, 2020). Let (,) be a space with ideal I on .
Then the following are equivalent I.
(i) If has a cover of open sets each of whose intersection with is I, then is in I.
(ii) For every , * = I.

For every , * I.

For every *closed subset , * I.

For every , if contains no nonempty subset with A , then I.
Definition 4. Srivastarva and Gaur, (2020) Let (, , I) be an ideal topological space. A subset of is said to be *perfect if
* I
Remark 5. If I = {}, then L = { : * = cl()} = the collection of all * denseinitself sets = ().
Proposition 6.In an ideal space (, , I), every *closed set is L*perfect.
Proof. Let be a *closed set. Therefore, *. Hence * = = I. Therefore, is an L*perfect set.
Example 7. Let (, , I) be an ideal space with = {, , }, = {, , {}}, and I = {, {}}.The set {, } is L*perfect set which is not a *closed set and hence not a regular–closed set.
Proposition 8. Manoharan and Thangavelu (2013) In an ideal space (, , I), every *densein itself set is an *perfect set.
Proof. Let be a *denseinitself set of . Then *. Therefore, * = I. Hence is an *perfect set.
Corollary 9. Manoharan and Thangavelu (2013) In an ideal space (, , I)

every dense set is *perfect,

every open set is *perfect,

every almost strong Iopen set is *perfect,

every almost open set is *perfect,

every regular–closed set is *perfect,

every set is *perfect.

Proof. Since all the above sets are *denseinitself, by Proposition 8 which said In an ideal space (, , I), every *densein itself set is an *perfect set. Therefore, these sets are *perfect.
Proposition10. Manoharan and Thangavelu (2013) In an ideal space (, , I),

empty set is an *perfect set,

is an *perfet set if the ideal is codense.
Proof.

Since * = I, the empty set is an *perfect set.

We know that =* if and only if the ideal I is codense. Then * = I. Hence the result follows.

Remark 10.1. from the above theorems, corollaries and proposition we prove that finite union and intersection of L*perfect sets are again L*perfect set. Using these results, we obtain a new topology for the finite topological spaces which is finer than
*topology. In Ideal spaces, usually implies * *. We observe that there are some sets and such that but *
= *.
Example 11.Let (, , I) be an ideal space with = {, , , }, = {, , {, }, {}, {, , }}, I = {, {}, {}, {, }}. Here the sets = {} and = {, } are such that , but * = * = {, , }.
Proposition12.(Manoharan and Thangavelu, 2013; Sebastian and Manoharan, 2018)
Let (, , I) be an ideal space. Let and be two subsets of such that and * = *; then is *perfect if is * perfect.
Proof. Let be an *perfect set. Then * I. Now, * = * *. By heredity property of ideals, * I. Hence is *perfect.
Corollary 13. (Manoharan and Thangavelu, (2013) Let (, , I) be an ideal space. Let and be two subsets of such that
*; then is *perfect if is *perfect
Proof. Since cl*, * * (cl*)* = *. Hence * = *. Therefore, the result follows from Proposition 12. Proposition 14. Manoharan and Thangavelu (2013). If a subset of an ideal topological space (, , I) is *perfect set and * is *perfect, then * is *perfect
Proof. Since is *perfect, * I. By a Lemma *B*= ( B)* B* ( B)*. for every I, ( )* = * = (
)*. Therefore, (* (* ))* = ** = (* (*))*.This implies ** = (*)*. Therefore, we have * * with (
*) * = **. By Proposition 14, * is *perfect if * is *perfect set. Hence * is *perfect.
Proposition 15. . (Manoharan and Thangavelu 2013; Srivastarva and Gaur, 2020).. If and are *perfect sets, then is an *perfect set
Proof. Since and are *perfect sets, * I and * I. Hence by finite additive property of ideals, (*) (*) I. Since () ()* = () (* *) (*) (*), by heredity property () ()* I. This proves that is an *perfect set.
Corollary16. . (Manoharan and Thangavelu, 2013; Sebastian,and Manoharan, 2018; Srivastarva and Gaur, 2020) Finite union of *perfect sets is an *perfect sets.
Proof. Since 1, 2, 3, , and 1 , 2, 3, , are *perfect sets, I and I. Hence by finite additive
property of ideals, ( ) ( ) I. Since ( ) ( )* = ( ) ( ) ( ) (
), by heredity property (
) (
)* I. This proves that
is an *perfect set.
Proposition 17. If and are L*perfect sets, then is an L*perfect set.
Proof. Suppose that and are L*perfect sets. Then * I and * I. By finite additive property of ideals, (
*) ( *) I. Since ( ) (* *) ( *) ( *), by heredity property ( ) (* *) I. Also ( ) ( )* ( ) (* *) I. This proves the result.
Corollary 18. Finite intersection of L*perfect sets is an L* perfect set.
Proof. Since 1, 2, 3, , and 1 , 2, 3, , are *perfect sets, then I and I. Hence by finite
additive property of ideals, ( ) ( ) I. Since ( ) ( ) ( ) ( ), by heredity
property ( ) ( ) I. Also ( ) ( )* ( ) ( ), This proves that is an
*perfect set.
Proposition 19. If (, , I) is an ideal topological space with being finite, then the collection L is a topology which is finer than the topology of *closed sets.
Proof. By proposition 10, and are *perfect sets. By Corollary 16, finite union of *perfect sets is an *perfect set, and by Corollary 18, finite intersection of L*perfect sets is L*perfect. Hence the collection L is a topology if is finite. Also, by Proposition 6 every *closed set is an L* perfect set. Hence the topology L is finer than the topology of closed sets if is finite.
Proposition 20.In an ideal space (, , I), {* } I L.
Proof. The proof follows from Propositions 8 and 10. The following example shows that {*closed sets} I L.
Example 21.Let (, , I) be an ideal space with = {, , }, = {, , {}}, and I = {, {}}. The collection of *closed sets is {, , {}, {, }} and L = {, , {}, {, }, {, }}. Now, {*closed sets} I = {, , {}, {, }} L. Proposition22 (Manoharan and Thangavelu, 2013, Sebastian,and Manoharan, 2018).
.Let (, , I) be an ideal space and . The set is L*perfect if and only if * in implies that I
Proof. Assume that is an L*perfect set. Then * I. By heredity property of ideals, every set * in is also in
I. Conversely assume that * in implies that I. Since * is a subset of itself, by assumption * I. Hence
is an L*perfect.
Theorem 23.Let (, ) be a space with an ideal I on .
Then the following are equivalent. (i) I. (ii) If has a cover of open sets each of whose intersection with is I, then is in I. (iii) If , then * = I. (iv) If , then * I. (v) If and is L*perfect set, then * I. (vi) For every closed subset , * I. (vii) For every , if contains no nonempty subset with *, then I (Manoharan and Thangavelu, 2013).
Proof. To prove this theorem, it is enough to prove (iv) (v) (vi). Others follow from Theorem 3. (iv) (v) follows from a Proposition if a subset A of an ideal space (, , I) is C*perfect, then * I. Suppose that * I. Since * *, by heredity property * I. Hence (v) (vi).


L*Topology
By corollary 9 and Proposition 17, we observe that the collection L satisfies the conditions of being a basis for some topology and it will be called as L* (, I). We define L*(, I) = { / L* (, I)} on a nonempty set . Clearly, L*(, I) is a topology if the set is finite. The members of the collection L*(, I) will be called L* open sets. If there is no confusion about the topology and the ideal I, then we call L*(, I) as L*topology when is finite.
Definition 24. A subset of an ideal topological space (, , I) is said to be L*closed if it is a complement of an L*open set. Definition 25.Let be a subset of an ideal topological space (, , I). One defines L*interior of the set as the largest L* open set contained in . One will denote L*interior of a set by L* int().
Definition 26.Let be a subset of an ideal topological space (, , I). A point is said to be an L*interior point of the set
if there exists an L*open set of such that .
Definition27. Let (, , I) be an ideal space and . One defines L*neighborhood of as an L*open set containing . One denotes the set of all L*neighborhoods of by L*(). (Jankovic and Hamlett, 1990 )
Proposition 28.In an ideal space (, , I), every *open set is an L*open set.
Proof. Let be a *open set. Therefore, is a *closed set. That implies that is an L*closed set. Hence is an L* open set.
Corollary 29. The topology L*(, I) on a finite set is finer than the topology *(, I).
Proof. The proof follows from Proposition 28.
Corollary 30. For any subset of an ideal topological space (, , I), () is a L*open set.
Proof. The proof follows from Proposition 28.
Remark 31.(i) Since every open set is an L*open set, every neighborhood of a point is an L*neighborhood of . (ii) If is an interior point of a subset of , then is an L*interior point of . (iii) From (ii), we have int() int*() L* int(), where int*() denotes interior of with respect to the topology *.
Theorem 32. Let and be subsets of an ideal space (, , I) with being finite. Then the following properties hold. (i) L* int() = { : and is an L*open set}. (ii) L*int() is the largest L*open set of contained in . (iii) is L*open if and only if =L*int(). (iv) L*int(L*int()) = L*int(). (v) If , then L*int() L*int().
Proof. Let be a subset of an ideal topological space (, , I). One defines L*interior of the set as the largest L*open set contained in . One will denote L*interior of a set by L* int(). a point is said to be an L*interior point of the set if there exists an L*open set of such that . And let (, , I) be an ideal space and . We defines L* neighborhood of as an L*open set containing . We denote the set of all L*neighborhoods of by L*().
Definition 33. Let be a subset of an ideal topological space (, , I). One defines L*closure of the set as the smallest L* closed set containing . One will denote L*closure of a set by L*cl().
Remark 34. For any subset of an ideal topological space (, , I), L*cl() cl*() cl().
Theorem 35. Let and be subsets of an ideal space (, , I) where is finite. Then the following properties hold: (i) L*()
= { : and is L*closed set}. (ii) is L*closed if and only if =L*() (iii) L*(L*()) = L*() (iv) If , then L*() L*().
Proof. Let be a subset of an ideal topological space (, , I). We define L*closure of the set as the smallest L*closed set containing . We will denote L*closure of a set by L*cl().
Theorem 36.Let be a subset of an ideal space (, , I). Then the following properties hold: (i) L*int( ) = L*(); (ii) L*( ) = L*int().
Proof. Let be a subset of an ideal topological space (, , I). We define L*interior of the set as the largest L*open set contained in . We will denote L*interior of a set by L* int(), a point is said to be an L*interior point of the set if there exists an L*open set of such that , and we define L*closure of the set as the smallest L*closed set containing . One will denote L*closure of a set by L*cl().

CONCLUSION
Based on the research conducted we can easily observe that some new set in an ideal topological space exist. We also observed that L*perfect form topology. Therefore in this journal we studied the existence of new set in an ideal topological space by presenting theorems and proposition some examples are also given to illustrate theorems that can be easily employed on the topological space.
REFERENCES

D.jankovic and T.R. Hamlett, New topologies from old via ideals, Amer. math. Monthly, Vol. 97, pp 295310, 1990.

D.jankovic and T.R. Hamlett, Compatible extensions of ideals, Boll. Un.mat.ital, Vol. 7, No. 6B, pp. 453465, 1992.

E.Hayashi,Topologiesn defined by local properties, Mathematische Annal en, .156(3), 205215, 1964.

J.Sebastian Lawrence and R.Manoharan. NEW SETS AND TOPOLOGIES IN IDEAL TOPOLOGICAL SPACES, International Journal of Pure and Applied Mathematics, Vol. 118, No. 20, pp. 9398, 2018, ISSN: 13143395.

Kuratowski, Topology, Vol.1, Academic Press, New York, 1966. [6] K.D. Joshi, Introduction to General Topology. New AGE INTERNATIONAL (P) LIMITED, New Delhi110002 (1983).

R. Manoharan and P. Thangavelu, Some New sets and Topologies in Ideal Topological Spaces, Chinese Journal of Mathematics, 6 pages, 2013, Article ID 973608.

Rodyna A. Hosny, Notes on Soft Perfect Sets, Int. Journal of Math. Analysis, Vol. 8, No. 17, pp. 803 812, 2014

Srivastava, A & Gaur,R. (2020). About new sets and topologies in ideal topological spaces. International journal of Scientific Research in Mathematics and Statistical science. 7, 107110.

T. R. Hamlett and D. Jankovic, Ideals in general topology, General Topology and Applications, pp. 115 125, 1988.

Ãœmit Karabyk1, Aynur Keskin Kaymakc. Some New Regular Generalized Closed Sets in Ideal Topological Spaces, EUROPEAN JOURNAL OF PURE AND APPLIED MATHEMATICS Vol. 9, No. 4, pp. 434442, 2016, ISSN 13075543.

Seymour, L. (1965). Schaums out line of Theory and problem of General topology. McGraw.Hill, New York, pp. 7879.