数学中国

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

孬种自然数lim

[复制链接]
发表于 2025-4-18 06:59 | 显示全部楼层

      elim先生,现行教科书中像\displaystyle\lim_{n \to \infty} X_n=a这样的表达式遍于全书,式中n\to\infty即是表达v=\displaystyle\lim_{n \to \infty} n之意。在康托尔有穷基数的无穷序列中v=\displaystyle\lim_{n \to \infty} n“既表示把一个个单位加上去的确切计数,又表示它们汇集成的整体”(参见康托尔著《超穷数理论基础》P42页),v=\displaystyle\lim_{n \to \infty} n=\infty,作为序数它是存在的。康托尔认为这个“\infty比分析学中的∞是更合适的无穷大”(参见康托尔《超穷数理论基础》P42页)。仅就v=\displaystyle\lim_{n \to \infty} n是否存在问题,我问过ChatGPT,它回答说“分析学中的lim与集合论中的lim有本质的不同”。事实上如果自然数集中没有无穷大自然数,自然数集也就不可能是无限集。虽然每个能被写出来、读出来的自然数都是有限数,也不能否定v=\displaystyle\lim_{n \to \infty} n的存在性(恩格斯悖论)。也就是说\mathbb{N}中作为序数v=\displaystyle\lim_{n \to \infty} n是客观存在的。否则单调集列极限集定义中的\displaystyle\bigcap_{n=1}^{\infty} A_n\displaystyle\bigcup_{n=1}^{\infty} A_n就没有实际操作意义。
       elim先生,虽然你自许精通数学、精通集合论,但你与创立集合论、提出超穷数理论,奠定近代数学基础的康尔相比,你还相差甚远。因此你还没有具备让我无条件信服你的资本。同时你的【无穷交就是一种骤变】在现行数学框架下也不成立。论坛中创新发明者颇多,有谁像你这样以威逼、辱骂的无耻行为强迫他人认同自己观点的呢?
       elim先生你为打压我而发明的“骤变”理论与现行数学并不兼容。你自欺尚可,欺人做孽!说到底你没有任何资格强迫我接受接受你的“臭便”理论。所以你还是消停点好些!
回复 支持 反对

使用道具 举报

 楼主| 发表于 2025-4-18 06:59 | 显示全部楼层
康托的序数,  基数理论沿两个方向对 \mathbb{N}作了超穷扩充
但都不是(保持皮亚诺公理的)代数扩充. \mathbb{N}同时作为有
限序数全体及有限基数全体, 第一个超穷序数, 最小超
穷基数的地位无法取代, 不容偷换.
自然数概念由皮亚诺公理刻划, 不以超穷扩充而转移.

存在超穷自然数或\color{brown}{\displaystyle\lim_{n\to\infty}n\in\mathbb{N}} 是孬种的无耻谎言.

孬种被坐实为全方位白痴, 蠢氏贼船漏洞不打一处来
回复 支持 反对

使用道具 举报

发表于 2025-4-18 07:00 | 显示全部楼层

      elim先生,现行教科书中像\displaystyle\lim_{n \to \infty} X_n=a这样的表达式遍于全书,式中n\to\infty即是表达v=\displaystyle\lim_{n \to \infty} n之意。在康托尔有穷基数的无穷序列中v=\displaystyle\lim_{n \to \infty} n“既表示把一个个单位加上去的确切计数,又表示它们汇集成的整体”(参见康托尔著《超穷数理论基础》P42页),v=\displaystyle\lim_{n \to \infty} n=\infty,作为序数它是存在的。康托尔认为这个“\infty比分析学中的∞是更合适的无穷大”(参见康托尔《超穷数理论基础》P42页)。仅就v=\displaystyle\lim_{n \to \infty} n是否存在问题,我问过ChatGPT,它回答说“分析学中的lim与集合论中的lim有本质的不同”。事实上如果自然数集中没有无穷大自然数,自然数集也就不可能是无限集。虽然每个能被写出来、读出来的自然数都是有限数,也不能否定v=\displaystyle\lim_{n \to \infty} n的存在性(恩格斯悖论)。也就是说\mathbb{N}中作为序数v=\displaystyle\lim_{n \to \infty} n是客观存在的。否则单调集列极限集定义中的\displaystyle\bigcap_{n=1}^{\infty} A_n\displaystyle\bigcup_{n=1}^{\infty} A_n就没有实际操作意义。
       elim先生,虽然你自许精通数学、精通集合论,但你与创立集合论、提出超穷数理论,奠定近代数学基础的康尔相比,你还相差甚远。因此你还没有具备让我无条件信服你的资本。同时你的【无穷交就是一种骤变】在现行数学框架下也不成立。论坛中创新发明者颇多,有谁像你这样以威逼、辱骂的无耻行为强迫他人认同自己观点的呢?
       elim先生你为打压我而发明的“骤变”理论与现行数学并不兼容。你自欺尚可,欺人做孽!说到底你没有任何资格强迫我接受接受你的“臭便”理论。所以你还是消停点好些!
