等价关系 - 自反性、对称性和传递性

1. 字幕依据
   观察依据

   屏幕文字框显示：“集合上的等价关系是一种具有以下性质的关系：”后接项目符号“自反性”、“对称性”、“传递性”。

2. 声音
   观察依据

   讲师指出，当一个关系具备全部这三种性质时，“我们就称它为等价关系。”

equivalence relation

定义在集合上且具有自反性、对称性和传递性的关系。

集合上的关系

1. 字幕依据
   观察依据

   定义框中项目符号1：“自反性”。

2. 声音
   观察依据

   讲师将“它们具有自反性”列为三项必备性质之一。

Reflexive

关系的一种性质，要求每个元素都与自身相关；口头举例说明为$3 = 3$。

二元关系

1. 字幕依据
   观察依据

   定义框中项目符号2：“对称性”。

2. 声音
   观察依据

   讲师将“它们具有对称性”列为性质之一，并随后演示交换$3 = 3$的顺序。

Symmetric

关系的一种性质，允许相关数对的两侧互换位置，同时保持该关系成立。

二元关系

1. 字幕依据
   观察依据

   定义框中的要点3：“传递性”。

2. 声音
   观察依据

   讲师列出“它们具有传递性”，随后推导涉及3的等式链。

Transitive

一种关系的性质：若某元素与第二个元素相关，且第二个元素与第三个元素相关，则第一个元素也与第三个元素相关。

二元关系

1. 公式
   观察依据

   手写表达式显示为“10 mod 3”。

2. 声音
   观察依据

   讲师说“那么10 mod 3呢？”，并将其解释为10除以3所得的余数。

mod

给出除法余数的模运算符。

整数（示例中所用）

1. 公式
   观察依据

   在“10 mod 3”中写作左操作数。

2. 声音
   观察依据

   在示例“10 mod 3”中口头读出的部分。

10

模运算示例中的被除数。

整数常量

1. 公式
   观察依据

   在“10 mod 3”中作为右操作数书写。

2. 声音
   观察依据

   在“10 mod 3”中作为除数读出。

3

模运算示例中的除数／模数。

正整数常量

1. 声音
   观察依据

   讲师说：“10 mod 3 将等于1的值”，并称其为余数。

1

10 除以 3 所得的余数。

整数结果

1. 公式
   观察依据

   板书上多次出现记号“a mod b”，例如“10 mod 3”。

$a \bmod b$

模运算，表示 a 除以 b 后所得的余数。

整数

1. 公式
   观察依据

   板书手写示例中反复出现表达式“mod 3”。

$\text{mod } 3$

模 3 运算，即求一个数除以 3 后所得的余数。

整数

1. 字幕依据
   观察依据

   定义框明确命名该概念，并列出三条带项目符号的性质。

2. 声音
   观察依据

   讲师引入该术语，并指出它需同时满足全部三条性质。

等价关系是定义在某个集合上的关系，且同时满足三条性质：自反性、对称性和传递性。视频将此作为本片段的核心命名概念。

1. 针对某个集合上的关系所定义

2. 需同时满足所列全部三个性质

1. 声音
   观察依据

   讲师称等号是“一种将左边的数与右边的数关联起来的方式”，并将其称为数上的关系。

讲师将数之间的普通等号视作一种关系：它将左边的一个数与右边的一个数连接起来。这种重新表述用于说明等号符合关系的抽象定义，再进一步验证其是否满足三个等价性质。

1. 适用于数（示例使用整数）

1. 等价关系的定义

1. 声音
   观察依据

   讲师提出第二个例子——“模运算中的等号”，随后写出并讨论“10 mod 3”。

2. 公式
   观察依据

   屏幕上手写显示“10 mod 3”。

1. 模等号是等价关系的完整验证未在此120秒片段中完成。

在用普通等号作为第一个例子之后，讲师引入模运算作为等价关系的第二个例子。所展示的方法是：从一个具体的模表达式出发，计算其余数，并以此为基础讨论关于某数的模等号。

