“集合”的版本间的差异

2019年5月14日 (二) 01:53的版本

本页面内容所采用的数学符号遵循IMSS规范。

一些可区分的互不相同的东西构成的整体称为集合

集合的表示形式

1.枚举法

N={1,2,3}

2.概括集合中元素的性质

A={x|x≥20}

子集、集合与相等

定义1设A、B为集合，如果A中的每个元素都属于B，则称A是B的子集记作A⊆B

A,B A⊆B,（B⊇A） x∈A,x∈B

真子集

A⊂B ⇔ A⊆B，∃x,x∈B,使x∉A

A⊄B ⇔ ∃x∈A，x∉B

显然

A⊆A
A⊆B,B⊆C⇒A⊆C
Ø⊆A

康托悖论

主条目:康托悖论

M：所有集合的集合

2M⊆M |2M|≤|M|,|M|<|2M|

集合的运算

并运算

设A,B为集合，A∪B={x|x∈A ∨ x∈B}

由属于A∨属于B的一切元素组成的集合称为A与B的并，记作A∪B

x∈A∪B⇔x∈A∨x∈B

x∉A∪B⇔x∉A∧x∉B

定理：设A,B,C为集合⇒

A∪A=A
A∪B=B∪A
(A∪B)∪C=A∪(B∪C)
Ø∪A=A
A∪B=B⇔A⊆B

设A₁,A₂......A_n为集，他们的并记为：解析失败 (带SVG或PNG备选的MathML（建议用于现代的浏览器和辅助工具）：从服务器“http://test.largeq.cn/api/rest_v1/”返回无效的响应（“Math extension cannot connect to Restbase.”）：): {\displaystyle \bigcup_{i=1}^n A_i}

解析失败 (带SVG或PNG备选的MathML（建议用于现代的浏览器和辅助工具）：从服务器“http://test.largeq.cn/api/rest_v1/”返回无效的响应（“Math extension cannot connect to Restbase.”）：): {\displaystyle x\in\bigcup_{i=1}^n A_i \Longleftrightarrow \exists i,1\leqslant i\leqslant n , x\in A_i}

解析失败 (带SVG或PNG备选的MathML（建议用于现代的浏览器和辅助工具）：从服务器“http://test.largeq.cn/api/rest_v1/”返回无效的响应（“Math extension cannot connect to Restbase.”）：): {\displaystyle x\in\bigcup_{\xi \in i} A_{\xi}\Longleftrightarrow\exists\xi\in I,x\in A_\xi}

交运算

解析失败 (带SVG或PNG备选的MathML（建议用于现代的浏览器和辅助工具）：从服务器“http://test.largeq.cn/api/rest_v1/”返回无效的响应（“Math extension cannot connect to Restbase.”）：): {\displaystyle A\cap B=\{x|x\in A \and x\in B \}}

解析失败 (带SVG或PNG备选的MathML（建议用于现代的浏览器和辅助工具）：从服务器“http://test.largeq.cn/api/rest_v1/”返回无效的响应（“Math extension cannot connect to Restbase.”）：): {\displaystyle x \in A \cap B\Longleftrightarrow x \in A \and x \in B}

解析失败 (带SVG或PNG备选的MathML（建议用于现代的浏览器和辅助工具）：从服务器“http://test.largeq.cn/api/rest_v1/”返回无效的响应（“Math extension cannot connect to Restbase.”）：): {\displaystyle x\notin A \cap B\Longleftrightarrow x\notin A\or x \notin B}

定理2：设A，B，C为集合，则

解析失败 (带SVG或PNG备选的MathML（建议用于现代的浏览器和辅助工具）：从服务器“http://test.largeq.cn/api/rest_v1/”返回无效的响应（“Math extension cannot connect to Restbase.”）：): {\displaystyle A\cap A=A}
解析失败 (带SVG或PNG备选的MathML（建议用于现代的浏览器和辅助工具）：从服务器“http://test.largeq.cn/api/rest_v1/”返回无效的响应（“Math extension cannot connect to Restbase.”）：): {\displaystyle A\cap B=B\cap A}
解析失败 (带SVG或PNG备选的MathML（建议用于现代的浏览器和辅助工具）：从服务器“http://test.largeq.cn/api/rest_v1/”返回无效的响应（“Math extension cannot connect to Restbase.”）：): {\displaystyle \varnothing\cap A=\varnothing}
解析失败 (带SVG或PNG备选的MathML（建议用于现代的浏览器和辅助工具）：从服务器“http://test.largeq.cn/api/rest_v1/”返回无效的响应（“Math extension cannot connect to Restbase.”）：): {\displaystyle A\cap (B\cap C)=(A\cap B)\cap C}
解析失败 (带SVG或PNG备选的MathML（建议用于现代的浏览器和辅助工具）：从服务器“http://test.largeq.cn/api/rest_v1/”返回无效的响应（“Math extension cannot connect to Restbase.”）：): {\displaystyle A\cap B=A\Longleftrightarrow A\subseteq B}

解析失败 (带SVG或PNG备选的MathML（建议用于现代的浏览器和辅助工具）：从服务器“http://test.largeq.cn/api/rest_v1/”返回无效的响应（“Math extension cannot connect to Restbase.”）：): {\displaystyle x\in \bigcap_{i=1}^nA_i\Longleftrightarrow\forall i,1\leqslant i\leqslant n,x\in A_i}

@@ 第65行： / 第65行： @@
 # <math>A\cap (B\cap C)=(A\cap B)\cap C</math>
 # <math>A\cap B=A\Longleftrightarrow A\subseteq B</math>
+<math>x\in \bigcap_{i=1}^nA_i\Longleftrightarrow\forall i,1\leqslant i\leqslant n,x\in A_i</math>