Continuous functions on dense subsets

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
3 replies · 3K views
Eulogy
Messages
8
Reaction score
0
Hi, can someone give me pointers on this question

Homework Statement



Prove or provide a counterexample: If f : E -> Y is continuous on a
dense subset E of a metric space X, then there is a continuous function
g: X -> Y such that g(z) = f(z) for all z element of E.

The Attempt at a Solution


I'm not sure if the statement is true or not. I have tried to find counter-examples using continuous functions on the rationals or irrationals. For example f: Q -> R , f(x) = x. This is continuous for every x in Q. However it is easy to find a mapping g: R -> R which is continuous and g(z) = f(z) for all z element of Q. ie given by g(x) = x. I am yet to find a counter-example (in R anyway). However if the statement holds I'm not to sure how I would begin to prove it.

Thanks!
 
Physics news on Phys.org
There is a reason you can't find a counter-example!

Let a be a point in X that is not in E. Since E is dense in X, there exist a sequence of points, [itex]\{x_n\}[/itex] in E that converges to a. Show that, since f is continuous in E, the sequence [itex]\{f(x_n}\}[/itex] converges and define that limit to be f(a).
 
Thanks guys, makes a lot more sense now!