|
诚如elim所说,e氏从来就设有正面证明过\(N_∞=\displaystyle\lim_{n→∞}\{n+1,n+2,……\}=\phi\)!根据集列\(\{A_k\}\)极限集的定义:若集列\(\{A_k\}\)的上、下限相等,则称集列\(\{A_k\}\)的极限集存在并等于上限集或下限集,记为\(\displaystyle\lim_{k→∞} A_k\).特別地当集列\(\{A_k\}\)单调时,\(\{A_k\}\)的极限集为\(\displaystyle\lim_{k→∞} A_k=\displaystyle\bigcap_{k =1}^∞ A_k\)(\(\{A_k\}\)单减),或\(\displaystyle\lim_{k→∞} A_k=\displaystyle\bigcup_{k =1}^∞ A_k\)(\(\{A_k\}\)单增)。[1]根据极限集的定义,如果一个集列给定,如果该集列的极限集存在,那么它的极限集也就随之确定。如对单减集列\(\{A_n=\{m∈N:m>n\}\}\)我们易证其极限集\(\displaystyle\lim_{k→∞} A_k=\)\(\underset{k→∞}{\overline{lim}}=\)\(\underset{n→∞}{\underline{lim}}=\)\(\displaystyle\lim_{n→∞}\{n+1,n+2,…,\}≠\phi\)!当然,我们也可以根据周氏【实函】p5 集合列交集的定义直接证明:\(\forall m,j\in\mathbb{N}\,(m+j\in A_m\supset N_{\infty})\implies (\forall m,j\in\mathbb{N}\,(m+j\in N_{\infty}))\implies N_{\infty}≠\phi\);elim认为老夫【从来就没有成功证明过反数学的 \(\displaystyle\lim_{n\to\infty}\{n+1,n+2,\ldots\}\ne\phi\)】但elim又永远说不出\(\displaystyle\lim_{n\to\infty}\{n+1,n+2,\ldots\}\ne\phi\)中元素不存在的理由?也永远说不出Peano axioms或cantor正整数第一生成法则,为什么在他所给的集合列\(\{A_n:=\{m∈N:m>n\}\}\)中无效!!换句话讲,elim永远也没有正面回答为什么\(\displaystyle\lim_{n\to\infty}\{n+1,n+2,\ldots\}=\phi\)?
由于\(N_∞=\displaystyle\lim_{n→∞}\{n+1,n+2,…,\}=\phi\)是elim的期待,所以elim把根据极限集定义求单减集列\(\{A_n:=\{m∈N:m>n\}\}\)极限集的方法污蔑为“目测法”,而把他发明的“骤变”之法称为“精确计算”. 下边我们看看“骤变”之法究竟“臭”在哪里?
elim认为【\(\displaystyle(\underset{n\to\infty}{\underline{\lim}} A_n)^c=\big(\bigcup_{n=1}^\infty\bigcap_{k=n}^\infty A_k\big)^c=\bigcap_{n=1}^\infty\bigcup_{k=n}^\infty A_k^c=\underset{n\to\infty}{\overline{\lim}}A_n^c\)\(\color{red}{=\displaystyle\lim_{n→∞}\{n+1,n+2,…\}^c}\)
同理可得 \(\big(\underset{n\to\infty}{\overline{\lim}}A_n\big)^c=\underset{n\to\infty}{\underline{\lim}}A_n^c\)\(\color{red}{=\displaystyle\lim_{n→∞}\{n+1,n+2,…\}^c}\)
故对收敛的\(\{A_n\}\) 有
\(\displaystyle\lim_{n\to\infty}A_n=\big(\lim_{n\to\infty} A_n^c\big)^c\)\(\color{red}{=\displaystyle\lim_{n→∞}\{n+1,n+2,…\}}\)】
故 \(N_{\infty}\color{red}{=\displaystyle\lim_{n→∞}\{n+1,n+2,…\}≠\phi}\)!(红色字体为春风晚霞评述).
至于春春风晚霞是否【看不懂周氏例7,也看不懂例7的上述举一反三无疑】。谁是孬种请参见春风晚霞即将帖的《elim生吞例5,活剥例7殊实可笑!》主帖自酌!
【注:】[1]关于极限集定义可参阅:(北大)周民强《实变函数论》P10 3~4行;(复旦大学)夏道行等《实变函数与泛函分析》上册P8 13~16行;(清华大学)陈景良《近代分析概要》P42 定义4.8;(川大)曹广福《实变函数论与泛函分析》P6定义1;(国防科大)那汤松《实变函数论习题解答》P8第10行;(吉林师大)方嘉琳《集合论》P6定义1;……。 |
|