15
$\begingroup$

I am working through a bank of previous exams and couldn't figure a problem out to my satisfaction.

Let $f(x) : \mathbb{R} \to \mathbb{R}\,$ be a continuous function.

  1. Show that $f$ can have at most countably many strict local maxima.
  2. Assume that $f$ is not monotone on any interval. Then show that the local maxima of $f$ are dense in $\mathbb{R}$.
  • 1
    See also [Does there exist a continuous function from \[0,1\] to R that has uncountably many local maxima?](http://math.stackexchange.com/questions/1339170/does-there-exist-a-continuous-function-from-0-1-to-r-that-has-uncountably-many)2015-06-26

2 Answers 2

13
  1. For each $\delta>0$, the set of all $x\in\mathbb{R}$ such that $f(y) for all $y$ with $0<|x-y|<\delta$ is countable. This can be seen by noting that the set contains at most one element of the interval $[k\frac{\delta}{2},(k+1)\frac{\delta}{2}]$ for each integer $k$, and these intervals cover $\mathbb{R}$. The set of strict local maxima is a countable union of such sets, for example taking $\delta=\frac{1}{n}$ as $n$ ranges over the positive integers.

  2. Suppose that $f$ is a continuous function that is not monotone on any interval. We want to show that $f$ has a local maximum in every interval. The argument is the same if the interval is $(0,2)$, so to slightly reduce notation let's work there. Note that not being monotone in any interval means that each interval contains pairs $x_1 and $y_1 such that $f(x_1) and $f(y_1)>f(y_2)$. So $(0,1)$ contains a pair $x_1 such that $f(x_1), and $(1,2)$ contains a pair $y_1 such that $f(y_1)>f(y_2)$. Because $f$ is continuous, there is a point $x_0\in [x_1,y_2]$ where $f$ has its maximum value. Because $f(x_2)>f(x_1)$ and $f(y_1)>f(y_2)$, $x_0$ is not an endpoint of $[x_1,y_2]$. Therefore $f$ has a local maximum at $x_0$.

  • 0
    How do you use the continuity requirement in showing 1?2011-03-19
  • 0
    Continuity isn't needed for 1.2011-03-19
  • 0
    Then I don't see how what you've said is true. Why can't I just take $f(y)$ and move it down creating a hole in the function where all the values around it are above the new value where I moved $f(y)$. That would make the entire interval $(y-\delta,y+\delta)$ except for $y$ satisfy your stated condition and $(y-\delta,y+\delta)$ is uncountable.2011-03-19
  • 0
    @davidk01: I am saying that for each $\delta>0$, the set $\{x:\text{ for all }$y$, |x-y|<\delta\Rightarrow f(y) is countable. Changing the value at a single point in the domain does not affect this. These are not the points $x$ where $f(x)>f(y)$ for some *fixed* $y$ close to $x$, but for *all* $y$ close to $x$. Hence the statement that there can be only one such point in an interval of length less than $\delta$.2011-03-19
  • 0
    @Jonas Meyer: That wasn't clear in your original statement. I'll look this over.2011-03-19
  • 0
    @davidk01: I've reworded the first sentence. I hope that it is clearer.2011-03-19
  • 0
    @Jonas Meyer: Ok, I understand now. Without the $\forall$ qualifier I was thinking $\{x\ :\ \exists y\ |x-y|<\delta\Rightarrow f(y) < f(x)\}$.2011-03-19
  • 0
    @Jonas Meyer: Thank you! @dadivk01: Thank you for the discussion.2011-03-19
0

For #1, prove that you can find disjoint intervals around each local maximum. Then pick a rational number in each interval.

Edit: This answer is wrong but the comments below are instructive, so I'll leave it here.

  • 0
    That is not true, by 2.2011-03-19
  • 0
    @Jonas Meyer: Why not? Since it is continuous it must be bounded on any small enough interval and in that interval it must obtain a maximum somewhere. Now we can chop out this interval and move on. As long as we keep chopping out non-trivial intervals we should be able to cover the real line with the chopped intervals.2011-03-19
  • 1
    @davidk01: In a situation where the strict local maxima are dense, which happens for functions that are monotone on no interval, if you take an interval around a point where $f$ has a local maximum, the interval will contain other points where $f$ has a local maximum, and therefore it will intersect all intervals containing those points.2011-03-19
  • 0
    @Jonas Meyer: I still don't see how the density of the local maxima makes a difference? Being bounded and continuous the function must obtain an absolute maximum at some point of whatever bounded, non-trivial interval I'm looking at. So I can always find a single absolute maximum on any non-trivial, bounded interval and since such intervals cover the real line there can only be countably many absolute maximums. I should probably look up a definition of strict local maximum.2011-03-19
  • 0
    @davidk01: Continuous functions take on their maxima on *closed* bounded intervals, but that isn't relevant for the first question. As for how density makes a difference: Being able to cover a set with disjoint intervals each of which contains only one element of the set is a lot stronger than saying that the set is not dense. If a set is dense in $\mathbb{R}$, then every interval contains infinitely many elements of the set.2011-03-19
  • 0
    Sorry for the false answer. I would delete it except that the discussion in the comments is instructive.2011-03-19