- #1

- 1,030

- 4

- Thread starter Dragonfall
- Start date

- #1

- 1,030

- 4

- #2

- 2,063

- 2

Sure there is.

- #3

- 1,030

- 4

Can you give an example?

- #4

- 370

- 0

Well....the irrationals aren't countable...

- #5

matt grime

Science Advisor

Homework Helper

- 9,395

- 3

1) continuous

2) non-constant

3) 0 on [0,1]

- #6

- 53

- 0

He said that f is nowhere constant.

- #7

- 1,030

- 4

Yes, I did say f is **nowhere constant**. If f=0 on the subset of irrationals of some interval, then continuity implies that f=0 on that interval.

Intuitively, what I want is a everywhere continuous nowhere differentiable function that is "straight" enough so that a horizontal line intersects the values uncountably many times. I don't think such a function exists, but I can't prove it either way.

The "continuous but nowhere differentiable" requirement might not be necessary, or even relevant, but it's a good place to start looking.

Intuitively, what I want is a everywhere continuous nowhere differentiable function that is "straight" enough so that a horizontal line intersects the values uncountably many times. I don't think such a function exists, but I can't prove it either way.

The "continuous but nowhere differentiable" requirement might not be necessary, or even relevant, but it's a good place to start looking.

Last edited:

- #8

- 367

- 1

- #9

- 370

- 0

Whoops. Missed the continuity assumption.

- #10

- 10

- 0

Can you please "formally" define your function? "if we infinitely repeat..." is not a formal term and I am not sure the ultimate function remains a continuous one.

- #11

- 367

- 1

"if we infinitely repeat..." simply refers to the limit function of the sequence of functions I described.

Define

[tex]

