Α α alpha Β β beta Γ γ gamma Δ δ delta Ε ε epsilon
Ζ ζ zeta Η η eta Θ θ theta Ι ι iota Κ κ kappa
Λ λ lambda Ψ ψ psi Μ μ mu Ν ν nu Ξ ξ xi
Ο ο omicron Π π pi Ρ ρ rho Σ σ sigma Τ τ tau
Υ υ upsilon Φ φ phi Χ χ chi Ω ω omega
數學符號表
數學上,有一組常在數學表達式中出現的符號。數學工作者熟悉這些符號,不是每次使用都加以說明。所以,對於數學初學者,下面的列表給出了很多常見的符號包括名稱、讀法和應用領域。另外,第三欄有一個非正式的定義,第四欄有個簡單的例子。
注意,有時候不同符號有相同含義,而有些符號在不同的上下文中有不同的含義。
注意:本條目含有特殊字元。
符號 | 名稱 | 定義 | 舉例 |
讀法 | |||
數學領域 | |||
= | x = y 表示 x 和 y 是相同的東西或其值相等。 | 1 + 1 = 2 | |
等於 | |||
所有領域 | |||
≠ | x ≠ y 表示 x 和 y 不是相同的的東西或數值。 | 1 ≠ 2 | |
不等於 | |||
所有領域 | |||
< | x < y 表示 x 小於y。 | 3 < 4 | |
小於,大於 | |||
≤ | x ≤ y 表示 x 小於等於y。 | 3 ≤ 4;5 ≤ 5 | |
小於等於,大於等於 | |||
+ | 4 + 6 表示 4 加 6。 | 2 + 7 = 9 | |
加 | |||
− | 9 − 4 表示 9 減 4。 | 8 − 3 = 5 | |
減 | |||
−3 表示 3 的負數。 | −(−5) = 5 | ||
負 | |||
A − B 表示包含所有屬於 A 但不屬於 B 的元素的集合。 | {1,2,4} − {1,3,4} = {2} | ||
減 | |||
× | 3 × 4 表示 3 乘以 4。 | 7 × 8 = 56 | |
乘以 | |||
X × Y 表示所有第一個元素屬於 X,第二個元素屬於 Y 的有序對的集合。 | {1,2} × {3,4} = {(1,3),(1,4),(2,3),(2,4)} | ||
… 和…的直積 | |||
u × v 表示向量 u 和 v 的叉乘。 | (1,2,5) × (3,4,−1) = (−22, 16, − 2) | ||
叉乘 | |||
÷ | 6 ÷ 3 或 6 / 3 表示 6 除以 3。 | 2 ÷ 4 = 0.5 | |
除以 | |||
√ | √x 表示其平方為 x 的正數。 | √4 = 2 | |
…的平方根 | |||
若用極坐標表示覆數 z = r exp(iφ)(滿足 -π < φ ≤ π),則 √z = √r exp(iφ/2)。 | √(-1) = i | ||
…的平方根 | |||
| | | |3| = 3, |-5| = |5| | ||
…的絕對值 | |||
! | n! 表示連乘積 1×2×…×n。 | 4! = 1 × 2 × 3 × 4 = 24 | |
…的階乘 | |||
~ | X ~ D 表示隨機變數 X 機率分佈為 D。 | X ~ N(0,1):標準常態分佈 | |
滿足分佈 | |||
⇒ | A ⇒ B 表示 A 真則 B 也真;A 假則 B 不定。 | x = 2 ⇒ x2 = 4 為真,但 x2 = 4 ⇒ x = 2 一般情況下為假(因為 x 可以是 −2)。 | |
推出,若…則 … | |||
⇔ | A ⇔ B 表示 A 真則 B 真,A 假則 B 假。 | x + 5 = y +2 ⇔ x + 3 = y | |
若且唯若 | |||
¬ | 命題 ¬A 為真若且唯若 A 為假。 | ¬(¬A) ⇔ A | |
非,不 | |||
∧ | 若 A 為真且 B 為真,則命題 A ∧ B 為真;否則為假。 | n < 4 ∧ n >2 ⇔ n = 3,當 n 是自然數 | |
與 | |||
∨ | 若 A 或 B(或都)為真,則命題 A ∨ B 為真;若兩者都假則命題為假。 | n ≥ 4 ∨ n ≤ 2 ⇔ n ≠ 3,當 n 是自然數 | |
或 | |||
⊕
⊻ | 若 A 和 B 剛好有一個為真,則命題 A ⊕ B 為真。 | (¬A) ⊕ A 恆為真,A ⊕ A 恆為假。 | |
異或 | |||
∀ | ∀ x: P(x) 表示 P(x) 對於所有 x 為真。 | ∀ n ∈ N: n2 ≥ n | |
對所有;對任意;對任一 | |||
∃ | ∃ x: P(x) 表示存在至少一個 x 使得 P(x) 為真。 | ∃ n ∈ N: n 為偶數 | |
存在 | |||
∃! | ∃! x: P(x) 表示有且僅有一個 x 使得 P(x) 為真。 | ∃! n ∈ N: n + 5 = 2n | |
存在唯一 | |||
:= | x := y 或 x ≡ y 表示 x 定義為 y的一個名字(注意:≡ 也可表示其它意思, 例如全等)。 | cosh x := (1/2)(exp x + exp (−x)) | |
定義為 | |||
所有領域 | |||
{ , } | 集合括弧 | {a,b,c} 表示 a, b,c 組成的集合。 | N = {0,1,2,…} |
…的集合 | |||
{ : } | {x : P(x)} 表示所有滿足 P(x) 的 x 的集合。 | {n ∈ N : n2 < 20} = {0,1,2,3,4} | |
滿足…的集合 | |||
∅ | ∅ 表示沒有元素的集合。 | {n ∈ N : 1 < n2 < 4} = ∅ | |
空集 | |||
∈ | 集合屬於 | a ∈ S 表示 a 屬於集合 S;a ∉ S 表示 a 不屬於 S。 | (1/2)−1 ∈ N |
屬於;不屬於 | |||
所有領域 | |||
⊆ | A ⊆ B 表示 A 的所有元素屬於 B。 | A ∩ B ⊆ A;Q ⊂ R | |
…的子集 | |||
⊇ | A ⊇ B 表示 B 的所有元素屬於 A。 | A ∪ B ⊇ B;R ⊃ Q | |
…的父集 | |||
∪ | A ∪ B 表示包含所有 A 和 B 的元素但不包含任何其他元素的集合。 | A ⊆ B ⇔ ;A ∪ B = B | |
…和…的並集 | |||
∩ | A ∩ B 表示包含所有同時屬於 A 和 B 的元素的集合。 | {x ∈ R : x2 = 1} ∩ N = {1} | |
…和…的交集 | |||
\ | A \ B 表示所有屬於 A 但不屬於 B 的元素的集合。 | {1,2,3,4} \ {3,4,5,6} = {1,2} | |
減;除去 | |||
( ) | 函數應用 | f(x) 表示 f 在 x 的值。 | f(x) := x2,則 f(3) = 32 = 9。 |
f(x) | |||
優先組合 | 先執行括弧內的運算。 | (8/4)/2 = 2/2 = 1;8/(4/2) = 8/2 = 4 | |
| |||
所有領域 | |||
ƒ :X | 函數箭頭 | ƒ: X → Y 表示 ƒ 從集合 X 映射到集合 Y。 | 設ƒ: Z → N 定義為 ƒ(x) = x2。 |
從…到… | |||
⃘ | f⃘g 是一個函數,使得 (f⃘g)(x) = f(g(x))。 | 若 f(x) = 2x,且 g(x) = x + 3,則 (fog)(x) = 2(x + 3)。 | |
複合 | |||
N
ℕ | N 表示 {0,1,2,3,…},另一定義參見自然數條目。 | {|a| : a ∈ Z} = N | |
N | |||
Z
ℤ | Z 表示 {…,−3,−2,−1,0,1,2,3,…}。 | {a : |a| ∈ N} = Z | |
Z | |||
Q
ℚ | Q 表示 {p/q : p,q ∈ Z, q ≠ 0}。 | 3.14 ∈ Q | |
Q | |||
R
ℝ | R 表示 {limn→∞ an : ∀ n ∈ N: an ∈ Q, 極限存在}。 | π ∈ R | |
R | |||
C
ℂ | C 表示 {a + bi : a,b ∈ R}。 | i = √(−1) ∈ C | |
C | |||
∞ | limx→0 1/|x| = ∞ | ||
無窮 | |||
π | π 表示圓周長和直徑之比。 | A = πr² 是半徑為 r 的圓的面積 | |
pi | |||
|| || | ||x|| 是賦范線性空間元素 x 的范數。 | ||x+y|| ≤ ||x|| + ||y|| | |
…的范數;…的長度 | |||
∑ | ∑k=1n ak 表示 a1 + a2 + … + an. | ∑k=14 k2 = 12 + 22 + 32 + 42 = 1 + 4 + 9 + 16 = 30 | |
從…到…的和 | |||
∏ | ∏k=1n ak 表示 a1a2···an. | ∏k=14 (k + 2) = (1 + 2)(2 + 2)(3 + 2)(4 + 2) = 3 × 4 × 5 × 6 = 360 | |
從…到…的積 | |||
∏i=0nYi 表示所有 (n+1)-元組 (y0,…,yn)。 | ∏n=13R = Rn | ||
…的直積 | |||
' | 若 f(x) = x2, 則 f '(x) = 2x | ||
… 撇; …的導數 | |||
∫ | ∫ f(x) dx 表示導數為f的函數. | ∫x2 dx = x3/3 | |
…的不定積分; …的反導數 | |||
∫0b x2 dx = b3/3; | |||
從…到…以…為變數的積分 | |||
∇ | ∇f (x1, …, xn) 偏導數組成的向量 (df / dx1, …, df / dxn). | 若 f (x,y,z) = 3xy + z² 則 ∇f = (3y, 3x, 2z) | |
∂ | 設有f (x1, …, xn), ∂f/∂xi是f的對於xi的當其他變數保持不變時的導數. | 若 f(x,y) = x2y, 則 ∂f/∂x = 2xy | |
…的偏導數 | |||
∂M 表示M的邊界 | ∂{x : ||x|| ≤ 2} = | ||
…的邊界 | |||
⊥ | x ⊥ y 表示 x 垂直於y; 更一般的 x正交於y. | 若 l⊥m和m⊥n 則 l || n. | |
垂直於 | |||
x = ⊥ 表示 x是最小的元素. | ∀x : x ∧ ⊥ = ⊥ | ||
底元素 | |||
⊧ | A ⊧ B 表示A蘊含B, 在A成立的每個 模型中, B也成立. | A ⊧ A ∨ ¬A | |
蘊含; | |||
⊢ | x ⊢ y 表示 y 由 x導出. | A → B ⊢ ¬B → ¬A | |
從…導出 | |||
◅ | N ◅ G 表示 N是G的正則子群. | Z(G) ◅ G | |
是…的正則子群 | |||
/ | G/H 表示G 模其子群H的商群. | {0, a, 2a, b, b+a, b+2a} / {0, b} = {{0, b}, {a, b+a}, {2a, b+2a}} | |
模 | |||
≈ | G ≈ H 表示 G 同構於 H | ||
同構於 | |||