数学名词

2023年12月20日发(作者：考前复习初一数学试卷)

A group： 阿贝尔群； geometry： 绝对几何； value： abelian group： 阿贝尔群； absolute

geometry：绝对几何； absolute value： 绝对值； algebra：抽象代数； addition：加法；

algebra：代数； 绝对值； abstract algebra：抽象代数； addition：加法； algebra：代数； closure：代数闭包； geometry：代数几何； algebraic closure：代数闭包； algebraic

geometry：代数几何； algebraic geometry： 代数几何和解析几何； numbers： geometry

and analytic geometry： 代数几何和解析几何； algebraic numbers： 代数数； algorithm：算法； all：绝大多数； function： 代数数； algorithm：算法； almost all：绝大多数； analytic

function： 解析函数； geometry：解析几何； and： angle：角度； 解析函数； analytic

geometry：解析几何； and：且； angle：角度； anticommutative：反交换律； relation：反对称关系； anticommutative：反交换律； antisymmetric relation：反对称关系；

antisymmetry： 反对称性； equal： 约等于； field： antisymmetry： 反对称性；

approximately equal： 约等于； Archimedean field： 阿基米德域； group：阿基米德群；

area：面积； arithmetic： 阿基米德域； Archimedean group：阿基米德群； area：面积； arithmetic： 算术； associative algebra：结合代数； associativity：结合律； axiom：

算术； associative algebra：结合代数； associativity：结合律； axiom： 公理；

constructibility：可构造公理； set： 公理； axiom of constructibility：可构造公理； axiom

of empty set：空 集公理； extensionality：外延公理； foundation： 集公理； axiom of

extensionality：外延公理； axiom of foundation：正 则公理； pairing：对集公理； regularity：正则公理； 则公理； axiom of pairing：对集公理； axiom of regularity：正则公理；

replacement：代换公理； union：并集公理； axiom of replacement：代换公理； axiom

of union：并集公理； axiom schema separation：分离公理； specification：分离公理； of

separation：分离公理； axiom schema of specification：分离公理； theory：公理集合论；

system：公理系统； axiomatic set theory：公理集合论； axiomatic system：公理系统；

B space：贝利空间； basis： identity：贝祖恒等式； Baire space：贝利空间； basis：基； Bézout\'s identity：贝祖恒等式； inequality： notation： 符号； Bernoulli\'s inequality：伯努利不等式 ； Big O notation：大 O 符号； operator：双线性算子； binary operation：二元运算； bilinear operator：双线性算子； binary operation：二元运算； binary predicate：二元谓词； relation：二元关系； algebra： predicate：二元谓词； binary relation：二元关系； Boolean algebra：布 尔代数； logic：布尔逻辑； ring：布尔环； boundary： 尔代数； Boolean logic：布尔逻辑； Boolean ring：布尔环； boundary： 边界； point：边界点； lattice：有界格； 边界； boundary point：边界点； bounded lattice：有界格；

C calculus：微积分学； argument：康托尔对角线方法； calculus：微积分学； Cantor\'s

diagonal argument：康托尔对角线方法； number：基数； cardinality： continuum： cardinal

number：基数； cardinality：势； cardinality of the continuum： 连续统的势； system：

直角坐标系； product： 连续统的势； Cartesian coordinate system： 直角坐标系；

Cartesian product： 笛卡尔积； category：范畴； sequence：柯西序列； Cauchy笛卡尔积； category：范畴； Cauchy sequence：柯西序列； Cauchy-Schwarz inequality：柯西不等式； Theorem：塞瓦定理； characteristic： inequality：柯西不等式； Ceva\'s

Theorem：塞瓦定理； characteristic： 特征； polynomial：特征多项式； circle class：

特征； characteristic polynomial：特征多项式； circle：圆； class：类； closed：闭集；

closure： 闭包； algebra：闭包代数； closed：闭集； closure：封闭性 或 闭包； closure

algebra：闭包代数； identities：组合恒等式； group：交换群； combinatorial identities：组合恒等式； commutative group：交换群； ring：交换环； commutativity:：交换律；

compact：紧致的； commutative ring：交换环； commutativity:：交换律； compact：紧

致的； set：紧致集合； space：紧致空间； complement： compact set：紧致集合； compact

space：紧致空间； complement：补集 或 补运算； lattice：完备格； space： 补运算；

complete lattice：完备格； complete metric space：完备的度量 空间； space： 完备空间； manifold： 复流形； plane： 空间； complete space： 完备空间； complex manifold：

