数学符表.docVIP

数学符号表 数学上，有一组常在数学表达式中出现的符号。数学工作者熟悉这些符号，不是每次使用都加以说明。所以，对于数学初学者，下面的列表给出了很多常见的符号包括名称、读法和应用领域。另外，第三栏有一个非正式的定义，第四栏有个简单的例子。注意，有时候不同符号有相同含义，而有些符号在不同的上下文中有不同的含义。注意：本条目含有特殊字符。 符号 名称 定义 举例 读法 数学领域 = 等号 x = y 表示 x 和 y 是相同的东西或其值相等。 1 + 1 = 2 等于 所有领域 ≠ 不等号 x ≠ y 表示 x 和 y 不是相同的的东西或数值。 1 ≠ 2 不等于 所有领域  严格不等号 x y 表示 x 小于y。x y 表示 x 大于y。 3 45 4 小于，大于 序理论 ≤≥ 不等号 x ≤ y 表示 x 小于等于y。x??≥ y 表示 x 大于等于y。 3 ≤ 4；5 ≤ 55 ≥ 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.512/4 = 3 除以 算术 √ 根号 √x 表示其平方为 x 的正数。 √4 = 2 …的平方根 实数 复根号 若用极坐标表示复数 z = r exp(iφ)（满足 -π φ ≤ π），则 √z = √r exp(iφ/2)。 √(-1) = i …的平方根 复数 | | 绝对值 |x| 表示实数轴（或复平面）上 x 和 0 的距离。 |3| = 3, |-5| = |5||i| = 1, |3+4i| = 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) ? Ax ≠ y??????(x =??y) 非，不 命题逻辑 ∧ 逻辑与或交运算 若 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 ? 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 存