Given a topological space $(X,\tau)$ and the product space $(X^2,\tau_2)$.
Define the diagonal $\Delta X^2=\{(x,x)\,|\,x\in X\}$ and a set $\mathbf S_\tau=\{\mathcal A\in\tau_2|\Delta X^2\subseteq\mathcal A\}$.

Then $\mathbf S_\tau$ provides some kind of $\delta$-$\epsilon$ arrangement for the elements in $X$, since one can formulate conditions as $\forall\mathcal A\in\mathbf S: (x,y)\in \mathcal A$, which asserts that $(x,y)$ is "close to the diagonal" and therefore that $x$ "is close to" $y$.

Suppose $f:X\to X'$ is a function between topological spaces, then the question is

If $\;\forall x\in \!X\,\forall \mathcal E'\!\in \mathbf S'\,\exists\mathcal D\in\mathbf S\,\forall y\in \!X: [(x,y)\in\mathcal D\implies(f(x),f(y))\in\mathcal E']$, then $f$ is continuous?

If not, perhaps under the condition that the spaces $X,X'$ are Hausdorff?


Assume that $X'$ is $T_1$. Suppose that $x\in X$, and $f(x)=y$, and let $U$ be any open nbhd of $y$ in $X'$. Then $$N'=(U\times U)\cup\big((X'\setminus\{y\})\times(X'\setminus\{y\})\big)$$ is an open nbhd of the diagonal in $X'\times X'$. By hypothesis there is an open nbhd $N$ of the diagonal in $X$ such that $\langle f(x),f(z)\rangle\in N'$ whenever $\langle x,z\rangle\in N$. Note that $\langle f(x),f(z)\rangle=\langle y,f(z)\rangle\in N'$ iff $f(z)\in U$. Let $V=\{z\in X:\langle x,z\rangle\in N\}$; $V$ is an open nbhd of $x$ in $X$, and $f[V]\subseteq U$. Thus, $f$ is continuous at $x$, and since $x\in X$ was arbitrary, $f$ is continuous.

Added: Note that every continuous function $f:X\to X'$ satisfies the condition. If $N'$ is an open nbhd of the diagonal in $X'\times X'$, and $f:X\to X'$ is continuous, then the function

$$g:X\times X\to X'\times X':\langle x,y\rangle\mapsto\langle f(x),f(y)\rangle$$

is continuous, so $N=g^{-1}[N]$ is an open nbhd of the diagonal in $X\times X$, and it’s clear that if $\langle x,y\rangle\in N$, then $\langle f(x),f(y)\rangle\in N'$. Thus, the condition is equivalent to continuity when $X'$ is $T_1$.

  • $\begingroup$ It seems like an ambiguous use of $y$, as a member of both $X$ and $X'$..? $\endgroup$ – Lehs Dec 18 '14 at 1:13
  • $\begingroup$ @Lehs: No, it's not ambiguous: in each instance the space in which $y$ is to be found is perfectly clear. $\endgroup$ – Brian M. Scott Dec 18 '14 at 1:36
  • $\begingroup$ Your students must hate you, for instance. $\endgroup$ – Lehs Dec 18 '14 at 1:59
  • $\begingroup$ @Lehs: That would be difficult, since I’ve been retired for several years. In any case, I’m afraid that if you really had problems with my use of $y$ in these two completely independent arguments, you’re going to have trouble with a great deal of written mathematics. $\endgroup$ – Brian M. Scott Dec 18 '14 at 6:38
  • $\begingroup$ They will remember you. I have always had problems understanding mathematics, but in this case the structure of the proof is clear and simple so I could manage without understanding this detail. Also, thanks for the reversed case! $\endgroup$ – Lehs Dec 18 '14 at 9:00

Given a subset of $A\subseteq X\times X$, let $A_x$ denote the slice $$ A_x = \{ y\in Y \,|\, (x,y)\in A\}.$$ We have an embedding $i_x\colon X\to X\times X$ given by $y\mapsto(x,y)$, which allows us to express $A_x$ as $i_x^{-1}(A)$.

For $$\mathbf S = \left\{\, A\subseteq X\times X \,\middle|\, \text{$A$ is open, containing $\Delta$}\,\right\}$$ I claim that that $(A_x)_{A\in\mathbf S}$ are open sets in $X$ containing $x$ and provided $X$ is $T_1$, all open sets containing $x$ are of this kind. Let $A\in\mathbf S$, then $A_x=i_x^{-1}(A)$ is open, since $A$ is open, and $x\in A_x$, since $A$ contains the diagonal. Conversely, let $B\subseteq X$ be an open set containing $x$ and for every $z\neq x$ let $U_z$ be an open neighborhood of $z$ with $x\notin U_z$, then $$ A = (B\times B) \cup \bigcup_{z\neq x} (U_z\times U_z) $$ is open, contains the diagonal and satisfies $A_x=B$.

Since your statement boils down to $$\;\forall x\in \!X\,\forall \mathcal E'\!\in \mathbf S'\,\exists\mathcal D\in\mathbf S\colon \mathcal D_x \subseteq \mathcal f^{-1}(\mathcal E'_{f(x)}),$$ this becomes the neighborhood-definition of continuity, provided $X$ and $X'$ are $T_1$.

  • $\begingroup$ @BrianM.Scott Oops, I ment to write "$X$ and $X'$ are $T_1$", so we really consider all open neighborhoods in both spaces. Of course, considering only some open neighborhoods in $X$ makes the statement stronger, so it still implies continuity when only $X'$ is $T_1$. I doubt it is still equivalent to continuity though. $\endgroup$ – Christoph Dec 17 '14 at 22:25
  • 1
    $\begingroup$ It actually is equivalent to continuity when $X'$ is $T_1$: continuity always implies the OP’s condition. $\endgroup$ – Brian M. Scott Dec 17 '14 at 22:33

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.