f_1[a,b](x) = \left\{

\begin{array}{cc}

0 & x \in \left[a,\frac{2a+b}{3}\right]\cup\left[\frac{a+2b}{3},b\right]\\

x-\frac{2a+b}{3} & x \in \left[\frac{2a+b}{3},\frac{a+b}{2}\right]\\

\frac{a+2b}{3}-x & x \in \left[\frac{a+b}{2},\frac{a+2b}{3}\right]

\end{array}

[/tex]

and

[tex]

f_{n+1}[a,b](x) = \left\{

\begin{array}{cc}

f_n\left[a,\frac{2a+b}{3}\right](x) & x \in \left[a,\frac{2a+b}{3}\right]\\

x-\frac{2a+b}{3} & x \in \left[\frac{2a+b}{3},\frac{a+b}{2}\right]\\

\frac{a+2b}{3}-x & x \in \left[\frac{a+b}{2},\frac{a+2b}{3}\right]\\

f_n\left[\frac{a+2b}{3},b\right](x) & x \in \left[\frac{a+2b}{3},b\right]

\end{array}

[/tex]

Then [tex]f(x) = \lim_{n\to\infty}f_n[0,1](x)[/tex] is the function I just described.

Define

[tex]

f_1[a,b](x) = \left\{

\begin{array}{cc}

0 & x \in \left[a,\frac{2a+b}{3}\right]\cup\left[\frac{a+2b}{3},b\right]\\

x-\frac{2a+b}{3} & x \in \left[\frac{2a+b}{3},\frac{a+b}{2}\right]\\

\frac{a+2b}{3}-x & x \in \left[\frac{a+b}{2},\frac{a+2b}{3}\right]

\end{array}

[/tex]

and

[tex]

f_{n+1}[a,b](x) = \left\{

\begin{array}{cc}

f_n\left[a,\frac{2a+b}{3}\right](x) & x \in \left[a,\frac{2a+b}{3}\right]\\

x-\frac{2a+b}{3} & x \in \left[\frac{2a+b}{3},\frac{a+b}{2}\right]\\

\frac{a+2b}{3}-x & x \in \left[\frac{a+b}{2},\frac{a+2b}{3}\right]\\

f_n\left[\frac{a+2b}{3},b\right](x) & x \in \left[\frac{a+2b}{3},b\right]

\end{array}

[/tex]

Then [tex]f(x) = \lim_{n\to\infty}f_n[0,1](x)[/tex] is the function I just described.

Last edited:

- #12

Hurkyl

Staff Emeritus

Science Advisor

Gold Member

- 14,916

- 19

There's a simpler description of (something like) Moo's function:

f(x) = [distance from x to the Cantor set]

Incidentally, I don't think I've heard "nowhere constant" before -- I would have used the phrase "locally nonconstant".

f(x) = [distance from x to the Cantor set]

Incidentally, I don't think I've heard "nowhere constant" before -- I would have used the phrase "locally nonconstant".

Last edited:

- #13

- 10

- 0

Hmm.. each f_n is uniformly continuous, then if the seq {f_n} converges uniformly, the trick is done."if we infinitely repeat..." simply refers to the limit function of the sequence of functions I described.

Define

[tex]

f_1[a,b](x) = \left\{

\begin{array}{cc}

0 & x \in \left[a,\frac{2a+b}{3}\right]\cup\left[\frac{a+2b}{3},b\right]\\

x-\frac{2a+b}{3} & x \in \left[\frac{2a+b}{3},\frac{a+b}{2}\right]\\

\frac{a+2b}{3}-x & x \in \left[\frac{a+b}{2},\frac{a+2b}{3}\right]

\end{array}

[/tex]

and

[tex]

f_{n+1}[a,b](x) = \left\{

\begin{array}{cc}

f_n\left[a,\frac{2a+b}{3}\right](x) & x \in \left[a,\frac{2a+b}{3}\right]\\

x-\frac{2a+b}{3} & x \in \left[\frac{2a+b}{3},\frac{a+b}{2}\right]\\

\frac{a+2b}{3}-x & x \in \left[\frac{a+b}{2},\frac{a+2b}{3}\right]\\

f_n\left[\frac{a+2b}{3},b\right](x) & x \in \left[\frac{a+2b}{3},b\right]

\end{array}

[/tex]

Then [tex]f(x) = \lim_{n\to\infty}f_n[0,1](x)[/tex] is the function I just described.

For the triangular waves become more little as n surges up, I think the convergence is uniform. But, can you dfevise a formal, maybe inductive, proof?

- #14

AKG

Science Advisor

Homework Helper

- 2,565

- 4

If C is a closed uncountable set in **R** containing no intervals (like the Cantor set), then it's complement is a countable union of disjoint open intervals. Define f to be 0 on C, and f is a triangle of slope with absolute value 1 on each open interval. So let C be the Cantor set. [itex]\mathbb{R} = (-\infty ,0) \sqcup \bigsqcup (a_n,b_n) \sqcup C \sqcup (1,\infty )[/itex]. Define [itex]f : \mathbb{R} \to \mathbb{R}[/itex] by:

[tex]f(x)=\left\{\begin{array}{cc}x,&\mbox{ if }

x < 0\\ \frac{b_n-a_n}{2} - |x - \frac{b_n+a_n}{2}|, & \mbox{ if } a_n < x < b_n\\ 0, & \mbox{ if } x \in C\\ 1-x, & \mbox{ if } x > 1\right.[/tex]

[tex]f(x)=\left\{\begin{array}{cc}x,&\mbox{ if }

x < 0\\ \frac{b_n-a_n}{2} - |x - \frac{b_n+a_n}{2}|, & \mbox{ if } a_n < x < b_n\\ 0, & \mbox{ if } x \in C\\ 1-x, & \mbox{ if } x > 1\right.[/tex]

Last edited:

- Last Post

- Replies
- 3

- Views
- 2K

- Last Post

- Replies
- 4

- Views
- 1K

- Last Post

- Replies
- 4

- Views
- 748

- Last Post

- Replies
- 1

- Views
- 4K

- Last Post

- Replies
- 1

- Views
- 1K

- Replies
- 2

- Views
- 2K

- Last Post

- Replies
- 1

- Views
- 2K

- Last Post

- Replies
- 5

- Views
- 2K

- Replies
- 3

- Views
- 5K

- Replies
- 7

- Views
- 7K