Quasi-continuity of multivalued maps with respect to the qualitative topology (Q757880)

A multivalued map F:X\(\to Y\), where X,Y are topological spaces, is called upper (lower) quasicontinuous at \(x_ 0\in X\) if for each open \(V\subset Y\) such that \(F(x_ 0)\subset V\) \((F(x_ 0)\cap V\neq \emptyset)\) and for each neighbourhood U of \(x_ 0\) there exists an open set \(U_ 1\subset U\) such that F(x)\(\subset V\) (F(x)\(\cap V\neq \emptyset)\) for all \(x\in U_ 1\). The author investigates the quasicontinuity of multivalued maps with respect to the qualitative topology on Y (i.e. the topology \(T_ q=\{U\setminus H:U\) is open, H is of the first category\(\}\).