On Grill S β -Open Set in Grill Topological Spaces

: In this article we originate a new class of Grill Set, namely GS β -Open Set, which is parallel to the β Open Set in Grill Topological Space ( X , θ , G ) . In addition, we entitle GS β -continuous and GS β -open functions by applying a GS β -Open Set and we review some of its important properties. Many examples are given to explain the concept lucidly. The properties of GS β open sets are investigated and studied. The theorems based on the arbitrary union and ﬁnite intersections are discussed with counter examples. Moreover, some operators like GS β − closure and GS β − interior are introduced and investigated. The concept of GS β − continuous functions are compared with the idea of G − Semi Continuous function. The theorems based on GS β − continunity have been proved


Introduction
In [1,2] the concept based on Grl had been a useful tool like nets and filters for getting rooted deviation in further studying some topological properties like compactifications, along with extension problems of different kinds. Many more analyses, such as Al Hawary et al. [3][4][5][6][7], had characterized and entrenched the properties based on Gene OS in the classical topo. The study of Grl on a TS was going on from 1930 and 1947 correspondingly until now. Mathematicians like Al Omari and Noiri along with Dasan and Thivagar had enriched this field and contribution in this field was worthy. Al Omari and Noiri [8] defined a new topology and they proposed generalized space in GTS. It was proved that Grls, nets along with filters, were useful and important for studying some tpl concepts such as proximity spaces, closure spaces, the theory of compactifications and other similar extension problems. The supremacy of mathematics was upheld by the interpolation of concepts like Grl N topology. Choquet [9] was the first one to develop Grl topology. Choquet [9] originated the philosophy of Grl on a TS and the thought of Grl was revealed to be an important manoeuvre for examining some topological properties. Dasan and Thivagar [10] proposed the concept of N-TS and also established the N-Tpl OS.
As noted from the literature [11], there had been a growing trend among topologists to propose and study different allied or weaker forms of OS, motivating the investigation of the corresponding types of cts-like functions between TS. This again had given rise to different decompositions of cts functions. Ganesan [12][13][14] utilized the operator ϕ to accomplish their decomposition of cty. Using the idea of Grl and many interesting constructions, properties and depictions had been deduced. Tpl developments were directly applied in topical fields such as artificial intelligence and information systems along with data analysis. Hatir and Jafari [15], Kanchana et al. [16] and Kuratowski [17] characterized new classes of sets in a GTS and obtained new composition of Cty in terms of Grl. A classical prototype for decomposition based on Cty along with Semi Cty was the article of Levine [18,19]. During the past ten years, the study of Cty along with Compactness, nano CS and irresolute function has been generalized. Levine proposed the notion of generalized CS in TS and showed that compactness, countably compactness, para compactness and normality are all g-csd hereditary. Mandal and Mukherjee [20] fabricated the faintly Cty and weak Cty functions via tpl Grls.
Mashour [21] and Njastad [22] introduced and inspected semi pre-OS, generalized semi-OS, semi-generalized OS, generalized OS, SO sets and PO sets which are some of the weaker forms of the OS, and complements of these sets are labeled as CS correspondingly. Nagaveni proposed the weakly generalized CS and semi weakly generalized CS in GTS. Roy and Mukherjee [23,24] declared a new tpl opr via Grl and also discussed a type of compactness via Grl. Roy and Mukherjee [23] have used Grl on TS with a different attitude. Roy and Mukherjee [24] elongated this idea further and constructed a topology for corresponding Grl in a given TS. The notion of soft Grl, soft operators, precontinuity and soft topology τ G were defined and discussed by Saif and Al-Muntaser [25]. The idea of disintegration of Cty on a GTS and some families of sets was characterized to Grl in [26][27][28]. Thorn [29] proved that Grls are always a union of ultra-filters. The idea of N TS was initiated by Veliko [30], and he also extended Grl topology to Grl N TS when further topological H-closed space was introduced.
Voskoglou [31] inspected the weaker and stronger forms of g-irresolute functions and Fuzzy topology in GTS. Song proposed the concept of absolutely countably compact and also inspected the relationship between these spaces along with other star compact spaces. Hatir and Jafari [15], with the same motivation, culminated in the interpolation and study of ϕ OS, where ϕ is a suitable operator. Zhong et al. [32] proposed a class of submeta compactness in L-TS. Devi et al. introduced a class of generalized semi opn-compact along with semi-generalized opn-compact in GTS, Pseudo metric topo, and investigated some of its theorems. Al Ghour [33] introduced the class of soft ω p open sets and proved they closed under soft union and do not form a soft topology. In addition, decomposition of soft ω p continuity has been defined and investigated. Al-shami et al. [34] introduced the concept of sum of soft topological spaces using pair wise disjoint soft topological spaces and studied some of its basic properties. Mahafzah et al. [35] designed some electronic architecture using a topological approach. Grill topology has diverse applications in science and engineering that comprise camouflage filters, categorization, digital image processing, forgery detection, Hausdorff raster spaces, image analysis, microscopy, paleontology, pattern recognition, population dynamics, stem cell biology, and topological psychology, along with visual merchandising.
In this article we propose a new class of set, namely GS β -Ops, GS β Csd set, and GS β -Cty along with GS β − opn functions are investigated and some of their properties have been investigated. Many illustrations are given to explain the concept details. The concept of GS β clos and GS β int are investigated and studied. In addition to that, some properties are also investigated with some illustrations. The concept of G Semi continuous and GS β continuity is independent if proved with a proper example. In addition to this theory, the concept of GS β continuous mapping has been defined and investigated. Equivalence relationships between GS β open function, GS β closed function and GS β continuous functions are investigated and studied. Many theorems based on GS β − cts functions have been proved.

