同济高数 第1章 第1-2-3题

[AI解答]

[AI解答]

我们来逐一分析每个定义是否正确。

（1）
定义：对于任意给定的 $\varepsilon\gt 0$ ，存在 $N \in \mathbf{N}_{+}$，当 $n\gt N$ 时，不等式 $x_{n}-a\lt \varepsilon$ 成立。

判断：错误。
理由：极限定义要求的是 $|x_n - a| < \varepsilon$，即同时要求 $x_n - a > -\varepsilon$ 和 $x_n - a < \varepsilon$。这里只要求单侧小于 $\varepsilon$，无法控制 $x_n$ 从下方远离 $a$ 的情况。
反例：取 $x_n = -n$，$a=0$，则对任意 $\varepsilon>0$，当 $n$ 充分大时 $x_n - a = -n < \varepsilon$ 成立，但显然 $x_n$ 不趋于 $0$。

---

（2）
定义：对于任意给定的 $\varepsilon\gt 0$ ，存在 $N \in \mathbf{N}_{+}$，当 $n\gt N$ 时，有无穷多项 $x_{n}$ ，使不等式 $|x_n - a| < \varepsilon$ 成立。

判断：错误。
理由：极限定义要求当 $n>N$ 时，所有项都满足 $|x_n - a|<\varepsilon$，而不仅仅是无穷多项。无穷多项满足条件不能保证后面所有项都满足。
反例：考虑数列
$$
x_n = \begin{cases}
0, & n \text{为偶数},\\
n, & n \text{为奇数}.
\end{cases}
$$
取 $a=0$，对任意 $\varepsilon>0$，取 $N$ 任意，当 $n>N$ 时，所有偶数项满足 $|x_n-0|=0<\varepsilon$，有无穷多项满足，但奇数项趋于无穷，数列不收敛于 $0$。

---

（3）
定义：对于任意给定的 $\varepsilon\gt 0$ ，存在 $N \in \mathbf{N}_{+}$，当 $n\gt N$ 时，不等式 $|x_n - a| < c\varepsilon$ 成立，其中 $c$ 为某个正常数。

判断：正确。
理由：因为 $c>0$ 是固定常数，对任意给定的 $\varepsilon>0$，令 $\varepsilon' = c\varepsilon$，则 $\varepsilon'$ 也可以取任意小的正数（因为 $\varepsilon$ 任意小）。因此该定义等价于标准定义：
$$
\forall \varepsilon'>0, \exists N, \forall n>N: |x_n-a|<\varepsilon'.
$$
所以这是正确的。

---

（4）
定义：对于任意给定的 $m \in \mathbf{N}_{+}$，存在 $N \in \mathbf{N}_{+}$，当 $n\gt N$ 时，不等式 $\displaystyle |x_n - a| < \frac{1}{m}$ 成立。

判断：正确。
理由：$\displaystyle \frac{1}{m}$ 可以取任意小的正数（因为 $m$ 可以任意大），这等价于标准定义中 $\varepsilon$ 取形如 $\displaystyle \frac{1}{m}$ 的正数。由于 $\varepsilon$ 的任意性可以用这些特殊值代替（因为对任意 $\varepsilon>0$，总存在 $m$ 使 $\displaystyle \frac{1}{m}<\varepsilon$），所以该定义正确。

---

最终答案：
（1）错；（2）错；（3）对；（4）对。