Given topological spaces $(X,\tau)$, $(Y,\upsilon)$, we say a function $f:X\rightarrow Y$ is continuous iff $\forall$ $U\in \upsilon$, $f^{-1}(U)\in \tau$.
Equivalently, we can say that $f$ is continuous iff $\forall$ convergent nets $x_i \rightarrow x$ in $X$, $f(x_i) \rightarrow f(x)$ in $Y$.
I understand that we need the generalization of sequences (nets) since not all topological spaces are first-countable.
Is there an example to illustrate the point? That is, is there a construction of a function $f$ s.t. $f$ is not continuous (using the first definition), but $f$ satisfies the second definition when limited to sequences? Just curious.
Example to illustrate the necessity for nets?
2
$\begingroup$
general-topology
continuity
examples-counterexamples
nets
-
2Yes, I agree it's much harder than Pete's example, but it is also much more interesting, I think. There you have a Hausdorff space and there are many non-constant sequences. There's just one point (called $b$ there) that can't be reached by a non-constant sequence, and that's why you can assign an arbitrary value to a function there without destroying sequential continuity. On the way of the construction you also get a space that is sequentially compact (every sequence has a convergent subsequence) but *not* compact. – 2011-09-13
1 Answers
5
Let $X$ be an uncountable set endowed with the cocountable topology $\tau$: a nonempty subset is open iff its complement is countable. This is a non-discrete space in which the only convergent sequences are the eventually constant sequences.
It follows that for any topological space $Y$ and any function $f: X \rightarrow Y$, $f$ is sequentially continuous, i.e., if $x_n \rightarrow x$ then $f(x_n) \rightarrow f(x)$. But because $X$ is not discrete, the identity map from $(X,\tau)$ to $(X,\text{discrete})$ is not continuous.
-
0@Landyn: The same thing can be done for any space which is not [sequential](http://en.wikipedia.org/wiki/Sequential_space). If $(X,\mathcal T)$ is not sequential, take all sequentially open sets; they form a new topology $\mathcal T_s$ on $X$. The spaces $(X,\mathcal T)$ and $(X,\mathcal T_s)$ have the same convergent sequences and $\mathcal T\subsetneq \mathcal T_s$. So the identity map $id_X \colon (X,\mathcal T_s)\to(X,\mathcal T)$ is sequentially continuous but not continuous. For $\mathcal T$=cofinite you get $\mathcal T_s$=discrete. $\mathcal T_s$ is called *sequential coreflection*. – 2012-04-27