应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜    

Znn3bq.jpeg
小木虫论坛-学术科研互动平台 » 专业学科区 » 数学 » 基础数学 » 求助实变函数一道
41/1返回列表
查看: 754  |  回复: 3
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看

谁负韶华

新虫 (小有名气)

[求助] 求助实变函数一道

设{r_n}是（0，1）中的有理数全体，定义f(x)=∑2^-n（r_n小于x）,x∈(0,1],f(0)=0,证明f导数几乎处处存在且为0。

[ 发自手机版 http://muchong.com/3g ]
回复此楼

» 猜你喜欢

» 本主题相关价值贴推荐，对您同样有帮助:
1楼 2014-05-16 20:38:44
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)
由于f是递增的(non-decreasing)的, 所以导数a.e.存在 (Lebesgue 1910)

定义函数 g_n(x)= 2^{-n} Chi(x>r_n) (示性函数), 那么 f(x)=Sum_n g_n(x)
并且 g_n'(x)=0 a.e. (阶跃函数). 因此 f'(x)=0 a.e.  不过你要证明求导与求和可以交换次序.
赞一下(1人) 回复此楼

» 本帖已获得的红花（最新10朵）

谁负韶华
We_must_know. We_will_know.
2楼2014-05-17 07:03:06
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

谁负韶华

新虫 (小有名气)
送红花一朵
引用回帖:
2楼: Originally posted by hank612 at 2014-05-17 07:03:06
由于f是递增的(non-decreasing)的, 所以导数a.e.存在 (Lebesgue 1910)

定义函数 g_n(x)= 2^{-n} Chi(x>r_n) (示性函数), 那么 f(x)=Sum_n g_n(x)
并且 g_n'(x)=0 a.e. (阶跃函数). 因此 f'(x)=0 a.e.  不过你 ...

多谢！豁然开朗！

[ 发自小木虫客户端 ]
回复此楼
3楼2014-05-17 16:54:46
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)
引用回帖:
2楼: Originally posted by hank612 at 2014-05-17 07:03:06
由于f是递增的(non-decreasing)的, 所以导数a.e.存在 (Lebesgue 1910)

定义函数 g_n(x)= 2^{-n} Chi(x>r_n) (示性函数), 那么 f(x)=Sum_n g_n(x)
并且 g_n'(x)=0 a.e. (阶跃函数). 因此 f'(x)=0 a.e.  不过你 ...

我的证法也许会有问题，看网络上现成的答案吧
http://math.stackexchange.com/qu ... ction-is-equal-to-0

http://mathoverflow.net/question ... n-is-equal-to-0-a-e

有点高手如云，举重若轻的感觉，羡慕嫉妒恨。。。
赞一下 回复此楼
We_must_know. We_will_know.
4楼2014-05-19 05:31:36
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 谁负韶华 的主题更新
41/1返回列表
普通表情 龙 兔 虎 猫
信息提示
关闭
请填处理意见
关闭