Uwni 筆記

記號標準

本页内容

在理工科學習研究中,下自形式邏輯,上至工程製圖我們常常遇到各種記號,這些記號作為形式語言的基本語素,承載著這個世界形而上的意義.然,這些記號的使用卻往往缺乏標準化,導致溝通上的困難與誤解.歐洲,蘇聯與美國等地區各自發展出不同的記號標準,而我們在學習時卻是接受了多套標準的混合,由是煢鴉以 ISO 80000 Quantity and units 標準為基礎,並做出些微修改,整理得出的一套較為完整的記號標準以供參考.

字體

所用之 Latin 字母使用了以下幾種字體風格來區分不同的數學對象

並且約定正體 (upright) 爲非意大利體,草書體和斜體的字體.

表 1 Latin 字母檢校表
RBRIBICBCBbFBFSBSOSBOS
A𝐀𝐴𝑨𝒜︀𝓐︀𝔸𝔄𝕬𝖠𝗔𝘈𝘼
B𝐁𝐵𝑩ℬ︀𝓑︀𝔹𝔅𝕭𝖡𝗕𝘉𝘽
C𝐂𝐶𝑪𝒞︀𝓒︀𝕮𝖢𝗖𝘊𝘾
D𝐃𝐷𝑫𝒟︀𝓓︀𝔻𝔇𝕯𝖣𝗗𝘋𝘿
E𝐄𝐸𝑬ℰ︀𝓔︀𝔼𝔈𝕰𝖤𝗘𝘌𝙀
F𝐅𝐹𝑭ℱ︀𝓕︀𝔽𝔉𝕱𝖥𝗙𝘍𝙁
G𝐆𝐺𝑮𝒢︀𝓖︀𝔾𝔊𝕲𝖦𝗚𝘎𝙂
H𝐇𝐻𝑯ℋ︀𝓗︀𝕳𝖧𝗛𝘏𝙃
I𝐈𝐼𝑰ℐ︀𝓘︀𝕀𝕴𝖨𝗜𝘐𝙄
J𝐉𝐽𝑱𝒥︀𝓙︀𝕁𝔍𝕵𝖩𝗝𝘑𝙅
K𝐊𝐾𝑲𝒦︀𝓚︀𝕂𝔎𝕶𝖪𝗞𝘒𝙆
L𝐋𝐿𝑳ℒ︀𝓛︀𝕃𝔏𝕷𝖫𝗟𝘓𝙇
M𝐌𝑀𝑴ℳ︀𝓜︀𝕄𝔐𝕸𝖬𝗠𝘔𝙈
N𝐍𝑁𝑵𝒩︀𝓝︀𝔑𝕹𝖭𝗡𝘕𝙉
O𝐎𝑂𝑶𝒪︀𝓞︀𝕆𝔒𝕺𝖮𝗢𝘖𝙊
P𝐏𝑃𝑷𝒫︀𝓟︀𝔓𝕻𝖯𝗣𝘗𝙋
Q𝐐𝑄𝑸𝒬︀𝓠︀𝔔𝕼𝖰𝗤𝘘𝙌
R𝐑𝑅𝑹ℛ︀𝓡︀𝕽𝖱𝗥𝘙𝙍
S𝐒𝑆𝑺𝒮︀𝓢︀𝕊𝔖𝕾𝖲𝗦𝘚𝙎
T𝐓𝑇𝑻𝒯︀𝓣︀𝕋𝔗𝕿𝖳𝗧𝘛𝙏
U𝐔𝑈𝑼𝒰︀𝓤︀𝕌𝔘𝖀𝖴𝗨𝘜𝙐
V𝐕𝑉𝑽𝒱︀𝓥︀𝕍𝔙𝖁𝖵𝗩𝘝𝙑
W𝐖𝑊𝑾𝒲︀𝓦︀𝕎𝔚𝖂𝖶𝗪𝘞𝙒
X𝐗𝑋𝑿𝒳︀𝓧︀𝕏𝔛𝖃𝖷𝗫𝘟𝙓
Y𝐘𝑌𝒀𝒴︀𝓨︀𝕐𝔜𝖄𝖸𝗬𝘠𝙔
Z𝐙𝑍𝒁𝒵︀𝓩︀𝖅𝖹𝗭𝘡𝙕
a𝐚𝑎𝒂𝒶︀𝓪︀𝕒𝔞𝖆𝖺𝗮𝘢𝙖
b𝐛𝑏𝒃𝒷︀𝓫︀𝕓𝔟𝖇𝖻𝗯𝘣𝙗
c𝐜𝑐𝒄𝒸︀𝓬︀𝕔𝔠𝖈𝖼𝗰𝘤𝙘
d𝐝𝑑𝒅𝒹︀𝓭︀𝕕𝔡𝖉𝖽𝗱𝘥𝙙
e𝐞𝑒𝒆ℯ︀𝓮︀𝕖𝔢𝖊𝖾𝗲𝘦𝙚
f𝐟𝑓𝒇𝒻︀𝓯︀𝕗𝔣𝖋𝖿𝗳𝘧𝙛
g𝐠𝑔𝒈ℊ︀𝓰︀𝕘𝔤𝖌𝗀𝗴𝘨𝙜
h𝐡𝒉𝒽︀𝓱︀𝕙𝔥𝖍𝗁𝗵𝘩𝙝
i𝐢𝑖𝒊𝒾︀𝓲︀𝕚𝔦𝖎𝗂𝗶𝘪𝙞
j𝐣𝑗𝒋𝒿︀𝓳︀𝕛𝔧𝖏𝗃𝗷𝘫𝙟
k𝐤𝑘𝒌𝓀︀𝓴︀𝕜𝔨𝖐𝗄𝗸𝘬𝙠
l𝐥𝑙𝒍𝓁︀𝓵︀𝕝𝔩𝖑𝗅𝗹𝘭𝙡
m𝐦𝑚𝒎𝓂︀𝓶︀𝕞𝔪𝖒𝗆𝗺𝘮𝙢
n𝐧𝑛𝒏𝓃︀𝓷︀𝕟𝔫𝖓𝗇𝗻𝘯𝙣
o𝐨𝑜𝒐ℴ︀𝓸︀𝕠𝔬𝖔𝗈𝗼𝘰𝙤
p𝐩𝑝𝒑𝓅︀𝓹︀𝕡𝔭𝖕𝗉𝗽𝘱𝙥
q𝐪𝑞𝒒𝓆︀𝓺︀𝕢𝔮𝖖𝗊𝗾𝘲𝙦
r𝐫𝑟𝒓𝓇︀𝓻︀𝕣𝔯𝖗𝗋𝗿𝘳𝙧
s𝐬𝑠𝒔𝓈︀𝓼︀𝕤𝔰𝖘𝗌𝘀𝘴𝙨
t𝐭𝑡𝒕𝓉︀𝓽︀𝕥𝔱𝖙𝗍𝘁𝘵𝙩
u𝐮𝑢𝒖𝓊︀𝓾︀𝕦𝔲𝖚𝗎𝘂𝘶𝙪
v𝐯𝑣𝒗𝓋︀𝓿︀𝕧𝔳𝖛𝗏𝘃𝘷𝙫
w𝐰𝑤𝒘𝓌︀𝔀︀𝕨𝔴𝖜𝗐𝘄𝘸𝙬
x𝐱𝑥𝒙𝓍︀𝔁︀𝕩𝔵𝖝𝗑𝘅𝘹𝙭
y𝐲𝑦𝒚𝓎︀𝔂︀𝕪𝔶𝖞𝗒𝘆𝘺𝙮
z𝐳𝑧𝒛𝓏︀𝔃︀𝕫𝔷𝖟𝗓𝘇𝘻𝙯

