511
个编辑
更改
集合
，无编辑摘要
===笛卡尔积===
主条目：[[笛卡尔积]]
==有穷集合的基数==
===映射===
''主条目：[[映射]]''
设X,Y为集合，如果存在一个法则f，使得在法则f下，对X中的每个元素x，在Y中有唯一的一个元素y与x对应，则称f为X到Y的映射，记为
<math>f:X\rightarrow Y</math>
===有穷集合===
设X为集合，如果X＝∅，则X是有穷的，且其基数为0，记作|X|=0；
如果∃n∈N，使得X与{1,2,...n}之间存在一个一一对应则x也是有穷的，且其基数|X|=n
===计数法则===
设A,B,C为集合
# <math>A\cap B=\empty </math>，<math> |A\cup B|=|A|+|B|</math>
# <math>|A\times B|=|A|\times |B|</math>
====容斥原理（逐步淘汰原理）====
|A∪B|=|A|+|B|-|A∩B|
|A∪B∪C|=|A|+|B|+|C|-|A∩B|-|A∩C|-|B∩C|-|A∩B∩C|
<math>\exists x\in A \cup B </math>
# <math>x\in A,x\notin B</math>
# <math>x\in B,x\notin A</math>
# <math>x\in A,x\in B</math>
<math>|A^c\cap B^c\cap C^c|=|S|-|A\cup B\cup C|</math>