# Thread:

1. ## If f is holder continuous with a > 1, then f is constant?

Hello

I'm trying to prove that if f satisfies the holder condition, i.e.
there exists a constan K such that for all x,y in R : |f(x) - f(y)| <= K(|x - y|^a)
and a > 1
then f is a constant function.

I assume that the right direction is proving that the derivative of f is constantly zero, but I don't see why f has to be differentiable in the first place...and even assuming that f is differentiable I don't see why the derivative must be zero..

2. Let $x_0\in\mathbb R$. We have $\left|\frac{f(x)-f(x_0)}{x-x_0}\right|\leq K|x-x_0|$ if $x\neq x_0$. Now you can see what the derivative in $x_0$ is and conclude.

3. So would it be correct to take the limit of both sides of the inequality as X goes to Xo, and then we get that the absolute value of the derivative at Xo is smaller or equal to zero?

4. Yes, it's correct.

#### Search Tags

View Tag Cloud

Copyright © 2005-2013 Math Help Forum. All rights reserved.
{"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": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 4, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": false}, "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.9578112959861755, "perplexity_flag": "head"}