Continuous functions on dense subsets

Click For Summary

Homework Help Overview

The discussion revolves around the continuity of functions defined on dense subsets of metric spaces. The original poster seeks to understand whether a continuous function defined on a dense subset can be extended to a continuous function on the entire space.

Discussion Character

  • Exploratory, Assumption checking, Conceptual clarification

Approaches and Questions Raised

  • The original poster attempts to find counterexamples using continuous functions defined on the rationals and irrationals, questioning the validity of the statement. Some participants suggest exploring the implications of density in metric spaces and the behavior of sequences converging to points outside the dense subset.

Discussion Status

The discussion is active, with participants providing insights and clarifications. One participant has proposed a specific counterexample involving a function defined on a subset of the interval, while others are exploring the implications of continuity and density.

Contextual Notes

There are constraints regarding the definitions of continuity and the properties of dense subsets in metric spaces that are under examination. The original poster expresses uncertainty about the truth of the statement and the nature of potential counterexamples.

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).
 
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!
 

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
5K
Replies
8
Views
2K
Replies
4
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K