数学中国

用户名  找回密码
 注册
帖子
热搜: 活动 交友 discuz
楼主: elim

无尽小数的等价定义.

[复制链接]
发表于 2019-6-16 08:13 | 显示全部楼层
elim 发表于 2019-6-15 14:16
主贴的模,环,域都是数系,它们的定义在任何一本近世代数或者入门的初等代数都有.jzkyllcjl 读不懂书便 ...

要你定义数,你就不能用含数的名词去定义数。所以,不能用“数系”去定义“数”。因为你“数系”中的数你还没定义出来。用数系去定义数,就是用未知 去定义未知。

你的数都没定义出,你的数系就不存在。
先有数的概念,用数的概念才有数系。

每个概念必须定义,每个定义必须证明其正确性。

你用  模,环,域 去定义数,可以!
你可以 先定义: 模,环,域。
且不准用 数这个概去定义  模,环,域。
你还得证明你对  模,环,域定义 的正确性。

你的  模,环,域 中的单个元素(既集合 中的每个元素)是有限性?还是无限性?
如你的某个模中的元素:0.999...
它是有穷元素?还是无穷元素?
你就得分别对 有穷元素、无穷元素 定义。

显然  有穷元素、无穷元素 是不相等的。
因为:
有穷元素定义为“有最后一个元素,符号:a....p
无穷元素定义为“没有最后一个元素,符号:a....
有了定义,就证得:有穷元素≠无穷元素
也就证明了:0.999...≠1
回复 支持 反对

使用道具 举报

 楼主| 发表于 2019-6-16 11:47 | 显示全部楼层
我只要定义数系时不用到数就可以了.你是说你爸定义了你这个人,他就不能是人了?
回复 支持 反对

使用道具 举报

 楼主| 发表于 2019-6-16 13:16 | 显示全部楼层
这个主题,到目前为止真正的干货不过就在一楼, 三楼和十楼.其他楼,特别是江郎才尽的谢芝灵的搞怪,没有任何可取之处.
定义数的事情专业地叫作构造某种数系,certain algebra systems,数系的元素叫作数numbers. 谢芝灵对此耿耿于怀,挺逗的.呵呵

回到主题. 这个贴子的真正目的在于给出十进制无尽小数的若干等价定义,顺便纠正一些有关无穷,极限,级数和微积分的误读和谬见.

假定读者了解或者接受现行数学的实数系构造.那么就知道集合{0.a(1),0.a(1)a(2),0.a(1)a(2)a(3),...}是一个非空上有界的实数集合.由实数系的最小上界性,这个集合有唯一的上确界a (一实数不小于所论集合的任何元,且比a小的数必小于集合中某个元素).这个数就用0.a(1)a(2)a(3)... 表示.换句话说,无尽小数是某实数的十进制表示,是实数的十进制值,是实数的十进制坐标.

给定一个正实数a, 不难正明存在唯一的自然数列{a(n)}使得其各项皆小于10,有非限项大于0, 并且0.a(1)a(2)a(3)...表示a.

不难证明无尽小数的这个定义与3楼的定义等价.

待续
回复 支持 反对

使用道具 举报

发表于 2019-6-19 09:31 | 显示全部楼层
自然数系的构造依赖自然数十进记数法则,对它有皮阿诺的初始自然数公理、继数公理、 可以推出它是加法、乘法运算的封闭系统。但它具有 永远写不到底的性质。实无穷观点的实质是否认这个性质,事实上数学百科全书第一卷27页,在“实无穷抽象”词条中讲到:“(例如从零开始逐步产生正整数的过程)、实无穷抽象在于不管这个过程在原则上并不终结这个事实而在假定它们已经终结的情况下考虑这个过程的结果,即假定其客观集合已经生成”[6],这说明:把自然数无穷集合看作完成了的实无穷集合的数学理论是违背事实的。自然数系是一个元素个数为非正常实数+∞的数系,不能像康托尔 与鲁宾逊 那样把它看作完成了数系后,提出无穷基数、无穷大自然数。
回复 支持 反对

使用道具 举报

 楼主| 发表于 2019-6-19 11:57 | 显示全部楼层
实无穷与“写不到底”没有冲突.但对吃狗屎的jzkyllcjl 来说,矛盾就来了.他认为写数就是造数.吃狗屎就是坚持真理.
回复 支持 反对

使用道具 举报

发表于 2019-6-19 16:44 | 显示全部楼层
elim 发表于 2019-6-19 03:57
实无穷与“写不到底”没有冲突.但对吃狗屎的jzkyllcjl 来说,矛盾就来了.他认为写数就是造数.吃狗屎就是 ...

完成了的实无穷观点与“无穷多元素永远写不到底 不能相容。
回复 支持 反对

使用道具 举报

 楼主| 发表于 2019-6-19 22:43 | 显示全部楼层
jzkyllcjl 发表于 2019-6-19 01:44
完成了的实无穷观点与“无穷多元素永远写不到底 不能相容。

首先,“完成了的实无穷”是一个非数学的“说法”。不是一个值得数学探讨的陈述。因为“完成”涉及到完成的主体,谁在完成,数是什么材料做成的,如何检验完成与否等等问题。而jzkyllcjl 根本说不清这些。他目前的捏造统统没有事实根据。

我一再指出,书写数不是造数,只是给出数的表达。这跟画饼不是做饼道理一样。你画不出饼跟饼的既存性没有矛盾。再说了,你可能根本就画得不对。
回复 支持 反对

使用道具 举报

 楼主| 发表于 2019-6-23 13:06 | 显示全部楼层
