|
elim 发表于 2024-9-17 05:59
若\(\omega\in\mathbb{N}\), 则\(\small\omega+j\in\mathbb{N},\;\omega+j\not\in A_{\omega+j},\therefore ...
elim的【逐点排查】法既非交集定义,也非求交运算的运算规律,更不是什么外延公理。你最不待见的极限集定义法的集合论依据正是集合论的处延定理!集合论外延公理完整的表叙为〖外延公理(axiom of extensionality):\(\forall z(z∈x\longleftrightarrow z∈y)\longleftrightarrow(x=y)\)这条公理在标准解释下的意思是:对任意的集合x、y,如果x的所有元素也是集合y的元素,并且集合y的所有元素也是集合x的元素,那么集合x等于集合y。(参见清华大学张峰 陶然《集合论基础教程》P49 18~20行)〗。其实【逐点排查法】只是elim为”证明“\(N_∞=\phi\)量身定制的骗术。如根据逐点排查思想根本证明不了周民强《实变函数论》P9页例5。也根本不能合理诠释《集合论》和《实变函数论》中一些基本概念。由elim给出的集列\(\{A_n=\{m∈N:m>n\}\}\)以及你定义的\(N_\infty=\displaystyle\bigcap_{n=1}^\infty A_n=\displaystyle\lim_{n→∞}\{n+1,n+2,…,\}\)\(=\{ω+1,ω+2,…\}\).根据Cantor有穷基数的无穷数列1,2,3,……\(\nu\),ω+1,ω+2,……,很明显\(A_∞=A_{\nu}\)是无穷交\(\displaystyle\bigcap_{k=1}^∞ A_k\)的“最末”一个集合,所以\(A_{ω+j}\)无定义,\(ω+j,j∈\mathbb{N}\)只能是\(A_\nu(即A_∞)\)的元素。elim【若\(\omega\in\mathbb{N}\), 则\(\small\omega+j\in\mathbb{N},\;\omega+j\not\in A_{\omega+j},\therefore\;\omega+j\not\in N_\infty\)若 \(\omega\not\in\mathbb{N},\) 则 \(\omega+j\not\in N_\infty\)】之辩,康托尔《超穷数理论基础》P40~43页讲得很清楚,也很直白.elim和关注\(N_∞\)是否为空的网友可自行查阅,详辩真伪。 其实空与不空的关键在于集合\(\displaystyle\lim_{n→∞}\{n+1,n+2,……\}\)中有没有元素,与ω是不是自然数有什么关系? |
|