Generalized Quasi-Continuities of Multifunctions on Bitopological Spaces

1. Introduction

This article is dedicated to the theory of continuous multifunctions which has been intensively developing in recent decades. The theory of multifunctions was first codified by Kuratowski [17] and it has advanced in a variety of ways and applications of this theory can be found for example, in economic theory, noncooparative games, artificial intelligence, medicine, information sciences and decision theory [2].

Many different types of generalized continuities have been introduced for functions, e.g., quasi-continuity [16], $\alpha$-continuity [30], $\beta$-continuity [1,32], semi continuity [19], B-continuity, $Br$-continuity [20,21], $B^{*}$-continuity [7,8,9], some further generalizations of $B^{*}$-continuity, namely, contra $B^{*}$-continuity, slight $B^{*}$-continuity, weak $B^{*}$-continuity [15], somewhat continuity [10], cliquishness [29] and many more. Similar continuities can also be introduced for multifunctions, for which each generalized type of continuity can be introduced in a lower and an upper variant, see the comprehensive article [28].

The definition of quasi-continuity was introduced in [16]. Nevertheless, a funtion of two variables being quasi-continuous under the assumption that it is continuous in each variable separately was mentioned by Volterra [3]. Many results have been obtained for functions as well as for multifunctions. The most studied issues include the structure of continuity points of quasi-continuous functions (quasi-continuous multifunctions), joint quasi-continuity of separately quasi-continuous functions, decomposition theorems, selection theorems, various applications of quasi-continuity in other areas of mathematics and last but not least quasi-continuity variants in a bitopological space. Relevant results can be found in earlier published works [4,5,6,12,20,21,24,26,27,31] and recently published works [14,22,25] document the continued interest in quasi-continuity research. We bring to the reader’s attention an overview article [28] and a recently published book [13] which summarizes the results devoted to the quasi-continuity of functions and multifunctions from various aspects.

As for the bitopological case, a typical example is the strong quasi-continuity of real functions for the density topology and the Euclidean topology on the real numbers [11,18,35,36]. For two arbitrary topologies, where one is finer than the other, the strong quasi-continuity of functions was studied in [22]. Another motivation is the work of Rychlewicz [33], where in a bitopological space two types of generalized notion of quasi-continuity of multifunctions are defined, namely the upper (lower) intersection quasi-continuity and the upper (lower) inclusion quasi-continuity.

The objectives of the article are following:

(1)

to investigate the basic relations between tree defined continuities with respect to two topologies (Definition 2, Remark 1),

(2)

to investigate the relations between quasi-continuity, Baire continuity and continuities with respect to a given ideal (Theorem 1, 2),

(3)

to characterize continuities depending on two topologies by continuities depending on one topology (Theorem 7, 8),

(4)

to investigate the structure of the sets of upper and lower semi discontinuity points (Theorem 3, 5, 9, Corollary 7, Corollary 9),

(5)

to investigate the relations between the continuities with respect to a given bitopological space and the continuities with respect to its dual bitopological space (Theorem 10, Corollary 9, Corollary 12).

(6)

to provide a unifying interpretation of the results using diagrams and formal symbolism (Chapter 5).

2. Definitions and Basic Observations

This chapter is a survey of some basic notions concerning semi continuity, quasi-continuity, and Baire continuity. We also introduce tree variants of quasi-continuity of multifunctions with respect to two topologies that are the focus of our attention.

Let $(X,\tau )$, Y be two topological spaces. The closure (the interior) of $A\subset X$, the closure (the interior) of $B\subset Y$ is denoted by cl_τ$\left(A\right)$ (int_τ$\left(A\right)$), cl$\left(B\right)$ (int$\left(B\right)$), respectively. By ${\mathcal{I}}_{\tau }$ we denote the set of all subsets of X that are of $\tau$-first category and a set is called $\tau$-residual if its complement is of $\tau$-first category. By $\mathbb{R}$ we denote the real numbers.

A multifunction $F:X\to Y$ is any set-valued mapping from X to $2^Y\setminus \{Ø\}$. For any set $W\subset Y$ the upper and lower inverse images are defined as

$$F^{+}\left(W\right)=\{x\in X:F\left(x\right)\subset W\},F^{-}\left(W\right)=\{x\in X:F\left(x\right)\cap W\ne Ø\}.$$

Let us note, that

$$X\setminus F^{-}\left(W\right)=F^{+}(Y\setminus W),$$

$$X\setminus F^{+}\left(W\right)=F^{-}(Y\setminus W).$$

A function $f:X\to Y$ is understood as a strictly nonempty single-valued multifunction with values $\left\{f\right(x\left)\right\},x\in X$.

Definition 1.

Let $(X,\tau )$ be a topological space and $F:X\to Y$ be a multifunction. Then, F is said to be

(1)

lower (upper) semi $\tau$-continuous (for short, $\tau$-$lsc$ ($\tau$-$usc$)) [17,28] at $x\in X$ if for any open set V for which $F\left(x\right)\cap V\ne Ø$$\left(F\right(x)\subset V$) there is a $\tau$-open set U containing x such that $F\left(u\right)\cap V\ne Ø$ ($F\left(u\right)\subset V$) for any $u\in U$. F is $\tau$-$lsc$ ($\tau$-$usc$) if it is so at any point $x\in X$. That means, $F^{-}\left(V\right)$ ($F^{+}\left(V\right)$) is $\tau$-open for any open set $V\subset Y$. In case of a single-valued mapping the lower (upper) semi $\tau$-continuity coincides with $\tau$-continuity.

By $C_{\tau }\left(f\right)$ ($C_{\tau }^l\left(F\right)$, $C_{\tau }^u\left(F\right)$) we denote the set of all points in which a function f is $\tau$-continuous (a multifunction F is $\tau$-$lsc$, $\tau$-$usc$) and $D_{\tau }\left(f\right)=X\setminus C_{\tau }\left(f\right)$ ($D_{\tau }^l\left(F\right)=X\setminus C_{\tau }^l\left(F\right)$, $D_{\tau }^u\left(F\right)=X\setminus C_{\tau }^u\left(F\right))$.

(2)

lower (upper) quasi $\tau$-continuous [28,31] (lower (upper) Baire $\tau$-continuous [21]) at $x\in X$ if for any open set V for which $F\left(x\right)\cap V\ne Ø$ ($F\left(x\right)\subset V$) and any $\tau$-open set H containing x there is a nonempty $\tau$-open set (a set of $\tau$-second category with the $\tau$-Baire property) $U\subset H$ such that $F\left(u\right)\cap V\ne Ø$ ($F\left(u\right)\subset V$) for any $u\in U$. In case of a single-valued mapping the lower (upper) quasi $\tau$-continuity (the lower (upper) Baire $\tau$-continuity) coincides with quasi $\tau$-continuity (Baire $\tau$-continuity). Note in the case of the lower (upper) Baire $\tau$-continuity the set U can be replaced by a set $G\setminus A$, where G is a set of $\tau$-second category and $\tau$-open and A is of $\tau$-first category.

By $Q_{\tau }\left(f\right)$ ($Q_{\tau }^l\left(F\right)$, $Q_{\tau }^u\left(F\right)$) we denote the set of all points in which a function f is quasi $\tau$-continuous (a multifunction F is lower quasi $\tau$-continuous, upper quasi $\tau$-contunuous).

By $B_{\tau }\left(f\right)$ ($B_{\tau }^l\left(F\right)$, $B_{\tau }^u\left(F\right)$) we denote the set of all points in which a function f is Baire $\tau$-continuous (a multifunction F is lower Baire $\tau$-continuous, upper $\tau$-Baire contunuous).

A bitopological space $(X,\tau ,\sigma )$ is a set X with two topologies $\tau$, $\sigma$ on X. A bitopological space $(X,\sigma ,\tau )$ is called a dual of $(X,\tau ,\sigma )$. A typical example of a bitopological space is the space $(\mathbb{R},\tau ,\sigma )$ with the upper topology $\tau =\left\{\right(a,\infty ):a\in \mathbb{R}\}\cup \{Ø,\mathbb{R}\}$ and the lower topology $\sigma =\left\{\right(-\infty ,a):a\in \mathbb{R}\}\cup \{Ø,\mathbb{R}\}$ on the real line $\mathbb{R}$. The usual Euclidean topology on $\mathbb{R}$ is the join topology $\tau \vee \sigma =\{H\cap G:H\in \tau ,G\in \sigma \}$ of $\tau$ and $\sigma$.

Denote

${\mathcal{I}}_{\tau }=\{A:A$ is of $\tau$-first category},

${\mathcal{I}}_{\sigma }=\{A:A$ is of $\sigma$-first category},

$\beta (\tau ,\mathcal{I})=\{G\setminus A:G\in \tau$ and $A\in \mathcal{I}\}$, where $\mathcal{I}$ is an ideal on X,

$\beta (\sigma ,\mathcal{I})=\{G\setminus A:G\in \sigma$ and $A\in \mathcal{I}\}$, where $\mathcal{I}$ is an ideal on X,

${\tau }_{\mathcal{I}}$ - an ideal topology generated by the base $\beta (\tau ,\mathcal{I})$,

${\sigma }_{\mathcal{I}}$ - an ideal topology generated by the base $\beta (\sigma ,\mathcal{I})$,

${\tau }^{*}$ - an ideal topology generated by $\beta (\tau ,{\mathcal{I}}_{\tau })$,

${\sigma }_{{\mathcal{I}}_{\tau }}$ - an ideal topology generated by $\beta (\sigma ,{\mathcal{I}}_{\tau })$.

Note $H\in {\tau }^{*}$ if and only if $H=G\setminus A$, where $G\in \tau$ and $A\in {\mathcal{I}}_{\tau }$.

The following definition introduces six variants of generalized quasi-continuity of multifunction with respect to a bitopological space $(X,\tau ,\sigma )$, namely

-lower/upper quasi-continuity (denoted by $q^l(\tau ,\sigma )/q^u(\tau ,\sigma ))$,

-sectional lower/upper quasi-continuity (denoted by $s{q}^l(\tau ,\sigma )/s{q}^u(\tau ,\sigma ))$,

-weak sectional lower/upper quasi-continuity (denoted by $ws{q}^l(\tau ,\sigma )/ws{q}^u(\tau ,\sigma ))$.

Definition 2.

Let $(X,\tau ,\sigma )$ be a bitopological space and $F:X\to Y$ be a multifunction. Then, F is said to be

(1)

$q^l(\tau ,\sigma )$-continuous ($q^u(\tau ,\sigma )$-continuous),

(2)

$s{q}^l(\tau ,\sigma )$-continuous ($s{q}^u(\tau ,\sigma )$-continuous),

(3)

$ws{q}^l(\tau ,\sigma )$-continuous ($ws{q}^u(\tau ,\sigma )$-continuous)

at $a\in X$ if for any open set V for which $V\cap F\left(a\right)\ne Ø$ ($F\left(a\right)\subset V$) and any $\tau$-open set U containing a there is a nonempty $\sigma$-open set G such that

(1)

$G\subset U$ and $F\left(x\right)\cap V\ne Ø$ ($F\left(x\right)\subset V$) for any $x\in G$,

(2)

$G\cap U\ne Ø$ and $F\left(x\right)\cap V\ne Ø$ ($F\left(x\right)\subset V$) for any $x\in G$,

(3)

$G\cap U\ne Ø$ and $F\left(x\right)\cap V\ne Ø$ ($F\left(x\right)\subset V$) for any $x\in G\cap U$, respectively.

The global definitions are given by the local ones at each point. In case of a single-valued mapping both the upper and the lower versions defined above coincide with $q(\tau ,\sigma )$-continuity, $sq(\tau ,\sigma )$-continuity, $wsq(\tau ,\sigma )$-continuity, respectively [23]. By $Q_{\tau ,\sigma }^l\left(F\right)$, $s{Q}_{\tau ,\sigma }^l\left(F\right)$, $ws{Q}_{\tau ,\sigma }^l\left(F\right)$, $Q_{\tau ,\sigma }^u\left(F\right)$, $s{Q}_{\tau ,\sigma }^u\left(F\right)$, $ws{Q}_{\tau ,\sigma }^u\left(F\right)$ we denote the corresponding sets of continuity points.

In the sequel we will consider the same notions with respect to a dual bitopological space $(X,\sigma ,\tau )$.

In Definition 2, the item (1) is a natural generalization of the lower (upper) quasi $\tau$-continuity (for $\tau =\sigma$). The item (1) and (2) are motivated by Richlewicz definition of lower (upper) inclusion and lower (upper) intersection quasi-continuity in a bitopological space $(X,\tau ,\sigma )$[33]. The item (3) is a generalization of a lower (upper) strong quasi-continuity that was introduced for function (multifunction) defined on $(\mathbb{R},\tau ,\sigma )$, where $\tau$ is the density topology and $\sigma$ is the Euclidean topology on the real line $\mathbb{R}$ [11,18,35,36].

Remark 1.

Let $(X,\tau$, $\sigma )$ be a bitopological space. The next inclusions and equalities are clear. Note, all inclusions can be strict [23].

(1)

(a)

$$Q_{\tau ,\sigma }^l\left(F\right)\subset s{Q}_{\tau ,\sigma }^l\left(F\right)\subset ws{Q}_{\tau ,\sigma }^l\left(F\right),$$

$$Q_{\tau ,\sigma }^u\left(F\right)\subset s{Q}_{\tau ,\sigma }^u\left(F\right)\subset ws{Q}_{\tau ,\sigma }^u\left(F\right).$$

(b)

$$C_{\sigma }^l\left(F\right)\subset s{Q}_{\tau ,\sigma }^l\left(F\right),C_{\tau }^l\left(F\right)\subset s{Q}_{\sigma ,\tau }^l\left(F\right),$$

$$C_{\sigma }^u\left(F\right)\subset s{Q}_{\tau ,\sigma }^u\left(F\right),C_{\tau }^u\left(F\right)\subset s{Q}_{\sigma ,\tau }^u\left(F\right).$$

(2)

If ${\sigma }_1\subset {\sigma }_2$ and ${\tau }_1\subset {\tau }_2$, then

$$ws{Q}_{{\tau }_2,{\sigma }_1}^l\left(F\right)\subset ws{Q}_{{\tau }_1,{\sigma }_2}^l\left(F\right),s{Q}_{{\tau }_2,{\sigma }_1}^l\left(F\right)\subset s{Q}_{{\tau }_1,{\sigma }_2}^l\left(F\right),Q_{{\tau }_2,{\sigma }_1}^l\left(F\right)\subset Q_{{\tau }_1,{\sigma }_2}^l\left(F\right),$$

$$ws{Q}_{{\tau }_2,{\sigma }_1}^u\left(F\right)\subset ws{Q}_{{\tau }_1,{\sigma }_2}^u\left(F\right),s{Q}_{{\tau }_2,{\sigma }_1}^u\left(F\right)\subset s{Q}_{{\tau }_1,{\sigma }_2}^u\left(F\right),Q_{{\tau }_2,{\sigma }_1}^u\left(F\right)\subset Q_{{\tau }_1,{\sigma }_2}^u\left(F\right).$$

(3)

If $\tau =\sigma$, then

$$C_{\tau }^l\left(F\right)\subset Q_{\tau ,\tau }^l\left(F\right)=s{Q}_{\tau ,\tau }^l\left(F\right)=ws{Q}_{\tau ,\tau }^l\left(F\right)=Q_{\tau }^l\left(F\right),$$

$$C_{\tau }^u\left(F\right)\subset Q_{\tau ,\tau }^u\left(F\right)=s{Q}_{\tau ,\tau }^u\left(F\right)=ws{Q}_{\tau ,\tau }^u\left(F\right)=Q_{\tau }^u\left(F\right).$$

If $\sigma \subset \tau$, then

$$Q_{\sigma ,\tau }^l\left(F\right)=s{Q}_{\sigma ,\tau }^l\left(F\right)=ws{Q}_{\sigma ,\tau }^l\left(F\right),Q_{\sigma ,\tau }^u\left(F\right)=s{Q}_{\sigma ,\tau }^u\left(F\right)=ws{Q}_{\sigma ,\tau }^u\left(F\right),$$