复流形； complex plane： 复平面； congruence：同余； congruent：全等； space： 复平面； congruence：同余； congruent：全等； connected space：连通空 universe：可构造全集； 间； constructible universe：可构造全集； constructions of the real numbers：实数的构造； fraction：连分数； continuous：连续； numbers：实数的构造； continued

fraction：连分数； continuous：连续； continuum hypothesis：连续统假设； space：可缩空间； continuum hypothesis：连续统假设； contractible space：可缩空间； space：

收敛空间； cosine： 余弦； countable： 可数； convergence space： 收敛空间； cosine：

余弦； countable： 可数； countable set：可数集； product：叉积； space：圈空间；

group： set：可数集； cross product：叉积； cycle space：圈空间； cyclic group： 循环群； 循环群；

D laws： 摩根律； completion：戴德金完备性； de Morgan\'s laws：德·摩根律； Dedekind

completion：戴德金完备性； cut： 戴德金分割； del： 微分算子； dense： 稠密； ordered：

Dedekind cut： 戴德金分割； del： 微分算子； dense： 稠密； densely ordered： 稠密排列； derivative：导数； determinant：行列式； diffeomorphism： 稠密排列； derivative：导数； determinant：行列式； diffeomorphism： 可微同构； difference： manifold：可微流形； 可微同构； difference：差； differentiable manifold：可微流形； calculus：微分学； dimension：维数； graph： differential calculus：微分学； dimension：维数； directed

graph：有 向图； space：离散空间； discriminant：判别式； distance： 向图； discrete

space：离散空间； discriminant：判别式； distance：距 distributivity 分配律； dividend：被除数； dividing： ty： 离； distributivity：分配律； dividend：被除数； dividing：除；

divisibility：整除； division：除法； divisor：除数； product： divisibility：整除； division：除法； divisor：除数； dot product：点 积； E eigenvalue：特征值； eigenvector：特征向量； element：元素； eigenvalue：特征值； eigenvector：特征向量； element：元素； elementary algebra： 初等代数； function： 空函数； set： 空集； product： algebra：

初等代数；empty function： 空函数； empty set： 空集；empty product： 空积； equal：

等于； equality： 等于； equation： 方程； 空积； equal： 等于； equality： 等式 或

等于； equation： 方程； equivalence relation： 等价关系； geometry： 欧几里德几何；

metric： relation： 等价关系； Euclidean geometry： 欧几里德几何； Euclidean metric：

欧几里德度量； space：欧几里德空间； identity： 欧几里德度量； Euclidean space：欧几里德空间； Euler\'s identity：欧拉 恒等式； number：偶数； event：事件； quantifier：

恒等式； even number：偶数； event：事件； existential quantifier：存 在量词； function：指数函数； identities： 在量词； exponential function：指数函数； exponential identities：指 数恒等式； expression：表达式 line： 数恒等式； expression：表达式； extended real

number line：扩展的实数 轴； F false： 有限； field： 有限域； set： false： ； field： ；

finite： 假 field： 域 finite： 有限； finite field： 有限域； finite set： 有限集合； firstspace：第一可数空间； logic： 有限集合； first-countable space：第一可数空间； first order logic：

一阶逻辑； mathematics：数学基础； function：函数； 一阶逻辑； foundations of

mathematics：数学基础； function：函数； analysis：泛函分析； predicate：函数谓词；

functional analysis：泛函分析； functional predicate：函数谓词； algebra：代数基本定理； fraction：分数； fundamental theorem of algebra：代数基本定理； fraction：分数；

G space：规格空间； group：一般线性群； geometry： gauge space：规格空间； general

linear group：一般线性群； geometry： 几何学； gradient： 梯度； graph： relation：关系图； 几何学； gradient：梯度； graph：图； graph of a relation：关系图； graph theory：

图论； element： 最大元； group： homomorphism： theory： 图论； greatest element：

最大元； group： ； group homomorphism： 群 群同态； 群同态； H space：豪斯多夫空间； set：遗传有限集合； Hausdorff space：豪斯多夫空间； hereditarily finite set：遗传有限集合； formula： 海伦公式； space： 希尔伯特空间； axioms： Heron\'s formula：

海伦公式； Hilbert space： 希尔伯特空间； Hilbert\'s axioms： 希尔伯特公理系统；

