1
$\begingroup$

Consider the intermediate value theorem. It says that a continuous function $f(x)$ on a closed interval $[a,b]$ takes on every value between $f(a)$ and $f(b)$ at least once. Excluding trivialities like $f(x)=\mbox{constant}$, my question is how often can $f(x)$ achieve an intermediate value and still be continuous on $[a,b]$? For any finite number, a continuous function can always be constructed, like sine with a high enough frequency. But is it possible that an intermediate value is achieved by $f(x)$ an infinite number of times? Countable, uncountable number of times?

So looking for a continuous function $f(x)$ on a closed interval $[a,b]$ with $f(a)\neq f(b)$ such that for some $z$ between $f(a)$ and $f(b)$, there exist infinitely many values $c$ in $[a,b]$ for which $f(c)=z$. If such a function is not possible, then perhaps an intuitive argument of its impossibility will help.

  • 0
    Exactly which functions "like f(x)=constant" do you want to exclude?2012-10-29
  • 0
    Countably infinitely many $c$ with $f(c)=z$ is certainly possible. What do you think happens with uncountably many?2012-10-29
  • 1
    Haha, I should have taken the extra ten second to think this through Andres. So uncountably many isn't possible because either the function will be a constant or discontinuous, right?2012-10-29
  • 0
    This may be useful: [Weierstrass function](http://en.wikipedia.org/wiki/Weierstrass_function), [Weierstrass's non-differentiable function](http://www.ams.org/journals/tran/1916-017-03/S0002-9947-1916-1501044-1/S0002-9947-1916-1501044-1.pdf), [The Weierstrass pathological function](http://www-math.mit.edu/~katrin/teach/18.100/WeierstrassFunction.pdf)2012-10-29
  • 1
    Not an answer to the question - but for a radically discontinuous function satisfying the Intermediate Value Theorem you should investigate the Conway Base 13 Function.2012-10-29
  • 0
    So Andres, what is an example with countably infinitely many c's with f(c)=z?2012-10-30

1 Answers 1

1

You can use a non-analitic function... for instance $f(x)=x-1$ $\forall x \in [0,1]$, $f(x)=0$ $\forall x \in [1,2]$ and $f(x)=x-2$ $\forall x \in [2,3]$.

If you think only about analitic functions, well...I can answer using complex analysis. Look here http://www.math.unipd.it/~parsifal/MathematicalMethods/MathematicalMethods.pdf page 32. As you see if there are infinite zeroes then you have the null function so you can't have a function with infinite zeroes because $[a,b]$ is a compact and every infinite subset has an accumulation point.

  • 0
    (Wrote this before your edit.) Given $a, $c, and any $n$, you can find an analytic function such that $f(a)=c$, $f(b)=d$ and $f(z)=e$ has at least $n$ solutions. You cannot replace $n$ with "infinitely many", as the zeros of analytic functions are isolated.2012-10-29
  • 0
    So is it possible with non-analytic function? Only continuity is required, not analyticity.2012-10-29
  • 0
    If a function is constant on a sub-interval of $[a,b]$ then it takes that value for uncountably many arguments.2012-10-29