IOSR Journal of Mathematics (IOSR-JM) e-ISSN: 2278-5728, p-ISSN: 2319-765X. Volume 11, Issue 2 Ver. I (Mar - Apr. 2015), PP 27-30 www.iosrjournals.org ∗ ∗ Slightly 푺품-continuous functions and totally 푺품-continuous functions in Topological spaces S. Pious Missier1 & J.Arul Jesti2 1Associate Professor, PG and Research Department of Mathematics, V.O. Chidambaram College, Thoothukudi, India 2Research Scholar, PG and Research Department of Mathematics, V.O. Chidambaram College, Thoothukudi, India ∗ Abstract: The aim of this paper is to introduce two new classes of functions, namely slightly 푆푔 -continuous ∗ functions and totally 푆푔 -continuous functions and study its properties. Mathematics Subject Classification: 54A05 ∗ ∗ ∗ ∗ Keywords and phrases: 푆푔 -open set, 푆푔 -closed set, slightly 푆푔 -continuous functions and totally 푆푔 -continuous functions . 1. Introduction Continuous functions in topology found a valuable place in the applications of mathematics as it has applications to engineering especially to digital signal processing and neural networks. Topologists studied weaker and stronger forms of continuous functions in topology using the sets stronger and weaker than open and closed sets. In 1997, Slightly continuity was introduced by Jain[3] and has been applied for semi-open and pre open sets by Nour[5] and Baker[1] respectively. Recently, S.Pious Missier and J.Arul Jesti have introduced the ∗ ∗ concept of 푆푔 -open sets[6], and introduced some more functions in 푆푔 -open sets. Continuing this work we shall ∗ ∗ introduce a new functions called slightly 푆푔 -continuous functions and totally 푆푔 -continuous functions and investigated their properties in terms of composition and restriction. Also we establish the relationship between ∗ ∗ slightly 푆푔 -continuous functions and totally 푆푔 -continuous functions with other functions. II. Preliminaries Throughout this paper (X, τ), (Y, σ ) and (Z, ) (or X,Y and Z) represent non-empty topological spaces on ∗ which no separation axioms are assumed unless explicitly stated. For a subset A of a space (X, τ), 푆푔 C푙(A) and ∗ ∗ ∗ 푆푔 퐼푛푡(A) denote the 푆푔 -closure and the 푆푔 -interior of A respectively. ∗ Definition 2.1: A subset A of a topological space (X,τ) is called a 푺품-open set [6] if there is an open set U in X ∗ ∗ ∗ such that U⊆A⊆ sCl (U). The collection of all Sg-open sets in (X, τ) is denoted by 푆푔 O(X,τ). ∗ ∗ Definition 2.2: A subset A of a topological space (X,τ) is called a 푺품-closed set[6] if X\A is 푆푔 -open. The ∗ ∗ collection of all 푆푔 -closed sets in (X, τ) is denoted by 푆푔 퐶(X,τ). ∗ ∗ Theorem 2.3 [6]:Every open set is Sg-open and every closed set is Sg-closed set ∗ ∗ Definition 2.4: A topological space X, τ is said to be 푺품-푻ퟏ space [7] if every 푆푔 -open set of X is open in X. ퟐ ∗ ∗ Definition 2.5: A topological space X, τ is said to be 푺품-locally indiscrete space [8] if every 푆푔 -open set of X is closed in X. ∗ Definition 2.6: A function f: X → Y is said to be contra- 푺품-continuous [8] if the inverse image of every open ∗ set in Y is 푆푔 -closed in X. Definition 2.7: A function f: (X, τ) ⟶ (Y, σ) is called a contra-continuous [2] if f −1 (O) is closed in (X, τ) for every open subset O of (Y, σ ). ∗ Definition 2.8: A mapping f: X → Y is said to be 푺품-continuous [7] if the inverse image of every open set in Y ∗ is 푆푔 -open in X. ∗ ∗ Defintion 2.9: A map f: X → Y is said to be 푺품-irresolute[7] if the inverse image of every Sg-open set in Y is ∗ 푆푔 -open in X. ∗ ∗ Definition 2.10: A mapping f: X → Y is said to be strongly 푺품-continuous [7]if the inverse image of every 푆푔 - open set in Y is open in X. ∗ ∗ Definition 2.11: A mapping f: X → Y is said to be perfectly 푺품-continuous [7]if the inverse image of every 푆푔 - open set in Y is open and closed in X. DOI: 10.9790/5728-11212730 www.iosrjournals.org 27 | Page ∗ ∗ Slightly 푺품-continuous functions and Totally 푺품-continuous functions in Topological spaces Definition 2.12: A function f: X ⟶ Y is called slightly continuous [3] if the inverse image of every clopen set in Y is open in X. ∗ III. Slightly 푺품- continuous function ∗ Definition 3.1: A function f: (X, τ) → (Y, σ) is said to be slightly 푺품- continuous at a point x ∈ X if for each ∗ subset V of Y containing f(x), there exists a 푆푔 -open subset U in X containing x such that f(U) ⊆ V. The function ∗ ∗ f is said to be slightly 푆푔 - continuous if f is slightly 푆푔 -continuous at each of its points. ∗ Definition 3.2: A function f: (X, τ) → (Y, σ) is said to be slightly 푺품-continuous if the inverse image of every ∗ clopen set in Y is 푆푔 -open in X. Example 3.3: Let X = a, b, c = Y, τ = X, ∅, a , b , a, c , a, b }, σ = ∅, Y, a , b, c . ∗ 푆푔 푂 X = ∅, X, a , b , a, c , a, b . The function f is defined as f a = c,f b = a, f c = b. The function f is ∗ slightly Sg-continuous. Proposition 3.4: The definition 3.1 and 3.2 are equivalent. Proof: Suppose the definition 3.1 holds. Let V be a clopen set in Y and let x ∈ f −1 V . Then f x ∈ V and thus ∗ −1 −1 there exists a 푆푔 -open set Ux such that x ∈ Ux and f Ux ⊆ V. Now x ∈ Ux ⊆ f (V). And f V = ∗ ∗ −1 ∗ x∈f−1(V) Ux . Since arbitrary union of 푆푔 -open sets is 푆푔 -open, f (V) is 푆푔 -open in X and therefore f is slightly ∗ 푆푔 -continuous. ∗ Suppose the definition 3.2 holds. Let f(x) ∈ V where V is a clopen set in Y. Since f is slightly 푆푔 -continuous, −1 −1 ∗ −1 ∗ x ∈ f V where f V is 푆푔 -open in X. Let U = f V . Then U is 푆푔 -open in X, xϵU and f(U) ⊆ V. Theorem 3.5:Let f: (X, τ) → (Y, σ) be a function then the following are equivalent. ∗ (1) f is slightly 푆푔 - continuous . ∗ (2) The inverse image of every clopen set V of Y is 푆푔 -open in X. ∗ (3) The inverse image of every clopen set V of Y is 푆푔 -closed in X. ∗ (4) The inverse image of every clopen set V of Y is 푆푔 -clopen in X. Proof: (1)⟹(2): Follows from the Theorem 3.4. c −1 c −1 c ∗ (2) ⟹(3): Let V be a clopen set in Y which implies V is clopen in Y. By (2), f V = (f V ) is 푆푔 -open in −1 ∗ X. Therefore f (V) is 푆푔 -closed in X. −1 ∗ (3) ⟹ (4): By (2) and (3) f (V) is 푆푔 -clopen in X. −1 ∗ −1 (4) ⟹ (1): Let V be a clopen subset of Y containing f x . By (4) f (V) is 푆푔 -clopen in X. Put U = f (V) then ∗ f(U) ⊆ V. Hence f is slightly 푆푔 -continuous. ∗ Theorem 3.6: Every slightly continuous function is slightly 푆푔 -continuous. Proof: Let f: X → Y be slightly continuous. Let U be a clopen set in Y . Then f −1(U) is open in X. Since every ∗ −1 ∗ ∗ open set is 푆푔 -open, f (U) is 푆푔 -open. Hence f is slightly 푆푔 -continuous. Remark 3.7: The converse of the above theorem need not be true as can be seen from the following example ∗ Example 3.8: Let X = a, b, c, d with τ = X, ∅, a , {b, c}, {a, b, c, }}. 푆푔 푂 X, τ = X, ∅, a , b, c , a, b, c , b, c, d . Let Y = p, q, r with σ={Y, ∅, p , {q, r}}. Define f:(X,τ)→ Y, σ by f a = −1 ∗ ∗ p, f b = q, f c = f d = r. Hence f q, r = {b, c, d} is 푆푔 -open but not open in X. Thus f is slightly 푆푔 - continuous but not slightly continuous. ∗ ∗ Theorem 3.9:Every 푆푔 -continuous function is slightly 푆푔 -continuous. ∗ −1 ∗ Proof: Let f: X → Y be a 푆푔 -continuous function. Let U be a clopen set in Y .Then f (U) is 푆푔 -open in X and ∗ ∗ 푆푔 -closed in X. Hence f is slightly 푆푔 -continuous. Remark 3.10: The converse of the above theorem need not be true as can be seen from the following example. ∗ Example 3.11: Let X= a, b, c , Y = p, q . τ = X, ∅, a , b , a, b = 푆푔 푂 X, τ . σ = Y, ∅, p . Define ∗ ∗ f: X, τ → Y, σ by f a = q, f b = f c = p. The function f is slightly 푆푔 -continuous but not 푆푔 -continuous −1 ∗ since f p = b, c is not 푆푔 -open in X. ∗ Theorem 3.12: If the function f: X, τ → Y, σ is slightly 푆푔 -continuous and Y, σ is a locally indiscrete space ∗ then f is 푆푔 -continuous. ∗ Proof: Let U be an open subset of Y. Since Y is locally indiscrete, U is closed in Y. Since f is slightly 푆푔 - −1 ∗ ∗ continuous, f U is 푆푔 -open in X. Hence f is 푆푔 -continuous. ∗ ∗ Theorem 3.13: If the function f: X, τ → Y, σ is slightly 푆 -continuous and X, τ is a 푆 − 푇1 space then f is 푔 푔 2 slightly continuous.