有没有处处不可导的凸函数？ 第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
相关话题
为什么微积分那么难学？数学系学数学的男生最后都是如何找到女朋友的？
实变、泛函、抽代、拓扑，哪几门对于非纯数专业更加有用？
请问应如何证明？
熵权TOPSIS法和投影寻踪法解决数学建模评价类问题各有什么特点？
含有√ax+b的积分，除了将∨ax+b直接替换成t还有其他的做法吗？
石头剪刀布，已知对手只会出剪刀和布，三连平算我输，请问我的胜率有多少？
能分享一道如果“注意不到”就出不来的数学题吗？
如何证明环面T2不能嵌入到球面S2中?
经济学是否适合文科生？
下一个讨论
什么样的讲话算「有水平」？
相关的话题
数学分析怎么学习？数学系的学渣该怎么找到工作？
如何通俗地讲解「仿射变换」这个概念？
数学中有哪些让你感到赏心悦目或是震惊的构造手法？
数学中，存在性命题的证明有哪些重要意义？
0.23571113•••（小数点后面由全体素数组成）是有理数还是无理数 怎么证明？
为什么由连续整数的行列式（三阶及以上）数值为0？
请问泰勒公式的几何意义是什么？
A是不可列集合，B是将A分割成两个不可列集合的实数的集合，证明B非空且为开集？
怎么比较 33 的 11 次方与 17 的 14 次方的大小关系？
连续的周期函数都有最小正周期吗？
这个对数积分该如何计算？
如何计算极限 lim(n→∞) [∫[0, n] (x^n)·e^(-x) dx]/(n!)？
如何求和这个级数?
请问以下两个概率问题的答案是否一样？
为什么left adjoint的存在性和comma category有关？
「我对女生的兴趣，还没有我对数学的兴趣高。」这样的男生是怎样的性格？
有没有这样的函数，其一阶导等于1，二阶导等于2，三阶导等于3，n阶导等于n，n一直趋于无穷大？
麻将中手牌 13 张都是索子，最多再摸进几张才能和牌？
请问二重积分的换元法中，雅克比矩阵是怎么转化成雅克比行列式的？
怎么反驳：10元=100毛=10毛X10毛=1元X1元=1元？
有什么途径可以补齐自己数学知识的短板?
在集合的势的意义下，是否存在比实数集更大的全序集？
在有界闭区域上连续的多元函数一定有最大值和最小值是否正确？
整体大于部分不对吗？比如自然数与偶数？
单调的环境下永生能让人变成傻子吗？
一个会读心术和一个能预知未来的人下棋，谁能赢？
如何评价 2021 阿里巴巴数学竞赛决赛试题？
各位学霸，为什么这个直接就等于e的a次方了？
如何理解华为任正非在《面对面》中提到的「能坐基础理论的冷板凳」？我们究竟应该如何发展基础研究？