惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

V
Visual Studio Blog
博客园 - 司徒正美
Hugging Face - Blog
Hugging Face - Blog
博客园 - 叶小钗
The Cloudflare Blog
D
DataBreaches.Net
J
Java Code Geeks
G
Google Developers Blog
L
LangChain Blog
N
Netflix TechBlog - Medium
Stack Overflow Blog
Stack Overflow Blog
月光博客
月光博客
酷 壳 – CoolShell
酷 壳 – CoolShell
WordPress大学
WordPress大学
小众软件
小众软件
量子位
Apple Machine Learning Research
Apple Machine Learning Research
P
Proofpoint News Feed
博客园_首页
罗磊的独立博客
钛媒体:引领未来商业与生活新知
钛媒体:引领未来商业与生活新知
奇客Solidot–传递最新科技情报
奇客Solidot–传递最新科技情报
B
Blog
腾讯CDC

OhYee 博客

小鹏辅助驾驶测评|OhYee 博客 小鹏非支持手机开启自动解锁|OhYee 博客 使用函数计算实现 301 重定向|OhYee 博客 针对 HTML 内容使用 Ant Design 图片弹框|OhYee 博客 博客进程泄露及僵尸进程解决|OhYee 博客 蓝易云服务器体验|OhYee 博客 SSH 调起本地 VSCode|OhYee 博客 【2022 秋招内推】阿里云后端研发工程师|OhYee 博客 使用函数计算获取 IP 地址信息|OhYee 博客 正确获取客户端 IP/HTTP Header 也可能重复|OhYee 博客 评测 Oculus Quest2 及 BigScreen|OhYee 博客 NextJS 热重载保留状态|OhYee 博客 如何优雅地贴 gist 代码|OhYee 博客 Linux 精细化文件权限|OhYee 博客 VSCode 容器开发环境|OhYee 博客 Clash 的不兼容更新排查|OhYee 博客 Zeek 导出 PCAP|OhYee 博客 记一次 ssh 配置问题|OhYee 博客 Git Commit 规范化工具|OhYee 博客 谈谈《星之卡比-探索发现》|OhYee 博客 VSCode 快捷键绑定 Shell 命令|OhYee 博客 ASN.1 语法及 X.509 证书格式解析解析|OhYee 博客 腾讯企业邮箱忽略 MX 记录发信|OhYee 博客 Chrome/Edge 标签组插件|OhYee 博客 【应届内推】阿里云后端研发工程师|OhYee 博客 损坏的 Typecho 备份处理为 JSON|OhYee 博客 VS Code VIM 插件高效使用|OhYee 博客 SSH 正反向代理|OhYee 博客 Let's Encrypt 根证书过期引发的问题|OhYee 博客 OpenWRT 忽略内核依赖|OhYee 博客
近世代数预备知识|OhYee 博客
2020-09-24 · via OhYee 博客

近世代数预备知识

集合

集合
集合是具有一定属性的事务组成的整体
属于
如果 aa 是集合 AA 的元素,那么称 aa 属于 AA。记为 a∈Aa \in A。对于任意的一个元素 xx,一定有 x∈Ax \in Ax∉Ax \notin A
子集与真子集
如果一个集合 AA 每一个元素都属于另一个集合 BB,那么称 AABB 的子集,记为 A⊆BA \subseteq B。而如果 BB 中至少存在一个元素不属于 AA,那么称 AABB 的真子集,记为 A⊂BA \subset B
相等
如果 AABB 是两个集合,A=BA=B 读作 AA 等于 BB,表示他们是由相同的元素构成的集合。也即 AA 中的每一个元素都属于 BBBB 中的每一个元素也都属于 AA

单纯的子集,可能包含相等的可能性。如果需要证明 A=BA=B,只需要证明 A⊆BA \subseteq BB⊆AB \subseteq A

常用的集合如下:

