数列的概念

官官方数学老师·18 页·深入（追求细节与边界）·0 次浏览·3 天前

✦ 数列的概念数学数列的概念数列

严格定义边界辨析通项递推本质追问

数列的概念

看清数列的严格定义、辨清它与集合/函数的边界、掌握通项与递推双视角

按空格/→ 演示下一步

1 / 18 页

全部页面点击任意一页，跳回舞台从这页播放

严格定义边界辨析通项递推本质追问

数列的概念

看清数列的严格定义、辨清它与集合/函数的边界、掌握通项与递推双视角

1第 1 页 · 数列的概念

数列

上页我们从生活里见到很多'一列数'，但数学里的数列不是随便排成一行的数。本页从函数视角严格定义它，并看清要点与典型应用。

本质是离散函数

数列就是定义域为 N* 的函数 f(n)，第 n 项记作 aₙ = f(n)

顺序决定一切

a₃ ≠ a₅；集合无顺序，数列把序号与项硬绑定

通项与递推

通项公式 aₙ=f(n) 直接代入；递推公式由前项定后项

有限与无限

项数有限的叫有限数列；项数无限的叫无限数列，本课主线是后者

典型应用

复利本利和、人口增长、斐波那契数列等都建模为离散序列

火车站检票排队对应 →数列的项与序号

排第 3 的和排第 5 的是不同人；换位后排第 3 的就不再是原来那个——序号是'硬绑'的

a_n = f(n),\ n \in \mathbb{N}^*

2第 2 页 · 数列

根据通项公式求前若干项

上一节我们认识了数列——一组按顺序排好的数。但要描述一个数列，光靠逐个列出前几项远远不够。我们需要一个「公式」，只要给一个位置编号 n，就能算出对应的那一项。

通项公式

用含 n 的式子表示第 n 项，记作 a_n = f(n)

代入求值

将 n=1,2,3… 依次代入公式，算出每一项

起点辨析

n 不一定从 1 起，常见从 0 或 2 起；起点不同数列不同

一一对应

一个通项公式唯一确定一个数列；反过来不一定

自动售货机对应 →通项公式

按下编号 n 的按钮，吐出对应商品 a_n

a_n = 2n-1$，依次代入 $n=1,2,3$ 得 $1,3,5,\dots

3第 3 页 · 根据通项公式求前若干项

数列的项

上一页我们用 aₙ = n² 算出了 1、4、9、16——这四个数就是数列 {1,4,9,16,…} 的前四项。今天我们专门拆解「项」这个概念：它是什么、怎么记、有什么边界。

项的定义

数列中每一个确定的数，都叫做这个数列的项

项的序号（下标）

表示该项在数列中的位置，记作 n

统一记号 aₙ

数列记作 {aₙ}，第 n 项写作 aₙ；a 只是数列名

序号从 1 起

n ∈ ℕ*（正整数），有限数列末项序号 m 称为项数

银行排队拿号对应 →数列的项

每个人是一个「项」，手里的号牌就是序号 n，从 001 起发，不能跳号也不能发 0 号

\{a_n\} = a_1, a_2, a_3, \ldots, a_n, \ldots \quad (n \in \mathbb{N}^*)

4第 4 页 · 数列的项

由前几项寻找通项公式

上一页给了通项公式，我们按公式把前几项'算'了出来。这页反过来：只看到 1, 3, 5, 7, … 你能猜到背后的公式吗？这就是由前几项找通项公式。

核心三步法

观察已知项规律 → 猜想通项 → 代入验证，缺一不可

找规律的方向

看相邻项之差或之比；分子分母各自找规律

交替型的工具

正负交替时引入 (-1)^(n+1) 或 (-1)^(n-1) 处理符号

通项不唯一

不同公式可产生相同的前若干项，需多算几项确认

验证不可省

用后续项代入，或用单调性等通项性质排除错解

侦探从证据推断案情对应 →由前几项找通项公式

几条线索（前几项）→ 猜想画像（通项）→ 新证据验证

a_n = (-1)^{n+1} \cdot f(n),\quad f(n) \text{ 为绝对值规律}

5第 5 页 · 由前几项寻找通项公式

首项

知道了数列有「项」，今天聚焦最特殊的那一个——排在最前面的项。它是整个数列的「原点」：通项公式对不对、递推能不能启动，都要靠它来检验。

记号约定

用 a₁ 表示，位置固定就是「第一个」，不会因写法不同而改变

公式校验口

把 n=1 代入通项 f(n)，结果必须等于 a₁，不等就说明公式有误

递推起点

递推式 aₙ=g(aₙ₋₁) 必须靠 a₁ 启动，没有它整条链卡死在开头

边界辨析

空集合上没有首项；部分教材从 a₀ 起记，需要做下标换算