$$Q_{\sigma }^l\left(F\right)\cup Q_{\tau }^l\left(F\right)\subset Q_{\sigma ,\tau }^l\left(F\right),ws{Q}_{\tau ,\sigma }^l\left(F\right)\subset Q_{\tau }^l\left(F\right)\cap Q_{\sigma }^l\left(F\right),$$

$$Q_{\sigma }^u\left(F\right)\cup Q_{\tau }^u\left(F\right)\subset Q_{\sigma ,\tau }^u\left(F\right),ws{Q}_{\tau ,\sigma }^u\left(F\right)\subset Q_{\tau }^u\left(F\right)\cap Q_{\sigma }^u\left(F\right).$$

(4)

A multifunction F is lover $\sigma$-somewhat continuous (upper $\sigma$-somewhat continuous) [10] if for any open set $V\subset Y$, ${\mathrm{int}}_{\sigma }\left(F^{-}\left(V\right)\right)$$\left({\mathrm{int}}_{\sigma }\left(F^{+}\left(V\right)\right)\right)$ is nonempty, provided $F^{-}\left(V\right)$$\left(F^{+}\left(V\right)\right)$ is nonempty. If F is $ws{q}^l(\tau ,\sigma )$-continuous ($ws{q}^u(\tau ,\sigma )$-continuous), then F is lover $\sigma$-somewhat continuous (upper $\sigma$-somewhat continuous). It is clear, since F is $ws{q}^l(\tau ,\sigma )$-continuous ($ws{q}^u(\tau ,\sigma )$-continuous), then for any open set $V\subset Y$ such that $F^{-}\left(V\right)$$\left(F^{+}\left(V\right)\right)$ is nonempty and for $X\in \tau$ there is a nonempty $\sigma$-open set U such that $Ø\ne U\cap X=U$ and $F\left(u\right)\cap V\ne Ø$$\left(F\right(u)\subset V)$ for any $u\in U\cap X=U$. That means, $U\subset F^{-}\left(V\right)$$(U\subset F^{+}\left(V\right))$, so ${\mathrm{int}}_{\sigma }\left(F^{-}\left(V\right)\right)$$\left({\mathrm{int}}_{\sigma }\left(F^{+}\left(V\right)\right)\right)$ is nonempty.

(5)

In [23] we defined another type of continuity for a function called $asq(\tau ,\sigma )$-continuity. Two variants of this notion can be introduced for a multifunction. It is easy te see$,F$ is $ws{q}^l(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }})$-continuous $(ws{q}^u(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }})$-continuous) if and only if F is $as{q}^l(\tau ,\sigma )$-continuous $(as{q}^u(\tau ,\sigma )$-continuous). The $ws{q}^l(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }})$-continuity $(ws{q}^u(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }})$-continuity) is the most general type of continuity for which it is still possible to achieve relevant results, see Chapter 4.

Lemma 1.

Let $(X,\tau ,\sigma )$ be a bitopological space and $F:X\to Y$ be a multifunction. Then,

(1)

F is $s{q}^l(\tau ,\sigma )$-continuous $(s{q}^u(\tau ,\sigma )$-continuous) at a if and only if $a\in {\mathrm{cl}}_{\tau }\left({\mathrm{int}}_{\sigma }\left(F^{-}\left(V\right)\right)\right)$$(a\in {\mathrm{cl}}_{\tau }\left({\mathrm{int}}_{\sigma }\left(F^{+}\left(V\right)\right)\right))$ for any open set V intersecting (containing)$F\left(a\right)$.

(2)

F is $s{q}^l(\tau ,\sigma )$-continuous $(s{q}^u(\tau ,\sigma )$-continuous) if and only if $F^{-}\left(V\right)\subset {\mathrm{cl}}_{\tau }\left({\mathrm{int}}_{\sigma }\left(F^{-}\left(V\right)\right)\right)$$(F^{+}\left(V\right)\subset {\mathrm{cl}}_{\tau }\left({\mathrm{int}}_{\sigma }\left(F^{+}\left(V\right)\right)\right))$ for any open set $V\subset Y$.

Proof. (1) Suppose F is $s{q}^l(\tau ,\sigma )$-continuous ($s{q}^u(\tau ,\sigma )$-continuous) at a. Let $a\in F^{-}\left(V\right)$$(a\in F^{+}\left(V\right))$, V be open and $a\in U\in \tau$. From $s{q}^l(\tau ,\sigma )$-continuity $(s{q}^u(\tau ,\sigma )$-continuity) of F at a there is a set $G\in \sigma$ such that $G\cap U\ne Ø$ and $G\subset F^{-}\left(V\right)$$(G\subset F^{+}\left(V\right))$. Since $G\subset {\mathrm{int}}_{\sigma }\left(F^{-}\left(V\right)\right)$$(G\subset {\mathrm{int}}_{\sigma }\left(F^{+}\left(V\right)\right))$, $Ø\ne G\cap U\subset {\mathrm{int}}_{\sigma }\left(F^{-}\left(V\right)\right)\cap U$ $(\subset {\mathrm{int}}_{\sigma }\left(F^{+}\left(V\right)\right)\cap U)$. So, $a\in {\mathrm{cl}}_{\tau }\left({\mathrm{int}}_{\sigma }\left(F^{-}\left(V\right)\right)\right)$$(a\in {\mathrm{cl}}_{\tau }\left({\mathrm{int}}_{\sigma }\left(F^{+}\left(V\right)\right)\right))$.

Suppose $a\in {\mathrm{cl}}_{\tau }\left({\mathrm{int}}_{\sigma }\left(F^{-}\left(V\right)\right)\right)$ ($a\in {\mathrm{cl}}_{\tau }\left({\mathrm{int}}_{\sigma }\left(F^{+}\left(V\right)\right)\right))$ for any open set V intersecting (containing)$F\left(a\right)$. Let $a\in U\in \tau$. Then, $U\cap {\mathrm{int}}_{\sigma }\left(F^{-}\left(V\right)\right)\ne Ø$$(U\cap {\mathrm{int}}_{\sigma }\left(F^{+}\left(V\right)\right)\ne Ø)$. Put $G={\mathrm{int}}_{\sigma }\left(F^{-}\left(V\right)\right)$ ($G={\mathrm{int}}_{\sigma }\left(F^{+}\left(V\right)\right)$). Then, $U\cap G\ne Ø$ and for any $x\in G\subset F^{-}\left(V\right)$ $(x\in G\subset F^{+}\left(V\right))$, $F\left(x\right)\cap V\ne Ø$ $\left(F\right(x)\subset V)$, so F is $s{q}^l(\tau ,\sigma )$-continuous $(s{q}^u(\tau ,\sigma )$-continuous) at a.

(2) follows from (1). □

3. Ideal Topological Setting and Baire Continuity

This chapter discusses the Baire continuity, which is closely related to quasi-continuity and it can be understood as a special case of the Baire property (Theorem 4). For the functions, the Baire continuity is equivalent to the quasi-continuity (Corollary 2), but for multifunctions, the upper/lower Baire continuity is a more general type of continuity than the upper/lower quasi-continuity (Example 1(3)). Although it is more general than the upper/lower quasi-continuity, the upper Baire continuity guarantees the existence of a quasi-continuous selector [20,21] and the set of semi continuity points of upper/lower Baire continuous multifunction is a residual set (Corollary 3).

The main objectives of this section are the equivalence between the upper and lower quasi-continuity, the upper and lower Baire continuity, and other pairs of continuities with respect to a given ideal. Also, the points of continuity of upper and lower Baire continuous multifunction are investigated. The results of this section will be used in the next chapter.

Let $\mathcal{I}$ be an ideal on X. Recall, $\mathcal{I}$ is called $\tau$-codence if any nonempty $\tau$-open set is not from $\mathcal{I}$. The family $\beta (\tau ,\mathcal{I})=\{G\setminus A:G\in \tau$ and $A\in \mathcal{I}\}$ is a base for an ideal topology ${\tau }_{\mathcal{I}}$ finer than $\tau$. Similar notions can be considered with respect to a topolofy $\sigma$. The next remark is clear.

Remark 2.

Let $F:X\to Y$ be a multifunction. The next conditions (1), (2), (3) are equivalent.

(1)

F is $q^l(\tau ,{\tau }_{\mathcal{I}})$-continuous $\left(q^u(\tau ,{\tau }_{\mathcal{I}})\right)$-continuous at a,

(2)

F is $s{q}^l(\tau ,{\tau }_{\mathcal{I}})$-continuous $\left(s{q}^u(\tau ,{\tau }_{\mathcal{I}})\right)$-continuous at a,

(3)

F is $ws{q}^l(\tau ,{\tau }_{\mathcal{I}})$-continuous $\left(ws{q}^u(\tau ,{\tau }_{\mathcal{I}})\right)$-continuous at a.

(4)

F is $ws{q}^l(\tau ,{\sigma }_{\mathcal{I}})$-cotinuous, $s{q}^l(\tau ,{\sigma }_{\mathcal{I}})$-continuous, $q^l(\tau ,{\sigma }_{\mathcal{I}})$-continuous $(ws{q}^u(\tau ,{\sigma }_{\mathcal{I}})$-continuous, $s{q}^l(\tau ,{\sigma }_{\mathcal{I}})$-continuous, $q^l(\tau ,{\sigma }_{\mathcal{I}})$-continuous) at a if and only if for any open set V and any $\tau$-open set U such that $V\cap F\left(a\right)\ne Ø$ ($F\left(a\right)\subset V$) and $a\in U$ there is a nonempty set $E\in \beta (\sigma ,\mathcal{I})$ such that $E\cap U\ne Ø$, $E\cap U\ne Ø$, $E\subset U$ and $V\cap F\left(e\right)\ne Ø$ ($F\left(e\right)\subset V$) for any $e\in E\cap U,E,E$, respectively.

(5)

It is clear, if F is upper Baire $\tau$-continuous, lower Baire $\tau$-continuous, then F is $q^u(\tau ,{\tau }^{*})$-continuous, $q^l(\tau ,{\tau }^{*})$-continuous, respectively. Suppose $(X,\tau )$ is $\tau$-Baire. Then F is $q^u(\tau ,{\tau }^{*})$-continuous, $q^l(\tau ,{\tau }^{*})$-continuous if and only if F is upper Baire $\tau$-continuous, lower Baire $\tau$-continuous, respectively.

(6)

If X is finite and $(X,\tau )$ is $\tau$-Baire, then F is upper Baire $\tau$-continuous, lower Baire $\tau$-continuous if and only if F is upper, lower quasi $\tau$-continuous, respectively.

Proof: Suppose X is finite. The implication "⇐" is clear. Suppose F is lower (upper) Baire $\tau$-continuous at a. Let V be open intersecting $F\left(a\right)$ (containing $F\left(a\right)$) and $H\in \tau$, $a\in H$. Since F is lower Baire $\tau$-continuousat a, there is a set $H_0\in \tau$ and $A_0\in {\mathcal{I}}_{\tau }$ such that $Ø\ne H_0\setminus A_0\subset H$ and $F\left(x\right)\cap V\ne Ø$ ($F\left(x\right)\subset V$) for any $x\in H_0\setminus A_0$. Since X is finite, $A_0$ is $\tau$-nowhere dense and ${\mathrm{cl}}_{\tau }\left(A_0\right)$ is also $\tau$-nowhere dense. So, $H_0\setminus {\mathrm{cl}}_{\tau }\left(A_0\right)$ is $\tau$-open nonempty and for any $x\in H_0\setminus {\mathrm{cl}}_{\tau }\left(A_0\right)\subset H_0\setminus A_0\subset H$, $F\left(x\right)\cap V\ne Ø$ ($F\left(x\right)\subset V$). That means F is lower quasi $\tau$-continuous at a.

Theorem 1.

Let Y be regular, $\mathcal{I}$ be τ-codense and $F:X\to Y$ be a compact valued multifunction. The next conditions are equivalent.

(1) 

F is upper and lower quasi τ-continuous,

(2) 

F is $q^u(\tau ,{\tau }_{\mathcal{I}})$-continuous and $q^l(\tau ,{\tau }_{\mathcal{I}})$-continuous,

(3) 

F is $s{q}^u(\tau ,{\tau }_{\mathcal{I}})$-continuous and $s{q}^l(\tau ,{\tau }_{\mathcal{I}})$-continuous,

(4) 

F is $ws{q}^u(\tau ,{\tau }_{\mathcal{I}})$-continuous and $ws{q}^l(\tau ,{\tau }_{\mathcal{I}})$-continuous.

Proof. 

(1)⇒(2) is trivial.

(2)⇒(1) Let $a\in X$, V be open such that $F\left(a\right)\subset V$ ($V\cap F\left(a\right)\ne Ø$) and $a\in U\in \tau$. Since Y is regular and F is compact valued, there is a nonempty open set $V_0\subset V$ such that $\mathrm{cl}\left({\mathrm{V}}_0\right)\subset \mathrm{V}$ and $F\left(a\right)\subset V_0$ ($V_0\cap F\left(a\right)\ne Ø$).

Since F is $q^u(\tau ,{\tau }_{\mathcal{I}})$-continuous ($q^l(\tau ,{\tau }_{\mathcal{I}})$-continuous) at a, there is a nonempty set $E=G\setminus A\in \beta (\tau ,\mathcal{I})$, $E\subset U$, $G\in \tau$, $A\in \mathcal{I}$ (see Remark 2(4)) such that $F\left(e\right)\subset V_0$$(F\left(e\right)\cap V_0\ne Ø)$ for any $e\in E$. We will show $F\left(e\right)\subset \mathrm{cl}\left({\mathrm{V}}_0\right)$$(F\left(e\right)\cap \mathrm{cl}\left({\mathrm{V}}_0\right)\ne Ø)$ for any $e\in G$. Suppose there is $e_0\in G$ such that $F\left(e_0\right)\cap (Y\setminus \mathrm{cl}\left({\mathrm{V}}_0\right))\ne Ø$$(F\left(e_0\right)\subset X\setminus \mathrm{cl}\left({\mathrm{V}}_0\right))$. Since F is $q^l(\tau ,{\tau }_{\mathcal{I}})$-continuous $(q^u(\tau ,{\tau }_{\mathcal{I}})$-continuous), there is a nonempty set $E_0=G_0\setminus A_0$, $E_0\subset G$, $G_0\in \tau$, $A_0\in \mathcal{I}$ (see Remark 2(4)) such that $F\left(e\right)\cap (Y\setminus \mathrm{cl}\left({\mathrm{V}}_0\right))\ne Ø$$(F\left(e\right)\subset X\setminus \mathrm{cl}\left({\mathrm{V}}_0\right))$ for any $e\in E_0$. It is clear $G\cap G_0\ne Ø$ (if $G\cap G_0=Ø$, then $G\cap (G_0\setminus A_0)=Ø$, a contradiction with $Ø\ne E_0=G_0\setminus A_0\subset G$). Since $\mathcal{I}$ is $\tau$-codense, $Ø\ne (G\cap G_0)\setminus (A\cup A_0)=(G\setminus A)\cap (G_0\setminus A_0)=E\cap E_0$. So, for $e\in E\cap E_0$, we have $F\left(e\right)\subset V_0$ and $F\left(e\right)\cap (Y\setminus \mathrm{cl}\left({\mathrm{V}}_0\right))\ne Ø$ $(F\left(e\right)\cap V_0\ne Ø$ and $F\left(e\right)\subset X\setminus \mathrm{cl}\left({\mathrm{V}}_0\right))$, a contradiction. So, $F\left(e\right)\subset \mathrm{cl}\left({\mathrm{V}}_0\right)$$(F\left(e\right)\cap \mathrm{cl}\left({\mathrm{V}}_0\right)\ne Ø)$ for any $e\in G$. Since $Ø\ne E=G\setminus A\subset U$, $Ø\ne G\cap U\subset U$. So, F is upper (lower) quasi $\tau$-continuous at a.

