数列的有界性是数学分析中的一个重要概念，指数列中的所有项都位于某个固定区间内的性质。具体定义和性质如下：

一、有界数列的定义

存在上界和下界

若存在正实数 $M$ 和 $m$，使得对于数列 ${a_n}$ 中的任意项 $a_n$，都有 $m leq a_n leq M$ 成立，则称该数列有界。其中 $M$ 是上界，$m$ 是下界。

等价定义

存在正实数 $X$，使得对所有 $n$ 有 $|a_n| leq X$ 成立。这意味着数列的所有项都位于区间 $[-X, X]$ 内。

二、有界数列的性质

子列有界性

若数列 ${a_n}$ 有界，则其任意子列也必定有界。

收敛性

有界数列不一定收敛，但收敛数列一定有界。例如，数列 $a_n = （-1）^n$ 有界（界为 $[-1, 1]$）但发散。

上界与下界的唯一性

上界和下界不唯一。例如，数列 ${a_n} = frac{1}{n}}$ 有下界 $0$ 和上界 $1$，但 $1$ 不是唯一的上界。

三、与函数有界性的区别

数列有界性 ：非局部性质，因数列项有限可完全列举。

函数有界性 ：局部性质，因函数定义域通常为无限区间。

四、典型例子

有界数列 ：${a_n} = frac{1}{n}$，满足 $0 leq a_n leq 1$。

无界数列 ：${a_n} = n$，任意大的 $n$ 都会超过任何固定上界。

五、应用与意义

有界性是研究数列收敛性的重要前提。例如，单调有界数列必收敛，但反之不成立。此外，有界性在数值计算和算法设计中也有重要应用。

综上，数列的有界性通过上下界的存在性来刻画，是分析数列行为的基础工具。