搜索
度量空间中的“稠密”定义:
思考题:
这个集合在实数集中稠密吗?
以上图片来自https://brilliant.org
喜马拉雅FM:https://www.ximalaya.com/keji/6310606/ (欢迎加入Ximi团)
微信关注:dalaoli_shuxue
B站: https://space.bilibili.com/423722633
知乎:https://zhuanlan.zhihu.com/dalaoli-shuxue/
377.70万5.70万
S4E37: 理解数学语言,使用数学语言,欣赏数学语言
S4E36: 人类解决了黑白棋——棋类游戏复杂度漫谈
S4E35: 永不重复三次的图厄-莫尔斯序列
S4E34. 形形色色的素数:安全素数和索菲·热尔曼素数
S4E33. 数学悬案: abc猜想
S4E32. 欧拉的三十六军官问题
不行,还不如直接证明稠密
大老李聊数学(全集)
看大老李聊数学
大老李聊(中)小学数学
大老李聊数学(第二季)
大老李聊数学(第三季,已完结)
李毓佩数学故事集(全集)完
S是稠密的
大老李聊数学 回复 @亡牌口香糖: 专业的回答!
是稠密的,设s>0(<0类似,等于0显然)为实数。取m=n+λsqrt(n),有任意大的正整数n使m为正整数,λ为足够接近且大于2s的有理数,易求得sqrtm-sqrtn在n趋于∞时极限是λ/2,总有足够大的n使sqrtm-sqrtn大于s且与λ/2的差任意小,而总可取有理数λ与2s差任意小。以上说明可以使λ,n变化使sqrtm-sqrtn大于s且与s无穷接近,由此,sqrtm-sqrtn稠密
1599659jpul 回复 @1599659jpul: 极限处证明可有sqrt(n+λsqrtn)-sqrtn=(λsqrtn)/((sqrt(n+λsqrtn)+sqrtn))=λ/(sqrt(1+λsqrtn/n)+1)证明
是稠密的,因为s是整数和无理数,无理数在实数上是稠密的
豆角vip 回复 @豆角vip: 不行,还不如直接证明稠密
豆角vip 回复 @大老李聊数学: 是的。用定义推非常严谨。 题目的这个减法太巧妙了,s不包括所有无理数,但可以无限逼近任意的无理数。
大老李聊数学 回复 @豆角vip: 结论是对的,理由不太充分。你的理由的前提是全体无理数可以写成两个自然数平方根之差,但这显然是做不到的。确切的证明可以看另一位听众的评论。
这不是例子,但在代数几何里,代数簇(irreducible)上的zariski topology非常不一样。首先对于两个点,不存在两个互不相交的开集分别包含两个点。任何开集都是稠密的。在我们熟知的域里(C,R),这并不反直觉,因为zariski拓扑里的开集毕竟就是一组多项式的根的补集,像x^2+y^2=1的补集,感觉上当然是稠密的。但这也是个问题,取任何开集都是稠密的,那就没有“局部”这么一说了,太粗糙了,不能很好的区分“点”。这只是一些模糊的感觉,具体表现为在数学上一些空间的代数不变量对于我们在乎的不同代数簇,给不出有用的信息,算出来都是0。改进方案是有的,但对于没学过的人来说,太玄了
SmokeWeedEveryday 回复 @SmokeWeedEveryday: 哦,搞错了,播客里的稠密是对度量空间定义的。那我讲的例子通通换成R,C上的,zariski拓扑里的开集在度量意义下依旧是稠密的。(不算显然,但应该看起来是合理的)。所有开集都是稠密的这个事情有一些很酷的应用,比如Cayley-Hamilton定理的证明。
为什么逻辑严谨的数学允许“大小”这样的形容词?
S4E26. 无孔不入:数学中的“稠密”
度量空间中的“稠密”定义:
思考题:
这个集合在实数集中稠密吗?
以上图片来自https://brilliant.org
喜马拉雅FM:https://www.ximalaya.com/keji/6310606/ (欢迎加入Ximi团)
微信关注:dalaoli_shuxue
B站: https://space.bilibili.com/423722633
知乎:https://zhuanlan.zhihu.com/dalaoli-shuxue/
大老李聊数学(全集)
377.70万5.70万
S4E37: 理解数学语言,使用数学语言,欣赏数学语言
S4E36: 人类解决了黑白棋——棋类游戏复杂度漫谈
S4E35: 永不重复三次的图厄-莫尔斯序列
S4E34. 形形色色的素数:安全素数和索菲·热尔曼素数
S4E33. 数学悬案: abc猜想
S4E32. 欧拉的三十六军官问题
不行,还不如直接证明稠密
大老李聊数学(全集)
看大老李聊数学
大老李聊(中)小学数学
大老李聊数学(第二季)
大老李聊数学(第三季,已完结)
李毓佩数学故事集(全集)完
S是稠密的
大老李聊数学 回复 @亡牌口香糖: 专业的回答!
是稠密的,设s>0(<0类似,等于0显然)为实数。取m=n+λsqrt(n),有任意大的正整数n使m为正整数,λ为足够接近且大于2s的有理数,易求得sqrtm-sqrtn在n趋于∞时极限是λ/2,总有足够大的n使sqrtm-sqrtn大于s且与λ/2的差任意小,而总可取有理数λ与2s差任意小。以上说明可以使λ,n变化使sqrtm-sqrtn大于s且与s无穷接近,由此,sqrtm-sqrtn稠密
1599659jpul 回复 @1599659jpul: 极限处证明可有sqrt(n+λsqrtn)-sqrtn=(λsqrtn)/((sqrt(n+λsqrtn)+sqrtn))=λ/(sqrt(1+λsqrtn/n)+1)证明
是稠密的,因为s是整数和无理数,无理数在实数上是稠密的
豆角vip 回复 @豆角vip: 不行,还不如直接证明稠密
豆角vip 回复 @大老李聊数学: 是的。用定义推非常严谨。 题目的这个减法太巧妙了,s不包括所有无理数,但可以无限逼近任意的无理数。
大老李聊数学 回复 @豆角vip: 结论是对的,理由不太充分。你的理由的前提是全体无理数可以写成两个自然数平方根之差,但这显然是做不到的。确切的证明可以看另一位听众的评论。
查看全部3条回复这不是例子,但在代数几何里,代数簇(irreducible)上的zariski topology非常不一样。首先对于两个点,不存在两个互不相交的开集分别包含两个点。任何开集都是稠密的。在我们熟知的域里(C,R),这并不反直觉,因为zariski拓扑里的开集毕竟就是一组多项式的根的补集,像x^2+y^2=1的补集,感觉上当然是稠密的。但这也是个问题,取任何开集都是稠密的,那就没有“局部”这么一说了,太粗糙了,不能很好的区分“点”。这只是一些模糊的感觉,具体表现为在数学上一些空间的代数不变量对于我们在乎的不同代数簇,给不出有用的信息,算出来都是0。改进方案是有的,但对于没学过的人来说,太玄了
SmokeWeedEveryday 回复 @SmokeWeedEveryday: 哦,搞错了,播客里的稠密是对度量空间定义的。那我讲的例子通通换成R,C上的,zariski拓扑里的开集在度量意义下依旧是稠密的。(不算显然,但应该看起来是合理的)。所有开集都是稠密的这个事情有一些很酷的应用,比如Cayley-Hamilton定理的证明。
为什么逻辑严谨的数学允许“大小”这样的形容词?
番外篇:大老李小时候看的数学科普书
番外篇:大老李出书啦 -《老师没教的数学》已上市
三个大老李
【全集】第125集 找规律数学题,数学试卷考语文声调
【全集】第50集 有趣的数学成语课
【全集】第576集 臭蛋数学考20分,被爸爸狂追