在理工科學習研究中,下自形式邏輯,上至工程製圖我們常常遇到各種記號,這些記號作為形式語言的基本語素,承載著這個世界形而上的意義.然,這些記號的使用卻往往缺乏標準化,導致溝通上的困難與誤解.歐洲,蘇聯與美國等地區各自發展出不同的記號標準,而我們在學習時卻是接受了多套標準的混合,由是煢鴉以 ISO 80000 Quantity and units 標準為基礎,並做出些微修改,整理得出的一套較為完整的記號標準以供參考.
字體
所用之 Latin 字母使用了以下幾種字體風格來區分不同的數學對象
並且約定正體 (upright) 爲非意大利體,草書體和斜體的字體.
| R | BR | I | BI | C | BC | Bb | F | BF | S | BS | OS | BOS |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
數學
用不同种类的字母来表示不同种类的实体,例如,用 ,, 表示数字或某个给定集合的元素,用 , 表示函数等.这样做可以使公式更易读,并有助于建立适当的上下文. 变量,如 、 等,包括约束变量,如 中的指标 ,都用斜体印刷.参数,如 、 等,虽在特定上下文中可被视为常数,也用斜体印刷.函数亦然,例如 、. 明确定义的、不依赖于上下文的函数,例如 、、、,会以正体(upright type)印刷.数学常数,其值永不改变,也以正体印刷,例如 ;;.良好定义的运算符也以正体印刷,例如 、(在 中)以及
中的每个 d.某些变换使用特殊的大寫字母.以数字形式表示的量,应始终以正体字印刷,例如 ;;. 二元运算符,例如 、、,应在其前后加上窄间隔. 该规则不适用于一元运算符,例如 .函数的自变量写在函数符号的后面,用圆括号括起来,函数符号与第一个圆括号之间不留空格,例如 ,.如果函数符号
- 由两个或多个字母组成,
- 自变量不包含加号、减号、乘号或除号等运算符号,
则可以省略自变量周围的圆括号.在这种情况下,函数符号与自变量之间应有一个细空格,例如 ; ; ; .如果存在任何混淆的风险,应始终插入圆括号.例如,写成 ;不要写成 ,这可能会被误认为是 .逗号、分号或其他合适的符号可用作数字或表达式之间的分隔符.通常优先使用逗号,但当使用带小数点的逗号时除外.如果一个表达式或方程必须分成两行或多行,应将换行符放在等号、加号、减号、正负号或增减号(,,,,或 )的符号之前,或者,如有必要,放在乘号、点乘号或除号(,,或 )的符号之前.换行符不应重复出现;例如,两个减号可能会导致符号错误.如果可能,换行符不应出现在圆括号内的表达式中.
| 說明 | 錯誤 | 正確 |
|---|---|---|
| 積分 |
(1)
|
(2)
|
| 向量 |
(2)
|
(3)
|
| 逆三角函數 |
(4)
|
(5)
|
| 变量名 kerning |
(6)
|
(7)
|
| 波长 |
數理邏輯
| 記號 | 意義 | 備註 |
|---|---|---|
| 命题 , 之合取 | ||
| 命题 , 之析取 | ||
| 命题 , 之異或 | ||
| 命题 之否定 | ||
| 命题 蘊含命题 | ||
| 命题 , 之等同 | ||
| 對所有 屬於集合 ,命題 成立 | ||
| 存在某 屬於集合 ,使得命題 成立 | 表示唯一存在 |
矩陣
| 記號 | 意義 | 備註 |
|---|---|---|
| 行 列矩陣 | 是元素爲 之矩陣 也可寫成 |
|
| 矩陣加法 | 僅當 與 同型時定義 | |
| 矩陣數乘 | 對所有元素乘以純量 | |
| 矩陣乘法 | 僅當 之列數等於 之行數時定義 | |
| 單位矩陣 | ||
| 矩陣行列式 | 僅對方陣定義 | |
| 矩陣乘法逆 | 僅對可逆矩陣定義,滿足 | |
| 矩陣轉置 | 行列互換 | |
| 矩陣複共軛 | 對矩陣中每個元素取複共軛 | |
| 矩陣共軛轉置 | 先取複共軛再轉置.矩陣空間中的 Hermitian 伴隨 | |
| 矩陣秩 | 矩陣中線性獨立行或列的最大數目 | |
| 矩陣跡 | 方陣對角線元素之和 | |
| 矩陣範數 | 可依定義選用不同範數,如 Frobenius 範數等 |
三維座標系
| 座標 | 向量和微分 | 名稱 |
|---|---|---|
| Cartesianum 座標 | ||
| 柱座標 | ||
| 球座標 |
通義
針對術語的多譯問題,只擇其一
| 原文 | 意義 | 舊譯 |
|---|---|---|
| essential | 本質~ | 本性~ |
| communte, communtive | 交易,可易 | 交換,對易 |
| vector | 向量 | 矢量 |
| operator | 算子 | 算符 |
| unitary | 幺正 | 酉 |
| rational number | 分數 | 有理數 |
| eigen | 本徵 | 特徵 |
| discrete | 離散 | 分立 |
括号
阵使用方括号表示,为了於组合数(二项式系数)区分和元组进行区分.
漢字
專名
所有人名,以及人名衍生的專有名詞(如定理、引理等),以及所有無法意譯的名詞皆採用原語言直敘.以示尊重.
| 原文 | 通譯 |
|---|---|
| Εὐκλείδης | 欧几里得 |
| Gauß(sche) | 高斯(之) |