decomposition：霍奇分解； Laplacian： 希尔伯特公理系统； Hodge decomposition：霍奇分解； Hodge Laplacian： 霍奇拉普拉斯算子； homeomorphism：同胚； horizontal：水平； 霍奇拉普拉斯算子； homeomorphism：同胚； horizontal：水平； hyperbolic

identities：双曲线函数恒等式； function function identities：双曲线函数恒等式；

hypergeometric function identities：超几何函数恒等式； number：超实数； identities：超几何函数恒等式； hyperreal number：超实数； I identical： 同一的； identity： 恒等

式； element： 单位元； identical： 同一的； identity： 恒等式； identity element： 单位元； identity matrix：单位矩阵； idempotent：幂等； if： if： matrix：单位矩阵；

idempotent：幂等； if：若； if and only if：当且仅 iff：当且仅当； number：虚数； inclusion：包含； 当； iff：当且仅当； imaginary number：虚数； inclusion：包含； index set：索引集合； space：非离散空间； inequality quality： set：索引集合； indiscrete space：非离散空间； inequality：不等式 或 不 means： 平均数不等式； infimum： 等； inequality

of arithmetic and geometric means： 平均数不等式； infimum：

下确界； series：无穷级数； infinite：无穷大； infinitesimal： 下确界； infinite series：无穷级数； infinite：无穷大； infinitesimal： 无穷小； infinity：无穷大； object：初始对象； angle： 无穷小； infinity：无穷大； initial object：初始对象； inner angle： 内角； product：内积； space：内积空间； integer： 内角； inner product：内积； inner

product space：内积空间； integer： 整数； sequence 整数列； integral：积分； quence：

domain： 整数； integer sequence：整数列； integral：积分； integral domain： 整数环； interior：内部； algebra：内部代数； point： 整数环； interior：内部； interior algebra：内部代数； interior point： 内点； intersection：交集； element：逆元； matrix： 内点；

intersection：交集； inverse element：逆元； invertible matrix： 可逆矩阵； interval：区间； involution：回旋； number： 可逆矩阵； interval：区间； involution：回旋； irrational

number：无 理数； point：孤点； isomorphism：同构； 理数； isolated point：孤点；

isomorphism：同构； J Jacobi identity：雅可比恒等式； join：并运算； Jacobi identity：雅可比恒等式； join：并运算； K 格式： axioms： 闭包公理； 格式： Kuratowski closure

axioms：Kuratowski 闭包公理； L element：最小元； measure：勒贝格测度； law： least

element：最小元； Lebesgue measure：勒贝格测度； Leibniz\'s law： 莱布尼茨律； algebra：李代数； group：李群； limit：极限； 莱布尼茨律； Lie algebra：李代数； Lie group：李群； limit：极限； limit point：极限点； line： segment：线段； linear：线性； point：极限点； line：线； line segment：线段； linear：线性； linear algebra 线性代数； operator：线性算子； space： algebra：线性代数； linear operator：线性算子； linear space：线性空 transformation：线性变换； linearity：线性性； 间； linear transformation：线性变换； linearity：线性性； list of inequalities：不等式列表； topics： inequalities：不等式列表； list of linear algebra topics：线性代数相 关条目； space：局部紧致空间； identities：

关条目； locally compact space：局部紧致空间； logarithmic identities： 对数恒等式；

logic：逻辑学； positivism：逻辑实证主义； 对数恒等式； logic：逻辑学； logical positivism：逻辑实证主义； law of cosines： 余弦定理； L??wenheimtheorem： L??wenheim定理；

cosines： 余弦定理； L??wenheim-Skolem theorem： L??wenheim-Skolem 定理；

topology：下限拓扑； lower limit topology：下限拓扑； M magnitude： manifold：流形；

map：映射； symbols： magnitude：量； manifold：流形； map：映射； mathematical

symbols：数 学符号； analysis：数学分析； proof： 学符号； mathematical analysis：数学分析； mathematical proof：数学证 mathematics：数学； matrix：矩阵； multiplication

lication： 明； mathematics：数学； matrix：矩阵； matrix multiplication：矩阵乘 meaning：语义； measure：测度； meet：交运算； member：元素； 法； meaning：语义； measure：测度； meet：交运算； member：元素； metamathematics： 元数学； metric： 度量；

space： 度量空间； model： metamathematics： 元数学； metric： 度量； metric space：

度量空间； model： 模型； theory：模型论； arithmetic：模运算； module： 模型； model

theory：模型论； modular arithmetic：模运算； module：模； function：单调函数； algebra：多重线性代数； monotonic function：单调函数； multilinear algebra：多重线性代数；

