On Fri, 4 Jul 2008, BadBedH
...@googlemail.com wrote:
> I just started my journey into Topology and stumped on the following:
> (i) Every function from a discrete space into any top. space is
> continuous.
> (ii) Every function from any top space into an indiscrete space is
> continuous.
> Now, unfortunately I am not quite sure why that is.
Let us first look at the topological definition of continuous.
f:X -> Y is continuous when
for all open U subset Y, f^-1(U) open subset X.
This is the definition that requires study and to assure yourself
that in encompasses the definition of continuous of metric spaces
and the usual definition of continuous in analysis.
Another definition with the same need for study.
f:X -> Y is continuous at a when for all open V nhood f(a),
some open U nhood x with f(U) subset V.
Theorem. f:X -> Y is continuous iff for all a in X,
f is continuous at a.
Anyway, let X be a discrete space.
If U open subset Y, then of course f^-1(U) is open.
Thus immediately f is continuous.
If Y is the indiscrete space, then the open sets of Y are
nulset and Y only. Since f^-1(nulset) = nulset and
f^-1(Y) = X are both open, f is continuous.