Hausdorff spaces & Continuous Mappings via Convergence.

Click For Summary
SUMMARY

A mapping f between Hausdorff spaces is continuous if and only if the sequence f(x_0), f(x_1), ... converges to f(x) for every sequence x_0, x_1, ... converging to x. To prove continuity, one must demonstrate that the inverse image of every open set in the range of f(x) is also an open set. Hausdorff spaces are defined as topological spaces where any two points can be separated by disjoint open sets, a property that is crucial in many areas of analysis, including real numbers and metric spaces.

PREREQUISITES
  • Understanding of Hausdorff spaces in topology
  • Knowledge of continuity in mathematical mappings
  • Familiarity with open sets and their properties
  • Basic concepts of sequences and convergence
NEXT STEPS
  • Study the definition and properties of Hausdorff spaces in topology
  • Learn about the implications of continuity in mappings
  • Explore the relationship between open sets and continuity
  • Investigate convergence of sequences in topological spaces
USEFUL FOR

Mathematics students, particularly those studying topology and analysis, as well as educators seeking to deepen their understanding of continuity in Hausdorff spaces.

strangerep
Science Advisor
Messages
3,766
Reaction score
2,214

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.
 

Similar threads

  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
5K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
20
Views
5K