multiplication：乘法； multiset：多样集 multiplication：乘法； multiset：多样集； N theory：朴素集合论； logarithm：自然对数； naive set theory：朴素集合论； natural logarithm：自然对数； natural number：自然数； science：自然科学； number：负数； number：自然数； natural science：自然科学； negative number：负数； neighbourhood：邻域；

Foundations：新基础理论； circle： neighbourhood：邻域； New Foundations：新基础理论； nine point circle： 九点圆； nongeometry：非欧几里德几何； nonlinearity： 九点圆； non-Euclidean geometry：非欧几里德几何； nonlinearity：非线 nonmatrix：非奇

异矩阵； model：非标准模型； 性； non-singular matrix：非奇异矩阵； nonstandard model：非标准模型； analysis：非标准分析； norm：范数； space： nonstandard analysis：非标准分析； norm：范数； normed vector space： 赋范向量空间； tuple： 多元组； nullary：

赋范向量空间； n-tuple：n 元组 或 多元组； nullary：空； nullary intersection：空交集；

number： line：数轴； intersection：空交集； number：数； number line：数轴； O object：对象； octonion：八元数； one-tocorrespondence：一一对应； object：对象； octonion：八元数； one-to-one correspondence：一一对应； open：开集； ball： operation：运算； operator：算子； or： open：开集； open ball：开球； operation：运算； operator：算子； or：

topology：序拓扑； field：有序域； pair： 或； order topology：序拓扑； ordered field：有序域； ordered pair： 有序对； set： 偏序集； number： 序数； mathematics： 有序对； ordered set： 偏序集； ordinal number： 序数； ordinary mathematics： 一般数学； origin：原点； matrix：正交矩阵； 一般数学； origin：原点； orthogonal matrix：正交矩阵； P number： 进数； space： 仿紧致空间； postulate： p-adic number： 进数；paracompact space： p 仿紧致空间；parallel postulate： 平行公理； parallelepiped：平行六面体； parallelogram：平行四边形； 平行公理； parallelepiped：平行六面体；

parallelogram：平行四边形； order：偏序关系； partition：分割； arithmetic： partial order：偏序关系； partition：分割； Peano arithmetic：皮亚诺 公理； inequality： 佩多不等式；perpendicular： 垂直；philosopher： 公理； Pedoe\'s inequality： 佩多不等式；

perpendicular： 垂直； philosopher： 哲学家； philosophy：哲学； journals：哲学类杂志； plane： 哲学家； philosophy：哲学； philosophy journals：哲学类杂志； plane：

平面； quantification：复数量化； point： Point-Line平面； plural quantification：复数量化； point：点； Point-Line-Plane postulate：点线面假设； coordinates：极坐标系；

polynomial： postulate：点线面假设； polar coordinates：极坐标系； polynomial：多 项式； sequence：多项式列； positivematrix： 项式； polynomial sequence：多项式列；

positive-definite matrix：正定 矩阵； positivematrix：半正定矩阵； set：幂集； 矩阵；

positive-semidefinite matrix：半正定矩阵； power set：幂集； predicate： 谓词； logic：

谓词逻辑； preorder： 预序关系； predicate： 谓词； predicate logic： 谓词逻辑；

preorder： 预序关系； prime number：素数； product ct： proof：证明； class：纯类；

number：素数； product：积； proof：证明； proper class：纯类； proper subset：真子集； property：性质； proposition：命题； pseudovector： subset：真子集； property：性质； proposition：命题； pseudovector： 伪向量； theorem：勾股定理； 伪向量；

Pythagorean theorem：勾股定理； Q Q.E.D.： Q.E.D.； quaternion： 四元数； rotation：

Q.E.D.： Q.E.D.； quaternion： 四元数； quaternions and spatial rotation： 四元数与空间旋转； question：疑问句； field：商域； 四元数与空间旋转； question：疑问句； quotient

field：商域； quotient set：商集； set：商集； R radius：半径； ratio： number：有理数； analysis： radius：半径； ratio：比； rational number：有理数； real analysis： 实分析； field：实闭域； line：实数轴； number： 实分析； real closed field：实闭域； real

line：实数轴； real number： 实数； line：实数线； relation：自反关系； 实数； real number

line：实数线； reflexive relation：自反关系； reflexivity：自反性； reification：具体化；

relation：关系； reflexivity：自反性； reification：具体化； relation：关系； relative

