首页 > 其他分享 >抽象代数-01-代数的基本概念

抽象代数-01-代数的基本概念

时间:2024-12-02 21:59:08浏览次数:7  
标签:01 满射 映射 元素 逆映射 cdots 抽象代数 单射 基本概念

加氏积

设\(A_1\)\(A_2\)\(\cdots\)\(A_n\)是N个集合,一切从中顺序取出的元素组\((a_1,a_2,\cdots,a_n)\),\(a_i\in A_i\),所组成的集合叫做集合\(A_1\)\(A_2\)\(\cdots\)\(A_n\)的加氏积,记为\(A_1\times A_2 \times \cdots \times A_n\)

映射

设 \(A, B\) 是两个非空集合,如果存在一个对应法则 \(f\),使得对于 \(A\) 中的每一个元素 \(a\),在 \(B\) 中都有唯一确定的元素 \(b\) 与之对应,则称 \(f\) 是从 \(A\) 到 \(B\) 的映射
记作 \(f: A \to B\)
\(a \to b\)
此时,\(b\) 称为 \(a\) 在 \(f\) 下的像,记作 \(f(a)\)。

映射的合成

映射的合成是将多个映射组合起来,形成一个新的映射。如果映射
\(f:A→B 和 g:B→C\)
那么它们的合成映射 \(g∘f:A→C\) 定义为:
\((g∘f)(x)=g(f(x))\) \(\forall\)\(x∈A\)
这意味着先应用映射 \(f\),然后再应用映射 \(g\)
映射的合成具有以下性质:
结合律:对于映射
\(f:A→B,g:B→C 和 h:C→D\),
有 \((h∘g)∘f=h∘(g∘f)\)
单位元:对于映射 \(f:A→B\)
恒等映射 \(I_A:A→A 或I_B:B→B\)
满足 \(I∘f=f=f∘I\)

映射性质

如果映射 \(f: A \to B\) 满足以下条件:

  • 对于 \(A\) 中的任意元素 \(a\),都有 \(f(a) \in B\),则称 \(f\) 是满射;
  • 对于 \(B\) 中的任意元素 \(b\),存在 \(A\) 中的元素 \(a\),使得 \(f(a) = b\),则称 \(f\) 是单射;
  • \(f\) 既是满射又是单射,则称 \(f\) 是双射,也称为一一映射。
    如果映射 \(f: A \to B\) 和 \(g: B \to C\) 满足 \(g(f(a)) = f(g(a))\),则称 \(g\) 是 \(f\) 的逆映射,记作 \(f^{-1}\)。
    如果映射 \(f: A \to A\) 满足 \(f(a) = a\),则称 \(f\) 是恒等映射,记作 \(I_A\)。
    如果映射 \(f: A \to B\) 和 \(g: B \to C\) 满足 \(g(f(a)) = f(g(a))\),则称 \(g\) 和 \(f\) 可交换。
    如果映射 \(f: A \to B\) 和 \(g: B \to A\) 满足 \(g∘f = I_A\),则称\(f\)左可逆 \(g\) 是 \(f\) 的左逆映射;如果 \(f∘g = I_B\),则称\(f\)右可逆 \(g\) 是 \(f\) 的右逆映射。
    如果映射 \(f: A \to B\) 存在左逆映射和右逆映射,则称 \(f\) 是可逆映射。
    双射的左逆=右逆

变换

A到A的映射叫做A的一个变换. 习惯上, 一个A到A的满射, 单射或一一映射
叫做A的一个满射变换, 单射变换, 一一变换.

标签:01,满射,映射,元素,逆映射,cdots,抽象代数,单射,基本概念
From: https://www.cnblogs.com/luminescence/p/18582673

相关文章

  • 抽象代数-02-代数系统
    代数运算集合\(A,B,C\),把一个从\(A\timesB\)到\(C\)的代数运算的映射叫做一个从\(A\timesB\)到\(C\)的代数运算,记为\(\circ\)\(\circ:(a,b)\toc\)\(a\circb=c\)如果\(\circ\)是\(A\timesA\)到\(A\)的代数运算,我们就说,集合\(A\)对于代数运算\(\circ\)来说......
  • CS61B srping 2018 examprep01(?02) https://sp18.datastructur.es/
    1.写出第21、24行的运行结果。(画出box-pointer指示图会对答题很有帮助)1publicclassShock{2publicstaticintbang;3publicstaticShockbaby;4publicShock(){5this.bang=100;6}7publicShock(intnum){8this.bang=num;9baby=starter();10this......
  • COMP1001J Playing Grid
    100 989796959493929181828384858687  9080  7877 7574737体7161 58545765 67686970605956955 5352  5141......
  • UniApp 微信小程序请求接口报错:request:fail errcode:10011 的原因分析与解决方案
    UniApp微信小程序请求接口报错:request:failerrcode:10011的原因分析与解决方案在使用UniApp开发微信小程序时,我们可能会遇到一些请求接口的错误,特别是request:failerrcode:10011cronet_error_code:0error_msg:networkchange,cancelalltask这样的错误信息。这......
  • 力扣刷题TOP101:10.BM12 单链表的排序
    目录:目的思路复杂度记忆秘诀python代码目的{1,3,2,4,5}排序变成{1,2,3,4,5}思路这个任务是将无序单链表变成有序表。推荐使用归并算法。可以理解为汉武帝的推恩令政策(分治思想)。将大块封地分成小块封地(分割链表),对小封地进行整顿,确保符合中央标准(分到最小),将整治......
  • 聪明办法学python Task05 条件&扩展01:代码风格/Python规范Style
    条件if与c语言的逻辑相似,就不多叙述了代码布局-缩进如果有开始定界符,其余行的缩进需与开始定界符对齐需要额外的4个空格(长度相当于一个Tab键),以区分开传入参数,和其它内容空格一般用于添加以上这种缩进,Tab键一般用于保持行与行之间的一致性多行if语句衔接,需要一......
  • OSG开发笔记(三十六):osg3.4.0基于windows平台msvc2017x64编译器编译并移植Demo
    前言  本篇编译osg3.4.0的msvc2017x64版本,之前使用的都是mingw32版本。 OSG编译步骤一:下载解压  下载3.4.0版本。  步骤二:使用cmake配置        因为是64位,可以通过后续配置cmake用x64,也可以直接选择构架:    继续:    ......
  • VS2017 设置 类模板参数推导(CTAD, Class Template Argument Deduction)
    ''#includestd::mutexm_mutex;...std::lock_guardlock(m_mutex);//A..以上代码编译提示C2955,没有模板参数改为std::lock_guardstd::mutexlock(m_mutex);编译成功但是有的代码用A处的写法,编译就成功。原因虽然C++17引入了类模板参数推导(CTAD,Class......
  • 【2024-12-01】连岳摘抄
    23:59日子未必会永远这样,你的人生有可能突然绽放花朵,这种事是有可能发生的。                                                 ——乔治桑德女性,工作家庭更难两全,这......
  • 高级java每日一道面试题-2024年12月01日-JVM篇-你知道哪些JVM性能调优参数?
    如果有遗漏,评论区告诉我进行补充面试官:你知道哪些JVM性能调优参数?我回答:在Java高级面试中,JVM性能调优是一个非常重要的主题。了解JVM的性能调优参数可以帮助你更好地管理和优化应用程序的性能。以下是一些常见的JVM性能调优参数及其详细解释:1.堆内存相关参数-Xms......