实数理论 函数基础 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→∞) (11/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 rule0/0, ∞/∞ 不定式 indeterminate form其他不定式 Other indeterminate forms0·∞, 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 testp-积分判别- 阿贝尔判别法 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 testp-级数 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 functionseˣ,sinx,cosx,ln(1x),(1x)ᵅ,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 Functionsn维欧氏空间 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 zf(x,y), uf(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 integralx型区域 x-type regiony型区域 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 transformationn重积分 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