1 基本概念
1.1 序列与子序列
1.1.1 序列的定义
序列通常指按自然数次序排列的一列对象，记作 \(\{x_n\}_{n=1}^\infty\)。这些对象可以是实数、向量，也可以是更一般的空间中的点。序列的核心特点在于其项与项之间具有明确的顺序关系，因此适合用来描述“逐步逼近”的过程。
1.1.2 子序列的抽取方式
子序列是从原序列中按保持顺序的方式选取部分项得到的序列。若原序列为 \(\{x_n\}\)，则取严格递增的指标列 \(n_1<n_2<\cdots\)，可得子序列 \(\{x_{n_k}\}\)。这种抽取方式保留了原序列的先后次序，但允许跳过中间若干项。
1.2 收敛的定义
1.2.1 实数列的收敛
实数列 \(\{x_n\}\) 收敛到极限 \(a\)，是指当 \(n\) 足够大时，\(x_n\) 与 \(a\) 的距离可以任意小。直观上，这意味着序列的后续项越来越接近某个固定数值。实分析中这一概念是讨论极限、连续和积分的基础。
1.2.2 度量空间中的收敛
在度量空间中，收敛通过距离函数来表述。若点列 \(\{x_n\}\) 满足到某点 \(x\) 的距离逐渐趋于零，则称其收敛到 \(x\)。这一定义与实数列的情形一致，只是“距离”的含义被推广到更一般的空间。
1.2.3 拓扑空间中的收敛
在拓扑空间中，收敛不再直接依赖距离，而是通过邻域来描述。若序列最终落入任意给定的点 \(x\) 的邻域中，则称其收敛到 \(x\)。这种定义更抽象，但能统一处理许多非度量化情形。
1.3 收敛子序列的定义
1.3.1 从原序列中抽取
收敛子序列是原序列中的一个子序列，并且它本身满足收敛条件。也就是说，先通过递增指标选出若干项，再考察这部分项是否趋向某个极限。它反映的是原序列内部是否存在“稳定下来的片段”。
1.3.2 子序列的极限
若子序列 \(\{x_{n_k}\}\) 收敛到 \(x\)，则称 \(x\) 是该子序列的极限。不同子序列可能拥有不同极限，也可能共享同一极限。极限的存在说明原序列中至少有一部分行为趋于规则。
1.3.3 与原序列极限的关系
如果一个序列本身收敛，那么它的任意子序列也收敛，且极限相同。反过来，仅有某个子序列收敛并不能保证原序列收敛，因为原序列的其余部分可能仍然变化无序。由此可见，子序列收敛提供的是局部信息，而非整体结论。
2 判定与存在性
2.1 有界性条件
2.1.1 实数列中的有界性
在实数范围内，有界性常是寻找收敛子序列的重要前提。一个有界实数列虽然不一定收敛，但往往可以从中选出收敛子序列。与此相对，无界序列可能不断向无穷远处发散，未必具备收敛片段。
2.1.2 欧氏空间中的有界性
在欧氏空间中，有界性指序列所有项都落在某个有限半径的球内。由于空间维数有限，几何结构较为规整，这种条件通常足以配合紧致性工具推出子序列收敛。它在多元分析和几何分析中尤为常见。
2.2 紧致性条件
2.2.1 紧致空间中的子序列收敛性
在紧致空间内，任意序列都至少存在一个收敛子序列。紧致性可理解为一种“不会逃逸到空间外部”的性质，因此序列中的点总能找到聚集的方向。这一结论在拓扑与分析中具有基础地位。
2.2.2 相对紧与预紧性
相对紧或预紧性强调某个集合虽然未必本身紧致，但其闭包具有紧致性。对序列而言，这通常意味着序列的值域具有良好的聚集性质，从而可以抽出收敛子序列。该概念常用于描述函数族或算子像集的紧性特征。
2.3 典型存在性定理
2.3.1 Bolzano–Weierstrass定理
该定理说明，在实数轴或有限维欧氏空间中，有界序列必有收敛子序列。它是“有界性可导出局部收敛”的经典结果，也是很多分析命题的起点。其思想在于：有限维空间中有界集合不可能无限制地分散。
2.3.2 Heine–Borel相关结论
Heine–Borel定理刻画了欧氏空间中的紧致集：闭且有界的集合是紧致的。由此可直接推出，在这类集合中取值的任意序列都能抽出收敛子序列。该结论把几何条件与序列性质紧密联系起来。
2.3.3 完备性与收敛子序列
完备性本身并不保证任意序列都存在收敛子序列，但它对极限的存在与延拓非常重要。在完备空间中，若某序列或其某个子列已经满足柯西性质，则其极限不会“丢失”到空间外部。许多收敛性证明都依赖完备性来保证极限点仍属于原空间。
3 相关性质
3.1 极限点与聚点
3.1.1 子序列极限与聚点的对应
一个点若是序列的某个子序列的极限，通常可视为该序列的聚点或极限点。换言之，子序列收敛为某点，表明原序列在该点附近反复出现。这个对应关系是理解点集结构的重要桥梁。
3.1.2 点列的累积性质
序列的累积性质反映了它在空间中是否不断向某些位置聚集。若多个子序列分别收敛到不同点，说明原序列可能在这些点之间来回摆动。累积现象在研究边界行为、函数图像和动力系统时很常见。
3.2 单调性与收敛
3.2.1 单调有界序列
在实数系中，单调且有界的序列必然收敛。这一结论说明，若序列变化方向固定，同时又不会无限增大或减小，就会趋向某个极限。它是构造收敛子序列与分析整体收敛的基础工具。
3.2.2 子序列提取中的单调结构
在一些证明中，会从原序列中挑选出单调子序列。即便原序列整体不单调，也可能存在递增或递减的局部结构，从而辅助建立收敛性。此类方法常用于振荡序列和有界序列的分析。
3.3 唯一性与非唯一性
3.3.1 极限唯一性
在通常的收敛框架下，序列若收敛，其极限是唯一的。子序列同样如此：一旦某个子序列收敛到某点，它不可能同时收敛到另一个不同点。唯一性保证了极限概念的稳定性。
3.3.2 不同收敛子序列的不同极限
一个序列可以拥有多个收敛子序列，而且这些子序列的极限可能彼此不同。典型例子是交替变化或周期性变化的序列。此类现象表明，原序列整体未必收敛，但内部仍可能包含多个稳定趋势。
4 常见构造方法
4.1 从有界序列中构造收敛子序列
4.1.1 区间嵌套法
区间嵌套法常用于实数列。先选取包含序列无限多项的闭区间，再不断细分并保留仍含无限多项的子区间，最终得到长度趋于零的一列嵌套区间。其交点就是所需子序列的极限。
4.1.2 分割逼近法
分割逼近法通过把空间划分为越来越小的区域，逐步筛选出落入同一区域的无穷多项。由于区域尺度不断缩小，选出的子序列便会被压缩到某个局部位置。该方法常与鸽巢原理结合使用。
4.2 从函数序列中构造子列
4.2.1 点态意义下的子序列
在函数序列中，常先固定一个点，再考察函数值形成的数列是否存在收敛子序列。若对每个点都能找到收敛子序列，则可研究逐点收敛问题。此时“子列”强调的是索引上的抽取，而非函数自变量的变化。
4.2.2 一致收敛情形下的子序列
若函数序列已经一致收敛，则任取子序列仍一致收敛到同一极限函数。因为一致收敛比逐点收敛更强，允许对整个定义域同时控制误差。故在该情形下，子列的讨论主要用于稳定性和保性质分析。
4.3 典型反例与非收敛情形
4.3.1 无收敛子序列的序列
并非所有序列都含有收敛子序列。若序列在空间中不断逃向无穷远，或在某些非紧致空间中分散开来，就可能没有任何收敛子列。此类反例说明，存在性结果通常依赖额外条件。
4.3.2 振荡序列的分析
振荡序列往往在若干数值或区域之间反复跳动，因此原序列可能不收敛，但其某些规律性选取的子序列却会收敛。分析振荡行为时，常通过分离奇偶项、抽取常值附近的项或寻找单调分段来处理。
5 应用
5.1 实分析中的应用
5.1.1 极限交换问题
在处理极限、积分和求和的交换时，常先提取收敛子序列来观察局部行为是否稳定。若所有可能的子序列极限都一致，便可为整体交换提供证据。此类思路在证明极限公式时十分常见。
5.1.2 连续性与紧致性证明
收敛子序列常用于证明连续函数在紧致集上的性质，例如极值存在性。通过在候选点列中抽出收敛子列，可以把“近似达到”的过程转化为“真正达到”的极限结论。这在实分析中具有高度通用性。
5.2 泛函分析中的应用
5.2.1 弱收敛子序列
在无穷维空间中，强收敛往往难以保证，因此常转而研究弱收敛子序列。弱收敛只要求在连续线性泛函作用下收敛，因而更易从有界序列中获得。它是泛函分析的重要工具之一。
5.2.2 紧算子与紧性工具
紧算子会把有界集送到相对紧集，因此其像中的序列常可抽出收敛子序列。利用这一性质，可以研究算子的谱、方程解的存在性以及近似过程的稳定性。紧性工具由此成为无穷维分析中的关键方法。
5.3 数值分析中的应用
5.3.1 迭代算法的收敛行为
在迭代算法中，数值序列表示每一步近似解。若整体收敛性难以直接证明，常先分析其子序列是否存在极限点，再结合稳定性条件推出整个算法的行为。这样可以从局部稳定性观察全局趋势。
5.3.2 近似解的极限提取
当近似解序列满足某些有界估计时，往往可抽取收敛子序列，从而得到候选极限解。随后再验证该极限满足原问题所要求的方程或条件。该思路广泛应用于偏微分方程、优化与变分问题。
6 相关概念比较
6.1 子序列与部分列
6.1.1 术语差异
“子序列”和“部分列”在许多语境中可互相替代，均指从原序列中按顺序抽取出来的序列。不过不同教材和学派的用法略有差别，有时“部分列”更强调从整体中截取一部分项。实际阅读时应结合上下文理解。
6.1.2 使用场景
在分析学中，更常使用“子序列”这一术语；在某些中文教材或早期文献中，“部分列”也较常见。无论术语如何，关键都在于指标保持严格递增，以及抽取后的项序不被打乱。
6.2 收敛子序列与原序列收敛
6.2.1 必要与充分关系
原序列收敛是收敛子序列存在的充分条件；但反之不成立。换言之，整个序列若已收敛，则任何子序列都收敛；而仅仅有一个收敛子序列，只能说明序列内部存在稳定部分。
6.2.2 子序列收敛不足以推出原序列收敛
一个序列可能同时拥有收敛和不收敛的不同子序列，因此不能只凭某个子列的极限就判断整体极限。要证明原序列收敛，通常需要对所有尾部项进行统一控制，或证明其极限点唯一。
6.3 收敛子序列与柯西列
6.3.1 完备空间中的等价性
在完备空间里，柯西列必收敛，因此如果能证明序列的某个子序列是柯西列，就可直接推出该子序列收敛。完备性使“内部自洽的逼近”能够真正落到空间中的某点上。
6.3.2 一般空间中的区别
在一般空间中，柯西性质并不保证收敛，因为极限点可能不属于该空间。此时即使某个子序列看起来越来越“稳定”，也可能没有极限。因而分析时必须同时考虑空间结构与序列性质。