火车车头对应 →数列首项

牵引所有后续车厢、决定整列车的方向；递推就是「车头一节节往后拉」

a_n = \begin{cases} a_1, & n = 1 \\ f(a_{n-1}), & n \geq 2 \end{cases}

6第 6 页 · 首项

有穷数列

前面看到的例子，写到某个数就停了——这种能数得清的数列叫有穷数列。但「能数得清」这件事，其实藏着值得追问的边界。

定义

项数有限，存在确定的最后一项 aₙ，n 是具体的正整数

记法

写为 a₁, a₂, ⋯, aₙ，n 固定，不写 ⋯ 表示无限延伸

边界情况

n=1 的单元素序列仍是有穷数列；n=0 的「空序列」通常不讨论

求和区别

有限项可直接求和；无穷项需引入极限，结论可能不存在

12 首歌的精选歌单对应 →有穷数列

歌单长度固定，能从头播到尾；不会自动续歌或循环

\sum_{k=1}^{n} a_k = a_1+a_2+\cdots+a_n;\quad \sum_{k=1}^{\infty} a_k \text{ 需极限存在}

7第 7 页 · 有穷数列

无穷数列

上页讲了有穷数列——它有起点、有终点，项数能数得完。可如果数列永远不结束呢？比如从 1 开始往下数：1, 2, 3, … 永远数不完。这样的数列叫做无穷数列。

定义

项数无限、没有最后一项，a₁, a₂, a₃… 永远继续下去

记号约定

下标取遍所有正整数，末尾的「…」表示无限延伸

研究价值

极限、收敛性、无穷级数的研究都建立于无穷数列之上

与有穷的本质区别

无法逐一枚举完毕，必须依赖通项公式看清整体规律

经典实例

自然数列 1,2,3…；斐波那契数列；调和数列 aₙ=1/n

永远向前延伸的铁轨对应 →无穷数列

你站在 a₁，往前看 a₂, a₃… 没有尽头；通项公式就是铁轨的'设计图'

a_n = \frac{1}{n},\quad n = 1, 2, 3, \ldots

8第 8 页 · 无穷数列

数列的函数观点

前几页我们一直把数列当「一排数」来用。但换个角度：每个数列其实都是一个函数,只不过输入域比较特殊。这页站到函数视角,重新认识数列。

数列的本质是函数

定义域是正整数集 ℕ*(或其有限子集),不是连续的实数区间

自变量是项数 n

n = 1, 2, 3, … 每一项的「编号」就是函数的输入

函数值是第 n 项

aₙ 就是函数在 n 处的取值,记作 a(n)

图像是一组离散点

画出来是 (n, aₙ) 这样的散点,不是连续曲线

函数性质可迁移

单调性、有界性、周期性等概念可直接用于研究数列

查字典按页码对应 →数列的函数观点

页码 n 是输入,页内容是输出 aₙ,按号查页 = 由 n 求 aₙ

a_n = f(n),\quad n \in \mathbb{N}^*

9第 9 页 · 数列的函数观点

递增数列

上一节我们把数列看成定义在正整数上的函数，自然会问——数列有没有「单调性」？有的，最常见的就是递增。它说的是每一项都比前一项大。

严格定义

对所有正整数 n，都有 a_{n+1} > a_n

与单调不减的区别

a_{n+1} ≥ a_n 叫单调不减，两者不可混用

判断方法：作差看符号

考察 a_{n+1} - a_n 是否恒大于零

典型应用

证明不等式、判断级数敛散、研究增长趋势

一路向上的扶梯对应 →严格递增数列

每一级都比上一级高，永远不会持平或下行

a_{n+1} - a_n > 0, \quad \forall n \in \mathbb{N}^*

10第 10 页 · 递增数列

递减数列

递减数列：定义、要点与典型应用

递减数列

递减数列：定义、要点与典型应用

11第 11 页 · 递减数列

常数列

递增数列一项比一项大，递减数列一项比一项小——那有没有一项都不变的数列？这就是常数列，看似最'平淡'，却在单调性边界和等差、等比数列的退化情形中扮演关键角色。

定义

数列中每一项都等于同一个常数 c，即 a_n = c 对所有 n 成立

通项公式

直接写成 a_n = c，无需递推；图像为一条水平直线

单调性边界

既是递增数列也是递减数列（非严格），是非严格单调的极端情形

退化情形

等差数列 d=0、等比数列 q=1 时均退化为常数列

时钟指针停在3点整对应 →常数列每一项等于 c

无论何时观察（任意项位置 n），指针都指向 3（常数 c）

a_n = c,\quad a_{n+1}-a_n = 0

12第 12 页 · 常数列

通项公式

从数列的函数观点看，第n项a_n和n存在对应关系。若能用一个公式表达这个对应，就是通项公式——一个公式掌握整个数列。