1. 使用一个具体的整数示例

2. 片段在更广泛的等价关系验证完全展开之前结束

1. 等价关系的定义

1. 图示
   观察依据

   屏幕上的文本框定义了一个等价关系。

集合上的等价关系是一种满足三个性质的关系：自反性、对称性和传递性。

1. 必须定义在某个集合上

2. 必须满足自反性

3. 必须满足对称性

4. 必须满足传递性

1. 声音
   观察依据

   主讲人用例子10 mod $3 = 10$ mod 3来解释自反性要点。

2. 公式
   观察依据

   板书内容：“R：10 mod $3 = 10$ mod 3”。

若一个关系中每个元素都与自身相关，则该关系具有自反性。在模运算中，这意味着对任意整数 a，都有 a mod $n = a$ mod n。

1. n 是一个正整数

2. a 是一个整数

1. 等价关系的定义

1. 声音
   观察依据

   主讲人通过展示：若 10 mod $3 = 7$ mod 3，则 7 mod $3 = 10$ mod 3，来说明对称性。

2. 公式
   观察依据

   黑板上写着：‘S：10 mod $3 = 7$ mod 3 ⇒ 7 mod $3 = 10$ mod 3’。

若一个关系满足：只要 x 与 y 相关，则 y 也与 x 相关，那么该关系具有对称性。在模运算中，若 a mod $n = b$ mod n，则 b mod $n = a$ mod n。

1. n 是一个正整数

2. a 和 b 是整数

1. 等价关系的定义

1. 声音
   观察依据

   主讲人通过引入第三个数来开始讲解传递性：13，它除以1时的余数也为3。

2. 公式
   观察依据

   黑板上写着：‘T：13 mod 3’。

1. 传递性的完整推导未在所提供的视频片段中完成。

若当x与y相关且y与z相关时，x必与z相关，则该关系具有传递性。主讲人以10、7和13为例来演示这一性质。

1. n为正整数

2. a、b和c均为整数

1. 等价关系的定义

1. 字幕依据
   观察依据

   集合上的等价关系是一种满足自反性、对称性与传递性的关系。

集合上的等价关系被定义为一种满足三个性质的关系：它必须是自反的、对称的和传递的。

1. 该关系必须具有自反性。

2. 该关系必须具有对称性。

3. 该关系必须具有传递性。

1. 声音
   观察依据

   那么，若 10 mod 3 等于 7 mod 3，且 7 mod 3 等于 13 mod 3……则 10 mod 3 也等于 13 mod 3。由此，你便可在模运算中得到传递性。

2. 公式
   观察依据

   手写文字显示为“T: 13 mod 3”，并用箭头指向前面的等式。

传递性通过具体数字来演示：如果10对3取模等于7对3取模，且7对3取模等于13对3取模，则可推出10对3取模等于13对3取模。

1. 该关系是关于模3的余数相等。

1. 等价关系的定义

1. 字幕依据
   观察依据

   文本框显示：“集合上的等价关系是一种具有以下性质的关系：”并以项目符号列出“自反性”、“对称性”、“传递性”。

2. 声音
   观察依据

   讲师指出，当一种关系同时具备这三条性质时，我们就称它为等价关系。

一个集合上的关系是等价关系，当且仅当它具有自反性、对称性和传递性。

1. 当前讨论的对象是一个集合上的关系。

对于给定的集合上的某个关系，这三条性质必须全部成立。

1. 声音
   观察依据

   讲师以3为例，依次检验相等关系的自反性、对称性和传递性，最后得出结论：“因此，相等关系就是我们所理解的等价关系。”

数集上的通常相等关系是一种等价关系，因为它具有自反性、对称性和传递性。

1. 相等关系被视为定义在数集上的关系。

以具体例子3加以图示，但所述结论适用于一般的相等关系。

1. 声音
   观察依据

   讲师说：“10 除以 3 的模是 1 的值”，并指出这是 10 除以 3 所得的余数。