complement： 相对补集； complemented lattice： 相对补格； complement： 相对补集；

relatively complemented lattice： 相对补格； right angle：直角； rightrule：右手定则； ring：

angle：直角； right-handed rule：右手定则； ring：环； S scalar：标量； secondspace：第二可数空间； selfscalar：标量； second-countable space：第二可数空间； self-adjoint

operator：自伴随算子； sentence：判断； space：可分空间； operator：自伴随算子；

sentence：判断； separable space：可分空间； sequence： 序列； space：序列空间；

series：级数； sequence：数列 或 序列； sequence space：序列空间； series：级数；

function：半双线性函数； et：集合； setsesquilinear function：半双线性函数； set：集合； set-theoretic numbers：自然数的集合论定义； theory： definition of natural numbers：自然数的集合论定义； set theory：集合 variables：一些复变量； shape：几何形状； 论；

several complex variables：一些复变量； shape：几何形状； sign function：符号函数；

singleton：单元素集合； science：社会科学； function：符号函数； singleton：单元素

集合； social science：社会科学； geometry：立体几何； space：空间； coordinates：

solid geometry：立体几何； space：空间； spherical coordinates：球坐 标系； matrix：方块矩阵 矩阵； root：平方根； strict：严格； 标系； square matrix：方块矩阵； square

root：平方根； strict：严格； recursion：结构递归； subset：子集； subsequence：子序列； structural recursion：结构递归； subset：子集； subsequence：子序列； subspace：子空间； topology：子空间拓扑； subtraction：减法； subspace：子空间； subspace

topology：子空间拓扑； subtraction：减法； sum： summation：求和； supremum：上确界； number：超实数； sum：和； summation：求和； supremum：上确界； surreal

number：超实数； difference：对称差； relation：对称关系； of symmetric difference：对称差； symmetric relation：对称关系；equations：线性方程组； T

system of equations：线性方程组；linear

tensor：张量； object：终结对象； sets： tensor：张量； terminal object：终结对象； the

algebra of sets：集合 代数； theorem：定理； element：最大元； field： 代数； theorem：定理； top element：最大元； topological field：拓扑 manifold：拓扑流形； space：拓扑空间； 域； topological manifold：拓扑流形； topological space：拓扑空间； topology：

拓扑学； order： 全序关系； disconnected： topology： 拓扑 或 拓扑学； total order：

全序关系； totally disconnected： 完全不连贯； set：全序集； number： 完全不连贯；

totally ordered set：全序集； transcendental number：超 越数； recursion：超限归纳法；

transitivity：传递性； 越数； transfinite recursion：超限归纳法； transitivity：传递性；

relation：传递关系； transpose：转置； inequality： transitive relation：传递关系；

transpose：转置； triangle inequality： 三角不等式； identities：三角恒等式； product：

三角不等式； trigonometric identities：三角恒等式； triple product： 三重积； topology：密着拓扑； true： value：真值； 三重积； trivial topology：密着拓扑； true：真； truth

value：真值； U operation：一元运算； uncountable：不可数； space： unary operation：一元运算； uncountable：不可数； uniform space：一致 空间； union：并集； unique：唯一； interval：单位区间； 空间； union：并集； unique：唯一； unit interval：单位区间； unit step function： 单位阶跃函数； vector： 单位向量； quantification： function：

单位阶跃函数； unit vector： 单位向量； universal quantification： 全称量词； set：全集； bound：上界； 全称量词； universal set：全集； upper bound：上界； V true：??；

Vandermonde\'s identity： 恒等式； vacuously true：??； Vandermonde\'s identity：Vandermonde 恒等式； variable： 变量； vector： 向量； calculus： 向量分析； space：

variable： 变量； vector： 向量； vector calculus： 向量分析； vector space： 向量空间； diagram：文氏图； volume：体积； ordinal： 向量空间； Venn diagram：文氏图；

volume：体积； von Neumann ordinal： 诺伊曼序数； universe： fraction： 冯·诺伊曼序数； von Neumann universe： ·诺伊曼全集； vulgar fraction： 冯 诺伊曼全集； 分数；

分数； Z theory：策梅罗集合论； Zermelotheory heory： Zermelo set theory：策梅罗集合论； Zermelo-Fraenkel set theory：策梅 弗兰克尔集合论； theory： 系统； zero： object：

罗-弗兰克尔集合论； ZF set theory：ZF 系统； zero：零； zero object： 零对象； 零对象；