已知等价关系求商集_等价关系、商集和集合的划分.pdf
等价关系、商集和集合的划分
2009年7月 保定学院学报 Jul.,2009
0FBAODINGUNIVERSITY
第22卷第4期 JOURNAL VoL22No.4
文章编号:1674.2494【2009)04.0023-02
等价关系、商集和集合的划分
许会峰1,尚玉伟2
(1.保定学院数学与计算机系,河北保定071000;2.保定广播电视大学,河北保定071000)
摘要:证明了集合上的等价关系与由此产生的商集所确定的等价关系的同一性;证明了集合
的划分与它确定的等价关系所产生的商集的同一性.
关键词:等价关系;集合的划分;商集
中图分类号:0158 文献标识码:A
1预备知识
定义1Il】设尼黾集合A上的二元关系,如果关系剐司时具备自反性、对称性和传递性,则称关系R为等价
关系.
定义2嘲设S是一个集合,A。,A:,…,AJ,I是它的非空子集,如果满足下列条件:
1)所有的Ai均是分离的,亦即对所有的i莉(i=l,2,…,re;j=1,2,…,m)若i巧,则A;nAJ=∥;
2)AlUA2U…UA-.=S.
则集合A=似,,A:,…,A。l称为S的一个划分.而A。,A:,…,A.,称为这个划分的块.
这个集合称为石关于只所生成的等价类,石叫做[xh的表示元素.
引理l嗍非空集合x上的等价关系刚听诱导的等价类的集合{BkkEx}亦即x关于R的商集X/R构成x的
一个划分.
m)可以产生等价关系K=
引理2田集合X上的一个划分可以产生一个等价关系,即划钔=似。,A:,…,A
(A1xAI)U(A2xA2)U…U(A州。).
2主要结果
,EX
证明I)首先证明Uhl洋[x]sC_R.
,EX
V(,,,彳)EU(扛k×kk),j菇∈x,使得(,,,z)∈lkkk,所以有yebk,z∈陆k,进而xRy_gi.xRz.
,EX
c_R
#E工
得证.
2)再证明R
C:U([xl矗xbk).
zEX
收稿日期:2009-04-Il
作者简介:许会峰(1965一),男,河北望都人,理学硕士,副教授.
万方数据
24 保定学院学报 2009年第4期
V(,,,:)ER,]ffyR孑,由等价类定义得z
所以R∈U(BkBk)得证.由1)、2)定理l得证.
1EX
ftI
2,…,Am}.
关系产生的商集x/x={txl出Ex}仍然是{A。,A:,…,Aml,且P{[xklx∈X}={Ai,A
证明1)首先证明lh】出∈Xl∈IA-,A2,…,A0.
Ai=X,又因为
V[xks{Bkk∈xl,因为似。,A:,…,Am)是集合x上的一个划分,所以由划分的定义2得U
菇EX,所以了A,∈似。,A2,…,A0,使楸∈A户下面只需证明必,就是bk,星P[xk=Ay.
i)Vye
已知等价关系求商集_等价关系、商集和集合的划分.pdf相关推荐
- 已知坐标求方位角_【干货】RTK视频实操 | 求转换参数详解和七点注意事项!
RTK视频教学,『求转换参数』,技术员结合测量一线实操经验,运用工程之星5.0软件为大家讲解如何求转换参数,以及求转换参数需要注意哪些事项. 求转换参数操作 通常情况下,科力达工程之星直接输出的坐标为 ...
- 已知坐标求方位角_由方位角高度角求赤经赤纬
接天体方位角和高度角的计算 - 且听风吟的文章 - 知乎 ,已知观测者的位置(地理坐标(b,l)),天体的位置也已知(赤道坐标(α,δ)),可以计算在某一给定时间(utc(y-m-d,h:m:s))天 ...
- 三角形已知边长求高公式_五年级数学:“长方形、正方形、三角形、平行四边形、梯形” 知识重点、难点全解析,附习题!...
张老师 - 5年级(多品小学教育) 里辛镇中心小学谭老师和冰溪镇县后山小学谭老师需要的这份学习资料现在分享. 本资料已制作电子版 下载码是:5odc7n2i 多边形的面积知识点 1公式 长方形:周长= ...
- 已知坐标增量求坐标方位角_桥梁桩基坐标计算原理
桥梁桩基坐标计算是在施工图中找到已知设计参数每个桥墩的墩台中心设计桩号.法向偏距.走向偏角和每个桩基的测量坐标,施工之前,应先验算每个桩基坐标数据,并与设计坐标相符后才能进行桥墩桩基工作. (1) 计 ...
- 已知旋转矩阵求角度_如何推导旋转矩阵
极坐标系和直角坐标系是等价的,在极坐标系下,一个点可以表示为(r,θ),在直角坐标系下,表示为(x,y).选取哪种坐标系是看哪种坐标系比较方便,在直角坐标系下处理直线.平移等非常方便:在极坐标系下,旋 ...
- 已知坐标增量求坐标方位角_详解坐标计算的方式!值得收藏!
在工程施工过程中我们常常需要进行复杂的计算,应对于这样的问题,市面上出现了许多的专用测量软件,但因为其质量参差不齐,尤其是对于坐标的实际检查比较困难,容易让人走许多没必要的弯路,所以小编特意为各位带来 ...
- 已知坐标增量求坐标方位角_测量员经常应用到的坐标测量!干货!
坐标测量是用来测量施工目标点或者离散点在某一个施工坐标系下的坐标,它最主要的技术方法有自由设站,GPS单点定位法,CSRTK法,激光跟踪法,在用以上方式计算的时候需要用到的仪器设备主要有全站仪,激光跟 ...
- 已知坐标求方位角_震惊,up主居然能默写球坐标拉普拉斯算子!
首先说明一下,我并不是标题党(滑稽.jpg),既然起了这个标题,就一定会教大家怎样默写球.柱坐标下的拉普拉斯算子.散度旋度这样根本记不住的东西,不过在这之前,我们需要回顾或者了解一些知识,当然直接跳到 ...
- 已知分布函数求概率密度例题_高中数学必修一函数知识点总结
同学们,今天开始讲解函数章节学习,函数这章极其重要,因为函数是高中数学重要的枢纽章节,高中数学除了立体几何和概率统计和函数没有关系之外,所有章节多多少少和函数有关系,所以函数学不好高中数学很难突破10 ...
- 已知序列求蝶形运算_在N=32的基 2 时间抽取发 FFT 运算流图中,从 到 需______级蝶形运算过程。 (4.0分)_学小易找答案...
[单选题]互相关函数性质正确的是: [计算题]两个有限长的复序列 x[n] 和 h[n] ,其长度分别为 N 和 M ,设两序列的线性卷积为 y[n]=x[n]*h[n] ,回答下列问题: (1) 序 ...
最新文章
- JUnit测试类完成后事务是默认 回滚的。只能查询数据,不能增删改。
- CodeAbstract
- STM32----摸石头过河系列(一)
- http://selectorgadget.com/
- 苹果考虑3月8日或前后发布5G iPhone SE
- python `__hash__`
- Python 分析在德的中国程序员,告别 996 ?
- 新冠感染池检测选取最优池检测人数(概率模型理论公式+蒙特卡洛matlab仿真)
- 4G内存为什么会少800M
- 使用GameKit实现IOS设备之间的蓝牙通信
- CSV写入时指定表头
- SVN打标签方法及在此过程中的问题处理
- 计算机限制打开外接硬盘,在win7中,为什么打开磁盘出现限制提示?
- linux与window双引导U盘启动
- 中文版Windows XP升级SP3安装方法
- 【 Ecode 流程表单开发 】- 2 流程表单协同区
- Linux下使用云笔记及OneNote
- php书籍免费下载,《坐即瘦》_坐即瘦_NEWS下载网
- linux脚本跳出循环语句,跳出循环的命令
- 算法:食物链(并查集)