The equivalences $\left(2\right)\iff \left(3\right)\iff \left(4\right)$ follow from the items (1) (2), (3) of Remark 2. □

Corollary 1.

Let Y be regular, $\mathcal{I}$ be τ-codense and $f:X\to Y$ be a function. The next conditions are equivalent.

(1) 

f is quasi τ-continuous,

(2) 

f is $q(\tau ,{\tau }_{\mathcal{I}})$-continuous,

(3) 

f is $sq(\tau ,{\tau }_{\mathcal{I}})$-continuous,

(4) 

f is $wsq(\tau ,{\tau }_{\mathcal{I}})$-continuous.

Example 1.

The assumption "$\mathcal{I}$ is $\tau$-codense", the regularity of Y and one variant of continuity in Theorem 1 can not be omitted.

(1)

Let $X=\{a,b\}$, $\mathcal{I}=\{Ø,\{a\left\}\right\}$, $\tau =\{X,Ø,\{a\left\}\right\}$. Then, $\mathcal{I}$ is not $\tau$-codense and ${\tau }_{\mathcal{I}}=\{X,Ø,\left\{a\right\},\left\{b\right\}\}$. Put $f:X\to \mathbb{R}$ ($\mathbb{R}$ with the Euclidean topology) defined by $f\left(a\right)=1$ and $f\left(b\right)=0$. Then, f is $q(\tau ,{\tau }_{\mathcal{I}})$-continuous but it is not quasi $\tau$-continuous.

(2)

Let $X=\mathbb{R}$ with the Euclidean topology $\tau$ and $Y=\{0,1\}$ with topology $\{Ø,Y,\{0\left\}\right\}$. It is clear Y is not regular. Then, a function $f:\mathbb{R}\to Y$ defined as $f\left(x\right)=0$ if x is irrational and $f\left(x\right)=1$ otherwise is $q(\tau ,{\tau }_{\mathcal{I}})$-continuous, where $\mathcal{I}=\{A\subset \mathbb{R}:A$ is of $\tau$-first category} but it is not quasi $\tau$-continuous.

(3)

A multifunction $F:\mathbb{R}\to \mathbb{R}$$(G:\mathbb{R}\to \mathbb{R})$ defined as $F\left(x\right)=[0,1]$ if x is rational and $F\left(x\right)=\left\{0\right\}$ otherwise $\left(G\right(x)=\{0\}$ if x is rational and $G\left(x\right)=[0,1]$ otherwise) is $q^u(\tau ,{\tau }_{\mathcal{I}})$-continuous $(q^l(\tau ,{\tau }_{\mathcal{I}})$-continuous) but F$\left(G\right)$ is not upper nor lower quasi $\tau$-continuous, where $\tau$ is the Euclidean topology on $\mathbb{R}$ and $\mathcal{I}=\{A\subset \mathbb{R}:A$ is of $\tau$-first category}.

Theorem 1 holds for any $\tau$-codense ideal. So, also for an ideal ${\mathcal{I}}_{\tau }=\{A\subset X:A$ is of $\tau$-first category}, provided $(X,\tau )$ is $\tau$-Baire. If $(X,\tau )$ is $\tau$-Baire, then the upper Baire $\tau$-continuity, the lower Baire $\tau$-continuous is equivalent to the $q^u(\tau ,{\tau }^{*})$-continuity, the $q^l(\tau ,{\tau }^{*})$-continuity, respectively, see Remark 2(5). So, we have the next result that is a spacial case of Theorem 1, since ${\tau }_{{\mathcal{I}}_{\tau }}={\tau }^{*}$. Note ${\mathcal{I}}_{\tau }$ is $\tau$-codense if and only if $(X,\tau )$ is $\tau$-Baire.

Theorem 2.

Let Y be regular, $(X,\tau )$ be τ-Baire and $F:X\to Y$ be a compact valued multifunction. The next conditions are equivalent.

(1) 

F is upper Baire τ-continuous and lower Baire τ-continuous,

(2) 

F is upper and lower quasi τ-continuous.

(3) 

F is $q^u(\tau ,{\tau }^{*})$-continuous and $q^l(\tau ,{\tau }^{*})$-continuous,

(4) 

F is $s{q}^u(\tau ,{\tau }^{*})$-continuous and $s{q}^l(\tau ,{\tau }^{*})$-continuous,

(5) 

F is $ws{q}^u(\tau ,{\tau }^{*})$-continuous and $ws{q}^l(\tau ,{\tau }^{*})$-continuous.

Note, under conditions Y is regular, $(X,\tau )$ is $\tau$-Baire, $\mathcal{I}$ is a $\tau$-codense ideal and $F:X\to Y$ is a compact valued multifunction, all items from Theorem 1 and Theorem 2 are equivalent. It is a special case when the second topology is finer then the first one and further combinations will be solved in the next chapter

In function setting, by Theorem 1 and Theorem 2, we have the next corollary.

Corollary 2.

Let Y be regular, $(X,\tau )$ be τ-Baire, $\mathcal{I}$ be a τ-codense ideal and $f:X\to Y$ be a function. Then, we can express all equivalences by the next diagram.

Theorem 3.

Let $(X,\tau )$ be a topological space, Y be a regular second countable topological space and $F:X\to Y$ be a multifunction.

(1) 

If F is $q^u(\tau ,{\tau }^{*})$-continuous $(s{q}^u(\tau ,{\tau }^{*})$-continuous, $ws{q}^u(\tau ,{\tau }^{*})$-continuous), then F is τ-$lsc$ except for a set of τ-first category $(D_{\tau }^l\left(F\right)\in {\mathcal{I}}_{\tau })$.

(2) 

If F is $q^l(\tau ,{\tau }^{*})$-continuous $(s{q}^l(\tau ,{\tau }^{*})$-continuous, $ws{q}^l(\tau ,{\tau }^{*})$-continuous) and compact valued, then F is τ-$usc$ except for a set of τ-first category $(D_{\tau }^u\left(F\right)\in {\mathcal{I}}_{\tau })$.

Proof. 

Let $\mathcal{B}=\{B_n:n=1,2,\dots \}$ be a base of Y.

(1) For a set $A\subset X$, put $D_{\tau }\left(A\right)=\{x\in X:A\cap G$ is of $\tau$-second category for any $G\in \tau$ containing x}. Let $S_{\tau }^l\left(F\right)=\{x\in X:x\in {\mathrm{int}}_{\tau }\left(D_{\tau }\left(F^{-}\left(V\right)\right)\right)$ for any open set V such that $V\cap F\left(x\right)\ne Ø$}.

