常用的数学符号大全及其意义.docx

常用的数学符号大全及其意义数学符号大全及意义之运算符号如加号(+)，减号(-)，乘号(×或·)，除号(÷或/)，两个集合的并集(∪)，交集(∩)，根号(√￣)，对数(log，lg，ln，lb)，比(:)，绝对值符号||，微分(d)，积分(∫)，闭合曲面(曲线)积分(∮)等。数学符号大全及意义之关系符号如“=”是等号，“≈”是近似符号(即约等于)，“≠”是不等号，“>”是大于符号，“数学符号大全及意义之结合符号如小括号“()”，中括号“[]”，大括号“{}”，横线“—”=。数学符号大全及意义之性质符号如正号“+”，负号“-”，正负号“”(以及与之对应使用的负正号“”)数学符号大全及意义之省略符号如三角形(△)，直角三角形(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∧命题的“合取”(“与”)运算∨命题的“析取”(“或”，“可兼或”)运算→命题的“条件”运算↔命题的“双条件”运算的pq命题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存在量词特指规则(存在量词消去规则)UG全称推广规则(全称量词引入规则)US全称特指规则(全称量词消去规则)R关系r相容关系R○S关系与关系的复合domf函数的定义域(前域)ranf函数的值域f:x→yf是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的图GW(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.1415926536e自然常数约为2.7182818285|x|绝对值或(复数的)模∽相似≌全等远大于∪并集∩交集⊆包含于∈属于⊙圆\除，求商值，部分编程语言中理解为整除α，β，γ，φ…角度;系数∞无穷大(包括正无穷大+∞与负无穷大-∞)lnx以e为底的对数(自然对数)lgx以10为底的对数(常用对数)lbx以2为底的对数lim求极限floor(x)或[x],亦可写为下取整函数(直译为“地板函数”)，又称高斯函数ceil(x)亦可写为上取整函数(直译为“天花板函数”)xmody模，求余