10.2.1 Infinite Series Definition (无穷级数定义)

无穷级数的基本定义、符号表示以及级数与数列的关系

定义

无穷级数是指将无穷数列的各项依次相加所得的表达式。设 \(\{a_n\}\) 是一个无穷数列，则称 \(a_1 + a_2 + a_3 + \cdots + a_n + \cdots\) 为无穷级数，记作 \(\sum_{n=1}^{\infty} a_n\)。其中 \(a_n\) 称为级数的第 \(n\) 项或通项。

级数的部分和数列定义为：\(S_N = \sum_{n=1}^{N} a_n = a_1 + a_2 + \cdots + a_N\)，称为级数的第 \(N\) 个部分和。

无穷级数的收敛性由其部分和数列的极限决定：如果部分和数列 \(\{S_N\}\) 的极限存在且等于有限数 \(S\)，即 \(\lim_{N \to \infty} S_N = S\)，则称级数 \(\sum_{n=1}^{\infty} a_n\) 收敛，\(S\) 称为级数的和；否则称级数发散。

级数与数列的关系：给定数列 \(\{a_n\}\) 可以唯一确定一个级数，反之给定级数也可以唯一确定其通项数列。但数列的收敛性与其对应级数的收敛性是两个不同的概念。

核心公式

• \(["\)\sum_{n=1}^{\infty} a_n = a_1 + a_2 + a_3 + \cdots + a_n + \cdots\(", "\)S_N = \sum_{n=1}^{N} a_n\(", "\)\lim_{N \to \infty} S_N = S \Rightarrow \sum_{n=1}^{\infty} a_n \text{ 收敛，其和为 } S\(", "\)a_n = S_n - S_{n-1} \quad (n \geq 2)\(", "\)\lim_{n \to \infty} a_n = 0 \text{ 是级数 } \sum_{n=1}^{\infty} a_n \text{ 收敛的必要条件}\("]\)

易错点

• ⚠️ ["混淆数列的收敛与级数的收敛：数列 \(\{a_n\}\) 收敛到某个值不意味着级数 \(\sum a_n\) 收敛。例如，虽然 \(\lim_{n \to \infty} \frac{1}{n} = 0\)，但调和级数 \(\sum_{n=1}^{\infty} \frac{1}{n}\) 发散。", "误认为级数收敛的充要条件是 \(\\lim_{n \\to \\infty} a_n = 0\)：这只是必要条件，不是充要条件。学生常忽视还需要检验部分和数列的极限。", "在计算部分和时出错：特别是在使用求和公式（如等比级数求和）时，容易混淆首项、公比或项数，导致部分和计算错误。", "忽视级数定义中的求和起点：不同的求和起点（如 \(\\sum_{n=0}^{\\infty}\) 与 \(\\sum_{n=1}^{\\infty}\)）会影响级数的值，学生需要仔细识别题目中的求和范围。"]