- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
二序偶和笛卡儿积
3-4 序偶与笛卡儿积 方法总结 方法总结 1. 等价的证明 A?B ? (A×C?B×C) (A×C?B×C) ? A?B * * 1. 序偶 定义1: 序偶(Ordered Pair) 两个具有固定次序的客体组成的集合,记作 x,y。(x称为第一元素,y称为第二元素) 例如: 上,下、父,子、F,0、二维平面上点的坐标等。 {a,b}={b,a} a,b≠b,a 注意: (1)序偶与集合不同,其元素具有次序。 (2)序偶x,y的两个元素可以来自同一集合,也可来自不同 集合。 定义2: 两个序偶相等,x,y=u,v, 当且仅当 x=u, y=v。 n元组 n元组 x1,…, xn = x1 ,…, xn-1,xn是一个序偶。 定义3 笛卡尔积(Cartesian Products) 令A、B是任意两个集合,若序偶的第一成员是A的元素,第二成员是B的元素,所有这样的序偶组成的集合, 称为集合A和B的笛卡尔乘积或直积。记作A×B。 A×B={x,y| (x∈A)∧(y∈B) } 三元组 x, y, z = x, y,z , 第一元素是一个序偶。 第一元素是(n-1)元序偶 2. 笛卡儿积(直积) x,y,z≠x,y,z 笛卡尔积是 集合,以序 偶为元素! 笛卡尔积举例 例: A={a,b},B={1,2,3}, 求A×B,B×A和(A×B)∩(B×A)。 解: A×B={a,1,a,2,a,3,b,1,b,2,b,3} B×A={1,a,1,b,2,a,2,b,3,a,3,b} (A×B)∩(B×A)= ? 笛卡尔积不 满足交换律 ? 满足结合律吗? (A×B)×C ≠ A×(B×C) A=B=C=?呢 A=B=C≠?呢 n元笛卡儿积 A1×A2×…×An =(A1×A2×…×An-1)×An ={x1,x2,…,xn|(x1∈A1)∧(x2∈A2)∧…∧(xn∈An)} (A×B)×C={a,b,c|a,b∈A×B∧c∈C} ={a,b,c|a∈A∧b∈B∧c∈C} A×(B×C)={a,b,c|a∈A∧b,c∈B×C} 非三元组 注意:|A×B|=|A|×|B| ? ×A=B× ? = ? 定理3-4.1 笛卡儿积在并与交上可分配律 运用×的定义和数理逻辑中的等价式进行证明 ×对∩、∪的分配律 设A,B,C是任意三个集合,则有 (1)A×(B∪C)=(A×B)∪(A×C) (2)A×(B∩C)=(A×B)∩(A×C) (3)(A∪B)×C=(A×C)∪(B×C) (4)(A∩B)×C=(A×C)∩(B×C) x,y∈A×B x∈A∧y∈B 分配率证明 证明:设任一序偶x,y∈A×(B∪C),则 x,y∈A×(B∪C) ?(x∈A) ∧ (y∈B∪C) ?(x∈A)∧(y∈B∨y∈C) ?(x∈A ∧y∈B)∨(x∈A∧y∈C) ? x,y∈A×B∨x,y∈A×C ? x,y∈(A×B)∪(A×C) ∴A×(B∪C)=(A×B)∪(A×C) 证明 (1) A×(B∪C)=(A×B)∪(A×C) 定理3-4.2 若C≠ ? , 则 A?B? A×C?B×C ? C×A?C×B 定理证明 ∴A?B ? C × A ? C × B ∴ C×A ? C×B ? A?B 证A?B? C×A ? C×B 证明:当A?B,对任意x,y设 ?(x∈C ∧y∈A) ? (x∈C ∧y∈B) ? x,y∈C×B 反之,当C×A?C×B,因为C≠ ? ,设y ∈C,则当 故 A?B? C×A ? C×B ? (y∈C ∧x∈A) ? y,x∈C×A ? y,x∈C×B ?(y∈C∧x∈B)?x∈B x∈A x,y∈C×A “包含”的证明 定义出发,数理逻辑中的方法 区分是什么样的集合之间的包含,以待证明的结论来定。 例题:设A、B、C、D为四个任意集合, 则判断下列命题真假: 若A?C,B?D ,则A×B?C×D 若A×B?C×D,则A?C,B?D。 为真,P104 定理3-4.3 为假,若A或B为空集 证明 若A?C,B?D ,对?x, y,设 x,y∈A×B ?(x∈A ∧y∈B)
您可能关注的文档
最近下载
- 津津有味·读经典Level3《弗兰肯斯坦》译文.docx
- Zippo2008原版年册完整集合DE系列.pdf VIP
- 2025年体育产业数字化转型与体育赛事数据安全与隐私保护报告.docx
- 纪委监委考试题及答案.doc VIP
- 基于“劳动育人”理念的家校共育小学生劳动素养的实践研究.docx VIP
- 2025年价格鉴证师考试题库(附答案和详细解析)(1010).docx VIP
- 相声艺术讲座——基本结构.pdf VIP
- 雨课堂学堂在线《生心理健康教育(广州中医药)》学堂云单元测试考核答案.pdf
- 黄金分割(北师大版)市公开课一等奖省赛课获奖PPT课件.pptx VIP
- 运输服务优化方案.pdf VIP
原创力文档


文档评论(0)