抽象代数小述(二之前)

抽象代数小述(二之前)

by Amamiya Fuko

月泉西逝去,困于小池间

引言

夜,是风子。

整点抽象的(指代数),如果有希腊奶的概念可以看看前文,标注有重点(所以尽管跳着看)

你问标题的话,二之前就是一啦,所以正确标题为抽象代数小述(一)

参考了张禾瑞老师的《近世代数》

目录

1.集合、映射与代数运算

2.同态

集合、映射与代数运算

集合,指包含了元素的整体,被确定了的存在的整体,定在或定在们的定在,元素在这种把握中被描述为集合的元(反正这概念太基础了我发发电玩-V_V-)

暂且认为集合有着四种形式,空集与非空集,有限集与无限集。

映射 是集合的元素之间关系,如A集与B集的一一映射,描述的就是A中的每一元素都有B中的元素与之唯一对应,例如设 x ∈ A , y ∈ B , f ( x ) = y = x ∗ k ∣ k 为一常数 x\in A,y \in B,f(x)=y=x*k | k为一常数 x∈A,y∈B,f(x)=y=x∗k∣k为一常数 函数f就是一个A到B的映射 A → B = f ( A ) A\to B = f(A) A→B=f(A)

映射有着不同的形式,上面提到的一一映射是其中的一种特殊的映射。设有一映射 A → B A\to B A→B对于某一 y ∈ B y\in B y∈B而言,其逆运算可能的"x\in A"被称为逆象,而其自身,也就是y被称为象,象与逆像之间并不一一对应,甚至B中的元(元素)也并不全然作为A中的元的象。

对于某种映射,如果有,任意B中的元都作为A中的元的象,那么我们称之为满射
∀ y = f ( x ) ∣ x ∈ A , y ∈ B \forall y = f(x)|x \in A,y \in B ∀y=f(x)∣x∈A,y∈B

对于某种映射,如果有,任意B中的元的象与任意别一个B中的元的象不同,我们称之为单射
∀ f ( x ) ! = f ( y ) ∣ x , y ∈ A , x ! = y \forall f(x)!=f(y)| x,y\in A,x!=y ∀f(x)!=f(y)∣x,y∈A,x!=y

假如有一映射即是单射又是满射,则其为一一映射

变换 是一种特殊的映射,其为某一集合与其自身的映射
A → A A\to A A→A

代数运算 是一个满足封闭性的映射
A → A A \to A A→A

同态

同态是描述运算之间的关系

设A到B有映射f,A到A有运算g,B到B有运算g',则若有
f ( g ( A ) ) = g ′ ( f ( A ) ) ( A → A ) → B = ( A → B ) → B \begin{array}{rcl} f(g(A)) & = & g'(f(A)) \\ (A\to A) \to B & = & (A \to B) \to B \end{array} f(g(A))(A→A)→B==g′(f(A))(A→B)→B

则我们说这两个运算是同态的,假如映射f是满射,那么我们进一步地说这是一个同态满射 ,反之为同态单射 ,若为一一映射,则我们称其为同构

相关推荐
熊猫不是猫QAQ11 小时前
NAS上的文字版《星露谷物语》,大型种田经营游戏
经验分享
小L~~~12 小时前
基于贪心策略的混合遗传算法求解01背包问题
python·算法
洛水水12 小时前
【力扣100题】53.最长回文子串
算法·leetcode·职场和发展
jieyucx12 小时前
Go 语言 sort 包详解:从基础排序到自定义排序(含底层原理+零基础看懂)
算法·golang·排序算法·sort
z落落13 小时前
C# 数组 最终完整版全套笔记(一维+多维+交错+引用类型+对象数组)
java·笔记·c#
searchforAI13 小时前
B站视频转笔记用哪个工具?2026年四款AI笔记工具对比实测
人工智能·经验分享·笔记·gpt·学习·视频总结·ai笔记
叁散13 小时前
ESP32 LCD1602显示实验报告
算法
过期动态13 小时前
【LeetCode 热题 100】盛最多水的容器
java·数据结构·spring boot·算法·leetcode·spring cloud·职场和发展
凌波粒13 小时前
LeetCode--700.二叉搜索树中的搜索(二叉树)
算法·leetcode·职场和发展
君为先-bey14 小时前
LeMiCa——基于扩散模型的高效视频生成的词典序最小化路径缓存
python·算法·机器学习·扩散模型