On symmetrical cliquishness and quasi-continuity of functions of two variables (Q471475)

With \(X\) and \(Y\) topological spaces, \(Z\) a metric space, \(w_f (A) = \sup\{d(f(u), f(v)) : u, v\in A\}\) for \(f: X \to Z\) the oscillation of \(f, f\) is said to be quasi-continuous (cliquish) at a point \(x\to X\) if, for any \(\varepsilon > 0\) and a neighborhood \(U\) of \(x\in X\), there exists a nonempty open subset \(G\) of \(X\) such that \(G\subseteq U\) and \(w_f (\{x\}\cup G)< \varepsilon\) (\(w_f (G)< \varepsilon\)); a function \(f: X \times Y \to Z\) is said to be symmetrically quasi-continuous (cliquish) with respect to \(x\) at a point \(p_0 = (x_0, y_0) \in X\times Y\) if, for any \(\varepsilon > 0\), neighborhoods \(U\) and \(V\) at \(x_0\) and \(y_0\) respectively, there are a neighborhood \(G\) of \(x_0\) and a nonempty open subset \(H\) of \(Y\) such that \(G \times H \subseteq U\times V\) and \(w_f (\{p_0\} \cup (G\times H)) < \varepsilon\) (\(w_f (G\times H) < \varepsilon\)); a function \(f: X\times Y \to Z\) is said to be horizontally quasi-continuous at a point \(p=(x, y) \in X\times Y\) if, for any \(\varepsilon > 0\), any neighborhoods \(U\) and \(V\) of \(x\) and \(y\) respectively, there are a neighborhood \(G\) of \(x\) and a point \(b\in V\) such that \(G \subseteq U\) and \(w_f (\{p\}\cup (G \times \{b\}) < \varepsilon\). With the aim to get a characterization of joint cliquishness of two variables, two conditions (B) and (C) are introduced as follows: a function \(f: X\times Y \to Z\) satisfies condition (B) if for any \(\beta > 0\), nonempty open sets \(U\) in \(X\) and \(V\) in \(Y\) and a dense in \(U\) set \(E \subseteq X\) with \(w_f (E\times V) < \beta\), there exist nonempty open subsets \(G\) of \(X\) and \(H\) of \(Y\) such that \(G\subseteq U, H\subseteq V\) and \(w_f (G\times H) < \beta\); a function \(f: X\times Y \to Z\) satisfies condition (C) if for any \(\varepsilon > 0\), a non-meagre set \(E\) in \(X\) and a non-empty open set \(V\) in \(Y\), there exist a somewhere dense set \(E_1\) in \(X\) and a map \(g: E_1 \to V\) such that \(E_1\subseteq E\) and \(w_f (\mathrm{Gr}(g))< \varepsilon\), where \(\mathrm{Gr}(g)= \{(x, g(x)): x \in E_1\}\) is the graph of \(g\). With \(Z\) a separable metric space, it is shown that \(f: X\times Y \to Z\) satisfies condition (C); with \(Z\) a metric space, \(f: X\times Y \to Z\) is defined to be weak horizontally quasi-continuous if for arbitrary open subsets \(U\) of \(X\) and \(V\) of \(Y\) and a set \(A\subseteq X\) with \(U \subseteq\bar {A}\), one has \(f(U\times V) \subseteq \mathrm{cl}(f(A \times V))\) and it is shown that if \(f\) is weakly horizontally continuous, then \(f\) satisfies conditions (B) and (C). With \(X\) a topological space, \(Y\) a topological space with a countable pseudo-base, \((Z, d)\) a metric space, it is shown that: (1) for a function \(f: X\times Y \to Z\), a function satisfying conditions (B) and (C), there is a residual set \(A\subseteq X\) such that for each \(a\in A\) such that \(f^a\) is cliquish at \(b (f^a(b)= f(a, b))\) we have that \(f\) is symmetrically cliquish with respect to \(x\) at \((a, b)\); (2) for a cliquish function \(f: X\times Y \to Z\), there is a residual set \(A\) in \(X\) such that \(f\) is symmetrically cliquish with respect to \(x\) at each point of the set \(A\times Y\); (3) for a function \(f: X\times Y \to Z\) satisfying (B) and (C), there is a residual set \(A\subseteq X\) such that for each \(a\in A\) such that \(f^a\) is quasi-continuous at \(b\), we have that \(f\) is symmetrically quasi-continuous with respect to \(x\) at \((a, b)\). The main result reads as follows: If \(X\) is a Baire space, \(Y\) a topological space which has a countable pseudo base, \(Z\) a metric space, then for a function \(f: X\times Y \to Z\), a residual subset \(A\) of \(X\) such that \(f\) is symmetrically cliquish (quasi-continuous) with respect to \(x\) at each point of \(A\times Y\) exists iff \(\{x\in X: f^x \text{ is cliquish}\}\) (quasi-continuous) is residual in \(X\) and conditions (B) and (C) hold.