2. 公式
   观察依据

   书面表达形式为“10 mod 3”。

10 mod 3 等于 1。

1. mod 被理解为除法运算所得的余数运算。

具体的数值断言。

1. 声音
   观察依据

   讲师以数字3为例，依次口头讲解每个性质。

1. 该论证采用非形式化方式，仅通过一个具体数值例子展开，而非完整的符号化一般性证明。

1. 公式

   $$3 = 3$$
   解释

   讲师首先从具体陈述“三恒等于三”出发。

   步骤依据

   用于说明相等关系的自反性。

   视频直接表达
2. 公式

   $$3 = 3 \text{ reordered is still } 3 = 3$$
   解释

   接着他指出，若将等式两边顺序调换，该相等关系依然成立。

   步骤依据

   用于说明相等关系的对称性。

   视频直接表达
3. 公式

   $$3 = 3 \text{ 且 } 3 = 3 \Rightarrow 3 = 3$$
   解释

   最后，他将两个等式串联起来，得出原始的3等于第三个3。

   步骤依据

   用于说明等式的传递性。

   视频直接表达

等式是一种等价关系，因为它满足自反性、对称性和传递性。

1. 公式
   观察依据

   手写表达式“10 mod 3”被展示出来。

2. 声音
   观察依据

   讲师解释该值为10除以3所得的余数。

1. 最后一句口头讲解在“你可以说10等于3……”处被截断，解释未完成。

1. 公式

   $$10 \bmod 3$$
   解释

   讲师引入了一个具体的模运算算式。

   步骤依据

   第二个示例的铺垫。

   视频直接表达
2. 公式

   $$10 \bmod 3 = 1$$
   解释

   他指出该值为1。

   步骤依据

   被理解为10除以3后的余数。

   视频直接表达
3. 公式

   $$10 = 3 \cdot 3 + 1$$
   解释

   他开始通过将10重写为关于3的除法形式来论证余数，但该句子在视频片段中未说完。

   步骤依据

   标准的带余数除法解释；此处仅能听清部分内容。

   视频直接表达

在该例中，10 除以 3 的模等于 1，因为 1 是 10 除以 3 所得的余数。

1. 声音
   观察依据

   主讲人说：‘自反性的验证在此处相当简单……我们只需指出这与10模3完全相同，而它也等于1。’

2. 公式
   观察依据

   黑板上显示‘10 mod $3 = 10$ mod 3’，且‘1’写在这等式两边的下方。

1. 公式

   $$10 = 3 \times 3 + 1$$
   解释

   用除以10的式子表示3。

   步骤依据

   模运算的定义。

   依据视频推导
2. 公式

   $$10 \bmod 3 = 1$$
   解释

   计算10除以3所得的余数。

   步骤依据

   来自上一步。

   视频直接表达
3. 公式

   $$10 \bmod 3 = 10 \bmod 3$$
   解释

   陈述该具体例子的自反性性质。

   步骤依据

   任何值都等于其自身。

   视频直接表达

该关系具有自反性，因为10 mod 3等于其自身。

1. 声音
   观察依据

   说话人说：‘如果我观察10对3取模……那么7对3取模呢？事实上，7等于3的两倍加1……因此所有这些结果都恰好等于仅关于1的这些值。’接着又说：‘如果我将这个式子倒过来，尝试写出7 mod 3，那么它也等于10 mod 3。’

2. 公式
   观察依据

   黑板上显示：‘S：10 mod $3 = 7$ mod 3 ⇒ 7 mod $3 = 10$ mod 3’，且每个项下方均标有‘1’。

1. 公式

   $$10 \bmod 3 = 1$$
   解释

   确定第一项的值。

   步骤依据

   此前已计算过。

   视频直接表达
2. 公式

   $$7 = 2 \times 3 + 1$$
   解释

   将7表示为除以3的带余除法形式。

   步骤依据

   模运算的定义。

   视频直接表达
