Real positive mappings

by fantispug
Tags: mappings, positive, real
fantispug is offline
Jul9-08, 10:07 PM
P: 105
1. The problem statement, all variables and given/known data
Prove that for any
[tex]f:\mathbb{R}\rightarrow\left(0,\infty \right)[/tex]
there is a rational number q and an irrational number i such that
[tex]f(q)f(i) > \left( \frac{q-i}{2} \right)^2[/tex]
(Or if this is false find a counterexample)

2. Relevant equations

3. The attempt at a solution
The best idea to me seems to be to look for a contradiction, that is assume
[tex]f(q)f(i) \leq \left( \frac{q-i}{2} \right)^2[/tex]
for all rational q and irrational i and try to come up with a contradiction.

The first approach I tried was to fix a q, say q=0, then for every epsilon greater than zero there exists an irrational number i such that
[tex]f(i)\leq \epsilon[/tex]
(since every neighbourhood of a real number contains a rational number)
similarly there exists a rational number q such that
[tex]f(q)\leq \epsilon[/tex]
So both these conditions are fine on their own, so I need to think of some way to combine them.

Define a sequence of irrational numbers, i_0(n) by
[tex] f(i_0(n)) \leq 1/n[/tex]
Then define interlaced sequences of rational and irrational numbers:
[tex]f(q_k(n)) \leq f(i_{k-1}(n))[/tex]
[tex]f(i_k(n)) \leq f(q_k(n))[/tex]
But I haven't found anything useful to do with these sequences - they could be quite trivial, e.g.f(q_k(n))=f(i_k(n)) for all k,n and q_k(n)=q_l(n) for all n, l and k similarly for the irrationals.

So I'm stuck, I've got to think of some way to impose both conditions (the one on the rationals and the one of the irrationals) simultaneously (no single sequence will do the trick), but I can't think of a way to do it.

The only other way I can think of trying to approach it is with some abstract formalism (e.g. topology), but since f isn't even continuous topology won't do. Maybe an argument based on cardinality could be feasible, but I can't think of one.
Phys.Org News Partner Science news on
NASA's space station Robonaut finally getting legs
Free the seed: OSSI nurtures growing plants without patent barriers
Going nuts? Turkey looks to pistachios to heat new eco-city

Register to reply

Related Discussions
Positive definite real quadratic forms Linear & Abstract Algebra 4
AdS/CFT mappings Beyond the Standard Model 0
Proof regarding 1-1, and onto mappings Introductory Physics Homework 1
Positive polynomial in two real variables Calculus 3