|

楼主 |
发表于 2024-4-25 23:35
|
显示全部楼层
本帖最后由 elim 于 2024-4-25 09:09 编辑
\(\displaystyle\bigcap_{n=1}^\infty A_n\) 是以\(A_1,A_2,A_3,\ldots\)的公共成员为其元素的集合。既然
\(k\not\in A_k,\;\;k\) 就不是 \(A_1,A_2, A_3,\ldots\)的公共成员。即 \(k\not\in\displaystyle\bigcap_{n=1}^\infty A_n\).
所以\(\displaystyle\bigcap_{n=1}^\infty A_n\)没有成员。
我问老春头上面的论证有什么问题,他说"正确的"论证方式是他的胡扯。答非所问莫过于此了。呵呵
老春头说 \(\{A_n\}\)是单调降集列是没错的,\(\displaystyle\lim_{n\to\infty} A_n\)的存在因此没啥问题。
不追问集列极限的严格定义了, 谅他说不上来. 假定他尚未老痴到否定以下命题:
(*) \(\displaystyle\lim_{n\to\infty}A_n\subset A_k\) 对一切\(k\in\mathbb{N}^+\) 成立.
因为\(k\not\in A_k\), 据 (*) 就有 \(k\not\in\displaystyle\lim_{n\to\infty}A_n\) 对一切\(k\in\mathbb{N}^+\) 成立.
\(\mathbb{N}^+\)的子集\(\displaystyle\lim_{n\to\infty}A_n\)不含任意正整数,所以是空集.
这些直白的东西只有老痴晚期患者才认为不知所云。
|
|