数学中国

 找回密码
 注册
搜索
热搜: 活动 交友 discuz
12
返回列表 发新帖
楼主: elim

证明或否证: 存在 [0,1] 上取值为无理数的严格增实函数

[复制链接]
 楼主| 发表于 2020-9-25 10:48 | 显示全部楼层
我猜王守恩老师还没有函数的概念. 所以看不懂主贴问题. 随便找一本理科数学分析教科书看看, 或者百度百科一下.
回复 支持 反对

使用道具 举报

 楼主| 发表于 2020-10-5 02:41 | 显示全部楼层
本帖最后由 elim 于 2021-1-8 08:43 编辑

解:证明或否证: 存在 [0,1] 上取值为无理数的严格增实函数
又解:定义\(\,D=\{m\in\mathbb{Z}:0\le m\le 9\},\)
\(\qquad\tau:\,[0,1]\to D^{\ \mathbb{N}^+}\;(x\mapsto\{x_n\},\;x=\sum x_n10^{-n},\;\underline{\lim}x_n< 9)\)
\(\qquad\)任取定\(\,\beta\in (0,1)\cap\mathbb{Q}^c,\;\;\beta=\sum\beta_n10^{-n}=0.\beta_1\beta_2\ldots\) 则
\(\qquad f_{\beta}:[0,1]\to(0,1)\quad(x\mapsto 0.x_1\beta_1x_2\beta_2\ldots,\;\tau(x)=\{x_n\})\)
\(\qquad\)严格增且\(\,f_{\beta}([0,1])\,\)不含有理数.\(\small\quad\square\)
回复 支持 反对

使用道具 举报

发表于 2020-10-5 06:45 | 显示全部楼层
楼上 elim 的证明思路很好!特别简单易懂。已收藏。
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

Archiver|手机版|小黑屋|数学中国 ( 京ICP备05040119号 )

GMT+8, 2024-3-29 16:54 , Processed in 0.068359 second(s), 14 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表