Constructing a Non-One-to-One Function on [-1,1] Using Rational Numbers

  • Thread starter Thread starter K29
  • Start date Start date
  • Tags Tags
    Domain Functions
Click For Summary
SUMMARY

The discussion focuses on constructing a continuous function f: [-1,1] -> R that is one-to-one when restricted to rational numbers but not on the entire interval. A proposed solution involves creating a piecewise function that decreases and then increases, specifically using the lines y = -x and y = πx. This approach ensures that the function meets the criteria of being one-to-one for rational inputs while allowing for non-unique outputs for irrational inputs.

PREREQUISITES
  • Understanding of the Intermediate Value Theorem
  • Familiarity with continuous functions
  • Knowledge of piecewise function construction
  • Basic concepts of rational and irrational numbers
NEXT STEPS
  • Research the properties of continuous functions in Real Analysis
  • Explore piecewise function examples and their applications
  • Study the implications of the Intermediate Value Theorem on function behavior
  • Investigate the relationship between rational and irrational numbers in function definitions
USEFUL FOR

Students of Real Analysis, mathematicians exploring function properties, and educators seeking examples of non-one-to-one functions in continuous settings.

K29
Messages
103
Reaction score
0
This question is at the end of a section on the Intermediate Value Theorem in my Real Analysis notes:
Find a continuous function f: [-1,1]->R which is one-to-one when restricted to rational numbers in [-1,1] but is not one-to-one on the whole interval [-1,1]

I can't figure it out. I've thought about piecewise functions and uhm circles, but I don't see how this is even possible. Any ideas?

PS if you have any ideas for[0,1] that would also help
 
Last edited:
Physics news on Phys.org
Hi K29! :smile:

Let's see what we can do here. Take two distinct irrational point a and b. We will make a function such that f(a)=f(b).

Of course, we can't make a constant line between the function, so the function has to make some sort of arc between f(a) and f(b). That is, we will have to make f such that it decreases first and then increases, but such that it's still is one-to-one on the rationals.

No, if you make the decreasing part behave like the line y=-x, and the increasing part something like [itex]y=\pi x[/itex], then this would be something, right?
 
Thanks, that helped me get to the right answer
 

Similar threads

Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
8
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 33 ·
2
Replies
33
Views
3K
  • · Replies 5 ·
Replies
5
Views
7K
  • · Replies 7 ·
Replies
7
Views
6K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 7 ·
Replies
7
Views
3K