第五章、特殊关系

第五章、特殊关系
    相容关系：R是自反的，对称的
        集合的覆盖就是一堆集合经过并集运算后，可以称为原集合
        如：{1，2，3，4}的覆盖是{{1，2，3}{1，4}{2}}   可知集合的覆盖是不唯一的

等价关系（用来分类）：R是自反的，对称的，传递的
    等价类：[x]R={y|y属于A,<x,y>属于R}
    生成元：[x]R
    商集：R是非空集合A上的等价关系，由R确定的一切等价类构成的集合，称为集合A上关于R的商集，记为A/R
        A/R＝{[x]R|(x∈A)} 

    集合的划分：A对R的商集A/R是A的一个划分
        若一个集合的划分包含s1,s2,s3,那么R=(s1xs1)并(s2xs2)并(s3xs3)必是一个等价关系
        如：{1，2，3，4}的划分是{{1，2}，{3}，{4}}


次序关系：
    拟序关系：R是反自反、反对称和传递的，记为“＜”，读作“小于”
    偏序关系（用来排序）：R是自反的、反对称的和传递的，记为“≤”，读作“小于等于”
        可比：如果两个元素满足偏序关系，则是可比的
        覆盖：如果两个元素满足偏序关系，并且两个元素间不存在一个z（x<z<y)
        哈斯图：取消所有点的自环，取消所有由于传递性而出现的边，箭头的方向全部向上，然后去掉箭头
            最大元，最小元（一个子集中是唯一或没有的）：哈斯图中最上面的唯一元素或者哈斯图中的最下面的唯一元素
            极大元，极小元（不一定是唯一的）：哈斯图中最上面的元素或者哈斯图中最下面的元素
            上界，下界：原集合中的a，满足x≤a或x≥a的所有元素
            上确界，下确界：原集合中的a，满足x≤a或x≥a的唯一元素，即a≤a'或a≥a'


    全序关系：如果一个偏序关系中两两都可比，那么就是全序关系
        哈斯图中是一条线

    良序关系：如果一个全序集的任何一个非空子集都有最小元素，那么就是一个良序集

函数：
    基本概念：
        对于每个x属于A，都存在唯一的y属于B，使得<x,y>属于f
        A的定义域domf=A，f(A)是值域，记为ranf，R:A->B的域fldR=domf∪ranf
        类型：
            单射：任意两个x都有不同的f(x)
                |A|<=|B|

            满射：任意一个f(x)都有一个x对应
                |A|>=|B|

            双射：既是单射又是满射
                |A|=|B|



    函数的运算：
        符合运算：f(x):A->B   g(x):B->C  (g ∘ f )(x) :A->C
            条件是domf被包含于domg

        逆运算：f⁻¹(x)，A->B变成B->A
            条件是f必须为双射