數學

用不同种类的字母来表示不同种类的实体,例如,用 𝑥𝑦 表示数字或某个给定集合的元素,用 𝑓𝑔 表示函数等.这样做可以使公式更易读,并有助于建立适当的上下文. 变量,如 𝑥𝑦 等,包括约束变量,如 𝑖𝑥𝑖 中的指标 𝑖,都用斜体印刷.参数,如 𝑎𝑏 等,虽在特定上下文中可被视为常数,也用斜体印刷.函数亦然,例如 𝑓𝑔. 明确定义的、不依赖于上下文的函数,例如 sinexplnΓ,会以正体(upright type)印刷.数学常数,其值永不改变,也以正体印刷,例如 e=2.718281828π=3.141592i2=1.良好定义的运算符也以正体印刷,例如 divδ(在 δ𝑥 中)以及 d𝑓/d𝑥 中的每个 d.某些变换使用特殊的大寫字母.以数字形式表示的量,应始终以正体字印刷,例如 3512041.327/8. 二元运算符,例如 +/,应在其前后加上窄间隔. 该规则不适用于一元运算符,例如 17.3

函数的自变量写在函数符号的后面,用圆括号括起来,函数符号与第一个圆括号之间不留空格,例如 𝑓(𝑥)cos(𝜔𝑡+𝜑).如果函数符号

  1. 由两个或多个字母组成,
  2. 自变量不包含加号、减号、乘号或除号等运算符号,