符号 含义
N\bm{N} 自然数集
Z\bm{Z} 整数集
R\bm{R} 有理数集
C\bm{C} 复数集
幂集
集合 SS 的幂集指由 SS 的全体子集组成的集合,记为 2S2^S
集合 A={1,2,3}A=\{1,2,3\} 的幂集为 2A={∅,{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}}2^A=\{\empty,\{1\},\{2\},\{3\},\{1,2\},\{1,3\},\{2,3\},\{1,2,3\}\}
全集与补集
全集 II 通常指研究的元素总体。其他研究范围内的集合都应该属于全集,A⊆IA \subseteq I。而其中部署于集合 AA 的部分,称为集合 AA 在全集 II 中的补集 A‾\overline{A}
A‾‾=A\overline{\overline{A}}=A

集合的运算

并运算
所有属于 AA 或属于 BB 构成的集合称为集合的并集,记为 A⋃BA \bigcup B。也即 A⋃B={x∣x∈A 或 x∈B}A \bigcup B=\{x|x\in A \text{ 或 } x \in B \}
并运算有如下性质:
  1. A⋃A=AA \bigcup A = A
  2. A⋃∅==AA \bigcup \empty = =A
  3. A⊆B⇔A⋃B=BA \subseteq B \Leftrightarrow A \bigcup B = B
  4. A⋃A‾=IA \bigcup \overline{A} = I
多个集合的并,可记为 W=A1⋃A2⋃⋯⋃An=⋃n=1nAiW = A_1 \bigcup A_2 \bigcup \cdots \bigcup A_n = \bigcup^n_{n=1}{A_i}
交运算
AABB 共同元素构成的集合,称为 AABB 的交集,记为 A⋂BA \bigcap B。也即 A⋂B={x∣x∈A 且 x∈B}A \bigcap B = \{x|x\in A \text{ 且 } x \in B\}
交运算有如下性质:
  1. A⋂A=AA \bigcap A = A
  2. A⋂∅=∅A \bigcap \empty = \empty
  3. A⊆B⇔A⋂B=AA \subseteq B \Leftrightarrow A \bigcap B = A
  4. A⋂A‾=∅A \bigcap \overline{A} = \empty
差运算
A−BA-B 称为 AABB 的差集,定义为 A−B={x∣x∈A 且 x∉B}A-B=\{x|x \in A \text{ 且 } x \notin B\}
运算定理
对于任意的集合 AABBCC∗* 表示 ⋃\bigcup⋂\bigcap,则有
  1. A∗A=AA*A=A (等幂律)
  2. A∗B=B∗AA*B=B*A (交换律)
  3. A∗(B∗C)=(A∗B)∗CA*(B*C)=(A*B)*C (结合律)
  4. A⋃∅=AA \bigcup \empty = A
  5. A⋃I=IA \bigcup I = I
  6. A⋂∅=∅A \bigcap \empty = \empty
  7. A⋂I=AA \bigcap I = A
  8. A⋃(B⋂C)=(A⋃B)⋂(A⋃C)A \bigcup (B \bigcap C) = (A \bigcup B) \bigcap (A \bigcup C) (分配律)
  9. A⋂(B⋃C)=(A⋂B)⋃(A⋂C)A \bigcap (B \bigcup C) = (A \bigcap B) \bigcup (A \bigcap C) (分配律)
  10. A⋂(A⋃B)=AA \bigcap (A \bigcup B) = A (吸收律)
  11. A⋃(A⋂B)=AA \bigcup (A \bigcap B) = A (吸收律)

笛卡尔积

A1,A2,⋯ ,AnA_1,A_2,\cdots,A_nnn 个集合,则他们的笛卡尔积为 A1×A2×⋯×An={(a1,a2,⋯ ,an)∣ai∈Ai}A_1 \times A_2 \times \cdots \times A_n = \{(a_1,a_2,\cdots,a_n)|a_i \in A_i\}
也即从各个集合按顺序取出元素构成的元素组作为新元素组成的集合

