集合论

集合运算

集合的直积(笛卡尔积):

多个集合的直积:

一般的直积(指标集 ):

集合的并、交、差与补:

德摩根律(相对全集 ):

幂集:

映射

映射与像、原像:

映射的合成:

满足结合律:

恒等映射:

单射、满射、双射:

逆映射(仅对双射):

原像与集合运算( ):

引理1(合成满足结合律): 设

简证:任取 ,有

对一切 成立,故两映射相等。

引理2(可逆映射判别): 映射 为一一对应的充要条件是存在映射 ,使

证明: 充分性:若 为一一对应,则对每个 ,存在唯一 使 (存在性来自满射,唯一性来自单射)。据此定义

。于是对任意 ,有

从而

必要性:反设 不是一一对应。 若 非满射,则存在 满足 ,即对所有 都有 。因此对任意映射

。 若 非单射,则存在 使 。因此对任意映射

。 所以只要同时满足

就必有 既满且单,即 为一一对应。证毕。

关系与等价关系

等价关系和划分可以互推 证明等价关系 证明三个性质

  1. 二元关系:
  1. 等价关系(自反、对称、传递):
  1. 等价类与商集:

    1. 表示a的等价类

[a]={x\in A\mid x\sim a}$$ 可以通过等价类对A进行划分 : 等价类中的任意一个元素均可作为代表元

2. 商集$\quad A/{\sim}=\{[a]\mid a\in A\}.$

例子 n

0,1,2,… , n-1 称为完全代表系/模n剩余类 用 表示

群论

群的定义:一个非空集合 G 连同一个二元运算 GxG G 称为群 群满足的性质:

  • 封闭性:
  • 结合律:
  • 幺元:
    • 常见幺元,1(乘法);0(加法)
  • 逆元:
    • 常见逆元写法:

验证群就验证后三条 是一个群 定义: 若n为素数,则 欧拉函数 = {1,2,…,n}中与n互素的数的个数 对任意正整数 (),欧拉函数 () 定义为:

Comments

  1. 逆元唯一
  2. 幺元唯一
  3. 满足交换律(阿贝尔群) 阿贝尔群:若满足 ,则称为阿贝尔群(交换群)。 证明: 设 为群。

1. 逆元唯一

命题: 对任意 ,其逆元唯一。

证明:
都是 的逆元,即

则有

因此 ,逆元唯一。

2. 幺元(单位元)唯一

命题: 的单位元唯一。

证明:
都是单位元,即对任意

,由 为单位元得

,由 为单位元得

又因 为单位元,对 ,而 为单位元对 ,于是

更直接地,由 为单位元可得

而由 为单位元可得

两式合并即 。故单位元唯一。

3. 满足交换律(阿贝尔群的判定)

说明:在“群”的定义中不要求交换律。
若额外满足交换律,则称该群为阿贝尔群

tbc

交换群:

子群判别():

循环子群与元素阶:

群同态:

核与像:

基本性质:

陪集与指数(有限时):

正规子群与商群:

,则商群 的乘法为

第一同构定理: