|
本帖最后由 elim 于 2025-2-19 11:24 编辑
令An={m∈N:m>n},N∞=∞⋂n=1An={x∣x∈An(∀n∈N)}
因{An}没有公共元素(反证法: 若有某k属于每个An, 则k∈Ak,k>k 矛盾!)
故由定义,所论无穷交没有成员, 即 N∞=∞⋂n=1An=ϕ(1)
这是集论中仅凭定义就能得到的简单而基本的事实.
【反驳1】k∉Ak 但 k+j∈Ak(j=1,2,…) 凭什么说 N∞=ϕ?
【答】我们由假定存在集列 A1,A2,… 的公共元k得到了矛盾,
说明这样的k不存在。即证明了集列 A1,A2,… 没有公共元.
k+j∈Ak(j=1,2,…) 这个事实否定不了{An}无公共元的事实。
【反驳2】N∞=ϕ的上述论证本质上是逐点排查法(循环论证),臭便骗术!
【答】逐点排查法是外延公理的直接应用, 无可推翻, 也不可能有真正的反例.
逐点排查法的结论与所涉集合如何得到无关,故没有循环论证之嫌.
集合运算均由一阶逻辑定义,故本质上都是量词谓词演算的结果.
因而没有简单划一的算法. 而N∞无成员一眼便能从定义得出。
臭便或骤变骗术这类说法是没有数学定义的口水仗帽子,没有理由
称骤变与逐点排查法等价,我们也没有见到使用骤变说行骗的例证.
这个反驳根本没有否定(1),只是骂了街.
给他人带帽子玩不是做数学,拿出N∞计算结果的论证才是硬道理
【反驳3】{An}单调降,故∞⋂n=1An=lim
【回应】因\{A_n\}降, \displaystyle\bigcup_{k=n}^\infty A_k=A_n,\;\bigcap_{k=n}^\infty A_k=\bigcap_{k=m}^\infty A_k\,(\forall m,n\in\mathbb{N})
\therefore\qquad\displaystyle\bigcap_{n=1}^\infty\bigcup_{k=n}A_k=\bigcap_{n=1}^\infty A_n=\bigcup_{n=1}^\infty\bigcap_{k=n}^\infty A_k,\quad\color{red}{\lim_{n\to\infty}A_n=\bigcap_{k=1}^\infty A_k.\quad(2)}
\qquad\quad但 \displaystyle\lim_{n\to\infty}A_n=\{\omega+1,\omega+2,\ldots\} 是经不起验证的:
\qquad\quad若 \omega+1\in\displaystyle\bigcap_{n=1}^\infty A_n, 则 \omega+1\in A_1\subset\mathbb{N} 于是 A_{\omega+1} 有定义
\qquad\quad且 \omega+1\not\in A_{\omega+1} 进而 \omega+1\not\in\displaystyle\bigcap_{n=1}^\infty A_n 可见无论\omega+j是啥
\qquad\quad假定\displaystyle\bigcap_{n=1}^\infty A_n非空就导致矛盾.
【反驳4】\displaystyle\lim_{n\to\infty}\{n+1,n+2,\ldots\}=\{\lim_{n\to\infty}(n+j)\mid j=1,2,\ldots\}
\qquad\quad=\{\omega+1,\omega+2,\ldots\}\qquad(\dagger) 是完全合法的,何错之有?
【回应】据前面的【反驳】及【回应】知道, 只有改变A_n的定义为
\qquad\quad A_n=\{m\in\mathbb{N}^*:m>n\}\,(n\in\mathbb{N}), 全序集\mathbb{N}^*(\supset\mathbb{N})
\qquad\quad满足 \mathbb{N}^*=\mathbb{N}\cup\{\omega+1,\omega+2,\ldots\}, 才会有所论合法性.
\qquad\quad易见无法定义\mathbb{N}^*成为半环,使\mathbb{N}\hookrightarrow\mathbb{N}^*为保序半环嵌入.
\qquad\quad\mathbb{N}^*也无法保序扩张成\mathbb{R}. 故绝无论文书著用\mathbb{N}^*取代\mathbb{N}.
\qquad\quad排除\mathbb{N}^*后若还要问,如何定义\omega,\,\displaystyle\lim_{n\to\infty}(n+j)使(\dagger)成立?
\qquad\quad(1),(2)表明无论怎样定义\displaystyle\lim_{n\to\infty}(n+j),\quad(\dagger) 都无法成立.
待续.
|
|