数学符号.docx

数量符号：i，a，x，e，运算符号：并集（），交集（），根号（），对数（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！=54321=120，规定0！=1! 半阶乘(又称双阶乘)，例如7!=7531=105,10!=108642=3840离散数学符号全称量词存在量词 断定符（公式在L中可证） 满足符（公式在E上有效，公式在E上可满足） 命题的“非”运算，如命题的否定为p 命题的“合取”（“与”）运算 命题的“析取”（“或”，“可兼或”）运算 命题的“条件”运算 命题的“双条件”运算的pq命题p与q的等价关系p=q命题p与q的蕴涵关系（p是q的充分条件，q是p的必要条件）A* 公式A的对偶公式，或表示A的数论倒数（此时亦可写为）wff合式公式iff当且仅当 命题的“与非” 运算（ “与非门” ） 命题的“或非”运算（ “或非门” ）模态词“必然” 模态词“可能”空集 属于（如AB，即“A属于B”） 不属于P(A) 集合A的幂集|A| 集合A的点数R=RR R=RR 关系R的“复合”Aleph,阿列夫 包含（或） 真包含另外,还有相应的,等 集合的并运算 集合的交运算-或 集合的差运算 限制集合关于关系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相容关系RS 关系 与关系 的复合domf 函数 的定义域（前域）ranf 函数 的值域f:xyf是x到y的函数(x,y)x与y的最大公约数，有时为避免混淆，使用gcd(x,y)x,yx与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 偏序集范畴希腊字母简表字母1古希腊语名称英语名称古希腊语发音现代希腊语发音中文注音数学意思 ?Alphaa,a?a阿尔法角度；系数；平面 ?Betabv贝塔角度；系数；平面 ?Deltadð德尔塔变动；求根公式 ?Epsilonee伊普西隆对数之基数 ?Zetazdz泽塔系数； ?Thetat?西塔温度；相位角 ?Iotaii约塔微小，一点儿 ?(现为?)Lambdall兰姆达波长（小写）；体积 (现为)Mumm谬微（千分之一）；放大因数（小写） Xiksks克西随机变量 Pipp派圆周率=圆周直径3.1416 ?Sigmass西格玛总和（大写）；统计学上的标准差（小写） Tautt陶时间常数 Phip?f弗爱辅助角 ?Omega?o欧米咖角符号(Symbol)意义(Meaning)/平行is parallel to平行且相等垂直 恒等于或同余圆周率约为3.1415926536Ratio e自然常数约为 2.7182818285|x|绝对值或（复数的）模相似全等远大于 远小于并集交集包含于属于圆 除，求商值，部分编程语言中理解为整除，角度；系数无穷大（包括正无穷大+与负无穷大-）lnx以e为底的对数（自然对数）lgx以10为底的对数（常用对数）lbx 以2为底的对数floor(x) 或x,亦可写为下取整函数（直译为“地板函数”），又称高斯函数ceil(x) 亦可写为上取整函数（直译为“天花板函数”）xmody模，求余数x-floor(x) 或x 表示x的小数部分dy，df(x)