A={1,2,3}A=\{1,2,3\}B={4,5}B=\{4,5\} 的笛卡尔积有:
A×B={(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)}A \times B = \{(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)\}
B×A={(4,1),(4,2),(4,3),(5,1),(5,2),(5,3)}B \times A = \{(4,1),(4,2),(4,3),(5,1),(5,2),(5,3)\}

集合元素计数

集合中元素的数量,称为集合的元素计数。使用 ∣A∣|A|#A\#A 表示集合 AA 的元素个数

摩根律
A1⋃A2⋃⋯⋃An‾=A1‾⋂A2‾⋂⋯⋂An‾\overline{A_1 \bigcup A_2 \bigcup \cdots \bigcup A_n} = \overline{A_1} \bigcap \overline{A_2} \bigcap \cdots \bigcap \overline{A_n}
A1⋂A2⋂⋯⋂An‾=A1‾⋃A2‾⋃⋯⋃An‾\overline{A_1 \bigcap A_2 \bigcap \cdots \bigcap A_n} = \overline{A_1} \bigcup \overline{A_2} \bigcup \cdots \bigcup \overline{A_n}
容斥原理
∣A⋃B∣=∣A∣+∣B∣−∣A⋂B∣|A \bigcup B| = |A| + |B| - |A \bigcap B|
使用容斥原理可以较为方便地计算元素个数

对于容斥原理,其推广出完整公式为:
∣A1⋃A2⋃⋯⋃An∣=∑i=1n∣Ai∣−∑i=1n∑j>i∣Ai⋂Aj∣+∑i=1n∑j>i∑k>j∣Ai⋂Aj⋂Ak∣−⋯+(−1)n−1∣Ai⋂Aj⋂⋯⋂An∣\begin{aligned}|A_1 \bigcup A_2 \bigcup \cdots \bigcup A_n| = &\quad \sum^n_{i=1}{|A_i|} \\&- \sum^n_{i=1}\sum_{j>i}{|A_i \bigcap A_j|} \\&+ \sum^n_{i=1}\sum_{j>i}\sum_{k>j}{|A_i \bigcap A_j \bigcap A_k|} \\&- \cdots \\&+ (-1)^{n-1}|A_i \bigcap A_j \bigcap \cdots \bigcap A_n|\end{aligned}

结合 ∣A‾∣=N−∣A∣|\overline{A}|=N-|A| 即可简化某些情况下的元素个数计算

容斥原理在使用时,存在两种不同的情况:

  1. ∣A⋃B∣=?|A \bigcup B| = ?,与结论顺着设
  2. ∣A‾⋂B‾∣=?|\overline{A} \bigcap \overline{B}| = ?,与结论返着设

如:求 a,b,c,d,e,f 六个字母的全排列,要求不能出现 ace 和 df 的排列有多少。
从题目可见要求为 不能出现,以及 ace df
也即,同时满足两种条件,对应的应该为交集形式,也即第二种,应该返着设(设出现的情况)。
因此,应该设 AA 为 ace 作为一体出现的集合,BB 为 df 作为一体出现的集合

二元关系

