Continuous functions on dense subsets

Click For Summary
The discussion centers on the question of whether a continuous function defined on a dense subset of a metric space can be extended to a continuous function on the entire space. A participant explores the validity of the statement by considering continuous functions on the rationals and irrationals, ultimately finding that a mapping can be constructed. Another contributor clarifies that the statement can be false by providing a counterexample where the dense subset is (0,1] and the entire space is [0,1], highlighting that the limit at a boundary point may not exist. This leads to a deeper understanding of the conditions under which continuity can be extended. The conversation emphasizes the importance of examining limits and the behavior of functions at boundary points.
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, \{x_n\} in E that converges to a. Show that, since f is continuous in E, the sequence \{f(x_n}\} converges and define that limit to be f(a).
 
There is a counterexample.

Take E=]0,1] and X=[0,1].

Can you find a function on E whose limit to 0 does not exist?
 
Thanks guys, makes a lot more sense now!
 
Question: A clock's minute hand has length 4 and its hour hand has length 3. What is the distance between the tips at the moment when it is increasing most rapidly?(Putnam Exam Question) Answer: Making assumption that both the hands moves at constant angular velocities, the answer is ## \sqrt{7} .## But don't you think this assumption is somewhat doubtful and wrong?

Similar threads

  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 27 ·
Replies
27
Views
2K
Replies
5
Views
2K
  • · Replies 20 ·
Replies
20
Views
3K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 40 ·
2
Replies
40
Views
4K
Replies
8
Views
2K
Replies
4
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K