|

楼主 |
发表于 2024-9-24 13:07
|
显示全部楼层
本人一般不跟孬种交流,因为孬种就其本性是不可理喻的.
所以一般满足于拨乱反正, 从简科普, 以正视听. 故言简意赅,
与孬种的臭长烂贴形成鲜明对比. 注意到孬种思维极度混乱,
误导初学者之几率不可小觑,故予以逐段回应。
首先确切陈述逐点排查定理
【逐点排查定理】:
\((1)\quad(\forall \alpha\in E\,\exists \beta\in\Lambda \;(\alpha\in A_\beta))\implies E\cap\displaystyle\bigcup_{\lambda\in\Lambda}A_\lambda = E\)
\((2)\quad(\forall \alpha\in E\,\exists \beta\in\Lambda \;(\alpha\not\in A_\beta))\implies E\cap\displaystyle\bigcap_{\lambda\in\Lambda}A_\lambda=\phi\)
周氏【实函】定义1.8 之前的内容就可以证明这个定理.
【应用】 取 \(E=\Lambda = \mathbb{N},\;A_n=\{m\in\mathbb{N}:m>n\}\,(n\in\mathbb{N})\),
\(\qquad\quad\;\)则任取\(m\in E\), 有\(\beta=m\in\Lambda\) 使\(m\not\in A_\beta=A_m\)
\(\qquad\quad\;\)据(2) 立得 \(\displaystyle\bigcap_{n=1}^\infty A_n=\mathbb{N}\cap\bigcap_{n=1}^\infty A_n=E\cap\bigcap_{n=1}^\infty A_n=\phi\)
问:逐一排查了吗?答:当然。\(m\) 是\(E=\mathbb{N}\)的一般元,
它不是\(A_m\)的元,所以不是 \(N_\infty=\displaystyle\bigcap_{n=1}^\infty A_n\) 的元.
由于\(m\)的一般性,\(N_\infty\) 不含\(\mathbb{N}\)的任何元。
\(N_\infty\) 显然不含\(\mathbb{N}\)以外的点,所以 \(N_\infty=\phi\).
问:\(\forall n\in\mathbb{N}\), 恒有 \(n\in[n,\infty)\) 得 \(\mathbb{N}\subseteq[n,\infty)\) 有什么错
答:\(\mathbb{N}\subseteq [3,\infty)\) 就已经大错特错了。
因为 \(A_n=\{m\in\mathbb{N}:m>n\}\subset\mathbb{N}\,(n\in\mathbb{N})\)\(\\\)
所以 \(N_\infty\subset\mathbb{N}\)但\(\{\omega+1,\omega+2,\ldots\}\)在 \(\mathbb{N}\)之外,\(\\\)
所以计算 \(\displaystyle\lim_{n\to\infty} A_n = \{\omega+1,\ldots\}\) 反极限集定义。
|
|