3. 公式

   $$7 \bmod 3 = 1$$
   解释

   计算7除以3所得的余数。

   步骤依据

   来自上一步。

   视频直接表达
4. 公式

   $$10 \bmod 3 = 7 \bmod 3$$
   解释

   陈述初始的对称关系。

   步骤依据

   等式两边都等于1。

   视频直接表达
5. 公式

   $$7 \bmod 3 = 10 \bmod 3$$
   解释

   将该关系翻转，以体现其对称性。

   步骤依据

   相等关系具有对称性。

   视频直接表达

该关系具有对称性，因为若10 mod 3等于7 mod 3，则7 mod 3也等于10 mod 3。

1. 声音
   观察依据

   主讲人用数字 10、7和13模3来解释传递性。

2. 公式
   观察依据

   黑板上显示：S：10 mod $3 = 7$ mod 3 ⇒ 7 mod $3 = 10$ mod 3，以及 T：13 mod 3。

1. 公式

   $$10 \pmod 3 = 7 \pmod 3$$
   解释

   示例中给出的第一个前提。

   步骤依据

   由主讲人口述，并写在黑板上标有“S”的下方。

   视频直接表达
2. 公式

   $$7 \pmod 3 = 13 \pmod 3$$
   解释

   示例中给出的第二个前提。

   步骤依据

   由主讲人口述。

   视频直接表达
3. 公式

   $$10 \pmod 3 = 13 \pmod 3$$
   解释

   由两个前提推导出的结论。

   步骤依据

   传递性质的应用。

   视频直接表达

模3余数相等这一关系具有传递性。

1. 声音
   观察依据

   讲师反复使用数字 3 来检验等式的三条性质。

借助数字相等这一事实，展示等价关系的三条性质如何体现。

1. 数集上的普通等式关系

2. 具体数值示例：3

为等式关系演示自反性、对称性和传递性。

1. 公式

   $$3 = 3$$
   解释

   这表明一个数等于它自身。

   步骤依据

   自反性。

   视频直接表达
2. 公式

   $$3 = 3 \text{ remains true after swapping sides}$$
   解释

   交换等式两边的顺序不会改变该命题的真假。

   步骤依据

   对称性。

   视频直接表达
3. 公式

   $$3 = 3 \text{ 且 } 3 = 3 \Rightarrow 3 = 3$$
   解释

   将这些等式串联起来，最终会回到相同的结论。

   步骤依据

   传递性。

   视频直接表达

等式满足全部三条性质，因此可作为等价关系的一个例子。

讲师明确总结道：“所以等式就是我们所理解的等价关系。”

1. 公式
   观察依据

   屏幕上手写显示“10 mod 3”。

2. 声音
   观察依据

   讲师指出该值为1，并将其描述为除法所得的余数。

1. 模等价是一种等价关系这一更广泛的命题被提出，但在本片段结束前未完全展开论证。

计算模表达式10 mod 3，作为等价关系的第二个示例的起始步骤。

1. 表达式10 mod 3

2. mod 表示除法后的余数

求10 mod 3的值。

1. 公式

   $$10 \bmod 3$$
   解释

   写出模运算表达式。

   步骤依据

   给定示例。

   视频直接表达
2. 公式

   $$10 \bmod 3 = 1$$
   解释

   说明余数。

   步骤依据

   10 除以 3 的余数为 1。

   视频直接表达

对应的式子为：1

讲师指出 1 是 10 除以 3 所得的余数。

1. 公式
   观察依据

   整段内容使用像10、7和13这样的数字，并以模3为例，来阐释相关性质。

通过检验自反性、对称性和传递性，证明关系“a mod $3 = b$ mod 3”是一种等价关系。

1. 该关系定义为：a ~ b 当且仅当 a mod $3 = b$ mod 3。

2. 测试所用的数字包括10、7和13。

验证给定关系是否满足等价关系的三个性质。

1. 公式

   $$10 \bmod 3 = 10 \bmod 3$$
   解释

   使用数字10检验自反性。

   步骤依据

   一个数总是等于它自身。

   视频直接表达
