PART IV · 关系、函数与基数

11 · 关系

把有序对的集合读成关系,研究自反、对称、传递、等价关系、等价类、划分、模 n 整数及集合间关系。

213-234完整原书

BEFORE READING

学习导读

先用这页确定本章任务,再进入未改动的英文原书。导读只负责给你问题和抓手,不替代作者的定义、例题、证明与练习。

本章目标

  • 用有序对和箭头表示关系
  • 逐项检验自反、对称与传递
  • 在等价关系和集合划分之间转换

带着这些问题读

  • 缺少哪一个有序对会破坏某种性质?
  • 等价类为什么要么相等要么不相交?
  • 模 n 运算怎样形成新的数系?

做完一节以后

合上页面,用自己的话重写一个定义、一个证明骨架和一个仍不确定的问题。

关系自反对称传递等价类模运算

SOURCE READER · EDITION 3.4

完整原书阅读器

页码采用 PDF 的实际页码。章内搜索读取英文文字层;公式与图形始终以原书渲染页为准。

PDF 阅读器加载失败。

正在打开原书...

原书文件保持完整,阅读器不会改写或省略任何一页。

Book of Proof by Richard Hammack, Edition 3.4. 关系、函数与基数。关系。把有序对的集合读成关系,研究自反、对称、传递、等价关系、等价类、划分、模 n 整数及集合间关系。 本章目标:用有序对和箭头表示关系;逐项检验自反、对称与传递;在等价关系和集合划分之间转换。带着这些问题读:缺少哪一个有序对会破坏某种性质?;等价类为什么要么相等要么不相交?;模 n 运算怎样形成新的数系?。原书 PDF 页码 213 至 234。关于这一章,你可以让 Flow 帮你解释定义、检查证明骨架、出一道相似练习,或分析你卡住的具体一步。Source: https://richardhammack.github.io/BookOfProof/Main.pdf#page=213