\(\LARGE elim的N_∞=\phi 反数学\)

春风晚霞

为反春春风晚霞，elim定义了集合列\(\{A_n:=\{m∈N:m>n\}\}\).并在此基础上进一步定义了\(A_n:=\{m∈N:m>n\}\)\(N_∞:=\displaystyle\bigcap_{n =1}^∞ A_n\)。由elim的定义式\(A_n:=\{m∈N:m>n\}\)，易证\(\displaystyle\lim_{n→∞} A_n=\displaystyle\lim_{n→∞}\{n+1，n+2，……\}≠\phi\).事实上由皮亚诺公理(Peano axioms)第2条“每一个确定的自然数a都有一个确定的后继数a',a'也是自然数”知:\(\displaystyle\lim_{n \to \infty}\{n+1，n+2，…\}\)中的\(\{n+1，n+2，…\}\)都是逻辑确定的自然数，故此\(\displaystyle\lim_{n \to \infty}\{n+1，n+2，…\}≠\phi\)。
现在我们给出如下几种方法证明\(N_∞:=\displaystyle\bigcap_{n =1}^∞ A_n≠\phi\)
一、求交运算的吸收律法：
【证明:】\(\because\quad A_n:=\{m∈N:m>n\}\)(己知)；
\(\therefore\quad A_1\supset A_2\supset\)……\(\subset A_k\)……
\(\therefore\quad\displaystyle\bigcap_{n =1}^∞ A_n=\displaystyle\bigcap_{n =2}^∞ A_n\)……\(\displaystyle\bigcap_{n =k}^∞ A_n=\)……=\(\displaystyle\lim_{n →∞} A_n=\displaystyle\lim_{n→∞}\{n+1，n+2……\}≠\phi\)
\(\therefore\quad N_∞:=\displaystyle\bigcap_{n =1}^∞ A_n=\displaystyle\lim_{n→∞}\{n+1，n+2，……\}≠\phi\)【证毕】
二、应用周民强《实变函数论》定义1.8
【证明:】\(\because\quad A_n:=\{m∈N:m>n\}\)(己知)；
\(\therefore\quad A_1\supset A_2\supset\)……\(\subset A_k\)……  .
\(\therefore\quad\displaystyle\bigcap_{n=1}^∞ A_n=\)\(\displaystyle\lim_{n \to \infty}\{n+1，n+2，…\}≠\phi\)。
\(\therefore\quad N_∞:=\displaystyle\bigcap_{n =1}^∞ A_n=\displaystyle\lim_{n→∞}\{n+1，n+2，……\}≠\phi\)【证毕】
三、应用周民强《实变函数论》定义1.9
【证法1:】\(\because\quad A_n:=\{m∈N:m>n\}\)(己知)；
\(\therefore\quad A_1\supset A_2\supset\)……\(\subset A_k\)……
\(\therefore\quad A_k=\displaystyle\bigcup_{n =k}^∞ A_k\)
\(\therefore\quad\underset{n→∞} {\overline{lim}}A_k=\displaystyle\bigcap_{j=1}^∞\displaystyle\bigcup_{k=1}^∞ A_n=\displaystyle\bigcap_{n =1}^∞ A_n=\)\(\displaystyle\lim_{n→∞} A_n=\displaystyle\lim_{n→∞}\{n+1，n+2……\}≠\phi\)
\(\therefore\quad N_∞:=\displaystyle\bigcap_{n =1}^∞ A_n=\displaystyle\lim_{n→∞}\{n+1，n+2，……\}≠\phi\)【证毕】
【证法2:】\(\because\quad A_n:=\{m∈N:m>n\}\)(己知)；
\(\therefore\quad A_1\supset A_2\supset\)……\(\subset A_k\)……
\(\therefore\quad A_n=\displaystyle\bigcap_{n =k}^∞ A_n=\)\(\displaystyle\lim_{n \to \infty}\{n+1，n+2，……\}≠\phi\)
\(\therefore\quad\underset{n→∞} {\underline{lim}}A_n=\displaystyle\bigcup_{j=1}^∞\displaystyle\lim_{n→∞}\{n+1，n+2，…… ，\}≠\phi\)
\(\therefore\quad N_∞:=\displaystyle\bigcap_{n =1}^∞ A_n=\displaystyle\lim_{n→∞}\{n+1，n+2，……\}≠\phi\)【证毕】

春风晚霞

elim 发表于 2024-8-23 15:17
回到主贴。我惊异地发现，能否看懂以下一行数学可以给教书匠自测孬种与否：
另外，孬种的同事种也很孬。呵 ...

你的这个帖子已被春风晚霞批臭了吧？还好意思拿出来显摆，真是无耻至极！

春风晚霞

