有时候做项目往往是不走捷径,不采用最简单的方法,而是采用更加复杂的方法来突显任务量。
x属于A:
x
∈
A
x \in A
x∈A
A是B的子集:
A
⊂
B
A \subset B
A⊂B
A是B的真子集:
A
⊊
B
A \subsetneq B
A⊊B
A有
2
n
2^n
2n个子集,
2
n
−
1
2^n-1
2n−1个真子集
A在X中的补集:
A
c
=
X
−
A
=
X
\
A
,
A
⊂
X
A^c = X - A = X\A, A \subset X
Ac=X−A=X\A,A⊂X或
A
c
=
{
x
∈
X
∣
x
∉
A
}
A^c=\{x\in X|x\notin A\}
Ac={x∈X∣x∈/A}
注:将半角换成全角,才可以输入反斜杠,CSDN的markdown还是存在问题
有限集:集合有有限个元素
如果无限集的元素可按规律排成一列,则称为可数集
无限集必有一个可数子集
A × B = { ( x , y ) ∣ x ∈ A , y ∈ B } A \times B = \{(x,y)| x\in A, y\in B\} A×B={(x,y)∣x∈A,y∈B}
A
⊂
R
A \subset R
A⊂R
如果
∃
M
∈
A
\exist M \in A
∃M∈A,使得
∀
x
∈
A
\forall x\in A
∀x∈A,均有
x
≤
M
x \leq M
x≤M,则称
M
M
M为
A
A
A的最大数
如果
∃
m
∈
A
\exist m \in A
∃m∈A,使得
∀
x
∈
A
\forall x\in A
∀x∈A,均有
m
≤
x
m \leq x
m≤x,则称
m
m
m为
A
A
A的最小数
如果
∃
M
∈
R
\exist M \in R
∃M∈R,使得
∀
x
∈
A
\forall x\in A
∀x∈A,均有
x
≤
M
x \leq M
x≤M,则称
M
M
M为
A
A
A的上界
如果
∃
M
∈
R
\exist M \in R
∃M∈R,使得
∀
x
∈
A
\forall x\in A
∀x∈A,均有
m
≤
x
m \leq x
m≤x,则称
m
m
m为
A
A
A的下界
注:无限集,其最大(小)数可能不存在
注:有界数集,其上(下)界不唯一
确界定理:如果A有上界,则它有一个最小上界,称为上确界,记为
sup
A
\sup A
supA;如果A有下界,则它有一个最大上界,称为下确界,记为
inf
A
\inf A
infA
Newton二项式展开:
(
a
+
b
)
n
=
∑
k
=
0
n
C
n
k
a
k
b
n
−
k
(a+b)^n = \sum_{k=0}^n C_n^k a^k b^{n-k}
(a+b)n=∑k=0nCnkakbn−k
三角不等式:
∣
a
+
b
∣
≤
∣
a
∣
+
∣
b
∣
|a+b|\leq |a|+|b|
∣a+b∣≤∣a∣+∣b∣或
∣
a
−
b
∣
≤
∣
a
−
c
∣
+
∣
c
−
b
∣
|a-b|\leq |a-c|+|c-b|
∣a−b∣≤∣a−c∣+∣c−b∣
Cauchy不等式:
a
b
≤
a
2
+
b
2
2
ab \leq \frac{a^2 + b^2}{2}
ab≤2a2+b2或
a
b
≤
(
a
+
b
2
)
2
ab \leq (\frac{a + b}{2})^2
ab≤(2a+b)2
Z
Z
Z:整数的全体
Z
+
Z^+
Z+:非负整数的全体
N
N
N:正整数的全体
Q
Q
Q:有理数的全体
集合
X
X
X到集合
Y
Y
Y的映射记作:
f
:
X
→
Y
,
y
=
f
(
x
)
f: X\rightarrow Y, y=f(x)
f:X→Y,y=f(x)
或
f
:
X
→
Y
,
x
→
f
(
x
)
f: X\rightarrow Y, x\rightarrow f(x)
f:X→Y,x→f(x)
其中,
y
=
f
(
x
)
y=f(x)
y=f(x)为
x
x
x在
f
f
f下的象
x
x
x为
y
y
y的一个原象(逆象)
X
X
X为映射
f
f
f的定义域
f
(
X
)
f(X)
f(X)为
f
f
f的象的全体组成的集合,
f
(
X
)
f(X)
f(X)为
f
f
f的值域
f
(
X
)
=
{
f
(
x
)
∣
x
∈
X
}
,
f
(
X
)
⊂
Y
f(X) = \{f(x)| x\in X \}, f(X) \subset Y
f(X)={f(x)∣x∈X},f(X)⊂Y
单射:
∀
x
1
≠
x
2
∈
X
\forall x_1 \neq x_2 \in X
∀x1=x2∈X,均有
f
(
x
1
)
≠
f
(
x
2
)
f(x_1)\neq f(x_2)
f(x1)=f(x2),则称
f
f
f为单射
满射:
∀
y
∈
Y
\forall y \in Y
∀y∈Y,均有
x
∈
X
x\in X
x∈X,使得
y
=
f
(
x
)
y = f(x)
y=f(x),则称
f
f
f为满射
既是满射又是单射,则称
f
f
f为一一满射(一一映射,可逆映射)
如果
f
f
f是一一映射,则
f
f
f可逆(逆映射,反函数)
如果集合 X X X为可数集,则 f : X → N f: X\rightarrow N f:X→N为一一映射
复合映射: f ∘ g : X → Z , f ∘ g ( x ) = f ( g ( x ) ) , x ∈ X f\circ g: X\rightarrow Z, f \circ g(x) = f(g(x)), x\in X f∘g:X→Z,f∘g(x)=f(g(x)),x∈X
用复合映射来描述映射可逆:
f
:
X
→
Y
f: X\rightarrow Y
f:X→Y可逆当且仅当存在
g
:
Y
→
X
g: Y\rightarrow X
g:Y→X,使得
f
∘
g
=
i
d
Y
,
g
∘
f
=
i
d
X
f \circ g = id_Y, g \circ f = id_X
f∘g=idY,g∘f=idX,其中,
i
d
X
,
i
d
Y
id_X, id_Y
idX,idY为空间映射到自身的恒同映射
i
d
X
:
X
→
X
,
i
d
X
(
x
)
=
x
id_X: X\rightarrow X, id_X(x)=x
idX:X→X,idX(x)=x
i
d
Y
:
Y
→
Y
,
i
d
Y
(
y
)
=
y
id_Y: Y\rightarrow Y, id_Y(y)=y
idY:Y→Y,idY(y)=y
[1] 数学分析讲义 梅加强
[2] Markdown-常用数学公式编辑命令 https://www.jianshu.com/p/8b6fc36035c0
[3] 基本逻辑符号与数学符号列表 http://t.csdn.cn/UNjKt
[4] 柯西-施瓦茨不等式简介 - Leweslyh的文章 - 知乎
https://zhuanlan.zhihu.com/p/355277968
[5] Markdown 数学符号大全 http://t.csdn.cn/zWImw
[6] https://wanweibaike.net/wiki-實數的構造