On the various decompositions of continuous and some weakly continuous functions (Q1917164)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the various decompositions of continuous and some weakly continuous functions
scientific article

    Statements

    On the various decompositions of continuous and some weakly continuous functions (English)
    0 references
    0 references
    0 references
    11 December 1996
    0 references
    A subset \(A\) of a topological space \(X\) is said to be preopen (resp. semi-open, \(\alpha\)-open, pre-semi-open \(\beta\)-open) if \(A \subset \text{Int(Cl}(A))\) (resp. \(A \subset \text{Cl(Int}(A))\), \(A \subset \text{Int(Cl(Int}(A)))\), \(A \subset \text{Cl(Int(Cl}(A)))\)). The union of all preopen (resp. semi-open, \(\alpha\)-open) sets contained in \(A\) is called the preinterior (resp. semi-interior, \(\alpha\)-interior) of \(A\) and is denoted by \(\text{pInt}(A)\) (resp. \(\text{sInt}(A)\), \(\alpha \text{Int}(A))\). We denote \(\text{spInt}(A) = A \cap (\text{Cl(Int}(A)) \cup \text{Int(Cl}(A)))\) and \(\text{psInt}(A) = A \cap \text{Cl(Int(Cl} (A)))\). In [the second author, ibid. 61, 93-98 (1993; Zbl 0820.54006)] the following classes of sets were introduced: \(D(c,\alpha) = \{B \subset X : \text{Int}(B) = \alpha \text{ Int}(B)\}\), \(D(c,p)= \{B\subset X: \text{Int} (B)= \text{pInt} (B)\}\), \(D(\alpha, p)= \{B\subset X: \text{Int} (B)= \text{pInt} (B)\}\). In this paper the authors introduce the following collections of subsets of \(X : D(c,s) = \{B \subset X: \text{Int }(B) = \text{sInt}(B)\}\), \(D(c,ps) = \{A \subset X : \text{Int}(A) = \text{psInt} (A)\}\), \(D(\alpha, ps) = \{A \subset X : \alpha \text{ Int}(A) = \text{psInt}(A))\}\), \(D(\alpha,s) = \{A \subset X: \alpha \text{ Int}(A) = \text{sInt}(A)\}\), \(D(c,s.p) = \{A \subset X : \text{Int}(A) = \text{sInt}(A) \cap \text{pInt}(A)\}\), \(D(\alpha, s.p) = \{A \subset X: \alpha \text{Int}(A)\} = \text{sInt}(A) \cap \text{pInt}(A)\), \(D(p,ps) = \{A \subset X: \text{pInt}(A) = \text{psInt}(A)\}\), \(D(p,sp) = \{A \subset X: \text{pInt}(A) = \text{spInt}(A)\}\), \(D(sp,ps) = \{A \subset X ; \text{spInt} (A) = \text{psInt}(A)\}\). The relations between the different classes of the newly defined sets are given in a diagram. A function \(f : X \to Y\) is called \(\alpha\)-continuous (resp. precontinuous, semi-continuous) if the inverse image of every open set in \(Y\) under \(f\) is \(\alpha\)-open (resp. preopen, semiopen). A function \(f: X \to Y\) is pre-semi-continuous (resp. semi-pre-continuous) if for every open set \(V\) of \(Y\), \(f^{-1}(V) \in \text{PSO} (X)\) (resp. \(f^{-1}(V) \in \text{SPO}(X))\), where \(\text{SPO}(X) = \{A \subset X : A = \text{spInt}(A)\}\) (resp. \(\text{PSO}(X) = \{A \subset X : A = \text{psInt}(A)\}\). A function \(f : X \to Y\) is \(D\)-continuous if for every open set \(V\) of \(Y\), the set \(f^{-1}(V)\) belongs to \(D\), where \(D\) is a collection of subsets of \(X\). The authors obtain the following new decompositions of continuity, \(\alpha\)-continuity, semi-continuity, precontinuity, pre-semi-continuity: Theorem 1. For a function \(f : X \to Y\) the following conditions are equivalent: (1) \(f\) is continuous, (2) \(f\) is semi-continuous and \(D(c,s)\) continuous, (3) \(f\) is precontinuous and \(D(c,p)\)-continuous, (4) \(f\) is pre-semi-continuous and \(D(c,ps)\)-continuous, (5) \(f\) is \(\alpha\)-continuous and \(D(c,\alpha)\) continuous, (6) \(f\) is \(\alpha\)-continuous and \(D(c,s)\)-continuous. Theorem 2. For a function \(f : X \to Y\) the following conditions are equivalent: (1) \(f\) is \(\alpha\)-continuous, (2) \(f\) is precontinuous and \(D(\alpha,p)\)-continuous, (3) \(f\) is semi-continuous and \(D(\alpha,s)\)-continuous, (4) \(f\) is pre-semi-continuous and \(D(\alpha,ps)\)-continuous. Theorem 3. For a function \(f : X \to Y\) the following conditions are equivalent: (1) \(f\) is semi-continuous, (2) \(f\) is semi-pre-continuous and \(D(p,ps)\)-continuous. Theorem 4. For a function \(f : X \to Y\) the following conditions are equivalent: (1) \(f\) is precontinuous, (2) \(f\) is semi-pre-continuous and \(D(p,sp)\)-continuous, (3) \(f\) is pre-semi-continuous and \(D(p,ps)\)-continuous. Theorem 5. A function \(f : X \to Y\) is pre-semi-continuous \((= \beta\) continuous) if and only if it is semi-pre-continuous) and \(D(sp,ps)\)-continuous. Theorem 6. For a function \(f : X \to Y\) the following conditions are equivalent: (1) \(f\) is continuous, (2) \(f\) is \(\alpha\)-continuous and \(D(c,s.p)\)-continuous, (3) \(f\) is precontinuous, semi-continuous and \(D(c,s.p)\)-continuous.
    0 references
    0 references
    \(\alpha\)-continuity
    0 references
    semi-continuity
    0 references
    precontinuity
    0 references
    pre-semi-continuity
    0 references

    Identifiers