elim 发表于 2024-8-23 15:35
数学一行轻巧定乾坤, 笑看孬种死磕集合论
\(\small\forall m\in\mathbb{N}\,(m\in A_m^c\subset\displayst ...

你的这个帖子已被春风晚霞批臭了吧？还好意思拿出来显摆，真是无耻至极！

春风晚霞

elim 发表于 2024-8-23 15:44
数学一行轻巧定乾坤, 笑看孬种死磕集合论
\(\small\forall m\in\mathbb{N}\,(m\in A_m^c\subset\displayst ...

你的这个帖子已被春风晚霞批臭了吧？还好意思拿出来显摆，真是无耻至极！

春风晚霞

elim 发表于 2024-8-23 15:52
数学一行轻巧定乾坤, 笑看孬种死磕集合论
\(\small\forall m\in\mathbb{N}\,(m\in A_m^c\subset\displayst ...

你的帖子不需要推，它必然会翻！因为你从不讲数理逻辑，不用成熟完善的现行数学理论，总是黄牛黑卵子另处一条筋！你的最大特点就是脸特别厚，心特別黑。春风晚霞离开论坛快七天了吧？你还在死死纠缠，如果你的见解是正确的？还需拿一个被批臭的帖子来显摆吗？

春风晚霞

elim 发表于 2024-8-23 16:41
数学一行轻巧定乾坤, 笑看孬种死磕集合论
\(\small\forall m\in\mathbb{N}\,(m\in A_m^c\subset\displayst ...

你的论据和论正与你的论点有关吗？一个连现行教科书的集合论基础都不用，集合的交集定义，交集的运算规律，无穷集列极限集的定义，基至连作自己定义的集列定义都不用，从集A的补集\(A_n^c\)中任取一个不属于A耒证明A的无穷交是空集，这样的错误连中学生都不会犯。还有脸张扬，真是丟数学人的脸！

春风晚霞

elim 发表于 2024-8-23 21:05
数学一行轻巧定乾坤, 笑看孬种死磕集合论
\(\small\forall m\in\mathbb{N}\,(m\in A_m^c\subset\displayst ...

elim先生：大作读罢，感慨万端。

\(\forall m∈N(m∈A_m^c\subset\displaystyle\bigcup_{n =1}^∞ A_n^c=N)\implies(\displaystyle\bigcup_{n =1}^∞ A_n^c=N)\)\(\underset{\nRightarrow}{德摩根}\) \((N_∞=\phi)\)
正确的谓词演译是：
\(\forall m∈N(m∈A_m^c\subset\displaystyle\bigcup_{n =1}^∞ A_n^c=N)\implies(\displaystyle\bigcup_{n =1}^∞ A_n^c=N)\)\(\underset{\Rightarrow}{德摩根}N=(\displaystyle\bigcap_{n =1}^∞ A_n)^c\)

谁是孬种，谁反数学请君自酌。

elim

数学一行轻巧定乾坤, 笑看孬种死磕集合论
\(\small\forall m\in\mathbb{N}\,(m\in A_m^c\subset\displaystyle\bigcup_{n=1}^\infty A_n^c)\implies \big(\bigcup_{n=1}^\infty A_n^c=\mathbb{N}\big)\overset{\text{德摩根}}{\implies} (N_{\infty}=\varnothing)\)
孬种试图推翻上面的集论简单事实的一切作为，都是在反数学。

春风晚霞

elim 发表于 2024-8-24 08:00
数学一行轻巧定乾坤, 笑看孬种死磕集合论
\(\small\forall m\in\mathbb{N}\,(m\in A_m^c\subset\displayst ...

elim先生：再读大作，颇感惊讶。先生之固执，更让人毛骨悚然。
\(\forall m∈N(m∈A_m^c\subset\displaystyle\bigcup_{n =1}^∞ A_n^c=N)\implies(\displaystyle\bigcup_{n =1}^∞ A_n^c=N)\)\(\underset{\nRightarrow}{德摩根}\) \((N_∞=\phi)\)，现证明如下:
【证明:]\(\because\quad A_n:=\{m∈N:m>n\}\)(己知)；
\(\therefore\quad A_1^c\subset A_2^c\subset\)……\(\subset A_k\)……  .
\(\therefore\quad\displaystyle\bigcup_{n=1}^∞ A_n=\)\(\displaystyle\lim_{n \to \infty}\{n+1，n+2，…\}^c\)(周民强《实变函数论》定义1.8)，由皮亚诺公理(Peano axioms)第2条“每一个确定的自然数a都有一个确定的后继数a',a'也是自然数”知:\(\displaystyle\lim_{n \to \infty}\{n+1，n+2，…\}\)中的\(\{n+1，n+2，…\}\)都是逻辑确定的自然数，故此\(\displaystyle\lim_{n \to \infty}\{n+1，n+2，…\}≠\phi\)。
从而\(N_∞=\displaystyle\lim_{n \to \infty}\{n+1，n+2，…\}≠\phi\)！
恕我直言：先生帖示的论证具有论据牵强，论证乏力的特征。至于所谁是孬种，谁反数学？还是请君自酌。

elim

数学一行轻巧定乾坤, 笑看孬种死磕集合论
\(\small\forall m\in\mathbb{N}\,(m\in A_m^c\subset\displaystyle\bigcup_{n=1}^\infty A_n^c)\implies \big(\bigcup_{n=1}^\infty A_n^c=\mathbb{N}\big)\overset{\text{德摩根}}{\implies} (N_{\infty}=\varnothing)\)
孬种试图推翻上面的集论简单事实的一切作为，都是在反数学。