Product topology, closed subset, Hausdorff

Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
1 reply · 3K views
complexnumber
Messages
61
Reaction score
0

Homework Statement



Let [tex](X,\tau_X)[/tex] and [tex](Y,\tau_Y)[/tex] be topological spaces, and let [tex]f : X \to Y[/tex] be continuous. Let [tex]Y[/tex] be Hausdorff, and prove that the graph of [tex]f[/tex] i.e. [tex]\graph(f) := \{ (x,f(x)) | x \in X \}[/tex] is a closed subset of [tex]X \times Y[/tex].

Homework Equations





The Attempt at a Solution



Which property of closed set should I use to prove this? Should I assume a sequence inside the graph set converging to some [tex](x,y) \in X[/tex] and then somehow show that this limit point belongs to the graph? Or should I prove that the complement of the graph set is not open? I don't know how to finish the proof with either approach. Please give me some hint.
 
Physics news on Phys.org
The idea here is to find (x,y) not on the graph such that every neighbourhood misses the graph. To do this, pick (x,y) not on the graph, so it is different than (x,f(x)) and separate them by neighbourhoods. You must also use continuity here.