\(\Huge^\star\textbf{ 滚驴}\color{red}{\textbf{回滚做空定理}}\textbf{泡汤!}\)

春风晚霞

        陶哲轩先生在他的《陶哲轩实分析》第三版P19页2—4行也讲了〖存在其它数系，使得“无穷大”是该数系中的元素。例如基数系、序数系以及p进数系〗。
        由于集合论是在基数系和序数系下展开讨论的，集列\(\{A_k=\{m\in\mathbb{N}:m≤k\}\}\)的极限集是在十(p=10）进数系下讨论的。所以\(\displaystyle\lim_{n \to \infty}n\in\mathbb{N}\)。同时我们根据数的三歧性原理证明了皮亚诺公理第二条对\(\displaystyle\lim_{n \to \infty}n\)成立(参见《\(\displaystyle\lim_{n \to \infty}n\)不是\(\mathbb{N}\)中最大数》的证明)。因此，elim的【\(\displaystyle\lim_{n \to \infty}n=\)\(sup\mathbb{N}\)\(\notin\mathbb{N}\)】的臆想不成立！所以\(\displaystyle\lim_{n \to \infty}n\in\mathbb{N}\)再次得到严谨证明。
        对于elim这样的民科领袖，本帖他是不会看的。他宁肯削足适靴，他也会坚持他的胡说八道。不过分享本帖，也为关注\(\displaystyle\lim_{n \to \infty}n\in\mathbb{N}\)问题的网友提供参考！

春风晚霞

        陶哲轩先生在他的《陶哲轩实分析》第三版P19页2—4行也讲了〖存在其它数系，使得“无穷大”是该数系中的元素。例如基数系、序数系以及p进数系〗。
        由于集合论是在基数系和序数系下展开讨论的，集列\(\{A_k=\{m\in\mathbb{N}:m≤k\}\}\)的极限集是在十(p=10）进数系下讨论的。所以\(\displaystyle\lim_{n \to \infty}n\in\mathbb{N}\)。同时我们根据数的三歧性原理证明了皮亚诺公理第二条对\(\displaystyle\lim_{n \to \infty}n\)成立(参见《\(\displaystyle\lim_{n \to \infty}n\)不是\(\mathbb{N}\)中最大数》的证明)。因此，elim的【\(\displaystyle\lim_{n \to \infty}n=\)\(sup\mathbb{N}\)\(\notin\mathbb{N}\)】的臆想不成立！所以\(\displaystyle\lim_{n \to \infty}n\in\mathbb{N}\)再次得到严谨证明。
        对于elim这样的民科领袖，本帖他是不会看的。他宁肯削足适靴，他也会坚持他的胡说八道。不过分享本帖，也为关注\(\displaystyle\lim_{n \to \infty}n\in\mathbb{N}\)问题的网友提供参考！

春风晚霞

        关于《陶哲轩实分析》第三版P19页2—4行讲道：〖自然数系能够趋向于无穷大，但它不能取到无穷大，无穷大不是自然数。（存在其它数系，使得“无穷大”是该数系中的元素。例如基数系、序数系以及p进数系）,并声明这些数系〗，春风晚霞认为可作如下解读
        1、什么是无穷大：
        【定义】：若整序变量\(x_n\)，由某项开始，其绝对值变成且保持着大于预先给定的任意大数E>0，当n>\(N_E\)时恒有|\(x_n\)|>\(N_E\)，则称变量\(x_n\)为无穷大（记作\(\infty\)（参见菲赫全哥尔茨《微积分学教程》四卷八册版笫一卷，第一分册P37页；及其《数学分析原理》两卷四册版第一卷第一分册P59页无穷大的定义)
        根据E的任意性和皮亚诺公理（Peano axioms)，我们不难证明集合\(\mathbb{N}_∞\)≠\(\phi\)。事实上当\(n_0>N_E\)时，有\(n_1=n_0+1\)>\(N_E\)，……，\(n_{i+1}=n_i+1\)>\(N_E\)，……所以\(n_j\)∈\(\mathbb{N}_∞\)，j∈N. 所以\(\mathbb{N}_∞\)是无限集。
         2、什么叫n→∞？
        【定义】：当\(n\{n｜n>N_E，n\in\mathbb{N}\)时称n趋向于无穷大，记为n→∞.
        3、自然集是无界性
        现行小学四年级教材（人教版小学四年级上册）[认识更大的数板块]要求向学生渗透〖比你写得出、想像得到的自然数都大的自然数叫无穷大自然数〗。根据这个描述性说法，自然数的无界性（即无穷大自然数）可定义为：
        【定义】.对任意预先组定的无论怎样大的自然数\( \alpha\),则称自然数集\(\mathbb{N}_{\infty}=\{m\in\mathbb{N}:m> \alpha\}\)为无穷大自然数集，集合\(\mathbb{N}_{\infty}\)中每个数都是无穷大自然数。
        根据E的任意性和皮亚诺公理（Peano axioms)，不难证明集合\(\mathbb{N}_∞\)≠\(\phi\)。事实上当.对任意预先组定的无论怎样大的自然数\( \alpha\)，都有\( \alpha\)+1，\( \alpha\)+2，……属于\(\mathbb{N}\)，年以\(\mathbb{N}_∞\)≠\(\phi\)！
        4、无穷大自然数\(\displaystyle\lim_{n \to \infty}n\)与无穷大自然数集\(\mathbb{N}_{\infty}\)的关系
