|
[讨论]也谈“无尽小数0.33……在生产实践中怎么用?它能不能等于1/3?”
下面引用由zhaolu48在 2009/11/27 09:46am 发表的内容:
我说0.333…∈{0.3,0.33,0.333,…}
理由是,因为{0.3,0.33,0.333,…}是无限集,因此就应该有小数点后有无限个3的
无限小数这样的元素,我认为我的理由很充分。 你认为充分是你的事情。但不是数学的证明。集合论是怎么确定一个集合的?是按你的认为?
一般说来 { 0.3, 0.33, 0.333,...} 被认为是各小数位皆为3的有限小数全体。用集合的概括原则,它可以精确地表示为 { (1-10^(-n))/3 | 0 < n ∈N }
如果zhaolu48 还学过一点集合论, 就应该知道这个集会不含无限小数 0.33333...
正像口语的通俗也会引起异议,{ 0.3, 0.33, 0.333,...} 这种表达多少依赖于一点约定俗成,碰到没有较多集合方面操练的人,你也无法硬说这个表示法就不可以表示含无限小数0.33333....的集合。
上面用概括原则界定集合就不会有任何异议,表达了我对{ 0.3, 0.33, 0.333,...}了解。
如果zhaolu48 坚持他的{ 0.3, 0.33, 0.333,...}是指各小数位皆为3的有限小数全体外加无限小数 0.33333..., 那么好,我就要说 这个集合也就含 1/3
所以 zhaolu48 的集合并不支持他的推论 0.33333... < 1/3, 下面引用由zhaolu48在 2009/11/27 09:46am 发表的内容:
“并不蕴含其拥有”,该如何理解?
“其拥有”之“其”显然是代指集合{0.3,0.33,0.333,…},
即{0.3,0.33,0.333,…}拥有0.333…;
“不蕴含其拥有”,就是{0.3,0.33,0.333,…}不蕴含其已经拥有的0.333…。
这样自相矛盾的语言还称为“不过要声明一下,我用的是现行数学的语言”,
有点滑稽。 这段文字很清楚地说明了zhaolu48 的逻辑缺乏训练。
我说 {0.3,0.33,0.333,…} 是无限集合不蕴含{0.3,0.33,0.333,…}拥有0.333…
当然就是说
命题A: “{0.3,0.33,0.333,…} 是无限集合”
推不出
命题B: “{0.3,0.33,0.333,…} 拥有0.333…”
这是一个非常浅显的论断,却让 zhaolu48 要费神理解最终还不得要领,竟然弄出“已经拥有的0.333…”之类的“解释”。zhaolu48 数学语文实在没法恭维啊。
0.33333...不在集合里,所以尽管{0.3,0.33,0.333,…} 是无穷集,也推不出它里面有无限小数。 这是我的论述,怎么到了zhaolu48 那里,就变成 - elimqiu认为0.333…不属于{0.3,0.33,0.333,…}, 理由是“这个集合有无穷多个元并不蕴含其拥有无限小数。”
复制代码 ???
zhaolu48,正整数集合 {1,2,3,...}是个无限集,所以它就含有无穷大正整数?
|
|