Proof about uniformly continuous functions

Click For Summary

Homework Help Overview

The discussion revolves around proving the existence of a continuous function that extends a uniformly continuous function defined on the rationals to the reals. The participants explore the implications of uniform continuity and the denseness of the rationals in the reals.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • Participants discuss defining the function g and its relationship to the denseness of the rationals. Questions arise about how to estimate irrational numbers using sequences of rationals and the implications of uniform continuity for the extension of g.

Discussion Status

The discussion is active, with participants offering various approaches to defining the function g and exploring its properties. Some guidance has been provided regarding the use of sequences of rationals to define g at irrational points, and there is an acknowledgment of the need to demonstrate that g is independent of the chosen sequence.

Contextual Notes

Participants are navigating the definitions and properties of uniform continuity and the concept of extending functions from a dense subset to a larger space. There is an emphasis on the continuity of the function on the rationals and the implications for the extension to the reals.

kivit
Messages
3
Reaction score
0
Let f be a uniformly continuous function on Q... Prove that there is a continuous function
g on R extending f (that is, g(x) = f(x), for all x∈Q


I think I am supposed to somehow use the denseness of Q and the continuity of a function to prove this, but I am not quite sure where I should start. Any help would be greatly appreciated.
 
Physics news on Phys.org
Pick an irrational t, what can you do with rationals to estimate it?
 
First you have to define what g(x) is. Yes, use the denseness of Q. Can you do that?
 
so would i be right to start out defining g as uniformly continuous on R?

then somehow using the denseness of Q to show that all the Qs are in R so g extends f?

... or am i not understanding what this means by extending?
 
For every irrational t there are an infinite number of sequences q_i of rationals such that limit q_i->t. So you can define g(t)=limit f(q_i). Now you have to show that g(t) is independent of the sequence q_i. Use the continuity of f on the rationals. To show it's uniformly continuous, you can't define it to be. You have to show it is. Again use the uniform continuity of f.
 
ok I think I can do it now. thanks :) I'll let you know how it goes in a little bit!
 

Similar threads

  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 40 ·
2
Replies
40
Views
5K
Replies
22
Views
2K
  • · Replies 27 ·
Replies
27
Views
2K
  • · Replies 20 ·
Replies
20
Views
3K
Replies
7
Views
2K
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
Replies
26
Views
3K