数列 $X_n$ 不是单调数列,换句话说,它既不是单调递增的,也不是单调递减的。我们可以用数学语言来精确地表达这一点。
要证明一个数列不是单调数列,我们需要展示它存在“变化”的趋势,即它不会一直朝着同一个方向前进。具体来说,这意味着我们不能找到一个固定的法则,使得数列的每一项都比前一项大(或等于),也不能找到一个固定的法则,使得数列的每一项都比前一项小(或等于)。
我们逐一排除单调递增和单调递减的可能性。
1. 数列 $X_n$ 不是单调递增数列
一个数列是单调递增的,如果对于所有的自然数 $n$(通常从 1 开始,即 $n ge 1$),都有 $X_n le X_{n+1}$。
如果数列 $X_n$ 不是单调递增的,那么就意味着这个定义被“破坏”了。换句话说,存在至少一对相邻的项,它们的顺序是“颠倒”的。
用数学语言来说,就是:
$
eg (forall n in mathbb{N}, X_n le X_{n+1})$
根据逻辑上的否定规则,这个陈述等价于:
$exists n in mathbb{N},
eg (X_n le X_{n+1})$
而 $
eg (X_n le X_{n+1})$ 等价于 $X_n > X_{n+1}$。
所以,数列 $X_n$ 不是单调递增的,意味着存在一个自然数 $n_0$,使得 $X_{n_0} > X_{n_0+1}$。 也就是说,在数列的某个地方,至少出现了一次项的下降。
2. 数列 $X_n$ 不是单调递减数列
一个数列是单调递减的,如果对于所有的自然数 $n$(通常从 1 开始,即 $n ge 1$),都有 $X_n ge X_{n+1}$。
如果数列 $X_n$ 不是单调递减的,那么这个定义同样被“破坏”了。这意味着存在至少一对相邻的项,它们的顺序与单调递减的要求相反。
用数学语言来说,就是:
$
eg (forall n in mathbb{N}, X_n ge X_{n+1})$
根据逻辑上的否定规则,这个陈述等价于:
$exists n in mathbb{N},
eg (X_n ge X_{n+1})$
而 $
eg (X_n ge X_{n+1})$ 等价于 $X_n < X_{n+1}$。
所以,数列 $X_n$ 不是单调递减的,意味着存在一个自然数 $n_1$,使得 $X_{n_1} < X_{n_1+1}$。 也就是说,在数列的某个地方,至少出现了一次项的上升。
3. 数列 $X_n$ 不是单调数列
一个数列是单调数列,是指它既是单调递增的,又是单调递减的。
所以,如果数列 $X_n$ 不是单调数列,那么它就不满足“既单调递增又单调递减”这个条件。
用数学语言来说,就是:
$
eg ( ext{数列 } X_n ext{ 是单调递增的 } land ext{ 数列 } X_n ext{ 是单调递减的})$
根据逻辑上的否定规则,这个陈述等价于:
$
eg (forall n in mathbb{N}, X_n le X_{n+1}) lor
eg (forall n in mathbb{N}, X_n ge X_{n+1})$
我们已经知道这两个否定分别意味着什么:
$(exists n_0 in mathbb{N}, X_{n_0} > X_{n_0+1}) lor (exists n_1 in mathbb{N}, X_{n_1} < X_{n_1+1})$
这就是数列 $X_n$ 不是单调数列的数学语言描述。它表明,数列 $X_n$ 的性质是:它要么存在一个地方的下降(不是单调递增),要么存在一个地方的上升(不是单调递减),或者两者兼有。
更详细的解释:
“不是单调数列”这个说法,实际上意味着数列的“前进方向”会发生改变。
如果数列是一直在“向上爬”或者“平地行走”(即单调递增),它就不会下降。
如果数列是一直在“向下走”或者“平地行走”(即单调递减),它就不会上升。
一个非单调数列,就是那个既不能保证一直向上(或持平)也不能保证一直向下(或持平)的数列。
所以,要证明一个数列不是单调的,我们只需要找到以下两种情况之一的证据:
证据一:下降的发生
我们需要找到至少一个自然数 $k$,使得第 $k$ 项比它的后一项要大。也就是说,$X_k > X_{k+1}$。这证明了数列不是单调递增的。
证据二:上升的发生
我们需要找到至少一个自然数 $m$,使得第 $m$ 项比它的后一项要小。也就是说,$X_m < X_{m+1}$。这证明了数列不是单调递减的。
如果数列 $X_n$ 同时满足“存在一个下降” 和 “存在一个上升”,那么它显然不是单调的。但即使它只满足其中一个条件,它也不是单调的了。
例如:
数列 $1, 3, 2, 4, 3, 5, ldots$
在这里,$X_1 < X_2$ ($1 < 3$) 是上升,证明它不是单调递减的。
同时,$X_2 > X_3$ ($3 > 2$) 是下降,证明它不是单调递增的。
因此,这个数列不是单调数列。
用数学语言描述就是:
$exists k in mathbb{N}, X_k > X_{k+1}$ (例如 $k=2$)
并且
$exists m in mathbb{N}, X_m < X_{m+1}$ (例如 $m=1$)
但是,请注意,一个数列只要不满足单调递增的条件,或者不满足单调递减的条件,它就已经不是单调数列了。
所以,更精确地,数列 $X_n$ 不是单调数列的数学描述是:
存在一个自然数 $n_0$ 使得 $X_{n_0} > X_{n_0+1}$ (即存在下降),或者存在一个自然数 $n_1$ 使得 $X_{n_1} < X_{n_1+1}$ (即存在上升)。
或者可以写成:
$exists n in mathbb{N}, X_n > X_{n+1}$ 或 $exists m in mathbb{N}, X_m < X_{m+1}$
这是因为,如果一个数列既不是单调递增的,也不是单调递减的,那么它必然至少有一个方向上的“违反”。
比如,如果数列是 $1, 2, 3, 4, 5, ldots$ 那么它就是单调递增的,也是(非严格)单调递减的。
但如果是 $1, 3, 2, 4, ldots$
它不是单调递增的,因为它有 $3 > 2$ 的下降。
它也不是单调递减的,因为它有 $1 < 3$ 的上升。
所以它不是单调数列。
总而言之,用数学语言描述数列 $X_n$ 不是单调数列,就是说:
数列 $X_n$ 不是单调数列 $iff$ $exists n in mathbb{N}, X_n > X_{n+1}$ $lor$ $exists m in mathbb{N}, X_m < X_{m+1}$
这里的 $lor$ 表示逻辑“或”。也就是说,只要数列中存在至少一个相邻的项是下降的,或者存在至少一个相邻的项是上升的,那么这个数列就不是单调数列。