标签：mathbb vert 等势 text 集合 aleph Sets Infinite
无穷集合
集合的比较 ： \(=\) ，\(\le\) \(\quad\quad\) 工具：\(function\)
Definition: 集合等势
\(\vert A \vert = \vert B \vert \Leftrightarrow \exists f:A \to B( f \text{ is bijective})\)
note: 等势是一个具有等价性质的概念。
Definition ：无穷和有穷
\(X\text{ is finite}\Leftarrow \exists n \in \mathbb{N}.\vert X \vert = \vert n \vert = \vert \{0,1,2,....,n-1\}\vert\)
\(X\text{ is infinite}\Leftarrow \forall n \in \mathbb{N}.\vert X \vert != \vert n \vert\)
\(Theorem(\text{Existence of infinite sets})\)
\(\mathbb{N}\text{ is infinite}(\text{easily proved by contradiction.})\)
\(\vert \mathbb{N}\vert = \aleph_0\)
Definition：可数无穷
\(X \text{ is countably infinite} \Leftrightarrow \vert X \vert = \aleph_0\)
Definition:可数
\(X \text{ is countable} \Leftrightarrow X \text{ is finite or countably infinite.}\)
\(Theorem:\vert \mathbb{R}\vert != \aleph_0(\text{无穷也是不一样大的})\)
Proved by diagonal argument.
Definition: \(\le\)
\(\vert A \vert \le \vert B \vert \Leftarrow \exists f:A \to B(f \text{ is injective.})\)
Theorem:可数的另一种证明方式
\(X \text{ is countable.} \Leftrightarrow \vert X \vert \le \aleph_0\)
一些证明技巧和用到的定理
证明集合等势
用到的定理：Cantor-Schroder-Bernstein 定理:如果存在\(f:A \to B \text{ and }g:B \to A\),且它们都是单射，那么一定存在 \(h:A \to B\) 是双射。
2种方法：
- 在两个集合之间构造或者找到一个双射。
- 利用 Cantor-Schroder-Bernstein 定理，在两个集合之间构造或者找到两个单射(两个方向的).
- 证明过程中也可以利用集合等势的等价性对目标做一些转移。
证明集合不等势
用到的定理: Cantor 定理：\(\vert A \vert \lt \vert \mathcal{P}(A) \vert\)
- 证明不等号一边的集合的幂集和另一边的集合等势，这样就证明了两个集合不等势。
- 或者转移到其他常见的集合。
常见的集合的势
\(\vert \mathbb{R} \vert = \vert \mathbb{R}^n \vert = \vert [0,1] \vert = 2^{\aleph_0}\)
\(\vert \mathbb{N}\vert = \vert \mathbb{Z} \vert = \vert \mathbb{Q} \vert = \aleph_0\)
标签：mathbb,vert,等势,text,集合,aleph,Sets,Infinite 来源： https://www.cnblogs.com/Softwarer1412/p/14730191.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。