数学符号大全常用数学符号常用数学符号意义

数学符号⼤全常⽤数学符号常⽤数学符号意义
数学符号⼤全|常⽤数学符号|常⽤数学符号意义
⼀、常⽤数学符号⼤全
数学符号⼤全及意义之运算符号
如加号( )，减号(-)，乘号(×或·)，除号(÷或/)，两个集合的并集(∪)，交集(∩)，根号(√￣)，对数(log，lg，ln，lb)，⽐(:)，绝对值符号| |，微分(d)，积分(∫)，闭合曲⾯(曲线)积分(∮)等。

数学符号⼤全及意义之关系符号
如“=”是等号，“≈”是近似符号(即约等于)，“≠”是不等号，“>”是⼤于符号，“<”是⼩于符号，“≥”是⼤于或等于符号(也可写作“≮”，即不⼩于)，“≤”是⼩于或等于符号(也可写作“≯”，即不⼤于)，“→ ”表⽰变量变化的趋势，“∽”是相似符号，“≌”是全等号，“∥”是平⾏符号，“⊥”是垂直符号，“∝”是正⽐例符号(表⽰反⽐例时可以利⽤倒数关系)，“∈”是属于符号，“⊆”是包含于符号，“⊇”是包含符号，“|”表⽰“能整除”(例如a|b 表⽰“a能整除b”，⽽ ||b表⽰r是a恰能整除b的最⼤幂次)，x,y等任何字母都可以代表未知数。

数学符号⼤全及意义之结合符号
如⼩括号“()”，中括号“[]”，⼤括号“{}”，横线“—”=。

数学符号⼤全及意义之性质符号
如正号“ ”，负号“-”，正负号“ ”(以及与之对应使⽤的负正号“”)
数学符号⼤全及意义之省略符号
如三⾓形(△)，直⾓三⾓形(Rt△)，正弦(sin)(见三⾓函数)，
双曲正弦函数(sinh)，x的函数(f(x))，极限(lim)，⾓(∠)，
∵因为(⼀个脚站着的，站不住)
∴所以(两个脚站着的，能站住)(⼝诀：因为站不住，所以两个点;因为上⾯两个点，所以下⾯两个点)
总和，连加：∑，求积，连乘：∏，从n个元素中取出r个元素所有不同的组合数 (n元素的总个数;r参与选择的元素个数)，幂等。

数学符号⼤全及意义之排列组合符号
C 组合数
A (或P) 排列数
n 元素的总个数
r 参与选择的元素个数
! 阶乘，如5!=5×4×3×2×1=120，规定0!=1
!! 半阶乘(⼜称双阶乘)，例如7!!=7×5×3×1=105,10!!=10×8×6×4×2=3840数学符号⼤全及意义之离散数学符号
∀全称量词
∃存在量词
├断定符(公式在L中可证)
╞满⾜符(公式在E上有效，公式在E上可满⾜)
﹁命题的“⾮”运算，如命题的否定为﹁p
∧命题的“合取”(“与”)运算
∨命题的“析取”(“或”，“可兼或”)运算
→命题的“条件”运算
↔命题的“双条件”运算的
p<=>q 命题p与q的等价关系
p=>q 命题p与q的蕴涵关系(p是q的充分条件，q是p的必要条件)
A* 公式A的对偶公式，或表⽰A的数论倒数(此时亦可写为 )
wff 合式公式
iff 当且仅当
↑命题的“与⾮” 运算(“与⾮门”)
↓命题的“或⾮”运算(“或⾮门”)
□模态词“必然”
◇模态词“可能”
◇模态词“可能”
∅空集
∈属于(如"A∈B"，即“A属于B”)
∉不属于
P(A) 集合A的幂集
|A| 集合A的点数
R²=R○R [R
=R
○R] 关系R的“复合”
ℵ Aleph,阿列夫
⊆包含
⊂(或 ) 真包含
另外,还有相应的⊄,⊈,⊉等
∪集合的并运算
U(P)表⽰P的领域
∩集合的交运算
-或\ 集合的差运算
〡限制
集合关于关系R的等价类
A/R 集合A上关于R的商集
[a] 元素a产⽣的循环群
I环，理想
Z/(n) 模n的同余类集合
r(R) 关系 R的⾃反闭包
s(R) 关系 R的对称闭包
CP 命题演绎的定理(CP 规则)
EG 存在推⼴规则(存在量词引⼊规则) ES 存在量词特指规则(存在量词消去规则)
ES 存在量词特指规则(存在量词消去规则)
UG 全称推⼴规则(全称量词引⼊规则)
US 全称特指规则(全称量词消去规则)
R 关系
r 相容关系
R○S 关系与关系的复合
domf 函数的定义域(前域)
ranf 函数的值域
f:x→y f是x到y的函数
(x,y) x与y的最⼤公约数，有时为避免混淆，使⽤gcd(x,y) [x,y] x与y的最⼩公倍数，有时为避免混淆，使⽤lcm(x,y) aH(Ha) H关于a的左(右)陪集
Ker(f) 同态映射f的核(或称f同态核)
[1，n] 1到n的整数集合
d(A,B),|AB|,或AB 点A与点B间的距离
d(V) 点V的度数
G=(V,E) 点集为V，边集为E的图G
W(G) 图G的连通分⽀数
k(G) 图G的点连通度
Δ(G) 图G的最⼤点度
A(G) 图G的邻接矩阵
P(G) 图G的可达矩阵
M(G) 图G的关联矩阵
C 复数集
I 虚数集
N ⾃然数集，⾮负整数集(包含元素"0")
N*(N ) 正⾃然数集，正整数集(其中*表⽰从集合中去掉元素“0”，如R*表⽰⾮零实数) P 素数(质数)集
Q 有理数集
R 实数集
Z 整数集
Set 集范畴
Top 拓扑空间范畴
Ab 交换群范畴
Grp 群范畴
Mon 单元半群范畴
Ring 有单位元的(结合)环范畴
Rng 环范畴
CRng 交换环范畴
R-mod 环R的左模范畴
mod-R 环R的右模范畴
Field 域范畴
Poset 偏序集范畴
⼆、常⽤数学符号意义汇总
= 等于
≠ 不等于
≈约等于
< ⼩于
> ⼤于
// 平⾏
平⾏且相等
⊥垂直
≥ ⼤于或等于
≤ ⼩于或等于
≡恒等于或同余
π圆周率约为3.1415926536
e ⾃然常数约为 2.7182818285
|x| 绝对值或(复数的)模
∽相似
≌全等
远⼤于
<< 远⼩于
∪并集
∩交集
⊆包含于
∈属于
⊙圆
\ 除，求商值，部分编程语⾔中理解为整除α，β，γ，φ… ⾓度;系数
∞　⽆穷⼤(包括正⽆穷⼤ ∞与负⽆穷⼤-∞) lnx 以e为底的对数(⾃然对数)
lgx 以10为底的对数(常⽤对数)
lbx 以2为底的对数
lbx 以2为底的对数
lim 求极限
floor(x) 或[x],亦可写为下取整函数(直译为“地板函数”)，⼜称⾼斯函数ceil(x) 亦可写为上取整函数(直译为“天花板函数”)
x mod y模，求余数
x-floor(x) 或{x} 表⽰x的⼩数部分
dy，df(x) 函数y=f(x)的微分(或线性主部)
∫f(x)dx 不定积分，函数f的全体原函数。