黎曼积分（Riemann Integral），也称为正常积分或定积分，是数学分析中定义定积分的一种严格方法。以下是黎曼积分的详细定义：
一、定义概述
黎曼积分是通过将积分区间分割为有限个子区间，构造近似和并取极限来求解函数在区间上的积分值。其核心思想在于无限逼近，即通过无限细化区间分割和任意选取样本点，使得近似和趋近于一个确定的极限值，该极限值即为函数的黎曼积分。
二、定义步骤
区间的分割：
- 将闭区间[a, b]分割为有限个子区间，记作(a = x0 < x1 < x2 < ... < xn = b)。
- 每个子区间的长度为Δxi = xi - xi-1，其中i=1, 2, ..., n。
- 设分割P的最大子区间宽度为|P| = max{Δxi}，需保证|P|趋近于零。
样本点的选取：
- 在每个子区间[xi-1, xi]上任意选取一个样本点ξi。
黎曼和的构造：
- 基于分割P和样本点ξ，黎曼和Sp定义为函数值f(ξi)与子区间长度Δxi乘积的总和，即： Sp = ∑(f(ξi) * Δxi)，其中求和符号表示从i=1到n。
极限的确定：
- 当分割P的最大子区间宽度|P|趋近于零时，若无论分割方式如何选择、样本点如何选取，黎曼和Sp都趋向于同一个确定的极限值I，则称函数f(x)在区间[a, b]上黎曼可积。
- 该极限值I定义为函数f(x)在区间[a, b]上的黎曼积分，记作：∫(a, b) f(x) dx = I。
三、性质与条件
线性性：黎曼积分满足线性变换的性质，即对于常数α、β和可积函数f、g，有： ∫(a, b) (αf + βg) dx = α∫(a, b) f dx + β∫(a, b) g dx。
正定性：若f(x) ≥ 0几乎处处成立，则积分非负；若积分为零，则f(x)几乎处处为零。
可加性：对区间[a, c]和[c, b]上的积分，满足： ∫(a, b) f dx = ∫(a, c) f dx + ∫(c, b) f dx。
可积性条件：函数f(x)在区间[a, b]上黎曼可积的充分条件是f(x)在区间上有界且间断点构成零测集（如连续函数或有有限个间断点的有界函数满足条件）。
四、几何意义与应用
黎曼积分的几何意义是函数图像与x轴围成的有向面积（当函数值为正时表示正向面积）。它在物理、工程等领域中被广泛应用于求解累积量（如位移、质量等），并与微分学的基本定理共同构成微积分学的核心框架。
综上所述，黎曼积分是一种精确描述函数在给定区间上积分值的方法，通过无限逼近的方式确定积分结果。虽然后续积分理论（如勒贝格积分）在应用范围上更广，但黎曼积分仍是理解积分概念和计算的基础工具。
