\(\Large\textbf{论数学意义上的吃狗屎}\)

春风晚霞

elim 发表于 2024-1-25 15:03
自然数集是无穷集，所论交集就非空？春风先生自曝老痴还挺娴熟啊，哈哈

就是。

elim

春风晚霞 发表于 2024-1-24 23:14
elim先生倒是懂得不少，可惜连自然数集是无限集都不知道！

自然数集是无穷集，所论交集就非空？春风先生自曝老痴还挺娴熟啊，哈哈

春风晚霞

elim 发表于 2024-1-25 19:20
自然数集是无穷集，所论交集就非空？春风先生自曝老痴还挺娴熟啊，哈哈

由于\(\displaystyle\lim_{k \to \infty}A_k=\{m|m>k\;\;m,k∈\mathbb{N}\}≠\phi\)中的那个k是存在的，否则逆用皮亚诺公理，则有小于k的一切自然均不存在，显然与事实不符.所以只要k存在，那么k的后继k+1就一定存在，从而k+1的后继(K+1)+1=k+2就一定存在……。所以，m=k+1；m=k+2；m=k+3；……都大于K！

elim

春风晚霞 发表于 2024-1-25 03:18
当\(\;\;\displaystyle\bigcap_{k=1}^∞ \{m|m>k\;\;m,k∈\mathbb{N}\}≠\phi\)时，\(\{m|m>k\;\;m,k∈\m ...

为什么有\(\;\;\displaystyle\bigcap_{k=1}^∞ \{m|m>k\;\;m,k∈\mathbb{N}\}≠\phi\)的时候？
若正整数\(\;n\in \displaystyle\bigcap_{k=1}^∞ \{m|m>k\;\;m,k∈\mathbb{N}\}\)，
则对每个正整数\(k\)都有\(n\in\{m|m>k\;\;m,k∈\mathbb{N}\}\)．
取\(k=n\)得\(n\in\{m|m>n\;\;m,n∈\mathbb{N}\}\), 这不可能．
所以\(\;\displaystyle\bigcap_{k=1}^∞ \{m|m>k\;\;m,k∈\mathbb{N}\}\)不含正整数．
即\(\;\displaystyle\bigcap_{k=1}^∞ \{m|m>k\;\;m,k∈\mathbb{N}\}=\varnothing\)

春风晚霞

elim 发表于 2024-1-25 20:54
为什么有\(\;\;\displaystyle\bigcap_{k=1}^∞ \{m|m>k\;\;m,k∈\mathbb{N}\}≠\phi\)的时候？
若正整数\( ...

没错。【给定n∈\(\{m|m>n\;\;m，n∈\mathbb{N}\}\)表示大于n的正整数的全体，所以不含n】，然而却不能因此说明\(\{m|m>n\;\;m，n∈\mathbb{N}\}=\phi\)呀！因为\(\mathbb{N}\)是无限集，n∈\(\mathbb{N}\)，那么n的后继n+1∈\(\mathbb{N}\)，( n+1)的后继n+2∈\(\mathbb{N}\)，(n+2)的后继(n+3)∈\(\mathbb{N}\)……你能得到\(\displaystyle\bigcap_{k=1}^∞ \{m|m>n\;\;m，n∈\mathbb{N}\}=\phi\)吗？

elim

春风晚霞 发表于 2024-1-25 14:56
没错。【给定n∈\(\{m|m>n\;\;m，n∈\mathbb{N}\}\)表示大于n的正整数的全体，所以不含n】，然而却不能因此 ...

n只要不属于一个集，就不属于这个集所参与的交集．由于n是任意给定的，所以这个交不含任何正整数．