伊藤公式高等数学英语词汇

高等数学英语词汇

高等数学词汇(higher mathematics words)
A
abelian group：阿贝尔群； absolute geometry：绝对几何； absolute value：绝
对值； abstract algebra：抽象代数； addition：加法； algebra：代数； algebraic
closure：代数闭包； algebraic geometry：代数几何； algebraic geometry and
analytic geometry：代数几何和解析几何； algebraic numbers：代数数； algorithm：
算法； almost all：绝大多数； analytic function：解析函数； analytic geometry：
解析几何； and：且； angle：角度； anticommutative：反交换律； antisymmetric
relation：反对称关系； antisymmetry：反对称性； approximately equal：约等于；
Archimedean field：阿基米德域； Archimedean group：阿基米德群； area：面积；
arithmetic：算术； associative algebra：结合代数； associativity：结合律； axiom：
公理； axiom of constructibility：可构造公理； axiom of empty set：空集公理； axiom
of extensionality：外延公理； axiom of foundation：正则公理； axiom of pairing：
对集公理； axiom of regularity：正则公理； axiom of replacement：代换公理；
axiom of union：并集公理； axiom schema of separation：分离公理； axiom schema
of specification：分离公理； axiomatic set theory：公理集合论； axiomatic
system：公理系统；

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

C
calculus：微积分学； Cantor's diagonal argument：康托尔对角线方法； cardinal
number：基数； cardinality：势； cardinality of the continuum：连续统的势；
Cartesian coordinate system：直角坐标系； Cartesian product：笛卡尔积；
category：范畴； Cauchy sequence：柯西序列； Cauchy-Schwarz inequality：
柯西不等式； Ceva's Theorem：塞瓦定理； characteristic：特征； characteristic
polynomial：特征多项式； circle：圆； class：类； closed：闭集； closure：封闭
性 或 闭包； closure algebra：闭包代数； combinatorial identities：组合恒等式；
commutative group：交换群； commutative ring：交换环； commutativity:：交
换律； compact：紧致的； compact set：紧致集合； compact space：紧致空间；
complement：补集 或 补运算； complete lattice：完备格； complete metric
space：完备的度量空间； complete space：完备空间； complex manifold：复流
形； complex plane：复平面； congruence：同余； congruent：全等； connected
space：连通空间； constructible universe：可构造全集； constructions of the real
numbers：实数的构造； continued fraction：连分数； continuous：连续；
continuum hypothesis：连续统假设； contractible space：可缩空间； convergence
space：收敛空间； cosine：余弦； countable：可数； countable set：可数集； cross
product：叉积； cycle space：圈空间； cyclic group：循环群；
2 10
高等数学英语词汇

D
de Morgan's laws：德·摩根律； Dedekind completion：戴德金完备性； Dedekind cut：
戴德金分割； del：微分算子； dense：稠密； densely ordered：稠密排列； derivative：
导数； determinant：行列式； diffeomorphism：可微同构； difference：差；
differentiable manifold：可微流形； differential calculus：微分学； dimension：
维数； directed graph：有向图； discrete space：离散空间； discriminant：判别
式； distance：距离； distributivity：分配律； dividend：被除数； dividing：除；
divisibility：整除； division：除法； divisor：除数； dot product：点积；

E

eigenvalue：特征值； eigenvector：特征向量； element：元素； elementary
algebra：初等代数； empty function：空函数； empty set：空集； empty product：
空积； equal：等于； equality：等式 或 等于； equation：方程； equivalence
relation：等价关系； Euclidean geometry：欧几里德几何； Euclidean metric：欧
几里德度量； Euclidean space：欧几里德空间； Euler's identity：欧拉恒等式； even
number：偶数； event：事件； existential quantifier：存在量词； exponential
function：指数函数； exponential identities：指数恒等式； expression：表达式；
extended real number line：扩展的实数轴；

F
3 10
高等数学英语词汇

