规范形 数学和计算机科学中数学对象的标准形规范形是将该对象作为表达式呈现的标准方式通常来说它提供了对象的最简单的表示并允许以独特的方式识别规范canonical与标准normal的区别因领域而异大多数时候规范形都规定了对象的唯一表示形式而标准形则不要求唯一性 用小数表示自然数的规范形是不以开头的有限数字序列更一般地说对于定义了等价关系的一类对象规范形包括每类中的特定对象例如 若尔当标准形是描述矩阵相似的规范形 若将矩阵及其与可逆方阵的左乘视作等价则阶梯型矩阵是规范形 在计算机科学与计算机代数中在计算机中有很多方法表示同一个数学对象这时规范形是对每个对象都有唯一表示的表示法典型化是将某种表示转换为规范形的过程因此测试两个对象的规范形是否相等便可轻松地验证它们是否等价 规范形经常依赖于任意选择如变量排序给测试两个对象是否等价的独立计算带来困难因此在计算机代数中标准形是很弱的概念标准形中的表示是唯一的因此可以通过对两个对象作差置于标准形中来检验它们是否相等 规范形也可以指以自然规范方式定义的微分形式