集合代数（一）

原创已于 2023-12-25 05:14:06 修改 · 902 阅读

7 ·

本内容遵循CC 4.0 BY-SA版权协议

GEO检测

标签

#机器学习 #神经网络 #数学建模

于 2023-12-25 05:13:34 首次发布

朴素集合论

很难给予集合的概念一个定义，无非是为“集合”这个词语替换同义词，如系统、类等，因而我们尝试用公理化方法来定义集合的概念。这有必要确定足够广泛的集合基本属性，并将其视为公理系统。

罗素悖论：假设集合 $M^{}$ - 所有集合的集合，不包含自身作为元素。如果 $M\notin M$ ,那么根据集合 $M^{}$ 的定义，必须满足 $M\in M$ 。另一方面，如果 $M\in M$ ，那么集合不包含自身作为元素，这意味着 $M\notin M$ 。

理发师悖论：店长允许理发师仅为那些不会自己刮胡子的人刮胡子，那么理发师该给自己刮胡子吗？

公理集合论

集合论中有许多公理可以避免已知的矛盾。其中最常用的两个是哥德尔-伯纳斯公理系统和策梅洛-弗兰克尔公理系统。

哥德尔-伯纳斯公理系统将“所有集合”划分为两种类型：“真实”集合（非正常类）和“超集”（正常类）。不同类型集合(类)之间的差异体现在操作它们的规则上。对于“超集”的定义要严格得多（例如它自己的类不能是任何类的元素）。

策梅洛-弗兰克尔公理系统禁止使用“超集”，并且不承认使用自然数的集合论规则对它们进行的任何运算是“合乎规则的”。

公理集合论是局部公理理论的基础。局部公理与与研究特定数学空间相关（模型、结构等）。数学空间有序对（集合，结构）

选择公理和顺序关系

假设 $M^{}$ 是一个集合， $2^{M}$ 是它的布尔值（M所有子集的集合）。如果 $f(A) \in A$ 对于任何非空集合 $A \in 2^{M}$ ，则映射 f ： $2^{M}$ $\rightarrow$ $M^{}$ 被称为选择函数。

选择公理。对于任何非空集合M，都有选择函数 $2^{M}$ $\rightarrow$ $M^{}$ 。

假设 $M^{}$ 是一个集合， $M^{2}$ --笛卡尔积 $M \times M$ 。任何子集 $\chi \subseteq M^{2}$ 被称为集合 $M^{}$ 上的二元关系。如果满足以下条件，关系 $\chi := \left \{ \left ( x,y \right ):x\prec y \right \}\subseteq M^{2}$ 被称为偏序关系：

$x\prec y$ 可排除 $x = y$ （不对称性）
如果 $x\prec y$ 和 $y\prec z$ ,那么 $x\prec z$ （传递性）

如果按照偏序关系的定义，集合 $M^{}$ 被称为偏序集合。偏序集合的表示法 $\left \langle M;\prec \right \rangle$ 。

例1. 任何集合 $M^{}$ 的布尔值 $2^{M}$ 是通过包含进行偏序地： $X\prec Y$ 当且仅当 $X\subset Y$ 。

如果以下三种关系之一成立，则偏序集的两个元素可比较：

$x\prec y$ ， $y\prec x$ ， $x = y$

如果以下两种关系之一成立： $x\prec y$ 或 $x = y$ ，则写作 $x\preceq y$ 。如果一个偏序集的任意两个元素可比较，这个偏序集被称为有序集。如果 $x\preceq y$ 对于任意 $y\in X$ ，则偏序集 $M^{}$ 的子集 $A$ 的元素 $x$ 称为集合 $X$ 中的最小元素。如果任意非空子集 $X \subseteq M$ 具有最小元素，则有序集合被称为完全有序。