对于集合 AABBA×BA \times B 的子集 RR 称为 AABB 的一个二元关系。对于 a∈A,b∈B,(a,b)∈Ra \in A, b \in B, (a,b) \in R,称为 aabb 具有关系 RR,记作 aRbaRb(如果 aabb 没有关系,则记为 aR′baR'b

可以将其视为运算 RR 的查表法,将所有 AABB 存在关系的情况进行枚举

等价关系

如果二元关系满足如下关系,则称为等价关系,记为 ∼\sim

  • 反身性: ∀a∈A,aRa\forall a \in A, aRa
  • 对称性: aRb⇒bRaaRb \Rightarrow bRa
  • 传递性: aRb,bRc⇒aRcaRb,bRc \Rightarrow aRc

针对这三种关系,应该更多去理解不满足的情况。
如小于关系,实际上是指 R={(x,y)∣x<y}R = \{(x,y)|x \lt y\}。在这种集合中 (a,a)∉R(a,a) \notin R,同时对于 (a,b)∈R(a,b) \in R 则必然 (b,a)∉R(b,a) \notin R。因而其不满足反身性与对称性。

而假设有这样的集合,同时上同一门课的人称为同学,而由于每一个人会选多门课,拥有多个同学。但同学和同学之间,可能并不会选同一门课,也即“同学的同学不一定是你的同学”,这也即不存在传递性。

任何两个元素都可以有很多关系,但等价关系则表明元素之间拥有更多的限制,有着更多的相似点。

要证明等价关系只需要分别证明满足三点约束即可,如下面一道题:

例题

RRZ={0,±1,±2,⋯ }Z=\{0,\pm 1,\pm2,\cdots \} 上的二元关系,规定关系 RR 为:如果 ZZ 中的数 aabb 用固定的正整数 nn 除,余数为 00,则 (a,b)∈R(a,b) \in R,即 aRb⇔a−b是n的倍数aRb \Leftrightarrow a-b \text{是} n \text{的倍数}。记作 a≡bmod  n{a \equiv b} \mod {n}(该关系称为 nn 剩余关系)。
求证 RR 是等价关系。

∃a,b,c,k,k′∈Z,(a−b)=kn,(b−c)=k′n∵(a−a)=0×n,∴反身性成立∵(b−a)=−(a−b)=−kn,∴对称性成立∵(a−c)=(a−b)+(b−c)=(k+k′)n,∴传递性成立综上所述,R是等价关系\begin{aligned} & \exist a,b,c,k,k' \in Z, (a-b) = kn, (b-c)=k'n \\ & \because (a-a)=0 \times n, \therefore \text{反身性成立} \\ & \because (b-a) = -(a-b) = -kn, \therefore \text{对称性成立} \\ & \because (a-c) = (a-b)+(b-c) = (k+k')n, \therefore \text{传递性成立} \\ & \text{综上所述,R是等价关系}\end{aligned}

等价类

利用等价关系可以对集合进行分类。如果将集合 AA 分成若干个 AA 的子集,使得 AA 的每一个元素都属于且只属于一个类,则这些类的全体称为 AA 的一个分类。

类中的任意一个元素都可以作为这个类的代表

如整数集的根据模 44 剩余关系,可以将所有整数分为 44 类。

等价类
如果分类中所有的元素都存在等价关系 [a]={x∣x∈A,x∼a}[a] = \{x|x \in A,x \sim a\},则称其为等价类
nn 剩余类
根据模 nn 同余关系 a≡bmod  na \equiv b \mod n 进行分类
对于 nn 个元,他们除以 nn 余数分别为 0,1,⋯ ,n−10,1,\cdots,n-1,这些类分别记为 [0],[1],⋯ ,[n−1][0],[1],\cdots,[n-1]

等价类存在如下定理:

  1. a,b∈Aa,b \in Aa∼ba \sim b,则 [a]=[b][a]=[b]
  2. ∀a,b∈A,a≁b\forall a,b \in A, a \nsim b,则 [a]⋂[b]=∅[a] \bigcap [b] = \empty
  3. AA 可以写成所有不同等价类的并,即 A=[a1]⋃[a2]⋯⋃[an]A=[a_1] \bigcup [a_2] \cdots \bigcup [a_n]
上述内容的证明
  1. ∵∀x∈[a]∴x∼a∵a∼b∴x∼b∴x∈[b]∴[a]⊆[b]同理,[b]⊆[a]∴[a]=[b]\begin{aligned} &\because \forall x \in [a] &&\therefore x \sim a \\ &\because a \sim b &&\therefore x \sim b \\ & &&\therefore x \in [b] \\ & &&\therefore [a] \subseteq [b] \\ & \text{同理}, [b] \subseteq [a] \\ & \therefore [a] = [b] \end{aligned}
  2. 假设∀x∈A,x∈[a]⋂[b]即x∈[a],x∈[b]∵x∈[a]⋂[b]∴x∼a,x∼b∴a∼b与题设矛盾,故不存在x∈[a]⋂[b]∴[a]⋂[b]=∅\begin{aligned} &\text{假设} \forall x \in A, x \in [a] \bigcap [b] \\ &\text{即} x \in [a], x \in [b] \\ &\because x \in [a] \bigcap [b] \\ &\therefore x \sim a, x \sim b \\ &\therefore a \sim b \\ &\text{与题设矛盾,故不存在} x \in [a] \bigcap [b] \\ &\therefore [a] \bigcap [b] = \empty \end{aligned}
  3. 由上述内容知,所有的等价类或相等或相交,且 ∀a∈A,a∈[a]\forall a \in A, a \in [a]。因此 AA 可以写成所有不同等价类的并

映射

∀x∈A\forall x \in A,如果通过法则 ff,存在一个唯一的 y∈Dy \in D,则称 ffAADD 的一个映射,记为 f:A→Df: A \rightarrow Dx→y=f(x)x \rightarrow y = f(x)。其中,xx 称为原像,yy 称为像

AA 的每一个元在 DD 中都应该有唯一对应的像:

  1. 集合 A1,A2,⋯ ,An,DA_1,A_2,\cdots,A_n,D 可以相同
  2. A1,A2,⋯ ,AnA_1,A_2,\cdots,A_n 的次序不能调换
  3. 映射一定要替每一个元规定一个像
  4. 一个元只能由一个唯一的像
  5. 所有的像都必须是 DD 的元

如果需要证明两个映射相同,只需要证明:
ϕ1:A→D\phi_1: A \rightarrow D
ϕ2:A→D\phi_2: A \rightarrow D
∀a∈A,ϕ1(a)=ϕ2(a)\forall a \in A, \phi_1(a) = \phi_2(a)
ϕ1=ϕ2\phi_1 = \phi_2

满射
f:A→B,∀b∈B,∃a∈A,f(a)=bf: A \rightarrow B, \forall b \in B, \exist a \in A,f(a)=b,则称映射 ff 是一个 AABB 的满射

在满射中,BB 中的每一个像都有对应的原像(所有像都被映射)

单射
a≠b⇒f(a)≠f(b)a \ne b \Rightarrow f(a) \ne f(b),则称映射 ff 是一个 AABB 的一个单射

在单射中,不同原像的像一定不同(所有像都被单一的原像映射)

双射(一一映射)
满射 + 单射

对于 ∣A∣=n,∣B∣=m|A| = n, |B| = m,有:

  • 映射 ffmnm^n
  • 单射 ffm(m−1)⋯(m−n+1)m(m-1)\cdots(m-n+1) 个(n≤mn \le m
  • 双射 ffm!m! 个(n=mn = m
  • 满射 ffmn−(m1)(m−1)n+(m2)(m−2)n−⋯+(−1)m−1(mm−1)m^n-\begin{pmatrix}m\\1\end{pmatrix}(m-1)^n+\begin{pmatrix}m\\2\end{pmatrix}(m-2)^n-\cdots+(-1)^{m-1}\begin{pmatrix}m\\m-1\end{pmatrix} 个(n≤mn \le m

代数运算

A×B→DA \times B \rightarrow D 的映射称为 A×BA \times BDD 的代数运算。
∘:(a,b)→d=∘(a,b)\circ: (a,b) \rightarrow d = \circ(a,b)
也可将其写成 a∘ba \circ b

可以采用运算表来表示代数运算的运算关系

对于 A×A→A,(∣A∣=n)A \times A \rightarrow A, (|A|=n)nn2n^{n^2} 种二元运算

如果 ∘\circ∘‾\overline{\circ} 分别是 AAA‾\overline{A} 的代数运算,如果 ∀a,b∈A\forall a,b \in A,只要 a→a‾,b→b‾a \rightarrow \overline{a}, b \rightarrow \overline{b},有 a∘b→a‾∘b‾a \circ b \rightarrow \overline{a} \circ \overline{b},则 ϕ\phiAAA‾\overline{A} 的同态映射

∘\circ∘‾\overline{\circ} 有一个 AAA‾\overline{A} 满射的同态映射,则 AAA‾\overline{A} 同态。

SSTT 同态,则 SSTT 满射
SSTT 的同态映射 ffS→TS \rightarrow T 的单射,ffS→TS \rightarrow T 的单一同态
SSTT 的同态映射 ffS→TS \rightarrow T 的满射,ffS→TS \rightarrow T 的满同态,记为 S∼TS \sim T
SSTT 的同态映射 ffS→TS \rightarrow T 的双射,ffS→TS \rightarrow T 的同构映射,记为 S≅TS \cong T

同构映射表示两个代数系统拥有相同的结构,本质上相同

运算律

代数运算拥有如下运算律:

  • 结合律: (a∘b)∘c=a∘(b∘c)(a \circ b) \circ c = a \circ (b \circ c)
  • 交换律: a∘b=b∘ca \circ b = b \circ c
  • 分配律: (a⊗b)⊕(a⊗c)=a⊗(b⊗c)(a \otimes b) \oplus (a \otimes c) = a \otimes (b \otimes c)

代数系统 (S,∘)(S,\circ)(T,∗)(T,*),设 ffS→TS \rightarrow T 的满同态:

  1. ∘\circ 满足结合律,则 ∗* 也满足
  2. ∘\circ 满足交换律,则 ∗* 也满足
  3. ∘\circ 满足(左右)分配律,则 ∗* 也满足
关于第一点的证明

ffS→S \rightarrow 的满同台
a,b,c∈Sa,b,c \in S,使 f(a)=a‾,f(b)=b‾,f(c)=c‾f(a)=\overline{a},f(b)=\overline{b},f(c)=\overline{c}
f(a∘(b∘c))=f(a)∗f(b∘c)=f(a)∗(f(b)∗f(c))f(a \circ (b \circ c)) = f(a) * f(b \circ c) = f(a) * (f(b) * f(c))
f((a∘b)∘c)=f(a∘b)∗f(c)=(f(a)∗f(b))∗f(c)f((a \circ b) \circ c) = f(a \circ b) * f(c) = (f(a) * f(b)) * f(c)
∵a∘(b∘c)=(a∘b)∘c\because a \circ (b \circ c) = (a \circ b) \circ c
∴f(a∘(b∘c))=f((a∘b)∘c)\therefore f(a \circ (b \circ c)) = f((a \circ b) \circ c)
∴f(a)∗(f(b)∗f(c))=(f(a)∗f(b))∗f(c)\therefore f(a) * (f(b) * f(c)) = (f(a) * f(b)) * f(c)
因此,∗* 满足结合律

同构

ϕ\phiAAA‾\overline{A} 的一一映射,∘\circ∘‾\overline{\circ} 分别是 AAA‾\overline{A} 代数运算,如果 ∀a,b∈A\forall a,b \in A,只要 a→a‾,b→b‾a \rightarrow \overline{a}, b \rightarrow \overline{b},则有 a∘b→a‾∘‾b‾a \circ b \rightarrow \overline{a} \overline{\circ} \overline{b}。那么,ϕ\phiAAA‾\overline{A} 的同构映射

如果 A→AA \rightarrow A 存在同构映射,那么称其为自同构: ϕ(x∘y)=ϕ(x)∘ϕ(y)\phi(x \circ y) = \phi(x) \circ \phi(y)

同态和同构的代数系统拥有保持运算的特性,即在一个系统进行运算,可以在另一个系统也有等效的效果。最直接的应用为同态加密,用户拥有数据,服务端拥有某种运算。用户将加密后的数据发送到服务端,由服务端进行运算,并将运算后的数据发回用户,并由用户解密。在整个过程中,用户的明文未泄露,服务端的运算也未泄露,但仍然对原文执行了确定的运算