数学符号的读法.pdf

个人工具个人工具 用户登录 维客维客 贴吧 随机页面 热点条目 帮助 Views 数学符号表数学符号表 来自 维客来自 维客 数学符号表 维客搜索进入条目 把维客设为首页 收藏本页 复制地址 链入页面 链出更改 上载文件 特殊页面 条目 贴吧 编辑 历史版本 数学上 有一组常在数学表达式中出现的符号 数学工作者熟悉这些符号 不 是每次使用都加以说明 所以 对于数学初学者 下面的列表给出了很多常见 的符号包括名称 读法和应用领域 另外 第三栏有一个非正式的定义 第四 栏有个简单的例子 注意 有时候不同符号有相同含义 而有些符号在不同的上下文中有不同的含 义 注意 本条目含有特殊字符 符号符号 名称 定义 举例 读法 数学领域 名称 定义 举例 读法 数学领域 等号 x y 表示 x 和 y 是相同 的东西或其值相等 1 1 2 等于 所有领域 不等号 x y 表示 x 和 y 不是相 同的的东西或数值 1 2 不等于 所有领域 严格不等号 x y 表示 x 大于y 3 4 小于 大于 序理论 不等号 x y 表示 x 小于等于y x y 表示 x 大于等于y 3 4 5 5 5 4 5 5 小于等于 大 于等于 序理论 页码 1 7 2008 3 2file C DOCUME 1 JJPP LOCALS 1 Temp JJCLDSA5 htm 加号 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 12 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 标准正态分布 满足分布 统计学 页码 2 7 2008 3 2file C DOCUME 1 JJPP LOCALS 1 Temp JJCLDSA5 htm 实质蕴涵 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 x y x y 非 不 命题逻辑 逻辑与或交运 算 若 A 为真且 B 为真 则 命题 A B 为真 否则 为假 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 存在唯一 谓词逻辑 定义 x y 或 x y 表示 x 定 页码 3 7 2008 3 2file C DOCUME 1 JJPP LOCALS 1 Temp JJCLDSA5 htm 定义为 义为 y的一个名字 注 意 也可表示其它意 思 例如全等 P Q 表示 P 定义为 Q 的逻辑等价 cosh x 1 2 exp x exp x A XOR B A B A B 所有领域 集合括号 a b c 表示 a b c 组成的 集合 N 0 1 2 的集合 集合论 集合构造记号 x P x 表示所有满足 P x 的 x 的集合 x P x 和 x P 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 2 1 N 属于 不属于 所有领域 子集 A B 表示 A 的所有元素 属于 B A B 表示 A B 但 A B A B A Q R 的子集 集合论 父集 A B 表示 B 的所有元素 属于 A A B 表示 A B 但 A B A B B R Q 的父集 集合论 并集 A B 表示包含所有 A 和 B 的元素但不包含任何其 他元素的集合 A B 的导 数 微积分 不定几分 或 反导数 f x dx 表示导数为f的函 数 x2 dx x3 3 的不定积分 的反导数 微积分 定积分 ab f x dx 表示 x 轴和 f 在 x a和x b之间的函 数图像所夹成的带符号面 积 0b x2 dx b3 3 从 到 以 为变量的积分 微积分 梯度 f x1 xn 偏导数组成 的向量 df dx1 df dxn 若 f x y z 3xy z 则 f 3y 3x 2z 的 del或 nabla或梯度 微积分 偏导数 设有f x1 xn f xi是f 的对于xi的当其他变量保 持不变时的导数 若 f x y x2y 则 f x 2xy 的偏导数 微积分 边界 M 表示M的边界 x x 2 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 从 导出 命题逻辑 谓 词逻辑 正则子群 页码 6 7 2008 3 2file C DOCUME 1 JJPP LOCALS 1 Temp JJCLDSA5 htm 维客版权 关于维客 免责声明 外部链接外部链接 Jeff Miller Earliest Uses of Various Mathematical Symbols TCAEP Institute of Physics http www tcaep co uk science symbols maths htm 取自 8F B7 E8 A1 A8 是 的正则子 群 N G 表示 N是G的正则 子群 Z G G 群论 商群 G H 表示G 模其子群H的 商群 0 a 2