Math：数学符号

与数、向量、矩阵有关的符号

• $R$表示实数集合，$R^n$表示$n$维实向量空间，$R^{m\times n}$表示$m\times n$实矩阵的集合。复数域对应的表示分别为$C$、$C^n$和$C^{m\times n}$。$F$表示计算机能表示的浮点数集合。

• $i$表示单位虚数$\sqrt{-1}$，在不混淆的情况下，$i$常用于表示整数编号。

• $\left(\genfrac{}{}{0ex}{}{n}{k}\right)$表示从$n$个中选$k$个组合数。

• 在列出向量和矩阵的分量形式时，使用中括号$[]$。向量元素之间用空格或逗号分隔，矩阵元素分行、分列排列，且不用逗号分割。

• $(a_{ij})$表示第$i$行、第$j$列位置上元素为$a_{ij}$的矩阵。

• $A^T$表示矩阵$A$的转置，$A^{-1}$表示矩阵$A$的逆，$det(A)$为$A$的行列式，$rank(A)$为矩阵$A$的秩，$\rho (A)$为$A$的谱半径。

• 由若干个向量$(a_1,a_2,...,a_n)$张成的线性空间，即 { ∑ i = 1 n x i a i : x i ∈ R , i = 1 , . . . , n } \left \{ \sum_{i=1}^{n}x_ia_i:x_i \in R,i=1,...,n \right \} {∑i=1n​xi​ai​:xi​∈R,i=1,...,n}，记为$span(a_1,a_2,...,a_n)$。对于矩阵$A$的列向量张成的线性空间，简记为$span(A)$。

• 零向量和零矩阵分别用$0$和$O$表示；$n\times n$的单位矩阵记为$I_n$，在不至于混淆维数情况下用$I$表示；用$e_i$表示单位矩阵的第$i$列，也称为第$i$个标准单位向量。

• 内积运算用“$⟨,⟩$”表示。范数用$\Vert \cdot \Vert$表示，条件数用$cond(\cdot )$表示，不同种类的范数用下标加以区分，默认情况为欧式范数（2-范数）。

• $\lfloor x\rfloor$表示对实数$x$下取整得到的整数，$\lceil x\rceil$表示对实数$x$上取整得到的整数。

• $Re(Z)$与$Im(Z)$分别表示复数$Z$的实部与虚部。

• $fl(x)$表示实数$x$对应的机器数，$flop$表示某种浮点运算。

与函数、关系有关的符号

• $C(X)$表示定义在集合$X$上的所有连续函数，例如$C[a,b]$。$C^n(X)$表示集合$X$上的所有$n$阶导数连续的函数，$C^{\infty }(X)$表示集合$X$上的所有任意阶导数都连续的函数。若无特殊说明，它们都是实值函数。

• $P_n$表示次数不高于$n$次的所有实多项式的集合。

• 自然对数函数用$ln$表示，其底数为$e\approx 2.718$，一般对数函数用$log$表示，底数通过下标显示。

• 多变量函数的梯度符号为$▽$，例如$u(t,x)$的梯度，$▽u={\left[\frac{\partial u}{\partial t},\frac{\partial u}{\partial x}\right]}^T$。

• 用$\cong$表示最小二乘近似，用$\equiv$表示“定义为”或“恒等于”。

• 用$\iff$表示等价关系，即符号左右两边的命题互为充分必要条件，用$\Rightarrow$表示由左边的命题可以推出右边的命题，而用$\Leftarrow$表示从右边的命题可以推出左边的命题。

• 用$\to$表示趋近于或极限为。