已知等价关系求商集_等价关系、商集和集合的划分.pdf

本文探讨了等价关系的性质,证明了等价关系如何定义商集,以及集合的划分如何与商集相对应。通过引理和证明,展示了等价关系如何诱导集合的划分,以及划分如何生成等价关系。讨论了商集在集合论中的重要角色,并提供了相关数学概念的详细解释。
摘要由CSDN通过智能技术生成

等价关系、商集和集合的划分

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=似&#x

给定一个关系集合R和元素a,可以用以下步骤来求出a的等价类商集: 1. 定义a关于R的等价类为{b | (a,b) ∈ R的自反传递闭包}。这个等价类包含所有与a相关联的元素,即它们之间存在R的一条自反传递闭包路径。 2. 可以使用深度优先搜索(DFS)或广度优先搜索(BFS)来求解R的自反传递闭包,得到所有与a相关联的元素。 3. 定义R的商集为所有关于R等价类集合。可以遍历所有元素,并对于每个元素,如果它不属于任何已知等价类,就使用DFS或BFS求解它的等价类,并将等价类添加到商集中。 下面是一个Python代码示例,用于求解给定关系集合R和元素a的等价类商集: ```python def find_equivalence_class(R, a): # 求解R的自反传递闭包 closure = R.copy() for k in closure: for i in closure: for j in closure: if (i,k) in closure and (k,j) in closure: closure.add((i,j)) # 求解a的等价类 eq_class = set([a]) to_check = [a] while to_check: current = to_check.pop() for (i,j) in closure: if i == current and j not in eq_class: eq_class.add(j) to_check.append(j) return eq_class def find_quotient_set(R): # 遍历所有元素,求解它们的等价类 quotient_set = [] covered = set() for (i,j) in R: if i not in covered: eq_class = find_equivalence_class(R, i) quotient_set.append(eq_class) covered.update(eq_class) return quotient_set ``` 这个代码示例中,find_equivalence_class函数用于求解给定元素的等价类,而find_quotient_set函数用于求解关系集合商集。其中,closure表示关系集合R的自反传递闭包。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值