Let $a\in S_{\tau }^l\left(F\right)$. We show F is $\tau$-$lsc$ at a. Let V be open and $V\cap F\left(a\right)\ne Ø$. Since Y is regular, there is an open set $V_0$ such that $\mathrm{cl}\left({\mathrm{V}}_0\right)\subset V$ and $V_0\cap F\left(a\right)\ne Ø$. Denote $H={\mathrm{int}}_{\tau }(D_{\tau }\left(F^{-}\left(V_0\right)\right)$. It is clear $a\in {\mathrm{int}}_{\tau }(D_{\tau }\left(F^{-}\left(V_0\right)\right)$. We will show $\mathrm{cl}\left(V_0\right)\cap F\left(x\right)\ne Ø$ for any $x\in H$. Suppose there is $x_0\in H$ such that $F\left(x_0\right)\subset Y\setminus \mathrm{cl}\left(V_0\right)$. Since F is $q^u(\tau ,{\tau }^{*})$-continuous, there is a nonempty set $G\setminus A\subset H$, where $G\in \tau$, $A\in {\mathcal{I}}_{\tau }$ (see Remark 2(4)) and $F\left(x_0\right)\subset Y\setminus \mathrm{cl}\left(V_0\right)$ for any $x\in G\setminus A$. (★)

It is clear $H\cap G\ne Ø$. Since $H\cap G\subset {\mathrm{int}}_{\tau }(D_{\tau }\left(F^{-}\left(V_0\right)\right)\subset D_{\tau }\left(F^{-}\left(V_0\right)\right)$, there is a set $S\subset H\cap G$ which is of $\tau$-second category and $F\left(x\right)\cap V_0\ne Ø$ for any $x\in S$. That means, there is $s\in S\setminus A\subset (H\cap G)\setminus A\subset G\setminus A$, for which $F\left(s\right)\cap V_0\ne Ø$ and $F\left(s\right)\subset Y\setminus \mathrm{cl}\left(V_0\right)$ (see (★)), a contradiction.

Now it is sufficient to show that $X\setminus S_{\tau }^l\left(F\right)$ is of $\tau$-first category. It is clear

$$X\setminus S_{\tau }^l\left(F\right)\subset \bigcup _{n=1}^{\infty }[F^{-}\left(B_n\right)\setminus {\mathrm{int}}_{\tau }\left(D_{\tau }\left(F^{-}\left(B_n\right)\right)\right)]=:R.$$

Denote

$A_n=F^{-}\left(B_n\right)\setminus D_{\tau }\left(F^{-}\left(B_n\right)\right)$,

$B_n=[D_{\tau }\left(F^{-}\left(B_n\right)\right)\setminus {\mathrm{int}}_{\tau }\left(D_{\tau }\left(F^{-}\left(B_n\right)\right)\right)]\cap F^{-}\left(B_n\right)$.

Since the sets $A_n$ and $B_n$ are of $\tau$-first category, the set

$$R=\bigcup _{n=1}^{\infty }{A}_n\cup B_n$$

is of $\tau$-first category, so $X\setminus S_{\tau }^l\left(F\right)$ is of $\tau$-first category.

(2) Let $S_{\tau }^u\left(F\right)=\{x\in X:x\in {\mathrm{int}}_{\tau }(D_{\tau }\left(F^{+}\left(V\right)\right)$ for any open set V such that $F\left(x\right)\subset V$}. Similar like in the case (1) we can show that F is $\tau$-$usc$ at x if $x\in S_{\tau }^u\left(F\right).$ It is clear

$$X\setminus S_{\tau }^u\left(F\right)\subset \bigcup _{n=1}^{\infty }[F^{+}\left(G_n\right)\setminus {\mathrm{int}}_{\tau }\left(D_{\tau }\left(F^{+}\left(G_n\right)\right)\right)]=:R$$

where $\{G_1,G_2,G_3,\dots \}$ is a sequence of all finite unions of sets from $\mathcal{B}$. Similar like in the case (1), we can show R is of $\tau$-first category, so $X\setminus S_{\tau }^u\left(F\right)$ is of $\tau$-first category.

The other cases in brackets follow from the equations $Q_{\tau ,{\tau }^{*}}^u=s{Q}_{\tau ,{\tau }^{*}}^u=ws{Q}_{\tau ,{\tau }^{*}}^u$ and $Q_{\tau ,{\tau }^{*}}^l=s{Q}_{\tau ,{\tau }^{*}}^l=ws{Q}_{\tau ,{\tau }^{*}}^l$, see Remark 1(3). □

Theorem 3 has two applications. It can be applied for the upper (lower) $\tau$-quasi continuity and the upper (lower) Baire $\tau$-continuity (see Remark 2(5)).

Corollary 3.([4,20]) Let Y be a regular second countable topological space and $F:X\to Y$ be a multifunction.

(1) 

If F is upper τ-quasi continuous, upper Baire τ-continuous, then F is τ-$lsc$ except for a set of τ-first category $(D_{\tau }^l\left(F\right)\in {\mathcal{I}}_{\tau })$, respectively.

(2) 

If F is compact valued and lower τ-quasi continuous, lower Baire τ-continuous, then F is τ-$usc$ except for a set of τ-first category $(D_{\tau }^u\left(F\right)\in {\mathcal{I}}_{\tau })$, respectively.

Proof. 

If F is upper $\tau$-quasi continuous (lower $\tau$-quasi continuous and compact valued), then F is $q^u(\tau ,{\tau }^{*})$-continuous ($q^l(\tau ,{\tau }^{*})$-continuous) and by Theorem 3, F is $\tau$-$lsc$ ($\tau$-$usc$) except for a set of $\tau$-first category.

If F is upper Baire $\tau$-continuous (lower Baire $\tau$-continuous and compact valued), then F is $q^u(\tau ,{\tau }^{*})$-continuous ($q^l(\tau ,{\tau }^{*})$-continuous) and $(X,\tau )$-is Baire. By Remark 2(5), F is $q^u(\tau ,{\tau }^{*})$-continuous ($q^l(\tau ,{\tau }^{*})$-continuous) and by Theorem 3, F is $\tau$-$lsc$ ($\tau$-$usc$) except for a set of $\tau$-first category. □

By Corollary 2, for a function, we have the next result.

Corollary 4.

Let Y be a regular second countable topological space, X be τ-Baire, $\mathcal{I}$ be a τ-codense ideal and $f:X\to Y$ be a function. If f is τ-quasi continuous, Baire τ-continuous, $q(\tau ,{\tau }^{*})$-continuous, $wsq(\tau ,{\tau }_{\mathcal{I}})$-continuous, $sq(\tau ,{\tau }_{\mathcal{I}})$-continuous, $q(\tau ,{\tau }_{\mathcal{I}})$-continuous, then f is τ-continuous except for a set of τ-first category $(D_{\tau }\left(f\right)\in {\mathcal{I}}_{\tau })$, respectively.

Next theorem shows that the lower and upper $\tau$-Baire continuities are very closed to a multifunction having the $\tau$-Baire property.

Theorem 4.

Let $(X,\tau )$ be a τ-Baire topological space, Y be a regular second countable topological space and $F:X\to Y$ be a compact valued multifunction. Suppose any open subset of Y can be written as a union of closed sets.

(1) 

F is lower Baire τ-continuous if and only if for any open set V, $F^{-}\left(V\right)=(G\setminus A)\cup B$, where $G\in \tau$, $A,B\in {\mathcal{I}}_{\tau }$ and $B\subset {\mathrm{cl}}_{\tau }\left(G\right)$.

(2) 

F is upper Baire τ-continuous if and only if for any open set V, $F^{+}\left(V\right)=(G\setminus A)\cup B$, where $G\in \tau$, $A,B\in {\mathcal{I}}_{\tau }$ and $B\subset {\mathrm{cl}}_{\tau }\left(G\right)$.

Proof. (1) ⇒: Let F be lower Baire $\tau$-continuous. By Corollary 3, F is $\tau$-$usc$ except for a set A which is of $\tau$-first category. Then, for any open set V, $F^{+}\left(V\right)\cap (X\setminus A)$ has the $\tau$-Baire property, so $F^{+}\left(V\right)$ has the $\tau$-Baire property. Let $V={\bigcup }_{n=1}^{\infty }{F}_n$, where $F_n\subset Y$ is closed for any $n=1,2,\dots$. Then

$$F^{-}\left(V\right)=\bigcup _{n=1}^{\infty }{F}^{-}\left(F_n\right)=X\setminus \bigcap _{n=1}^{\infty }{F}^{+}(X\setminus F_n)$$

has the $\tau$-Baire property. Let $F^{-}\left(V\right)=(G\setminus A)\cup B$, where $G\in \tau$ and $A,B$ are of $\tau$-first category. We show $B\subset {\mathrm{cl}}_{\tau }\left(G\right)$. Suppose there is $x\in B\setminus {\mathrm{cl}}_{\tau }\left(G\right)$. Since F is lower Baire $\tau$-continuous, there is a set C which is of $\tau$-second category with the $\tau$-Baire property and $C\subset F^{-}\left(V\right)\cap (X\setminus {\mathrm{cl}}_{\tau }\left(G\right))=((G\setminus A)\cup B)\cap (X\setminus {\mathrm{cl}}_{\tau }\left(G\right))\subset B$. So, C is of $\tau$-first category, a contradiction.

⇐: Let $a\in X$, U be $\tau$-open containing a and V be open intersecting $F\left(a\right)$. Then, $a\in F^{-}\left(V\right)\cap U=[(G\setminus A)\cup B]\cap U=[(G\setminus A)\cap U]\cup [B\cap U]$, where $G\in \tau$, $A,B\in {\mathcal{I}}_{\tau }$ and $B\subset {\mathrm{cl}}_{\tau }\left(G\right)$. We show $(G\setminus A)\cap U$ is of $\tau$-second category. If $a\in (G\setminus A)\cap U$, then $(G\setminus A)\cap U$ is of $\tau$-second category, since $(X,\tau )$ is $\tau$-Baire. If $a\in B\cap U$, then $G\cap U\ne Ø$, since $B\subset {\mathrm{cl}}_{\tau }\left(G\right)$. So, $(G\setminus A)\cap U$ is of $\tau$-second category. Moreover, $(G\setminus A)\cap U$ has the $\tau$-Baire property. Since $(G\setminus A)\cap U\subset F^{-}\left(V\right)\cap U$, F is lower Baire $\tau$-continuousat a.

Item (2) is similar. □

4. Bitopological Setting

This section presents the main results of the article. In particular, we study the continuities depending on two topologies and their properties depending on one topology. Namely, let F be $q^l(\tau ,\sigma )$-continuous $(q^u(\tau ,\sigma )$-continuous), $s{q}^l(\tau ,\sigma )$-continuous ($s{q}^u(\tau ,\sigma )$-continuous), $ws{q}^l(\tau ,\sigma )$-continuous $(ws{q}^u(\tau ,\sigma )$-continuous), respectively. All continuities depend on two topologies. The following questions are of interest.

(1)

Is F lower/upper quasi-continuous or lower/upper Baire contnuous with respect to $\tau$ or $\sigma$ ? (Theorem 6, Corollary 7)

(2)

What is the structure of the sets of discontinuity points $D_{\tau }^l\left(F\right)$, $D_{\tau }^u\left(F\right)$, $D_{\sigma }^l\left(F\right)$, $D_{\sigma }^u\left(F\right)$ of F ? (Theorem 5, Theorem 9, Corollary 9)

(3)

Is there a characterization of a continuity depending on two topologies by continuity/continuities depending only on one topology ? (to find one topological decomposition theorem, Theorem 7, Theorem 8)

(4)

What are the continuity properties of F with respect to the corresponding dual bitopological space ? (Theorem 10, Corollary 9, Corollary 12)

We will focus mainly on the following combinations of two continuities.

(5)

$ws{q}^l(\tau ,\sigma )$ and $ws{q}^u(\tau ,\sigma )$ / $s{q}^l(\tau ,\sigma )$ and $s{q}^u(\tau ,\sigma )$ (the same topological order and the different versions of continuities, Corollary 7, Corollary 10)

(6)

$ws{q}^u(\tau ,\sigma )$ and $ws{q}^u(\sigma ,\tau )$ / $s{q}^l(\tau ,\sigma )$ and $s{q}^l(\sigma ,\tau )$ (the different topological order and the same versions of continuities, see two last diagrams in Chapter 5)

(7)

$ws{q}^l(\tau ,\sigma )$ and $ws{q}^u(\sigma ,\tau )$ / $s{q}^l(\tau ,\sigma )$ and $s{q}^u(\sigma ,\tau )$ (the different topological order and different versions of continuities, Corollary 9, Corollary 12)

Let us note a few known facts in a bitopological setting, provided $\sigma \subset \tau$.

Lemma 2.

Let $(X,\tau ,\sigma )$ be a bitopolocal space, $\sigma \subset \tau$ and $F:X\to Y$ be a multifunction.

(1) 

If F is $ws{q}^l(\tau ,\sigma )$-continuous at a, then F is lower quasi τ-continuous at a and lower quasi σ-continuous at a.

(2) 

If F is $ws{q}^u(\tau ,\sigma )$-continuous at a, then F is upper quasi τ-continuous at a and upper quasi σ-continuous at a.

Suppose Y is second countable.

(3) 

If F is $ws{q}^l(\tau ,\sigma )$-continuous, then

$$D_{\tau }^l\left(F\right)\in {\mathcal{I}}_{\tau }\cap {\mathcal{I}}_{\sigma },D_{\sigma }^l\left(F\right)\in {\mathcal{I}}_{\sigma }.$$

Moreover, if F is compact valued and Y is regular, then

$$D_{\tau }^u\left(F\right)\in {\mathcal{I}}_{\tau }\cap {\mathcal{I}}_{\sigma },D_{\sigma }^u\left(F\right)\in {\mathcal{I}}_{\sigma }.$$

(4) 

If F is $ws{q}^u(\tau ,\sigma )$-continuous and compact valued, then

$$D_{\tau }^u\left(F\right)\in {\mathcal{I}}_{\tau }\cap {\mathcal{I}}_{\sigma },D_{\sigma }^u\left(F\right)\in {\mathcal{I}}_{\sigma }.$$

Moreover, if Y is regular, then

$$D_{\tau }^l\left(F\right)\in {\mathcal{I}}_{\tau }\cap {\mathcal{I}}_{\sigma },D_{\sigma }^l\left(F\right)\in {\mathcal{I}}_{\sigma }.$$

Proof. 

Since $\sigma \subset \tau$, (1) and (2) hold, see Remark 1(3).

(3) Suppose F is $ws{q}^l(\tau ,\sigma )$-continuous and Y is second countable. By (1), F is lower quasi $\tau$-continuous and lower quasi $\sigma$-continuous and by [28], $D_{\tau }^l\left(F\right)$ is of $\tau$-first category and $D_{\sigma }^l\left(F\right)$ is of $\sigma$-first category. Since $C_{\sigma }^l\left(F\right)\subset C_{\tau }^l\left(F\right)$, $D_{\tau }^l\left(F\right)$ is also of $\sigma$-first category. Moreover, if F is compact valued and Y is regular, then (by [28]) $D_{\tau }^u\left(F\right)$ is of $\tau$-first category and $D_{\sigma }^u\left(F\right)$ is of $\sigma$-first category. Since $C_{\sigma }^u\left(F\right)\subset C_{\tau }^u\left(F\right)$, $D_{\tau }^u\left(F\right)$ is also of $\sigma$-first category.

(4) Suppose F is compact valued $ws{q}^u(\tau ,\sigma )$-continuous and Y is second countable. By (2), F is upper quasi $\tau$-continuous and upper quasi $\sigma$-continuous and by [28], $D_{\tau }^u\left(F\right)$ is of $\tau$-first category and $D_{\sigma }^u\left(F\right)$ is of $\sigma$-first category. Since $C_{\sigma }^u\left(F\right)\subset C_{\tau }^u\left(F\right)$, $D_{\tau }^u\left(F\right)$ is also of $\sigma$-first category. Moreover, if Y is regular, then (by [28]) $D_{\tau }^l\left(F\right)$ is of $\tau$-first category and $D_{\sigma }^l\left(F\right)$ is of $\sigma$-first category. Since $C_{\sigma }^l\left(F\right)\subset C_{\tau }^l\left(F\right)$, $D_{\tau }^l\left(F\right)$ is also of $\sigma$-first category. □

A question is if in Lemma 2, $ws{q}^l(\tau ,\sigma )$-continuity ($ws{q}^u(\tau ,\sigma )$-continuity) can be changed by a dual continuity, namely by $ws{q}^l(\sigma ,\tau )$-continuity ($ws{q}^u(\sigma ,\tau )$-continuity). The next example shows it is not possible.

Example 2.

The function F (G) in Example 1(3) is $ws{q}^u(\tau ,{\tau }^{*})$-continuous (G is $ws{q}^l(\tau ,{\tau }^{*})$-continuous) but $C_{\tau }^u\left(F\right)$ ($C_{\tau }^l\left(G\right)$) is the set of all rational numbers.

In Lemma 2, the structure of the sets $D_{\tau }^u\left(F\right)$, $D_{\tau }^l\left(F\right)$, $D_{\sigma }^u\left(F\right)$, $D_{\sigma }^l\left(F\right)$ follows from the condition $\sigma \subset \tau$ which guarantees the lower (upper) quasi $\tau$-continuity and the lower (upper) quasi $\sigma$-continuity. When the condition $\sigma \subset \tau$ is omitted, the structure of the sets $D_{\tau }^u\left(F\right)$, $D_{\tau }^l\left(F\right)$, $D_{\sigma }^u\left(F\right)$, $D_{\sigma }^l\left(F\right)$ may vary, as the next example shows.

Example 3.

 

(1) Let $X=\{a,b,c,d\}$. Put $\sigma =\{Ø,X,$$\left\{d\right\},\{a,b\},\{a,b,d\}\}$, $\tau =\{Ø,X,$$\left\{b\right\},\{c,d\}$, $\{b,c,d\}\}$, $\sigma \neg \subset \tau$, $\tau \neg \subset \sigma$. The sets of $\sigma$-first category: $Ø,\left\{c\right\}$. The sets of $\tau$-first category: $Ø,\left\{a\right\}$. A multifunction $F:X\to \mathbb{R}$$(\mathbb{R}$ with the Euclidean topology) defined as $F\left(a\right)=F\left(c\right)=\{1,2\}$ and $F\left(b\right)=F\left(d\right)=\left\{1\right\}$ is $ws{q}^u(\tau ,\sigma )$-continuous but $D_{\sigma }^u\left(F\right)=\left\{b\right\}$, $D_{\sigma }^l\left(F\right)=\{a,c\}$, $D_{\tau }^u\left(F\right)=\left\{d\right\}$, $D_{\tau }^l\left(F\right)=\{a,c\}$ are not of $\tau$-first category nor $\sigma$-first category.

A multifunction $G:X\to \mathbb{R}$ defined as $G\left(a\right)=G\left(c\right)=\left\{1\right\}$ and $G\left(b\right)=G\left(d\right)=\{1,2\}$ is $ws{q}^l(\tau ,\sigma )$-continuous but $D_{\sigma }^u\left(G\right)=\{a,c\}$, $D_{\sigma }^l\left(G\right)=\left\{b\right\}$, $D_{\tau }^u\left(G\right)=\{a,c\}$, $D_{\tau }^l\left(G\right)=\left\{d\right\}$ are not of $\tau$-first category nor $\sigma$-first category.

(2) Even for a $sq(\tau ,\sigma )$-continuous function the set $D_{\sigma }\left(f\right)$ doesn’t have to be from ${\mathcal{I}}_{\tau }.$ Let $X=\{a,b,c\}$. Put $\sigma =\{Ø,X,$$\left\{a\right\},\left\{c\right\},\{a,c\},\{b,c\}\}$, $\tau =\{Ø,X,$$\{a,b\}\}$, $\sigma \neg \subset \tau$, $\tau \neg \subset \sigma$. The sets of $\sigma$-first category: $Ø,\left\{b\right\}$. The sets of $\tau$-first category: $Ø,\left\{c\right\}$. A function $f:X\to \mathbb{R}$$(\mathbb{R}$ with the Euclidean topology) defined as $f\left(a\right)=f\left(b\right)=1$ and $f\left(c\right)=2$ is $sq(\tau ,\sigma )$-continuous but $D_{\sigma }\left(f\right)=\left\{b\right\}$ is not of $\tau$-first category.

(3) Let $X=\{a,b,c,d\}$. Put $\sigma =\{Ø,X,\{a\},\{b,c\},\{d\},\{a,b,c\},\{b,c,d\},\{a,d\left\}\right\}$, $\tau =\{Ø,X,$$\left\{a\right\},$ $\left\{b\right\},\left\{d\right\},\{a,b\},\{b,d\},\{a,d\},\{a,b,d\}\}$, $\sigma \neg \subset \tau$, $\tau \neg \subset \sigma$. The sets of $\tau$-first category: ∅, $\left\{c\right\}$. The sets of $\sigma$-first category: ∅. Let $f:X\to \mathbb{R}$, $f\left(a\right)=f\left(c\right)=1$, $f\left(b\right)=f\left(d\right)=2$$(\mathbb{R}$ with the Euclidean topology). Then, f is $wsq(\tau ,\sigma )$-continuous, f is quasi $\tau$-continuous, $D_{\tau }\left(f\right)=\left\{c\right\}$ is of $\tau$-first category, $D_{\sigma }\left(f\right)=\{b,c\}$ is of $\tau$-second category. Note, the conditions $\tau \prec \sigma$, $B(\tau ,\sigma )$ hold (see Definition 3 below) and this example shows the sets $D_{\sigma }^u\left(F\right)$ and $D_{\sigma }^l\left(F\right)$ in Corollary 7(3) are not necessary from ${\mathcal{I}}_{\tau }$.

Question is whether $D_{\sigma }^u\left(F\right)$ and $D_{\sigma }^l\left(F\right)$ in Lemma 2 are of $\tau$-first category, provided $\sigma \subset \tau$. The next example shows it does not apply.

Example 4.

Let $X=\{a,b,c\}$. Put $\sigma =\{Ø,X,$$\left\{a\right\},\left\{b\right\},$$\{a,b\}\}$, $\tau =2^X$, $\sigma \subset \tau$.

The sets of $\sigma$-first category: $Ø,\left\{c\right\}$.

The sets of $\tau$-first category: ∅.

A multifunction $F_1:X\to \mathbb{R}$ ($\mathbb{R}$ with the Euclidean topology) defined as $F_1\left(a\right)=F_1\left(b\right)=\{0,1\}$ and $F_1\left(c\right)=\left\{0\right\}$ is $ws{q}^l(\tau ,\sigma )$-continuous but $D_{\sigma }^l\left(F_1\right)=\left\{c\right\}$ is not of $\tau$-first category. Note, $F_1$ is not $ws{q}^u(\tau ,\sigma )$-continuous at c.

A multifunction $F_2:X\to \mathbb{R}$ defined as $F_2\left(a\right)=F\left(b\right)=\left\{1\right\}$ and $F_2\left(c\right)=\{1,2\}$ is $ws{q}^u(\tau ,\sigma )$-continuous but $D_{\sigma }^u\left(F_2\right)=\left\{c\right\}$ is not of $\tau$-first category. Note, $F_2$ is not $ws{q}^l(\tau ,\sigma )$-continuous at c. A case when F is $ws{q}^l(\tau ,\sigma )$-continuous and $ws{q}^u(\tau ,\sigma )$-continuous is solved in Corollary 10, provided $\sigma \subset \tau$ and in Corollary 7(3), provided $\tau \prec \sigma$.

In the following we will show that the condition $\sigma \subset \tau$ can be replaced by a more general condition (see Definition 3 below) that guarantees satisfactory results concerning the set of discontinuity points and the mutual relations between the studied continuities.

Definition 3. ([23]) Let $(X,\tau ,\sigma )$ be a bitopological space. A set A is $\tau$-pseudo open if $A=G\cup Z$, where $G\in \tau$ and Z is of $\tau$-first category. A topology $\tau$ pseudo refines $\sigma$, denoted by $\tau \prec \sigma$ if any $\sigma$-closed set is $\tau$-pseudo open. By $B(\tau ,\sigma )$ we denote the next property: for any $H\in \tau$ and any $G\in \sigma$ the intersection $H\cap G$ is of $\tau$-second category, provided $H\cap G\ne Ø$.

Lemma 3.([23]) Let $(X,\tau ,\sigma )$ be a bitopological space.

(1) 

If $\tau \prec \sigma$, then $H\cap G$ has the τ-Baire property for any $H\in \tau$ and $G\in \sigma$. (Since any σ-closed set is τ-pseudo open (so, it has τ-Baire property), any σ-open set has the τ-Baire property, so $H\cap G$ has τ-Baire property).

(2) 

Since any τ-closed set F can be expressed as $F=$int_τ$\left(F\right)\cup (F\setminus$int_τ$\left(F\right))$, where $F\setminus$int_τ$\left(F\right)$ is τ-nowhere dense, $\tau \prec \tau$.

(3) 

Let $\sigma \subset \tau$. Then, $B(\tau ,\sigma )$ holds if and only if $(X,\tau )$ is τ-Baire.

If F is σ-closed, then F is also τ-closed. Since $F\setminus$int_τ$\left(F\right)$ is τ-nowhere dense, F can be expressed as $F=$int_τ$\left(F\right)\cup (F\setminus$int_τ$\left(F\right))$. So, $\tau \prec \sigma$. As a special case we get ${\tau }_{\mathcal{I}}\prec \tau$ for any ideal $\mathcal{I}$ and for ${\mathcal{I}}_{\tau }$ we have ${\tau }^{*}\prec \tau$.

Suppose F is ${\tau }^{*}$-closed in $(X,{\tau }^{*})$. Then $F^{*}\subset F$, where $F^{*}$ is a set of all points at which F is of τ-second category and $F^{*}$ is τ-closed. So, $F={\mathrm{int}}_{\tau }\left(F^{*}\right)\cup [F^{*}\setminus {\mathrm{int}}_{\tau }\left(F^{*}\right)]\cup [F\setminus F^{*}]$. Since $F\setminus F^{*}$ is of τ-first category and $F^{*}\setminus {\mathrm{int}}_{\tau }\left(F^{*}\right)$ is τ-first category, F is τ-pseudo open. That means $\tau \prec {\tau }^{*}$.

(4) 

If $B(\tau ,\sigma )$ holds, then $(X,\tau )$ is τ-Baire and any nonempty σ-open set is of τ-second category. The condition $B(\tau ,\tau )$ holds if and only if $(X,\tau )$ is τ-Baire.

Theorem 5.

Let $(X,\tau ,\sigma )$ be a bitopological space, $\tau \prec \sigma$, Y be a second countable topological space and $F:X\to Y$ be a multifunction.

(1) 

If F is $s{q}^l(\tau ,\sigma )$-continuous except for a set of τ-first category $(F$ is $s{q}^l(\tau ,\sigma )$-continuous), then F is σ-$lsc$ except for a set of τ-first category $(D_{\sigma }^l\left(F\right)\in {\mathcal{I}}_{\tau })$.

(2) 

Suppose Y is regular. If F is compact valued $s{q}^u(\tau ,\sigma )$-continuous except for a set of τ-first category $(F$ is compact valued $s{q}^u(\tau ,\sigma )$-continuous), then F is σ-$usc$ except for a set of τ-first category $(D_{\sigma }^u\left(F\right)\in {\mathcal{I}}_{\tau })$.

Proof. 

We will prove the item (1).

Let $\mathcal{B}=\{B_n:n=1,2,\dots \}$ be a base of Y. Then, the set of all points at which F is not $\sigma$-$lsc$ can be expressed as

$$\bigcup _{n=1}^{\infty }[F^{-}\left(B_n\right)\setminus {\mathrm{int}}_{\sigma }\left(F^{-}\left(B_n\right)\right)].$$

We will prove that $A_n=F^{-}\left(B_n\right)\setminus {\mathrm{int}}_{\sigma }\left(F^{-}\left(B_n\right)\right)$ is of $\tau$-first category for any $n=1,2,\dots$ Assume there is n such that $A_n$ is of $\tau$-second category. Denote $G=X\setminus {\mathrm{int}}_{\sigma }\left(F^{-}\left(B_n\right)\right)$. Since $\tau \prec \sigma$ and G is $\sigma$-closed, there are $H\in \tau$ and I which is of $\tau$-first category such that $G=H\cup I$. Since $A_n$ ($A_n\subset H\cup I$) is of $\tau$-second category, there is a point $a\in H\cap A_n$ and F is $s{q}^l(\tau ,\sigma )$-continuous at a. Moreover, $H\cap {\mathrm{int}}_{\sigma }\left(F^{-}\left(B_n\right)\right)=Ø$.

Since F is $s{q}^l(\tau ,\sigma )$-continuous at a, there is a nonempty set $U\in \sigma$ such that $U\cap H\ne Ø$ and $F\left(x\right)\cap B_n\ne Ø$ for any $x\in U$. That means, $U\subset {\mathrm{int}}_{\sigma }\left(F^{-}\left(B_n\right)\right)$. Since $H\cap {\mathrm{int}}_{\sigma }\left(F^{-}\left(B_n\right)\right)=Ø$, $U\cap H=Ø$, a contradiction.

(2) is similar. Since Y is regular and F is compact valued, the set of all points at which F is not $\sigma$-$usc$ can be expressed as ${\bigcup }_{n=1}^{\infty }[F^{+}\left(V_n\right)\setminus {\mathrm{int}}_{\sigma }\left(F^{+}\left(V_n\right)\right)]$, where $\{V_1,V_2,V_3,\dots \}$ is a sequence of all finite unions of sets from $\mathcal{B}$. □

The assumption $\tau \prec \sigma$ in Theorem 5 cannot be omitted, see Example 3, where f is $sq(\tau ,\sigma )$-continuous but $D_{\sigma }\left(f\right)=\left\{b\right\}$ is not of $\tau$-first category. The set $\left\{b\right\}$ is $\sigma$-closed but it is not $\tau$-pseudo open, so $\tau \neg \prec \sigma$.

Theorem 5 does not hold for a $ws{q}^l(\tau ,\sigma )$-continuous or $ws{q}^u(\tau ,\sigma )$-continuous multifunction. In Example 4, $F_1$ ($F_2$) is $ws{q}^l(\tau ,\sigma )$-continuous ($ws{q}^u(\tau ,\sigma )$-continuous) but $D_{\sigma }^l\left(F_1\right)$$\left(D_{\sigma }^u\left(F_2\right)\right)$ is of $\tau$-second category (it holds in some special cases, see next corollary). A case when a multifunction F is $ws{q}^l(\tau ,\sigma )$-continuous and $ws{q}^u(\tau ,\sigma )$-continuous is solved in Corollary 10.

From Theorem 5, we can obtain two consequences. It is worth to compare the item (3) in Corollary 5 concerning $(X,{\tau }^{*},\tau$) with Theorem 3 concerning ($X,\tau ,{\tau }^{*}$). Note, Corollary 5 is a special case of Lemma 2 ($\tau \subset {\tau }_{\mathcal{I}}$) and a generalization is solved in Corollary 10.

Corollary 5.

Let $\mathcal{I}$ be an ideal on X, Y be a second countable topological space and $F:X\to Y$ be a multifunction.

(1) 

If F is $ws{q}^l({\tau }_{\mathcal{I}},\tau )$-continuous except for a set of ${\tau }_{\mathcal{I}}$-first category (except for a set of τ-first category), then F is ${\tau }_{\mathcal{I}}$-$lsc$ except for a set of ${\tau }_{\mathcal{I}}$-first category $(\tau$-$lsc$ except for a set of τ-first category).

(2) 

Suppose Y is regular. If F is compact valued $ws{q}^u({\tau }_{\mathcal{I}},\tau )$-continuous except for a set of ${\tau }_{\mathcal{I}}$-first category (except for a set of τ-first category), then F is ${\tau }_{\mathcal{I}}$-$usc$ except for a set of ${\tau }_{\mathcal{I}}$-first category $(\tau$-$usc$ except for a set of τ-first category).

(3) 

Suppose Y is regular and F is compact valued. If F is $ws{q}^l({\tau }^{*},\tau )$-continuous except for a set of τ-first category $(ws{q}^u({\tau }^{*},\tau )$-continuous except for a set of τ-first category), then $D_{\tau }^l\left(F\right)\in {\mathcal{I}}_{\tau }$$(D_{\tau }^u\left(F\right)\in {\mathcal{I}}_{\tau })$.

Proof. (1) Since F is $ws{q}^l({\tau }_{\mathcal{I}},\tau )$-continuous except for a set of ${\tau }_{\mathcal{I}}$-first category (except for a set of $\tau$-first category), F is $ws{q}^l({\tau }_{\mathcal{I}},{\tau }_{\mathcal{I}})$-continuous except for a set of ${\tau }_{\mathcal{I}}$-first category ($ws{q}^l(\tau ,\tau )$-continuous except for a set of $\tau$-first category), by Remark 1(2). So, F is $s{q}^l({\tau }_{\mathcal{I}},{\tau }_{\mathcal{I}})$-continuous except for a set of ${\tau }_{\mathcal{I}}$-first category $(s{q}^l(\tau ,\tau )$-continuous except for a set of $\tau$-first category), by Remark 1(3). Since ${\tau }_{\mathcal{I}}\prec {\tau }_{\mathcal{I}}$$(\tau \prec \tau )$, by Theorem 5, F is ${\tau }_{\mathcal{I}}$-$lsc$ except for a set of ${\tau }_{\mathcal{I}}$-first category $(\tau$-$lsc$ except for a set of $\tau$-first category).

The item (2) is similar.

(3) Since ${\tau }^{*}={\tau }_{{\mathcal{I}}_{\tau }}$, it follows from (1) and (2). □

In fact, Corollary 5 involves the next known result.

Corollary 6.([28]) Let Y be a second countable topological space and $F:X\to Y$ be a multifunction.

(1)

If F is lower quasi τ-continuous except for a set of τ-first category $(F$ is lower quasi τ-continuous), then F is τ-$lsc$ except for a set of τ-first category $(D_{\tau }^l\left(F\right)\in {\mathcal{I}}_{\tau })$.

(2)

If F is compact valued upper quasi τ-continuous except for a set of τ-first category $(F$ is upper quasi τ-continuous), then F is τ-$usc$ except for a set of τ-first category $(D_{\tau }^u\left(F\right)\in {\mathcal{I}}_{\tau })$.

Proof. 

Consider $\tau =\sigma$. Then, the lower quasi $\tau$-continuity (upper quasi $\tau$-continuity) is equivalent to the $s{q}^l(\tau ,\tau )$-continuity ($s{q}^u(\tau ,\tau )$-continuity), by Remark 1(3). Since $\tau \prec \tau$, we can use Theorem 5. □

Recall, ${\sigma }_{{\mathcal{I}}_{\tau }}$ is a topology generated by a base $\{G\setminus A:$$G\in \sigma$ and A is of $\tau$-first category}.

Theorem 6.

Let $B(\tau ,\sigma )$ hold, $\tau \prec \sigma$ and $F:X\to Y$ be a multifunction.

(1)

If F is $ws{q}^l(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }})$-continuous $(ws{q}^l(\tau ,\sigma )$-continuous) at a point a, then F is lower Baire τ-continuous at a. Moreover, if X is finite, then F is lower quasi τ-continuous at a.

(2)

If F is $ws{q}^u(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }})$-continuous $(ws{q}^u(\tau ,\sigma )$-continuous) at a point a, then F is upper Baire τ-continuous at a. Moreover, if X is finite, then F is upper quasi τ-continuous at a.