2. 公式

   $$10 \bmod 3 = 7 \bmod 3 \implies 7 \bmod 3 = 10 \bmod 3$$
   解释

   使用数字10和7检验对称性。

   步骤依据

   10 mod 3与7 mod 3均等于1，因此它们等价；交换顺序后等式依然成立。

   视频直接表达
3. 公式

   $$13 \bmod 3 = 1$$
   解释

   引入第三个数13，用于传递性检验。

   步骤依据

   $13 = 4 * 3 + 1$，因此它的余数为1。

   视频直接表达

该片段成功展示了自反性和对称性；它为传递性检验做了铺垫，但在给定时间内未完成完整证明。

数值结果（10 mod $3 = 1$，7 mod $3 = 1$，13 mod $3 = 1$）证实：所有被检验的数在模3意义下属于同一等价类。

1. 声音
   观察依据

   主讲人使用10、7和13来说明传递性。

2. 公式
   观察依据

   黑板上的手写方程。

用具体数字证明关系‘对模3同余’具有传递性。

1. 10 对 3 取模等于 7 对 3 取模

2. 7 对 3 取模等于 13 对 3 取模

证明$10 \pmod 3 = 13 \pmod 3$。

1. 公式

   $$10 \pmod 3 = 1$$
   解释

   计算10除以3的余数。

   步骤依据

   算术运算。

   依据视频推导
2. 公式

   $$7 \pmod 3 = 1$$
   解释

   计算7除以3的余数。

   步骤依据

   算术运算。

   依据视频推导
3. 公式

   $$13 \pmod 3 = 1$$
   解释

   计算13除以3的余数。

   步骤依据

   算术运算。

   依据视频推导
4. 公式

   $$10 \pmod 3 = 13 \pmod 3$$
   解释

   由于等式两边都等于1，因此它们彼此相等。

   步骤依据

   基于先前步骤的代入。

   依据视频推导

10 对 3 取模等于 13 对 3 取模

这三个数（10、7、13）除以 1 时余数均为 3，从而验证了该等式成立。

1. 图示
   观察依据

   一个青色边框的黑色文本框始终位于视频片段右上方。

2. 字幕依据
   观察依据

   文本框中显示：“集合上的等价关系是一种满足以下三条性质的关系：”并以项目符号列出“自反性”、“对称性”、“传递性”。

1. 青色边框的文本框

2. 标题短语“等价关系”以青色高亮显示

3. 三个项目符号

1. 视频片段中，方框内容无明显变化。

1. 定义及三条性质列表持续可见。

视觉锚点用于界定主题，并在讲师举例时始终展示所需的三条性质。

1. 动画
   观察依据

   讲师转向黑板，用粉色记号笔书写。

2. 公式
   观察依据

   手写表达式逐渐清晰，呈现为“10 mod 3”。

1. 粉色手写文字：“10 mod 3”

2. 讲师书写的手部与记号笔

1. 在100秒之前，主黑板区域未出现任何手写示例。

2. 约在100秒时，讲师开始书写。

3. 至大约110秒时，完整表达式“10 mod 3”已清晰可见。

1. 右上方的定义框保持不变，同时新增示例被添加到板书上。

动画从抽象定义转向模运算中的一个具体第二例。

1. 动画
   观察依据

   讲师在讲话时反复举起手指、张开手掌并向上指。

1. 每个手势与特定词语之间的一一对应关系仅为近似。

1. 讲师的双手

2. 手持的标记物

1. 早期手势与逐条列出三个性质同步发生。

2. 后期的张开手掌和指向手势则伴随等式示例，并过渡到模运算。

1. 讲话者始终位于黑色背景前，定义框固定在屏幕上。

这些手势在视觉上强化了性质的逐条列举以及示例中的重点强调。

1. 动画
   观察依据

   主讲人站在黑色背景前，在透明板上书写数学表达式。

1. 主讲人

2. 透明板

3. 记号笔

4. 定义等价关系的文本框

