# 术语对照表

出于中文优先和“顾名思义”的考虑，不少名词术语和中文数学主流用语不同。
现将其对照列出，并附上英文和法文中对应用语，以作参考。

[返回](../README.md)

术语 | 中文 | 英文 | 法文
---------|----------|---------|----------
分划 | 划分 | partition | partition
叠圈图 | 文恩图 </br> 文氏图 | Euler diagram | diagramme logique
出发集 | 出发域 | domain | ensemble de départ
到达集 | 陪域 | codomain | ensemble d'arrivée
应变量 | 因变量 | dependent variable | 
辖词 | 量词 | quantifier | quantificateur
全命题 | 全称命题 | universal proposition | proposition universelle
有命题 | 特称命题 | existential proposition | proposition existentielle
或言命题 | 选言命题 | disjunction proposition | proposition disjonctive
选言命题 | 不相容选言命题 | exclusive disjunction | disjonction exclusive
或言推理 | 选言推理 | disjunctive syllogism | syllogisme disjonctif
倍和析因定理 | 裴蜀定理 | Bézout's lemma | théoreme de Bézout
直部 | 线性部分 | linear part | partie linéaire
剪形 | | arrowhead quadrilateral | 
蝶形 | | crossed quadrilateral </br> butterfly quadrilateral | quadrilatère croisé
存因定理 | 欧几里得引理 | Euclid's lemma | lemme d'Euclide
整式 | 多项式 | polynomial | polynôme
点到圆的势 | 点对圆的幂 | power of a point with respect to a circle | puissance d'un point par rapport à un cercle
三心共线 | 欧拉线 | Euler line | droite d'Euler
方余定理 | 欧拉定理 | Euler theorem | théorème d'Euler
知集 | 事件集 | event space | tribu
直组合 | 线性组合 | linear combination | combinaison linéaire
直相关 | 线性相关 | linearly dependent | linéairement dépendant
直无关 | 线性无关 | linearly independent | linéairement indépendant
向量的模 | 向量的模长 </br> 向量的范数 | vector's norm | norme du vecteur
同余系 | 剩余系 | residue system | système modulaire de représentation
自敛数列 | 柯西数列 | Cauchy sequence | suite de Cauchy
平直空间 | 线性空间 | vector space | espace vectoriel
直映射 | 线性映射 | linear application | application linéaire
维直映射 | 仿射变换 | affine transformation | application affine
维直空间 | 仿射空间 | affine space | espace affine
消影法 | 格拉姆-施密特正交化 | Gram–Schmidt process | algorithme de Gram-Schmidt
经典函数 | 基本（初等）函数 | elementary functions | fonctions classiques
微变率 | 导数 | derivative | dérivée
求微 | 求导 | differentiation | dérivation
可微 | 可导 | differentiable | dérivable
微直观 | 微分 | differential | différentielle
微变函数 | 导函数 | derivative | fonction dérivée
多次微变 | 高阶导数 | higher order derivatives |  dérivée d'ordre <i>n</i>
完全光滑| 光滑 | smooth | lisse / régulière
k阶光滑 | <i>k</i>阶连续可导 | of differentiability class C<sup>k</sup> | de classe C<sup>k</sup>
同归定理 | 夹逼定理 | squeeze theorem | théorème des gendarmes
局部展开 | 泰勒展开 | Taylor expansion | développement en série de Taylor
积合 | 积分 | integral | intégrale
可积 | 可积 | integrable | intégrable
求合</br>求积 | 求积分 | integrate | intégrer
定合 | 定积分 | definite integral | 
积合函数 | 原函数 | primitive function | fonction primitive
微积互反定理 | 微积分基本定理 | fundamental theorem of calculus | théorème fondamental de l'analyse
凸心不等式 | 延森不等式 | Jensen's inequality | l'inégalité de Jensen
首元微变 | 对x的偏导数 | partial derivative with respect to x | dérivée partielle par rapport à x
次元微变 | 对y的偏导数 | partial derivative with respect to y | dérivée partielle par rapport à y
第k元微变 | 对x<sub>k</sub>的偏导数 | partial derivative with respect to x<sub>k</sub> | dérivée partielle par rapport à x<sub>k</sub>
末元微变 | 对x<sub>n</sub>的偏导数 | partial derivative with respect to x<sub>n</sub> | dérivée partielle par rapport à x<sub>n</sub>
模 | 范数 | norm | norme
极模 | <i>l</i><sup>∞</sup>-范数 | <i>l</i><sup>∞</sup> norm | norme infinie
p次模 | <i>l</i><sup><i>p</i></sup>-范数 | <i>l</i><sup><i>p</i></sup> norm | norme <i>p</i>
依模收敛 | 正规收敛 | normal convergence | convergence normale
赋距空间 | 度量空间 | metric space | espace métrique
有长平直空间 | 赋范向量空间 | normed vector space | espace vectoriel normé
完备内积空间 | 希尔伯特空间 | Hilbert space | espace de Hilbert
完备有长平直空间 | 巴拿赫空间 | Banach space | espace de Banach
形之外学 | 拓扑学 | topology | topologie
邻学 | 拓扑学 | topology | topologie
邻则 | 拓扑 | topology | topologie
开闭结构 | 拓扑结构 | topological structure | structure topologique
有邻空间 | 拓扑空间 | topological space | espace topologique
邻基 | 拓扑基 | topological basis | base topologique
藏 | 理想（子环） | ideal | idéal
左（右）藏 | 左（右）理想 | left (right) ideal | idéal à gauche (droite)
双边藏 | 双边理想 | bilateral ideal | idéal bilateral
零藏 | 零理想 | zero ideal | idéal zéro
真藏 | 真理想 | proper ideal | idéal propre
单藏 | 主理想 | principal ideal | idéal principal
有限藏 | 有限生成理想 | finitely generated ideal | idéal de type fini
极大藏 | 极大理想 | maximal ideal | idéal maximal
极小藏 | 极小理想 | minimal ideal | idéal minimal
素藏 | 素理想 | prime ideal | idéal premier
藏 | 正规子群 | normal subgroup | sous-groupe normal
定想的 | 启发式的 | heuristic | heuristique
等比分布 | 几何分布 | geometric distribution | loi géometrique
乍生分布 | 泊松分布 | Poisson distribution | loi de Poisson
自限性质 | 利普希茨性质 | Lipschitz property | condition lipschitzienne
自限连续 | 利普希茨连续 | Lipschitz continuity | lipschitzien
自限系数 | 利普希茨常数 | Lipschitz constant | constante de Lipschitz
<i>k</i>阶自限连续 | <i>k</i>-赫尔德连续 | <i>k</i>-Hölder continuity | <i>k</i>-höldérienne
极续 | 右连左极 | càdlàg | càdlàg
组架坐标系 | 笛卡尔坐标系 | Cartesian coordinate system | système de coordonnées cartésiennes
架积 | 笛卡尔积 | Cartesian product | produit cartésien
算则系 | 代数结构 | algebraic structure | structure algébrique
域上系 | 域上代数 | algebra over a field | algèbre sur un corps
方望 | 矩 | moment | moment
契义 | 是良定义的 | to be well-defined | être bien défini
契义 | 良定义的 | well-defined | bien défini