Proof. 

We will prove the item (1), the second one is similar.

Recall, $(X,\tau )$ is $\tau$-Baire and any nonempty $\sigma$-open set is of $\tau$-second category, by Lemma 3 (4). Let $a\in H\in \tau$ and V be open, $F\left(a\right)\cap V\ne Ø$. Since F is $ws{q}^l(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }})$-continuous at a, there is a set $E=G\setminus A$ such that $G\setminus A\ne Ø$, $G\in \sigma$, A is of $\tau$-first category, $H\cap E\ne Ø$ and $F\left(x\right)\cap V\ne Ø$ for all $x\in H\cap E$.

It is clear, $H\cap G\ne Ø$. Since $B(\tau ,\sigma )$ holds and $\tau \prec \sigma$ (see Lemma 3(1)), $H\cap G$ is of $\tau$-second category and it has the $\tau$-Baire property. That means, $(H\cap G)\setminus A=H\cap (G\setminus A)$ is of $\tau$-second category with the $\tau$-Baire property, $H\cap (G\setminus A)\subset H$ and $F\left(x\right)\cap V\ne Ø$ for any $x\in H\cap (G\setminus A)=H\cap E$. So, F is lower Baire $\tau$-continuousat a.

Suppose X is finite. Since F is lower Baire $\tau$-continuous at a, F is lower quasi $\tau$-continuous at a, by Remark 2(6).

The case in the brackets follows from the inclusion $\sigma \subset {\sigma }_{{\mathcal{I}}_{\tau }}$, see Remark 1(2). □

By Lemma 3(3), if $(X,\tau )$ is $\tau$-Baire, then all conditions $B({\tau }^{*},\tau )$, ${\tau }^{*}\prec \tau$, $B(\tau ,{\tau }^{*})$, $\tau \prec {\tau }^{*}$ hold. It is trivial example. The next example shows there is a non-trivial bitopological space in which all conditions $B(\tau ,\sigma )$, $\tau \prec \sigma$, $B(\sigma ,\tau )$, $\sigma \prec \tau$ hold. It also shows that the lower (upper) Baire $\tau$-continuuity in Theorem 6 can not be replaced by the lower (upper) quasi $\tau$-continuity, provided X is infinite.

Example 5.

Let $X_0=\{{\displaystyle \frac{1}{n}}:n=2,3,4,\dots \}$, $X=X_0\cup \left\{0\right\}$,

$X_1=\{{\displaystyle \frac{1}{2n+1}}:n=1,2,3,\dots \}$, $X_2=\{{\displaystyle \frac{1}{2n}}:n=1,2,3,4,\dots \}$,

$G_1=\left\{0\right\}$, $G_2=\{0,{\displaystyle \frac{1}{2}},{\displaystyle \frac{1}{4}},{\displaystyle \frac{1}{6}},\dots \}$, $G_3=\{0,{\displaystyle \frac{1}{3}},{\displaystyle \frac{1}{5}},{\displaystyle \frac{1}{7}},\dots \}$, $G_4=\{0,{\displaystyle \frac{1}{4}},{\displaystyle \frac{1}{6}},{\displaystyle \frac{1}{8}},\dots \}$,

$G_5=\{0,{\displaystyle \frac{1}{5}},{\displaystyle \frac{1}{7}},{\displaystyle \frac{1}{9}},\dots \}$, $G_6=\{0,{\displaystyle \frac{1}{6}},{\displaystyle \frac{1}{8}},{\displaystyle \frac{1}{10}},\dots \}$, $G_7=\{0,{\displaystyle \frac{1}{7}},{\displaystyle \frac{1}{9}},{\displaystyle \frac{1}{11}},\dots \}$, …

$\tau =\{Ø,X,G_2,G_4,G_6,\dots \},$$\sigma =\{Ø,X,G_1,G_3,G_5,G_7\dots \}$.

All finite subsets of $X_0$ are $\tau$- and $\sigma$-nowhere dense, any infinite subset of $X_0$ is of $\tau$- and $\sigma$-first category. Any subset of X has the $\tau$- and $\sigma$-Baire property.

Any set containing 0 is of $\tau$- and $\sigma$-second category, both topological spaces are Baire. Moreover, the conditions $B(\tau ,\sigma )$, $\tau \prec \sigma$, $B(\sigma ,\tau )$, $\sigma \prec \tau$ hold.

Consider $Y=\mathbb{R}$ with the Euclidean topology. Define a multifunction $F:X\to \mathbb{R}$$(G:X\to \mathbb{R})$ as $F\left(x\right)=\left\{0\right\}$ ($G\left(x\right)=\{0,1\})$, if $x\in X_1\cup \left\{0\right\}$ and $F\left(x\right)=\{0,1\}$$\left(G\right(x)=\{0\left\}\right)$ otherwise. Then, F is $ws{q}^u(\tau ,\sigma )$-continuous (even $s{q}^u(\tau ,\sigma )$-continuous) (G is $ws{q}^l(\tau ,\sigma )$-continuous (even $s{q}^l(\tau ,\sigma )$-continuous)) but it is not upper quasi $\tau$-continuous at any point $x\in X_1\cup \left\{0\right\}$ (lower quasi $\tau$-continuous at any point $x\in X_1\cup \left\{0\right\}$). So, the lower (upper) Baire $\tau$-continuity in Theorem 6 can not be replaced by the lower (upper) quasi $\tau$-continuity, provided X is infinite. The sets of continuities are summarized in the next tables.

The assumption $B(\tau ,\sigma )$ or $\tau \prec \sigma$ in Theorem 6 can not be omitted as the next two examples show.

Example 6.