1. 主讲人依次写出自反性（R）、对称性（S）和传递性（T）性质的示例。

2. 引入数字10、7和13，并计算它们模3的值，结果为1。

1. 等价关系的定义在整个片段中始终显示在右上角。

视觉呈现顺序与逻辑证明过程一致：逐一验证关系满足等价关系所需的每个性质。

1. 动画
   观察依据

   说话人一边讲解，一边指向黑板上手写的各个等式部分。

1. 关于 R、S 和 T 性质的手写等式

2. 打印的定义框

1. 说话人的手移动至黑板上，指向与所讲内容相对应的具体等式。

1. 黑板上的文字在整个片段中保持静止。

视觉布局将一般性定义（打印框）与具体示例（手写部分）分隔开来，有助于理解。

1. 声音
   观察依据

   讲话者指出，等价关系捕捉了“相等”本应具备的本质，但“以一种略微更广义的概念呈现”，随后将模运算引入为另一示例。

人们可能会认为，只有标准的数值相等关系才算作等价关系。

视频明确拓展了这一概念：等价关系是对相等关系行为的推广，而模运算则提供了另一个实例。

1. 声音
   观察依据

   现在，我还没有真正给出严格的证明，只是用几个数字快速举了个例子……

误以为仅通过一个数值例子就能构成对所有情况成立的严格数学证明。

说话者明确指出，该演示仅为快速举例以说明思想，并非严格证明。

1. 声音
   观察依据

   在定义等价关系之后，主讲人立即以相等关系作为第一个例子，并验证其三个性质。

这一抽象定义被应用于普通的相等关系，以展示一个满足全部三个性质的熟悉案例。

1. 声音
   观察依据

   主讲人指出，等价关系的推广性质将在第二个例子——模运算中变得明显。

模运算被呈现为一个更宽泛、不那么直观的例子，表明等价性并不仅限于普通的相等关系。

1. 字幕依据
   观察依据

   定义框中列出“自反性、对称性、传递性”作为该定义的内容。

等价关系这一概念包含这三个被命名的性质，它们是其定义的基本组成部分。

1. 图示
   观察依据

   文本框将自反性、对称性和传递性列为等价关系的组成部分。

等价关系的定义中包含“必须具有自反性”的要求。

1. 图示
   观察依据

   文本框将自反性、对称性和传递性列为等价关系的组成部分。

等价关系的定义中包含“必须具有对称性”的要求。

1. 图示
   观察依据

   文本框将自反性、对称性和传递性列为等价关系的组成部分。

等价关系的定义中包含“必须具有传递性”的要求。

1. 字幕依据
   观察依据

   定义列举了自反性、对称性与传递性。

等价关系的概念包含传递性这一要求，随后通过例子加以说明。

1. 字幕依据
   观察依据

   定义框直接回答了这个问题。

1. 等价关系的定义

1. 声音
   观察依据

   主讲人使用$3 = 3$这类例子，逐一验证相等关系的自反性、对称性和传递性。

1. 作为数上关系的等号
2. 验证相等关系满足三个等价性质。

1. 公式
   观察依据

   手写体“10 mod 3”

2. 声音
   观察依据

   讲师将其解释为10除以3所得的余数。

1. 以模运算为第二个例子的引入
2. 模运算示例：10 mod 3

1. 字幕依据
   观察依据

   三个项目符号分别列出这三条性质。

2. 声音
   观察依据

   等式示例按顺序逐一演示每条性质。

1. 等价关系的定义
2. 验证相等关系满足三个等价性质。

1. 声音
   观察依据

   主讲人通过一个例子解释自反性要点。

1. 模运算中的自反性

1. 声音
   观察依据

   主讲人通过翻转一个等式来演示对称性。

1. 模运算中的对称性

1. 图示
   观察依据

   文本框给出定义。

1. 等价关系的定义

1. 声音
   观察依据

   使用模3解释传递性。

1. 模运算中的传递性
2. 模3的传递性示例