集合论_5.ppt

集合论 基本概念 集合、子集、集合运算 有序n元组与笛卡尔积、多重集 关系 概念、性质、运算、闭包 等价关系与集合划分 偏序关系与偏序集 函数、函数运算 无限集 势、可数集 §６　偏序关系与偏序集 定义１　设R是A上的关系，如果R是自反的、反对称的、传递的，则称R是A上的偏序关系，简称偏序． 偏序关系习惯上用“≤”表示，偏序关系“≤”的逆“≤-1”则用“≥”表示． 例：实数的大于等于，集合包含，整除关系，… 设P为一集合，如果在P上定义了一个偏序关系≤，则称P在偏序关系≤下构成一偏序集，记为〈P，≤〉，也简记为P 对偏序集〈P，≤〉，如果a，b∈P满足a≤b，则说在偏序集P中（或在偏序关系≤下）a “小于等于” b，这时也说，b “大于等于” a． 在偏序集〈P，≤〉中，若a≤b，且a≠b，则记为a＜b，并说a小于b． 设〈P，≤〉是一个偏序集，若a，b∈P满足a＜b，且不存在c使a＜c＜b，则称b盖住a, 或称b是a的直接前辈，a是b的直接后辈. 〈P，≤〉的Hasse图 根据偏序关系 ≤ 的特点，可以对其关系图进行简化 （１）　省略自环 （２）　省略长弧，当且仅当c盖住a时，画一条从a到c的弧． （３）　省略箭头． 设〈P，≤〉是一个偏序集，? x，y∈P，若x≤y或y≤x，称x，y是可比较的，否则称x，y不可比较． 定义３　设≤是P上的偏序，如果对任意x，y∈P，总有x≤y或者ｙ≤x，称≤为全序关系，简称全序．当≤是全序时，集合〈P，≤〉称为全序集． 定义４　设〈A，≤〉是偏序集．若B?A且〈B，≤〉是全序集，则称B为链． 定义５　设〈P，≤〉是一个偏序集，a∈P．如果对任意x∈P，均有a≤x，则称a是〈P，≤〉的最小元；如果对任意x∈P均有x≤a，则称a是〈P，≤〉的最大元． 定义６　设〈P，≤〉是一个偏序集，a∈P． 如果 “不存在元素x∈P，使a＜x”， 则称 a是〈P，≤〉的极大元； 如果 不存在元素x∈P，使x＜a， 则称 a为〈P，≤〉的极小元． 定理１　设〈P，≤〉是一个偏序集，若P中最大（小）元存在，则必唯一． 定理２　偏序集〈P，≤〉中的最大（小）元，必是唯一极大（小）元． 定理３　设〈P，≤〉是有限偏序集，若P中存在唯一极大（小）元a，则a必为最大（小）元． 定义7　设〈P，≤〉是偏序集，A ? P，a∈P，如果?x∈A，都有x≤a，称a为A的上界．如果?x∈A，都有a≤x，称a为A的下界． 定义８　设〈P，≤〉是偏序集，A ? P，若a是A的上界，且对A的任意上界b，有a≤b，则称a为A的最小上界（上确界），若a是A的下界，且对A的任意下界b，有b≤a，则称a为A的最大下界（下确界）． A的最小上界和A的最大下界分别用supA和infA表示． 定理4　设A是偏序集〈P，≤〉的子集，若A的最小上界（最大下界）存在，则必唯一． 作业 习题六 2，4，7，9 * {a, b, c} Φ {a} {c} {b} {a,c} {a,b} {b,c} Φ {a} Φ {a} {b} {a,b} 6 2 3 24 36 12