回复 支持 反对

使用道具 举报

发表于 2025-4-18 07:05 | 显示全部楼层

      elim先生,现行教科书中像\displaystyle\lim_{n \to \infty} X_n=a这样的表达式遍于全书,式中n\to\infty即是表达v=\displaystyle\lim_{n \to \infty} n之意。在康托尔有穷基数的无穷序列中v=\displaystyle\lim_{n \to \infty} n“既表示把一个个单位加上去的确切计数,又表示它们汇集成的整体”(参见康托尔著《超穷数理论基础》P42页),v=\displaystyle\lim_{n \to \infty} n=\infty,作为序数它是存在的。康托尔认为这个“\infty比分析学中的∞是更合适的无穷大”(参见康托尔《超穷数理论基础》P42页)。仅就v=\displaystyle\lim_{n \to \infty} n是否存在问题,我问过ChatGPT,它回答说“分析学中的lim与集合论中的lim有本质的不同”。事实上如果自然数集中没有无穷大自然数,自然数集也就不可能是无限集。虽然每个能被写出来、读出来的自然数都是有限数,也不能否定v=\displaystyle\lim_{n \to \infty} n的存在性(恩格斯悖论)。也就是说\mathbb{N}中作为序数v=\displaystyle\lim_{n \to \infty} n是客观存在的。否则单调集列极限集定义中的\displaystyle\bigcap_{n=1}^{\infty} A_n\displaystyle\bigcup_{n=1}^{\infty} A_n就没有实际操作意义。
       elim先生,虽然你自许精通数学、精通集合论,但你与创立集合论、提出超穷数理论,奠定近代数学基础的康尔相比,你还相差甚远。因此你还没有具备让我无条件信服你的资本。同时你的【无穷交就是一种骤变】在现行数学框架下也不成立。论坛中创新发明者颇多,有谁像你这样以威逼、辱骂的无耻行为强迫他人认同自己观点的呢?
       elim先生你为打压我而发明的“骤变”理论与现行数学并不兼容。你自欺尚可,欺人做孽!说到底你没有任何资格强迫我接受接受你的“臭便”理论。所以你还是消停点好些!
回复 支持 反对

使用道具 举报

 楼主| 发表于 2025-4-18 07:21 | 显示全部楼层
没说\displaystyle\lim_{n\to\infty}n不存在,而是说它不是自然数.
孬种自然数是自然数是蠢疯的无耻谎言.
回复 支持 反对

使用道具 举报

发表于 2025-4-18 07:45 | 显示全部楼层
elim先生,如果承认在\mathbb{N}作为序数,v=\displaystyle\lim_{n \to \infty} n是客观存在的,那么就应当承认v=\displaystyle\lim_{n \to \infty} n\mathbb{N}中的自然数了。有谁会质疑\mathbb{N}作为中序数为a的数就是\mathbb{N}中第a个自然数呢?
回复 支持 反对

使用道具 举报

