数学分析完整知识点中英对照手册(全册完整版)
实数理论 & 函数基础 Real Number Theory & Fundamental Functions
摘要:本文系统梳理了数学分析的核心知识体系,涵盖从实数理论到多元微积分的完整内容。全文共分为七个主要部分:实数理论与函数基础、一元函数极限与连续、一元函数微分学、一元函数积分学、级数理论、多元函数微分学、多元积分学,以及含参变量积分和进阶分析专题。每个部分均以中英对照形式详细列出了关键概念、定理和方法,构建了从基础到高级的数学分析知识框架。本文可作为数学分析学习的系统性参考,帮助读者建立完整的知识体系结构。
- 实数系统 Real Number System
- 有理数 Rational number
- 无理数 Irrational number
- 实数集 Set of real numbers ℝ
- 实数序公理 Order axiom of real numbers
- 实数域 Axiomatic field of real numbers
- 上界 Upper bound
- 下界 Lower bound
- 上确界 Supremum (sup)
- 下确界 Infimum (inf)
- 确界原理 Supremum principle(实数完备性第一定理)
- 实数六大完备性定理 Six completeness theorems of real numbers
- 单调有界定理 Monotone bounded convergence theorem
- 闭区间套定理 Nested interval theorem
- 有限覆盖定理 Heine–Borel finite covering theorem
- 聚点定理 Bolzano–Weierstrass accumulation point theorem
- 柯西收敛准则 Cauchy convergence criterion
- 确界原理 Supremum principle - 绝对值 Absolute value
- 三角不等式 Triangle inequality
- 均值不等式 Mean value inequality
- 伯努利不等式 Bernoulli inequality
- 区间 Interval:开区间 open interval、闭区间 closed interval、半开区间 half-open interval、无穷区间 infinite interval
- 映射与函数 Mapping & Function
- 集合 Set
- 元素 Element
- 子集 Subset
- 空集 Empty set
- 笛卡尔积 Cartesian product
- 映射 Mapping
- 定义域 Domain of definition
- 值域 Range
- 单射 Injective mapping
- 满射 Surjective mapping
- 双射 Bijective mapping
- 函数 Function
- 复合函数 Composite function
- 反函数 Inverse function
- 分段函数 Piecewise function
- 基本初等函数 Basic elementary functions
- 幂函数 Power function
- 指数函数 Exponential function
- 对数函数 Logarithmic function
- 三角函数 Trigonometric function
- 反三角函数 Inverse trigonometric function - 初等函数 Elementary function
- 函数有界性 Boundedness of function
- 上有界 Upper bounded
- 下有界 Lower bounded
- 无界 Unbounded
- 单调性 Monotonicity:单调递增 monotonically increasing、单调递减 monotonically decreasing
- 奇偶性 Parity:奇函数 odd function、偶函数 even function
- 周期性 Periodicity:周期 period、最小正周期 fundamental period
第一部分:一元函数极限与连续 Limits & Continuity of Single-Variable Functions
- 数列极限 Limit of Sequence
- 数列 Sequence
- 通项 General term
- 子列 Subsequence
- 数列极限 ε-N 定义 ε-N definition of sequence limit
- 收敛数列 Convergent sequence
- 发散数列 Divergent sequence
- 极限唯一性 Uniqueness of limit
- 收敛数列有界性 Boundedness of convergent sequence
- 极限保号性 Sign-preserving property of limit
- 极限四则运算法则 Four arithmetic rules of limits
- 夹逼准则 Squeeze theorem
- 单调有界收敛定理 Monotone bounded convergence theorem
- 无穷小数列 Infinitesimal sequence
- 无穷大数列 Infinite large sequence
- 无穷小阶的比较 Order comparison of infinitesimals
- 同阶无穷小 Infinitesimal of the same order
- 等价无穷小 Equivalent infinitesimal
- 高阶无穷小 Higher order infinitesimal
- 低阶无穷小 Lower order infinitesimal - 斯托尔茨定理 Stolz theorem(求 ∞/∞、0/0 型数列极限)
- 一元函数极限 Limit of Single-Variable Function
- 自变量变化过程 Variable tendency
- x→x₀ 趋近定点 tend to finite point
- x→x₀⁺ 右极限 Right-hand limit
- x→x₀⁻ 左极限 Left-hand limit
- x→+∞, x→−∞, x→∞ 无穷极限 Infinite limit - ε−δ 定义 ε−δ definition(有限点极限)
- ε-X 定义 ε-X definition(无穷远极限)
- 极限存在充要条件 Necessary and sufficient condition for existence of limit(左右极限相等)
- 海涅归结原则 Heine’s theorem(函数极限与数列极限等价)
- 函数极限四则运算 Arithmetic operations of function limits
- 复合函数极限定理 Limit theorem of composite function
- 两个重要极限 Two important limits
- lim(x→0) sinx/x = 1
- lim(x→∞) (1+1/x)ˣ = e - 无穷小量 Infinitesimal function
- 无穷大量 Infinite large function
- 无穷小运算性质 Operation properties of infinitesimals
- 等价无穷小替换 Equivalent infinitesimal substitution rule
- 极限保序性 Order-preserving property of limits
- 函数连续性 Continuity of Function
- 在一点连续 Continuous at a point
- 右连续 Right-continuous
- 左连续 Left-continuous
- 间断点 Discontinuity point
- 第一类间断点 Discontinuity of the first kind
- 可去间断点 Removable discontinuity
- 跳跃间断点 Jump discontinuity
- 第二类间断点 Discontinuity of the second kind
- 无穷间断点 Infinite discontinuity
- 振荡间断点 Oscillating discontinuity - 区间上连续 Continuous on an interval
- 连续函数局部性质 Local properties of continuous functions
- 局部有界 Local boundedness
- 局部保号 Local sign preservation - 闭区间连续函数四大基本定理 Four major theorems for continuous functions on closed interval
- 有界性定理 Boundedness theorem
- 最值定理 Max-min value theorem
- 介值定理 Intermediate value theorem
- 零点定理 Zero point theorem - 一致连续 Uniform continuity
- 康托尔定理 Cantor theorem(闭区间连续⇨一致连续)
- 连续函数四则运算 Arithmetic of continuous functions
- 复合函数连续性 Continuity of composite functions
- 反函数连续性 Continuity of inverse functions
- 初等函数连续性 Continuity of elementary functions
第二部分:一元函数微分学 Differential Calculus of Single-Variable Functions
- 导数与微分 Derivative & Differential
- 增量 Increment
- 平均变化率 Average rate of change
- 导数定义 Definition of derivative f’(x₀)
- 几何意义 Geometric meaning(切线斜率 slope of tangent line)
- 物理意义 Physical meaning(瞬时速度 instantaneous velocity)
- 左导数 Left-hand derivative
- 右导数 Right-hand derivative
- 可导充要条件 Necessary & sufficient condition for differentiability(左右导数相等)
- 可导必连续 Differentiable ⇒ continuous;连续未必可导 continuous not necessarily differentiable
- 求导基本公式 Basic derivative formulas
- 求导四则法则 Four differentiation rules
- 复合函数链式法则 Chain rule for composite functions
- 反函数求导 Differentiation of inverse function
- 参数方程求导 Differentiation of parametric equation
- 隐函数求导 Implicit differentiation
- 对数求导法 Logarithmic differentiation
- 高阶导数 Higher-order derivative
- 莱布尼茨公式 Leibniz formula(乘积高阶导数)
- 微分 Differential dy
- 可微 Differentiable
- 可微⇔可导 Differentiable ⇔ derivable(一元函数等价)
- 一阶微分形式不变性 Invariance of first-order differential form
- 微分近似计算 Approximate calculation by differential
- 微分误差估计 Error estimation of differential
- 微分中值定理 & 导数应用 Mean Value Theorems & Applications of Derivatives
- 费马引理 Fermat’s lemma
- 罗尔定理 Rolle’s theorem
- 拉格朗日中值定理 Lagrange mean value theorem
- 柯西中值定理 Cauchy mean value theorem
- 洛必达法则 L’Hôpital’s rule(0/0, ∞/∞ 不定式 indeterminate form)
- 其他不定式 Other indeterminate forms:0·∞, 1^∞, ∞^0, 0^0, ∞−∞
- 泰勒公式 Taylor formula
- 佩亚诺余项泰勒公式 Taylor formula with Peano remainder
- 拉格朗日余项泰勒公式 Taylor formula with Lagrange remainder - 麦克劳林公式 Maclaurin formula(在 x₀=0 处泰勒展开)
- 函数单调性判定 Monotonicity test
- 极值点 Extreme point
- 极大值 Local maximum
- 极小值 Local minimum
- 极值第一充分条件 First sufficient condition for extrema
- 极值第二充分条件 Second sufficient condition for extrema
- 闭区间全局最值 Global maximum & minimum on closed interval
- 曲线凹凸性 Concavity & convexity of curve
- 拐点 Inflection point
- 渐近线 Asymptote
- 水平渐近线 Horizontal asymptote
- 垂直渐近线 Vertical asymptote
- 斜渐近线 Oblique asymptote - 函数图像作图 Sketching function graph
第三部分:一元函数积分学 Integral Calculus of Single-Variable Functions
- 不定积分 Indefinite Integral
- 原函数 Primitive function / Antiderivative
- 原函数存在定理 Existence theorem of antiderivative
- 不定积分 Indefinite integral ∫f(x)dx
- 积分常数 Constant of integration C
- 不定积分线性性质 Linearity of indefinite integral
- 基本积分公式 Basic integral formulas
- 第一类换元积分法 Integration by substitution I(凑微分法)
- 第二类换元积分法 Integration by substitution II(变量代换)
- 分部积分法 Integration by parts
- 有理函数积分 Integration of rational functions
- 部分分式分解 Partial fraction decomposition
- 三角有理式积分 Integral of rational trigonometric functions
- 万能代换 Weierstrass substitution
- 简单无理函数积分 Integral of simple irrational functions
- 定积分 Definite Integral
- 分割 Partition of interval
- 介点 Intermediate point
- 黎曼和 Riemann sum
- 定积分黎曼定义 Riemann definition of definite integral ∫ₐᵇf(x)dx
- 达布大和 Upper Darboux sum
- 达布小和 Lower Darboux sum
- 达布定理 Darboux theorem
- 黎曼可积 Riemann integrable
- 可积充分条件 Sufficient conditions for integrability
- 闭区间连续函数必可积 Continuous function on closed interval is integrable
- 分段连续函数 Piecewise continuous function integrable
- 单调有界函数 Monotone bounded function integrable - 定积分基本性质 Basic properties of definite integral
- 区间可加性 Additivity over intervals
- 保序性 Order-preserving property
- 绝对值不等式 Absolute value inequality for integral
- 积分估值定理 Integral estimation theorem - 积分中值定理 Integral mean value theorem
- 积分第一中值定理 First integral mean value theorem
- 推广积分第一中值定理 Generalized first integral MVT - 变上限积分 Variable upper limit integral
- 变下限积分 Variable lower limit integral
- 变限积分求导公式 Differentiation formula for variable limit integral
- 牛顿–莱布尼茨公式 Newton–Leibniz formula(微积分基本定理 Fundamental theorem of calculus)
- 定积分换元积分 Definite integral substitution
- 定积分分部积分 Definite integral integration by parts
- 定积分几何应用 Geometric applications
- 平面图形面积 Area of planar figure
- 旋转体体积 Volume of solid of revolution
- 平面曲线弧长 Arc length of planar curve
- 旋转曲面表面积 Surface area of revolution surface - 定积分物理应用 Physical applications:质量 mass、功 work、压力 pressure、质心 centroid
- 反常积分(广义积分)Improper Integral
- 无穷限反常积分 Improper integral over infinite interval ∫ₐ⁺∞、∫₋∞ᵇ、∫₋∞⁺∞
- 瑕积分 Improper integral with singularity / Defective integral
- 瑕点 Singular point / Defect point
- 反常积分收敛 Convergence of improper integral
- 反常积分发散 Divergence of improper integral
- 柯西主值 Cauchy principal value
- 反常积分判别准则 Convergence tests
- 比较判别法 Comparison test
- 柯西判别法 Cauchy test(p-积分判别)
- 阿贝尔判别法 Abel test
- 狄利克雷判别法 Dirichlet test - 绝对收敛 Absolutely convergent
- 条件收敛 Conditionally convergent
第四部分:级数理论 Series Theory
- 数项级数 Series of Constant Terms
- 常数项级数 Constant term series ∑uₙ
- 部分和 Partial sum Sₙ
- 级数收敛 Convergent series
- 级数发散 Divergent series
- 级数收敛必要条件 Necessary condition for convergence lim(n→∞)uₙ=0
- 级数线性性质 Linearity of series
- 级数重排 Rearrangement of series
- 级数柯西乘积 Cauchy product of series
- 正项级数 Positive term series
- 正项级数收敛充要条件 Bounded partial sum
- 正项级数判别法 Tests for positive series
- 比较判别法 Comparison test
- 极限形式比较判别 Limit comparison test
- 比值判别法 D’Alembert ratio test
- 根值判别法 Cauchy root test
- 积分判别法 Integral test - p-级数 p-series
- 交错级数 Alternating series ∑(−1)ⁿuₙ
- 莱布尼茨判别法 Leibniz test(交错级数收敛)
- 任意项级数 Arbitrary term series
- 绝对收敛 Absolutely convergent series
- 条件收敛 Conditionally convergent series
- 阿贝尔变换 Abel transformation
- 阿贝尔判别 Abel test
- 狄利克雷判别 Dirichlet test
- 黎曼重排定理 Riemann rearrangement theorem
- 函数项级数 Series of Function Terms
- 函数列 Sequence of functions {fₙ(x)}
- 函数项级数 Series of functions ∑uₙ(x)
- 逐点收敛 Pointwise convergence
- 收敛域 Domain of convergence
- 和函数 Sum function S(x)
- 一致收敛 Uniform convergence
- 内闭一致收敛 Inner closed uniform convergence
- 一致收敛判别准则 Uniform convergence tests
- M判别法 Weierstrass M-test
- 阿贝尔判别 Abel test for function series
- 狄利克雷判别 Dirichlet test for function series - 一致收敛函数列性质 Properties of uniformly convergent function sequences
- 极限与连续可交换 Commutation of limit and continuity
- 极限与积分可交换 Commutation of limit and integration
- 极限与求导可交换 Commutation of limit and differentiation - 一致收敛级数性质 Properties of uniformly convergent series
- 和函数连续性 Continuity of sum function
- 逐项积分 Term-by-term integration
- 逐项求导 Term-by-term differentiation - 幂级数 Power Series
- 幂级数 Power series ∑aₙ(x−x₀)ⁿ
- 标准幂级数 Standard power series ∑aₙxⁿ
- 收敛半径 Radius of convergence R
- 收敛区间 Interval of convergence
- 收敛域 Domain of convergence(区间+端点判别)
- 柯西–阿达马公式 Cauchy–Hadamard formula(求收敛半径)
- 幂级数四则运算 Arithmetic operations of power series
- 幂级数一致收敛 Uniform convergence of power series
- 幂级数逐项积分 Term-by-term integration of power series
- 幂级数逐项求导 Term-by-term differentiation of power series
- 泰勒级数 Taylor series
- 麦克劳林级数 Maclaurin series
- 函数幂级数展开 Expansion of function into power series
- 初等函数标准展开 Standard expansions of elementary functions:eˣ,sinx,cosx,ln(1+x),(1+x)ᵅ,arctanx
- 傅里叶级数 Fourier Series
- 周期函数 Periodic function
- 三角函数系 Trigonometric system
- 正交性 Orthogonality of trigonometric system
- 傅里叶系数 Fourier coefficients
- 傅里叶级数 Fourier series
- 狄利克雷收敛定理 Dirichlet convergence theorem
- 正弦级数 Sine series(奇延拓 Odd extension)
- 余弦级数 Cosine series(偶延拓 Even extension)
- 任意区间傅里叶展开 Fourier expansion on arbitrary interval [a,b]
- 傅里叶级数逐项积分 Term-by-term integration of Fourier series
第五部分:多元函数微分学 Differential Calculus of Multivariable Functions
- n维欧氏空间 n-dimensional Euclidean Space ℝⁿ
- n维向量 n-dimensional vector
- 范数 Norm ‖x‖
- 距离 Distance function
- 点集 Point set in ℝⁿ
- 邻域 Neighborhood
- 去心邻域 Deleted neighborhood
- 内点 Interior point
- 外点 Exterior point
- 边界点 Boundary point
- 聚点 Accumulation point / Limit point
- 孤立点 Isolated point
- 开集 Open set
- 闭集 Closed set
- 区域 Domain
- 有界集 Bounded set
- 无界集 Unbounded set
- 紧集 Compact set(有界闭集 bounded closed set)
- ℝⁿ 完备性定理 Completeness theorems in ℝⁿ
- 聚点定理 Bolzano–Weierstrass theorem
- 有限覆盖定理 Heine–Borel theorem - 多元函数 Multivariable function z=f(x,y), u=f(x,y,z)
- 二元函数图像 Graph of binary function
- 等值线 Contour line
- 等值面 Contour surface
- 多元函数极限与连续 Limit & Continuity of Multivariable Function
- 重极限 Double limit / Multivariable limit
- 累次极限 Iterated limit
- 重极限与累次极限关系 Relation between double limit and iterated limit
- 多元函数连续 Continuous multivariable function
- 间断点 Discontinuity point of multivariable function
- 连续函数局部性质 Local properties of continuous multivariable functions
- 紧集上连续函数定理 Theorems for continuous functions on compact sets
- 有界定理 Boundedness theorem
- 最值定理 Max-min theorem
- 介值定理 Intermediate value theorem
- 一致连续 Uniform continuity(康托尔定理推广) - 偏导数、全微分 Partial Derivative & Total Differential
- 偏导数 Partial derivative ∂f/∂x、∂f/∂y
- 一阶偏导 First-order partial derivative
- 高阶偏导数 Higher-order partial derivative
- 混合偏导数 Mixed partial derivative
- 混合偏导交换次序定理 Equality of mixed partial derivatives
- 全增量 Total increment Δz
- 全微分 Total differential dz
- 可微 Differentiable (multivariable)
- 可微充分条件 Sufficient condition for differentiability(偏导连续⇒可微)
- 可微必要条件 Necessary condition for differentiability(可微⇒存在偏导)
- 一阶全微分形式不变性 Invariance of total differential form
- 复合函数链式求导法则 Chain rule for multivariable composite functions
- 隐函数定理 Implicit Function Theorem
- 一元隐函数 Implicit function of one variable F(x,y)=0
- 多元隐函数 Implicit function of multiple variables F(x,y,z)=0
- 隐函数组 System of implicit functions
- 雅可比矩阵 Jacobian matrix
- 雅可比行列式 Jacobian determinant
- 反函数组定理 Inverse function theorem for function systems
- 几何应用 & 方向导数、梯度 Geometric Applications / Directional Derivative & Gradient
- 空间曲线 Space curve
- 参数曲线 Parametric curve
- 曲线切线 Tangent line of curve
- 曲线法平面 Normal plane of curve
- 空间曲面 Space surface
- 曲面切平面 Tangent plane of surface
- 曲面法线 Normal line of surface
- 方向导数 Directional derivative
- 梯度 Gradient ∇f
- 梯度几何意义 Geometric meaning of gradient(等值面法向、变化率最大方向)
- 多元泰勒公式 & 极值 Multivariable Taylor Formula & Extrema
- 二元函数泰勒公式 Taylor formula for binary function
- 黑塞矩阵 Hessian matrix
- 无条件极值 Unconstrained extremum
- 极值必要条件 Necessary condition for extrema(梯度为零向量,驻点 stationary point)
- 极值充分条件 Sufficient condition for extrema(黑塞正定/负定/不定)
- 条件极值 Constrained extremum
- 拉格朗日乘数法 Lagrange multiplier method
- 拉格朗日函数 Lagrangian function
第六部分:多元积分学 Multivariable Integral Calculus
- 重积分 Multiple Integral
- 二重积分 Double integral ∬_D f(x,y)dxdy
- 二重积分黎曼定义 Riemann definition of double integral
- 可积条件 Integrability conditions for double integral
- 二重积分性质 Properties of double integral
- x型区域 x-type region
- y型区域 y-type region
- 直角坐标累次积分 Iterated integral in Cartesian coordinates
- 极坐标变换 Polar coordinate transformation
- 二重积分变量替换公式 General variable substitution for double integral
- 三重积分 Triple integral ∭_Ω f(x,y,z)dxdydz
- 三重积分直角坐标累次积分 Iterated triple integral
- 柱坐标变换 Cylindrical coordinate transformation
- 球坐标变换 Spherical coordinate transformation
- n重积分 n-fold multiple integral
- 重积分几何应用 Geometric applications:平面面积、空间体积
- 重积分物理应用 Physical applications:质量 mass、静矩 static moment、质心 centroid、转动惯量 moment of inertia
- 曲线积分 Line Integral
- 第一型曲线积分 Line integral of scalar function(对弧长 arc length)
- 曲线弧长元素 Arc length element ds
- 第一型曲线积分性质 Properties of scalar line integral
- 第二型曲线积分 Line integral of vector field(对坐标 coordinate)
- 有向曲线 Directed curve
- 向量场 Vector field
- 第二型曲线积分向量形式 Vector form of coordinate line integral
- 两类曲线积分联系 Relation between two types of line integrals
- 格林公式 Green’s formula(平面闭曲线与二重积分转化)
- 平面曲线积分与路径无关 Path-independent line integral
- 恰当微分 Exact differential
- 向量场原函数 Potential function of vector field
- 曲面积分 Surface Integral
- 第一型曲面积分 Surface integral of scalar function(曲面面积)
- 曲面面积元素 Surface area element dS
- 曲面参数方程 Parametric equation of surface
- 曲面法向量 Normal vector of surface
- 曲面定向 Orientation of surface
- 第二型曲面积分 Surface integral of vector field(通量 flux)
- 有向曲面元素 Oriented surface element dS
- 两类曲面积分关系 Relation between two types of surface integrals
- 高斯公式 Gauss formula(散度定理 Divergence theorem)
- 通量 Flux
- 散度 Divergence divF
- 斯托克斯公式 Stokes formula(旋度定理 Curl theorem)
- 环量 Circulation
- 旋度 Curl rotF
- 场论基础 Basic Field Theory
- 数量场 Scalar field
- 向量场 Vector field
- 梯度 Gradient ∇u
- 散度 Divergence ∇·F
- 旋度 Curl ∇×F
- 哈密顿算子 Hamiltonian operator ∇
- 拉普拉斯算子 Laplace operator Δ=∇²
- 保守场 Conservative field
- 无旋场 Irrotational field
- 无源场 Solenoidal field
第七部分:含参变量积分 Integrals with Parameters
- 有限含参变量积分 Integral with finite parameter interval
- 含参积分函数 Function defined by parameter integral φ(t)=∫ₐᵇ f(x,t)dx
- 连续性定理 Continuity theorem of parameter integral
- 积分交换次序定理 Integral interchange theorem
- 莱布尼茨求导公式 Leibniz differentiation formula for variable limit parameter integral
- 含参反常积分 Improper Integral with Parameters
- 无穷限含参反常积分 Improper parameter integral over infinite interval
- 瑕型含参反常积分 Singular parameter integral
- 逐点收敛 Pointwise convergence of parameter improper integral
- 一致收敛 Uniform convergence of parameter improper integral
- 一致收敛判别准则 Uniform convergence tests
- M判别法 Weierstrass M-test
- 阿贝尔判别 Abel test
- 狄利克雷判别 Dirichlet test - 一致收敛含参积分性质 Properties of uniformly convergent parameter improper integrals
- 连续性 Continuity
- 积分交换次序 Interchange of integrals
- 积分号下求导 Differentiation under integral sign - 欧拉积分 Euler Integrals(特殊含参积分)
- Γ函数 Gamma function Γ(s)=∫₀⁺∞ xˢ⁻¹e⁻ˣdx
- Γ函数递推公式 Recurrence relation of Gamma function
- Γ函数余元公式 Complementary formula of Gamma function
- Β函数 Beta function B(p,q)=∫₀¹ xᵖ⁻¹(1−x)q⁻¹dx
- Γ函数与Β函数关系 Relation between Gamma and Beta function
- 倍元公式、余元公式等特殊推导公式
进阶数学分析Extended Advanced Analysis
- 黎曼–斯蒂尔杰斯积分 Riemann–Stieltjes integral
- 函数空间 Function space
- 等度连续 Equicontinuity
- 阿尔泽拉–阿斯卡里定理 Arzelà–Ascoli theorem
- 勒贝格控制收敛定理(基础介绍)Lebesgue dominated convergence theorem
- 隐函数组高阶微分 Higher derivative of implicit function systems
- 曲线、曲面的曲率 Curvature of curve & surface
- 平面曲线曲率 Curvature of planar curve
