f(x)=-x3 is decreasing on (-1,1) but f '(x)=-3x2 is zero at x=0 (it is impossible to find an x-value such that f '(x)>0) |
Awesome, you are reallly professional. Thank you very much. |
No. This can be proved via a "proof by contradiction" where the Finite-Covering Theorem is used. |
f(x)=x^3 if x>0 and f(x)=0 if x<=0 If it does not work, please let me know. I don't remember these stuff. |
The dense set in Constant's question should be understood as "the set is dense in the whole domain of this function". Otherwise, the question is trivial as shown in your example. |
not that simple, probably beyong calculus. I can construct a function that is continuous, non-constant, differentiable almost everywhere, and yet has 0 derivative on a dense set. |
In case you use "differentiable almost everywhere" to replace "differentiable everywhere", the question is trivial. For example, a function being zero except at the origin (x=0). |
You are right. The proof is "not simple" and "beyond calculus". The following are the steps (sorry for omitting the details) of the proof. (1) Assume that function f is not a constant. Then there are two points a and b such that a0. (2) Choose a dense set D at which f '=0. (3) For each point d in D, choose an open interval Id (may be very small) such that |[f(d)- f(x)]/( d-x)|< h/2(b-a) for any x in D. (4) The union of these open intervals covers the closed interval [a, b]. By the Open Covering Theorem, we can choose finitely many intervals from these open intervals such that their union still covers [a, b]. (5) Use (3) and (4) to show that |f(a)-f(b)|
|
Sorry. I thought that the continuity is also almost everywhere. |
Yes. You may use Cantor's set to form such an Example. |
Sorry. There is some problem in step 4. Let me consider it again. |
康大帝,你不知道答案还要来为难我呀,我脑筋已经生锈了不过对你构造的那个函数还是很有兴趣看的. 抱歉昨天没上网,刚看到。看来 yinyin 也是个数学高手啊! |
大致上是在[0,1]上作一个测度<1的集S,使得S与任何子区间的交有正测度。然后让f(x)在S上为0,其余为1。再作F(x)为 f 的积分。F是单调函数,因此几乎处处可微,并且导数与 f 几乎处处相等。 |
欢迎光临 珍珠湾ART (http://art.zhenzhubay.com/) | Powered by Discuz! X3 |