Hausdorff spaces & Continuous Mappings via Convergence.

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 3K views
Messages
3,766
Reaction score
2,215

Homework Statement



A kind person is helping me to self-study some aspects of topology,
continuity, etc. He posed the following exercise for me, which I
can't do, but he doesn't have time to write up the full solution.

Ex: Show that a mapping [tex]f[/tex] between Hausdorff spaces is continuous
if and only if the sequence [tex]f(x_0), f(x_1), \dots[/tex] converges to [tex]f(x)[/tex]
for every sequence [itex]x_0, x_1, \dots[/itex] converging to [itex]x[/itex].

Homework Equations



The Attempt at a Solution



To show f is continuous, one must show that every open set in the range of f(x) must
have an inverse image which is also an open set. I also know the definition
of a Hausdorff space as a topological space in which any two points are
contained in disjoint open sets. But that's about as far as I get. Does this
theorem have a name that I could look up? Or can anyone give me some
more hints about how to progress the proof?

TIA.
 
Physics news on Phys.org
From http://en.wikipedia.org/wiki/Hausdorff_spaces#Properties

Almost all spaces encountered in analysis are Hausdorff; most importantly, the real numbers are a Hausdorff space. More generally, all metric spaces are Hausdorff. In fact, many spaces of use in analysis, such as topological groups and topological manifolds, have the Hausdorff condition explicitly stated in their definitions.
Which tells me you can start from the reals (as a special case) then generalize.