* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Download Faintly b-continuous functions - International Journal Of Scientific
Survey
Document related concepts
Transcript
International Journal Of Scientific Research And Education ||Volume||2||Issue|| 5||Pages 812-817|||2014|| ISSN (e): 2321-7545 Website: http://ijsae.in Faintly b-continuous functions Arvind Kumar¹, Vinshu², Dr. Bhopal Singh Sharma³ 1 Department of Mathematics, University of Delhi, India. 2,3 N.R.E.C. college Khurja (BSR), CCS University, Meerut, India. Email: [email protected], [email protected], [email protected]. ABSTRACT In 1961, Levine [8] introduced weakly continuous functions and in 1987, Noiri [14] introduced and studied weakly πΌπΌ-continuous functions. Later on Ekici [5], in 2008, introduced and studied BR-continuous and hence weakly BR-continuous functions in a similar fashion, by means of b-regular and b-open [3] sets. In 1982 P.E. Long and L.L.Herrington[10] introduced and studied faintly continuous functions. This prompted us to introduce and study faintly b-continuous and neatly weak b-continuous functions. We studied some relations between weakly b-continuous functions and faintly b-continuous functions or neatly weak bcontinuous functions. INTRODUCTION Levine [8] introduced the concept of a weakly continuous function. In 2008 Ekici [5] has introduced and studied the class of functions namely BR-continuous functions and weakly BR-continuous functions by making use of b-regular sets. P.E. Long and L.L.Herrington introduced and studied faintly continuous functions. In a similar manner here our purpose is to introduce and study generalizations in form of new classes of functions namely faintly b-continuous and neatly weak b-continuous functions and some relations between weakly b-continuous functions and faintly b-continuous functions or neatly weak b-continuous functions. The author [6] has already introduced and studied b-continuous functions. We [20] have already introduced and studied weakly b-continuous functions. Let (X, Ο) and (Y, ππ) (or X and Y) denote topological spaces. For a subsetA of a space X, the closure A and the interior of A are denoted by cl(A) and int(A) respectively. A subset A is said to be regular open (resp. regular closed) if A=int(cl(A)) (resp. A=cl(int(A)). A subset A is said to be preopen [11] (resp. semi open Arvind Kumar et al IJSRE Volume 2 Issue 5 May 2014 Page 812 [9], b-open [3], πΌπΌ-open [12], semi preopen [2] or π½π½-open [1]) if Aβint(cl(A)) (resp. Aβcl(int(A)), Aβint(cl(A))βͺcl(int(A)), Aβint (cl(int(A))), Aβcl(int(cl(A)))). A subset G of X is called b-neighbourhood of xβX if there exists a b-open set B containing x such that BβG. A point xβX is said to be a π³π³-cluster point of A [19] if Aβ©cl(U)β ππ for every open set U containing x. The set of all π³π³-cluster points of A is called π³π³-closure of A and is denoted by π³π³-cl(A). A subset A is called π³π³- closed if π³π³-cl(A)=A [19]. The complement of a π³π³-closed set is called π³π³-open set. The complement of a bopen (resp. preopen, semi open, πΌπΌ-open, semi preopen) set is called b-closed (resp. preclosed, semi closed, πΌπΌ-closed, semi prelosed). The intersection of all b-closed (resp. preclosed, semi closed, πΌπΌ-closed, semi preclosed) sets of X containing A is called b-closure (resp. preclosure, semi closure, πΌπΌ-closure, semi preclosure) of A and denoted by b-cl(A)(resp. p-cl(A), s-cl(A), πΌπΌ-cl(A), sp-cl(A)). The union of all b-open (resp. preopen, semi open, πΌπΌ-open, semi preopen) sets of X contained in A is called b-interior (resp. preinterior, semi interior, πΌπΌ-interior, semi preinterior) of A and denoted by b-int(A) (resp. p-int(A), sint(A), πΌπΌ-int(A), sp-int(A)). A subset A is said to be b-regular [3] if it is b-open as well as b-closed. The family of all b-open (resp. b-regular) sets of X is denoted by BO(X) (resp. BR(X)). A point xβX is called b-π³π³-cluster point [17] of a subset A of X if b-cl(B)β©Aβ ππ for every b-open set B containing x. The set of all b-π³π³-cluster points of A is called b-π³π³-closure of A and is denoted by b-π³π³-cl(A). A subset A of X is said to be b-π³π³-closed if A=b-π³π³-cl(A). The complement of a b-π³π³-closed set is said to be b-π³π³-open. A point xβX is called b-π³π³-interior point of AβX if there exists a b-regular set U containing x such that UβA and is denoted by xβb-π³π³-int(A). DEFINITIONS AND CHARACTERIZATIONS Definition 21:- A function f : X β Y is said to be weakly continuous [8] (resp. weakly πΌπΌ-continuous [14]) if for each xβX and each open set V of Y containing f(x), there exists an open (resp. πΌπΌ-open) set U containing x such that f(U)βcl(V). Definition 2.2:- A function f : X β Y is said to be weakly b-continuous [20] if for each xβX and each open set V of Y containing f(x), there exists a b-open set U containing x such that f(U)βcl(V). Definition 2.3:- A function f : X β Y is said to be (1)(b, s)-open if it maps b-open sets onto semi open sets. (2) neatly weak b-continuous if for each x in X and each open set V of Y containing f(x), there exists a bopen set U containing x such that int(f(U))βcl(V). Arvind Kumar et al IJSRE Volume 2 Issue 5 May 2014 Theorem 2.4.:- If a function f : X β Y is neatly weak b-continuous and (b, s)-open then f is weakly bcontinuous. Proof:- Let x be in X and V be any open set in Y containing f(x). Since f is neatly weak b- continuous, there exists a b-open set U in X containing x such that int(f(U))βcl(V). Since f is (b, s)-open, therefore f(U) is semi open in Y. Hence f(U)βcl(int(f(U))) βcl(V).Thus f is weakly b-continuous. We can similarly prove Corollary 2.5:- If f is neatly weak b-continuous carrying b-open sets onto open sets, then also f is weakly bcontinuous. Definition 2.6:- A function f : X β Y is said to be faintly b-continuous (resp. faintly continuous [10]) if for each x in X and each π³π³-open set V in Y containing f(x) there exists a b-open (resp. open) set U containing x such that f(U)βV. Theorem 2.7:- Let f : XβY be a function, then following are equivalent : (a) f is faintly b-continuous. (b) f -1(V) is b-open in X for each π³π³-open set V in Y. (c) f -1(V) is b-closed in X for each π³π³-closed V in Y. (d) f(b-cl(A))βπ³π³-cl(f(A)) for each subset A of X. (e) b-cl(f -1(B))βf -1(π³π³-cl(B)) for each subset B of Y. Proof:- Simple and hence omitted. Definition 2.8 [6]:- A function f : (X, Ο) β (Y, ππ) is said to be b-continuous if and only if inverse image under f of every open (closed) set is b-open (b-closed). Theorem 2.9:- For a function f : (X, Ο)β(Y, ππ), the following are equivalent : (a) f is faintly b-continuous. (b) f : (X, Ο)β(Y, ππ π³π³ ) is b-continuous where ππ π³π³ is the collection of π³π³-open sets in space (Y, ππ). (c) f : (X, Ο)β(Y, ππ) is b-continuous if (Y, ππ) is a regular space. Proof:- It is well known [19] that the collection ππ π³π³ of all π³π³-open sets in space (Y, ππ) is a topology on Y. So it is obvious from definitions. Moreover, ππ=ππ π³π³ if and only if (Y, ππ) is a regular space. Corollary 2.10:- For a function f : X β (Y, ππ), the following are equivalent provided (Y, ππ) is an almost regular space. (a) f is weakly b-continuous. Arvind Kumar et al IJSRE Volume 2 Issue 5 May 2014 (b) f is faintly b-continuous. If βalmost regularβ is replaced by βregularβ in above corollary then we may add even (c) f is b-continuous and (d) f is strongly π³π³-b-continuous to the list of equivalences. Proof:- (a) and (b) are obvious for (c) and (d) we have Theorem 3.10 [17] which states that if Y is a regular space. Then f : X β Y is strongly π³π³-b-continuous if and only if f is b-continuous. The following results about composite of functions are easy to establish. Theorem 2.11:- For f : X β Y and g : Y β Z, the function gof : X β Z is (a) b-continuous, whenever f is b-continuous and g is continuous. (b) b-continuous whenever f is faintly b-continuous and g is strongly π³π³-continuous. (c) strongly π³π³-b-continuous whenever f is strongly π³π³-b-continuous and g is continuous. Theorem 2.12:- If f : X β Y is weakly b-continuous and g : Y β Z is continuous, then the composition gof : X β Z is weakly b-continuous. Proof:- Let xβX and A be an open set of Z containing g(f(x)).We have g -1(A) is an open set of Y containing f(x). Then there exists a b-open set B containing x such that f(B)βcl(g-1(A)). Since g is continuous, so, (gof)(B)βg(cl(g-1(A)))βcl(A). Thus gof is weakly b-continuous. We recall that a space X is said to be submaximal [18] if each dense subset of X is open in X. It is further shown [18] that a space is submaximal if and only if every preopen subset of X is open. A space X is said to be extremally disconnected [4] if the closure of each open set of X is open. We note [17] that an extermally disconnected space is exactly the space where every semi open set is πΌπΌ-open. Definition 2.13:- A function f : X β Y is said to be strongly π³π³-continuous [13] (resp. strongly π³π³-semi continuous [7], strongly π³π³-precontinuous [15], strongly π³π³-π½π½-continuous [16]) if for each x in X and each open set V of Y containing f(x), there exists an open (resp. semi open, preopen, semi preopen) set U of X containing x such that f(cl(U))βV (resp. f(s-cl(U))βV, f(p-cl(U))βV, f(sp-cl(U))βV). Theorem 2.14:- The following are equivalent for a function f : X β Y where X is submaximal extremally disconnected space and Y is regular space. (a) f is weakly b-continuous. (b) f is faintly b-continuous. (c) f is b-continuous. (d) f is strongly π³π³-b-continuous. (e) f is strongly π³π³-continuous. (f) f is strongly π³π³-semi continuous. Arvind Kumar et al IJSRE Volume 2 Issue 5 May 2014 (g) f is strongly π³π³-precontinuous. (h) f is strongly π³π³-semi precontinuous or strongly π³π³-π½π½-continuous. Proof:- The proof is obvious using the fact that if X is submaximal extremally disconnected space, then open set, preopen set, semi open set, b-open set and semi preopen (or π½π½-open) sets are equivalent concepts [17]. REFERENCES 1. M. E. Abd El-Monsef, S. N. El-Deeb and R. A. Mahmoud, βπ½π½-open sets and π½π½-continuous mappings β, Bull. Fac. Sci. Assiut Univ. 12(1983), 77- 90. 2. D. Andrijevic, βSemipreopen sets β, Mat. Vesnik, 38(1986), 24-32. 3. D. Andrijevic, βOn b-open sets β, Mat. Vesnik, 48(1996), 59-64. 4. N. Bourbaki, General Topology, Part I, Addison Wesley (Reading, Mass., 1966). 5. E. Ekici, βGeneralization of weakly clopen and strongly π³π³-b-continuous functions β, Chaos Solitons and Fractals 38(2008), 79-88. 6. A. A. El-Atik, βA study of some types of mappings on topological spacesβ, M.Sc. Thesis Tanta University (Egypt, 1997). 7. S. Jafari and T. Noiri, βOn strongly π³π³-semicontinuous functions β, India J. Pure Appl. Math. 29(1998), 1195-1221. 8. N. Levine, βA decomposition of continuity in topological spacesβ, Amer. Math. Monthly 68(1961), 44-46. 9. N. Levine, βSemiopen sets and semicontinuity in topological spacesβ, Amer. Math. Monthly. 70(1963), 36-41. 10. P. E. Long and L. L. Herrington, βThe T π³π³ -Topology and faintly continuous functions β, Kyungpook Math. J. 22(1982), 7-14. 11. A. S. Mashhour, M. E. Abd. El-Monsef, S. N. El-Deeb. ,βOn precontinuous and weak precontinuous mappingsβ, Proc. Math. Phys. Soc. Egypt 53(1982), 47-53. 12. O. Njastad, βOn some classes of nearly open setsβ, Pacific J. Math. 15(1965), 961-970. 13. T. Noiri, βOn πΉπΉ-continuous functions β, J. Korean Math. Soc. 16(1980), 161-166. 14. 15. 16. 17. 18. T. Noiri, βWeakly πΌπΌ-continuous functionsβ, Int. J. Math. Math. Sci. 10(3) (1987), 483-490. T. Noiri, βStrongly π³π³-precontinuous functionsββ, Acta Math. Hungar 90(2001), 307-316. T. Noiri and V. Popa, βStrongly π³π³-π½π½-continuous functionsβ, (submitted). J. H. Park, βStrongly π³π³-b-continuous functionsβ, Acta Math. Hungar 110(4)(2006), 347-359. I. L. Reilly and M. K. Vamanamurthy, βOn some questions concerning preopen sets β, Kyungpook Math. J. 30(1990), 87-93. 19. N. V. Velicko, βH-closed topological spacesβ, Amer. Math. Soc. Transl. 78(1968), 103-118. Arvind Kumar et al IJSRE Volume 2 Issue 5 May 2014 20. Vinshu, A. Kumar, and B. S. Sharma, βweakly b-continuous functionsβ, International Journal of Science and Research (IJSR) (Accepted). Arvind Kumar et al IJSRE Volume 2 Issue 5 May 2014