Collecting definitions of continuity.

Question

Let $X$ and $Y$ denote topological spaces and consider a function $f : X \rightarrow Y$. I'm collecting possible definitions/characterizations of the statement "$f$ is continuous."

Here's two to get us started.

• (Preimages of Open Sets) $f$ is continuous iff for all open $B \subseteq Y$ it holds that $f^{-1}(B)$ is open in $X$.
• (Direct Images of Open Neighbourhoods) $f$ is continuous iff for all $x \in X$ and all open $B \ni f(x)$, there exists open $A \ni x$ such that $f(A) \subseteq B$.

Bring 'em on!

Edit: Intuitively sensible definitions of continuity, which nevertheless fail, are also welcome (provide a counterexample).

Edit2: Does anyone know a way of characterising continuity in terms of boundary operators?

Answer 1

• Inverse images of closed sets are closed.
• $f [ \overline{A} ] \subseteq \overline{ f[A] }$ for all $A \subseteq X$.
• $\overline{f^{-1} [ B ] } \subseteq f^{-1} [ \overline{B} ]$ for all $B \subseteq Y$;
• $f^{-1} [ \mathrm{Int} (B) ] \subseteq \mathrm{Int} ( f^{-1} [ B ] )$ for all $B \subseteq Y$.
• whenever $\langle x_\sigma : \sigma \in \Sigma \rangle$ is a net in $X$ with limit $x$, then $f(x)$ is a limit of the net $\langle f(x_\sigma) : \sigma \in \Sigma \rangle$ in $Y$. (Note that for this I am not assuming that nets have unique limits.)

Answer 2

For every net $(x_i)_{i \in I}$ that converges to some $x$ in $X$, $f(x_i)_{i \in I}$ converges to $f(x)$.

For every filter $\mathcal{F}$ on $X$ that converges to $x \in X$, $f[\mathcal{F}]$ converges to $f(x)$.

The inverse image of a closed set in $Y$ is closed in $X$.

For a fixed base $\mathcal{B}$ of $Y$, the inverse image of $O$ is open for every $O \in \mathcal{B}$.

As the previous statement, but then for subbases.

For every $A \subset X$, $f[\overline{A}] \subset \overline{f[A]}$

For every $B \subset Y$, $\overline{f^{-1}[B]} \subset f^{-1}[\overline{B}]$

For every $B \subset Y$, $f^{-1}[\operatorname{Int}(B)] \subset \operatorname{Int}(f^{-1}[B])$