定义

a_n = f(n)，n∈N*，用项数n直接表示第n项

不唯一性

不同公式可生成同一数列，如a_n=2^(n-1)也可用分段式表达

非普遍存在

并非所有数列都能写出通项公式，如素数序列至今无简洁表达

直接计算

已知n即可直接求出a_n，无需从首项逐项递推

自动售货机对应 →通项公式

输入编号n，按下按钮，直接吐出对应商品a_n；一台机器覆盖全部位置

a_n = f(n),\quad n \in \mathbb{N}^*

13第 13 页 · 通项公式

递推公式

上一节我们学了通项公式——把第 n 项用 n 直接算出来。但有些数列没法这样写：斐波那契数列每一项都是前两项之和，找不到 n 的简洁表达式。这种『靠前面推后面』的公式，就是递推公式。

递推关系

用前一项或前几项表示第 n 项的等式

阶与初始条件

k 阶递推需要前 k 项作为起点，少一个都不行

逐项推出

从初始项出发，一项一项地向后推导

与通项对比

递推是『间接推』，通项是『直接代 n』

适用场景

自然增长、迭代过程、无法闭合求解的复杂规律

多米诺骨牌对应 →递推公式

第一张牌靠外力推倒，后面每张被前一张推倒——递推的初始项也要先给

F_n = F_{n-1} + F_{n-2}, \quad F_1 = F_2 = 1

14第 14 页 · 递推公式

斐波那契数列

递推公式定义简洁却抽象。1202 年，斐波那契在《算盘书》中用一道兔子繁殖题把它首次「落地」，由此引入的数列成为递推结构最经典的范例。

递推定义

F₁=F₂=1，Fₙ=Fₙ₋₁+Fₙ₋₂（n≥3），每项由前两项相加得到

初始条件决定一切

F₁、F₂ 两个值一旦确定，后续每一项都被唯一决定

通项公式（Binet）

存在闭式解，分子含黄金比例 φ≈1.618 的 n 次幂

自然界的足迹

松果螺旋、向日葵花盘、贝壳生长都暗合此规律

兔子繁殖对应 →递推生成

上月存活的 F(n-1) 加上两月前成熟、本月新生的 F(n-2)，就是 F(n)

F_n = \frac{1}{\sqrt{5}}\left[\left(\frac{1+\sqrt{5}}{2}\right)^n - \left(\frac{1-\sqrt{5}}{2}\right)^n\right]

15第 15 页 · 斐波那契数列

前n项和

上一页讲了通项公式和递推公式怎么确定每一项。现在换个角度，把前n项加起来——就是前n项和。

记号 Sₙ

表示数列前n项的和，是研究数列的核心工具

通项与和互推

n≥2 时 aₙ = Sₙ − Sₙ₋₁，从和反推单项

首项的特例

a₁ = S₁，不能套用差式 S₁ − S₀

典型应用

等差数列倒序相加、等比数列错位相减

每月存款累加对应 →前n项和

每月一笔存款视为一项，第n月总余额就是 Sₙ；当月存款 = 本月余额 − 上月余额

S_n = a_1 + a_2 + \cdots + a_n,\quad a_n = S_n - S_{n-1}\ (n \geq 2)

16第 16 页 · 前n项和

本节要点

✓数列本质是定义在正整数集上的离散函数
✓同一数列的通项公式可以不唯一（区别于函数）
✓通项公式与递推公式是描述数列的两种视角
✓无穷数列的敛散性与求和需特别处理
✓简单递推规则可生成复杂结构（如斐波那契）

延伸主题：等差数列的通项与求和数列极限与收敛性递推数列的通项求解

17第 17 页 · 本节要点

课后思考

先合上屏幕独立思考一分钟，再看参考答案检验思路。

1两个数列的前 100 项都相同，能断定它们是同一个数列吗？请从函数观点说明。

参考答案不能。数列本质是定义在正整数集上的函数 aₙ=f(n)。前 100 项相同，只保证函数在这 100 个点取值一致，无法保证整体相同。

2递推公式 a₁=1, aₙ₊₁=aₙ²+1 为什么没有简洁的通项公式？函数观点能让我们把握什么？

参考答案递推式嵌套了多层平方运算，无法化简为 n 的初等表达式。函数观点提示：aₙ 呈双指数级增长，只需知道增长量级，不必求出每项精确值。

3aₙ=1/n 的前 n 项和随 n 增大持续增长但有界。如何理解"无穷多项相加等于有限数"？

参考答案当部分和 Sₙ 趋于有限常数 L 时，我们说无穷级数收敛于 L。这正是极限思想的核心：项越来越小，总和可以"塞进"有限空间。

18第 18 页 · 课后思考