“θ”字符怎么读？

θ  希腊字母
西塔
Θ
Theta（大写Θ，小写θ），在希腊语中，是第八个希腊字母。
大写的Θ是：
粒子物理学中pentaquark用Θ+来表示
小写的θ是：
数学上常代表平面的角
国际音标中的无声齿摩擦音
西里尔字母的 Ѳ 是从 Theta 变来。

θ代表：
在几何学中的角
在球坐标系或圆柱坐标系中，x轴与xy平面的角
在热力学中的位温
工程学以θ代表平均故障间隔
土壤含水量
德拜温度
Θ函数

数学符号的发明及使用比数字要晚，但其数量却超过了数字。现在常用的数学符号已超过了200个，其中，每一个符号都有一段有趣的经历。

Α α：阿尔法 Alpha
Β β：贝塔 Beta
Γ γ：伽玛 Gamma
Δ δ：德尔塔 Delte
Ε ε：艾普西龙 Epsilon
Ζ ζ ：捷塔 Zeta
Ε η：依塔 Eta
Θ θ：西塔 Theta
Ι ι：艾欧塔 Iota
Κ κ：喀帕 Kappa
∧ λ：拉姆达 Lambda
Μ μ：缪 Mu
Ν ν：拗 Nu
Ξ ξ：克西 Xi
Ο ο：欧麦克轮 Omicron
∏ π：派 Pi
Ρ ρ：柔 Rho
∑ σ：西格玛 Sigma
Τ τ：套 Tau
Υ υ：宇普西龙 Upsilon
Φ φ：fai Phi
Χ χ：器 Chi
Ψ ψ：普赛 Psi
Ω ω：欧米伽 Omega

1发展历程

例如加号曾经有好几种，目前通用“+”号。 数学符号“+”号是由拉丁文“et”（“和”的意思）演变而来的。十六世纪，意大利科学家 塔塔里亚用 意大利文“plu”（“加”的意思）的第一个字母表示加，草为“μ”最后都变成了“+”号。“-”号是从拉丁文“minus”（“减”的意思）演变来的，一开始简写为m，再因快速书写而简化为“-”了。

也有人说，卖酒的商人用“-”表示酒桶里的酒卖了多少。以后，当把新酒灌入大桶的时候，就在“-”上加一竖，意思是把原线条勾销，这样就成了个“+”号。

到了十五世纪，德国数学家魏德美正式确定：“+”用作加号，“-”用作 减号。

乘号曾经用过十几种，现代数学通用两种。一个是“×”，最早是英国数学家奥屈特1631年提出的；一个是“·”，最早是英国数学家赫锐奥特首创的。德国数学家 莱布尼茨认为：“×”号像拉丁字母“X”，可能引起混淆而加以反对，并赞成用“·”号（事实上点乘在某些情况下亦易与小数点相混淆）。后来他还提出用“∩“表示 相乘。这个符号在现代已应用到 集合论中了。

到了十八世纪，美国数学家欧德莱确定，把 “×”作为乘号。他认为“×”是“+”的旋转变形，是另一种表示增加的符号。

“÷”最初作为减号，在欧洲大陆长期流行。直到1631年英国数学家奥屈特用“：”表示 除或 比，另外有人用“－”（除线）表示除。后来 瑞士数学家 拉哈在他所著的《 代数学》里，才根据群众创造，正式将“÷”作为 除号。

平方根号曾经用拉丁文“Radix”（根）的首尾两个字母合并起来表示，十七世纪初叶，法国数学家 笛卡儿在他的《 几何学》中，第一次用 “√”表示 根号。“√”是由拉丁字线“r”的变形，“￣”是括线。

十六世纪法国数学家维叶特用 “=”表示两个量的差别。可是英国 牛津大学数学、修辞学教授列考尔德觉得：用两条平行而又相等的直线来表示两数相等是最合适不过的了，于是等于符号“=”就从1540年开始使用起来。

1591年，法国数学家 韦达在 菱形中大量使用这个符号，才逐渐为人们接受。十七世纪德国 莱布尼茨广泛使用了“=”号，他还在几何学中用 “∽”表示 相似，用 “≌”表示 全等。

大于号 “>”和小于号 “<”，是1631年英国著名 代数学家赫锐奥特创用。至于 “≥”、“≤”、“≠”这三个符号的出现，是很晚很晚的事了。 大括号 “{}”和 中括号 “[]”是代数创始人之一魏治德创造的。

任意号（全称量词）∀来源于英语中的any一词，因为小写和大写均容易造成混淆,故将其单词首字母大写后倒置。同样，存在号（存在量词）∃来源于exist一词中E的反写。

2符号种类

编辑

数量符号

数学符号如：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！=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 存在量词特指规则（存在量词消去规则）

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 环范畴

C Rng 交换环范畴

R-mod 环 R的左模范畴

mod- R 环 R的右模范畴

Field 域范畴

Poset 偏序集范畴