Let $X=\{a,b\}$, $\tau =\{Ø,X,\{b\left\}\right\}$, $\sigma =2^X$. The intersection of $\left\{a\right\}\in \sigma$ and $X\in \tau$ is equal to $\left\{a\right\}$ that is of $\tau$-first category, so $B(\tau ,\sigma )$ does not hold and $\tau \prec \sigma$ is fulfilled. Define $F:X\to \mathbb{R}$ ($\mathbb{R}$ with the Euclidean topology) as $F\left(a\right)=\left\{1\right\}$, $F\left(b\right)=\{0,1\}$. Then F is $ws{q}^u(\tau ,\sigma )$-continuous, but it is not upper quasi $\tau$-continuous nor upper Baire $\tau$-continuous at a.

Example 7.

Let X be a set containing at least two points and $\tau$, $\sigma$ be the indiscrete, the discrete topology on X, respectively. A set A is of $\tau$-first category ($\sigma$-first category) if and only if $A=Ø$, so the condition $B(\tau ,\sigma )$$\left(B\right(\sigma ,\tau \left)\right)$ holds. It is clear $\tau \neg \prec \sigma$. Let $f:X\to Y$ be any bijection, where $Y=X$ with the discrete topology. Then, f is $wsq(\tau ,\sigma )$-continuous (even $q(\tau ,\sigma )$-continuous), but it is not quasi $\tau$-continuous nor Baire $\tau$-continuous at any point.

The opposite implications in Theorem 6 are not valid, as the next example shows.

Example 8.

Let X be a set containing at least two points and $\tau$, $\sigma$ be the discrete, the indiscrete topology on X, respectively. The sets of $\sigma$-first category: ∅. The sets of $\tau$-first category: ∅. It is clear $\tau \prec \sigma$ and $B(\tau ,\sigma )$ hold.

Let $f:X\to Y$ be any bijection, where $Y=X$ with the discrete topology. Then f is Baire $\tau$-continuous (even $\tau$-continuous and quasi $\tau$-continuous) but it is not $wsq(\tau ,\sigma )$-continuous at any point.

Remark 3.

Example 5 and Example 8 show in general there is no connection between the upper/lower quasi $\tau$-continuity and $ws{q}^u(\tau ,\sigma )$-continuity/$ws{q}^l(\tau ,\sigma )$-continuity. Lemma 2 shows $ws{q}^l(\tau ,\sigma )$-continuity ($ws{q}^u(\tau ,\sigma )$-continuity) implies the lower quasi $\tau$-continuity and the lower quasi $\sigma$-continuity (the upper quasi $\tau$-continuity and the upper quasi $\sigma$-continuity), provided $\sigma \subset \tau$. The opposite implication does not hold. By [22], there is even a function $f:(\mathbb{R},\tau ,\sigma )\to (\mathbb{R},\sigma )$ that is quasi $\tau$-continuous and quasi $\sigma$-continuous but it is not $wsq(\tau ,\sigma )$-continuous, where $\tau$ is the density topology and $\sigma$ is the Euclidean topology on the real line $\mathbb{R}$, see also [23].

By Theorem 6 and Corollary 3, we have the next corollary.

Corollary 7.

Let $B(\tau ,\sigma )$ hold, $\tau \prec \sigma$, Y be regular second countable and $F:X\to Y$ be a multifunction.

(1) 

If F is $ws{q}^l(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }})$-continuous $(ws{q}^l(\tau ,\sigma )$-continuous) and compact valued, then F is lower Baire τ-continuous and $D_{\tau }^u\left(F\right)\in {\mathcal{I}}_{\tau }$. Consequently, F is $s{q}^u(\sigma ,\tau )$-continuous on a τ-residual set, by Remark 1(1)(b).

(2) 

If F is $ws{q}^u(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }})$-continuous $(ws{q}^u(\tau ,\sigma )$-continuous), then F is upper Baire τ-continuous and $D_{\tau }^l\left(F\right)\in {\mathcal{I}}_{\tau }$. Consequently, F is $s{q}^l(\sigma ,\tau )$-continuous on a τ-residual set, by Remark 1(1)(b).

(3) 

If F is compact valued $ws{q}^l(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }})$-continuous $(ws{q}^l(\tau ,\sigma )$-continuous) and $ws{q}^u(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }})$-continuous $(ws{q}^u(\tau ,\sigma )$-continuous), then F is lower and upper quasi τ-continuous and $D_{\tau }^u\left(F\right)$, $D_{\tau }^l\left(F\right)\in {\mathcal{I}}_{\tau }$$\left(\mathrm{by}\right(1),(2)$ and Theorem 2).

Example 3(3) shows the sets $D_{\sigma }^u\left(F\right)$, $D_{\sigma }^l\left(F\right)$ in Corollary 7(3) are not necessary from ${\mathcal{I}}_{\tau }$. Compare with Corollary 10, where among other things, it is shown that F is $ws{q}^l(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }})$-continuous and $ws{q}^u(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }})$-continuous if and only if F is lower and upper quasi $\tau$-continuous and $D_{\sigma }^u\left(F\right)$, $D_{\sigma }^l\left(F\right)\in {\mathcal{I}}_{\tau }$, provided $\sigma \subset \tau$.

By Theorem 6 and Corollary 2, in the function setting we have the next result.

Corollary 8.

Let $B(\tau ,\sigma )$ hold, $\tau \prec \sigma$ and Y be regular. If a function $f:X\to Y$ is $wsq(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }})$-continuous $\left(wsq\right(\tau ,\sigma )$-continuous), then f is quasi τ-continuous.

From Theorem 5 and Remark 1(1)(b) we have the next one topological decomposition theorem.

Theorem 7.

Let $(X,\tau ,\sigma )$ be a bitopological space, $\tau \prec \sigma$, Y be a second countable topological space and $F:X\to Y$ be a multifunction.

(1) 

F is $s{q}^l(\tau ,\sigma )$-continuous except for a set of τ-first category if and only if F is σ-$lsc$ except for a set of τ-first category $(D_{\sigma }^l\left(F\right)\in {\mathcal{I}}_{\tau })$.

(2) 

Suppose F is compact valued. Then, F is $s{q}^u(\tau ,\sigma )$-continuous except for a set of τ-first category if and only if F is σ-$usc$ except for a set of τ-first category $(D_{\sigma }^u\left(F\right)\in {\mathcal{I}}_{\tau })$.

The next theorem deals with the global characterization (the equivalence (a) ⇔ (b) in the item (1) and (2) represents one topological decomposition). The items (3) in Theorem 8 characterizes the $s{q}^l(\tau ,\sigma )$-continuity and $s{q}^u(\tau ,\sigma )$-continuity that generalizes a equivalence (3) ⇔ (4) given in Corollary 10.

Theorem 8.

Let $B(\tau ,\sigma )$ hold, $\tau \prec \sigma$, Y be a second countable topological space and $F:X\to Y$ be a multifunction. Then, the next conditions $\left(a\right),\left(b\right),\left(c\right),\left(d\right)$ in $\left(1\right)$, $(2$) are equivalent, respectively.

(1) 

(a) 

F is $s{q}^l(\tau ,\sigma )$-continuous,

(b) 

F is lower Baire τ-continuous and $D_{\sigma }^l\left(F\right)\in {\mathcal{I}}_{\tau }$,

(c) 

F is $ws{q}^l(\tau ,\sigma )$-continuous and $D_{\sigma }^l\left(F\right)\in {\mathcal{I}}_{\tau }$.

(d) 

F is $ws{q}^l(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }})$-continuous and $D_{\sigma }^l\left(F\right)\in {\mathcal{I}}_{\tau }$.

(2) 

Suppose, Y is regular and F is compact valued.

(a) 

F is $s{q}^u(\tau ,\sigma )$-continuous,

(b) 

F is upper Baire τ-continuous and $D_{\sigma }^u\left(F\right)\in {\mathcal{I}}_{\tau }$,

(c) 

F is $ws{q}^u(\tau ,\sigma )$-continuous and $D_{\sigma }^u\left(F\right)\in {\mathcal{I}}_{\tau }$.

(d) 

F is $ws{q}^u(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }})$-continuous and $D_{\sigma }^u\left(F\right)\in {\mathcal{I}}_{\tau }$.

(3) 

Suppose, Y is regular and F is compact valued. Then the next conditions are equivalent.

(a) 

F is $s{q}^l(\tau ,\sigma )$-continuous and $s{q}^u(\tau ,\sigma )$-continuous,

(b) 

F is lower and upper quasi τ-continuous and $D_{\sigma }^l\left(F\right)\in {\mathcal{I}}_{\tau },D_{\sigma }^u\left(F\right)\in {\mathcal{I}}_{\tau }$.

(4) 

Suppose Y is regular. A function f is $sq(\tau ,\sigma )$-continuous if and only if f is quasi τ-continuous and f is σ-continuous except for a set of τ-first category.

Proof. (1) $\left(a\right)\Rightarrow \left(b\right)$: Suppose F is $s{q}^l(\tau ,\sigma )$-continuous. By Theorem 5(1), F is $\sigma$-$lsc$ except for a set of $\tau$-first category and by Theorem 6, F is lower Baire $\tau$-continuous.

$\left(b\right)\Rightarrow \left(c\right)$: Let $a\in X$, $a\in H\in \tau$ and V be open intersecting $F\left(a\right)$. From the lower Baire $\tau$-continuous, there is a set $G\in \tau$ and A that is of $\tau$-first category such that $G\setminus A\subset H$ and $F\left(x\right)\cap V\ne Ø$ for any $x\in G\setminus A$. Since $G\setminus A$ is of $\tau$-second category, there is $b\in G\setminus A$ and F is $\sigma$-$lsc$ at b. That means, there is a set $G_0\in \sigma$ containing b such that $F\left(x\right)\cap V\ne Ø$ for any $x\in G_0$. So, $H\cap G_0\ne Ø$ and $F\left(x\right)\cap V\ne Ø$ for any $x\in H\cap G_0$. That means, F is $ws{q}^l(\tau ,\sigma )$-continuous at a.

The $\left(c\right)\Rightarrow \left(d\right)$ follows from the inclusion $\sigma \subset {\sigma }_{{\mathcal{I}}_{\tau }}$, see Remark 1(2).

$\left(d\right)\Rightarrow \left(a\right)$: Let $a\in X$, $a\in H\in \tau$ and V be open intersecting $F\left(a\right)$. From the $ws{q}^u(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }})$-continuity, there is a set $G\setminus A\in \beta (\sigma ,{\mathcal{I}}_{\tau })$ and such that $H\cap (G\setminus A)\ne Ø$ and $F\left(x\right)\cap V\ne Ø$ for any $x\in H\cap (G\setminus A)$. Since $H\cap (G\setminus A)$ is $\tau$-second category, there is $b\in H\cap (G\setminus A)$ such that F is $\sigma$-$lsc$ at b. So, there is a set $G_0\in \sigma$ containing b such that $F\left(x\right)\cap V\ne Ø$ for any $x\in G_0$. Since $H\cap G_0\ne Ø$, F is $s{q}^l(\tau ,\sigma )$-continuous at a.

The item (2) is similar.

(3) It follows from (1), (2) and Theorem 2.

(4) It follows from (3). □

In Theorem 8, the lower (upper) Baire $\tau$-continuous can not replaced by the lower (upper) $\tau$-quasi continuity, see Example 5.

By Theorem 5 and Corollary 7, we have the next result.

Theorem 9.

Let $B(\tau ,\sigma )$ hold, $\tau \prec \sigma$, Y be a regular second countable topological space and $F:X\to Y$ be a compact valued multifunction.

(1) 

If F is $s{q}^l(\tau ,\sigma )$-continuous, then F lower Baire τ-continuous and F is both σ-$lsc$ and τ-$usc$ except for a set of τ-first category $(D_{\sigma }^l\left(F\right),D_{\tau }^u\left(F\right)\in {\mathcal{I}}_{\tau })$.

(2) 

If F is $s{q}^u(\tau ,\sigma )$-continuous, then F is upper Baire τ-continuous and F is both σ-$usc$ and τ-$lsc$ except for a set of τ-first category $(D_{\sigma }^u\left(F\right),D_{\tau }^l\left(F\right)\in {\mathcal{I}}_{\tau })$.

In the following we will study the connection between the properties of multifunction with respect to $(X,\tau ,\sigma )$ and with respect to $(X,\sigma ,\tau )$. To be as general as possible, let us define the next Denjoy property in a bitopological setting.

Definition 4. (see [34] for the Euclidean topology and the sets of positive measure) Let $(X,\tau ,\sigma$) be a bitopological space. A multifunction $F:X\to Y$ has the lower (upper) Denjoy $(\sigma ,\tau )$-property (denoted by $d^l(\sigma ,\tau )$-property, $(d^u(\sigma ,\tau )$-property) at a point x if for any open set V for which $V\cap F\left(x\right)\ne Ø$ ($F\left(x\right)\subset V$) and any $\sigma$-open set U containing x there is a $\tau$-second category set $B\subset U$ such that $V\cap F\left(b\right)\ne Ø$ ($F\left(b\right)\subset V$) for any $b\in B$. The global definition of the lower (upper) Denjoy $(\sigma ,\tau )$-property is given by the local ones at each point.

Remark 4.

The next two easy items will be used in Theorem 10.

(1)

Let $B(\tau ,\sigma )$ hold. It is clear if F is $ws{q}^l(\sigma ,\tau )$-continuous ($ws{q}^u(\sigma ,\tau )$-continuous) at a point a, then F has the lower (upper) Denjoy $(\sigma ,\tau )$-property at a.

(2)

Suppose $\sigma \subset \tau$ and $(X,\tau )$ is $\tau$-Baire. If F is $ws{q}^l(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }})$-continuous ($ws{q}^u(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }})$-continuous) at a point a, then F has the lower (upper) Denjoy $(\sigma ,\tau )$-property at a.

Proof. Let $a\in X$ be arbitrary, $U\in \sigma$ containing a and V be open intersecting (containing) $F\left(a\right)$. Since $\sigma \subset \tau$ and F is $ws{q}^l(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }})$-continuous ($ws{q}^u(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }})$-continuous) at a, there is a set $G\setminus A\in \beta (\sigma ,{\mathcal{I}}_{\tau })$ such that $U\cap (G\setminus A)\ne Ø$ and $U\cap (G\setminus A)\subset F^{-}\left(V\right)$ $(U\cap (G\setminus A)\subset F^{+}\left(V\right))$. So, $U\cap G\ne Ø$ and $U\cap G$ is of $\tau$-second category (since $(X,\tau )$ is $\tau$-Bare and $\sigma \subset \tau$), consequently $(U\cap G)\setminus A=U\cap (G\setminus A)$ is of $\tau$-second category. Since $U\cap (G\setminus A)\subset U$, F has the lower (upper) $(\sigma ,\tau )$-Denjoy property at a. □

Theorem 10.

Let $(X,\tau ,\sigma$) be a bitopological space, $B(\tau ,\sigma )$ hold, $\tau \prec \sigma$, Y be a regular topological space and $F:X\to Y$ be a compact valued multifunction.

(1) 

Let F have the upper Denjoy $(\sigma ,\tau )$-property $(F$ be $ws{q}^u(\sigma ,\tau )$-continuous). Then, F is $ws{q}^l(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }})$-continuous $(ws{q}^l(\tau ,\sigma )$-continuous) at a if and only if F is $s{q}^l(\tau ,\sigma )$-continuous at a.

(2) 

Let F have the lower Denjoy $(\sigma ,\tau )$-property $(F$ be $ws{q}^l(\sigma ,\tau )$-continuous). Then, F is $ws{q}^u(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }})$-continuous $(ws{q}^u(\tau ,\sigma )$-continuous) at a if and only if F is $s{q}^u(\tau ,\sigma )$-continuous at a.

Proof. (1) Case (i): Let F have the upper Denjoy $(\sigma ,\tau )$-property.

