有没有处处不可导的凸函数？ 第1页
1
deng-dai-fei-xiang-63 网友的相关建议:
欧氏空间中的凸函数的定义如下：
定理1：如果函数是凸的，那么是局部Lipschitz的。【证明参见：Measure theory and fine properties of functions, L. C. Evans and R. F. Gariepy., 第236页定理1】
根据
Rademacher定理, Lipschitz函数几乎处处可导。（你可以理解为，函数在除了一些“小”集合以外的其它地方都可以求导。）所以不存在处处不可导的凸函数。
其实凸函数还有一个更加强性质：
定理2：（
Alexandrov theorem）如果函数是凸的，那么是几乎处处可求二次导函数的。【证明参见：Measure theory and fine properties of functions, L. C. Evans and R. F. Gariepy, 第242页定理1】
对于定理1在一维的情形，我给一个不严格几何直观：考虑，根据凸性（真的）不难验证点在连接直线的上方，并且在连接直线的下方。此时如果让趋近于，它只能在一个角型区域内（顶点为并且夹在两条直线中）。所以重复类似的方法（交换再次进行讨论），我们得到了局部Lipschitz连续性。
============2015年6月21日17:41:34===========
评论有人说看不懂，我就为最后一段配了一张图（其中橙色部分为可能的区域）：
1
相关话题
如何比较 √2与log3（5）的大小？怎样能将数学分析水平提高到挺高的水准呢？
这个极限怎么凑成积分?
如何证明不等式（来自小蓝本）?
中国真的在文化、数学上都曾经领先世界几百年吗？
这张图中能数出多少个三角形？
如何在大一开始就成为学霸？
高中数学有哪些经验公式（二级公式）？
第6题第(2)问怎么证明？
为什么自然数的和等于 -1/12？
下一个讨论
什么样的讲话算「有水平」？
相关的话题
怎样证明 0.999… = 1？如何判断一个方阵变换会导致源向量模长缩小？
学完泛函分析可以做哪些事情？
负数有没有阶乘，0 的阶乘为什么是 1？
数学中，类似 π、e 的独立的常数还有哪些？
数学系本科生如何学好实变函数与泛函分析？
xf(x)的无穷积分收敛怎么证明f(x)的无穷积分收敛呢？
100人坐飞机，第一个乘客在座位中随便选一个坐下，第100人正确坐到自己坐位的概率是？
中国在国际奥数比赛中，近些年几乎是压倒性的优势，可是为什么至今没有人获得菲尔兹奖？
手算卫星轨道有多复杂？
在正整数 n 充分大的时候，|sin(n)|＞1/n 是否成立？是否有证明或者反例？
如何看待美国学者称经济学用了错误版本的微积分？
既然两个分数理论上来说可以无限接近，那么为什么还会出现无理数？
数学为什么需要证明一些看起来非常直观、明显的东西（比如定理）？
如何用物理和数学名词写成诗？都有哪些作品？
如果高中生能证明哥德巴赫猜想，会被清华北大数学系保送吗？
10000⁴ 和 4¹⁰⁰⁰⁰，怎样比较大小？
请问是质数更多还是合数更多还是一样多？
为何从一元五次方程开始就没有由有限次加、减、乘、除、开方运算构成的求根公式了？
为什么不存在收敛速度最慢的级数？
为什么负负得正，正正不能得负？
欧拉公式在经济学中的运用到底是什么，学习两期模版的时候总能看见又欧拉公式可得？
能否推荐一些适合高中生学习微积分的书籍？
这样的极限应该怎么去求解？
为什么学了大学物理可以秒杀全部中学物理，但是数学不能?
如何既保证时间又保证质量地读一本数学书？
图论里的图用什么软件画比较好？
n! 和 n²，哪个更大呢？
集合论与微积分？
一元微分理论中，为什么 d(dy/dx)/dx=d^2y/(dx)^2 ？