The function has the property that every point of local minimum has a neighbourhood so that is strictly convex on . Prove that the set of the points of local minimum is countable.
Solution
Let be the set of points of local minimum of .
For each , by hypothesis, there exists an open interval containing such that is strictly convex on .
Recall that a strictly convex function on an interval has at most one point of local minimum (since if there were two, the function would be constant or linear between them, contradicting strict convexity).
Therefore, for each , is the unique point of local minimum of in .
Thus, the intervals , for , are pairwise disjoint.
But the set of pairwise disjoint open intervals in is at most countable (since each contains a rational number, and the rationals are countable).
Therefore, is at most countable.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.