|
本帖最后由 elim 于 2024-9-23 20:01 编辑
【逐点排查定理】:
\((1)\quad(\forall \alpha\in E\,\exists \beta\in\Lambda \;(\alpha\in A_\beta))\implies E\cap\displaystyle\bigcup_{\lambda\in\Lambda}A_\lambda = E\)
\((2)\quad(\forall \alpha\in E\,\exists \beta\in\Lambda \;(\alpha\not\in A_\beta))\implies E\cap\displaystyle\bigcap_{\lambda\in\Lambda}A_\lambda=\phi\)
【应用】 取 \(E=\Lambda = \mathbb{N},\;A_n=\{m\in\mathbb{N}:m>n\}\,(n\in\mathbb{N})\),
\(\qquad\qquad\)据(2) 立得 \(\displaystyle\bigcap_{n=1}^\infty A_n=\phi\)
|
|