In this paper, we define an almost -continuity, which is a weaker form of -map and we investigate and obtain its some properties and characterizations. Finally, we show that a function is almost -continuous if and only if is -continuous, where and are semiregularizations of and , respectively.
Citation: Cenap Ozel, M. A. Al Shumrani, Aynur Keskin Kaymakci, Choonkil Park, Dong Yun Shin. On -open continuous functions[J]. AIMS Mathematics, 2021, 6(3): 2947-2955. doi: 10.3934/math.2021178
[1] | I. M. Taha . Some new results on fuzzy soft -minimal spaces. AIMS Mathematics, 2022, 7(7): 12458-12470. doi: 10.3934/math.2022691 |
[2] | Yan Han, Shaoyuan Xu, Jin Chen, Huijuan Yang . Fixed point theorems for -generalized contractive mappings with weak continuity conditions. AIMS Mathematics, 2024, 9(6): 15024-15039. doi: 10.3934/math.2024728 |
[3] | Nicky K. Tumalun, Philotheus E. A. Tuerah, Marvel G. Maukar, Anetha L. F. Tilaar, Patricia V. J. Runtu . An application of generalized Morrey spaces to unique continuation property of the quasilinear elliptic equations. AIMS Mathematics, 2023, 8(11): 26007-26020. doi: 10.3934/math.20231325 |
[4] | Liang Kong, Chao Li . Non-global nonlinear skew Lie triple derivations on factor von Neumann algebras. AIMS Mathematics, 2022, 7(8): 13963-13976. doi: 10.3934/math.2022771 |
[5] | Fahad Alsharari, Ahmed O. M. Abubaker, Islam M. Taha . On -fuzzy soft -open sets and fuzzy soft -continuous functions with some applications. AIMS Mathematics, 2025, 10(3): 5285-5306. doi: 10.3934/math.2025244 |
[6] | Wenbo Huang, Jiankui Li, Shaoze Pan . Some zero product preserving additive mappings of operator algebras. AIMS Mathematics, 2024, 9(8): 22213-22224. doi: 10.3934/math.20241080 |
[7] | Qi Xie, Yiting Huang . A class of generalized quadratic B-splines with local controlling functions. AIMS Mathematics, 2023, 8(10): 23472-23499. doi: 10.3934/math.20231193 |
[8] | Zijie Qin, Lin Chen . Characterization of ternary derivation of strongly double triangle subspace lattice algebras. AIMS Mathematics, 2023, 8(12): 29368-29381. doi: 10.3934/math.20231503 |
[9] | Samer Al Ghour . On some types of functions and a form of compactness via -open sets. AIMS Mathematics, 2022, 7(2): 2220-2236. doi: 10.3934/math.2022126 |
[10] | Prerona Dutta, Barbara Lee Keyfitz . Non-uniform dependence on periodic initial data for the two-component Fornberg-Whitham system in Besov spaces. AIMS Mathematics, 2024, 9(9): 25284-25296. doi: 10.3934/math.20241234 |
In this paper, we define an almost -continuity, which is a weaker form of -map and we investigate and obtain its some properties and characterizations. Finally, we show that a function is almost -continuous if and only if is -continuous, where and are semiregularizations of and , respectively.
By using various forms of open sets, several authors defined and investigated some properties of them. Levine [11] (resp., Andrijević [1] and El-Atik [5]) introduced semi open (resp., -open or -open) sets. On the other hand, Velićko [19] studied -open sets which are stronger than the open sets. In 1993, Raychaudhuri et al. [17] defined -preopen sets and in 1997, Park et al. [16] defined -semi-open sets. Since then modifications of -open sets have been widely studied. Noiri [15] investigated -preopen and -semi-open sets. Recently, Magharabi and Mubarki [6] introduced the -open sets and investigated its some properties. The notion of -open sets was renamed as -open sets by Kaymakci [8]. Noiri [15] proved that the connectedness for semi-open sets and -semi-open sets coincide. Besides, since the continuity is an important concept in general topology, many authors studied various types of continuity. Of course its weak forms and strong forms are important, too. It is well-known that Carnahan [2] studied -maps. Noiri [14] introduced -continuous functions. Munshi and Bassan [12] defined almost semi-continuous functions. Munshi and Bassan [13] studied super continuous functions. Ekici [3] introduced and investigated almost -semicontinuity. Recently, Keskin and Noiri [10] studied almost -continuous functions.
The aim of this work is to introduce one class of functions, namely, almost -continuous functions by using -open sets. We investigate several properties of this class. The class of almost --continuity is a generalization of almost -semicontinuity. At the same time, the class of almost -continuity is a generalization of the almost -continuity.
This paper consists of five sections. In Section 2, we give some notations and preliminaries. In Section 3, we introduce almost -continuous functions. Also, we obtain some its characterizations and basic properties. In Section 4, we investigate some relationships among several functions; almost -continuous, almost semi-continuous, almost -semicontinuous, almost -continuous, -continuous and -maps. In Section 5, we obtain some relationships between almost -continuity and separation axioms.
Let be a topological space and A be a subset of . The closure of A and the interior of A are denoted by Cl(A) and Int(A), respectively. The regular open sets are important several in branches of mathematics such as real analysis, functional analysis and topology. Recall that a subset A of a space is said to be regular open (resp., regular closed) [18] if (resp., ). A point is called a -cluster point of [19] if for each open set containing . The set of all -cluster points of is called the -closure of and is denoted by -. If -, then is said to be -closed. The complement of a -closed set is said to be -open. The set for some regular open set of is called the -interior of and is denoted by -.
Throughout this paper, we will use (resp., and ) as the family of all regular open (resp., -open and regular closed) sets of a space .
As a sequel, we need the following definition.
Definition 2.1. A subset A of a space is said to be
(1) semi open [11] if ,
(2) -semi open [16] if -,
(3) -open [1] (-open [5]) if ,
(4) -open [8] (z-open [6]) if -.
The complement of a open set is said to be - ([8]). If is a subset of a space , then the - of , denoted by -, is the smallest - set containing ([8]). The family of all -, -, -, and - sets of a space will be denoted by , , , and , respectively.
W note that each one of the converses of these implications is not true in general. One can find them in related references.
open -open -semiopen -open
semi-open b-open
Diagram I
In this section, we introduce almost --continuous functions. Then we will obtain some characterizations and properties of these functions.
Definition 3.1. A function is said to be almost -continuous if for each and each containing , there exists containing such that .
The next statement is obvious, so its proof is omitted.
Theorem 3.2. For a function , the following properties are equivalent:
(1) is almost -continuous;
(2) For each and containing , there exists a subset containing such that ;
(3) for every ;
(4) for every .
Theorem 3.3. For a function , the following properties are equivalent:
(1) f is almost -b-continuous;
(2) - for every subset of ;
(3) - for every subset of ;
(4) for every -closed set of ;
(5) for every -open set of .
Proof. Let be a subset of . Since - is a -closed set in , it is denoted by , where is an index set. Then we have by Theorem 3.2. So we obtain - and hence -.
Let be a subset of . We have -- and hence -.
Let be any -closed set of . We have - and is -closed in .
Let be any -open set of . Using (4), we have that - and so .
Let be any open set of . Since is -open set in , and hence by Theorem 3.2, is almost -continuous.
Lemma 3.4. ([6]) Let be a topological space. If and , then .
Lemma 3.5. ([8]) Let and be subsets of a space . If and , then .
Theorem 3.6. If is almost -continuous and is a -open subspace of , then the restriction is almost - -continuous.
Proof. Let V be any regular open set of Y. Then we have by Theorem 3.2. Therefore, we have by Lemma 3.5. Hence is almost -continuous.
Theorem 3.7. If is a constannt function that maps all of into a single point of , then is almost -continuous.
Proof. Let be a regular open set of . Then the subset is either or depending on whether contains or not. In either case, it is -open in . Hence is almost -continuous.
Theorem 3.8. If is a -open subspace in , then the inclusion function is almost -continuous.
Proof. Let be a regular open set in . Then is -open in and . Using Lemma 3.5, we deduce that is -open in . Hence is almost -continuous.
Theorem 3.9. Let be an almost -continuous function. If is a subspace of containing the image set , then the function obtained by restricting the image of is almost -continuous.
Proof. Let be a regular open subset of . Then for a regular open set of . By assumption that , we deduce that . Since is almost -continuous, . Therefore, . Hence is almost -continuous.
Theorem 3.10. The pasting lemma holds for almost -continuous functions.
Let be an index set and and be any two families indexed by . For each , let be a function. The product space will be denoted by and the product function is simply denoted by .
Theorem 3.11. If is almost -b-continuous, then is almost -continuous for each , where is the projection of onto .
Proof. Let be any regular open set of . Since is continuous and open, it is obvious that it is an -map. Therefore, we have that . On the other hand, since is almost --continuous, we obtain by Theorem 3.2. Hence is almost -continuous.
Remark 3.12. What is about the converse? If for all is almost -continuous, then is the function almost -continuous? If it does not hold for infinite products, what is about finite products?
The answer is yes. We can give an answer of this question. To prove that the converse side holds we need the following results.
Theorem 3.13. The product function is almost -continuous if and only if is almost -continuous for each .
Proof. (Necessity) Let be any regular open set of , where is an arbitrary fixed index. Then we have is regular open in where and . Therefore, we obtain is a -open subset of and hence is almost -continuous.
(Sufficiency) Let be any point of and be any regular open set of containing . There exists a finite subset of such that for each and . Therefore, there exists containing such that for each . Consequently, we obtain is --open in containing and . This shows that is almost -continuous.
Let be the diagonal subspace of the product space of any number copies of a topological space . Then we claim the following.
Theorem 3.14. (i) The subspace is - -open in .
(ii) The inclusion map is almost --continuous.
Theorem 3.15. Let be a function and be the graph function defined by for every . Then
is almost --continuous if and only if is almost --continuous.
Proof. (Necessity) Let and containing . Then we have . Since is almost --continuous, there exists a --open set of containing such that . Therefore, we deduce that and hence is almost --continuous.
(Sufficiency) Let and be a regular open set of containing . There exist and such that . Since is almost --continuous, there exists such that and . If we take , then we obtain and . Hence is almost --continuous.
In this section, we investigate the relationships between different types of continuous functions.
Definition 4.1. A function is said to be continuous [14]. (resp., almost semicontinuous [12], almost semicontinuous [3], almost continuous [10]) if for each and each containing , there exists (resp., , , ) containing such that .
The following diagram is an extended form of the second diagram in [3].
-map -continuous almost -semicontinuous almost -continuous
almost semicontinuous almost -continuous
Diagram II
Remark 4.2. None of the converses of these implications is true in general as shown in the following examples. The other examples are in related references.
Example 4.3. Let be a topological space such that , , . A function is defined as follows: , and . Then is almost - -continuous but is not almost -semicontinuous, because is a --open set of which is not -semi-open.
Example 4.4. Let be a topological space such that , . A function is defined as follows: , , and . Then is almost -continuous but is not almost --continuous, because is a -open set of which is not --open.
Now, we recall the following definition.
Definition 4.5. A function is said to be --irresolute if is a -open set in for every -open set of .
The next statement is obvious, so its proof is omitted.
Theorem 4.6. Let and be functions. For the composition , the following properties hold:
(1) If is almost -continuous and is an -map, then is almost -continuous.
(2) If is -irresolute and is almost -continuous, then is almost -continuous.
Recall that a function is said to be -continuous [9] if for each and each containing , there exists containing such that .
It is known that the family of all regular open sets in a space forms a base for a topology which is called the semiregularization [18]. So we have the following properties.
Theorem 4.7. For a function , the following properties hold:
(1) is super continuous if and only if is continuous.
(2) is --continuous if and only if is -continuous.
In [8], as related to semiregularization, the following result was proved.
Lemma 4.8. [8] A subset A is -b-open in if and only if A is b-open in .
Now, we present the main result.
Theorem 4.9. Let be a function. Then the following properties are equivalent:
(1) is almost -continuous.
(2) is almost -continuous.
(3) is -continuous.
(4) is -continuous.
Proof. Let be almost -continuous and . According to (1), is -open in . By Lemma 4.8, we have that is -open in . Hence is almost -continuous.
Let . Then there exists a regular open set such that . Since is almost -continuous, by the hypothesis, is -open in . Then is -open in for each by Lemma 4.8. Thus is -open in . Hence is --continuous.
The proof is similar to .
Let be -continuous and . By definition of semiregularization, . According to (4), is -open in . By Lemma 4.8, we have that is -open in . Therefore, is almost -continuous by Theorem 3.2.
We can obtain another proof of Theorem 3.11 and another proof of Theorem 3.13 by using Theorem 4.9 and the following lemma.
Lemma 4.10. ([7]) Let be any family of spaces indexing by . Then , .
Theorem 4.11. If is almost -continuous and is semi-regular, then is -continuous.
Proof. Let and let be an open set in containing . Then there exists a regular open set of such that by using the semiregularity of . Since is almost --continuous, there exists containing such that . Hence is --continuous.
In this section, we investigate a relationship between almost -continuous functions and separation axioms.
Definition 5.1. A topological space is said to be [4] (resp., [8]) if for each pair of distinct points and in , there exist regular open (resp., -open) sets and containing and , respectively, such that and .
Theorem 5.2. If is an almost -continuous injective and is r-T , then is -T.
Proof. Let be and , be distinct points of . Since is injective, there exist regular open subsets , in such that , , and . Since is almost --continuous, and are -open subsets of such that , , and . Hence is .
Corollary 5.3. [8] If is -continuous injective and is , then is .
Definition 5.4. [8] A topological space is said to be if for each pair of distinct points and in , there exist disjoint -open sets and such that and .
Theorem 5.5. If is almost -continuous injective and is , then is .
Proof. Let and be any pair of distinct points of . Since is injective, there exist disjoint open sets and in such that and . The sets and are disjoint regular open sets in . Since is almost -continuous, and are -open in containing and , respectively. But . Hence by [8,Theorem 4.5], is --.
Corollary 5.6. [8] If is -continuous injective and is , then is -.
Theorem 5.7. If are almost -continuous functions and is Hausdorff, then
is -closed.
Theorem 5.8. Let be two topological spaces such that . Then the identity map is almost -continuous.
Proof. Let be a regular open subset of with respect to . By assumption is also a regular open subset in with respect to and, thus it is a -open subset in . Hence the identity map is almost -continuous.
In this paper, we have defined an almost -continuity, which is a weaker form of -map and we have investigated and obtained its some properties and characterizations. Finally, we showed that a function is almost -continuous if and only if is -continuous, where and are semiregularizations of and , respectively.
The authors declare that they have no competing interests.
The first author was supported by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, under grant No. (D-145-130-1437).
The authors equally conceived of the study, participated in its design and coordination, drafted the manuscript, participated in the sequence alignment, and read and approved the final manuscript.
[1] | D. Andrijević, On -open sets, Mat. Vesnik, 48 (1996), 59–64. |
[2] | D. A. Carnahan, Some properties related to compactness in topological spaces, Thesis (Ph.D.), University of Arkansas, 1973. |
[3] | E. Ekici, On -semiopen sets and a generalization of functions, Bol. Soc. Parana. Mat., 23 (2005), 73–84. |
[4] |
E. Ekici, Generalization of perfectly continuous, regular set connected and clopen functions, Acta Math. Hung., 107 (2005), 193–206. doi: 10.1007/s10474-005-0190-2
![]() |
[5] | A. El-Atik, A study on some types of mappings on topological spaces, M. Sc. Thesis, Tanta University, Egypt, 1997. |
[6] | A. I. El-Magharabi, A. M. Mubarki, -open sets and -continuity in topological space, Int. J. Math. Arch., 2 (2011), 1819–1827. |
[7] |
L. L. Herrington, Properties of nearly-compact spaces, Proc. Am. Math. Soc., 45 (1974), 431–436. doi: 10.1090/S0002-9939-1974-0346748-3
![]() |
[8] | A. K. Kaymakci, A new class of generalized -open sets, IV. INSAC International Natural and Engineering Sciences Congress, 2019. |
[9] | A. K. Kaymakci, Weakly --continuous functions, Gen. Math. Notes, 27 (2015), 24–39. |
[10] |
A. Keskin, T. Noiri, Almost -continuous functions, Chaos Solitons Fractals, 41 (2009), 72–81. doi: 10.1016/j.chaos.2007.11.012
![]() |
[11] |
N. Levine, Semi-open sets and semi-continuity in topological spaces, Am. Math. Monthly, 70 (1963), 36–41. doi: 10.1080/00029890.1963.11990039
![]() |
[12] | B. M. Munshi, D. S. Bassan, Almost semi-continuous mappings, Math. Student, 49 (1981), 229–236. |
[13] | B. M. Munshi, D. S. Bassan, Super continuous mappings, Indian J. Pure Appl. Math., 13 (1982), 229–236. |
[14] |
T. Noiri, Regular-closed functions and Hausdorff spaces, Math. Nachr., 99 (1980), 217–219. doi: 10.1002/mana.19800990123
![]() |
[15] | T. Noiri, Remarks on -semi-open sets and -preopen sets, Demonstratio Math., 36 (2003), 1007–1020. |
[16] | J. Park, B. Lee, M. Son, On -semiopen sets in topological spaces, J. Indian Acad. Math., 19 (1997), 59–67. |
[17] | S. Raychaudhuri, M. N. Mukherje, On -almost continuity and -preopen sets, Bull. Inst. Math. Acad. Sinica, 21 (1993), 357–366. |
[18] |
M. H. Stone, Applications of the theory of Boolean rings to general topology, Trans. Am. Math. Soc., 41 (1937), 375–481. doi: 10.1090/S0002-9947-1937-1501905-7
![]() |
[19] | N. V. Velićko, -Closed topological spaces, Mat. Sb., 70 (1966), 98–112. |