Preliminaries
A collection G of nonempty Sbt based on a TS (X, θ) is said to be a Grl on X if: (i) C ∈ G along with C ⊆ D implies that D ∈ G; and in addition (ii) C, D ⊆ X then C ∪ D ∈ G implies that C ∈ G or D ∈ G. A triplet (X, θ, G) is labeled as a GTS.
Roy and Mukherjee [23] designated a similar topo by a Grl and they examined some tpl properties. For any point t of a TS (X, θ), θ(t) indicate the number of all opn nbd of t. We define the function ϕ : P(X) → P(X) as ϕ(A) = {t ∈ X : A ∩ U ∈ G for all U ∈ θ(t)} for every A ∈ P(X). Similarly, µ(A) = A ∪ ϕ(A) for all A ∈ P(X) can be defined. The mapping µ satisfies Kuratowski closure axioms: Analogous to a Grl G on a TS (X, θ), there exists a similar topo τ G (say) on X denoted by The idea of disintegration of Cty on a GTS and some families of sets were characterized to Grl in [26][27][28].
A Sbt E in X is defined to be: Using the theory of semi interior and semi closure we have defined β-interior and β-closure sets. For each sbt D of X, In this article, we have characterized a GS β -Ops in a GTS (X, θ, G) and we have investigated some basic properties. In addition to this, we have characterized GS β − cts, GS β − opn, GS β − csd and GS * β − cts function on a GTS (X, θ, G) and we have studied some of their important properties.

GS β -Open Sets
Definition 1. Accredit (X, θ , G) be a GTS along with B be a sbt of X. Then B is called GS β − opn in the case that there exists a U ∈ βO(X) such that U ⊆ B ⊆ µ(U). The class of all GS β -ops is expressed as GS β O(X) . The complement of X − B is called GS β C(X). β int(B)).
Proof. Proof follows directly from Theorem 2 and Corollary 1.

Proof.
Let Note that the inverse of the above proposition need not be accurate.  Theorem 4. Given that (X, θ, G)be a GTS:
Proof. The fundamental part is proved in Theorem 5. Conversely, suppose that Theorem 7. Let (X, θ, G) be a GTS and E ⊆ X. Then: Proof . Proof follows from the Definition 2 and Theorem 4 (i).

Theorem 8.
Accredit (X, θ, G) be a GTS and A, B ⊆ X. Then the following is correct.
Proof. Proof follows by the Definition 2.

Remark 2.
The idea of G-Semi cont [12] along with GS β − cts is independent. From (i) and (ii) we clinch that the idea of G-Semi cont and GS β − cts are independent.
This implies that n is GS β − cts. Inversely, suppose that n is GS β − cts.Accredit z ∈ X and V ∈ α(Y) containing f (z). Then X × V ∈ βO(X × Y) and by GS β -cty of n, there exist a U ∈ GS β O(X) containing z such that n(U) ⊆ X × V. Then we got m(U) ⊆ V and hence m is GS β − cts. Proof. Suppose that m is GS β − opn function and let ∈ X. Accredit U be any pre-nbd of r.
Theorem 15. Let (X, θ, G) be a GTS. Then for a function m : (X, θ, G) → (Y, σ) the subsequent statement is equivalent: Proof. Proof follows directly from the Definition 6.

Data Availability Statement:
The data presented in this study are available through email upon request to the corresponding author.

Conflicts of Interest:
The authors declare no conflict of interest.