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:二元关系; 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:循环群;
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
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
H
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:同构;