false：假； field：域； finite：有限； finite field：有限域； finite set：有限集合；
first-countable space：第一可数空间； first order logic：一阶逻辑； foundations of
mathematics：数学基础； function：函数； functional analysis：泛函分析；
functional predicate：函数谓词； fundamental theorem of algebra：代数基本定
理； fraction：分数；

G

gauge space：规格空间； general linear group：一般线性群； geometry：几何学；
gradient：梯度； graph：图； graph of a relation：关系图； graph theory：图论；
greatest element：最大元； group：群； group homomorphism：群同态；

H

Hausdorff space：豪斯多夫空间； hereditarily finite set：遗传有限集合； Heron's
formula：海伦公式； Hilbert space：希尔伯特空间； Hilbert's axioms：希尔伯特公
理系统； Hodge decomposition：霍奇分解； Hodge Laplacian：霍奇拉普拉斯算子；
homeomorphism：同胚； horizontal：水平； hyperbolic function identities：
双曲线函数恒等式； hypergeometric function identities：超几何函数恒等式；
hyperreal number：超实数；
4 10
高等数学英语词汇

I

identical：同一的； identity：恒等式； identity element：单位元； identity matrix：
单位矩阵； idempotent：幂等； if：若； if and only if：当且仅当； iff：当且仅当；
imaginary number：虚数； inclusion：包含； index set：索引集合； indiscrete
space：非离散空间； inequality：不等式 或 不等； inequality of arithmetic and
geometric means：平均数不等式； infimum：下确界； infinite series：无穷级数；
infinite：无穷大； infinitesimal：无穷小； infinity：无穷大； initial object：初
始对象； inner angle：内角； inner product：内积； inner product space：内积空
间； integer：整数； integer sequence：整数列； integral：积分； integral domain：
整数环； interior：内部； interior algebra：内部代数； interior point：内点；
intersection：交集； inverse element：逆元； invertible matrix：可逆矩阵；
interval：区间； involution：回旋； irrational number：无理数； isolated point：
孤点； isomorphism：同构；

J

Jacobi identity：雅可比恒等式； join：并运算；

K
格式： Kuratowski closure axioms：Kuratowski 闭包公理；

L
5 10
高等数学英语词汇
least element：最小元； Lebesgue measure：勒贝格测度； Leibniz's law：莱布
尼茨律； Lie algebra：李代数； Lie group：李群； limit：极限； limit point：极限
点； line：线； line segment：线段； linear：线性； linear algebra：线性代数； linear
operator：线性算子； linear space：线性空间； linear transformation：线性变换；
linearity：线性性； list of inequalities：不等式列表； list of linear algebra topics：
线性代数相关条目； locally compact space：局部紧致空间； logarithmic identities：
对数恒等式； logic：逻辑学； logical positivism：逻辑实证主义； law of cosines：
余弦定理； L??wenheim-Skolem theorem：L??wenheim-Skolem 定理； lower limit
topology：下限拓扑；

M
magnitude：量； manifold：流形； map：映射； mathematical symbols：数学
符号； mathematical analysis：数学分析； mathematical proof：数学证明；
mathematics：数学； matrix：矩阵； matrix multiplication：矩阵乘法； meaning：
语义； measure：测度； meet：交运算； member：元素； metamathematics：
元数学； metric：度量； metric space：度量空间； model：模型； model theory：
模型论； modular arithmetic：模运算； module：模； monotonic function：单调
函数； multilinear algebra：多重线性代数； multiplication：乘法； multiset：多
样集；

N
naive set theory：朴素集合论； natural logarithm：自然对数； natural number：
自然数； natural science：自然科学； negative number：负数； neighbourhood：
邻域； New Foundations：新基础理论； nine point circle：九点圆； non-Euclidean
6 10
高等数学英语词汇
geometry：非欧几里德几何； nonlinearity：非线性； non-singular matrix：非奇
异矩阵； nonstandard model：非标准模型； nonstandard analysis：非标准分析；
norm：范数； normed vector space：赋范向量空间； n-tuple：n 元组 或 多元组；
nullary：空； nullary intersection：空交集； number：数； number line：数轴；