jzkyllcjl 谢芝灵之流不识数. 所以说在根子上出了差错, 不可救药.
回复 支持 反对

使用道具 举报

发表于 2019-6-23 14:57 | 显示全部楼层
康托尔基本数列0.3,0.33,333,…… 不是定数,它的极限 才是定数1/3. 两者不能混淆。
回复 支持 反对

使用道具 举报

 楼主| 发表于 2019-6-24 02:21 | 显示全部楼层
jzkyllcjl 发表于 2019-6-22 23:57
康托尔基本数列0.3,0.33,333,…… 不是定数,它的极限 才是定数1/3. 两者不能混淆。

没有人混淆这个序列与 1/3,只有吃狗屎的 jzkyllcjl 混淆了这东西及 0.333...
回复 支持 反对

使用道具 举报

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

本版积分规则

LaTEX预览输入 教程 符号库 加行内标签 加行间标签 
对应的 LaTEX 效果:

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

GMT+8, 2025-7-15 16:09 , Processed in 0.085138 second(s), 13 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表
\frac{\square}{\square}\sqrt{\square}\square_{\baguet}^{\baguet}\overarc{\square}\ \dot{\baguet}\left(\square\right)\binom{\square}{\square}\begin{cases}\square\\\square\end{cases}\ \begin{bmatrix}\square&\square\\\square&\square\end{bmatrix}\to\Rightarrow\mapsto\alpha\ \theta\ \pi\times\div\pm\because\angle\ \infty
\frac{\square}{\square}\sqrt{\square}\sqrt[\baguet]{\square}\square_{\baguet}\square^{\baguet}\square_{\baguet}^{\baguet}\sum_{\baguet}^{\baguet}\prod_{\baguet}^{\baguet}\coprod_{\baguet}^{\baguet}\int_{\baguet}^{\baguet}\lim_{\baguet}\lim_{\baguet}^{\baguet}\bigcup_{\baguet}^{\baguet}\bigcap_{\baguet}^{\baguet}\bigwedge_{\baguet}^{\baguet}\bigvee_{\baguet}^{\baguet}
\underline{\square}\overline{\square}\overrightarrow{\square}\overleftarrow{\square}\overleftrightarrow{\square}\underrightarrow{\square}\underleftarrow{\square}\underleftrightarrow{\square}\dot{\baguet}\hat{\baguet}\vec{\baguet}\tilde{\baguet}
\left(\square\right)\left[\square\right]\left\{\square\right\}\left|\square\right|\left\langle\square\right\rangle\left\lVert\square\right\rVert\left\lfloor\square\right\rfloor\left\lceil\square\right\rceil\binom{\square}{\square}\boxed{\square}
\begin{cases}\square\\\square\end{cases}\begin{matrix}\square&\square\\\square&\square\end{matrix}\begin{pmatrix}\square&\square\\\square&\square\end{pmatrix}\begin{bmatrix}\square&\square\\\square&\square\end{bmatrix}\begin{Bmatrix}\square&\square\\\square&\square\end{Bmatrix}\begin{vmatrix}\square&\square\\\square&\square\end{vmatrix}\begin{Vmatrix}\square&\square\\\square&\square\end{Vmatrix}\begin{array}{l|l}\square&\square\\\hline\square&\square\end{array}
\to\gets\leftrightarrow\nearrow\searrow\downarrow\uparrow\updownarrow\swarrow\nwarrow\Leftarrow\Rightarrow\Leftrightarrow\rightharpoonup\rightharpoondown\impliedby\implies\Longleftrightarrow\leftharpoonup\leftharpoondown\longleftarrow\longrightarrow\longleftrightarrow\Uparrow\Downarrow\Updownarrow\hookleftarrow\hookrightarrow\mapsto
\alpha\beta\gamma\Gamma\delta\Delta\epsilon\varepsilon\zeta\eta\theta\Theta\iota\kappa\varkappa\lambda\Lambda\mu\nu\xi\Xi\pi\Pi\varpi\rho\varrho\sigma\Sigma\tau\upsilon\Upsilon\phi\Phi\varphi\chi\psi\Psi\omega\Omega\digamma\vartheta\varsigma\mathbb{C}\mathbb{H}\mathbb{N}\mathbb{P}\mathbb{Q}\mathbb{R}\mathbb{Z}\Re\Im\aleph\partial\nabla
\times\cdot\ast\div\pm\mp\circ\backslash\oplus\ominus\otimes\odot\bullet\varnothing\neq\equiv\not\equiv\sim\approx\simeq\cong\geq\leq\ll\gg\succ\prec\in\ni\cup\cap\subset\supset\not\subset\not\supset\notin\not\ni\subseteq\supseteq\nsubseteq\nsupseteq\sqsubset\sqsupset\sqsubseteq\sqsupseteq\sqcap\sqcup\wedge\vee\neg\forall\exists\nexists\uplus\bigsqcup\bigodot\bigotimes\bigoplus\biguplus\bigcap\bigcup\bigvee\bigwedge
\because\therefore\angle\parallel\perp\top\nparallel\measuredangle\sphericalangle\diamond\diamondsuit\doteq\propto\infty\bowtie\square\smile\frown\bigtriangledown\triangle\triangleleft\triangleright\bigcirc \wr\amalg\models\preceq\mid\nmid\vdash\dashv\nless\ngtr\ldots\cdots\vdots\ddots\surd\ell\flat\sharp\natural\wp\clubsuit\heartsuit\spadesuit\oint\lfloor\rfloor\lceil\rceil\lbrace\rbrace\lbrack\rbrack\vert\hbar\aleph\dagger\ddagger

MathQuill输入:

Latex代码输入: