| 标题 | 子集符号的使用方法 |
| 符号 | 命题 1：空集是任意集合的子集。 证明：给定任意集合 A，要证明Φ是 A 的子集。这要求给出所有Φ的元素是 A 的元素；但是，Φ没有元素。 对有经验的数学家们来说，推论 "Φ没有元素，所以Φ的所有元素是 A 的元素" 是显然的；但对初学者来说，有些麻烦。 因为Φ没有任何元素，如何使"这些元素"成为别的集合的元素？ 换一种思维将有所帮助。 为了证明Φ不是 A 的子集，必须找到一个元素，属于Φ，但不属于 A。 因为Φ没有元素，所以这是不可能的。因此Φ一定是 A 的子集。 这个命题说明：包含是一种偏序关系。 命题 2：若 A，B，C 是集合，则： 自反性: A ⊆ A 反对称性: A ⊆ B 且 B ⊆ A 当且仅当 A = B 传递性: 若 A ⊆ B 且 B ⊆ C 则 A ⊆ C 这个命题说明：对任意集合 S，S 的幂集按包含排序是一个有界格，与上述命题相结合，则它是一个布尔代数。 命题 3：若 A，B，C 是集合 S 的子集，则： 存在一个最小元和一个最大元： Φ ⊆ A ⊆ S (that Φ ⊆ A is Proposition 1 above.) 存在并运算: A ⊆ A∪B 若 A ⊆ C 且 B ⊆ C 则 A∪B ⊆ C 存在交运算: A∩B ⊆ A 若 C ⊆ A 且 C ⊆ B 则 C ⊆ A∩B 这个命题说明：表述 "A ⊆ B " 和其他使用并集，交集和补集的表述是等价的，即包含关系在公理体系中是多余的。 命题 4: 对任意两个集合 A 和 B，下列表述等价： A ⊆ B A ∩ B = A A ∪ B = B A − B = B′ ⊆ A′ |
| 随便看 |
|
符号大全网提供特殊符号、表情符号、符号图案、符号表情、语言符号、网名符号、货币符号、标点符号、数学符号、钢筋符号、图纸符号、花样符号、符号点等中英文符号。