Discussion about math, puzzles, games and fun.   Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫ • π ƒ -¹ ² ³ °

You are not logged in.

## #1 2009-01-21 04:17:19

mathsyperson
Moderator

Offline

### Looking for a function

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.

Why did the vector cross the road?
It wanted to be normal.

## #2 2009-01-21 06:54:41

TheDude
Power Member

Offline

### Re: Looking for a function

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-21 06:57:12)

Wrap it in bacon

## #3 2009-01-21 07:02:31

JaneFairfax
Legendary Member

Offline

### Re: Looking for a function

What do you think
means?

Q: Who wrote the novels Mrs Dalloway and To the Lighthouse?

## #4 2009-01-21 07:04:39

TheDude
Power Member

Offline

### Re: Looking for a function

Did you read my post carefully?

Wrap it in bacon

## #5 2009-01-21 07:06:26

JaneFairfax
Legendary Member

Offline

### Re: Looking for a function

Look.

#### I wrote:

What do you think
means?

Last edited by JaneFairfax (2009-01-21 07:12:52)

Q: Who wrote the novels Mrs Dalloway and To the Lighthouse?

## #6 2009-01-21 07:10:29

mathsyperson
Moderator

Offline

### Re: Looking for a function

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.

Why did the vector cross the road?
It wanted to be normal.

## #7 2009-01-21 07:14:43

TheDude
Power Member

Offline

### Re: Looking for a function

I figured it couldn't be that easy.

Wrap it in bacon

## #8 2009-01-21 07:37:40

TheDude
Power Member

Offline

### Re: Looking for a function

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-21 07:40:07)

Wrap it in bacon

## #9 2009-01-22 01:36:41

Muggleton
Full Member

Offline

### Re: Looking for a function

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

## #10 2009-01-22 02:26:36

JaneFairfax
Legendary Member

Offline

### Re: Looking for a function

The Weierstraß function is a “pathological” case (as described by the Wikipedia article on it). I highly doubt that the function we’re looking for (if it exists) is going to be anything as “pathological” – otherwise people would have known about it much earlier and wouldn’t have had to wait until the late 19th century for an everywhere-continuous nowhere-differentiable function to be discovered.

So either it doesn’t exist, or, if it does, it won’t be totally undifferentiable. However, I agree that most likely it won’t be expressible as a nice and neat formula (if it exists). That’s my theory.

Q: Who wrote the novels Mrs Dalloway and To the Lighthouse?

## #11 2009-01-22 17:45:49

Ricky
Moderator

Offline

### Re: Looking for a function

"In the real world, this would be a problem.  But in mathematics, we can just define a place where this problem doesn't exist.  So we'll go ahead and do that now..."

## #12 2009-01-23 00:09:46

mathsyperson
Moderator

Offline

### Re: Looking for a function

<That link's too long for my browser to show it all, so, Link>

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

Why did the vector cross the road?
It wanted to be normal.

## #13 2009-01-23 00:17:50

JaneFairfax
Legendary Member

Offline

### Re: Looking for a function

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.

Q: Who wrote the novels Mrs Dalloway and To the Lighthouse?