百科问答小站 logo
百科问答小站 font logo



曲率处处不为零的闭曲线只能是闭凸曲线吗? 第1页

  

user avatar   zhai-sen-8 网友的相关建议: 
      

这里声明:

如果光滑正则简单闭合曲线 的曲率处处不为0,那么 是凸集。(这可能就是题主所说的 是凸曲线的含义)

证明概述(可能不严格,请自行严格化):

  1. 将 参数化使得速率处处为1,由曲率 是 上的连续函数且恒大于0知道有正的下界,换言之切向量导数的模 有正的下界。
  2. 显见 沿法方向,即只有两种可能:要么指向曲线内侧要么指向外侧。但由于 连续,并且由1知 有正的下界,故只可能处处指向内侧或处处指向外侧。
  3. 考虑 上离原点最远的点 ,容易证明 是指向内侧的,所以由2知 处处指向内侧。
  4. 由3知 至少在局部看起来是凸的(意思是:对 中任何点 ,存在一个邻域 ,使得 是凸的)。为了证明这一点,只需考虑 在边界 上的每个点 都是局部凸的(为什么不用考虑内部?因为内部是开集,自然是局部凸的)。将 平移到原点并且作一个旋转使得 竖直向上,则变换后的 在原点附近是某一函数 的图像,并且 ,这意味着 在原点附近是凸函数,即原点附近 上方(等价地, 附近 内部)是凸集,这就表明 在 处是局部凸的。
  5. 查了MSE[1],闭集+连通+局部凸就可以推出凸(1928, Tietze & Nakamija),而前三条正是 所满足的。

参考

  1. ^ https://math.stackexchange.com/questions/145808/does-local-convexity-imply-global-convexity



  

相关话题

  我感觉陈维桓的微分几何书里面曲率的定义不太清楚,你们觉得呢,曲率的定义究竟应该是什么样? 
  有哪些不借助变换群的观点就很难解答的欧氏几何问题? 
  锐角三角形的内接三角形中垂足三角形周长最短,怎么证明? 
  如何证明环面T2不能嵌入到球面S2中? 
  为什么算数不等式叫算数不等式,几何不等式叫几何不等式? 
  构造微分流形这个概念的动机是什么? 
  构造微分流形这个概念的动机是什么? 
  为什么 sp³d 杂化形成的是键角不等的三角双锥? 
  设平面无限点集 S 满足任意两点的距离都是正整数,如何证明 S 中的点全共线? 
  轴对称图形只能看出来么,不能证明么? 

前一个讨论
正常运转的时钟存在某一时刻三个指针互成120°角吗?
下一个讨论
如何在已知欧拉函数值的情况下求满足该欧拉函数值全部正整数?





© 2025-06-26 - tinynew.org. All Rights Reserved.
© 2025-06-26 - tinynew.org. 保留所有权利