elim 发表于 2024-6-27 22:55
令 \(A_m:=\{k\in\mathbb{N}: k> m\},\;\displaystyle N_{\infty}:=\bigcap_{n=1}^\infty A_n,\;E:=\bigcup ...
elim 发表于 2024-6-28 11:55
\((0)\;\;\)对任意自然数\(m,\;\,m\in A_m^c.\;\color{grey}{(A_m^c:=\{n\in\mathbb{N}: n\le m\})}\)
\(( ...
春风晚霞 发表于 2024-6-28 03:11
由\(\{A_k\}\)的通项\(A_k=\{k-1,k+2,k+3,…\}\)知,\(A_k^c=\{1,2,3,…k\}\)易证集合列\(\{A_k^ ...
elim 发表于 2024-6-28 20:51
1) 证得 \(\displaystyle\lim_{n\to\infty}\{n+1,n+2,\ldots\}\ne\varnothing\) 的三种方式已被证明均为 ...
elim 发表于 2024-6-28 21:04
孬种犯孬的根据,永远都是种孬. 这个道理都不懂?
elim 发表于 2024-6-29 11:32
蠢疯就是个孬种,什么叫 \(\displaystyle\bigcap_{k=1}A_k=\varnothing\) 时 \(\mathbb{N}=\displaystyle\b ...
elim 发表于 2024-6-30 23:35
孬种就没读懂过周民强书里那点集论,更没有据此证明过蠢氏非空.不会求交集转而去求极限,不顾极限由交集定 ...
elim 发表于 2024-7-3 01:21
无论孬种咋样扯,它还是个集论白痴:为什么可设 \(B=\displaystyle\bigcup_{n=1}^\infty A_n = A_1\) ?
极 ...
elim 发表于 2024-7-3 07:03
康托的实数理论里哪里有吃狗屎的孬种的 \(\displaystyle\lim_{n\to\infty}\{n+1,n+2,\ldots\}=\aleph_0\) ...
elim 发表于 2024-7-3 07:06
康托的实数理论里哪里有吃狗屎的孬种的 \(\displaystyle\lim_{n\to\infty}\{n+1,n+2,\ldots\}=\alaph_0\) ...
elim 发表于 2024-7-3 08:35
\(B\subseteq\displaystyle\bigcup_{m=1}^\infty A_m^c\)且\(B_m\ne A_m^c\) 所以 \(B=\varnothing\) 的根 ...
elim 发表于 2024-7-4 08:30
德摩根定理说\(\displaystyle\bigcap_{k=1}^\infty A_k=\big(\bigcup_{k=1}^\infty A_k^c\big)^c,\)我证明 ...
elim 发表于 2024-7-5 06:10
孬种需要证明对任意\(\mathbb{N}\)的非空子集\(B\),存在\(\{B_m\}\)使\(B=\displaystyle\bigcup_{m=1}^\inf ...
elim 发表于 2024-7-6 10:44
主贴的证明不需要\(\mathbb{N}\)不包括极限基数的假定.所以这个证明的正确性是绝对的.孬种无法具体指出任 ...
elim 发表于 2024-7-6 14:21
主贴的证明不需要\(\mathbb{N}\)不包括极限基数的假定.所以这个证明的正确性是绝对的.孬种无法具体指出任 ...
elim 发表于 2024-7-6 17:30
周民强不知道孬种算不出集合交,蠢疯不知道自己有多孬。
elim 发表于 2024-7-6 22:53
周民强不知道孬种算不出集合交,孬种蠢疯不知自己种竟然这么孬。
无论蠢疯怎么扯,它仍是个算不出交集的孬 ...
elim 发表于 2024-7-7 20:32
民强不知道孬种算不出集合交,蠢疯不知道自己的种竟这么孬。
无论蠢疯怎么扯,它仍是个算不出交集的孬种。 ...
elim 发表于 2024-7-13 23:02
\(m\not\in A_m\,(\forall m\in\mathbb{N})\). 故没有自然数属于每个\(A_n\)即\(N_{\infty}=\varnothing\). ...
elim 发表于 2024-7-14 06:43
\(m\not\in A_m\,(\forall m\in\mathbb{N})\). 故没有自然数属于每个\(A_n\)即\(N_{\infty}=\varnothing\). ...
| 欢迎光临 数学中国 (http://www.mathchina.com/bbs/) | Powered by Discuz! X3.4 |