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



数学中为什么要定义各种空间? 第1页

  

user avatar   huo-po-de-miao-ge 网友的相关建议: 
      

给紧支集的光滑函数组成的集合不同的度量,紧化之后得到的空间完全不一样,这就是为什么泛函分析中会有各种各样的空间。比如我们考虑平方积分再开方所定义的度量

紧化之后就成了 空间,这是一个Hilbert空间,里面有一个自然的内积

而如果我们考虑 度量

其中 ,那么紧化之后就得到了 空间,它就不是Hilbert空间,只是一个Banach空间。

当然最有用的还是加入了导数积分的度量,我们叫它Sobolev度量:

它兼顾了函数本身的大小和它的导数的大小。用这个度量紧化之后得到的空间就是Sobolev空间。对于Sobolev空间,我们就有各种Sobolev嵌入定理说明空间中的函数实际是有很好的光滑性的。

当然我们还可以把函数看成是函数空间上的线性泛函,这样可以定义函数空间的线性泛函上的弱星拓扑。

为什么要考虑这些度量紧化后的空间呢?这是因为我们在做分析,或解微分方程的时候,常常需要取极限,而第一,光滑函数取极限之后不一定是光滑函数;第二,在不同度量下取极限得到的极限会完全不一样。

比如人们在解偏微分方程的时候,常常要在更宽松的条件下求出一个解,这个解称为弱解。它可能只在分布意义下存在(也就是等式左右两边都看成线性泛函的时候是相等的)。然后再用各种估计证明出这个解实际是在某个Sobolev空间中,最后再用Sobolev嵌入定理证明这个弱解实际上就是真实意义上的解。




  

相关话题

  路径积分、重整化在数学上目前并没有严格的定义,为什么在物理学中却相当有效? 
  有没有这样的函数,其一阶导等于1,二阶导等于2,三阶导等于3,n阶导等于n,n一直趋于无穷大? 
  你最喜欢的公式/定理是? 
  站在一个无穷大的围棋/五子棋盘上的任意格点上,能够看到的格点都放上黑棋,黑棋占格点比例多少? 
  割圆术就算割了∞次,它和真实面积也相差很小一部分,怎么就说它就可以等于真实面积? 
  有理数旁边是无理数还是有理数,无理数旁边是有理数还是无理数? 
  除和除以到底为什么不一样? 
  不等式e^x>1+x x≠0怎么证明? 
  直角三角形内知道两个锐角的角平分线长度,怎么求斜边? 
  如何证明 a_n=(1+1/2²)(1+1/3²)…(1+1/n²) 收敛? 

前一个讨论
如何看待电子科技大学校长李言荣出任四川大学校长?
下一个讨论
读材料专业的你,后来怎么样了?





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