则可以省略自变量周围的圆括号.在这种情况下,函数符号与自变量之间应有一个细空格,例如 int2.4; sin𝑛π; arcosh2𝐴; Ei𝑥.如果存在任何混淆的风险,应始终插入圆括号.例如,写成 cos(𝑥)+𝑦;不要写成 cos𝑥+𝑦,这可能会被误认为是 cos(𝑥+𝑦).逗号、分号或其他合适的符号可用作数字或表达式之间的分隔符.通常优先使用逗号,但当使用带小数点的逗号时除外.如果一个表达式或方程必须分成两行或多行,应将换行符放在等号、加号、减号、正负号或增减号(=+±,或 )的符号之前,或者,如有必要,放在乘号、点乘号或除号(×,或 /)的符号之前.换行符不应重复出现;例如,两个减号可能会导致符号错误.如果可能,换行符不应出现在圆括号内的表达式中.

Example 1.
說明錯誤正確
積分
𝑎𝑏𝑠𝑖𝑛(𝜋𝑥)𝑑𝑥
𝑎𝑏sin(π𝑥)d𝑥
向量
𝐚𝐛=|𝐚||𝐛|cos𝜃
𝒂𝒃=|𝒂||𝒃|cos𝜃
逆三角函數
sin1(𝑥)
arcsin(𝑥)
变量名 kerning
𝑓𝑜𝑙𝑑
𝑓𝑜𝑙𝑑
波长𝜆

數理邏輯

記號意義備註
𝑝𝑞命题 𝑝, 𝑞 之合取
𝑝𝑞命题 𝑝, 𝑞 之析取
𝑝𝑞命题 𝑝, 𝑞 之異或(𝑝𝑞)¬(𝑝𝑞)
¬𝑝命题 𝑝 之否定
𝑝𝑞命题 𝑝 蘊含命题 𝑞
𝑝𝑞命题 𝑝, 𝑞 之等同
𝑥𝑝(𝑥)對所有 𝑥 屬於集合 𝐴,命題 𝑝(𝑥) 成立
𝑥𝑝(𝑥)存在某 𝑥 屬於集合 𝐴,使得命題 𝑝(𝑥) 成立1𝑥𝑝(𝑥) 表示唯一存在

矩陣

記號意義備註
𝑨
[𝑎11𝑎1𝑛𝑎𝑚1𝑎𝑚𝑛]
𝑚𝑛 列矩陣𝑨 是元素爲 𝑎𝑖𝑗=(𝑨)𝑖𝑗 之矩陣
也可寫成 𝑨=(𝑎𝑖𝑗)
𝑨+𝑩矩陣加法僅當 𝑨𝑩 同型時定義
𝑐𝑨矩陣數乘對所有元素乘以純量 𝑐
𝑨𝑩矩陣乘法僅當 𝑨 之列數等於 𝑩 之行數時定義
𝑰單位矩陣(𝑰)𝑖𝑘=δ𝑖𝑘
det𝑨
|𝑎11𝑎1𝑛𝑎𝑛1𝑎𝑛𝑛|
矩陣行列式僅對方陣定義
𝑨1矩陣乘法逆僅對可逆矩陣定義,滿足 𝑨𝑨1=𝑨1𝑨=𝑰
𝑨𝖳矩陣轉置行列互換
𝑨̅矩陣複共軛對矩陣中每個元素取複共軛
𝑨矩陣共軛轉置先取複共軛再轉置.矩陣空間中的 Hermitian 伴隨
rank𝑨矩陣秩矩陣中線性獨立行或列的最大數目
tr𝑨矩陣跡方陣對角線元素之和
𝑨矩陣範數可依定義選用不同範數,如 Frobenius 範數等

三維座標系

座標向量和微分名稱
𝑥,𝑦,𝑧𝒓=𝑥𝒆𝑥+𝑦𝒆𝑦+𝑧𝒆𝑧
d𝒓=d𝑥𝒆𝑥+d𝑦𝒆𝑦+d𝑧𝒆𝑧
Cartesianum 座標
𝜌,𝜑,𝑧𝒓=𝜌𝒆𝜌+𝑧𝒆𝑧
d𝒓=d𝜌𝒆𝜌+𝜌d𝜑𝒆𝜑+d𝑧𝒆𝑧
柱座標
𝑟,𝜗,𝜑𝒓=𝑟𝒆𝑟
d𝒓=d𝑟𝒆𝑟+𝑟d𝜗𝒆𝜗+𝑟sin𝜗d𝜑𝒆𝜑
球座標

通義

針對術語的多譯問題,只擇其一

原文意義舊譯
essential本質~本性~
communte, communtive交換對易
vector向量矢量
operator算子算符
unitary幺正
rational number分數有理數
eigen本徵特徵
discrete離散分立

括号

阵使用方括号表示,为了於组合数(二项式系数)区分和元组进行区分.

漢字

專名

所有人名,以及人名衍生的專有名詞(如定理、引理等),以及所有無法意譯的名詞皆採用原語言直敘.以示尊重.

原文通譯
Εὐκλείδης欧几里得
Gauß(sche)高斯(之)

评论