\(\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 发表于 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 发表于 2024-8-24 11:21
数学一行轻巧定乾坤, 笑看孬种死磕集合论
\(\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 发表于 2024-8-24 12:05
对 \(\mathbb{N}=\displaystyle\bigcup_{n=1}^\infty A_n^c\) 两边取补得\(\varnothing=\displaystyle\big( ...

elim先生，谁篡改了德摩根律呀？不渗杂预设的推导应该是
\(\forall m∈N(m∈A_m^c\subset\displaystyle\bigcup_{n =1}^∞ A_n^c)\implies(m∈\displaystyle\bigcap_{n =1}^∞ A_n)^c\)\(\underset{\Rightarrow}{德摩根}\displaystyle\bigcup_{n =1}^∞ A_n^c=(\displaystyle\bigcap_{n =1}^∞ A_n)^c\)吧？
下面的证明:
【证明:]\(\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)不也得到这个叫德摩根律的结果吗？elim先生，在等式\(\displaystyle\bigcup_{n =1}^∞ A_n^c=(\displaystyle\bigcap_{n =1}^∞ A_n)^c\)同时取补可是:\((\displaystyle\bigcup_{n =1}^∞ A_n^c)^c=\displaystyle\bigcap_{n =1}^∞ A_n\)即恒等式:\(\displaystyle\bigcap_{n =1}^∞ A_n=\displaystyle\bigcap_{n =1}^∞ A_n\)呀！你说谁才是人熊种孬，种太孬呢？