Is there a continuous function on $f:\mathbb{R} \rightarrow \mathbb{R}$ with uncountably infinite turning points?

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

I was thinking about the statement "if f is continuous on the interval I, there is not necessarily an interval J in I on which f is monotone." and this led me to the question "does there exist a continuous function $f:\mathbb{R} \rightarrow \mathbb{R}$ that has uncountably infinite turning points?" when I say turning point I'm talking about a point (x,f(x)) s.t there exists an open ball around that point where f(x) is either the highest or lowest value within that ball.

eg. $f(x)=sin(x)$ has countably infinite turning points as opposed to $f(x)=x^2$ which has one.

I cant think of a reason that convinces me that its impossible yet I can conceptualize a function that does this. Is it impossible? or does there exist such a function? I certainly get the impression this is impossible . . .

-

1
You need to be more specific. The (graph of the) real-valued function f(x,y) = x - x^2 has uncountably many points (x,y) with a partial derivative of 0 and second partial negative. It is likely there are 2-D versions of Brownian motion which might come closer to what you actually intend to visualize. Gerhard "Ask Me About System Design" Paseman, 2011.03.29 – Gerhard Paseman Mar 30 2011 at 5:55
Please use the "edit" link below the question, and describe the definition of "turning point" that you are using. – S. Carnahan♦ Mar 30 2011 at 11:11
Sorry for being so late to edit and for being vague, I think the definition of turning point I use above makes it impossible. – Kate Mar 30 2011 at 12:20
Still confusing. You ask about functions on ${\bf R}^2$ but your examples are of functions on $\bf R$ - only the graph is in ${\bf R}^2$. So what do you mean? – Gerry Myerson Mar 30 2011 at 12:24
Ah - you answered my question while I was typing it in. Thanks. – Gerry Myerson Mar 30 2011 at 12:25
show 2 more comments

2 Answers

Of course you want to rule out the constant function, so you probably mean that there is a unique highest and lowest point in the neighborhood. Assuming this, with your new definition of turning point, you can choose your neighborhoods to be intervals with rational endpoints. This will force the number of turning points to be countable.

-
Thanks, I will check that out. I realized this when I defined turning points more precisely. Thanks for helping despite the problem not being quite up to scratch! – Kate Mar 30 2011 at 12:43
I do not follow this argument. You can choose the neighborhoods to be rational intervals, but how do you know that such a neighborhood contains only one turning point? – Michael Renardy Mar 30 2011 at 13:13

1
@Michael: You don't know that such a neighborhood N contains only one turning point, but you do know that at most one point attains the maximum of f in N and at most one attains the minimum of f in N. Any other turning points, even if they're in N, will have had other neighborhoods N' assigned to them --- neighborhoods in which they achieve the maximum or minimum value of f. – Andreas Blass Mar 30 2011 at 13:48

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

It seems to me that two dimensional Brownian motion is the example you are looking for. Can you please be more precise about what do you mean by turning point?

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 7, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": false, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9469673037528992, "perplexity_flag": "head"}