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



广义反函数的定义及该定义的相关说明(问题描述)? 第1页

  

user avatar   liu-yang-zhou-23 网友的相关建议: 
      

谢邀。


一说起反函数,我们最先要问的问题,也是最核心的问题:它真的存在吗?

反函数存在条件是苛刻的,要求原来的函数必须是单射才可以,也就是说,

对于象集 Y 当中的每个元素 y,原象集 F⁻¹(y) 都是单点集。


对于一般函数来说,F⁻¹(y)通常不是单点集(甚至是可列集),但是(不妨骚操作一下)如果我们将F⁻¹(y)中的元素“捏”成一个点(商拓扑),它就成单点集了,于是就符合反函数存在的条件了。怎么捏呢?嗯,取下确界吧,任一个原象集 F⁻¹(y) 肯定都存在下确界。


y = sin x 在 [ 0, π ] ,很显然不存在通常意义下的反函数。因为

∀y∈(0,1), F⁻¹(y) 是两点集{x₁,x₂},如下图

那我们只要较小的 x₁ 就可以了。

最后,我们不妨把条件放得更宽一些:

F⁻¹(y)=F⁻¹(y=f(x)) —>F⁻¹( y<F(x) ) ,借用上例,我们会发现x₁= inf { x : y<F(x) }

如果F是可测函数,那后者就是可测集,更方便论证了。


现在再看下式,相信就很清楚了。

F*(y) = inf { x : y<F(x) }




  

相关话题

  减一个负数,为什么是加这个数的相反数呢? 
  我们数学老师发现了一个数学公式,帮忙验证一下看对不对,有哪些验证思路? 
  为什么IMO的国家队成员很少有女生? 
  如何评价四川大学数学学院付昌建老师? 
  俄罗斯“物理数学中学”的教学模式是什么样的? 
  如何证明Metropolis Hastings algorithms)能够达到马尔科夫稳态? 
  皮尔逊系数为什么要中心化?中心化之后有什么好处? 
  这个极限咋算? 
  如何证明R^2上的不可数集至少在一点附近局部不可数啊? 
  一个空间中勾股定理不存在,而变成了 c^4=a^4+b^4,甚至有更高的指数,那么这是一种什么空间? 

前一个讨论
在开区间上无界的连续函数一定不一致连续吗?
下一个讨论
数学中那些高明的变换技巧是否有规律可循?





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