根据无穷大自然数集的定义，自然数\(\displaystyle\lim_{n \to \infty}n\in\mathbb{N}_{\infty}\subset\mathbb{N}\)
        5、在康托尔实正整集（包含了自然数集）中\(\nu(=\displaystyle\lim_{n \to \infty}n)\)、\( \omega\)、\(\aleph_0\)、\(\aleph\)各有各的语言环境，elim多处把\( \omega\)作最小无穷数，来证明他的【自然数比有限数】，结果是荒唐的。
        根据如上的分析，我认为《陶哲轩实分析》第三版P19页2—4行讲的【自然数系能够趋向于无穷大，但它不能取到无穷大，无穷大不是自然数。（存在其它数系，使得“无穷大”是该数系中的元素。例如基数系、序数系以及p进数系）,并声明这些数系】是完全正确的。

春风晚霞

elim真了不起，你连什么是自然数？什么是自然数集？什么是无穷？什么是趋向无穷都一概不知道，连波亚诺公理，康托尔正整数生成法则都不用。居然也能证得【自然数皆有限数】，\(v=\displaystyle\lim_{n \to \infty}n\notin\mathbb{N}\)？真是不愧是民科领袖！你把“目中无人，死不要脸”的致胜秘诀发扬到了极致。你还好意思拿那些被批臭、批烂的宿帖拿来显摆，拿来胡搅蛮缠。似此流氓无赖，真他娘的羞人！

春风晚霞

        关于《陶哲轩实分析》第三版P19页2—4行讲道：〖自然数系能够趋向于无穷大，但它不能取到无穷大，无穷大不是自然数。（存在其它数系，使得“无穷大”是该数系中的元素。例如基数系、序数系以及p进数系）,并声明这些数系〗，春风晚霞认为可作如下解读
        1、什么是无穷大：
        【定义】：若整序变量\(x_n\)，由某项开始，其绝对值变成且保持着大于预先给定的任意大数E>0，当n>\(N_E\)时恒有|\(x_n\)|>\(N_E\)，则称变量\(x_n\)为无穷大（记作\(\infty\)（参见菲赫全哥尔茨《微积分学教程》四卷八册版笫一卷，第一分册P37页；及其《数学分析原理》两卷四册版第一卷第一分册P59页无穷大的定义)
        根据E的任意性和皮亚诺公理（Peano axioms)，我们不难证明集合\(\mathbb{N}_∞\)≠\(\phi\)。事实上当\(n_0>N_E\)时，有\(n_1=n_0+1\)>\(N_E\)，……，\(n_{i+1}=n_i+1\)>\(N_E\)，……所以\(n_j\)∈\(\mathbb{N}_∞\)，j∈N. 所以\(\mathbb{N}_∞\)是无限集。
         2、什么叫n→∞？
        【定义】：当\(n\{n｜n>N_E，n\in\mathbb{N}\)时称n趋向于无穷大，记为n→∞.
        3、自然集是无界性
        现行小学四年级教材（人教版小学四年级上册）[认识更大的数板块]要求向学生渗透〖比你写得出、想像得到的自然数都大的自然数叫无穷大自然数〗。根据这个描述性说法，自然数的无界性（即无穷大自然数）可定义为：
        【定义】.对任意预先组定的无论怎样大的自然数\( \alpha\),则称自然数集\(\mathbb{N}_{\infty}=\{m\in\mathbb{N}:m> \alpha\}\)为无穷大自然数集，集合\(\mathbb{N}_{\infty}\)中每个数都是无穷大自然数。
        根据E的任意性和皮亚诺公理（Peano axioms)，不难证明集合\(\mathbb{N}_∞\)≠\(\phi\)。事实上当.对任意预先组定的无论怎样大的自然数\( \alpha\)，都有\( \alpha\)+1，\( \alpha\)+2，……属于\(\mathbb{N}\)，年以\(\mathbb{N}_∞\)≠\(\phi\)！
        4、无穷大自然数\(\displaystyle\lim_{n \to \infty}n\)与无穷大自然数集\(\mathbb{N}_{\infty}\)的关系