"⇒" (a) Suppose F is $ws{q}^l(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }})$-continuous at a. We prove F is $s{q}^l(\tau ,\sigma )$-continuous at a. Let $a\in H_1\in \tau$ and V be open intersecting $F\left(a\right)$. Since Y is regular, there is an open set $V_0$ intersecting $F\left(a\right)$ and $\mathrm{cl}\left(V_0\right)\subset V$. Put $A=F^{+}(Y\setminus \mathrm{cl}\left(V_0\right)$ and $H_0={\mathrm{int}}_{\tau }\left(D_{\tau }\left(A\right)\right)$, where $D_{\tau }\left(A\right)$ is the set of all points in which A is of $\tau$-second category. We will prove $G_0\cap H_0\cap A$ is of $\tau$-second category, provided $H_0\cap G_0\ne Ø$ for some $G_0\in \sigma$. (1)

Since $B(\tau ,\sigma )$ holds and $\tau \prec \sigma$, $H_0\cap G_0$ is of $\tau$-second category with the $\tau$-Baire property, by Lemma 3. Let $H_0\cap G_0=(U\setminus S)\cup T$, where $U\in \tau$ and $S,T$ are of $\tau$-first category. Then, $Ø\ne U\cap H_0\in \tau$. So, $U\cap H_0\cap A$ is of $\tau$-second category, consequently $U\cap A$ is of $\tau$-second category. Moreover, $H_0\cap G_0\cap A=[(U\setminus S)\cup T]\cap A=[(U\cap A)\setminus (S\cap A)]\cup (T\cap A)$, so $H_0\cap G_0\cap A$ is of $\tau$-second category. We have proven (1).

Let $H:=H_1\cup H_0\in \tau$. Since $a\in H$ and F is $ws{q}^l(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }})$-continuous at a, there is a set $G\setminus I_1\in \beta (\sigma ,{\mathcal{I}}_{\tau })$ such that $H\cap (G\setminus I_1)\ne Ø$ and $F\left(x\right)\cap V_0\ne Ø$ for $x\in H\cap (G\setminus I_1)$. (2)

Since $H\cap (G\setminus I_1)\ne Ø$, $H\cap G\ne Ø$. (3)

We will show $H_0\cap G=Ø$. (4)

If $H_0\cap G\ne Ø$, then $G\cap H_0\cap A$ is of $\tau$-second category, by (1). So, there is $b\in (G\setminus I_1)\cap H_0\cap A\subset H\cap (G\setminus I_1)$ for which $F\left(b\right)\subset Y\setminus \mathrm{cl}\left(V_0\right)$, a contradiction with the fact that $F\left(x\right)\cap V_0\ne Ø$ for any $x\in H\cap (G\setminus I_1)$ (see (2)). That means, $H_0\cap G=Ø$.

By (3) and (4), $Ø\ne H\cap G=H_1\cap G\cup H_0\cap G=H_1\cap G$. (5)

We will show $F\left(x\right)\cap \mathrm{cl}\left(V_0\right)\ne Ø$ for any $x\in G$. (6)

Suppose $F\left(x_0\right)\subset X\setminus \mathrm{cl}\left(V_0\right)$ for some $x_0\in G$. Since F has the upper Denjoy $(\sigma ,\tau )$-property at $x_0$, there is a set $B\subset G$ that is of $\tau$-second category such that $F\left(x\right)\subset Y\setminus \mathrm{cl}\left(V_0\right)$ for any $x\in B$. We show ${\mathrm{int}}_{\tau }\left(D_{\tau }\left(B\right)\right)\cap G\ne Ø$. If ${\mathrm{int}}_{\tau }\left(D_{\tau }\left(B\right)\right)\cap G=Ø$, then $B\setminus {\mathrm{int}}_{\tau }\left(D_{\tau }\left(B\right)\right)=B$, a contradiction, since $B\setminus {\mathrm{int}}_{\tau }\left(D_{\tau }\left(B\right)\right)$ is of $\tau$-first category. Since $B\subset A$, ${\mathrm{int}}_{\tau }\left(D_{\tau }\left(B\right)\right)\subset {\mathrm{int}}_{\tau }\left(D_{\tau }\left(A\right)\right)=H_0$. So, $Ø\ne {\mathrm{int}}_{\tau }\left(D_{\tau }\left(B\right)\right)\cap G\subset H_0\cap G$, a contradiction with (4).

We have proved there is a set $G\in \sigma$ such that $H_1\cap G\ne Ø$ (see (5)) and $Ø\ne F\left(x\right)\cap \mathrm{cl}\left(V_0\right)\subset F\left(x\right)\cap V$ for any $x\in G$ (see (6)). So, F is $s{q}^l(\tau ,\sigma )$-continuous at a.

(b) Suppose F is $ws{q}^l(\tau ,\sigma )$-continuous at a. Since $\sigma \subset {\sigma }_{{\mathcal{I}}_{\tau }}$, F is $ws{q}^l(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }})$-continuous at a. By (a), F is $s{q}^l(\tau ,\sigma )$-continuous at a.

"⇐" is trivial.

Case (ii): Let F be F$ws{q}^u(\sigma ,\tau )$-continuous. Then, by Remark 4(1), F has the upper Denjoy $(\sigma ,\tau )$-property. So, by Case (i), the item (1) holds.

Similarly we can prove (2). □

From Theorem 10, Theorem 8 and Corollary 3 we have the next results.

Corollary 9.

Let $(X,\tau ,\sigma$) be a bitopological space, $B(\tau ,\sigma )$ hold, $\tau \prec \sigma$, Y be a regular second countable topological space and $F:X\to Y$ be a compact valued multifunction.

(1) 

If F is $ws{q}^u(\sigma ,\tau )$-continuous and $ws{q}^l(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }})$-continuous $(ws{q}^l(\tau ,\sigma )$-continuous), then F is $s{q}^l(\tau ,\sigma )$-continuous, lower Baire τ-continuous, σ-$lsc$ except for a set of τ-first category and τ-$usc$ except for a set of τ-first category $(D_{\sigma }^l\left(F\right),D_{\tau }^u\left(F\right)\in {\mathcal{I}}_{\tau })$.

(2) 

If F is $ws{q}^l(\sigma ,\tau )$-continuous and $ws{q}^u(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }})$-continuous $(ws{q}^u(\tau ,\sigma )$-continuous), then F is $s{q}^u(\tau ,\sigma )$-continuous, upper Baire τ-continuous, σ-$usc$ except for a set of τ-first category and τ-$lsc$ except for a set of τ-first category $(D_{\sigma }^u\left(F\right),D_{\tau }^l\left(F\right)\in {\mathcal{I}}_{\tau })$.

At first glance, by Lemma 2, if Y is regular second countable and F is compact valued $ws{q}^u(\tau ,\sigma )$-continuous and $ws{q}^l(\tau ,\sigma )$-continuous, then $D_{\tau }^l\left(F\right),D_{\tau }^u\left(F\right)\in {\mathcal{I}}_{\tau }\cap {\mathcal{I}}_{\sigma }$ and $D_{\sigma }^l\left(F\right),D_{\sigma }^u\left(F\right)\in {\mathcal{I}}_{\sigma }$, provided $\sigma \subset \tau$. In fact, the $ws{q}^u(\tau ,\sigma )$-continuity and $ws{q}^l(\tau ,\sigma )$-continuity yield far stronger results, as the next corollary shows. Example 4 shows, item (4) in the next corollary does not hold for one of the continuities $ws{q}^u(\tau ,\sigma )$-continuity or $ws{q}^l(\tau ,\sigma )$-continuity.

Corollary 10.

Let $(X,\tau ,\sigma$) be a bitopological space, $\sigma \subset \tau$, $(X,\tau )$ be τ-Baire and $F:X\to Y$ be a compact valued multifunction.

(a) 

If Y is regular, then the next conditions (1), (2), (3) are equivalent.

(1) 

F is $ws{q}^u(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }})$-continuous and $ws{q}^l(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }})$-continuous,

(2) 

F is $ws{q}^u(\tau ,\sigma )$-continuous and $ws{q}^l(\tau ,\sigma )$-continuous,

(3) 

F is $s{q}^u(\tau ,\sigma )$-continuous and $s{q}^l(\tau ,\sigma )$-continuous.

From any conditions (1), (2), (3) follows F is upper and lower quasi τ-continuous and upper and lower quasi σ-continuous.

(b) 

Consider the next two conditions.

(4) 

F is upper and lower quasi τ-continuous and $D_{\sigma }^l\left(F\right),D_{\sigma }^u\left(F\right)\in {\mathcal{I}}_{\tau }$,

(5) 

F is upper and lower Baire τ-continuous and $D_{\sigma }^l\left(F\right),D_{\sigma }^u\left(F\right)\in {\mathcal{I}}_{\tau }$.

If Y is regular second countable, then the conditions (1) - (5) are equivalent and from any condition (1) - (5) follows $D_{\tau }^l\left(F\right)$, $D_{\tau }^u\left(F\right)$, $D_{\sigma }^l\left(F\right)$, $D_{\sigma }^u\left(F\right)\in {\mathcal{I}}_{\tau }\cap {\mathcal{I}}_{\sigma }$.

Proof. 

The implications $\left(3\right)\Rightarrow \left(2\right)\Rightarrow \left(1\right)$ are clear.

$\left(1\right)\Rightarrow \left(3\right)$:

Since F is $ws{q}^u(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }})$-continuous, F has the upper Denjoy $(\sigma ,\tau )$-property, by Remark 4(2). Then, by Theorem 10(1), F is $s{q}^l(\tau ,\sigma )$-continuous.

Since F is $ws{q}^l(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }})$-continuous, F has the lower Denjoy $(\sigma ,\tau )$-property, by Remark 4(2). Then, by Theorem 10(2), F is $s{q}^u(\tau ,\sigma )$-continuous.

Suppose Y is regular second countable and F is compact valued. By Lemma 2 and Theorem 5, $D_{\tau }^l\left(F\right)$, $D_{\tau }^u\left(F\right)$, $D_{\sigma }^l\left(F\right)$, $D_{\sigma }^u\left(F\right)\in {\mathcal{I}}_{\tau }\cap {\mathcal{I}}_{\sigma }$. Moreover, by Theorem 8 and Theorem 2, the conditions (3) and (4) are equivalent. Finally, by Theorem 1 and Theorem 2, (4) and (5) are equivalent. □

For a function, from Corollary 10 we have the next corollary that confirms some continuities for functions are equivalent, compare with Corollary 1. It also confirms that introducing of lower and upper continuities in Definition 2 for multifunctions yields to more diversified results.

Corollary 11.

([23]) Let $(X,\tau ,\sigma$) be a bitopological space, $\sigma \subset \tau$, $(X,\tau )$ be τ-Baire and $f:X\to Y$ be a function.

(a) 

If Y is regular, then the next conditions (1), (2), (3) are equivalent.

(1) 

f is $wsq(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }})$-continuous,

(2) 

f is $wsq(\tau ,\sigma )$-continuous,

(3) 

f is $sq(\tau ,\sigma )$-continuous.

From any conditions (1), (2), (3) follows f is quasi τ-continuous and quasi σ-continuous.

(b) 

Consider the next two conditions.

(4) 

f is quasi τ-continuous and $D_{\sigma }\left(f\right)\in {\mathcal{I}}_{\tau }$,

(5) 

f is Baire τ-continuous and $D_{\sigma }\left(f\right)\in {\mathcal{I}}_{\tau }$.

If Y is regular second countable, then the conditions (1) - (5) are equivalent and from any condition (1) - (5) follows $D_{\tau }\left(f\right),D_{\sigma }\left(f\right)\in {\mathcal{I}}_{\tau }\cap {\mathcal{I}}_{\sigma }$.

Note, in Corollary 11 (also in Corollary 10), the inclusion $\sigma \subset \tau$ can not be omitted, see the function f from Example 3. Also the $\tau$-Baireness of $(X,\tau )$ is necessary and it does not apply locally, see [23].

Corollary 10 deals with the continuities with respect to $(X,\tau ,\sigma )$. The next corollary combines the continuities with respect to $(X,\tau ,\sigma )$ and its dual and the condition $\sigma \subset \tau$ is replaced by the conditions $B(\tau ,\sigma )$, $\tau \prec \sigma$, $B(\sigma ,\tau )$, $\sigma \prec \tau$.

Corollary 12.

Let $(X,\tau ,\sigma$) be a bitopological space, Y be a regular second countable topological space and $F:X\to Y$ be a compact valued multifunction. Suppose all conditions $B(\tau ,\sigma )$, $\tau \prec \sigma$, $B(\sigma ,\tau )$, $\sigma \prec \tau$ hold. Then, in (a), (b) the conditions (1), (2), (3) are equivalent, respectively.

(a) 

(1) 

F is $ws{q}^u(\sigma ,\tau )$-continuous and $ws{q}^l(\tau ,\sigma )$-continuous,

(2) 

F is $s{q}^u(\sigma ,\tau )$-continuous and $s{q}^l(\tau ,\sigma )$-continuous,

(3) 

F is upper σ-Baire continuous, $D_{\tau }^u\left(F\right)\in {\mathcal{I}}_{\sigma }$, lower τ-Baire continuous, $D_{\sigma }^l\left(F\right)\in {\mathcal{I}}_{\tau }$.

(b) 

(1)

F is $ws{q}^l(\sigma ,\tau )$-continuous and $ws{q}^u(\tau ,\sigma )$-continuous,

(2) 

F is $s{q}^l(\sigma ,\tau )$-continuous and $s{q}^u(\tau ,\sigma )$-continuous,

(3) 

F is lower σ-Baire continuous, $D_{\tau }^l\left(F\right)\in {\mathcal{I}}_{\sigma }$, upper τ-Baire continuous, $D_{\sigma }^u\left(F\right)\in {\mathcal{I}}_{\tau }$.

(c) 

If F is $ws{q}^u(\sigma ,\tau )$-continuous and $ws{q}^l(\tau ,\sigma )$-continuous, then $D_{\sigma }^l\left(F\right)$, $D_{\tau }^u\left(F\right)\in {\mathcal{I}}_{\tau }\cap {\mathcal{I}}_{\sigma }$.

If F is $ws{q}^l(\sigma ,\tau )$-continuous and $ws{q}^u(\tau ,\sigma )$-continuous, then $D_{\sigma }^u\left(F\right)$, $D_{\tau }^l\left(F\right)\in {\mathcal{I}}_{\tau }\cap {\mathcal{I}}_{\sigma }$.

Proof.

(a) $\left(1\right)\Rightarrow \left(2\right):$ If F is $ws{q}^u(\sigma ,\tau )$-continuous and $ws{q}^l(\tau ,\sigma )$-continuous, then F is $s{q}^l(\tau ,\sigma )$-continuous (by Theorem 10(1) for $B(\tau ,\sigma )$, $\tau \prec \sigma$) and $s{q}^u(\sigma ,\tau )$-continuous (by Theorem 10(2) for $B(\sigma ,\tau )$, $\sigma \prec \tau$).

$\left(2\right)\Rightarrow \left(1\right)$ is trivial.

$\left(2\right)\iff \left(3\right)$ follows from Theorem 8.

(b) is similar.

(c) follows from items (a), (b) and Corollary 3. □

5. Conclusions, Summary of Results and Symbolic Interpretation

