Looking for a function

mathsyperson · 2009-01-20 05:17:19

I found this question a while ago now, but haven't made much progress with it.

(Or prove that such a function doesn't exist)

Can anyone shed light on this?

Edit: Just remembered, the question doesn't actually require you to find an example of such a function. Proving its existence would be enough.

TheDude · 2009-01-20 07:54:41

Do we also need to assume the opposite, i.e. that

If not the question is trivial: just let f(x) = c where c is any irrational number.

Last edited by TheDude (2009-01-20 07:57:12)

JaneFairfax · 2009-01-20 08:02:31

What do you think means?

TheDude · 2009-01-20 08:04:39

Did you read my post carefully?

JaneFairfax · 2009-01-20 08:06:26

Look.

I wrote:

What do you think
means?

Now stop asking stupid questions!

Last edited by JaneFairfax (2009-01-20 08:12:52)

mathsyperson · 2009-01-20 08:10:29

Your statement comes out of my one by using contrapositions.

so

Replacing those right-arrows with left or double arrows is allowed, so by using double arrows we have that my condition is equivalent to yours.

Unfortunately, that means your trivial solution won't work.

TheDude · 2009-01-20 08:14:43

I figured it couldn't be that easy.

TheDude · 2009-01-20 08:37:40

Perhaps my first thought will be more helpful. The irrationals are uncountably infinite, and f(x) will have to map them only to the rationals, which are countably infinite. Someone more educated on the subject will have to either verify or refute this, but it seems to me that such a mapping must include at least one member of the set of rationals which has an uncountably infinite number of irrational numbers mapped to it. Let's call this number m.

If that is incorrect then ignore the rest of this post. But if it is true then I don't think that any such function could be continuous. Further guesswork leads me to believe that there would be at least one irrational x where f(x) = m that would not have a limit because f(x) would oscillate infinitely many times between m and various irrational numbers no matter how close you approached x. Basically it would behave like sin(pi/x) near x = 0.

I'm sorry if my explanation isn't clear, if something I wrote doesn't make sense I can try to explain it better. Of course, I'm probably wrong anyway, but maybe it can lead you in the right direction.

Last edited by TheDude (2009-01-20 08:40:07)

Muggleton · 2009-01-21 02:36:41

Such a function may not exist, but if it does, then most likely it won't be expressible in closed form. Indeed I think such a function (if it exists) will not be differentiable (like the function discovered by Weierstrass).

JaneFairfax · 2009-01-21 03:26:36

The Weierstraß function is a pathological case (as described by the Wikipedia article on it). I highly doubt that the function were looking for (if it exists) is going to be anything as pathological otherwise people would have known about it much earlier and wouldnt have had to wait until the late 19[sup]th[/sup] century for an everywhere-continuous nowhere-differentiable function to be discovered.

So either it doesnt exist, or, if it does, it wont be totally undifferentiable. However, I agree that most likely it wont be expressible as a nice and neat formula (if it exists). Thats my theory.

Ricky · 2009-01-21 18:45:49

Answer: http://planetmath.org/encyclopedia/ThereIsNoContinuousFunctionThatSwitchesTheRationalNumbersWithTheIrrationalNumbers.html

mathsyperson · 2009-01-22 01:09:46

Anyway, thanks Ricky! I'm not sure I'll understand all of that proof, but it's good that we have an answer.

JaneFairfax · 2009-01-22 01:17:50

I love the proof. Instead of using analysis methods (as you would immediately think of doing at first) it uses topology methods. And I <3 topology more than analyss.

Math Is Fun Forum

#1 2009-01-20 05:17:19

Looking for a function

#2 2009-01-20 07:54:41

Re: Looking for a function

#3 2009-01-20 08:02:31

Re: Looking for a function

#4 2009-01-20 08:04:39

Re: Looking for a function

#5 2009-01-20 08:06:26

Re: Looking for a function

#6 2009-01-20 08:10:29

Re: Looking for a function

#7 2009-01-20 08:14:43

Re: Looking for a function

#8 2009-01-20 08:37:40

Re: Looking for a function

#9 2009-01-21 02:36:41

Re: Looking for a function

#10 2009-01-21 03:26:36

Re: Looking for a function

#11 2009-01-21 18:45:49

Re: Looking for a function

#12 2009-01-22 01:09:46

Re: Looking for a function

#13 2009-01-22 01:17:50

Re: Looking for a function

Board footer