根据无穷大自然数集的定义，自然数\(\displaystyle\lim_{n \to \infty}n\in\mathbb{N}_{\infty}\subset\mathbb{N}\)
        5、在康托尔实正整集（包含了自然数集）中\(\nu(=\displaystyle\lim_{n \to \infty}n)\)、\( \omega\)、\(\aleph_0\)、\(\aleph\)各有各的语言环境，elim多处把\( \omega\)作最小无穷数，来证明他的【自然数比有限数】，结果是荒唐的。
        根据如上的分析，我认为《陶哲轩实分析》第三版P19页2—4行讲的【自然数系能够趋向于无穷大，但它不能取到无穷大，无穷大不是自然数。（存在其它数系，使得“无穷大”是该数系中的元素。例如基数系、序数系以及p进数系）,并声明这些数系】是完全正确的。

春风晚霞

       【命题】： 若集列\(\{A_k=\{m\in\mathbb{N}:m≤k\}\)，则\(\displaystyle\lim_{n \to \infty}n\in\mathbb{N}\)
        【证明】：因为集列\(\{A_k=\{m\in\mathbb{N}:m≤k\}\)(已知)
易证集列\(A_k=\{1，2.…，(k-1)，k\}\)单调递增。所以根据单调集列极限集的定义（如北大教材《实变函数论》P9定义1.8）有：
\(\displaystyle\lim_{n \to \infty}A_n=\)\(\displaystyle\bigcup_{n=1} ^{\infty}A_n=\)\(\{1，2，…\)\(\displaystyle\lim_{n \to \infty}(n-1)\)，\(\displaystyle\lim_{n \to \infty}n\}=\)\(\mathbb{N}\)，所以\(\displaystyle\lim_{n \to \infty}n\in\mathbb{N}\)！
【证毕】

春风晚霞

        elim于 2025-8-7 05:03再次贴出他反人类数学的宿帖，以证明他的【无穷交就是一种骤变】的正确性，从百间接地“证明”\(\displaystyle\lim_{n \to \infty}n\notin\mathbb{N}\)。现对其全文评析于后：
【原文】
        \(\mathbb{N}_{\infty}=\)\(\displaystyle\bigcap_{n=1}^{\infty}A_n\)\((A_k=\{m\in\mathbb{N}:m>k\}(k\in\mathbb{N})\)是\(\mathbb {N}\)的子集①.对任意的\(m\in\mathbb{N}\)易见\(m\notin\mathbb{N}\)②所以m不是\(A_1\),……，\(A_m\)，\(A_{m+1}\),……的公共元，即不是\(\mathbb{N}_{\infty}=\)\(\displaystyle\bigcap_{n=1}^{\infty}A_n\)的元③.所以\(\boxed{\mathbb{N}_{\infty}=\displaystyle\bigcap_{n=1}^{\infty}A_n=\phi}\).
顽瞎目测再度泡汤：\(\displaystyle\lim_{n \to \infty}\{n+1，n+2，…\}=\)\(\{\displaystyle\lim_{n \to \infty}n+1，\displaystyle\lim_{n \to \infty}n+2，…\}\)与降列极限定义相悖④，因\(lim n\)非自然数显为荒谬.(原文中序号为春风晚霞评述方便所加).
\(\color{red}{【评述】}\)
        ①、对于求单调集列\((A_k=\{m[in\mathbb{N}:m>k\}(k\in\mathbb{N})\)的问题，任何时候都有\(\displaystyle\bigcap_{n=1}^{\infty}A_n\subset\Omega\),式中\(\Omega\)=\(\displaystyle\bigcup_{n =1}^{\infty}A_n^c\)\(\bigcup\)\(\displaystyle\bigcap_{n=1}^{ \infty}A_n\),所以(\mathbb{N}_{\infty}\)非\(\mathbb{N}\)的子集！
        ②、虽然【对任意的\(m\in\mathbb{N}\)易见\(m\notin\mathbb{N}\)】，但对elim【\(m\in\mathbb{N}\)】都有\((m+j)\in\Omega\)，如\(10\notin A_{10}\)但，11，12，…都属于\(A_{10}\)。所以elim【逐点排查】挂一漏万！
        ③虽然【m不是\(A_1\),……，\(A_m\)，\(A_{m+1}\),……的公共元】，但是\(\displaystyle\lim_{n \to \infty}n\)，\(\displaystyle\lim_{n \to \infty}(n+1)\),…是\(A_1\),……，\(A_m\)，\(A_{m+1}\),……的公共元！所以\(\boxed{\mathbb{N}_{\infty}=\displaystyle\bigcap_{n=1}^{\infty}A_n\ne\phi}\)!.
        ④、因为单调集列\(A_k=\{m\in\mathbb{N}:m>k\}(k\in\mathbb{N}=\)\(\{k+1,K+2，…\}\)单调递减，根据单减集列极限集的定义有\(\displaystyle\lim_{n \to \infty}A_n=\)\(\displaystyle\bigcap_{k=1}^{\infty}A_k\)\(=\displaystyle\lim_{n \to \infty}\{(n+1)，(n+2),…\}\ne\phi\)!所以【与降列极限定义相悖】的是elim的【\(\boxed{\mathbb{N}_{\infty}=\displaystyle\bigcap_{n=1}^{\infty}A_n=\phi}\)】，故此泡汤的是elim的“臭便”之法而不是春风晚霞的目测法！

春风晚霞

        对定理\(\displaystyle\lim_{n \to \infty}n\notin\mathbb{N}\)，则\(\mathbb{N}=\phi\)的证明，elim先生提出如下反对意见：【因为\(\displaystyle\lim_{n \to \infty}(n-m)=\)\(\displaystyle\lim_{n \to \infty}n\ne k(\forall k,m\in\mathbb{N})\),滚驴从 v= lim n 咋回滾也不达任何自然数.证毕秒成阵毙, 滚驴回滚做空定理泡汤!】
        其实，elim反对该定理证明是意料中的事！现在春风晚霞对elim所提置疑回复于下：因为对\(\forall n,k\in\mathbb{N}\),恒有\(n-(n-k)=k\)(k为有限自然数） .所以\(\displaystyle\lim_{n \to \infty}(n=(n-k)=\)\(\displaystyle\lim_{n \to \infty}k\).所以\(\displaystyle\lim_{n \to \infty}n-\)\(\displaystyle\lim_{n \to \infty}（n-k\)=k .由于等式\(n-(n-k)=k\)(是恒等式，所以当\(m=n-k\)时便有\(\displaystyle\lim_{n \to \infty}(n-m)\)\(=\displaystyle\lim_{n \to \infty}(n-(n-k)\)\(=\displaystyle\lim_{n \to \infty}n\)\(-\displaystyle\lim_{n \to \infty}(n-k)=k\)!所以混世魔王的【从\(v=\displaystyle\lim_{n \to \infty}n\)咋回滾也不达任何自然数】只是臆测！故此elim否定定理：若\(\displaystyle\lim_{n \to \infty}n\notin\mathbb{N}\)，则\(\mathbb{N}=\phi\)的妄想泡汤！

春风晚霞

         陶哲轩证否【自然数皆有限数】.参见陶哲轩《陶哲轩实分析》P58页定理3.6.12及证明。
        【定理3.6.12】自然数集N 是无限集
        【证明】为了推出矛盾，我们假设自然数集N是有限集，于是它的基数是某个自然数\(\Re\lgroup N\rgroup=n\)。因此存在从\(\{i\in N:1\le i\le n\}\)到N的一个双射\(f\),我们能够证明序列\(f(1)\)，\(f(2)\)，…\(f(n)\)是有限的。或更准确的说，存在一个自然数M使得\(f(i)\le M\)对序列的有地\(1\le i\le n\)均成立。但自然数M+1对任一个\(f(i)\)都不相等。这与\(f\)是一个双射的假设矛盾。所以定理3.6.12成立。\(\Box\)
        从【自然数M+1对任一个\(f(i)\)都不相等】知【自然数皆有限数】是一个伪命题！

春风晚霞

elim好了不起哟，既精通集合论，又精通自然数理论！就是不知道什么是无穷？什么叫趋向无穷？什么是无穷数？什么是超穷数？就是不知道\(v=\displaystyle\lim_{n \to \infty}n\)、ω、\(\aleph_0\)、\(\aleph\)各自的定义以及它们与∞的区别与联系！就是不知道单调集列极限集的定义的的自洽性(即与交并运算规律的兼容性)！就是不知道你的“臭便”之法挂一个漏万的荒谬性。像你这样连无穷数都不认可的民科领袖，还有谁能奢望你正确解读集合论和自然数理论呢？其实你对自然数的认知不如小学四年级的学生，绿对集合论的认识当然不及高中一年级的学生了。像你这样什么都不知道的民科领袖，还好意思把被批烂批臭的宿帖、观点拿出耒显摆，真是“人不要脸，所向无敌”哟！