The problems of bitopological spaces bring many combinations how to generalize some types of sets and continuities. For example, a $\beta$-open set A, which is defined by inclusion $A\subset \mathrm{cl}\left(\mathrm{int}\right(\mathrm{cl}\left(A\right)\left)\right)$, can be defined in a bitopological space by three ways: $A\subset {\mathrm{cl}}_{\tau }\left({\mathrm{int}}_{\sigma }\left({\mathrm{cl}}_{\tau }\left(A\right)\right)\right)$, $A\subset {\mathrm{cl}}_{\sigma }\left({\mathrm{int}}_{\sigma }\left({\mathrm{cl}}_{\tau }\left(A\right)\right)\right)$, $A\subset {\mathrm{cl}}_{\tau }\left({\mathrm{int}}_{\sigma }\left({\mathrm{cl}}_{\sigma }\left(A\right)\right)\right)$ and tree ones in a dual bitopological space. Similar problems arise in the case of generalized continuities defined in a bitopological space. Moreover, the situation is complicated by two variants of upper and lower continuity. The reader may feel that even in our article there are many results and complicated connections. In Definition 2 there are twelve continuities (six with respect to $(X,\tau ,\sigma )$ and six with respect to $(X,\sigma ,\tau )$). Theoretically, studding the sets of discontinuity points $D_{\tau }^l\left(F\right)$, $D_{\tau }^u\left(F\right)$, $D_{\sigma }^l\left(F\right)$, $D_{\sigma }^u\left(F\right)$ of these twelve continuities leads to 48 results. If we assume two different continuities from twelve (66 pairs) we have 264 results (of course, some of them are duplicated and trivial). Also, the study of the relationships between continuities leads to many combinations. In general, the number of questions increases rapidly and the number of results is enormous. Building upon the results of this paper, the following avenues present directions for further work.

1. To transform bitopological notions into concepts in terms of one topology. For example, similar to Theorem 7 and Theorem 8, to find a characterization of other continuities (namely, the upper/lower $q(\tau ,\sigma )$-continuity and the upper/lower $wsq(\tau ,\sigma )$-continuity) by suitable continuities dependent on one topology.

2. To generalize the results of the work to a space $(X,\tau ,\sigma )$ in which one topology is replaced by a more general structure, for example, by a generalized topology, a soft topology, a fuzzy topology or a cluster system, see [21].

3. To look for a selection of multifunction with suitable continuity properties. For example, if F is $ws{q}^u(\tau ,\sigma )$-continuiou, is there a function f that is quasi $\tau$-continuous, $D_{\sigma }\left(f\right)\in {\mathcal{I}}_{\tau }$ and $f\left(x\right)\in F\left(x\right)$ for any $x\in X$?

Symbolic interpretation

Let’s try to summarize the results and to find a simple and comprehensive view how to get such large number of results by simple rules. We present a series of relevant implications and a symbolic interpretation of the sets of discontinuity points and the relations between twelve studied continuities.

To better understand the symbolic interpretation below, it is useful to make a few notes. Let

$$•,\circ \in \{l,u\},•\ne \circ$$

$$⊠,\square \in \{\tau ,\sigma \},⊠\ne \square$$

Notation

$(X,⊠,\square )$	- bitopological space, ⊠ is the dominant topology: $(X,\tau ,\sigma )$, $(X,\sigma ,\tau )$
$B(⊠,\square )$	- Baireness: $B(\tau ,\sigma )$, $B(\sigma ,\tau )$
$⊠\prec \square$	- ⊠ pseudo refines □ : $\tau \prec \sigma$, $\sigma \prec \tau$
${\mathcal{I}}_{⊠}$	- the family of ⊠-first category sets: ${\mathcal{I}}_{\tau }$, ${\mathcal{I}}_{\sigma }$
$q^{•}(⊠,\square )$	- quasi-continuity: $q^u(\tau ,\sigma ),q^l(\tau ,\sigma ),q^u(\sigma ,\tau ),q^l(\sigma ,\tau )$
$s{q}^{•}(⊠,\square )$	- sectional quasi-continuity: $s{q}^u(\tau ,\sigma ),s{q}^l(\tau ,\sigma ),s{q}^u(\sigma ,\tau ),s{q}^l(\sigma ,\tau )$
$sq(⊠,\square )$	- upper and lower sectional quasi-continuity: $sq(\tau ,\sigma ),sq(\sigma ,\tau )$
$ws{q}^{•}(⊠,\square )$	- weak sectional quasi-continuity: $ws{q}^u(\tau ,\sigma ),ws{q}^l(\tau ,\sigma ),ws{q}^u(\sigma ,\tau ),ws{q}^l(\sigma ,\tau )$
$wsq(⊠,\square )$	- upper and lover weak sectional quasi-continuity: $wsq(\tau ,\sigma ),wsq(\sigma ,\tau )$
$ws{q}^{•}(⊠,{\square }_{{\mathcal{I}}_{⊠}})$	- weak sectional quasi-continuity: $ws{q}^u(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }}),ws{q}^l(\tau ,{\sigma }_{{\mathcal{I}}_{\tau }}),ws{q}^u(\sigma ,{\tau }_{{\mathcal{I}}_{\sigma }}),ws{q}^l(\sigma ,{\tau }_{{\mathcal{I}}_{\sigma }})$
$d^{•}(⊠,\square )$	- Denjoy property: $d^u(\tau ,\sigma ),d^l(\tau ,\sigma ),d^u(\sigma ,\tau ),d^l(\sigma ,\tau )$
$D_{⊠}^{•}\left(F\right)$	- the set of semi discontinuity points of F: $D_{\tau }^u\left(F\right),D_{\tau }^l\left(F\right),D_{\sigma }^u\left(F\right),D_{\sigma }^l\left(F\right)$
$Q_{⊠}^{•}\left(F\right)$	- the set of quasi continuity points of F: $Q_{\tau }^u\left(F\right),Q_{\tau }^l\left(F\right),Q_{\sigma }^u\left(F\right),Q_{\sigma }^l\left(F\right)$
$B_{⊠}^{•}\left(F\right)$	- the set of Baire continuity points of F: $B_{\tau }^u\left(F\right),B_{\tau }^l\left(F\right),B_{\sigma }^u\left(F\right),B_{\sigma }^l\left(F\right)$

If $B(⊠,\square )$, $⊠\prec \square$, then the first topology is called a dominant topology. This topology often determines how the topologies $⊠,\square$ and the versions of continuities $•,\circ$ from the assumptions are transferred to the resulting continuities and the sets of discontinuity points. The dominant topology is usually preserved. We can also observe changes of • and ∘.

For example: If $B(⊠,\square )$, $⊠\prec \square$ (⊠ is the dominant topology), then

0.8

$$ws{q}^{•}(⊠,\square )\to •\mathrm{Baire}⊠-\mathrm{continuity}(B_{⊠}^{•}\left(F\right)=X),D_{⊠}^{\circ }\left(F\right)\in {\mathcal{I}}_{⊠}$$

(C.7)

$$ws{q}^{•}(⊠,\square )+ws{q}^{\circ }(⊠,\square )\to Q_{⊠}^{•}\left(F\right)=Q_{⊠}^{\circ }\left(F\right)=X.$$

(C.7)

Sometimes we can use "a cansel rule".

If $B(⊠,\square )$, $⊠\prec \square$, then ⊠ is the dominant topology and

$$\mathit{w}s{q}^{•}(⊠,\square )+ws{q}^{\circ }(\square ,⊠)\to s{q}^{•}(⊠,\square ).$$

(T.10)

On the other hand if $B(\square ,⊠)$, $\square \prec ⊠$, then □ is the dominant topology and

$$ws{q}^{•}(⊠,\square )+\mathit{w}s{q}^{\circ }(\square ,⊠)\to s{q}^{\circ }(\square ,⊠).$$

(T.10)

If $B(⊠,\square )$, $⊠\prec \square$, $B(\square ,⊠)$, $\square \prec ⊠$ (both topologies are dominant), then

$$ws{q}^{•}(⊠,\square )+ws{q}^{\circ }(\square ,⊠)\to D_{⊠}^{\circ }\left(F\right),D_{\square }^{•}\left(F\right)\in {\mathcal{I}}_{⊠}\cap {\mathcal{I}}_{\square }$$

(C.12)

$$ws{q}^{•}(⊠,\square )+ws{q}^{\circ }(\square ,⊠)\leftrightarrow s{q}^{•}(⊠,\square )\mathrm{and}s{q}^{\circ }(\square ,⊠).$$

(C.12)

There is one exceptional case when the dominant topology is not preserved.

$$s{q}^{•}(⊠,\square )\to D_{\square }^{•}\left(F\right)\in {\mathcal{I}}_{⊠}.$$

Let us describe the content of the following diagrams. The most comprehensive of them is Diagram A and the others (Diagram B1, B2, C1, C2) visually better express the relationships between two continuities and their consequences for the structure of the sets of discontinuity points.

Under conditions $B(⊠,\square ),⊠\prec \square$, Diagram A below summarizes the series of implications from the $q^{•}(⊠,\square )$-continuity to the condition $D_{⊠}^{\circ }\in {\mathcal{I}}_{⊠}$ with respect to $(X,⊠,\square )$ and further from the $s{q}^{\circ }(\square ,⊠)$-continuity on a ⊠-residual set to the $ws{q}^{\circ }(\square ,{⊠}_{{\mathcal{I}}_{\square }})$-continuity on a ⊠-residual set and the $d^{\circ }(\square ,⊠)$-property on a ⊠-residual set with respect to $(X,\square ,⊠)$.

It contains three characterizations of the $s{q}^{•}(⊠,\square )$-continuity and the equivalence between the • Baire ⊠-continuity $(B_{⊠}^{•}\left(F\right)=X)$ and the • quasi ⊠-continuity $(Q_{⊠}^{•}\left(F\right)=X)$, provided X is finite (the conditions $B(⊠,\square ),⊠\prec \square$ can be omitted). Also, the equivalences between two continuities with the same topological order and the different versions of continuities are given, provided $\square \subset ⊠$, Diagram A1.

Moreover, in Diagram A we can see the combinations of two continuities and their consequences. Namely, two continuities with the different topological order and the different versions of continuities, namely the implications starting with

$$ws{q}^{•}(⊠,\square )+ws{q}^{\circ }({\square }_{{\mathcal{I}}_{⊠}},⊠)\to \dots .$$

In Diagram A2 and Diagram A3 we can see two continuities with the same topological order and the different versions of continuities, namely the implications starting with

$$ws{q}^{•}(⊠,\square )+ws{q}^{\circ }(⊠,\square )\to \dots \mathrm{and}s{q}^{•}(⊠,\square )+s{q}^{\circ }(⊠,\square )\to \dots$$

It is useful to mention that the first topology ⊠ in the triplet $(X,⊠,\square )$ (called a dominant topology) determines the continuity properties of F and the dominant topology is preserved. For example (see (Diagram A, Diagram A2)

$$q^{•}(⊠,\square )\to s{q}^{•}(⊠,\square )\to ws{q}^{•}(⊠,\square )\to ws{q}^{•}(⊠,{\square }_{{\mathcal{I}}_{⊠}})\to B_{⊠}^{•}\left(F\right)\to D_{⊠}^{\circ }\left(F\right)\in {\mathcal{I}}_{⊠}$$

$$ws{q}^{•}(⊠,\square )+ws{q}^{\circ }(⊠,\square )\to \dots \to Q_{⊠}^{•}\left(F\right)=Q_{⊠}^{\circ }\left(F\right)=X,D_{⊠}^{\circ }\left(F\right),D_{⊠}^{•}\left(F\right)\in {\mathcal{I}}_{⊠}$$

Diagram B1 deals with two weak sectional quasi-continuities under conditions $B(⊠,\square )$, $⊠\prec \square$ / $B(\square ,⊠)$, $\square \prec ⊠$. Namely, two continuities with the different topological order and the different versions of continuities

$$ws{q}^{•}(⊠,\square )+ws{q}^{\circ }(\square ,⊠),ws{q}^{\circ }(⊠,\square )+ws{q}^{•}(\square ,⊠)$$

and with the same topological order and the different versions of continuities

$$ws{q}^{•}(⊠,\square )+ws{q}^{\circ }(⊠,\square ).$$

Diagram B2 deals with the same continuities under all conditions $B(⊠,\square )$, $⊠\prec \square$, $B(\square ,⊠)$, $\square \prec ⊠$.

In Diagram C1 and Diagram C2 we can see the consequences of two sectional quasi continuities under conditions $B(⊠,\square )$, $⊠\prec \square$ / $B(\square ,⊠)$, $\square \prec ⊠$ and under all conditions $B(⊠,\square )$, $⊠\prec \square$, $B(\square ,⊠)$, $\square \prec ⊠$.

Finally, we conclude with an example of investigating the set of discontinuity points of multifunction.

To state all relevant results in a compact form, in the following diagrams we assume: Y is a regular second countable topological space and $F:X\to Y$ is a compact valued multifunction (R. = Remark, T. = Theorem, C. = Corollary).

Example 9.

Find the structure of discontinuity points of a compact valued multifunction F that is $ws{q}^l(\sigma ,\tau )$-, $ws{q}^l(\tau ,\sigma )$-, $ws{q}^u(\tau ,\sigma )$-, and $s{q}^l(\tau ,\sigma )$-continuous, provided

a) $B(\tau ,\sigma ),\tau \prec \sigma$,

b) $B(\sigma ,\tau ),\sigma \prec \tau$,

c) $B(\tau ,\sigma ),\tau \prec \sigma$, $B(\sigma ,\tau ),\sigma \prec \tau$.

We will proceed strictly according to the rules of the symbolic interpretation even though some of them are duplicated.

a) $B(\tau ,\sigma ),\tau \prec \sigma$

By Symbolic interpretation,

1. $ws{q}^l(\tau ,\sigma )\Rightarrow D_{\tau }^u\left(F\right)\in {\mathcal{I}}_{\tau }$,

2. $ws{q}^u(\tau ,\sigma )\Rightarrow D_{\tau }^l\left(F\right)\in {\mathcal{I}}_{\tau }$,

3. $s{q}^l(\tau ,\sigma )\Rightarrow D_{\tau }^u\left(F\right)\in {\mathcal{I}}_{\tau },D_{\sigma }^l\left(F\right)\in {\mathcal{I}}_{\tau }$,

4. $ws{q}^u(\tau ,\sigma )$ and $ws{q}^l(\sigma ,\tau )\Rightarrow s{q}^u(\tau ,\sigma )\Rightarrow D_{\tau }^l\left(F\right)\in {\mathcal{I}}_{\tau }$, $D_{\sigma }^u\left(F\right)\in {\mathcal{I}}_{\tau }$.

So, $D_{\tau }^u\left(F\right),D_{\tau }^l\left(F\right),D_{\sigma }^u\left(F\right),D_{\sigma }^l\left(F\right)\in {\mathcal{I}}_{\tau }$.

Moreover, $ws{q}^l(\tau ,\sigma )$ and $ws{q}^u(\tau ,\sigma )\Rightarrow$F is upper and lower quasi $\tau$-continuous.

b) $B(\sigma ,\tau ),\sigma \prec \tau$

By Symbolic interpretation,

1. $ws{q}^l(\sigma ,\tau )\Rightarrow D_{\sigma }^u\left(F\right)\in {\mathcal{I}}_{\sigma }$.

2. $ws{q}^l(\sigma ,\tau )$ and $ws{q}^u(\tau ,\sigma )\Rightarrow s{q}^l(\sigma ,\tau )\Rightarrow D_{\sigma }^u\left(F\right)\in {\mathcal{I}}_{\sigma },D_{\tau }^l\left(F\right)\in {\mathcal{I}}_{\sigma }$.

So, $D_{\sigma }^u\left(F\right),D_{\tau }^l\left(F\right)\in {\mathcal{I}}_{\sigma }$.

Moreover, $ws{q}^l(\sigma ,\tau )\Rightarrow$F is lower Baire $\sigma$-continuous.

c) $B(\tau ,\sigma ),\tau \prec \sigma$, $B(\sigma ,\tau ),\sigma \prec \tau$

By a) and b), $D_{\sigma }^u\left(F\right),D_{\tau }^l\left(F\right)\in {\mathcal{I}}_{\sigma }\cap {\mathcal{I}}_{\tau }$ and $D_{\tau }^u\left(F\right),D_{\sigma }^l\left(F\right)\in {\mathcal{I}}_{\tau }$.

Funding: This research received no external funding.

Data Availability Statement: No data has been used in the manuscript.

Ethical approval: This article does not contain any studies with human participants or animals performed by the author.

Acknowledgments: The article was supported by Faculty of Education, Trnava University in Trnava, Slovak Republic, Grant No. B1/2026.

Conflict of interest: The author declares that he has no conflict of interest.