O
object：对象； octonion：八元数； one-to-one correspondence：一一对应； open：
开集； open ball：开球； operation：运算； operator：算子； or：或； order topology：
序拓扑； ordered field：有序域； ordered pair：有序对； ordered set：偏序集； ordinal
number：序数； ordinary mathematics：一般数学； origin：原点； orthogonal
matrix：正交矩阵；

P
p-adic number：p进数； paracompact space：仿紧致空间； parallel postulate：
平行公理； parallelepiped：平行六面体； parallelogram：平行四边形； partial order：
偏序关系； partition：分割； Peano arithmetic：皮亚诺公理； Pedoe's inequality：
佩多不等式； perpendicular：垂直； philosopher：哲学家； philosophy：哲学；
philosophy journals：哲学类杂志； plane：平面； plural quantification：复数量化；
point：点； Point-Line-Plane postulate：点线面假设； polar coordinates：极坐标
系； polynomial：多项式； polynomial sequence：多项式列； positive-definite
matrix：正定矩阵； positive- semidefinite matrix：半正定矩阵； power set：幂集；
predicate：谓词； predicate logic：谓词逻辑； preorder：预序关系； prime number：
素数； product：积； proof：证明； proper class：纯类； proper subset：真子集；
7 10
高等数学英语词汇
property：性质； proposition：命题； pseudovector：伪向量； Pythagorean
theorem：勾股定理；

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

R
radius：半径； ratio：比； rational number：有理数； real analysis：实分析； real
closed field：实闭域； real line：实数轴； real number：实数； real number line：
实数线； reflexive relation：自反关系； reflexivity：自反性； reification：具体化；
relation：关系； relative complement：相对补集； relatively complemented
lattice：相对补格； right angle：直角； right-handed rule：右手定则； ring：环；

S
scalar：标量； second-countable space：第二可数空间； self-adjoint operator：
自伴随算子； sentence：判断； separable space：可分空间； sequence：数列 或
序列； sequence space：序列空间； series：级数； sesquilinear function：半双
线性函数； set：集合； set-theoretic definition of natural numbers：自然数的集
合论定义； set theory：集合论； several complex variables：一些复变量； shape：
几何形状； sign function：符号函数； singleton：单元素集合； social science：社
会科学； solid geometry：立体几何； space：空间； spherical coordinates：球坐
标系； square matrix：方块矩阵； square root：平方根； strict：严格； structural
8 10
高等数学英语词汇
recursion：结构递归； subset：子集； subsequence：子序列； subspace：子空间；
subspace topology：子空间拓扑； subtraction：减法； sum：和； summation：
求和； supremum：上确界； surreal number：超实数； symmetric difference：
对称差； symmetric relation：对称关系； system of linear equations：线性方程组；

T
tensor：张量； terminal object：终结对象； the algebra of sets：集合代数；
theorem：定理； top element：最大元； topological field：拓扑域； topological
manifold：拓扑流形； topological space：拓扑空间； topology：拓扑 或 拓扑学； total
order：全序关系； totally disconnected：完全不连贯； totally ordered set：全序
集； transcendental number：超越数； transfinite recursion：超限归纳法；
transitivity：传递性； transitive relation：传递关系； transpose：转置； triangle
inequality：三角不等式； trigonometric identities：三角恒等式； triple product：
三重积； trivial topology：密着拓扑； true：真； truth value：真值；

U
unary operation：一元运算； uncountable：不可数； uniform space：一致空间；
union：并集； unique：唯一； unit interval：单位区间； unit step function：
单位阶跃函数； unit vector：单位向量； universal quantification：全称量词；
universal set：全集； upper bound：上界；

V
vacuously true：??； Vandermonde's identity：Vandermonde 恒等式； variable：
9 10
高等数学英语词汇
变量； vector：向量； vector calculus：向量分析； vector space：向量空间； Venn
diagram：文氏图； volume：体积； von Neumann ordinal：冯·诺伊曼序数； von
Neumann universe：冯·诺伊曼全集； vulgar fraction：分数；

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

10 10