发表于 2025-4-18 10:31 | 显示全部楼层
elim你说外行话了,因为自然数集是最小可列集,所以如果把\mathbb{N}从小到大排成一列,则v=\displaystyle\lim_{n \to \infty} n就是该排列“最后”位置上那个自然数的序号,因此\displaystyle\lim_{n \to \infty} n作为第一个极限序数本质上是\alpha=\overline{\overline{\mathbb{N}}}=\aleph_0,而不是\alpha=\mathbb{N}!,也就是说\alpha是排列在自然数列“最后”的那个数。值得注意的是, 虽然从分析学看v-j=\displaystyle\lim_{n \to \infty} (n-j)(j\in\mathbb{N})与v=\displaystyle\lim_{n \to \infty} n都等于无穷大(即数学分析中所说的不存在),但它位在集合的序数理论中又表示不同的序数。这就是分析学中的lim与集合论的lim的本质不同。由于在自然数集\mathbb{N}中不同的序号表示不同的自然数并且序号a就表示自然数a,所以v-j=\displaystyle\lim_{n \to \infty} (n-j) j\in\mathbb{N})就是\mathbb{N}的成员,所以它们都是自然数!据此elim你认为谁是【全方位白痴】呢?
回复 支持 反对

使用道具 举报

发表于 2025-4-18 14:23 | 显示全部楼层
本帖最后由 春风晚霞 于 2025-4-18 19:32 编辑


       elim,你说外行话了。因为自然数集\mathbb{N}是最小可列集,所以如果把\mathbb{N}中的数从小到大排成一列,则\alpha =\displaystyle\lim_{n \to \infty} n就是该排列“最后”位置(即序号为\displaystyle\lim_{n \to \infty} n位置)上的那个自然数。所以\alpha=\overline{\overline{\mathbb{N}}}=\aleph_0,而不是\alpha=\mathbb{N}!。
      值得注意的是,虽然从分析学看v=\displaystyle\lim_{n \to \infty} n,v-j=\displaystyle\lim_{n \to \infty} (n-j)(j\in\mathbb{N})均可能等于无穷大(即数学分析中所说的不存在),但它们在集合的序数理论中却又分别表示不同的序数。这就是分析学中的lim与集合论的lim的本质区别。由于自然数集\mathbb{N}中不同的序号表示不同的自然数,如序号a就表示自然数a,所以v-j=\displaystyle\lim_{n \to \infty} (n-j) j\in\mathbb{N})就是\mathbb{N}的成员,所以它们都是自然数!
        强调指出v-j=\displaystyle\lim_{n \to \infty} (n-j) j\in\mathbb{N})是自然数这个命题对j=v是成立的。因为这时\displaystyle\lim_{n \to \infty} (n-n)=0。当j=v-kk\in\mathbb{N}也是成立的。因为这时\displaystyle\lim_{n \to \infty} (n-(n-k)= \displaystyle\lim_{n \to \infty} k=k
       其实把\alpha =\displaystyle\lim_{n \to \infty} n排除在自然数外,才会导致很多矛盾。在以往的交流中已经证明:如果(\alpha =\displaystyle\lim_{n \to \infty} n\notin\mathbb{N},则\mathbb{N}=\phi!同时也不能回答【皮亚诺公理语境】的上确界在哪里!
       平常我们说自然数中没有最大,只有更大。是指有限自然数后边紧跟无穷自然数,无穷自然数后边又紧跟着超穷自然数。
       elim认为:若把\alpha =\displaystyle\lim_{n \to \infty} n划归自然数,这将会导至\mathbb{N}有最大元的悖论。为回答eim的桤忧,康托尔“设想出一个新数\omega表示(I)的整体(即\mathbb{N})和(I)中数的一种相继次序”(参见康托尔著《超穷数理论基础》P43页第3至4行)。
       该帖较长,如果elim是数学人的话,你一定会读完此帖,才会去评判谁是【全方位白痴】。

点评

\Huge\color{red}{\omega在所有自然数之后, 故非自然数}  发表于 2025-4-18 19:52
回复 支持 反对

使用道具 举报

发表于 2025-4-18 22:16 | 显示全部楼层

      因为自然数集\mathbb{N}是最小可列集 ,如果把\mathbb{N}从小到大排成一列,则v=\displaystyle\lim_{n \to \infty} n就是该排列“最后”位置(即(序号为\displaystyle\lim_{n \to \infty} n 位置 上的那个自然数。同理 v-j=\displaystyle\lim_{n \to \infty} (n-j) \quad( j\in\mathbb{N})亦是们于序号为\displaystyle\lim_{n \to \infty} (n-j)位置上的自然数。现在我们用反证法证明v是自然数.
       【证法】(反证法):若v=\displaystyle\lim_{n→∞} n不是自然数。由皮亚诺公理第二条,v的前趋v-1也不是自然数(否则v是自然数,这写v不是自然数的假设矛盾)。逆用皮亚诺公理v-1的前趋v-2也不是自然数……类此(k+1)的前趋k不是自然数,…,2的前趋1不是自然数,1的前趋0也不是自然数。所以自然数集\mathbb{N}=\phi,这与\mathbb{N}≠\phi矛盾,所以\displaystyle\lim_{n\to\infty} n是自然数(即v\in\mathbb{N})。【证毕】
      elim认为【\mathbb{N}无最大元,最后最大序数是白痴臆淫v=\displaystyle\lim_{n \to \infty} n不小于任何自然数, 故非\mathbb{N}的成元,只有\mathbb{N}的成员才叫自然数】,elim的这段言论是错误的,因为【\mathbb{N}无最大元】是根据\mathbb{N}元素的值而言的。自然数v,v-1v-2,……v-k{k为任意有限数)的值均\infty无穷大量间无大小关系。其次从康托尔有穷基数的无穷序列1,2,3,…v=\displaystyle\lim_{n \to \infty} n,\omega,\omega+1,\omega+2,……(参见康托尔《超穷数理论基础》P43页)看【v=\displaystyle\lim_{n \to \infty} n不小于任何自然数】这是再正常不过的了。并且从康托尔有穷基数的无穷序列看自然数集\mathbb{N}=\{1,2,3,……,v=\displaystyle\lim_{n \to \infty} n\}看,v=\displaystyle\lim_{n \to \infty} n\}确实是\mathbb{N}的成员。elim所说的矛盾恰好反映出你并没有真正认识自然数。所以elim才是你口中全方位白痴。
回复 支持 反对

使用道具 举报

发表于 2025-4-19 03:44 | 显示全部楼层

因为\mathbb{N}可列集,所以把\mathbb{N}的所有元素按序号递增的方式排成一列1,2,…,v-k,…,v-2v-1v(其中v-j=\displaystyle\lim_{n \to \infty} (n-j)(j∈\mathbb{N})所以,\mathbb{N}=\{1,2,…(v-k),…v-2,v-1,v\}。elim根据\mathbb{N}中无最大元认为v\notin\mathbb{N}:集列\{1,2,…(v-k),…v-2,v-1,v\}=\mathbb{N}\cup\{v\}。春风晚霞认为elim的v\notin\mathbb{N}是错误的。理由如下:①v是自然数集所有成员中的一员,它理应属于\mathbb{N};②elim依据\mathbb{N}中无最大元,认为集列\{1,2,…(v-k),…v-2,v-1,v\}=\mathbb{N}\cup\{v\})。那么\mathbb{N}=\{1,2,…,v-2,v-1\},那么v-1岂不又成了\mathbb{N}中的最大元,是不是又要v-1排除在\mathbb{N}之外?这种排出最大序号的方法最终将得到\mathbb{N}=\phi。所以elim坚持认为v=\displaystyle\lim_{n \to \infty} n不是自然数的认知是错误的!

点评

\Huge\color{red}{\textbf{任一自然数均有后继故无最大自然数}}  发表于 2025-4-19 04:08
回复 支持 反对

使用道具 举报

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

本版积分规则

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

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

GMT+8, 2025-7-23 10:10 , Processed in 0.088568 second(s), 14 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代码输入: